Lindemann-Weierstrassova věta , která je zobecněním Lindemannovy věty, dokazuje transcendenci velké třídy čísel. Věta říká následující [1] :
Jestliže jsou různá algebraická čísla lineárně nezávislá na , pak jsou algebraicky nezávislá na , to znamená, že stupeň transcendence rozšíření je |
Často se používá jiná ekvivalentní formulace [2] :
Pro všechna zřetelná algebraická čísla jsou čísla lineárně nezávislá na poli algebraických čísel . |
V roce 1882 Lindemann dokázal, že je transcendentální pro jakoukoli nenulovou algebraiku [3] , av roce 1885 Karl Weierstrass dokázal obecnější tvrzení výše.
Transcendence čísel e a π vyplývá snadno z Lindemann-Weierstrassovy věty .
Aplikujeme metodu důkazu kontradikcí . Předpokládejme, že číslo je algebraické. Pak je číslo , kde je imaginární jednotka , také algebraické, proto je podle Lindemann-Weierstrassovy věty číslo transcendentální, ale podle Eulerovy identity se rovná algebraickému číslu , což způsobuje rozpor. Proto je číslo transcendentální.