MathDB
(a^2 + b^2 + 1)(c^2 + d^2 + 1) >= 2(a + c)(b + d)

Source: Switzerland - 2006 Swiss MO Final Round p9

December 26, 2022
algebrainequalities

Problem Statement

Let a,b,c,da, b, c, d be real numbers. Prove that is (a2+b2+1)(c2+d2+1)2(a+c)(b+d).(a^2 + b^2 + 1)(c^2 + d^2 + 1) \ge 2(a + c)(b + d).