Olympiad Maths Prep

Library / /31 of 41

Number theory Difficulty 5.9 AIME, harder Prove it Romania

Let a2a \ge 2 be a positive integer. Prove that the following statements are equivalent:
a) One can find positive integers b,cb, c, such that a2=b2+c2a^2 = b^2 + c^2.
b) One can find a positive integer dd, such that the equations x2ax+d=0x^2 - a x + d = 0 and x2axd=0x^2 - a x - d = 0 have integer roots.

Solution

Let us suppose that a2=b2+c2a^2 = b^2 + c^2. The numbers bb and cc could not be both odd (the sum of two odd numbers is 4k+24k + 2 which is not a square). Then at least one is an even number and thus, the product bcbc is even.

On the other hand, the discriminants of the two equations are Δ1=a24d\Delta_1 = a^2 - 4d and Δ2=a2+4d\Delta_2 = a^2 + 4d. If we define d=bc2d = \frac{bc}{2} we have
Δ1=a24d=b2+c24bc2=(bc)2, \Delta_1 = a^2 - 4d = b^2 + c^2 - 4 \frac{bc}{2} = (b-c)^2,
and thus, the roots of the first equation are x1,2=a±(bc)2x_{1,2} = \frac{a \pm (b-c)}{2}. It is clear that x1,2x_{1,2} are integers. (If both b,cb, c are even, then aa is also an even number, and if b,cb, c have different parities, then aa is odd, as bcb-c it is.) Similarly we can show that the second equation has integer roots.

Conversely, we suppose that the equations have only integer roots. Then their discriminants are squares. Let Δ1=u2\Delta_1 = u^2 and Δ2=v2\Delta_2 = v^2.
We have
a24d=u2,a2+4d=v2. \begin{aligned} a^2 - 4d &= u^2, \\ a^2 + 4d &= v^2. \end{aligned}

It is clear that u,vu, v have the same parity.
If we add the two equalities we get
a2=u2+v22=(u+v2)2+(uv2)2. a^2 = \frac{u^2 + v^2}{2} = \left(\frac{u+v}{2}\right)^2 + \left(\frac{u-v}{2}\right)^2.
Define now b=u+v2b = \frac{u+v}{2} and c=uv2c = \frac{u-v}{2}. The numbers bb and cc are integers and a2=b2+c2a^2 = b^2 + c^2.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.