מעגל חוסם

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

המעגל החוסם משולש

במשולש, מרכז המעגל החוסם הוא הנקודה שבה נפגשים שלושת האנכים האמצעיים של הצלעות. הסיבה לכך היא שאנך האמצעים הוא המקום הגאומטרי של הנקודות שמרחקיהן מקצות הקטע שווים זה לזה, ומרחקו של המרכז מן הקודקודים, העומדים בקצותיה של כל צלע, הוא קבוע.
מיקומו של מרכז המעגל החוסם במשולש תלוי בסוג המשולש. במשולש חד-זווית המרכז בתוך המשולש, במשולש ישר-זווית המרכז נמצא באמצע היתר (זהו אחד הנוסחים של משפט תלס), ובמשולש קהה-זווית המרכז מחוץ למשולש.
מרכז המעגל החוסם של משולש נמצא על קו ישר אחד עם מפגש התיכונים ועם מפגש הגבהים; הישר המחבר את הנקודות נקרא ישר אוילר.
שלוש נקודות הנמצאות על ישר אחד אינן יוצרות משולש במובן המקובל של המילה, אבל אפשר להתייחס לישר המונח עליהן כאילו היה המעגל החוסם - "מעגל ברדיוס אינסופי". נקודות הקרובות למצב כזה עשויות לגרום לאי-יציבות בחישוב המעגל החוסם.
משפט אוילר, הקרוי על שמו של המתמטיקאי לאונרד אוילר, קובע כי המרחק d בין מרכז המעגל החוסם ומרכז המעגל החסום של משולש מקיים: , כאשר R הוא רדיוס המעגל החוסם ו- r הוא רדיוס המעגל החסום. מנוסחה זו נובע כי:  .

הזוויות בין הישר המשיק למעגל החוסם, בקודקוד A, לבין צלעות המשולש, שוות לזוויות B ו- C.
נקודה P נמצאת על המעגל החוסם אם ורק אם שלושת ההיטלים שלה על צלעות המשולש או המשכיהן נמצאים על ישר אחד. ישרים אלו, שהתגלו על ידי William Wallach ב-1797, קרויים בטעות ישרי סימסון, על-שם Robert Simson, ‏1687-1768.

הקוטר והמרכז של המעגל החוסם

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

מעגל עוטף מינימלי

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

מעגלים חוסמים בעלי רדיוס טבעי

בהינתן שני אורכים שלמים a ו-b כך ש- b > a לא קשה להרכיב מהם משולש רציונלי (משולש רציונלי הוא משולש שכל אורכי צלעותיו הם מספרים טבעיים); אורך הצלע השלישית שלו c מקיים  כך שיש טווח ממשי של 2a ערכים אפשריים לאורך הצלע השלישית; לכן אין שום קושי בהרכבת משולש רציונלי. הקושי הוא כשעולה דרישה נוספת, והיא שרדיוס המעגל החוסם יהיה גם מספר טבעי.
קרל פרידריך גאוס מצא, במכתב מ-1847, שכל המשולשים הרציונליים שגם אורך רדיוס המעגל החוסם אותם טבעי, מקיימים שאורכי צלעותיהם הם מהצורה:
כאשר a,b,f,g מספרים טבעיים, בעוד .