και
ο κύκλος που εφάπτεται στις πλευρές του
στα σημεία
αντίστοιχα. Αν τυχούσα ευθεία διερχόμενη από το
τέμνει τον κύκλο στα σημεία
και την
στο
, με
μεταξύ των
να δειθχεί ότι η
είναι διχοτόμος του τριγώνου
όπου
το σημείο επαφής της εκ του μέσου
της
εφαπτόμενης του
, με
έστω πλησιέστερα στο

. Όμως, από το θεώρημα της δύναμης σημείου,
. Αυτό σημαίνει ότι
, δηλαδή το τρίγωνο
είναι ορθογώνιο, οπότε
. Σε συνδυασμό με την (*), η μία είναι εσωτερική και άλλη εξωτερική διχοτόμος στο
.