Théorème de Lindemann-Weierstrass

Le théorème de Lindemann-Weierstrass établit que si des nombres algébriques α1, … , αn sont linéairement indépendants sur le corps Q des nombres rationnels, alors leurs exponentielles eα1, … , eαn sont algébriquement indépendantes sur Q. En d'autres termes, l'…