משפט נפוליאון

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

הוכחה

נסמן את צלעות המשולש: BC=a, AC=b, AB=c
עקרון ההוכחה: נביע צלע שרירותית, NM, באמצעות שלוש הצלעות a,b,c.
נראה כי הנוסחה היא "חילופית", כלומר לכל תמורה של {a, b, c}, ערך הנוסחה זהה. היחס החשוב בין הצלע שבחרנו לבין צלעות המשולש ABC הוא: האם הצלע שבחרנו נמצאת מול צלע נתונה ב-ABC?
הצלע ב-ABC שנמצאת מול הצלע שבחרנו היא הצלע הראשונה בתמורה. משום שלכל 6 התמורות התוצאה זהה, ינבע מכך כי 3 הצלעות של משולש LMN שוות.
התמורה עבור NM היא: (a, b, c), התמורה עבור LN היא: (b, a, c) והתמורה עבור LM היא: (c, a, b).
סדר האיברים השני והשלישי אינו משנה, האיבר הראשון בתמורה מייצג את הצלע במשולש ABC שנמצאת "מול" הצלע המתאימה לה ב-LMN.
גוף ההוכחה:
נוכיח 2 משפטי עזר פשוטים אשר יפשטו את ההסברים בהמשך:
1. במשולש שצלעותיו הן a,b,c, מתקיים: .
נוסחה זו נובעת באופן ישיר ממשפט הקוסינוסים, על ידי העברת אגפים וחילוק.
2. במשולש, סינוס של זווית שווה למנת החילוק של הצלע שמול הזווית בקוטר המעגל החוסם את המשולש.
נוסחה זו נובעת באופן ישיר ממשפט הסינוסים.
ההוכחה:
נסמן: BC = a, AC = b, AB = c.
נחבר את A עם N ועם M. כעת, נחשב את AN ואת AM.
במשולש שווה-צלעות שצלעו K התיכון מתלכד עם הגובה, ששווה ל-.
במשולש AYC, נקודה M נמצאת על התיכון מ-A ל-YC. היא גם נמצאת על נקודת מפגש התיכונים, כך שהיא מחלקת את התיכון ביחס של 1:2 כך שהחלק הקרוב לקודקוד גדול יותר.
זאת אומרת, הקטע AM שווה ל- מהתיכון. היות שאנו יודעים שאורך התיכון הוא  (צלע המשולש היא b), נסיק כי .
באופן אנלוגי ניתן להוכיח ש-.
כעת, נשתמש במשפט נוסף: במשולש שווה-צלעות, התיכון מתלכד עם חוצה הזווית, כלומר מקצה על הזווית 2 זוויות של 30 מעלות.
נשתמש בעובדה זו כדי לחשב את זווית המשולש MAN. נחבר 30 מעלות ממשולש AYC, את זווית BAC מהמשולש המקורי, ו-30 מעלות ממשולש AZB.
חיברנו 30 מעלות מ-2 המשולשים האלו משום שכל תיכון מקצה על זווית המשולש זוג זוויות של 30 מעלות, ורק אחת מהן היא חלק מזווית MAN.
זאת אומרת, .
כעת, נוכל להביע את MN בעזרת משפט הקוסינוסים במשולש MAN: .
נציב את זווית MAN בביטוי: .
נשתמש בנוסחה לחישוב קוסינוס של סכום: .
נעזר בעובדה שקוסינוס של 60 מעלות שווה לחצי, וסינוס של 60 מעלות שווה לחצי שורש שלוש: .
כעת, נפתח את הסוגריים: .
נציב את AM ואת AN: .
בחלק הראשון, נחשב את השברים, ובחלק השני נצמצם גורמים משותפים: .
נפתח את הקוסינוס לפי משפט העזר הראשון, ונצמצם בגורם 2bc: .
בחלק הראשון של הנוסחה, נחבר ונחסר את 3 השברים, ובחלק השני - נפתח את הסינוס לפי משפט העזר השני: .
שים לב ש-2R הוא קוטר המעגל החוסם את משולש ABC.
לבסוף, נותר לאחר את 2 המכפלות ולקבל את הנוסחה הסופית: .
קל לראות שגם החלק הראשון, וגם החלק השני, הם חילופיים ב-a,b,c, ולכן גם ההפרש שלהם חילופי ב-a,b,c.
משום שהוכחנו שצלע שרירותית של משולש LMN ניתנת להבעה על ידי 3 הצלעות של המשולש המקורי, כך שגם אם מחליפים את סדר הצלעות (ובעיקר - איזו צלע של ABC נמצאת מול הצלע שבחרנו), התוצאה זהה, היא תהיה זהה לכל שאר הצלעות במשולש LMN. מכאן, שמשולש LMN הוא שווה-צלעות.