זהות ארבעת הריבועים של אוילר

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

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

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

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

משפט הורוויץ קובע זהות מהצורה,

כאשר ה- הם פונקציות ביליניאריות של  ו-, והזהות אפשרית רק עבור 8,n = 1, 2, 4 .

קשר לחוג הקווטרניונים

 זהות פייסטר 
פייסטר מצא זהות ריבועית אחרתː

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

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

כאשר  ו- ניתנים על ידי 

בנוסף, מתקיים:

 ראו גם 
 משפט הורוויץ (אלגברה)
 זהות בראהמגופטה-פיבונאצ'י [אנ']
 זהות שמונה ריבעים של דגן [אנ']
 משפט פייסטר
 זהות פייסטר[אנ']
 משפט ארבעת הריבועים של לגראנז'
 חוג הקווטרניונים

 קישורים חיצוניים 
 אוסף של זהויות אלגבריות 
 Lettre CXV - מכתב מאוילר לגולדבך בארכיון אוילר


הערות שוליים

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