Maths Olympiad Prep

Library / /24 of 39

Number theory Difficulty 5.5 AIME, harder Prove it Ireland

Prove that 1πtan1(2)\frac{1}{\pi} \tan^{-1}(\sqrt{2}) is not a rational number.

Solution

Let A=tan1(2)A = \tan^{-1}(\sqrt{2}) and assume Aπ=mn\frac{A}{\pi} = \frac{m}{n} with integers m,nm, n. This gives nA=mπnA = m\pi and tan(A)=2\tan(A) = \sqrt{2}. The strategy is to study the sequence tan(kA)\tan(kA) for k=1,2,3,k = 1, 2, 3, \dots. We first observe that nA=mπnA = m\pi implies that this sequence contains only finitely many different values, namely tan(A),tan(2A),,tan(nA)\tan(A), \tan(2A), \dots, \tan(nA). The reason is the periodicity tan(x+π)=tan(x)\tan(x + \pi) = \tan(x). The required contradiction is now achieved by using tan(A)=2\tan(A) = \sqrt{2} and the double angle formula
tan(2B)=2tan(B)1tan2(B) \tan(2B) = \frac{2 \tan(B)}{1 - \tan^2(B)}
If tan(B)=ab2\tan(B) = \frac{a}{b}\sqrt{2}, where a,ba, b are co-prime integers and aa is even, then
tan(2B)=2aba22b22 \tan(2B) = \frac{2ab}{a^2 - 2b^2} \sqrt{2}
and 2ab2ab is even, b22a2b^2 - 2a^2 is odd. Moreover, gcd(ab,b22a2)=1\gcd(ab, b^2 - 2a^2) = 1, because a prime pp which divides abab and b22a2b^2 - 2a^2 has either to divide aa and so also bb or has to divide bb (which is odd) and 2a22a^2, so it divides aa. But gcd(a,b)=1\gcd(a, b) = 1 implies that no such prime pp can exist. Therefore, we again obtained a fraction in lowest terms and with even numerator. As we have 2ab>a|2ab| > |a| the numerator of 12tan(2B)\frac{1}{\sqrt{2}}\tan(2B) is bigger than the numerator of 12tan(B)\frac{1}{\sqrt{2}}\tan(B).
Because 12tan(2A)=2\frac{1}{\sqrt{2}}\tan(2A) = -2 has even numerator, we can conclude that in the sequence tan(2A),tan(4A),tan(8A),,tan(2kA),\tan(2A), \tan(4A), \tan(8A), \dots, \tan(2^k A), \dots no two numbers are equal in contradiction to the finiteness shown above. This contradiction proves that Aπ\frac{A}{\pi} 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.