Maths Olympiad Prep

Library / /340 of 520

Number theory Difficulty 7.1 National olympiad, round 2 Prove it

Suppose tanα=pq\tan \alpha = \dfrac{p}{q}, where pp and qq are integers and q0q \neq 0. Prove that the number tanβ\tan \beta for which tan2β=tan3α\tan {2 \beta} = \tan {3 \alpha} is rational only when p2+q2p^2 + q^2 is the square of an integer.

Solution

1. Given that tanα=pq\tan \alpha = \frac{p}{q}, where pp and qq are integers and q0q \neq 0, we need to find tanβ\tan \beta such that tan2β=tan3α\tan 2\beta = \tan 3\alpha.

2. First, we use the triple angle formula for tangent:
tan3α=3tanαtan3α13tan2α \tan 3\alpha = \frac{3\tan \alpha - \tan^3 \alpha}{1 - 3\tan^2 \alpha}
Substituting tanα=pq\tan \alpha = \frac{p}{q}, we get:
tan3α=3pq(pq)313(pq)2=3pqp3q313p2q2=3pq2p3q3q23p2q2=p(3q2p2)q(q23p2) \tan 3\alpha = \frac{3 \cdot \frac{p}{q} - \left(\frac{p}{q}\right)^3}{1 - 3 \left(\frac{p}{q}\right)^2} = \frac{\frac{3p}{q} - \frac{p^3}{q^3}}{1 - \frac{3p^2}{q^2}} = \frac{\frac{3pq^2 - p^3}{q^3}}{\frac{q^2 - 3p^2}{q^2}} = \frac{p(3q^2 - p^2)}{q(q^2 - 3p^2)}

3. Let A=q(q23p2)p(3q2p2)A = \frac{q(q^2 - 3p^2)}{p(3q^2 - p^2)}. Then:
tan3α=1A \tan 3\alpha = \frac{1}{A}

4. According to the problem, tan2β=tan3α=1A\tan 2\beta = \tan 3\alpha = \frac{1}{A}. Using the double angle formula for tangent:
tan2β=2tanβ1tan2β \tan 2\beta = \frac{2\tan \beta}{1 - \tan^2 \beta}
Setting this equal to 1A\frac{1}{A}, we get:
2tanβ1tan2β=1A \frac{2\tan \beta}{1 - \tan^2 \beta} = \frac{1}{A}

5. Cross-multiplying and rearranging terms, we obtain:
2Atanβ=1tan2β    tan2β+2Atanβ1=0 2A \tan \beta = 1 - \tan^2 \beta \implies \tan^2 \beta + 2A \tan \beta - 1 = 0

6. Solving this quadratic equation for tanβ\tan \beta, we use the quadratic formula:
tanβ=2A±(2A)2+42=A±A2+1 \tan \beta = \frac{-2A \pm \sqrt{(2A)^2 + 4}}{2} = -A \pm \sqrt{A^2 + 1}

7. For tanβ\tan \beta to be rational, A2+1\sqrt{A^2 + 1} must be rational. This implies that A2+1A^2 + 1 must be a perfect square. Let A2+1=k2A^2 + 1 = k^2 for some integer kk. Then:
k2A2=1    (kA)(k+A)=1 k^2 - A^2 = 1 \implies (k - A)(k + A) = 1

8. We now express AA in terms of pp and qq:
A=q(q23p2)p(3q2p2) A = \frac{q(q^2 - 3p^2)}{p(3q^2 - p^2)}

9. We need to show that A2+1A^2 + 1 is a perfect square if and only if p2+q2p^2 + q^2 is a perfect square. We compute A2+1A^2 + 1:
A2+1=(q(q23p2)p(3q2p2))2+1=q2(q23p2)2+p2(3q2p2)2p2(3q2p2)2 A^2 + 1 = \left(\frac{q(q^2 - 3p^2)}{p(3q^2 - p^2)}\right)^2 + 1 = \frac{q^2(q^2 - 3p^2)^2 + p^2(3q^2 - p^2)^2}{p^2(3q^2 - p^2)^2}

10. Simplifying the numerator:
q2(q23p2)2+p2(3q2p2)2=q2(q46q2p2+9p4)+p2(9q46q2p2+p4) q^2(q^2 - 3p^2)^2 + p^2(3q^2 - p^2)^2 = q^2(q^4 - 6q^2p^2 + 9p^4) + p^2(9q^4 - 6q^2p^2 + p^4)
=q66q4p2+9q2p4+9p2q46p4q2+p6=q6+p6+3q4p2+3p4q2 = q^6 - 6q^4p^2 + 9q^2p^4 + 9p^2q^4 - 6p^4q^2 + p^6 = q^6 + p^6 + 3q^4p^2 + 3p^4q^2
=(q2+p2)3 = (q^2 + p^2)^3

11. Therefore:
A2+1=(q2+p2)3p2(3q2p2)2 A^2 + 1 = \frac{(q^2 + p^2)^3}{p^2(3q^2 - p^2)^2}

12. For A2+1A^2 + 1 to be a perfect square, (q2+p2)3(q^2 + p^2)^3 must be a perfect square, which implies q2+p2q^2 + p^2 must be a perfect square.

Thus, tanβ\tan \beta is rational if and only if p2+q2p^2 + q^2 is the square of an integer.

\blacksquare

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.