משפט לינדמן-ויירשטראס – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Addbot (שיחה | תרומות)
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q1572474
שורה 19:
הכללה של ההוכחה תוכיח כי ה[[פונקציות טריגונומטריות|פונקציות הטריגונומטריות]] מחזירות ערכים טרנסצנדנטיים כאשר הן מופעלות על ערכים אלגבריים שונים מאפס. <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> אלגברי בסתירה למשפט לינדמן-ויירשטראס. תוצאה דומה תקפה לפונקציית הטנגנס ול[[פונקציות היפרבוליות|פונקציות ההיפרבוליות]].
 
גם [[הלוגריתם הטבעי]] <math>\ \ln x</math> טרנסצנדנטי לכל <math>\ \alpha</math> אלגברי שונהחיובי מאחדשונה ואפסמ-1. אחרת <math>\ e^{\ln {\alpha}}=\alpha</math> סותר את המשפט.
 
==גרסה p-אדית==