משפט לינדמן-ויירשטראס – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 13:
בשל תרומתו של הרמיט, המשפט נקרא גם '''משפט הרמיט-לינדמן''' או '''משפט הרמיט-לינדמן-ויירשטראס'''.
==טרנסצנדנטיות של <math>\ \pi</math>==
ההוכחה כי <math>\ \pi</math> מספר טרנסצנדנטי נובעת בקלות ממשפט לינדמן-ויירשטראס. [[הוכחה בדרך השלילה|נניח בשלילה]] כי <math>\ \pi</math> אלגברי. [[היחידה המדומה]] <math>\ i</math> אלגברי ולכן גם <math>\ i\pi</math> אלגברי ([[שדה המספרים האלגבריים]] [[סגירות (אלגברה)|סגור]] תחת [[כפל]]). לפי [[זהות אוילר]] <math>\ e^{i\pi}=-1</math> ולכן לפי משפט לינדמן-ויירשטראס נקבל את התוצאה המגוחכת כי <math>\ -1</math> טרנסצנדנטי. לכן ההנחה שגויה ו-<math>\ \pi</math> טרנסצנדנטי.
[[en:Lindemann–Weierstrass theorem]]
| |||