משפט קרנו (גאומטריה)

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

כאשר r הוא רדיוס המעגל החסום במשולש ו-R הוא רדיוס המעגל החוסם אותו. בנוסחה זאת סימן המרחקים נלקח כשלילי אם ורק אם הקטע DX (X = F, G, H) נח כולו מחוץ למשולש. באיור, DF שלילי בעוד ש-DG ו-DH חיוביים.

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

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

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

אם נחבר את כל המשוואות נקבל:

כאשר הגדרנו כאן  (מחצית היקף המשולש ABC). מכאן נקבל:

כנדרש.

במקרה שאחת מזוויות המשולש קהה ומרכז המעגל החוסם מצוי מחוץ למשולש, אז יש לערוך שינויים קלים בטיעון. במקרה זה, שניים מהמרובעים אינם מוכלים כולם במשולש ABC; ניתן להראות שבמקרה זה שני המרובעים הללו עדיין ציקליים, אך שני האלכסונים שלהם יסומנו כמו שתיים מהצלעות שלהם במקרה הקודם שבו המרובעים היו בתוך המשולש - כך למשל, במרובע DFHC שבאיור לעיל הצלע HF מסומנת כמו האלכסון HF במקרה החד-זווית; כלומר כאשר מזיזים את קודקודי המשולש לאורך המעגל החוסם, אז במעבר של מרכז המעגל החוסם מפנים המשולש לחלקו החיצוני האלכסונים וחלק מהצלעות "מתחלפים". כתוצאה מכך, בתחילת הטיעון יופיעו שלוש משוואות זהות למעט סימן שלילי של x, בעוד שבסוף הטיעון נקבל ש-, זאת משום שכעת יש לחסר את שטח משולש ADC כדי לקבל את שטח משולש ABC; שינויים אלו מביאים לכך שבמקרה הקהה זווית התוצאה המתקבלת היא:

.

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

 Carnot's Theorem באתר cut-the-knot.
 Carnot's Theorem The Wolfram Demonstrations Project


קטגוריה:משפטים בגאומטריה