Maths Olympiad Prep

Library / /325 of 520

Algebra Difficulty 7.0 National olympiad Prove it

Example 16 (1) Let three positive real numbers a,b,ca, b, c satisfy (a2+b2+c2)2>\left(a^{2}+b^{2}+c^{2}\right)^{2}> 2(a4+b4+c4)2\left(a^{4}+b^{4}+c^{4}\right), prove that a,b,ca, b, c must be the lengths of the three sides of a triangle;
(2) Let nn positive real numbers a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} satisfy the inequality
(a12+a22++an2)>(n1)(a14+a24++an4)\left(a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}\right)>(n-1)\left(a_{1}^{4}+a_{2}^{4}+\cdots+a_{n}^{4}\right)
(where n3n \geqslant 3), prove that any three numbers among a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} are the lengths of the three sides of a triangle.

Solution

Proof (1) From the problem, we get
(a2+b2+c2)22(a4+b4+c4)>0, i.e., (a+b+c)(a+bc)(ab+c)(b+ca)>0,\begin{array}{l} \left(a^{2}+b^{2}+c^{2}\right)^{2}-2\left(a^{4}+b^{4}+c^{4}\right)>0 \text {, i.e., } \\ (a+b+c)(a+b-c)(a-b+c)(b+c-a)>0, \end{array}

Since a,b,c>0a, b, c > 0, at least three of the factors on the left side of the inequality are positive. Since the product of the four factors is positive, all four factors must be positive. Therefore, a+b>ca+b>c, b+c>ab+c>a, and c+a>bc+a>b, which means a,b,ca, b, c must be the lengths of the sides of some triangle.
(2) Using the Cauchy-Schwarz inequality, we get
(n1)(a14+a24++an4)<(a12+a22++an2)2=[1×a12+a22+a322+1×a12+a22+a322+1×a42++1×an2]2(12+12++12(n1))[14(a12+a22+a32)2+14(a12+a22+a32)2+a44++an4]=(n1)[14(a12+a22+a32)2+14(a12+a22+a32)2+a44++an4],\begin{aligned} ( & n-1)\left(a_{1}^{4}+a_{2}^{4}+\cdots+a_{n}^{4}\right)<\left(a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}\right)^{2} \\ = & {\left[1 \times \frac{a_{1}^{2}+a_{2}^{2}+a_{3}^{2}}{2}+1 \times \frac{a_{1}^{2}+a_{2}^{2}+a_{3}^{2}}{2}+1 \times a_{4}^{2}+\cdots+1 \times a_{n}^{2}\right]^{2} } \\ \leqslant & (\underbrace{1^{2}+1^{2}+\cdots+1^{2}}_{(n-1) \uparrow})\left[\frac{1}{4}\left(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}\right)^{2}+\frac{1}{4}\left(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}\right)^{2}\right. \\ & \left.+a_{4}^{4}+\cdots+a_{n}^{4}\right] \\ = & (n-1)\left[\frac{1}{4}\left(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}\right)^{2}+\frac{1}{4}\left(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}\right)^{2}+a_{4}^{4}+\cdots+a_{n}^{4}\right], \end{aligned}

Thus, 2(a14+a24+a34)<(a12+a22+a32)22\left(a_{1}^{4}+a_{2}^{4}+a_{3}^{4}\right)<\left(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}\right)^{2}.
From (1), we know that a1,a2,a3a_{1}, a_{2}, a_{3} are the lengths of the sides of some triangle. By symmetry, any three numbers among a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} can be the lengths of the sides of some triangle.

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.