משפט לינדמן-ויירשטראס – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 14:
בשל תרומתו של הרמיט, המשפט נקרא גם '''משפט הרמיט-לינדמן''' או '''משפט הרמיט-לינדמן-ויירשטראס'''.
==טרנסצנדנטיות של <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> טרנסצנדנטי.
הכללה של ההוכחה תוכיח תוצאה דומה ל[[פונקציות טריגונומטריות]]. <math>\ \cos x</math> אלגברי אם ורק אם <math>\ \sin x</math> אלגברי (כי <math>\ \sin x = \pm\sqrt{1-\cos^2 x}</math>). יהי <math>\ \alpha</math> אלגברי, נניח בשלילה כי <math>\ \cos {\alpha}, \sin {\alpha}</math> אלגבריים אז לפי [[נוסחת אוילר]] <math>\ e^{i \alpha} = \cos{\alpha} + i \sin{\alpha} </math> אלגברי בסתירה למשפט לינדמן-ויירשטראס.
[[en:Lindemann–Weierstrass theorem]]
| |||