Έστω

το συμμετρικό του

ως προς την

, και

το συμμετρικό του

ως προς την

.
Τότε,

. Επομένως, τα σημεία

,

,

και

ανήκουν σε κύκλο κέντρου

.
Επίσης, ο κύκλος διαμέτρου

διέρχεται από τα σημεία

,

.
Έστω

. Θα αποδείξουμε και η

διέρχεται από το

.
Αρκεί

(θεώρημα Μενελάου στο

).
Εφόσον

και

το αριστερό μέλος της

γράφεται
αφού

(από την ισότητα των ορθογωνίων τριγώνων

και

).

- one_more_perp_sol.png (46.19 KiB) Προβλήθηκε 47 φορές
Αλλά

(από την ομοιότητα των ορθογωνίων τριγώνων

και

).
Επομένως, η

γίνεται

, που σημαίνει ότι η

διέρχεται από το

.
Στη συνέχεια, έχουμε

Η διαίρεση

είναι αρμονική, οπότε

(γνωστό λήμμα της αρμονικής διαίρεσης)
Από τις

και

έχουμε ότι

, δηλαδή, το

ανήκει στον ίδιο κύκλο με
τα

,

και

, ο οποίος έχει διάμετρο την

, οπότε

.