MathLabs

Problem 2

Find all polynomials PP with real coefficients such that for all real numbers a,b,ca,b,c with ab+bc+ca=0ab+bc+ca=0, we have P(a−b)+P(b−c)+P(c−a)=2P(a+b+c).P(a-b)+P(b-c)+P(c-a)=2P(a+b+c).
Step 3 of 4: Bound the degree using leading coefficients
deg⁡P=n≥6, leading coeff cn≠0  ⟹  cn(3n+5n+8n)=2cn7n  ⟹  (8/7)n≥2 for n≥6⇒contradiction\deg P=n\ge6,\ \text{leading coeff }c_n\ne0 \implies c_n(3^n+5^n+8^n)=2c_n7^n \implies (8/7)^n\ge2 \text{ for } n\ge6 \Rightarrow \text{contradiction}
Detailed analysis

Suppose PP is not identically zero, of degree nn with leading coefficient cn≠0c_n\ne0. Comparing the coefficient of tnt^n on both sides of P(3t)+P(5t)+P(8t)=2P(7t)P(3t)+P(5t)+P(8t)=2P(7t) gives 3n+5n+8n=2⋅7n3^n+5^n+8^n=2\cdot7^n. Since PP is even and P(0)=0P(0)=0, nn is even. For n≥6n\ge6, (8/7)n(8/7)^n already exceeds 22, hence 3n+5n+8n=2⋅7n3^n+5^n+8^n=2\cdot7^n forces n≥6n\ge6; checking directly, n=2n=2 and n=4n=4 both satisfy 3n+5n+8n=2⋅7n3^n+5^n+8^n=2\cdot7^n, so nn can only be 22 or 44.