Maths Olympiad Prep

Library / /202 of 520

Algebra Difficulty 6.4 National olympiad Prove it

Theorem Given non-negative real numbers a,b,ca, b, c not all zero, for any real numbers x,y,zx, y, z, the inequality
λ(x2+y2+z2)axy+byz+czx\lambda\left(x^{2}+y^{2}+z^{2}\right) \geqslant a x y+b y z+c z x

holds, where λ=a2+b2+c23cosθ3,θ=arccos[abc((a2+b2+c2)/3)32]\lambda=\sqrt{\frac{a^{2}+b^{2}+c^{2}}{3}} \cos \frac{\theta}{3}, \theta=\arccos \left[\frac{a b c}{\left(\left(a^{2}+b^{2}+c^{2}\right) / 3\right)^{32}}\right], equality holds if and only if
xab+2cλ=yac+2bλ=z4λ2a2 . \frac{x}{a b+2 c \lambda}=\frac{y}{a c+2 b \lambda}=\frac{z}{4 \lambda^{2}-a^{2}} \text { . }

Solution

None

Translate the text above into English, please retain the original text's line breaks and format, and output the translation result directly.

Note: The provided instruction is a meta-instruction and not part of the text to be translated. Since the text to be translated is "None", the translation is also "None". Here is the formatted output as requested:

None

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.