משפט ארבעת הריבועים של יעקובי

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

משפט ארבעת הריבועים של יעקובי (אנגלית: Jacobi's four squares theorem) נותן נוסחה לגבי מספר הדרכים בהן מספר ניתן להצגה כסכום של ארבעה ריבועים. המשפט הוא הרחבה של משפט ארבעת הריבועים של לגראנז' בכך שהוא מראה לא רק שהצגה כזאת תמיד קיימת, אלא גם מניב מידע על מספר ההצגות של מספר כסכום של ארבעה ריבועים.

היסטוריה

המשפט הוכח ב-1834 על ידי קרל גוסטב יעקב יעקבי.

המשפט

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

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

כאשר פירושו " מחלק של ". באופן שקול, זהו 8 פעמים סכום המחלקים של שלא מתחלקים ב-4, כלומר:

סקירה של ההוכחה

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

כאשר מקבלים זהות זאת כנכונה, התוצאה של יעקובי נובעת אז מביצוע מניפולציות מסוימות על אגף ימין; מתקיים:

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

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