Teorema de Niven
Proposición sobre ángulos racionales con valores trigonométricos racionales
From Wikipedia, the free encyclopedia
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}}}](http://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.[2]
El teorema también se extiende a las otras funciones trigonométricas.[2] 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.[3]
Véase también
- Terna pitagórica, que forma triángulos rectángulos donde las funciones trigonométricas siempre tomarán valores racionales, aunque los ángulos agudos no son racionales
- Función trigonométrica
- Número trigonométrico
- Polinomio mínimo de valores trigonométricos especiales
