Maths Olympiad Prep

Library / /404 of 462

Number theory Difficulty 7.0 National Olympiad Prove it Ireland

Let k2k \ge 2 be an integer. Prove that for each positive integer N<403kN < 40 \cdot 3^k the equation
(x121)(x221)(xk21)=N (x_1^2 - 1)(x_2^2 - 1) \cdots (x_k^2 - 1) = N
has at most one integer solution (x1,x2,,xk)(x_1, x_2, \dots, x_k) such that 1<x1x2xk1 < x_1 \le x_2 \le \dots \le x_k.

Solution

Because N>0N > 0, we cannot have xi=1x_i = 1 and so 2x12 \le x_1. Define f(x)=(x21)/3f(x) = (x^2 - 1)/3 and for a given N<403kN < 40 \cdot 3^k we let M=N/3kM = N/3^k. The equation (x121)(x221)(xk21)=N(x_1^2 - 1)(x_2^2 - 1) \cdots (x_k^2 - 1) = N is equivalent to f(x1)f(x2)f(xk)=Mf(x_1)f(x_2) \cdots f(x_k) = M. If x2x \ge 2 is an integer, f(x)1f(x) \ge 1 and so f(xk)M<40f(x_k) \le M < 40. As f(11)=40f(11) = 40, we have xk10x_k \le 10 for any solution. Here is a table of the relevant values of ff:

x2345678910
f(x)f(x)18/38/35835/335/3162180/380/333

We need to prove that there is no positive rational number M<40M < 40 which is a product in two different ways of numbers from the second row of this table. If one of the values f(xi)f(x_i) is greater than 83\frac{8}{3}, it is at least 5, hence the product of the other factors is below 8. This shows that 83\frac{8}{3} and 5 are the only possible factors greater than 1 if at least two factors are not equal to 1. The expressions of the form (83)r5s(\frac{8}{3})^r 5^s below 40 are: 1,83,649,51227,403,3209,51, \frac{8}{3}, \frac{64}{9}, \frac{512}{27}, \frac{40}{3}, \frac{320}{9}, 5 and 25. Each of them is obtained from a unique pair of integers (r,s)(r, s) and, except 1,831, \frac{8}{3} and 5, none of them appears as a value f(x)f(x) in the table. This shows that there is no positive rational number M<40M < 40 which is a product in two different ways of numbers of the form f(x)f(x) with 2x102 \le x \le 10 which proves that, up to permutation, there can be at most one solution in positive integers to (x121)(x221)(xk21)=N(x_1^2-1)(x_2^2-1)\cdots(x_k^2-1) = N for any positive integer N<403kN < 40 \cdot 3^k.

Remark: For (2,,2,4,5)(2, \dots, 2, 4, 5) and (2,,2,2,11)(2, \dots, 2, 2, 11) we obtain N=403kN = 40 \cdot 3^k.

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.