בהגדרה, מעגל שחסום במשולש מקיים סדרה ארוכה של משפטים:
- מרכז המעגל o הוא נקודת החיתוך של שלושת חוצי הזווית שבמשולש
- המרחק של מרכז המעגל החסום מהצלעות במשולש קבוע
- צלעות המשולש החוסמות את המעגל משיקות למעגל ולכן מקיימות שלל משפטי משיקים
- שני משיקים למעגל היוצאים מאותה הנקודה שווים באורכם, למשל בשרטוט למטה AG=AF BF=BE CG=BE
- רדיוס המעגל מאונך למשיק בנקודת ההשקה
- ישר שיוצא למרכז המעגל מנקודה שממנה יוצאים שני משיקים חוצה את הזווית שהמשיקים יוצרים, למשל הזווית הבאות שוות FAO=GAO GCO=ECO EBO=FBO
- הזווית שבין המשיק למיתר שווה לזווית ההיקפית הנשענת על המיתר
מעגל חסום במשולש