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


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


