Misplaced Pages

Niven's theorem

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Theorem on rational values of the sine

In mathematics, Niven's theorem, named after Ivan Niven, states that the only rational values of θ in the interval 0° ≤ θ ≤ 90° for which the sine of θ degrees is also a rational number are:

sin 0 = 0 , sin 30 = 1 2 , sin 90 = 1. {\displaystyle {\begin{aligned}\sin 0^{\circ }&=0,\\\sin 30^{\circ }&={\frac {1}{2}},\\\sin 90^{\circ }&=1.\end{aligned}}}

In radians, one would require that 0° ≤ xπ/2, that x/π be rational, and that sin(x) be rational. The conclusion is then that the only such values are sin(0) = 0, sin(π/6) = 1/2, and sin(π/2) = 1.

The theorem appears as Corollary 3.12 in Niven's book on irrational numbers.

The theorem extends to the other trigonometric functions as well. For rational values of θ, the only rational values of the sine or cosine are 0, ±1/2, and ±1; the only rational values of the secant or cosecant are ±1 and ±2; and the only rational values of the tangent or cotangent are 0 and ±1.

History

Niven's proof of his theorem appears in his book Irrational Numbers. Earlier, the theorem had been proven by D. H. Lehmer and J. M. H. Olmstead. In his 1933 paper, Lehmer proved the theorem for the cosine by proving a more general result. Namely, Lehmer showed that for relatively prime integers k and n with n > 2, the number 2 cos(2πk/n) is an algebraic number of degree φ(n)/2, where φ denotes Euler's totient function. Because rational numbers have degree 1, we must have n ≤ 2 or φ(n) = 2 and therefore the only possibilities are n = 1,2,3,4,6. Next, he proved a corresponding result for the sine using the trigonometric identity sin(θ) = cos(θπ/2). In 1956, Niven extended Lehmer's result to the other trigonometric functions. Other mathematicians have given new proofs in subsequent years.

See also

References

  1. Schaumberger, Norman (1974). "A Classroom Theorem on Trigonometric Irrationalities". Two-Year College Mathematics Journal. 5 (1): 73–76. doi:10.2307/3026991. JSTOR 3026991.
  2. ^ Niven, Ivan (1956). Irrational Numbers. The Carus Mathematical Monographs. The Mathematical Association of America. p. 41. MR 0080123.
  3. ^ A proof for the cosine case appears as Lemma 12 in Bennett, Curtis D.; Glass, A. M. W.; Székely, Gábor J. (2004). "Fermat's last theorem for rational exponents". American Mathematical Monthly. 111 (4): 322–329. doi:10.2307/4145241. JSTOR 4145241. MR 2057186.
  4. Lehmer, Derrick H. (1933). "A note on trigonometric algebraic numbers". The American Mathematical Monthly. 40 (3): 165–166. doi:10.2307/2301023. JSTOR 2301023.

Further reading

  • Olmsted, J. M. H. (1945). "Rational values of trigonometric functions". The American Mathematical Monthly. 52 (9): 507–508. doi:10.2307/2304540. JSTOR 2304540.
  • Jahnel, Jörg (2010). "When is the (co)sine of a rational angle equal to a rational number?". arXiv:1006.2938 .

External links

Categories:
Niven's theorem Add topic