לדלג לתוכן

בעיית פניאנו

מתוך ויקיפדיה, האנציקלופדיה החופשית
משולש העקבים: , משולשים חסומים: . מתקיים:.

בגאומטריה, בעיית פניאנו היא בעיית אופטימיזציה שהוצעה ונפתרה לראשונה על ידי המתמטיקאי האיטלקי ג'ובאני פניאנו ב-1775:

בעבור משולש חד-זווית נתון יש לבנות את המשולש החסום בעל ההיקף המינימלי.

הפתרון הוא משולש העקבים (Orthic triangle), שקודקודיו הם עקבי הגבהים של המשולש הנתון.

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

עקרונות פיזיקליים

[עריכת קוד מקור | עריכה]
משולש abc הוא משולש העקבים של המשולש ABC.

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

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

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

לפיכך, כל אחד מהאנכים לצלעות המשולש העוברים דרך עובר גם דרך קודקוד של המשולש החיצוני, כלומר הם עקבי הגבהים של המשולש החיצוני, ו - הוא משולש העקבים של .

קישורים חיצוניים

[עריכת קוד מקור | עריכה]