και τυχαίο σημείο
εσωτερικό της διαμέτρου. Φέρουμε και τα ημικύκλια με διαμέτρους
και
.Φέρουμε την κάθετη στην
στο σημείο
που τέμνει το αρχικό ημικύκλιο στο σημείο
. Φέρουμε τις
και
. Δείξτε ότι:1.
.2. Το
είναι το κοινό εφαπτόμενο τμήμα των δυο εσωτερικών ημιπεριφερειών.

ορθογώνιο άρα έχει ίσες διαγώνιες δηλαδή :
(*)(εγγεγραμμένες σε ημικύκλια) 

εφαπτόμενη στον κύκλο
. Ομοίως αποδεικνύεται ότι και 