Maths Olympiad Prep

Library / /9 of 36

Number theory Difficulty 5.9 AIME, harder Prove it Italy

Problem:

Let n2n \geq 2 be an integer. Consider the solutions (a,b,c)(a, b, c) of the system of equations
{n=a+bcn=a2+b2c2 \left\{\begin{array}{l} n = a + b - c \\ n = a^{2} + b^{2} - c^{2} \end{array}\right.
where a,b,ca, b, c are integers. Prove that there is at least one solution and that there are finitely many solutions.

Solution

Solution:

From the first equation we obtain c=a+bnc = a + b - n; substituting into the second equation we get
n=a2+b2(a+bn)2=2ab+2an+2bnn2. n = a^{2} + b^{2} - (a + b - n)^{2} = -2 a b + 2 a n + 2 b n - n^{2}.
Rearranging, we obtain
(an)(bn)=abnanb+n2=n2n2=n(n1)2 (a - n)(b - n) = a b - n a - n b + n^{2} = \frac{n^{2} - n}{2} = \frac{n(n-1)}{2}
The right-hand side is always an integer, because one of nn and n1n-1 is always even. The solutions of the equation correspond to the ways of factoring n(n1)2=xy\frac{n(n-1)}{2} = x y as a product of two integers xx and yy. Since n0,1n \neq 0,1 by hypothesis, n(n1)2\frac{n(n-1)}{2} is a positive integer, and hence the number of these factorizations is finite; it follows that the system will have finitely many solutions, (a,b,c)=(x+n,y+n,x+y+n)(a, b, c) = (x + n, y + n, x + y + n).
To find at least one solution, for every nn we can choose x=1,y=n(n1)2x = 1, y = \frac{n(n-1)}{2}, from which we obtain the solution
(a,b,c)=(n+1,n(n+1)2,n(n+1)2+1). (a, b, c) = \left(n + 1, \frac{n(n+1)}{2}, \frac{n(n+1)}{2} + 1\right).

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 translated into English from it; metadata (topic, difficulty) added by this project.