משפט הסיבובים של אוילר

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

משפט אוילר (1776)

אוילר ניסח את המשפט שלו כדלהלן:
"כאשר ספירה מוסטת מסביב למרכז שלה זה תמיד אפשרי למצוא קוטר אשר כיוונו במיקום המוסט זהה לכיוונו המקורי"

הוכחה

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

אנליזה מכינה

כדי להוכיח את המשפט, אוילר מנתח תחילה כיצד ייראו הדברים אילו המשפט היה נכון. בהנחה שהקו הצהוב באיור 1 עובר דרך מרכז הכדור והוא ציר הסיבוב שאנו מחפשים, ואילו נקודה O היא אחת משתי נקודות החיתוך של הציר הזה עם הכדור. לאחר מכן הוא מתייחס למעגל גדול שרירותי שלא מכיל את O (המעגל הכחול) ולתמונה שלו תחת הסיבוב (המעגל האדום), שהינה מעגל גדול אחר שלא מכיל את O. הוא מסמן את נקודת החיתוך שלהם כ-A (אם המעגלים מתלכדים, אז A יכולה להיבחר ככל נקודה אחרת; אחרת יש שתי נקודות חיתוך).
כעת A היא על המעגל ההתחלתי (המעגל הכחול), כך שהתמונה שלה תהיה על מעגל התמונה (המעגל האדום). הוא מסמן את התמונה הזו כ-a, כיוון ש-A היא נקודת החיתוך של שני המעגלים, ועל כן היא גם על מעגל התמונה, המיקום שלה הוא גם התמונה של נקודה אחרת שהייתה על המעגל ההתחלתי (המעגל הכחול) - נקודה זו "תופסת את מקומה" של A, והוא מסמן אותה באות α (ראו איור 2). לאחר מכן הוא מתייחס לשתי הקשתות המחברות את α ו-a עם A. לקשתות הללו יש אותו האורך כיוון שקשת αA מועתקת לקשת Aa. בנוסף, כיוון ש-O היא נקודת שבת, משולש αOA מועתק למשולש AOa, כך שהמשולשים הללו שווי-שוקיים, והקשת AO חוצה את הזווית αAa∠.

בנייה של הנקודה המתאימה ביותר

כעת נבנה את הנקודה שתהיה אינווריאנטית תחת הפעולות שתוארו מקודם. נתחיל עם המעגל הגדול הכחול והתמונה שלו תחת הטרנספורמציה, שהוא המעגל האדום הגדול שהופיע באיור 1. תהי A נקודת החיתוך של שני המעגלים הללו. אם התמונה של A תחת סיבוב היא אותה הנקודה אז A היא נקודת שבת של הטרנספורמציה, והקוטר של הכדור שמכיל את A הוא ציר הסיבוב, כך שהמשפט מוכח.
אחרת נסמן את התמונה של A כ-a ואת הקדם-תמונה שלו כ-α, ונחבר את שתי הנקודות הללו עם A באמצעות הקשתות αA ו-Aa. לשתי הקשתות הללו יש אותו אורך. נבנה את המעגל הגדול שחוצה את הזווית αAa∠ ונמקם נקודה O על המעגל הגדול הזה כך שקשתות AO ו-aO יהיו בעלות אותו אורך, כשלאחר מכן נקרא לאזור של הספירה המכיל את O ותחום על ידי המעגל האדום והמעגל הכחול "הפנים של αAa∠ (זהו האזור הצהוב באיור 3). מכיוון ש-αA = Aa ו-O היא על החוצה זווית של αAa∠, אז נקבל גם αO = aO.

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

כעת נניח בשלילה שנקודה O אינה הנקודה המבוקשת, כך שקיימת נקודה אחרת ′O שהיא התמונה שלה. אז אנו יודעים ש-αAO′ = ∠AaO∠ ושהאוריינטציה נשמרת כך ש-′O חייבת להיות פנימית ל-αAa∠. כעת AO מועתקת ל-′aO, כך ש-′AO = aO. כיוון ש-AO היא באותו אורך כמו aO, מתקיים AaO = ∠aAO∠. אולם aAO′ = ∠AaO∠, כך ש-∠AaO′ = ∠AaO, ולפיכך ′O היא אותה נקודה כמו O. במילים אחרות, O היא נקודת שבת של הטרנספורמציה, וכיוון שמרכז הכדור הוא גם נקודת שבת, הקוטר של הכדור שמכיל את O הוא ציר הסיבוב.