Maths Olympiad Prep

Library / /337 of 520

Algebra Difficulty 7.0 National olympiad, round 2 Prove it

Question 1: Given that a,b,ca, b, c are positive real numbers, prove:
(a2+b2)2(a+b+c)(a+bc)(b+ca)(c+ab).\begin{array}{l} \quad\left(a^{2}+b^{2}\right)^{2} \geqslant(a+b+c)(a+b-c)(b+c-a)(c \\ +a-b) . \end{array}

Solution

Proof: If among a+bc,b+ca,c+aba+b-c, b+c-a, c+a-b, one of the values is zero, the inequality (1) obviously holds.

Below, we prove the case when a+bc,b+ca,c+aba+b-c, b+c-a, c+a-b are all non-zero.
(1) If among a+bc,b+ca,c+aba+b-c, b+c-a, c+a-b, only one is positive, let's assume a+bc>0a+b-c>0. In this case, there should be b+ca<0b+c-a<0 and c+ab<0c+a-b<0. Adding these two inequalities, we get 2a<02a<0, which contradicts a+bc>0a+b-c>0. Therefore, this situation is impossible.
(2) If among a+bc,b+ca,c+aba+b-c, b+c-a, c+a-b, two are positive and the other is negative, in this case, inequality (1) obviously holds.
(3) If a+bc,b+ca,c+aba+b-c, b+c-a, c+a-b are all positive, then a,b,ca, b, c are the three side lengths of some ABC\triangle ABC. Let the area of ABC\triangle ABC be SS, noting the Heron's formula for the area of a triangle:
S=p(pa)(pb)(pc)S=\sqrt{p(p-a)(p-b)(p-c)}, where p=12(a+b+c)p=\frac{1}{2}(a+b+c).
Transforming, we get
4S=(a+b+c)(a+bc)(b+ca)(c+ab)4 S=\sqrt{(a+b+c)(a+b-c)(b+c-a)(c+a-b)}

Thus, inequality (1) is equivalent to
a2+b24Sa^{2}+b^{2} \geqslant 4 S

The proof of this inequality is straightforward. In fact, by the two-variable mean inequality, we have
a2+b22ab2absinC=4S.a^{2}+b^{2} \geqslant 2 a b \geqslant 2 a b \sin C=4 S.

In summary, inequality (1) is proved.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.