MathDB
(a_1 + a_2)(c_1 + c_2) >= (b_1 + b_2)^2

Source: Eotvos 1939 p1

September 10, 2024
algebrainequalities

Problem Statement

Let a1a_1, a2a_2, b1b_1, b2b_2, c1c_1 and c2c_2 be real numbers for which a1a2>0a_1a_2 > 0, a1c1b12a_1c_1 \ge b^2_1 and a2c2>b22a_2c_2 > b^2_2. Prove that (a1+a2)(c1+c2)(b1+b2)2(a_1 + a_2)(c_1 + c_2) \ge (b_1 + b_2)^2