Maths Olympiad Prep

Library / /54 of 133

, 2015

Number theory Difficulty 5.4 AIME, harder Prove it Saudi Arabia

Let aa, bb, cc, dd be positive integers such that ac+bda c + b d is divisible by a2+b2a^{2} + b^{2}. Prove that gcd(c2+d2,a2+b2)>1\operatorname{gcd}\left(c^{2} + d^{2}, a^{2} + b^{2}\right) > 1.

Solution

Suppose for the sake of contradiction that gcd(c2+d2,a2+b2)=1\operatorname{gcd}\left(c^{2} + d^{2}, a^{2} + b^{2}\right) = 1. We first notice that
(ac+bd)2+(adbc)2=(a2+b2)(c2+d2). (a c + b d)^{2} + (a d - b c)^{2} = \left(a^{2} + b^{2}\right)\left(c^{2} + d^{2}\right).
Since ac+bda c + b d is divisible by a2+b2a^{2} + b^{2}, it follows that (adbc)2(a d - b c)^{2} is also divisible by a2+b2a^{2} + b^{2}.
Let pp be a prime divisor of a2+b2a^{2} + b^{2} and n=vp(a2+b2)n = v_{p}\left(a^{2} + b^{2}\right). We have
vp((ac+bd)2+(adbc)2)=n v_{p}\left((a c + b d)^{2} + (a d - b c)^{2}\right) = n
since c2+d2c^{2} + d^{2} is not divisible by pp. Note that,
vp((ac+bd)2)=2vp(ac+bd)2vp(a2+b2)=2n>n. v_{p}\left((a c + b d)^{2}\right) = 2 v_{p}(a c + b d) \geq 2 v_{p}\left(a^{2} + b^{2}\right) = 2 n > n.
This implies that vp((adbc)2)=nv_{p}\left((a d - b c)^{2}\right) = n, which means that nn is even. This proves that a2+b2=u2a^{2} + b^{2} = u^{2} for some positive integer uu, and therefore both ac+bda c + b d and adbca d - b c are divisible by uu.
But
a(c2+d2)=c(ac+bd)+d(adbc) a\left(c^{2} + d^{2}\right) = c(a c + b d) + d(a d - b c)
and
b(c2+d2)=d(ac+bd)c(adbc) b\left(c^{2} + d^{2}\right) = d(a c + b d) - c(a d - b c)
are also divisible by uu. Because gcd(u,c2+d2)=1\operatorname{gcd}\left(u, c^{2} + d^{2}\right) = 1, we deduce that uu divides both aa and bb. But u2=a2+b2u^{2} = a^{2} + b^{2}. 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.