Number theoryDifficulty 5.5AIME, harderProve itIreland
Prove that π1tan−1(2) is not a rational number.
Solution
Let A=tan−1(2) and assume πA=nm with integers m,n. This gives nA=mπ and tan(A)=2. The strategy is to study the sequence tan(kA) for k=1,2,3,…. We first observe that nA=mπ implies that this sequence contains only finitely many different values, namely tan(A),tan(2A),…,tan(nA). The reason is the periodicity tan(x+π)=tan(x). The required contradiction is now achieved by using tan(A)=2 and the double angle formula tan(2B)=1−tan2(B)2tan(B) If tan(B)=ba2, where a,b are co-prime integers and a is even, then tan(2B)=a2−2b22ab2 and 2ab is even, b2−2a2 is odd. Moreover, gcd(ab,b2−2a2)=1, because a prime p which divides ab and b2−2a2 has either to divide a and so also b or has to divide b (which is odd) and 2a2, so it divides a. But gcd(a,b)=1 implies that no such prime p can exist. Therefore, we again obtained a fraction in lowest terms and with even numerator. As we have ∣2ab∣>∣a∣ the numerator of 21tan(2B) is bigger than the numerator of 21tan(B). Because 21tan(2A)=−2 has even numerator, we can conclude that in the sequence tan(2A),tan(4A),tan(8A),…,tan(2kA),… no two numbers are equal in contradiction to the finiteness shown above. This contradiction proves that πA cannot be rational.
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.