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

[ממוזער| שני משולשים ישרי זווית כששתי הצלעות של העליון שוות לצלע והיתר של התחתון. עבור אורכים אלה, <math>a^2</math>, <math>b^2</math>, ו <math>c^2</math> יוצרים [סדרה חשבונית המופרדת בהפרש של d^2. בלתי אפשרי שכל ארבעת האורכים a, b, c, ו d יהיו מספרים שלמים.]]
**המשולש הישר של פרמה** הוא שמה של הוכחת אי-קיום בתורת המספרים, שפורסמה בשנת 1670 יחד עם יצירותיו של פייר דה פרמה, זמן קצר לאחר מותו. זו ההוכחה השלמה היחידה הידועה לנו שכתב פרמה. יש לה כמה ניסוחים שווים, שאחד מהם נאמר (אך לא הוכח) כ-450 שנה לפני פרמה, בשנת 1225 על ידי פיבונאצ'י. בצורותיו הגאומטריות, הוא קובע:
* משולש ישר-זווית במישור האוקלידי שכל שלושת אורכי הצלעות שלו הם מספרים רציונליים לא יכול להיות בעל שטח שהוא הריבוע של מספר רציונלי. השטח של משולש ישר-זווית רציונלי נקרא מספר קונגרואנטי, כך שאף מספר קונגרואנטי מרובע.
* משולש ישר-זווית וריבוע עם שטחים שווים לא יכולים להיות בעלי מידה משותפת בכל צדדיהם.
* אין שני משולשים ישרי זווית פיתגוריים שבהם שתי הרגליים של משולש אחד הן הרגל והיתר של המשולש השני.

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

תוצאה מיידית של הניסוח האחרון לעיל היא שאין פתרון בשלמים למשוואה x^4+y^4=z^4, וזהו אם כן המקרה  הראשון שהוכח של המשפט האחרון של פרמה.

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

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

על ידי סידור מחדש של המשוואות לשני המשולשים הפיתגוריים למעלה, ולאחר מכן הכפלתם יחד, מתקבלת המשוואה הדיופנטית היחידה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 מובילים לקונגרום מרובע: למספרים אלה, הריבועים (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, פתרון שלם למשוואה x^4+y^4=z^4, ואז ריבוע אחד משלושת המספרים בזוגמה הנגדית ייתן שלושה מספרים הפותרים את המשוואה b^4 - d^4 = e^2 . לכן ההוכחה של פרמאט כי אין למשולש פיתגורס שטח מרובע מרמזת על נכונות של מקרה המעריך-4 של המשפט האחרון של פרמה.[7]

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

### עקומה אליפטית
ממוזער| העקומה האליפטית . העקומה חותכת את ציר ה- בנקודות x=-1,0,1.
צורה מקבילה נוספת של משפט פרמה כוללת עקומה אליפטית המורכבת מנקודות אשר הקואורדינטות הקרטזיות (x,y) מקיימות את המשוואה:y^2 = x(x+1)(x-1).הנקודות (1,0&#x2212;), (0,0) ו- (1,0) מספקות פתרונות ברורים למשוואה זו. משפט פרמה שקול לאמירה כי אלה הנקודות היחידות בעקומה שעבורן x ו y הם רציונליים. באופן כללי יותר, המשולשים ישרי הזווית עם צלעות רציונליים ושטח n מתאימות אחד לאחד עם הנקודות הרציונליות עם קואורדינטת y חיובית על העקומה האליפטית y^2=x(x+n)(x-n).

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

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

בפירוט רב יותר, נניח שכן x, y, ו z הם צלעותיהם השלמות של משולש ישר-זווית עם שטח ריבועי. על ידי חלוקה בכל הגורמים המשותפים, ניתן להניח שהמשולש הוא פרימיטיבי [10] ומהצורה הידועה של כל השלשות הפיתגוריות הפרימיטיביות, אפשר להגדיר x=2pq, y=p^2-q^2, ו z=p^2+q^2, שבאמצעותו הופכת הבעיה למציאת מספרים זרים p ו q (אחד מהם אי זוגי) כזה שהאזור pq(p^2-q^2) הוא ריבועי. כדי שמספר זה יהיה ריבוע, ארבעת הגורמים הליניאריים שלו p, q, p+q, ו p-q (שהם זרים) חייבים בעצמם להיות ריבועיים; נניחp+q=r^2 ו p-q=s^2 . r ו s חייבים שניהם להיות אי-זוגיים, שכן בדיוק אחד מ p אוֹ q הוא זוגי והשני אי-זוגי. לכן, שניהם r-s ו r+s הם זוגיים, ואחד מהם מתחלק ב-4. חלוקתם בשניים מייצרת עוד שני מספרים שלמים u=(r-s)/2 ו v=(r+s)/2, שאחד מהם הוא אי זוגי לפי המשפט הקודם. כי u^2+v^2=(r^2+s^2)/2=p הוא ריבועי, u ו v הן רגלי משולש פיתגורס פרימיטיבי אחר ששטחו uv/2=q/4 . משום ש q הוא עצמו ריבועי וש- uv הוא אי זוגי, q/4 הוא ריבועי. לפיכך, כל משולש פיתגורס עם שטח ריבועי מוביל למשולש פיתגורס קטן יותר עם שטח ריבועי, המשלים את ההוכחה.

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

## הערות שוליים

קטגוריה:משפטים בתורת המספרים
קטגוריה:משוואות דיופנטיות