שלשה פיתגורית

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

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

להלן רשימת 16 השלשות הפרימיטיביות שבהן :
{|align="center" cellspacing="0" cellpadding="0"
|- align="center"
|style="padding: 0 1em"| (3,  4,  5)
|style="padding: 0 1em"| (5, 12, 13)
|style="padding: 0 1em"| (7, 24, 25)
|style="padding: 0 1em"| (8, 15, 17)
|- align="center"
|style="padding: 0 1em"| (9, 40, 41)
|style="padding: 0 1em"| (11, 60, 61)
|style="padding: 0 1em"| (12, 35, 37)
|style="padding: 0 1em"| (13, 84, 85)
|- align="center"
|style="padding: 0 1em"| (16, 63, 65)
|style="padding: 0 1em"| (20, 21, 29)
|style="padding: 0 1em"| (28, 45, 53)
|style="padding: 0 1em"| (33, 56, 65)
|- align="center"
|style="padding: 0 1em"| (36, 77, 85)
|style="padding: 0 1em"| (39, 80, 89)
|style="padding: 0 1em"| (48, 55, 73)
|style="padding: 0 1em"| (65, 72, 97)
|- align="center"
|}

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

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

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

הוכחה: נבחין שאם  שלשה פרימיטיבית, אז  מוכרח להיות אי-זוגי, וכן גם אחד (בדיוק) מבין המספרים  (זאת משום שריבוע משאיר תמיד שארית 0 או 1 בחלוקה ל-4). נניח שלמספר הזוגי בשלשה קוראים . מן השוויון  נובע , כאשר   ו- שניהם זוגיים. מכיוון ש- זרים, המחלק המשותף המקסימלי של  ו- הוא בדיוק 2, ומכיוון שמכפלתם  היא ריבוע, יוצא שכל אחד מן הגורמים הוא פעמיים ריבוע. אם נכתוב  ו-  נקבל את ההצגה הדרושה. כעת s, t זרים משום שכל מחלק משותף שלהם מחלק גם את a, b, c, ואחד מהם זוגי משום שאחרת b ,a ו-c כולם זוגיים. 

מכאן אפשר לקבל נוסחה כללית לכל השלשות הפיתגוריות: , כאשר s, t זרים ואחד מהם זוגי; כל שלשה מוצגת כך באופן יחיד (משום ש-k הוא המחלק המשותף המקסימלי של שלושת המספרים). זוהי דוגמה לפתרון של משוואה המתקבלת מתבנית ריבועית עם נקודה רציונלית. יש שלשות, כגון , שלא ניתן להציג עם  (במקרה זה, משום ש-15 אינו סכום של שני ריבועים).

על ידי בחינת הערכים האפשריים של s ו-t מודולו מספר קבוע n, אפשר להסיק אילו שאריות יכולה לקבל שלשה פרימיטיבית בחלוקה ל-n. לדוגמה, אחד מבין המספרים a ו-b מתחלק ב-4, ואילו השני אי-זוגי; גם c אי-זוגי; בפרט, מספר הנותן שארית 2 בחלוקה ל-4 אינו יכול להופיע בשלשה פיתגורית פרימיטיבית. בדומה לזה, בדיוק אחד משני המספרים a ו-b מתחלק ב-3, ובדיוק אחד מבין השלושה מתחלק ב-5. 

מכיוון ש-c הוא סכום של שני ריבועים (זרים זה לזה), כל גורם ראשוני של c הוא מהצורה . 

כל מספר טבעי שאינו נותן שארית 2 בחלוקה ל-4 יכול להופיע בתפקיד a בשלשה פרימיטיבית. מספר השלשות הפרימיטיביות (עם b > 0) שבהן a מופיע שווה ל-, כאשר s הוא מספר הגורמים הראשוניים השונים של a.

כאשר  בנוסחה שבראש פרק זה הם מספרי פל עוקבים, ההפרש בין b ל-a בשלשה המתקבלת הוא 1.

העץ הטרנרי של השלשות הפיתגוריות

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

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

רעיון ההוכחה: לכל שלושה מספרים טבעיים המהווים שלשה פיתגורית  נגדיר את השלשות המסומנות המתקבלות ממנה: 
,
,
.
נגדיר את ה'תאום' של שלשה המתאימה ל-  השלשה המתקבלת מהחלפת  ב  .
יהיו  תאומי-mnq של  
בהתאמה.
מניתוח התהליך ניתן להסיק כי  הן שלשות פיתגוריות של מספרים טבעיים וכי לכל i=1,2,3 מתקיים : 
כדי להוכיח את הכיוון ההפוך מוצאים לכל שלשה פיתגורית (לא מסומנת)   את התאום שלה  ומבצעים תהליך דומה.

שלשות פיתגוריות מיוחדות
פייר דה פרמה מצא שלשה פיתגורית a,b,c כך ש a+b ו- c ניתנים להצגה כריבוע של מספר טבעי:

לא ייתכנו שלשות פיתגוריות בהן a ו- b הם ריבועים של מספרים שלמים. פרמה הוכיח זאת בנסיגה אינסופית.
 קיימות שלשות פיתגוריות שונות עם אותו ערך של המכפלה ab. למשל, בשלשות 24,70,74,  40,42,58 ו-15,112,113 מתקיים ab=1680.
לא ידוע האם קיימות שלשות עבורן abc זהה.
 קיימות אינסוף שלשות פיתגוריות שבהן a ו-b הם מספרים עוקבים, כלומר b=a+1. ארבע השלשות הראשונות מסוג זה הן 3,4,5, 20,21,29, 119,120,169 ו-696,697,985. כיוון ש-c הוא סכום של שני ריבועים עוקבים, המשוואה המתאימה לכך היא , כלומר  . לאחר הכפלה ב-2 והעברת אגפים תתקבל המשוואה .  זוהי משוואת פל, שפתרונותיה ידועים (c שווה לאיבר ה-(2n+1) בסדרת פל). לאחר הוספת הביטוי  לשני האגפים ואז הוצאת שורש ריבועי, מתקבלת האפשרות לבודד את a ולהגיע למשוואה . מכאן ניתן לגלות את הנוסחאות הכלליות ל-b ,a ו-c בשלשות פיתגוריות שבהן a ו-b עוקבים:

הכללות
 הכללה מפורסמת של בעיה זו היא המשפט האחרון של פרמה הקובע שאין פתרון במספרים טבעיים למשוואה  עבור חזקות הגדולות מ-2.
משוואת לז'נדר, על שמו של המתמטיקאי אדריאן-מארי לז'נדר:
לאילו מספרים טבעיים  יש פתרון במספרים טבעיים למשוואה ? עבור  הפתרונות הם כמובן שלשות פיתגוריות.

ראו גם
 בעיית השלשות הפיתגוריות הבוליאנית

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

 
 הסבר מפורט באנגלית על העץ הטרנרי
 
 
 Amnon Yekutieli, Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers, American Mathematical Monthly, April 2023

הערות שוליים

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

no:Pythagoras’ læresetning#Pytagoreiske tripler