Maths Olympiad Prep

Library / /57 of 71

Algebra Difficulty 5.5 AIME, harder Prove it United States

Problem:

How many polynomials of degree exactly 55 with real coefficients send the set {1,2,3,4,5,6}\{1,2,3,4,5,6\} to a permutation of itself?

Solution

Solution:

Answer: 714714

For every permutation σ\sigma of {1,2,3,4,5,6}\{1,2,3,4,5,6\}, Lagrange Interpolation gives a polynomial of degree at most 55 with p(x)=σ(x)p(x) = \sigma(x) for every x=1,2,3,4,5,6x = 1,2,3,4,5,6. Additionally, this polynomial is unique: assume that there exist two polynomials p,qp, q of degree 5\leq 5 such that they map {1,2,3,4,5,6}\{1,2,3,4,5,6\} to the same permutation. Then pqp-q is a nonzero polynomial of degree 5\leq 5 with 66 distinct roots, a contradiction. Thus an upper bound for the answer is 6!=7206! = 720 polynomials.

However, not every polynomial obtained by Lagrange interpolation is of degree 55 (for example, p(x)=xp(x) = x). We can count the number of invalid polynomials using finite differences. A polynomial has degree less than 55 if and only if the sequence of 55th finite differences is 00. The 55th finite difference of p(1),p(2),p(3),p(4),p(5),p(6)p(1), p(2), p(3), p(4), p(5), p(6) is p(1)5p(2)+10p(3)10p(4)+5p(5)p(6)p(1) - 5p(2) + 10p(3) - 10p(4) + 5p(5) - p(6); thus we want to solve p(1)5p(2)+10p(3)10p(4)+5p(5)p(6)=0p(1) - 5p(2) + 10p(3) - 10p(4) + 5p(5) - p(6) = 0 with {p(1),p(2),p(3),p(4),p(5),p(6)}={1,2,3,4,5,6}\{p(1), p(2), p(3), p(4), p(5), p(6)\} = \{1,2,3,4,5,6\}.

Taking the above equation modulo 55, we get p(1)=p(6)(mod5)    {p(1),p(6)}={1,6}p(1) = p(6) \pmod{5} \implies \{p(1), p(6)\} = \{1,6\}. Note that 15p(2)+10p(3)10p(4)+5p(5)6=01 - 5p(2) + 10p(3) - 10p(4) + 5p(5) - 6 = 0 if and only if 65p(5)+10p(4)10p(3)+5p(2)1=06 - 5p(5) + 10p(4) - 10p(3) + 5p(2) - 1 = 0, so we may assume that p(1)=1p(1) = 1 and double our result later. Then we have {p(2),p(3),p(4),p(5)}={2,3,4,5}\{p(2), p(3), p(4), p(5)\} = \{2,3,4,5\} and
p(2)+2p(3)2p(4)+p(5)=1 -p(2) + 2p(3) - 2p(4) + p(5) = 1
The above equation taken modulo 22 implies that p(2),p(5)p(2), p(5) are of opposite parity, so p(3),p(4)p(3), p(4) are of opposite parity. We do casework on {p(2),p(5)}\{p(2), p(5)\}:

(a) p(2)=2,p(5)=3p(2) = 2, p(5) = 3; 2p(3)2p(4)=02p(3) - 2p(4) = 0 is a contradiction

(b) p(2)=2,p(5)=5p(2) = 2, p(5) = 5; 2p(3)2p(4)=2    p(3)p(4)=1    p(3)=3,p(4)=42p(3) - 2p(4) = -2 \implies p(3) - p(4) = -1 \implies p(3) = 3, p(4) = 4

(c) p(2)=3,p(5)=2p(2) = 3, p(5) = 2; 2p(3)2p(4)=2    p(3)p(4)=1    p(3)=4,p(4)=52p(3) - 2p(4) = -2 \implies p(3) - p(4) = -1 \implies p(3) = 4, p(4) = 5

(d) p(2)=3,p(5)=4p(2) = 3, p(5) = 4; 2p(3)2p(4)=02p(3) - 2p(4) = 0 is a contradiction

(e) p(2)=4,p(5)=3p(2) = 4, p(5) = 3; 2p(3)2p(4)=2    p(3)p(4)=12p(3) - 2p(4) = 2 \implies p(3) - p(4) = 1 but {p(3),p(4)}={2,5}\{p(3), p(4)\} = \{2,5\}, contradiction

(f) p(2)=4,p(5)=5p(2) = 4, p(5) = 5; 2p(3)2p(4)=02p(3) - 2p(4) = 0 is a contradiction

(g) p(2)=5,p(5)=2p(2) = 5, p(5) = 2; 2p(3)2p(4)=4    p(3)p(4)=22p(3) - 2p(4) = 4 \implies p(3) - p(4) = 2, contradiction

(h) p(2)=5,p(5)=4p(2) = 5, p(5) = 4; 2p(3)2p(4)=2    p(3)p(4)=1    p(3)=3,p(4)=22p(3) - 2p(4) = 2 \implies p(3) - p(4) = 1 \implies p(3) = 3, p(4) = 2

Hence there are a total of 7202(3)=714720 - 2(3) = 714 polynomials.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.