הבעיות הגאומטריות של ימי קדם – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 29:
 
בשנת [[1882]] הוכיח [[פרדיננד לינדמן]] את [[משפט לינדמן]] שקובע שעבור כל α [[מספר אלגברי|אלגברי]] שאינו 0, <math>\,e^{\alpha}</math> הוא [[מספר טרנסצנדנטי]]. מכאן ניתן [[הוכחה בדרך השלילה|להוכיח בשלילה]] שפאי טרנסצנדנטי. נניח שפאי הוא מספר אלגברי. מכיוון ש-i (השורש הריבועי של 1-) אלגברי, גם המכפלה של i ופאי אלגברית. [[זהות אוילר]] קובעת כי :<math>e^{i \pi} = -1 \,\!</math>
, ולכן 1- הוא טרנצנדנטי, מה שבבירור לא נכון. מכאן נובע ש-ש־<math>\pi</math> ([[פאי]]) הוא [[מספר טרנסצנדנטי]]. מהוכחה זו נובע שלא ניתן לבנות ריבוע השווה בשטחו לעיגול נתון, משום שבבנייה באמצעות סרגל ומחוגה בלבד לא ניתן לבנות יחס טרנסצנדנטי.
 
==חלוקה לשלוש (טריסקציה) של זווית==