Maths Olympiad Prep

Library / /363 of 520

Algebra Difficulty 7.1 National olympiad, round 2 Prove it

Example 9 Let x,y,z0,x2+y2+z2=1,g=x+y+zxyzx, y, z \geq 0, x^{2}+y^{2}+z^{2}=1, g=x+y+z-x y z.
(1) Prove that the minimum value of gg is 1;
(2) Prove or disprove that g839g \leq \frac{8 \sqrt{3}}{9} (Note: The above problem was proposed by Professor Huang Yumin).

Solution

(1) Since x2+y2+z2=1x^{2}+y^{2}+z^{2}=1, we have x+y+z3xyz33xyzx+y+z \geq 3 \sqrt[3]{x y z} \geq 3 x y z, so g=x+y+zxyz>0g=x+y+z-x y z>0, and σ122σ2=x2+y2+z2=1\sigma_{1}^{2}-2 \sigma_{2}=x^{2}+y^{2}+z^{2}=1, which gives g=σ1(σ122σ2)σ3g=\sigma_{1}\left(\sigma_{1}^{2}-2 \sigma_{2}\right)-\sigma_{3},
g1(σ132σ1σ2σ3)2(σ122σ2)32σ14σ28σ12σ22+8σ232σ1σ3(σ122σ2)+σ3202f0,2(6)+2f0,3(6)+8f0,4(6)+8f1,1(6)+12f1,2(6)+37σ320\begin{aligned} g \geq 1 & \Longleftrightarrow\left(\sigma_{1}^{3}-2 \sigma_{1} \sigma_{2}-\sigma_{3}\right)^{2} \geq\left(\sigma_{1}^{2}-2 \sigma_{2}\right)^{3} \\ & \Longleftrightarrow 2 \sigma_{1}^{4} \sigma_{2}-8 \sigma_{1}^{2} \sigma_{2}^{2}+8 \sigma_{2}^{3}-2 \sigma_{1} \sigma_{3}\left(\sigma_{1}^{2}-2 \sigma_{2}\right)+\sigma_{3}^{2} \geq 0 \\ & \Longleftrightarrow 2 f_{0,2}^{(6)}+2 f_{0,3}^{(6)}+8 f_{0,4}^{(6)}+8 f_{1,1}^{(6)}+12 f_{1,2}^{(6)}+37 \sigma_{3}^{2} \geq 0 \end{aligned}

It is clear that (3.2.16) holds. Therefore, (3.2.15) holds, and we know that when y=z=0,x=1y=z=0, x=1, gg attains its minimum value of 1.
(2) Using the same technique,
g83981(σ132σ1σ2σ3)2192(σ122σ2)3L9=37f0,1(6)17f0,2(6)+94f0,3(6)+80f0,4(6)+117f1,1(6)28f1,2(6)0\begin{aligned} g \leq \frac{8 \sqrt{3}}{9} & \Longleftrightarrow 81\left(\sigma_{1}^{3}-2 \sigma_{1} \sigma_{2}-\sigma_{3}\right)^{2} \leq 192\left(\sigma_{1}^{2}-2 \sigma_{2}\right)^{3} \\ & \Longleftrightarrow L_{9}=37 f_{0,1}^{(6)}-17 f_{0,2}^{(6)}+94 f_{0,3}^{(6)}+80 f_{0,4}^{(6)}+117 f_{1,1}^{(6)}-28 f_{1,2}^{(6)} \geq 0 \end{aligned}

Since
L917(f0,1(6)+f1,1(6)f0,2(6))+28(f0,4(6)+f1,1(6)f1,2(6))f0.1(6)+f1,1(6)f0.2(6)=x2(xy)2(xz)20f0,4(6)+f1,1(6)f1,2(6)2f0.4(6)f1,1(6)f1,2(6)0\begin{array}{l} L_{9} \geq 17\left(f_{0,1}^{(6)}+f_{1,1}^{(6)}-f_{0,2}^{(6)}\right)+28\left(f_{0,4}^{(6)}+f_{1,1}^{(6)}-f_{1,2}^{(6)}\right) \\ f_{0.1}^{(6)}+f_{1,1}^{(6)}-f_{0.2}^{(6)}=\sum x^{2}(x-y)^{2}(x-z)^{2} \geq 0 \\ f_{0,4}^{(6)}+f_{1,1}^{(6)}-f_{1,2}^{(6)} \geq 2 \sqrt{f_{0.4}^{(6)} f_{1,1}^{(6)}}-f_{1,2}^{(6)} \geq 0 \end{array}

The correctness of (3.2.18) is guaranteed by (3.1.8), so L90,g839L_{9} \geq 0, g \leq \frac{8 \sqrt{3}}{9} holds. Q.E.D.

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.