המשולש הישר של פרמה

המשולש הישר של פרמה הוא שמה של הוכחת אי-קיום בתורת המספרים, שפורסמה בשנת 1670 יחד עם יצירותיו של פייר דה פרמה, זמן קצר לאחר מותו. זו ההוכחה השלמה היחידה הידועה לנו שכתב פרמה^[1]. יש לה כמה ניסוחים שווים, שאחד מהם נאמר (אך לא הוכח) כ-450 שנה לפני פרמה, בשנת 1225 על ידי פיבונאצ'י. בצורותיו הגיאומטריות, הוא קובע:

משולש ישר-זווית במישור האוקלידי שכל שלושת אורכי הצלעות שלו הם מספרים רציונליים לא יכול להיות בעל שטח שהוא הריבוע של מספר רציונלי. השטח של משולש ישר-זווית רציונלי נקרא מספר קונגרואנטי, כך שאף מספר קונגרואנטי מרובע.
משולש ישר-זווית וריבוע עם שטחים שווים לא יכולים להיות בעלי מידה משותפת בכל צדדיהם.
אין שני משולשים ישרי זווית פיתגוריים שבהם שתי הרגליים של משולש אחד הן הרגל והיתר של המשולש השני.

באופן מופשט יותר, כתוצאה מכך לגבי משוואות דיופנטיות (פתרונות שלמים או מספרים רציונליים למשוואות פולינומיות), היא שווה ערך לאמירות ש:

אם שלושה מספרים ריבועיים יוצרים סדרה חשבונית, הרי שהפער בין מספרים עוקבים בסדרה (הנקרא הפרש או קונגרואום) אינו יכול להיות בעצמו ריבועי.
הנקודות הרציונליות היחידות בעקומה האליפטית $y^{2}=x(x-1)(x+1)$ הן שלוש הנקודות הטריוויאליות עם $x\in \{-1,0,1\}$ ו $y=0$ .
למשוואה מהמעלה הרביעית $x^{4}-y^{4}=z^{2}$ אין פתרון שלם שאינו אפס.

תוצאה מיידית של הניסוח האחרון לעיל היא שהמשפט האחרון של פרמה נכון במקרה המיוחד שמעריכו הוא 4.

ייצוגים ונסחים שונים

ריבועים בסדרה חשבונית

פרק זה לוקה בחסר. אנא תרמו למכלול והשלימו אותו.

שטחים של משולשים ישרי זווית

מכיוון שהקונגרואה הם מספרים שהם בדיוק פי ארבע מהשטח של שלשה פיתגורית, והכפלה בארבע אינה משנה את תכונת הריבועית, קיומו של קונגרום מרובע מקבילה לקיומו של שלשה פיתגורית עם שטח ריבועי. גרסה זו של הבעיה נוגעת להוכחת פרמה: הוא מראה שאין משולש כזה. בהתחשב בבעיה זו, פרמה לא קיבל השראה מפיבונאצ'י אלא ממהדורה של אריתמטיקה מאת דיופנטוס, שפורסמה בתרגום לצרפתית בשנת 1621 על ידי קלוד גאספר בשה דה מזריאק.^[2] ספר זה תיאר משולשים ישרי זווית מיוחדים אשר בשטחים שלהם היו צורות הקשורות לריבועים, אך לא התייחס למקרה של שטחים שהם עצמם ריבועיים.^[3]

על ידי סידור מחדש של המשוואות לשני המשולשים הפיתגוריים למעלה, ולאחר מכן הכפלתם יחד, מתקבלת המשוואה הדיופנטית היחידה

b^{4}-d^{4}=(b^{2}-d^{2})(b^{2}+d^{2})=a^{2}c^{2}

אשר ניתן לפשט על ידי הצגת משתנה חדש

e=ac

ל

b^{4}-d^{4}=e^{2}.

לעומת זאת, כל שלושה מספרים שלמים חיוביים המצייתים למשוואה

b^{4}-d^{4}=e^{2}

מובילים לקונגרום מרובע: למספרים אלה, הריבועים הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle (b^{4}-d^{4}-2b^{2}d^{2})^{2}} ,

(b^{4}+d^{4})^{2}

, ו

(b^{4}-d^{4}+2b^{2}d^{2})^{2}

יוצרים התקדמות אריתמטית עם קונגרום

4b^{2}d^{2}(b^{4}-d^{4})=(2bde)^{2}

, שהוא ריבועי בעצמו. לפיכך, הפתרון של

b^{4}-d^{4}=e^{2}

שווה לקיומו של קונגרום מרובע. אבל, אם למשפט האחרון של פרמה הייתה דוגמה נגדית במעריך

4

, פתרון שלם למשוואה הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle x^{4}+y^{4}=z^{4}} , ואז ריבוע אחד משלושת המספרים בזוגמה הנגדית ייתן שלושה מספרים הפותרים את המשוואה

b^{4}-d^{4}=e^{2}

. לכן ההוכחה של פרמאט כי אין למשולש פיתגורס שטח מרובע מרמזת על נכונות של מקרה המעריך-

4

של המשפט האחרון של פרמה.[7]

ניסוח שווה ערך אחר של אותה בעיה כולל מספרים קונגריואנטיים, המספרים שהם שטחים של משולשים ישרי זווית שכל שלושת הצלעות שלהם הם מספרים רציונליים . על ידי הכפלת הצלעות במכנה משותף, כל מספר תואם עשוי להפוך לשטח של משולש פיתגורי, ומכאן יוצא שהמספרים הקונגרואנטיים הם בדיוק המספרים הנוצרים על ידי הכפלת קונוגרום בריבוע של מספר רציונלי. לכן, קיומו של קונגרום מרובע מקביל לאמירה כי המספר 1 אינו מספר קונגרואנטי. דרך גיאומטרית נוספת לקביעת ניסוח זה היא שלא ייתכן כי ריבוע (הצורה הגיאומטרית) ומשולש ישר-זווית יהיו שני שטחים שווים וכל הצלעות תואמות זו לזו.[10]

עקומה אליפטית

צורה מקבילה נוספת של משפט פרמה כוללת עקומה אליפטית המורכבת מנקודות אשר הקואורדינטות הקרטזיות $(x,y)$ מקיימות את המשוואה:

y^{2}=x(x+1)(x-1).

הנקודות (1,0−), (0,0) ו- (1,0) מספקות פתרונות ברורים למשוואה זו. משפט פרמה שקול לאמירה כי אלה הנקודות היחידות בעקומה שעבורן

x

ו

y

הם רציונליים. באופן כללי יותר, המשולשים ישרי הזווית עם צלעות רציונליים ושטח

n

מתאימות אחד לאחד עם הנקודות הרציונליות עם קואורדינטת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} חיובית על העקומה האליפטית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2=x(x+n)(x-n)} .^[4]^[5]

ההוכחה של פרמה

במהלך חייו אתגר פרמה מתמטיקאים אחרים שיוכיחו את אי-קיומו של משולש פיתגורי עם שטח ריבועי, אך לא פרסם את ההוכחה בעצמו. עם זאת, הוא כתב הוכחה בעותק שלו של "אריתמטיקה" (של דיופנטוס), אותו העתק שבו כתב שהוא יכול להוכיח את המשפט האחרון של פרמה. בנו של פרמה קלמנט-סמואל פרסם מהדורה של ספר זה, הכולל את הערות השוליים של פרמה עם הוכחת משפט המשולש ישר-זווית, בשנת 1670.

ההוכחה של פרמה היא הוכחה על ידי נסיגה אינסופית. הוא מראה כי מכל דוגמה של משולש פיתגורי עם שטח ריבועי ניתן להפיק דוגמה קטנה יותר. מאחר שמשולשים פיתגוריים הם בעלי שטחים שלמים חיוביים, ולא קיים רצף יורד אינסופי של מספרים שלמים חיוביים, גם לא יכול להתקיים משולש פיתגורי עם שטח ריבועי.

בפירוט רב יותר, נניח שכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} , ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z} הם צלעותיהם השלמות של משולש ישר-זווית עם שטח ריבועי. על ידי חלוקה בכל הגורמים המשותפים, ניתן להניח שהמשולש הוא פרימיטיבי [10] ומהצורה הידועה של כל השלשות הפיתגוריות הפרימיטיביות, אפשר להגדיר $x=2pq$ , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=p^2-q^2} , ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle z=p^2+q^2} , שבאמצעותו הופכת הבעיה למציאת מספרים זרים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q} (אחד מהם אי זוגי) כזה שהאזור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle pq(p^2-q^2)} הוא ריבועי. כדי שמספר זה יהיה ריבוע, ארבעת הגורמים הליניאריים שלו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q} , $p+q$ , ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p-q} (שהם זרים) חייבים בעצמם להיות ריבועיים; נניחהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p+q=r^2} ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p-q=s^2} . הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle s} חייבים שניהם להיות אי-זוגיים, שכן בדיוק אחד מ הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} אוֹ הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q} הוא זוגי והשני אי-זוגי. לכן, שניהם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r-s} ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r+s} הם זוגיים, ואחד מהם מתחלק ב-4. חלוקתם בשניים מייצרת עוד שני מספרים שלמים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle u=(r-s)/2} ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle v=(r+s)/2} , שאחד מהם הוא אי זוגי לפי המשפט הקודם. כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle u^2+v^2=(r^2+s^2)/2=p} הוא ריבועי, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle u} ו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle v} הן רגלי משולש פיתגורס פרימיטיבי אחר ששטחו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle uv/2=q/4} . משום ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q} הוא עצמו ריבועי וש- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle uv} הוא אי זוגי, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q/4} הוא ריבועי. לפיכך, כל משולש פיתגורס עם שטח ריבועי מוביל למשולש פיתגורס קטן יותר עם שטח ריבועי, המשלים את ההוכחה.

קישורים חיצוניים

המשולש הישר של פרמה, באתר MathWorld (באנגלית) המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.

הערות שוליים

^ תבנית:Harvtxt. Many subsequent mathematicians published proofs, including Gottfried Wilhelm Leibniz (1678), Leonhard Euler (1747), and Bernard Frenicle de Bessy (before 1765); see תבנית:Harvtxt and תבנית:Harvtxt.
^ Edwards, Harold M. (2000), "1.6 Fermat's one proof", Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Graduate Texts in Mathematics, vol. 50, Springer, pp. 10–14, ISBN 978-0-387-95002-0
^ Stillwell, John (1998), "4.7 The area of rational right triangles", Numbers and Geometry, Undergraduate Texts in Mathematics, Springer, pp. 131–133, ISBN 978-0-387-98289-2
^ Koblitz, Neal (1993), Introduction to Elliptic Curves and Modular Forms, Graduate Texts in Mathematics, vol. 97 (2nd ed.), Springer-Verlag, ISBN 0-387-97966-2
^ Kato, Kazuya; Saitō, Takeshi (2000), Number Theory: Fermat's dream, Translations of mathematical monographs, תורגם ע"י Nobushige Kurokawa, American Mathematical Society, p. 17, ISBN 978-0-8218-0863-4

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

32128423המשולש הישר של פרמה

[1] תבנית:Harvtxt. Many subsequent mathematicians published proofs, including Gottfried Wilhelm Leibniz (1678), Leonhard Euler (1747), and Bernard Frenicle de Bessy (before 1765); see תבנית:Harvtxt and תבנית:Harvtxt.

[2] Edwards, Harold M. (2000), "1.6 Fermat's one proof", Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Graduate Texts in Mathematics, vol. 50, Springer, pp. 10–14, ISBN 978-0-387-95002-0

[3] Stillwell, John (1998), "4.7 The area of rational right triangles", Numbers and Geometry, Undergraduate Texts in Mathematics, Springer, pp. 131–133, ISBN 978-0-387-98289-2

[4] Koblitz, Neal (1993), Introduction to Elliptic Curves and Modular Forms, Graduate Texts in Mathematics, vol. 97 (2nd ed.), Springer-Verlag, ISBN 0-387-97966-2

[5] Kato, Kazuya; Saitō, Takeshi (2000), Number Theory: Fermat's dream, Translations of mathematical monographs, תורגם ע"י Nobushige Kurokawa, American Mathematical Society, p. 17, ISBN 978-0-8218-0863-4

[1]

[2]

[3]

[4]

[5]

המשולש הישר של פרמה

תוכן עניינים