שינויים

::::: יהי a משולש. '''המעגל החוסם''' של a הוא המעגל היחיד העובר דרך שלושת הקודקודים של a.

:: (מהי עבודת ההכנה כאן?). ההגדרה הזו קובעת - לכל משולש - איזה מעגל נקרא המעגל החוסם של המשולש הזה. הגדרה כזו היא למעשה פרדיקט בן שני מקומות - <math>\ B(x,y)</math> - שמקבל ערך אמת T אם ורק אם y מהווה מעגל חוסם של x. מכיוון ש- <math>\ \forall x \exists ! y: B(x,y)</math>, אפשר לקרוא לאותו y (התלוי כמובן ב-x) בשם מיוחד - '''ה'''מעגל '''ה'''חוסם של x. שימו לב שכל מעגל חוסם איזשהו משולש (הצרינו זאת), ולכן איננו מגדירים כאן *איזה* מעגל נקרא מעגל חוסם (כמו בהגדרה מהסוג הראשון), אלא *מהו* המעגל החוסם של משולש מסויים.

== הוכחות ==