Maths Olympiad Prep

Library / Selection Examination A /3 of 6

Selection Examination A

Number theory Difficulty 5.8 AIME, harder Prove it Greece

If pp is prime and x,yx, y are positive integers, find with respect to pp, all the pairs (x,y)(x, y) satisfying the equation: p(x−2)=x(y−1)p(x-2) = x(y-1).

For the case we are given that x+y=21x+y=21, find all triads (x,y,p)(x, y, p) satisfying equation (1).

Solution

If x−2=0⇔x=2x-2=0 \Leftrightarrow x=2, then y=1y=1 and we have the solution (x,y)=(2,1)(x,y)=(2,1).

If x−2≠0x-2 \neq 0, then, since pp is prime, from the equation p(x−2)=x(y−1)p(x-2)=x(y-1) it follows that y≠1y \neq 1 and p∣xp|x or p∣y−1p|y-1. Therefore we have the cases:

* If p∣xp|x, then x=px′x = px', where x′x' positive integer, and then:
p(px′−2)=px′(y−1)⇔px′−2=x′(y−1)⇔x′(p−y+1)=2⇔x′=1,p−y+1=2ηx′=2,p−y+1=1⇔x′=1,y=p−1ηx′=2,y=p⇔x=p,y=p−1ηx=2p,y=p⇔(x,y)=(p,p−1)η(x,y)=(2p,p) \begin{align*} p(px'-2) &= px'(y-1) \Leftrightarrow px' - 2 = x'(y-1) \Leftrightarrow x'(p-y+1) = 2 \\ &\Leftrightarrow x' = 1, p-y+1 = 2 \quad \eta \quad x' = 2, p-y+1 = 1 \\ &\Leftrightarrow x' = 1, y = p-1 \quad \eta \quad x' = 2, y = p \Leftrightarrow x = p, y = p-1 \quad \eta \quad x = 2p, y = p \\ &\Leftrightarrow (x,y) = (p,p-1) \quad \eta \quad (x,y) = (2p,p) \end{align*}

* If p∣y−1p|y-1, then y−1=py′y-1 = py', where y′y' is a positive integer and then
p(x−2)=xpy′⇔x−2=xy′⇔x(1−y′)=2⇔x=1,1−y′=2ηx=2,1−y′=1⇔x=1,y′=−1 (impossible) or x=1,y′=0 (impossible). \begin{align*} p(x-2) &= xpy' \Leftrightarrow x-2 = xy' \Leftrightarrow x(1-y') = 2 \\ &\Leftrightarrow x = 1, 1-y' = 2 \quad \eta \quad x = 2, 1-y' = 1 \\ &\Leftrightarrow x = 1, y' = -1 \text{ (impossible) or } x = 1, y' = 0 \text{ (impossible).} \end{align*}

Moreover, if we are given x+y=21x+y=21, then we have:

* Considering the solutions (x,y)=(p,p−1)(x,y) = (p,p-1), we find 2p−1=21⇔p=112p-1=21 \Leftrightarrow p=11, and so (x,y,p)=(11,10,11)(x,y,p) = (11,10,11).

* Considering the solutions (x,y)=(2p,p)(x,y) = (2p,p), then 3p=21⇔p=73p=21 \Leftrightarrow p=7, and hence we find (x,y,p)=(14,7,7)(x,y,p) = (14,7,7).

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.