Teorema de Niven

De Wikipedia, la enciclopedia libre
Esta es una versión antigua de esta página, editada a las 15:10 12 oct 2020 por InternetArchiveBot (discusión · contribs.). La dirección URL es un enlace permanente a esta versión, que puede ser diferente de la versión actual.

En matemáticas, el teorema de Niven, que lleva el nombre del matemático estadounidense Ivan Morton Niven (1915-1999), establece que:

Teorema de Niven: Los únicos valores racionales de un ángulo θ en el intervalo 0° ≤ θ ≤ 90° para los que el seno de θ es también un número racional, son:[1]

En radianes, se requeriría que 0 ≤ x ≤ π2, que xπ sea racional, y que sin x también sea racional. La conclusión es que los únicos valores de este tipo son sin 0 = 0, sin π6 = 12, y sin π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, ±12 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

Referencias

  1. Schaumberger, Norman (1974). «A Classroom Theorem on Trigonometric Irrationalities». Two-Year College Mathematics Journal 5: 73-76. JSTOR 3026991. 
  2. a b Niven, Ivan (1956). Irrational Numbers. The Carus Mathematical Monographs (11). Mathematical Association of America. p. 41. MR 0080123. 
  3. Una prueba para el caso del coseno aparece en el Lema 12 en 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. MR 2057186. doi:10.2307/4145241. 

Lecturas relacionadas

  • Olmsted, J. M. H. (1945). «Rational values of trigonometric functions». Amer. Math. Monthly 52 (9): 507-508. JSTOR 2304540. 
  • Lehmer, Derik H. (1933). «A note on trigonometric algebraic numbers». Amer. Math. Monthly 40 (3): 165-166. JSTOR 2301023. 

Enlaces externos