En matemáticas, el teorema de Niven, que lleva el nombre del matemático estadounidense Ivan Morton Niven (1915-1999), establece que:
|
![{\displaystyle {\begin{aligned}\operatorname {sen} 0^{\circ }&=0,\\[10pt]\operatorname {sen} 30^{\circ }&={\frac {1}{2}},\\[10pt]\operatorname {sen} 90^{\circ }&=1.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0b553164448ec85aea4f8c80d3ed7e70420863e)
En radianes, se requeriría que 0 ≤ x ≤ π⁄2, que x⁄π sea racional, y que sen x también sea racional. La conclusión es que los únicos valores de este tipo son sen 0 = 0, sen π⁄6 = 1⁄2, y sen π⁄2 = 1.
El teorema aparece como el Corolario 3.12 en el libro de Niven sobre números irracionales.
El teorema también se extiende a las otras funciones trigonométricas. Para valores racionales de θ, los únicos valores racionales del seno o del coseno son 0, ±1⁄2 y ±1; Los únicos valores racionales de la secante o cosecante son ±1 y ±2; y los únicos valores racionales de la tangente o cotangente son 0 y ±1.
