Claim Both m,n can not be even.
Proof x+y+z=0 , ⟹x=−(y+z) .
Since m+nSm+n=mnSmSn ,
by equating cofficient of ym+n on LHS and RHS ,get
m+n2=mn4 .
⟹2m+2n=2⋅2m⋅n .
So we have, m 2 | n 2 and n 2 | m 2 .
⟹m=n=4 .
So we have S8=2(S4)2 .
Now since it will true for all real x,y,z,x+y+z=0 .
So choose x=1,y=−1,z=0 .
S8=2 and S4=2 so S8=2S42 .
This is contradiction. So, at least one of m,n must be odd. WLOG assume n is odd and m is even. The coefficient of ym+n−1 in m+nSm+n is m+n(1m+n)=1
The coefficient of ym+n−1 in m⋅nSm⋅Sn is m2 .
Therefore, m=2 .
Now choose x=y=,1z=(−2) . (sic)
Since 2+nSn+2=2S2nSn holds for all real x,y,z such that x+y+z=0 .
We have n+22n+2−2=3⋅n2n−2 . Therefore,
2 n+1 -1 n+2 =3 2 n-1 -1 n **
Clearly ( ) holds for n∈{5,3} .
And one can say that for n≥6 , RHS of ( ) < LHS of ( ) .
So our answer is (m,n)=(5,2),(2,5),(3,2),(2,3) .
-ftheftics (edited by integralarefun)