Maths Olympiad Prep

Library / /80 of 129

, 2012

Number theory Difficulty 5.5 AIME, harder Prove it Slovenia

Find all integers a,b,ca, b, c and dd that satisfy the equality
a2+b5+c=d10. a\sqrt{2} + b\sqrt{5} + c = d\sqrt{10}.

Solution

One solution is straightforward: a=b=c=d=0a = b = c = d = 0. We will prove that it is the only one. Suppose there is another solution (a,b,c,d)(a, b, c, d). We may suppose that the integers a,b,ca, b, c and dd are coprime, otherwise their greatest common divisor could be deleted from the equation (because not all numbers are equal to 0, their greatest common divisor exists). The equation can be reorganized into a2+b5=d10ca\sqrt{2} + b\sqrt{5} = d\sqrt{10} - c and squared to obtain
2a2+5b2c210d2=210(cdab). 2a^2 + 5b^2 - c^2 - 10d^2 = 2\sqrt{10}(cd - ab).
Because 10\sqrt{10} is not a rational number, we conclude 2a2+5b2c210d2=02a^2 + 5b^2 - c^2 - 10d^2 = 0 or
2a2c2=10d25b2. 2a^2 - c^2 = 10d^2 - 5b^2.
Because the right side of the equation is divisible by 5, the same must hold for the left side of the equation. The square of a natural number gives a remainder of 0, 1 or 4 when divided by 5. From this we conclude that the numbers a2a^2 and c2c^2 must give a remainder of 0 when divided by 5, hence aa and cc must be divisible by 5. The left side of the equation is thus divisible by 25, and the same must hold for the right side of the equation. Consequently, 2d2b22d^2 - b^2 must be divisible by 5. Like before we conclude that bb and dd are divisible by 5. All numbers a,b,ca, b, c and dd are thus divisible by 5, which is a contradiction since they are coprime.

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.