Maths Olympiad Prep

Library / /15 of 30

Algebra Difficulty 5.8 AIME, harder Find the answer Italy

Problem:

Marcella, while playing, finds by pure chance two polynomials p(x)p(x) and q(x)q(x), non-constant and with integer coefficients, satisfying the relation:
p(q(x+1))=p(x3)q(x+1)5. p(q(x+1)) = p\left(x^{3}\right) q(x+1)^{5}.
What can we state with certainty about the two polynomials found by Marcella?

Pick one

Solution

Solution:

The answer is (E). Let m,nm, n be the degrees of p(x)p(x) and q(x)q(x), respectively. These are two positive integers. The relation between the polynomials given in the problem implies the following equation on the degrees, mn=3m+5nm n = 3 m + 5 n, which in turn is equivalent to (m5)(n3)=15(m-5)(n-3) = 15. To find (m,n)(m, n) we must therefore solve the systems
{m5=kn3=15k \left\{ \begin{array}{l} m-5 = k \\ n-3 = \frac{15}{k} \end{array} \right.
as kk ranges over the divisors of 1515, that is k=±1,±3,±5,±15k = \pm 1, \pm 3, \pm 5, \pm 15. Note however that, when kk is negative, at least one of mm and nn turns out to be negative or zero. Therefore we discard these cases and consider only the remaining four systems, from which we obtain the following solutions:

mm681020
nn18864

Now we can observe that for each pair (m,n)(m, n) there actually exist two polynomials p(x)=xmp(x) = x^{m}, q(x)=(x1)nq(x) = (x-1)^{n} of degrees m,nm, n that satisfy the given relation. With these examples we can already exclude answers (B)(B) and (C)(C). As for (A)(A) and (D)(D), it suffices to observe that, if (p(x),q(x))(p(x), q(x)) satisfies Marcella's condition, the same holds for the polynomials (λp(x),q(x))(\lambda p(x), q(x)) for any integer λ0\lambda \neq 0: hence (xm,(x1)n)\left(-x^{m}, (x-1)^{n}\right) and (2xm,(x1)n)\left(2 x^{m}, (x-1)^{n}\right) are two easy counterexamples. Finally, the degree of p(x)q(x)p(x) q(x) is m+nm+n and can only be 1616 or 2424, which establishes the correctness of (E).

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: MathNet, licensed CC-BY-4.0. Statement translated into English from it; metadata (topic, difficulty) added by this project.