Maths Olympiad Prep

Library / /432 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

Example 2(20072(2007 National Team Training Test Question) Let positive numbers u,v,wu, v, w satisfy u+v+w+uvw=4u+v+w+\sqrt{uvw}=4.
Prove: vwu+uwv+uvwu+v+w\sqrt{\frac{vw}{u}}+\sqrt{\frac{uw}{v}}+\sqrt{\frac{uv}{w}} \geq u+v+w.
Lemma: The equation x2+y2+z2+xyz=4x^{2}+y^{2}+z^{2}+xyz=4 has positive real solutions x,y,zx, y, z if and only if there exists an acute ABC\triangle ABC, such that
x=2cosA,y=2cosB,z=2cosC.x=2 \cos A, y=2 \cos B, z=2 \cos C.

Solution

Prove: Since
cos2A+cos2B+cos2C+2cosAcosBcosC=1\cos ^{2} A+\cos ^{2} B+\cos ^{2} C+2 \cos A \cdot \cos B \cdot \cos C=1

Therefore,
(2cosA)2+(2cosB)2+(2cosC)2+(2cosA)(2cosB)(2cosC)=4(2 \cos A)^{2}+(2 \cos B)^{2}+(2 \cos C)^{2}+(2 \cos A) \cdot(2 \cos B) \cdot(2 \cos C)=4

Thus, the triplet (2cosA,2cosB,2cosC)(2 \cos A, 2 \cos B, 2 \cos C) is a solution to the equation x2+y2+z2+xyz=4x^{2}+y^{2}+z^{2}+x y z=4.

Conversely, it is easy to see that x,y,z(0,2)x, y, z \in(0,2), so there exist A,B(0,π2)\angle A, \angle B \in\left(0, \frac{\pi}{2}\right) such that x=2cosA,y=2cosBx=2 \cos A, y=2 \cos B.

Solving the equation x2+y2+z2+xyz=4x^{2}+y^{2}+z^{2}+x y z=4 for zz, we get
z=2cos(A+B)z=-2 \cos (A+B)

Thus, let C=π(A+B)\angle C=\pi-(\angle A+\angle B), then the real solutions to the equation
x2+y2+z2+xyz=4x^{2}+y^{2}+z^{2}+x y z=4 are
(x,y,z)=(2cosA,2cosB,2cosC)(x, y, z)=(2 \cos A, 2 \cos B, 2 \cos C)

Analysis: The structure and degree relationship of the conditions and the lemma are similar, so by making a variable substitution, the structure and form become more apparent, thus directly applying the J.Wolstenholme-embedded inequality to solve the problem.
Proof: Let: u=x2,v=y2,w=z2u=x^{2}, v=y^{2}, w=z^{2}.
Then the equation u+v+w+uvw=4u+v+w+\sqrt{u v w}=4 is equivalent to the equation
x2+y2+z2+xyz=4x^{2}+y^{2}+z^{2}+x y z=4

According to the lemma, if and only if there exists an acute triangle ABC\triangle A B C such that
x=2cosA,y=2cosB,z=2cosCx=2 \cos A, y=2 \cos B, z=2 \cos C

And the inequality to be proved, vwu+uwv+uvwu+v+w\sqrt{\frac{v w}{u}}+\sqrt{\frac{u w}{v}}+\sqrt{\frac{u v}{w}} \geq u+v+w, is equivalent to
yzx+zxy+xyzx2+y2+z2\frac{y z}{x}+\frac{z x}{y}+\frac{x y}{z} \geq x^{2}+y^{2}+z^{2}

Without loss of generality, let x=2cosA,y=2cosB,z=2cosCx=2 \cos A, y=2 \cos B, z=2 \cos C.
Then we only need to prove the inequality
2cosBcosCcosA+2cosCcosAcosB+2cosAcosBcosC4cos2A+4cos2B+4cos2C\begin{array}{l} \frac{2 \cos B \cdot \cos C}{\cos A}+\frac{2 \cos C \cdot \cos A}{\cos B}+\frac{2 \cos A \cdot \cos B}{\cos C} \\ \geq 4 \cos ^{2} A+4 \cos ^{2} B+4 \cos ^{2} C \end{array}

By the J.Wolstenholme-embedded inequality, we have
2cosBcosCcosA+2cosCcosAcosB+2cosAcosBcosC22cosCcosAcosB2cosAcosBcosCcosA+22cosAcosBcosC2cosBcosCcosAcosB+22cosBcosCcosA2cosCcosAcosBcosC=4cos2A+4cos2B+4cos2C\begin{array}{l} \frac{2 \cos B \cdot \cos C}{\cos A}+\frac{2 \cos C \cdot \cos A}{\cos B}+\frac{2 \cos A \cdot \cos B}{\cos C} \\ \geq 2 \sqrt{\frac{2 \cos C \cdot \cos A}{\cos B}} \cdot \sqrt{\frac{2 \cos A \cdot \cos B}{\cos C}} \cdot \cos A \\ +2 \sqrt{\frac{2 \cos A \cdot \cos B}{\cos C}} \cdot \sqrt{\frac{2 \cos B \cdot \cos C}{\cos A}} \cdot \cos B \\ +2 \sqrt{\frac{2 \cos B \cdot \cos C}{\cos A}} \cdot \sqrt{\frac{2 \cos C \cdot \cos A}{\cos B}} \cdot \cos C \\ =4 \cos ^{2} A+4 \cos ^{2} B+4 \cos ^{2} C \end{array}

Thus, the original inequality 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.