מנקודה A יוצאים למעגל חותך AC וישר המשיק למעגל בנקודה F.
החותך חותך את המעגל בנקודות E וD.
מהנקודה C יוצא ישר המשיק למעגל בנקודה G שנפגש עם המשך המשיק AF בנקודה B.
נתון AF=CG הוכח:
- AD=CE
- משולש ADF חופף למשולש CEG
- במרובע GFDE יש שתי צלעות שמקבילות זו לזו
על פי המשפט: אם מנקודה שמחוץ למעגל יוצאים חותך ומשיק, אז מכפלת החותך בחלקו החיצוני שווה לריבוע המשיק.
- AF הוא משיק ו-AE הוא חותך ולכן
.
- CG הוא משיק ו- CD הוא חותך ולכן
.
נתון כי
ולכן נוכל להשוות בין שני המוואות :
(צ) (מש"ל א)
(שני משיקים למעגל היוצאים מאותה נקודה שווים זה לזה)
(צ.) (נתון)
נזכור כי
,
לכן
לכן
(ז)
המשולש FAD ו- GCE חופפים לפי צ.ז.צ.
(השלמה לזוית שטוחה).
עתה נוכיח כי הזווית F ו-G במרובע שוות:
ז.מ.ב.ח
סכום זוויות נגדיות הן 180.
אם סכום זוג זוויות צמודות הוא 180 מעלות אז שני הישרים מקבילים.