Maths Olympiad Prep

Library / /57 of 115

Algebra Difficulty 7.3 National olympiad, round 2 Find the answer

Let Sr=xr+yr+zrS_r=x^r+y^r+z^r with x,y,zx,y,z real. It is known that if S1=0S_1=0 ,
()(*) Sm+nm+n=SmmSnn\frac{S_{m+n}}{m+n}=\frac{S_m}{m}\frac{S_n}{n}
for (m,n)=(2,3),(3,2),(2,5)(m,n)=(2,3),(3,2),(2,5) , or (5,2)(5,2) . Determine all other pairs of integers (m,n)(m,n) if any, so that ()(*) holds for all real numbers x,y,zx,y,z such that x+y+z=0x+y+z=0 .

A number or a short expression. Spacing and $ signs are ignored.

Solution

Claim Both m,nm,n can not be even.
Proof x+y+z=0x+y+z=0 ,     x=(y+z)\implies x=-(y+z) .
Since Sm+nm+n=SmSnmn\frac{S_{m+n}}{m+n} = \frac{S_m S_n}{mn} ,
by equating cofficient of ym+ny^{m+n} on LHS and RHS ,get
2m+n=4mn\frac{2}{m+n}=\frac{4}{mn} .
    m2+n2=mn22\implies \frac{m}{2} + \frac {n}{2} = \frac{m\cdot n}{2\cdot2} .
So we have, \frac{m}{2} \biggm{|} \frac{n}{2} and \frac{n}{2} \biggm{|} \frac{m}{2} .
    m=n=4\implies m=n=4 .
So we have S8=2(S4)2S_8=2(S_4)^2 .
Now since it will true for all real x,y,z,x+y+z=0x,y,z,x+y+z=0 .
So choose x=1,y=1,z=0x=1,y=-1,z=0 .
S8=2S_8=2 and S4=2S_4=2 so S82S42S_8 \neq 2 S_4^2 .
This is contradiction. So, at least one of m,nm,n must be odd. WLOG assume nn is odd and m is even. The coefficient of ym+n1y^{m+n-1} in Sm+nm+n\frac{S_{m+n}}{m+n} is (m+n1)m+n=1\frac{\binom{m+n}{1} }{m+n} =1
The coefficient of ym+n1y^{m+n-1} in SmSnmn\frac{S_m\cdot S_n}{m\cdot n} is 2m\frac{2}{m} .
Therefore, m=2\boxed{m=2} .
Now choose x=y=1,z=(2)x=y=\frac1,z=(-2) . (sic)
Since Sn+22+n=S22Snn\frac{S_{n+2}}{2+n}=\frac{S_2}{2}\frac{S_n}{n} holds for all real x,y,zx,y,z such that x+y+z=0x+y+z=0 .
We have 2n+22n+2=32n2n\frac{2^{n+2}-2}{n+2} = 3\cdot\frac{2^n-2}{n} . Therefore,
\begin{equation*}
\label{eq:l2}
\frac{2^{n+1}-1}{n+2} =3\cdot\frac{2^{n-1}-1}{n}\ldots
\tag{**}
\end{equation*}
Clearly (\refeq:l2)(\ref{eq:l2}) holds for n{5,3}n\in\{5,3\} .
And one can say that for n6n\ge 6 , RHS of (\refeq:l2)<LHS of (\refeq:l2)\text{RHS of (\ref{eq:l2})}<\text{LHS of (\ref{eq:l2})} .
So our answer is (m,n)=(5,2),(2,5),(3,2),(2,3)(m,n)=(5,2),(2,5),(3,2),(2,3) .
-ftheftics (edited by integralarefun)

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.