Maths Olympiad Prep

Library / /208 of 520

Algebra Difficulty 6.4 National olympiad Prove it

Theorem 3 A ternary homogeneous symmetric polynomial of degree three f(x,y,z)f(x, y, z) can be uniquely represented as
f(x,y,z)=ag3,1+bg3,2+cg3,3,f(x, y, z)=a g_{3,1}+b g_{3,2}+c g_{3,3},

where, g3,1=x(xy)(xz)g_{3,1}=\sum x(x-y)(x-z),
g3,2=(y+z)(xy)(xz)g3,3=xyz\begin{array}{l} g_{3,2}=\sum(y+z)(x-y)(x-z) \\ g_{3,3}=x y z \end{array}

and when x,y,z0x, y, z \geqslant 0,
a,b,c0f(x,y,z)0a, b, c \geqslant 0 \Leftrightarrow f(x, y, z) \geqslant 0 \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.