Redakcija: 17:00, 13. julij 2009 uredi TXiKiBoT (pogovor \| prispevki) Boti 191.982 urejanj m robot Dodajanje: ja:リンデマンの定理 ← Starejše urejanje		Redakcija: 00:00, 13. november 2009 uredi razveljavi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.627 urejanj m tn Novejše urejanje →
Vrstica 11: Enakovredna oblika izreka je naslednja: če so α<sub>1</sub>,...,α<sub>''n''</sub> različna algebrska števila, so eksponenti <math>e^{\alpha_{1}},\ldots,e^{\alpha_n}</math> linearno neodvisni v množici algebrskih števil. Pri dokazovanju transcendentnosti števila π predpostavimo, da je algebrsko. Ker [[množica]] vseh algebrskih števil tvori [[obseg]], to nakazuje, da sosta tudi π''i'' in 2π''i'' algebrska. Če vzamemo β<sub>1</sub> = β<sub>2</sub> = 1, α<sub>1</sub> = π''i'', α<sub>2</sub> = 2π''i'', nam Lindemann-Weierstrassov izrek da enačbo (glej [[Eulerjeva enačba\|Eulerjeva enačba v kompleksni analizi]]): : <math> 0 \neq e^{\pi i}+e^{2\pi i}=-1+1=0 \!\, . </math>

Lindemann-Weierstrassov izrek: Razlika med redakcijama