Teorema de Lindemann–Weierstrass
Lindemann–Weierstrass theorem
- Fecha
- 1882-1885 · fiabilidad media
- Lugar
- Berlín, Alemania
- Autoría
- Karl Weierstraß y Ferdinand von Lindemann
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema que prueba que si α₁,…,αₙ son números algebraicos distintos, entonces e^α₁,…,e^αₙ son linealmente independientes sobre los números algebraicos, lo que permite demostrar la trascendencia de e y de π. Probado por Ferdinand von Lindemann en 1882 y generalizado por Karl Weierstraß en 1885.
A qué dio paso
- Demostración de la trascendencia de π y la imposibilidad de la cuadratura del círculo
- Desarrollo de la teoría de números trascendentes
- Precedente del séptimo problema de Hilbert (teorema de Gelfond-Schneider)