מנקודה 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 מעלות אז שני הישרים מקבילים.