Maths Olympiad Prep

Library / Bulgarian Mathematical Olympiad /12 of 58

Bulgarian Mathematical Olympiad

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(a−b)+b(b−c)+c(c−a)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(a−b)+b(b−c)+c(c−a)2=d2 \frac{a(a-b)+b(b-c)+c(c-a)}{2} = d^{2}
where dd is an integer, x=a−bx = a-b, y=b−cy = b-c and z=c−az = 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,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.