Maths Olympiad Prep

Library / /1146 of 1394

, 2018

Number theory Difficulty 5.7 AIME, harder Prove it United States

Problem:
Find the number of unordered pairs {a,b}\{a, b\}, where a,b{0,1,2,,108}a, b \in\{0,1,2, \ldots, 108\} such that 109109 divides a3+b3aba^{3}+b^{3}-a b.

Solution

Solution:
We start with the equation
a3+b3ab(mod109) a^{3}+b^{3} \equiv a b \pmod{109}
If either aa or bb are 00, then we get a30a^{3} \equiv 0, implying that both are 00. Thus, {0,0}\{0,0\} is a pair. For the rest of the problem, let's assume that neither aa nor bb are 00. Multiplying both sides by a1b2a^{-1} b^{-2} yields
(ab1)2+a1bb1 \left(a b^{-1}\right)^{2}+a^{-1} b \equiv b^{-1}
from which we make the substitution
a=xy1b=y1 \begin{aligned} a & =x y^{-1} \\ b & =y^{-1} \end{aligned}
to get the equation
yx2+x1 y \equiv x^{2}+x^{-1}
Plugging this value back into (a,b)(a, b), we get that all solutions must be of the form
(a,b)=((x+x2)1,(x2+x1)1) (a, b)=\left(\left(x+x^{-2}\right)^{-1},\left(x^{2}+x^{-1}\right)^{-1}\right)
where 1x1081 \leq x \leq 108. It now suffices to find all nonzero unordered pairs {m,n}\{m, n\} of the form {x+x2,x2+x1}\left\{x+x^{-2}, x^{2}+x^{-1}\right\}, where 1x1081 \leq x \leq 108. There are four values of xx for which x+x2x2+x1x+x^{-2} \equiv x^{2}+x^{-1}, and of these values, three of them give x+x20x+x^{-2} \equiv 0. This is because we can re-arrange the equation at hand to get
x4x3+x10 x^{4}-x^{3}+x-1 \equiv 0
which factors into
(x1)(x3+1)0. (x-1)\left(x^{3}+1\right) \equiv 0.
If x=1x=1, then {m,n}={2,2}\{m, n\}=\{2,2\}, and if x3+10x^{3}+1 \equiv 0 (which has three solutions: 46,6446, 64 and 108108), then
{m,n}={x1(x3+1),x2(x3+1)}={0,0} \{m, n\}=\left\{x^{-1}\left(x^{3}+1\right), x^{-2}\left(x^{3}+1\right)\right\}=\{0,0\}
Therefore, we keep x=1x=1 and discard x=46,64,108x=46,64,108. Of the remaining 104104 values of xx, mnm \neq n, and neither are 00. We have to worry about collisions between distinct values of xx. There are two ways a collision can occur: if there exists xyx \neq y such that
(x+x2,x2+x1)=(y+y2,y2+y1) \left(x+x^{-2}, x^{2}+x^{-1}\right)=\left(y+y^{-2}, y^{2}+y^{-1}\right)
or if there exists xyx \neq y such that
(x+x2,x2+x1)=(y2+y1,y+y2) \left(x+x^{-2}, x^{2}+x^{-1}\right)=\left(y^{2}+y^{-1}, y+y^{-2}\right)
The first case cannot occur: if x+x2y+y2x+x^{-2} \equiv y+y^{-2}, we have that x2+x1=x(x+x2)y(x+x2)=y(y+y2)=y2+y1x^{2}+x^{-1}=x\left(x+x^{-2}\right) \neq y\left(x+x^{-2}\right)=y\left(y+y^{-2}\right)=y^{2}+y^{-1}. As a consequence of this, the second case only occurs if y=x1y=x^{-1}. Therefore, the remaining 104104 values of xx can be partitioned into 5252 pairs of (x,x1)\left(x, x^{-1}\right), which ends up producing 5252 distinct unordered pairs {m,n}\{m, n\}. Adding this to the x=1x=1 case and {0,0}\{0,0\}, we get a total of
52+1+1=54 52+1+1=54
unordered pairs.

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.