Maths Olympiad Prep

Library / /4 of 32

, 2010

Number theory Difficulty 4.8 AIME Prove it Estonia

Let xx, yy and zz be positive integers satisfying gcd(x,y,z)=1\text{gcd}(x, y, z) = 1. Prove that if (y2x2)(z2y2)=((yx)(zy))2(y^2 - x^2) - (z^2 - y^2) = ((y - x) - (z - y))^2, then xx and zz are perfect squares.

Solution

Remove the parentheses, collect the terms and divide both sides by 22 to get x2+y2+z22xy2yz+xz=0x^2 + y^2 + z^2 - 2xy - 2yz + xz = 0. This equality can be written as (xy+z)2=xz(x - y + z)^2 = xz. Hence xzxz is a square of an integer. If xx and zz have a common divisor dd, then xzxz is divisible by d2d^2, and by the previous equality (xy+z)2(x - y + z)^2 is divisible by d2d^2, therefore xy+zx - y + z is divisible by dd. Since xx and zz are divisible by dd, yy must be divisible by dd, hence d=1d = 1, i.e. xx and zz do not have common divisors. Since xzxz is a square of an integer, it follows that both xx and zz are squares of integers.

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.