در واقع باید ثابت کنیم دایره ی mixtilinear (متناظر با راس
از) مثلث
بر دایره ی محیطی
مماس است.
فرض کنیم
دایره ی محیطی
را به ترتیب در
قطع کنند، ثابت می کنیم دایره ی mixtilinear (متناظر با راس
از) مثلث
بر دایره ی mixtilinear (متناظر با راس
از) مثلث
منطبق است.
برای اثبات هم از دو قضیه ی زیر استفاده می کنیم:
1) طبق
Poncelet's Porism -- from Wolfram MathWorld دایره ی محاطی
یکسانند.
2) در مثلث دلخواه
، اگر عمود بر
در
دو ضلع
را به ترتیب در
قطع کند، آنگاه دایره ی mixtilinear راس
بر دو ضلع
به ترتیب در
مماس است.
از (1) به دست می آید دایره های محاطی
یکسانند و راس
در دو مثلث
مشترک است پس طبق (2) نقاط برخورد دایره ی mixtilinear دو مثلث مذکور با اضلاع
بر هم منطبقند و در نتیجه دو دایره ی mixtilinear بر هم منطبقند.
بنابر این دایره ی mixtilinear (متناظر با راس
از) مثلث
(منطبق بر دایره ی mixtilinear (متناظر با راس
از) مثلث
) بر دایره های محیطی
و بر
مماس است.