Maths Olympiad Prep

Library / /13 of 65

Number theory Difficulty 5.3 AIME, harder Prove it Bulgaria

Problem:
Prove that if aa, bb and cc are integers such that the number
a(ab)+b(bc)+c(ca)2 \frac{a(a-b)+b(b-c)+c(c-a)}{2}
is a perfect square, then a=b=ca = b = c.

Solution

Solution:
Set
a(ab)+b(bc)+c(ca)2=d2 \frac{a(a-b)+b(b-c)+c(c-a)}{2} = d^{2}
where dd is an integer, x=abx = a-b, y=bcy = b-c and z=caz = c-a. Then we have
x+y+z=0,x2+y2+z2=4d2 x + y + z = 0, \quad x^{2} + y^{2} + z^{2} = 4 d^{2}
Since any square is congruent to 00 or 11 modulo 44, it follows from (1) that the integers xx, yy and zz are even. Set x1=x2x_{1} = \frac{x}{2}, y1=y2y_{1} = \frac{y}{2} and z1=z2z_{1} = \frac{z}{2}. Then (1) gives
x1+y1+z1=0,x12+y12+z12=d2 x_{1} + y_{1} + z_{1} = 0, \quad x_{1}^{2} + y_{1}^{2} + z_{1}^{2} = d^{2}
and we conclude as above that x1x_{1}, y1y_{1}, z1z_{1} and dd are even integers. Repeating the same argument we see that 2n2^{n} divides xx, yy and zz for every positive integer nn. Therefore x=y=z=0x = y = z = 0, i.e. a=b=ca = b = c.

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.