טרנספורמציות גיאומטריות ופתרון בעיות קיצון 12בפברואר 2015 1 הזזות ,שיקופים וסיבובים 1.1 הזזות כשאנו מנסים לפתור אי שוויונות גיאומטריים ,יש ברשותנו כלים רבים ־ מאי שוויון המשולש ,דרך טריגונומטריה ועד מגוון כלים מסובכים יותר. לפעמים ,הפתרונות יפים יותר )וגם פשוטים יותר( אם מנסים להשתמש בכלים הפשוטים ביותר שבאמתחתנו ־ טרנספורמציות גיאומטריות .אנחנו יכולים לשנות את העולם כך שאי השוויון אותו אנו חפצים להראות יקבל צורה פשוטה ביותר. נתבונן למשל בבעיה הבאה: 1.1.1 בניית גשר נניח שלנהר שתי גדות המהוות ישרים מקבילים ,הערים A, Bנמצאות משני צידי הנהר ,ורוצים לבנות גשר M Nבמאונך לשפת הנהר, כך שהדרך בין שתי הערים AM N Bתהיה הקצרה ביותר. אנו נפתור בעיה זו תוך שימוש באי השוויון הפשוט ביותר ־ )אי שוויון המשולש( ־ הקו הקצר ביותר המחבר שתי נקודות הוא קו ישר. כיצד זה קשור לבעיה שהצגנו? נזיז את הנקודה Bבמאונך לנהר לנקודה חדשה B 0שנמצאת במרחק רוחב הנהר ,M N ,מ .B כלומר BB 0 = M N ,ו .BB 0 k M Nאזי BB 0 M Nהיא מקבילית ולכן גם ,M B 0 = N Bונובע ש AM + M N + N B = (AM + M B 0 ) + M N ≥ AB 0 + M N ושוויון מתקיים אם ורק אם Mנמצאת על הקו הישר המחבר את Aו .B 0 כעת ניתן לשאול מה קורה אם יש מספר נהרות שמפרידים בין Aו ?Bהיכן כדאי לבנות את הגשרים? 1.2 שיקוף ביחס לנקודה אפשר להשתמש בטרנספורמציות גיאומטריות גם כדי להוכיח טענות. בשביל להבין את השימושיות של שיקוף ביחס לנקודה ,נוכיח קודם את הטענות הפשוטות הבאות ־ 1.2.1 טענה הרכבה של שני שיקופים ביחס לנקודות שונות היא הזזה. יותר במדויק ,אם משקפים בנקודה O1ולאחר מכן בנקודה ,O2מקבלים הזזה בכיוון מ O1ל O2ובאורך .2O1 O2 הוכחה 1.2.2 תרגיל ־ קטע אמצעים. הערה שימו לב שהכיוון משתנה אם הופכים את סדר השיקופים! הבה נראה כיצד עובדה זו יכולה להיות שימושית עבורנו .הנה שאלה לדוגמא שבוודאי נתקלתם בה בעבר 1.2.3 תרגיל )א( הוכיחו כי אמצעי הצלעות של מרובע כלשהו ABCDיוצרים מקבילית. הוכחה הבאה: ניתן לראות זאת בדרכים רבות ,אך עכשיו כשאנו חושבים במושגים של שיקופים ,נוכל לקבל את ההוכחה הקלה והיפה נסמן את אמצעי הצלעות AB, BC, CD, DAב M, N, P, Qבהתאמה .אם נשקף את Aבנקודות אלה בזו אחר ֹזו ,נגיע שוב ל .A אולם שיקוף ב Mואז ב Nשקול להזזה בכיוון מ Mל Nבאורך ,2M Nושיקוף ב Pואז ב Qשקול להזזה בכיוון מ Pל Qבאורך .2P Q הדרך היחידה בה שתי הזזות יכולות להחזיר אותנו למקום היא אם הן מנוגדות בכיוון ושוות אורך ,כלומר M N = P Qומקביל לו. לכן M N P Qמקבילית. להוכחה זו יתרון נוסף ־ ניתן להכליל אותה .למשל ,הנה הכללה טבעית ,שבדרכי פתרון אחרות לא פשוט להגיע אליה ־ )ב( יהיו M1 , M2 , M3 , M4 , M5 , M6אמצעי הצלעות של משושה כלשהו .הוכיחו שקיימים משולש T1שצלעותיו שוות ומקבילות לקטעים ,M1 M2 , M3 M4 , M5 M6ומשולש T2שצלעותיו שוות ומקבילות לקטעים .M2 M3 , M4 M5 , M6 M1 הוכחה כמו בחלק )א( אנו רואים ששיקופים באמצעי הצלעות לפי הסדר ,מחזירים אותנו למקום ,כלומר ההזזות ב 2M3 M4 ,2M1 M2 ו 2M5 M6מסתכמות בחזרה למקום .אבל זה נותן לנו משולש שצלעותיו מקבילות ושוות לקטעים אלה .כיווץ פי 2יתן לנו את המשולש שאנחנו רוצים .באותו אופן נקבל גם את המשולש השני. 1.3 סיבוב דוגמא נוספת לשימוש בטרנסופרמציה גיאומטרית ,הפעם אחרת ,היא הסיבוב .לפני שנראה שימוש לסיבוב ,נוכיח תכונה נחמדה שלו. 1.3.1 טענה הרכבה של שני סיבובים ,עם מרכזים O1ו ,O2בזוויות αו βבהתאמה )באותו כיוון( ,היא סיבוב בזוית α + βאם ◦,α + β 6= 360 והזזה אחרת. יותר במדויק ,הסיבוב הוא סביב הנקודה Oשהיא חיתוך הישרים l1 , l2העוברים דרך הנקודות O1 , O2ומקיימים ^l1 O1 O2 = 21 α ו .^O1 O2 l2 = 12 β אם ◦ ,α + β = 360ישרים אלה מקבילים ,וההזזה היא בכיוון המאונך אליהם במרחק כפול מהמרחק ביניהם. הוכחה קודם כל ,נשים לב שאם קטע ABעובר ל A0 B 0על יזי הזזה בזווית ,αאז הזווית בין שני הישרים היא ) αחישוב זוויות במרובע(. להיפך ,אם ABו A0 B 0קטעים באותו אורך והישרים יוצרים ביניהם זווית ,αאזי A0 B 0הוא סיבוב של ABבזווית αסביב מרכז כלשהו ־ אכן ,נבנה על AA0קשת מעגל הנראית בזוית ,αונסמן ב Oאת החיתוך שלה עם האנך האמצעי ל .AA0אזי ברור שסיבוב בזווית αשל Aיקח אותה ל .A0 נוכיח שסיבוב בזווית αסביב Oלוקח גם את Bל ,B 0ולכן גם כל הקטע ABמועבר לכל הקטע .A0 B 0זה נובע מחפיפת המשולשים OABו ) OA0 B 0את הזווית מקבלים מציקליות של המרובע(. כעת ,נשים לב שהרכבה של שני הסיבובים לוקחת קטע ABלקטע A0 B 0בגודל שווה ,כך שהישרים יוצרים זווית של .α + βבמקרה שבו ◦ ,α + β = 360הישרים מקבילים ,ואז A0 B 0מתקבל מ ABעל ידי הזזה. לכן ,כבר קיבלנו את הטענה .נמשיך לקבלת הפרטים המדויקים. 00 0 נסמן ב O1את הנקודה אליה O1עוברת לאחר הרכבת שני הסיבובים .נסמן ב O2את הנקודה שעוברת ל O2לאחר הרכבת שני הסיבובים. 00 0 המרכז Oאותו אנחנו מחפשים צריך להיות על האנכים האמצעיים ל O2 O2ול ,O1 O1אבל זו בדיוק הנקודה שתיארנו לעיל. 0 במקרה בו ◦ ,α + β = 360ההזזה נקבעת לפי העובדה שהיא צריכה להעביר את O1ל ,O1וניתן לראות בקלות שזו ההזזה שתיארנו. דוגמא לשימוש בסיבובים ובטענה הנ"ל היא התכונה היפה הבאה של משולשים שווי צלעות. 1.3.2 משפט נפוליאון )א( על הצלעות של משולש ABCבונים משולשים שווי צלעות כלפי חוץ .הוכיחו כי המרכזים O1 , O2 , O3של המשולשים יוצרים בעצמם משולש שווה צלעות. האם הטענה נכונה אם במקום לבנות את המשולשים כלפי חוץ ,בונים אותם כלפי פנים? 2 פתרון נתבונן בסדרה של שלושה סיבובים ,כל אחד ב 120מעלות ,סביב הנקודות .O1 , O2 , O3הסיבוב הראשון לוקח את Aל ,B השני את Bל Cוהשלישי את Cל .A מכאן נובע ש Aהיא נקודת שבת של פעולה זו .אבל ,הרכבה של שלושה סיבובים ב 120מעלות היא הזזה .ולהזזה אין נקודות שבת. לכן היא חייבת להיות הזהות) .לא עושה כלום(. כעת ,הרכבת שני הסיבובים הראשונים היא סיבוב ב ◦ 240סביב נקודה ,Oכך ש ◦ ,^OO1 O2 = ^OO2 O1 = 60לכן OO1 O2 משולש שווה צלעות. ◦ מכיוון שסכום הסיבוב הזה והסיבוב ב 120סביב O3צריכים לבטל אחד את השני ,וזה ייתכן רק אם .O = O3סיימנו . 1.3.3 הערה זוהי אחת ההוכחות הפשוטות והאלגנטיות ביותר שאני מכיר למשפט ,למרות שיש לו מספר רב של הוכחות .אתם מוזמנים לחפש. אותה הוכחה בדיוק עובדת גם אם בונים את המשולשים כלפי פנים! יתר על כן ,הוכחה זו שוב מאפשרת לנו למצוא בלי מאמץ את ההכללה הבאה של משפט נפוליאון: )ב( על הצלעות של משולש ABCבונים משולשים שווי שוקיים ,כלפי חוץ BCA1 , CAB1 , ABC1עם זוויות ראש α, β, γבקדקודים A1 , B1 , C1בהתאמה. 1 1 1 הוכיחו כי אם ◦ ,α + β + γ = 360אזי הזוויות של המשולש A1 B1 C1שוות ל 2 α, 2 β, 2 γבהתאמה .כלומר ,הן אינן תלויות במשולש המקורי .ABC האם הטענה נכונה אם בונים את המשולשים כלפי פנים? פתרון ההוכחה דומה מאוד להוכחה של משפט נפוליאון .שוב Aנשארת במקום לאחר הרכבת שלושת הסיבובים ,ומהתנאי נובע שמדובר בהזזה ולכן הם מבטלים אחד את השני. הרכבת שני הסיבובים הראשונים יוצרת סיבוב בזווית α + βסביב נקודה C2כך שזוויות המשולש A1 B1 C2שוות לגדלים הנ"ל. אולם ,סיבוב זה צריך לבטל את הסיבוב ב γסביב ,C1לכן C1 = C2וסיימנו. כמובן ,אותה הוכחה עובדת אם בונים את המשולשים כלפי פנים. 1.3.4 הערה בעצם ,הבנייה לעיל שקולה לבניית משולשים דומים על הצלעות .התראו כיצד? הרעיונות ששימשו אותנו כאן נותנים לנו גם אפשרות להרחיב את אופקינו למרובעים. 1.3.5 תרגיל )א( על צלעותיו של מרובע קמור ABCDבונים משולשים שווי צלעות ,ABM1 , BCM2 , CDM3 , DAM4כך שהראשון והשלישי נבנים כלפי חוץ והשני והרביעי נבנים כלפי פנים. הוכיחו שהמרובע M1 M2 M3 M4הוא מקבילית) .במקרים מסוימים היא עשויה להתנוון לקטע .התדעו מתי?( הוכחה הרכבת הסיבובים ב ◦ 60סביב כל הנקודות מחזירים את Aלמקום .נשים לב שכיווני הסיבוב סביב M2ו M4מנוגדים לכיווני הסיבוב סביב M1ו .M3לכן ,מדובר שוב בהזזה. יתר על כן ,כבר הרכבת הסיבובים סביב M1ו M2היא הזזה ,והיא צריכה להיות מנוגדת להזזה המהווה את הרכבת הסיבובים סביב M3ו .M4 0 0 0 ההזזה הראשונה מזיזה את M1לנקודה M1היוצרת משולש שווה צלעות .M1 M2 M1ההזזה השנייה מזיזה את M3לנקודה M3 0 היוצרת משולש שווה צלעות .M3 M4 M3 0 0 לכן נובע ש M1 M1ו M3 M3שווים ומקבילים )ובכיוון הפוך( .אבל סיבוב שלהם ב ◦ 60יתן לנו שגם M1 M2ו M3 M4שווים ומקבילים ־ לכן התוצאה. )ב( על צלעותיו של מרובע קמור ABCDבונים ריבועים ,כלפי חוץ .מרכזי הריבועים הם .M1 , M2 , M3 , M4הוכיחו ש = M1 M3 M2 M4ו .M1 M3 ⊥ M2 M4 הוכחה יש לנו כאן הרכבה של ארבעה סיבובים ב ◦ .90לכן מדובר בהזזה ,ומכיוון ש Aנשאר במקום ,הם מבטלים אחד את השני. ההרכבה של השניים הראשונים נותנת סיבוב ב ◦) 180שיקוף( סביב נקודה Oכך ש ◦ ,^OM1 M2 = ^OM2 M1 = 45לכן OM1 ⊥ OM2ו ) .OM1 = OM2נובע גם ש Oהיא אמצע האלכסון .(AC ההרכבה של השניים האחרים נותנת גם היא שיקוף סביב Oהפעם כך ש ◦ , ^OM3 M4 = ^OM4 M3 = 45לכן OM3 ⊥ OM4ו O .OM3 = OM4היא אותה נקודה. 3 אבל זה אומר שהמשולש OM2 M4מתקבל מהמשולש OM1 M3על ידי סיבוב ב ◦ 90סביב .Oלכן M1 M3 ⊥ M2 M4ושווה לו בגודל . )ג( על הצלעות של מקבילית ABCDבונים ריבועים כלפי חוץ .הוכיחו כי המרכזים M1 , M2 , M3 , M4יוצרים ריבוע .האם זה נכון אם בונים אותם כלפי פנים? הוכחה הוכחנו כבר שהאלכסונים שווים ומאונכים .יתר על כן ,הנקודה Oלעיל היתה אמצע .ACמכיוון ש ABCDמקבילית ,זוהי נקודת חיתוך האלכסונים )למעשה ,מרכז הסימטריה( שלה ולכן מרכז הסימטריה גם של .M1 M2 M3 M4מכיוון שלמרובע יש מרכז סימטריה רק אם הוא מקבילית ,כבר קיבלנו ש M1 M2 M3 M4מקבילית) .אפשר לראות זאת גם מכך ש Oהיא אמצע BDולכן הטיעונים של סעיף )ב( יתנו לנו שהאלכסונים נחצים(. אבל מקבילית עם אלכסונים מאונכים היא מעוין ,והעובדה שהאלכסונים שווים הופכת אותה לריבוע. כמובן ,אותה הוכחה בדיוק עובדת כאשר בונים אותם כלפי פנים. הרעיון של הסיבוב הוא כל כך יסודי ,אבל באופן מפתיע הביא לתוצאות חדשות בגיאומטריה של המישור אפילו במאה ה־(!!) 20 1.3.6 משפט פומפיו )(1936 יהי ABCמשולש שווה צלעות ,ותהי Pנקודה במישור שאינה על המעגל החוסם של .ABCאזי ניתן לבנות משולש שצלעותיו באורכי הקטעים .P A, P B, P C אם Pנמצאת על המעגל החוסם ,אז אחד משלושת האורכים שווה לסכום השניים האחרים. הוכחה כדי להבין מדוע זה קורה ,נסובב את המשולש בזווית של ◦ 60סביב הנקודה ,Cונסמן ב A0 , P 0את תמונות הנקודות A, P בהתאמה) .שימו לב ש Aהיא תמונת .(B כעת המשולש P P 0 Aהוא משולש שצלעותיו באורכי P P 0 = P C ,P 0 A = P Bו ,P Aכנדרש. מתי זה אינו משולש? כלומר ,מתי הנקודות P, P 0 , Aנמצאות על קו ישר אחד? אז Pלא יכולה להיות בתוך המשולש .מכיוון ש Aהיא על P P 0ו P P 0 Cשווה צלעות ∠AP C = 120◦ ,אם Pבין Aל ,P 0או ◦60 אחרת ,כלומר Pעל המעגל החוסם. נוכל גם להשתמש בסיבוב וברעיונות עליהם דיברנו בתחילת ההרצאה על מנת לפתור בעיות קיצון .למשל: 1.3.7 בעיה )נקודת פרמה( יהי ABCמשולש .מצאו נקודה Pבמישור המשולש כך ש P A + P B + P Cמינימלי. הוכחה נסובב את המשולש סביב Cב ◦ .60נסמן ב P 0 , A0את תמונות P, Aכמקודם .אזי P P 0 = P Cו .P 0 A0 = P Aלכן .P A + P B + P C = BP + P P 0 + P 0 A0 ≥ BA0 0 0 ◦ 0 מתי יש שוויון? כאשר זהו קו ישר ,כלומר הנקודות B, P, P , A0נמצאות על אותו קו ישר .לכן .∠BP C = ∠A P C = 120 אבל זה אומר ש Pהיא נקודה כך ש ◦ .∠BP C = ∠CP A = ∠AP B = 120נקודה זו נקראת נקודת פרמה . 1.3.8 הערה נוכל לשלב את שתי האבחנות האחרונות ולראות כי אם Mהיא נקודת פרמה במשולש X, Y, Zשאורכי צלעותיו ,P A, P B, P Cאז .M X + M Y + M Z = AB 1.3.9 מסקנה ניזכר במשפט נפוליאון .אנחנו מקבלים שאם בונים משולשים שווי צלעות על הצלעות של משולש ,ABCאז Pנמצאת על החיתוך של AA1 , BB1ו .CC1 0 0 יתר על כן ,AA = BB = CC 0 ,כיוון שהאורך של כל אחד מהם הוא .P A + P B + P C 2 2.1 סימטריה ־ שיקוף בישר הקדמה על מנת להבין את חשיבותה של פעולת השיקוף בישר ,נתחיל מפתרון הבעיה הפשוטה והידועה הבאה 2.1.1 זווית הפגיעה שווה לזווית ההחזרה )א( נתון קו ישר M Nונתונות שתי נקודות A, Bבאותו צד שלו .מצא נקודה Xעל הקטע M Nכך ש .^AXM = ^BXN פתרון נשקף את הנקודה Bבישר M Nלקבלת נקודה .B 0כעת נעביר את הקו הישר AB 0ונסמן ב Xאת נקודת החיתוך שלו עם .M Nקל לראות שזו הנקודה הרצויה. ניתן גם לפתור כך בעיות מעט יותר סבוכות )ב( נתון קו ישר ,M Nושני מעגלים S1 , S2באותו צד שלו .מצא נקודה Xעל M Nכך שאחד המשיקים מנקודה זו למעגל S1ואחד המשיקים מנקודה זו למעגל S2יוצרים זוויות שוות עם הישר .M N פתרון הפתרון כמעט זהה .נשקף את המעגל S2בישר M Nונעביר משיק משותף לשני המעגלים .למעשה ,יש לנו 4אפשרויות לבחירת המשיק המשותף ,וכל אפשרות תתאים לבחירה של שני משיקים מהנקודה למעגלים ־ כך נקבל את 4הנקודות הרלבנטיות. הנקודה Xהיא נקודת החיתוך של המשיק המשותף עם .M N )ג( נתון קו ישר M Nונתונות שתי נקודות A, Bבאותו צד שלו .מצא נקודה Xעל הקטע M Nכך ש .^AXM = 2^BXN פתרון ראשון נניח שמצאנו את הנקודה .Xתהי B 0השיקוף של Bב M Nונעביר את הישר .AXנסמן ב Cנקודה על המשכו. אז .^CXN = 2^B 0 XN לכן B 0 Xחוצה את זווית .^CXNנתבונן במעגל שמרכזו B 0ומשיק ל .M Nנובע שהוא משיק גם ל .AXCלכן הנקודה Xהיא החיתוך של הישר M Nעם המשיק מ Aלמעגל זה) .איזה מהמשיקים?( פתרון שני שוב ,נניח שמצאנו את .Xנסמן ב A0את שיקוף Aב .B 0 Xמכיוון ש B 0 Xחוצה את זווית A0 ,^AXMנמצאת על XMו .B 0 A = B 0 A0לכן ,אם נעביר מעגל שמרכזו ב B 0ורדיוסו ,B 0 Aחיתוכו עם M Nיהיה הנקודה .A0 כעת נעביר אנך אמצעי לקטע ) AA0בעצם זהו גובה מ (Bוחיתוכו עם M Nהוא הנקודה המבוקשת .X אפשר להשתמש בשיקוף בישרים לא רק לבנייה אלא גם להוכחת תכונות מעניינות במשולשים ,כמו למשל בדוגמא הבאה: 2.1.2 נקודות מפגש הגבהים )אורתוצנטר( יהיו A1 , A2 , A3 , A4נקודות במישור ,כך ש A4היא נקודת מפגש הגבהים של המשולש .A1 A2 A3נסמן את המעגלים החוסמים של המשולשים A1 A2 A3 , A1 A2 A4 , A1 A3 A4 , A2 A3 A4ב S4 , S3 , S2 , S1בהתאמה. נסמן ב O4 , O3 , O2 , O1את המרכזים של המעגלים האלה ,בהתאמה. )א( הוכיחו ש A1היא נקודת מפגש הגבהים של A2 ,A2 A3 A4היא נקודת מפגש הגבהים של A3 ,A1 A3 A4היא נקודת מפגש הגבהים של ) .A1 A2 A4מיידי(. )ב( המעגלים S1 , S2 , S3 , S4כולם חופפים. 0 הוכחה נשקף את הנקודה A4בישר A2 A3לקבלת הנקודה .A4נקודה זו נמצאת על המעגל ) .S4חישוב זוויות פשוט( .לכן S4הוא 0 המעגל החוסם של .A2 A3 A4 אולם זה אומר שהוא מתקבל מהמעגל החוסם של ,S1 ,A2 A3 A4על ידי שיקוף בישר ,A2 A3בפרט הוא חופף לו .מסימטריה ,זה נכון גם למעגלים האחרים . )ג( המרובע O1 O2 O3 O4מתקבל מהמרובע A1 A2 A3 A4על ידי שיקוף ביחס לנקודה כלשהי ) .Oבמילים אחרות ,ארבעת הקטעים שמחברים כל נקודה למרכז המעגל החוסם של האחרות ,נחתכים בנקודה אחת שחוצה כל אחד מהקטעים(. הוכחה לפחות אחד מהמשולשים A1 A2 A3 , A1 A2 A4 , A1 A3 A4 , A2 A3 A4חייב להיות חד־זוויות .אכן ,אם אחד מהם קהה זווית, נניח A2 A3 A4בעל זווית קהה ב ,A4אז A1 A2 A3יהיה חד־זוויות .לכן נוכל להניח ש A1 A2 A3חד זוויות ,וכי A4נמצאת בתוכו. נתבונן במרובע .A1 A4 O1 O4הנקודות O1 , O4הן המרכזים של המעגלים S1 , S4שמתקבלים משיקוף האחד של השני בישר ,A2 A3 כפי שראינו קודם. לכן O1מתקבלת משיקוף של O4ב ,A2 A3כלומר .O1 O4 ⊥ A2 A3לכן .O1 O4 k A1 A4כמו כן O1 A4 = O4 A1 ,הוא אורך הרדיוס )הזהה( בשני המעגלים. מכאן נובע שהמרובע הוא מקבילית או טרפז שווה שוקיים .אולם האנך האמצעי של A2 A3 ,O1 O4אינו חותך את ,A1 A4לכן זו חייבת להיות מקבילית ,ואז אלכסוניה חוצים זה את זה בנקודה .Oבאותו אופן רואים ש Oחוצה את A2 O2ו .A3 O3 2.2 בעיית Fagnano כעת נוכל להשתמש בכל מה שלמדנו על מנת לפתור את הבעיה המפורסמת הבאה ,הנקראת גם בעיית ,Fagnanoעל שם האיטלקי שחשב עליה בשנת .1775 2.2.1 בעיה עבור משולש חד זויות ,קבעו מהו המשולש החסום בתוכו בעל היקף מינימלי. אמנם בעצמו פתר את הבעיה ,תוך שימוש בכלים של חשבון דיפרנציאלי ובתוצאה של אביו ,מאוחר יותר ניתנו מספר הוכחות גיאומטריות ,ביניהן ההוכחות של Schwarzו ,Fejerאותן נציג כאן. 2.2.2 ההוכחה של שוורץ ההוכחה של שוורץ משתמשת בטרנספורמציה מעט שונה ־ אנו נשקף הפעם במקום בנקודה ,בקו ישר. בהינתן משולש ,ABCנשקף את כל המשולש בצלע .BCנסמן את תמונת Aלאחר השיקוף ב .A0 כעת ,נשקף את המשולש שהתקבל בצלע .CA0נסמן את תמונת Bב .B 0נמשיך ונשקף ב A0 B 0לקבלת ,C 0ב B 0 C 0לקבלת ,A00ב C 0 A00לקבלת B 00וב A00 B 00לקבלת .C 00 בסך הכל שיקפנו את המשולש שש פעמים. תחילה ,נשים לב שהמשולש האחרון A00 B 00 C 00 ,הוא בעצם הזזה של המשולש המקורי. אכן ,שני השיקופים הראשונים מעבירים את ABCל A0 B 0 C־ משולש שיכול להתקבל גם על ידי סיבוב ב 2^Cסביב Cמהמשולש המקורי. באופן דומה ,הרכבת שני השיקופים הבאים היא בעצם סיבוב ב 2^Bסביב ,B 0והרכבת שני השיקופים האחרונים היא סיבוב ב 2^Aסביב .A00מכיוון ש ◦ ,2^A + 2^B + 2^C = 360ממה שכבר הוכחנו ,נובע שמדובר בהזזה. לכן BCמקבילה ל .B 00 C 00 0 כעת ,נניח ש U V Wהוא משולש החסום בתוך המשולש ,ABCכאשר Uעל V ,BCעל CAו Wשל .ABנסמן ב Vאת תמונת Vאחרי השיקוף הראשון. נסמן ב W 0את תמונת Wלאחר השיקוף השני ,נסמן ב U 0את תמונת Uלאחר השיקוף השלישי ,ובאופן דומה את הנקודות ,V 00 .U 00 ,W 00 אזי אורך הקו השבור U V 0 W 0 U 0 V 00 W 00 U 00הוא פעמיים ההיקף של המשולש .U V Wאורכו בוודאי ארוך מהקו הישר המחבר את Uו .U 00מתי קו זה הוא קו ישר? אנו צריכים שיתקיים ^AW V = ^U W B ^W U B = ^V U C, ^U V C = ^W V A, נוכיח שזה מתקיים כאשר U, V, Wהם עקבי הגבהים) .מרובעים ציקליים ־ פשוט(. 00 לכן ,אם נסמן ב E, F, Gאת עקבי הגבהים ,נקבל שאורך הקו הישר EE 00הוא פעמיים ההיקף של .EF Gאבל ,BC k B Cלכן U E k U 00 E 00ושווה לו באורך ,כלומר U U 00 E 00 Eהיא מקבילית ולכן ,U U 00 = EE 00ונובע שההיקף של EF Gמינימלי. 2.2.3 00 ההוכחה של Fejer בהינתן U, V, Wעל BC, CA, ABבהתאמה ,נשקף את Uב ACלקבלת U 0ונשקף אותה גם ב ABלקבלת .U 00כעת ההיקף הוא פשוט אורך הקו השבור .U 0 V W U 00 אם נניח ש Uנשארת באותו מקום ,ואנו משנים את המיקום של Vו ,Wאז Uו U 00נשארות קבועות .מכיוון שהקו הקצר ביותר שמחבר את שתיהן הוא קו ישר V ,ו Wשיתנו אורך מינימלי עבור Uמסוימת יהיו נקודות החיתוך של U 0 U 00עם הצלעות .כעת ,ננסה לבחור את Uכך שההיקף ,כלומר אורך U 0 U 00יהיה מינימלי .נשים לב ש ^U 0 AU 00 = 2^Aלכל מיקום של .Uלכן כל המשולשים דומים ,והאורך של U 0 U 00מינימלי כאשר האורך AU 0 = AUהוא מינימלי. אבל אורך AUמינימלי כאשר AUהוא הגובה )הקו הקצר ביותר בין נקודה לישר הוא האנך מהנקודה לישר( .לכן Uהיא עקב הגובה מ Aל .BC כעת ,נוכל לנסות לקבוע את מיקום ,V, Wאבל נוכל גם להשתמש בסימטריה .מהשיקולים לעיל אפשר לראות שיש פתרון יחיד לבעיה. אם נתחיל מכל אחת מהצלעות האחרות ,נקבל את אותו פתרון יחיד .לכן נקבל שגם V, Wהם עקבי הגבהים .כמסקנה ,נקבל גם שאם U V Wמשולש עקבי הגבהים ,אז הקו U 0 V W U 00הוא ישר ,כלומר את שוויון הזוויות בו השתמשנו בהוכחה הקודמת.
© Copyright 2024