Olympiad Maths Prep

Library / /1 of 6

, 2020

Algebra Difficulty 5.4 AIME, harder Prove it Greece

Determine all non-constant polynomials P(x)P(x) and Q(x)Q(x) with real coefficients satisfying the equation
P((Q(x))3)=xP(x)(Q(x))3. P((Q(x))^3) = xP(x)(Q(x))^3.

Solution

Let: degP(x)=m1\deg P(x) = m \ge 1, degQ(x)=n1\deg Q(x) = n \ge 1. By taking the degrees of the two members of the given equation we get the equality:
3mn=1+m+3n(m1)(3n1)=2m1=1,3n1=2or m1=2,3n1=1  (impossible in N)m=2,n=1. \begin{aligned} 3mn = 1 + m + 3n &\Leftrightarrow (m-1)(3n-1) = 2 \\ &\Leftrightarrow m-1=1, 3n-1=2 \quad \text{or } m-1=2, 3n-1=1\; (\text{impossible in } \mathbb{N}^*) \\ &\Leftrightarrow m=2, n=1. \end{aligned}
Let P(x)=ax2+bx+cP(x) = ax^2 + bx + c, a,b,cRa, b, c \in \mathbb{R}, a0a \neq 0, Q(x)=dx+eQ(x) = dx + e, d,eRd, e \in \mathbb{R}, d0d \neq 0.
Then, from the given relation we have:
a((Q(x))3)2+b(Q(x))3+c=xP(x)(Q(x))3,(1) a((Q(x))^3)^2 + b(Q(x))^3 + c = xP(x)(Q(x))^3, \quad (1)
From which we conclude that Q(x)c=0c=0Q(x)|_{c=0} \Rightarrow c=0. Then from (1) we have:
a((Q(x))3)2+b(Q(x))3xP(x)(Q(x))3=0(Q(x))3(a(Q(x))3+bxP(x))a(Q(x))3Q(x)0+bxP(x)=0xP(x)=a(Q(x))3+b(2) \begin{aligned} & a((Q(x))^3)^2 + b(Q(x))^3 - xP(x)(Q(x))^3 = 0 \\ \Leftrightarrow & (Q(x))^3 \left(a(Q(x))^3 + b - xP(x)\right) \\ \Leftrightarrow & \underset{Q(x) \neq 0}{a(Q(x))^3} + b - xP(x) = 0 \\ & xP(x) = a(Q(x))^3 + b \end{aligned} \quad (2)
Then from relation (2) we have:
x(ax2+bx)=a(dx+e)3+bax3+bx2=ad3x3+3ad2ex2+3ade2x+ae3+ba=ad3,  b=3ad2e,  3ade2=0,  ae3+b=0a,d0d=1,  e=0,  b=0,  aR. \begin{aligned} & x(ax^2 + bx) = a(dx + e)^3 + b \\ \Leftrightarrow & ax^3 + bx^2 = ad^3 x^3 + 3ad^2 e x^2 + 3ad e^2 x + a e^3 + b \\ \Leftrightarrow & a = ad^3,\; b = 3ad^2 e,\; 3ad e^2 = 0,\; a e^3 + b = 0 \\ & \underset{a,d \neq 0}{\Leftrightarrow} d = 1,\; e = 0,\; b = 0,\; a \in \mathbb{R}. \end{aligned}
Hence: P(x)=ax2P(x) = a x^2, Q(x)=xQ(x) = x, aRa \in \mathbb{R} and it is easy to verify that they satisfy our problem.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.