El teorema de Hermite-Lindemann establece que si a es un número algebraico distinto de cero, entonces el número a es trascendente.
Historia El teorema fue demostrado en 1882 por Carl Louis Ferdinand von Lindemann. En 1885, Karl Weierstraß dio una generalización, conocida como teorema de Lindemann–Weierstrass. Una generalización más reciente es el teorema de Baker.
Trascendencia de y de En particular, es trascendente, resultado demostrado por Charles Hermite en 1873. por Michel Waldschmidt Esta prueba es conocida como el teorema de Hermite.
La trascendencia de es también un corolario del teorema de Lindemann: , pero del teorema se deduce más generalmente la trascendencia de cualquier número distinto de cero t donde (por ejemplo) la función seno es algebraica. De hecho, teniendo en cuenta las fórmulas de Euler (las relaciones entre cos (t), sin (t) y t), tan pronto como uno de los tres es algebraico, los tres son, en particular t algebraicos, de modo que por contraposición lógica del teorema, el número t es por tanto trascendente, y t también lo es.
El enfoque original de Hermite para fue simplificado y extendido a por David Hilbert (en 1893),. para finalmente convertirse en elemental gracias a Adolf Hurwitz y Paul Gordan. Al adaptar la estrategia de la demostración de la transcendencia de a la correspondiente demostración de , los datos sobre polinomios simétricos juegan un papel fundamental.
Para obtener información detallada sobre las demostraciones de la trascendencia de y de , consúltense referencias y anexos.
Imposibilidad de la cuadratura del círculo
Pierre Wantzel había demostrado en 1837 que el problema de la imposibilidad de la cuadratura del círculo podía deducirse de la trascendencia hipotética del número (véase teorema de Wantzel para más detalles). Al demostrar que no es algebraico, Lindemann logró demostrar que es imposible construir con regla y compás un cuadrado de la misma área que un círculo dado, resolviendo así en negativo uno de los problemas matemáticos más antiguos desde la Grecia clásica.
Referencias
Bibliografía ()
Enlaces externos
Demostración de la transcendencia de e y de π (en francés) (prueba de la trascendencia de , acompañada de una referencia bibliográfica) (demostración de la trascendencia de y , luego del teorema de Lindemann–Weierstrass completo, tomado de y detallado) Trascendencia de y para tontos (tesis de licenciatura 1er año bajo la dirección de Alain Prouté, Universidad de París VII Denis Diderot)
Categoría:Exponenciales Categoría:Π Hermite-Lindemann