Osserviamo la figura:

Il triangolo EFG è rettangolo:

Possiamo ora applicare il teorema di Pitagora al triangolo EFG esprimendo i cateti e l’ipotenusa in funzione di a e di r:

Cioè:

Questa equazione ammette due radici ma solo una è accettabile essendo r minore di a.