Olympiad Maths Prep

Track / Stage 7 / 176 of 300 #1576 of 2000

Problem 1576

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.4 Prove it

\square Example 8 Given that a,b,c,da, b, c, d are positive real numbers, prove: (a+c)2+(b+d)2\sqrt{(a+c)^{2}+(b+d)^{2}} \leqslant a2+b2+c2+d2(a+c)2+(b+d)2+2adbc(a+c)2+(b+d)2\sqrt{a^{2}+b^{2}}+\sqrt{c^{2}+d^{2}} \leqslant \sqrt{(a+c)^{2}+(b+d)^{2}}+\frac{2|a d-b c|}{\sqrt{(a+c)^{2}+(b+d)^{2}}}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Proof: Let u=(a,b),v=(c,d)\boldsymbol{u}=(a, b), \boldsymbol{v}=(c, d), then the inequality
(a+c)2+(b+d)2a2+b2+c2+d2\sqrt{(a+c)^{2}+(b+d)^{2}} \leqslant \sqrt{a^{2}+b^{2}}+\sqrt{c^{2}+d^{2}}

is a triangle inequality constructed by vectors u\boldsymbol{u} and v\boldsymbol{v}, which is obviously true. Therefore, to prove the original inequality, it suffices to prove
a2+b2+c2+d2(a+c)2+(b+d)2+2adbc(a+c)2+(b+d)2\sqrt{a^{2}+b^{2}}+\sqrt{c^{2}+d^{2}} \leqslant \sqrt{(a+c)^{2}+(b+d)^{2}}+\frac{2|a d-b c|}{\sqrt{(a+c)^{2}+(b+d)^{2}}}

which is equivalent to proving
(a2+b2+c2+d2)2(a+c)2+(b+d)2+2adbc.\left(\sqrt{a^{2}+b^{2}}+\sqrt{c^{2}+d^{2}}\right)^{2} \leqslant(a+c)^{2}+(b+d)^{2}+2|a d-b c| .

And (1) is equivalent to a2+b2+c2+d2+2a2+b2c2+d2a^{2}+b^{2}+c^{2}+d^{2}+2 \sqrt{a^{2}+b^{2}} \cdot \sqrt{c^{2}+d^{2}}
a2+2ac+c2+b2+2bd+d2+2adbca2+b2c2+d2ac+bd+adbc(a2+b2)(c2+d2)a2c2+2abcd+b2d2+a2d22abcd+b2c2+2(ac+bd)adbc02(ac+bd)adbc.\begin{aligned} & \leqslant a^{2}+2 a c+c^{2}+b^{2}+2 b d+d^{2}+2|a d-b c| \\ \Leftrightarrow & \sqrt{a^{2}+b^{2}} \cdot \sqrt{c^{2}+d^{2}} \leqslant a c+b d+|a d-b c| \\ \Leftrightarrow & \left(a^{2}+b^{2}\right)\left(c^{2}+d^{2}\right) \leqslant a^{2} c^{2}+2 a b c d+b^{2} d^{2}+a^{2} d^{2}-2 a b c d \\ & +b^{2} c^{2}+2(a c+b d)|a d-b c| \\ \Leftrightarrow & 0 \leqslant 2(a c+b d)|a d-b c| . \end{aligned}

The last inequality is obviously true, hence the original inequality holds.

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