הצגת המקור של הדף "המשולש הישר של פרמה"

[[קובץ:Fermat_right_triangles.svg|ממוזער| שני משולשים ישרי זווית כששתי הצלעות של העליון שוות לצלע והיתר של התחתון. עבור אורכים אלה, <math>a^2</math>, <math>b^2</math>, ו <math>c^2</math> יוצרים [[סדרה חשבונית]] המופרדת בהפרש של <math>d^2</math>. בלתי אפשרי שכל ארבעת האורכים <math>a</math>, <math>b</math>, <math>c</math>, ו <math>d</math> יהיו [[מספרים שלמים]].]]
'''המשולש הישר של פרמה''' הוא שמה של הוכחת אי-קיום ב[[תורת המספרים]], שפורסמה בשנת 1670 יחד עם יצירותיו של [[פייר דה פרמה]], זמן קצר לאחר מותו. זו ההוכחה השלמה היחידה הידועה לנו שכתב פרמה<ref>{{harvtxt|Edwards|2000}}. Many subsequent mathematicians published proofs, including [[Gottfried Wilhelm Leibniz]] (1678), [[Leonhard Euler]] (1747), and Bernard Frenicle de Bessy (before 1765); see {{harvtxt|Dickson|1920}} and {{harvtxt|Goldstein|1995}}.</ref>. יש לה כמה ניסוחים שווים, שאחד מהם נאמר (אך לא הוכח) כ-450 שנה לפני פרמה, בשנת 1225 על ידי [[פיבונאצ'י]]. בצורותיו הגאומטריות, הוא קובע:
* [[משולש ישר-זווית]] [[מישור (גאומטריה)|במישור האוקלידי]] שכל שלושת אורכי הצלעות שלו הם [[מספר רציונלי|מספרים רציונליים]] לא יכול להיות בעל שטח שהוא הריבוע של מספר רציונלי. השטח של משולש ישר-זווית רציונלי נקרא [[מספר קונגרואנטי]], כך שאף מספר קונגרואנטי מרובע.
* משולש ישר-זווית ו[[ריבוע]] עם שטחים שווים לא יכולים להיות בעלי [[מידה משותפת]] בכל צדדיהם.
* אין שני [[שלשה פיתגורית|משולשים ישרי זווית פיתגוריים]] שבהם שתי הרגליים של משולש אחד הן הרגל וה[[יתר]] של המשולש השני.

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

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

== ייצוגים ונסחים שונים ==
=== ריבועים בסדרה חשבונית ===
{{להשלים|נושא=מדעי הטבע}}

=== שטחים של משולשים ישרי זווית ===
מכיוון שהקונגרואה הם מספרים שהם בדיוק פי ארבעה מהשטח של שלשה פיתגורית, והכפלה בארבע אינה משנה את תכונת הריבועית, קיומו של קונגרום מרובע מקבילה לקיומו של שלשה פיתגורית עם שטח ריבועי. גרסה זו של הבעיה נוגעת להוכחת פרמה: הוא מראה שאין משולש כזה. בהתחשב בבעיה זו, פרמה לא קיבל השראה מפיבונאצ'י אלא ממהדורה של ''[[אריתמטיקה (ספר)|אריתמטיקה]]'' מאת [[דיופנטוס]], שפורסמה בתרגום לצרפתית בשנת 1621 על ידי [[קלוד בשה|קלוד גאספר בשה דה מזריאק]].<ref>{{citation
 | last = Edwards | first = Harold M. | author-link = Harold Edwards (mathematician)
 | contribution = 1.6 Fermat's one proof
 | contribution-url = https://books.google.com/books?id=_IxN-5PW8asC&pg=PA10
 | isbn = 978-0-387-95002-0
 | pages = 10–14
 | publisher = Springer
 | series = Graduate Texts in Mathematics
 | title = Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory
 | volume = 50
 | year = 2000}}</ref> ספר זה תיאר משולשים ישרי זווית מיוחדים אשר בשטחים שלהם היו צורות הקשורות לריבועים, אך לא התייחס למקרה של שטחים שהם עצמם ריבועיים.<ref>{{citation
 | last = Stillwell | first = John | author-link = John Stillwell
 | contribution = 4.7 The area of rational right triangles
 | contribution-url = https://books.google.com/books?id=4elkHwVS0eUC&pg=PA131
 | isbn = 978-0-387-98289-2
 | pages = 131–133
 | publisher = Springer
 | series = [[Undergraduate Texts in Mathematics]]
 | title = Numbers and Geometry
 | year = 1998}}</ref>

על ידי סידור מחדש של המשוואות לשני המשולשים הפיתגוריים למעלה, ולאחר מכן הכפלתם יחד, מתקבלת המשוואה הדיופנטית היחידה<math display="block">b^4 - d^4 = (b^2-d^2)(b^2+d^2) = a^2 c^2</math>אשר ניתן לפשט על ידי הצגת משתנה חדש <math>e=ac</math> ל<math display="block">b^4 - d^4 = e^2.</math>לעומת זאת, כל שלושה מספרים שלמים חיוביים המצייתים למשוואה <math>b^4 - d^4 = e^2</math> מובילים לקונגרום מרובע: למספרים אלה, הריבועים <math>(b^4-d^4-2b^2 d^2)^2</math>, <math>(b^4+d^4)^2</math>, ו <math>(b^4-d^4+2b^2 d^2)^2</math> יוצרים התקדמות אריתמטית עם קונגרום <math>4b^2 d^2 (b^4-d^4) = (2bde)^2</math>, שהוא ריבועי בעצמו. לפיכך, הפתרון של <math>b^4 - d^4 = e^2</math> שווה לקיומו של קונגרום מרובע. אבל, אם [[המשפט האחרון של פרמה|למשפט האחרון של פרמה]] הייתה [[דוגמה נגדית]] במעריך <math>4</math>, פתרון שלם למשוואה <math>x^4+y^4=z^4</math>, ואז ריבוע אחד משלושת המספרים בזוגמה הנגדית ייתן שלושה מספרים הפותרים את המשוואה <math>b^4 - d^4 = e^2</math> . לכן ההוכחה של פרמאט כי אין למשולש [[פיתגורס]] שטח מרובע מרמזת על נכונות של מקרה המעריך-<math>4</math> של המשפט האחרון של פרמה.[7]

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

=== עקומה אליפטית ===
[[קובץ:Elliptic_curve_y^2_=_x^3_-_x.svg|ממוזער| העקומה האליפטית {{נוסחה|''y''<sup>2</sup> {{=}} ''x''(''x'' + 1)(''x'' &minus; 1)}}. העקומה חותכת את ציר ה-{{Mvar|x}} בנקודות x=-1,0,1.]]
צורה מקבילה נוספת של משפט פרמה כוללת [[עקום אליפטי|עקומה אליפטית]] המורכבת מנקודות אשר [[מערכת צירים קרטזית|הקואורדינטות הקרטזיות]] <math>(x,y)</math> מקיימות את המשוואה:<math display="block">y^2 = x(x+1)(x-1).</math>הנקודות (1,0&#x2212;), (0,0) ו- (1,0) מספקות פתרונות ברורים למשוואה זו. משפט פרמה שקול לאמירה כי אלה הנקודות היחידות בעקומה שעבורן <math>x</math> ו <math>y</math> הם רציונליים. באופן כללי יותר, המשולשים ישרי הזווית עם צלעות רציונליים ושטח <math>n</math> מתאימות אחד לאחד עם הנקודות הרציונליות עם קואורדינטת <math>y</math> חיובית על העקומה האליפטית <math>y^2=x(x+n)(x-n)</math>.<ref>{{citation
 | last = Koblitz | first = Neal | author-link = Neal Koblitz
 | edition = 2nd
 | isbn = 0-387-97966-2
 | publisher = Springer-Verlag
 | series = Graduate Texts in Mathematics
 | title = Introduction to Elliptic Curves and Modular Forms
 | volume = 97
 | year = 1993}}</ref><ref>{{citation
 | last1 = Kato | first1 = Kazuya
 | last2 = Saitō | first2 = Takeshi
 | isbn = 978-0-8218-0863-4
 | page = 17
 | publisher = American Mathematical Society
 | series = Translations of mathematical monographs
 | title = Number Theory: Fermat's dream
 | translator = Nobushige Kurokawa
 | url = https://books.google.com/books?id=lARCMo8z5uoC&pg=PA17
 | year = 2000}} </ref>

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

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

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

==קישורים חיצוניים==
* {{MathWorld}}

== הערות שוליים ==
{{הערות שוליים}}

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