Number theoryDifficulty 5.4AIME, harderProve itSaudi Arabia
Let a, b, c, d be positive integers such that ac+bd is divisible by a2+b2. Prove that gcd(c2+d2,a2+b2)>1.
Solution
Suppose for the sake of contradiction that gcd(c2+d2,a2+b2)=1. We first notice that (ac+bd)2+(ad−bc)2=(a2+b2)(c2+d2). Since ac+bd is divisible by a2+b2, it follows that (ad−bc)2 is also divisible by a2+b2. Let p be a prime divisor of a2+b2 and n=vp(a2+b2). We have vp((ac+bd)2+(ad−bc)2)=n since c2+d2 is not divisible by p. Note that, vp((ac+bd)2)=2vp(ac+bd)≥2vp(a2+b2)=2n>n. This implies that vp((ad−bc)2)=n, which means that n is even. This proves that a2+b2=u2 for some positive integer u, and therefore both ac+bd and ad−bc are divisible by u. But a(c2+d2)=c(ac+bd)+d(ad−bc) and b(c2+d2)=d(ac+bd)−c(ad−bc) are also divisible by u. Because gcd(u,c2+d2)=1, we deduce that u divides both a and b. But u2=a2+b2. We have a contradiction.
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 and solution reproduced as published; topic and difficulty added by this site.