Olympiad Maths Prep

Track / Stage 6 / 198 of 400 #1198 of 2000

Problem 1198

National olympiad, first round
Algebra Difficulty 6.3 Prove it

4. Let non-zero real numbers a,b,ca, b, c satisfy the condition a+b+c=0a+b+c=0. Prove:
(a7+b7+c7)2(a2+b2+c2)(a3+b3+c3)(a4+b4+c4)(a5+b5+c5)=4960. \frac{\left(a^{7}+b^{7}+c^{7}\right)^{2}}{\left(a^{2}+b^{2}+c^{2}\right)\left(a^{3}+b^{3}+c^{3}\right)\left(a^{4}+b^{4}+c^{4}\right)\left(a^{5}+b^{5}+c^{5}\right)}=\frac{49}{60} .

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

4. Given that a,b,ca, b, c are the roots of the equation x3+(ab+bc+ca)xabc=0x^{3}+(a b+b c+c a) x-a b c=0.

Let Tn=an+bn+cn(n=0,1,2,)T_{n}=a^{n}+b^{n}+c^{n}(n=0,1,2, \cdots), then Ta=(ab+bc+ca)Ta2+abcTa3(n3)T_{a}=-(a b+b c+c a) T_{a-2}+a b c T_{a-3}(n \geqslant 3).
Also, T0=3,T1=0T_{0}=3, T_{1}=0, so T3=(ab+bc+ca)T1+bacT0=3abcT_{3}=-(a b+b c+c a) T_{1}+b a c T_{0}=3 a b c.
And T2=a2+b2+c2=(a+b+c)22(ab+bc+ca)=2(ab+bc+ca)T_{2}=a^{2}+b^{2}+c^{2}=(a+b+c)^{2}-2(a b+b c+c a)=-2(a b+b c+c a), thus
Tn=12T2Tn2+13T3Tn3(n3), so T4=12T22,T5=12T2T3+13T3T2=56T2T3,T7=12T2T5+13T3T4=712T22T3, \begin{array}{l} T_{n}=\frac{1}{2} T_{2} T_{n-2}+\frac{1}{3} T_{3} T_{n-3}(n \geqslant 3), \text { so } T_{4}=\frac{1}{2} T_{2}^{2}, \\ T_{5}=\frac{1}{2} T_{2} T_{3}+\frac{1}{3} T_{3} T_{2}=\frac{5}{6} T_{2} T_{3}, T_{7}=\frac{1}{2} T_{2} T_{5}+\frac{1}{3} T_{3} T_{4}=\frac{7}{12} T_{2}^{2} T_{3}, \end{array}

Thus T2T3T4T5=512T24T32,T72=49144T24T32T_{2} T_{3} T_{4} T_{5}=\frac{5}{12} T_{2}^{4} T_{3}^{2}, T_{7}^{2}=\frac{49}{144} T_{2}^{4} T_{3}^{2}.
Therefore, T72T2T3T4T5=49144T24T32125T24T32=4960\frac{T_{7}^{2}}{T_{2} T_{3} T_{4} T_{5}}=\frac{49}{144} \cdot T_{2}^{4} T_{3}^{2} \cdot \frac{12}{5 T_{2}^{4} T_{3}^{2}}=\frac{49}{60}, which proves the required equation.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.