Έστω

η κοινή εφαπτόμενη ημιευθεία στους κύκλους

,
(είναι εκείνη που τέμνει την

)
(1)
(2)
πρώτα μέλη ίσα
(3)
Από αυτό λαμβάνουμε αφ' ενός

εφαπτόμενη στον περιγεγραμμένο κύκλο του
και αφ' ετέρου

=
(*)
Το
(3) δίνει
(*)

εφαπτόμενη στον περιγεγραμμένο κύκλο του
ΣΗΜΕΙΩΣΗ
Το
(3) σημαίνει ότι οι ημιευθείες

είναι συμμετρικές ως προς τη διχοτόμο της γωνίας

του τριγώνου

. Μπορούμε επιπλέον να αποδείξουμε ότι το

είναι μέσον του

οπότε το

είναι συμμετροδιάμεσος του
Παραθέτω και την απόδειξη για να μην πάει χαμένος ο κόπος...
Έστω

το σημείο τομής των μεσοκαθέτων των

και

κέντρο του περιγεγραμμένου κύκλου του

(
πορτοκαλί τόξο)

ομοκυκλικά
(4)
Έστω

το αντιδιαμετρικό του

στον κύκλο

οπότε
(5)

διάμετρος
(6)
Από
(5,6,4)

ομοκυκλικά
(
magenta κύκλος στο επισυνημμένο)

μεσοκάθετος

διάμετρος του κύκλου των
Επειδή

κέντρο του κύκλου

έπεται
