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