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

במספר ההצגות הממוצע של מספר כסכום של שני ריבועים מטפלת בעיית המעגל של גאוס.

היסטוריה
--------

ב- 1225 הציג והוכיח פיבונאצ'י את נוסחת המכפלה {\displaystyle \ (a^{2}+b^{2})(c^{2}+d^{2})=(ac\pm bd)^{2}+(ad\mp bc)^{2}}, שהייתה מוכרת כנראה כבר לדיופנטוס, אף על פי שהלה לא ניסחה במפורש. מן הנוסחה עולה שכדי להציג מספר נתון כסכום של שני ריבועים שלמים, די להציג באופן הזה את גורמיו הראשוניים; אז אפשר להיעזר בנוסחה כדי לקבל הצגות עבור המכפלה. לדוגמה, מן ההצגות {\displaystyle \ 3^{2}+2^{2}=13} ו- {\displaystyle \ 1^{2}+2^{2}=5}, אפשר לקבל את {\displaystyle \ 8^{2}+1^{2}=4^{2}+7^{2}=65}. 

ב- 1638 הציע פרמה לדקארט להוכיח שלא ניתן להציג מספר מן הצורה {\displaystyle \ 4k-1} כסכום של שני ריבועים. כעבור ימים ספורים שלח דקארט את הבעיה ופתרונה למרסן: הריבוע של כל מספר שלם הוא מן הצורה {\displaystyle \ 4m} או {\displaystyle \ 8m+1}. ב-1659 כתב פרמה לפסקל שהוא מצא הוכחה לכך שניתן להציג כל ראשוני מהצורה 4k+1 כסכום של שני ריבועים, בשיטה של נסיגה אינסופית. 

פרמה המשיך לעסוק בבעיה גם אחר-כך, וכאשר פרסם ב-1670 קובץ הערות על הספר "אריתמטיקה" של דיופנטוס, התייחס גם למשוואה {\displaystyle \ a^{2}+b^{2}=n}. פרמה טען שאם n ראשוני מהצורה 4k+1, אז אפשר לפתור את המשוואה באופן יחיד (פרט להחלפת המשתנים, ולשינוי הסימן), וכן, שאם {\displaystyle \ n=p^{k}} ו- p ראשוני מהצורה הנזכרת, אז יש למשוואה בדיוק {\displaystyle \ \left\lfloor {\frac {k+1}{2}}\right\rfloor } פתרונות. בעזרת נוסחת המכפלה, הציג פרמה שיטה למציאת מספרים שיש להם בדיוק m הצגות כסכום של שני ריבועים. 

ל-Bernard Frénicle de Bessy (אנ') מיוחסת ההבחנה שהצגת מספר כסכום של שני ריבועים בשתי דרכים שונות מאפשרת לפרק אותו לגורמים.

למעשה, אם {\displaystyle n=a^{2}+b^{2}=c^{2}+d^{2}} הן הצגות שונות של {\displaystyle n} כסכום של 2 ריבועים, ניתן להגדיר: {\displaystyle l=\left({\frac {a-c}{\gcd(a-c,d-b)}}\right)}, {\displaystyle m=\left({\frac {d-b}{\gcd(a-c,d-b)}}\right)} ואז {\displaystyle l^{2}+m^{2}} הוא גורם לא טריוויאלי של {\displaystyle n}. הפונקציה {\displaystyle \gcd(a,b)} מסמלת את המחלק המשותף המקסימלי של a ושל b.

ב- 1747, במכתב לגולדבך, הוכיח לאונרד אוילר שאם a ו- b זרים, אז כל גורם של {\displaystyle \ a^{2}+b^{2}} ניתן להצגה כסכום של שני ריבועים. ההוכחה, המתאימה לתיאורו של פרמה על נסיגה אינסופית (ראו להלן), היא הראשונה שעל קיומה יש ראיות ברורות. אוילר עסק בבעיה זו פעמים רבות, ובאחת ההזדמנויות (ספרו "אלגברה", 1770) העיר שאת נוסחת המכפלה אפשר להוכיח באמצעות חישוב הנורמה המרוכבת של המכפלה {\displaystyle \ (a+b{\sqrt {-1}})(c+d{\sqrt {-1}})}. היום ידוע שאפשר להוכיח את כל התכונות הרצויות של התבנית {\displaystyle \ x^{2}+y^{2}} בעזרת האוקלידיות של חוג השלמים של גאוס, {\displaystyle \ \mathbb {Z} [{\sqrt {-1}}]}.

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

הוכחה באמצעות נסיגה
-------------------

נוכיח שאם p מספר ראשוני השקול ל-1 מודולו 4, אז אפשר להציג אותו כסכום של שני ריבועים. ידוע ש- 1- הוא שארית ריבועית מודולו p, כלומר, קיים x כך ש- {\displaystyle \ x^{2}+1\equiv 0{\pmod {p}}}. אם נבחר פתרון x כך ש-{\displaystyle |x|<p/2}, מתקבלת הצגה {\displaystyle \ x^{2}+1=mp} כאשר {\displaystyle \ m={\frac {x^{2}+1}{p}}<p/4}. נתבונן בהצגה {\displaystyle \ x^{2}+y^{2}=mp} שבה x,y אינם מתחלקים ב- p, ונניח ש-{\displaystyle \ 1<m}. הפתרון יושג על ידי הוכחה בנסיגה אינסופית. על ידי חילוק עם שארית של x,y ב-m אפשר לכתוב {\displaystyle \ x=mc+x\_{1},\,y=md+y\_{1}}, כאשר {\displaystyle \ |x\_{1}|,|y\_{1}|\leq m/2}. כך יוצא ש- {\displaystyle \ x\_{1}^{2}+y\_{1}^{2}\equiv x^{2}+y^{2}\equiv 0{\pmod {m}}}, ומצד שני {\displaystyle \ x\_{1}^{2}+y\_{1}^{2}<m^{2}}. מכאן ש- {\displaystyle \ x\_{1}^{2}+y\_{1}^{2}=mm\_{1}} עבור {\displaystyle \ 1\leq m\_{1}<m}.

מנוסחת המכפלה יוצא ש- {\displaystyle \ m^{2}m\_{1}p=(mp)(mm\_{1})=(x^{2}+y^{2})(x\_{1}^{2}+y\_{1}^{2})=(xx\_{1}+yy\_{1})^{2}+(xy\_{1}-x\_{1}y)^{2}}, אבל שני הגורמים {\displaystyle \ xx\_{1}+yy\_{1},\,xy\_{1}-x\_{1}y} מתחלקים ב- m. לאחר שמחלקים את המשוואה ב- {\displaystyle \ m^{2}} מתקבלת הצגה של {\displaystyle \ m\_{1}p} כסכום של שני ריבועים.

**דוגמה**. נציג את p=89 כסכום של שני ריבועים. פתרון המשוואה {\displaystyle \ x^{2}+1\equiv 0{\pmod {p}}} הוא {\displaystyle \ x=\pm 34}, ואכן {\displaystyle \ 34^{2}+1=13\cdot 89}, כלומר {\displaystyle \ m=13}. ההצגה של כפולת p כסכום שני ריבועים היא {\displaystyle \ 34^{2}+1^{2}=13\cdot 89}. נחלק את x=34 ו-y=1 עם שארית ב-m=13, ונקבל {\displaystyle \ 34=3\cdot 13+(-5)} ו-{\displaystyle \ 1=0\cdot 13+1}, כלומר {\displaystyle \ x\_{1}=-5,y\_{1}=1}. אכן, {\displaystyle \ (-5)^{2}+1^{2}=2\cdot 13}, כלומר {\displaystyle \ m\_{1}=2}. מנוסחת המכפלה יוצא {\displaystyle \ (13\cdot 89)\cdot (2\cdot 13)=(34^{1}+1^{2})((-5)^{2}+1^{2})=(-169)^{2}+(39)^{2}}, וכשמחלקים ב-{\displaystyle \ 13^{2}} מקבלים את ההצגה {\displaystyle \ 13^{2}+3^{2}=2\cdot 89}. נחזור לתחילת התהליך, והפעם עם m=2. ההצגה של כפולת p כסכום שני ריבועים היא {\displaystyle \ 13^{2}+3^{2}=2\cdot 89}. נחלק את x=13 ו-y=3 ב-m=2, ונקבל {\displaystyle \ 13=6\cdot 2+1} ו-{\displaystyle \ 3=1\cdot 2+1}, כלומר {\displaystyle \ x\_{1}=y\_{1}=1}. אכן, {\displaystyle \ 1^{2}+1^{2}=1\cdot 2}, כלומר {\displaystyle \ m\_{1}=1}. מנוסחת המכפלה יוצא {\displaystyle \ (2\cdot 89)\cdot (1\cdot 2)=(13^{1}+3^{2})(1^{2}+1^{2})=(16)^{2}+(10)^{2}}, וכשמחלקים ב-{\displaystyle \ 2^{2}} מקבלים את ההצגה {\displaystyle \ 8^{2}+5^{2}=89}.

מספר ההצגות של מספר כסכום של שני ריבועים
----------------------------------------

גאוס טען, במאמר 182 של מחקרים אריתמטיים שלו, שאם M הוא מספר שנכתב בצורה {\displaystyle M=2^{\mu }Sa^{\alpha }b^{\beta }\cdots }, כאשר {\displaystyle a,b,...} הם גורמים ראשוניים מהצורה {\displaystyle 4n+1}, ו-S הוא מכפלת כל הגורמים הראשוניים של M מהצורה {\displaystyle 4n+3} (ו-S חייב להיות ריבוע), אזי ישנם:

{\displaystyle k={\frac {1}{2}}(\alpha +1)(\beta +1)\cdots }

הצגות שונות של M כסכום של שני ריבועים. אם {\displaystyle \alpha ,\beta ,...} כולם זוגיים אז יש להוסיף {\displaystyle {\frac {1}{2}}} לביטוי הנ"ל כדי לקבל את מספר ההצגות. משמעות התוצאה היא שמספר ההצגות תלוי רק במעריכים של הגורמים הראשוניים מהצורה {\displaystyle 4n+1} ולא תלוי בכלל בגורמים מהצורה {\displaystyle 4n+3} (כלומר אין קשר ל-S), בשונה מהוכחת הקיום של הצגה כסכום של שני ריבועים, שם קיומה של הצגה תלוי בקיומו של שורש ריבועי טבעי ל-S.

הקשר למספרים מרוכבים
--------------------

הסכום {\displaystyle \ x^{2}+y^{2}} הוא גם הנורמה של המספר המרוכב {\displaystyle \ x+yi} כאשר {\displaystyle \ i={\sqrt {-1}}}. כלומר, כדי להציג את n כסכום של שני ריבועים, עלינו למצוא מספר מרוכב {\displaystyle \ x+yi}, בעל מקדמים שלמים, שהנורמה שלו היא n. את הבעיה הזו אפשר לפתור בעזרת התכונות האריתמטיות של חוג השלמים של גאוס, {\displaystyle \ \mathbb {Z} [i]}, שהוא חוג אוקלידי ולכן תחום פריקות יחידה. את הראשוניים של החוג הזה קל למצוא: לאור ההוכחה לעיל, כל מספר ראשוני טבעי השקול ל-1 מודולו 4 אפשר להציג כנורמה (כלומר לפרק למכפלה של שני גורמים צמודים), ואילו מספר ראשוני טבעי השקול ל-3 מודולו 4 נשאר ראשוני גם בחוג השלמים של גאוס. לכן הראשוניים בחוג השלמים של גאוס שייכים לשלוש מחלקות: הראשוני 1+i; הראשוניים הטבעיים השקולים ל-3 מודולו 4; והאיברים x+yi כאשר x^2+y^2 ראשוני השקול ל-1 מודולו 4. כעת, כדי להציג את n כסכום של שני ריבועים, יש לפרק אותו לגורמים מעל חוג השלמים, ואחר-כך מעל חוג השלמים של גאוס. אם גורמי הפירוק מסתדרים בזוגות צמודים זה לזה, מתקבלת הצגה של n כסכום של שני ריבועים.

ראו גם
------

* משפט ארבעת הריבועים של לגראנז'
* משפט הורוויץ על נוסחאות מכפלה
* תבנית ריבועית
* פונקציית סכום הריבועים

לקריאה נוספת
------------

* History of the Theory of Numbers, Vol. II, Chapter IV: sum of two squares; L.E.Dickson, 1920.
* Intoroduction to the Theory of Numbers, G.H. Hardy & E.M. Wright, Chapter XX, The representation of a number by two or four squares, 1979.

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

* סכום של שני ריבועים, באתר MathWorld (באנגלית)