Maths Olympiad Prep

Library / Irish Mathematical Olympiad /129 of 236

Irish Mathematical Olympiad

Number theory Difficulty 5.8 AIME, harder Prove it Ireland

Find the smallest positive integer NN for which the equation
(x2−1)(y2−1)(z2−1)=N(x^2 - 1)(y^2 - 1)(z^2 - 1) = N
has at least two different integer solutions (x,y,z)(x, y, z) satisfying 1<x≤y≤z1 < x \le y \le z.

Solution

Let us first determine the smallest possible NN for which we find two solutions of the form (2,y,z)(2, y, z). If we let M=N/3M = N/3, this amounts to finding the smallest possible positive integer MM for which the equation (y2−1)(z2−1)=M(y^2 - 1)(z^2 - 1) = M has at least two solutions with 2≤y≤z2 \le y \le z. This is solved in problem 15, where it is shown that the smallest MM is equal to 360360. Therefore, we find two solutions (2,4,5)(2, 4, 5) and (2,2,11)(2, 2, 11) for N=3⋅360=1080N = 3 \cdot 360 = 1080.
The smallest value the expression (x2−1)(y2−1)(z2−1)(x^2-1)(y^2-1)(z^2-1) can have if 3≤x≤y≤z3 \le x \le y \le z is 83=5128^3 = 512. But this happens only if x=y=z=3x = y = z = 3. If z≥4z \ge 4, the least value will be 82⋅15=9608^2 \cdot 15 = 960, only occurring for (x,y,z)=(3,3,4)(x, y, z) = (3, 3, 4). If z≥5z \ge 5 or y≥4y \ge 4, we obtain at least 82⋅24=1536>10808^2 \cdot 24 = 1536 > 1080 or 8⋅152=1800>10808 \cdot 15^2 = 1800 > 1080, respectively.
Because 512512 is not divisible by 33, there cannot exist a solution of the form (2,y,z)(2, y, z) for N=512N = 512.
Finally, if N=960N = 960 and x=2x = 2, we have to solve (y2−1)(z2−1)=320=26⋅5(y^2-1)(z^2-1) = 320 = 2^6 \cdot 5. Because 3⋅120>3203 \cdot 120 > 320, we have 2≤y≤z≤102 \le y \le z \le 10. A look at the first table in the solution of problem 4 shows that the only numbers of the form x2−1x^2 - 1 for x≤10x \le 10, which have 22 and 55 as its only prime factors, are 88 and 8080. But 8⋅80≠3208 \cdot 80 \ne 320 and so for N=960N = 960 we cannot find two different solutions. This proves that N=1080N = 1080 is the desired minimal value.

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.