Number theoryDifficulty 7.1National olympiad, round 2Prove it
Suppose tanα=qp, where p and q are integers and q=0. Prove that the number tanβ for which tan2β=tan3α is rational only when p2+q2 is the square of an integer.
Solution
1. Given that tanα=qp, where p and q are integers and q=0, we need to find tanβ such that tan2β=tan3α.
2. First, we use the triple angle formula for tangent: tan3α=1−3tan2α3tanα−tan3α Substituting tanα=qp, we get: tan3α=1−3(qp)23⋅qp−(qp)3=1−q23p2q3p−q3p3=q2q2−3p2q33pq2−p3=q(q2−3p2)p(3q2−p2)
3. Let A=p(3q2−p2)q(q2−3p2). Then: tan3α=A1
4. According to the problem, tan2β=tan3α=A1. Using the double angle formula for tangent: tan2β=1−tan2β2tanβ Setting this equal to A1, we get: 1−tan2β2tanβ=A1
5. Cross-multiplying and rearranging terms, we obtain: 2Atanβ=1−tan2β⟹tan2β+2Atanβ−1=0
6. Solving this quadratic equation for tanβ, we use the quadratic formula: tanβ=2−2A±(2A)2+4=−A±A2+1
7. For tanβ to be rational, A2+1 must be rational. This implies that A2+1 must be a perfect square. Let A2+1=k2 for some integer k. Then: k2−A2=1⟹(k−A)(k+A)=1
8. We now express A in terms of p and q: A=p(3q2−p2)q(q2−3p2)
9. We need to show that A2+1 is a perfect square if and only if p2+q2 is a perfect square. We compute A2+1: A2+1=(p(3q2−p2)q(q2−3p2))2+1=p2(3q2−p2)2q2(q2−3p2)2+p2(3q2−p2)2
10. Simplifying the numerator: q2(q2−3p2)2+p2(3q2−p2)2=q2(q4−6q2p2+9p4)+p2(9q4−6q2p2+p4) =q6−6q4p2+9q2p4+9p2q4−6p4q2+p6=q6+p6+3q4p2+3p4q2 =(q2+p2)3
11. Therefore: A2+1=p2(3q2−p2)2(q2+p2)3
12. For A2+1 to be a perfect square, (q2+p2)3 must be a perfect square, which implies q2+p2 must be a perfect square.
Thus, tanβ is rational if and only if p2+q2 is the square of an integer.
■
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.