Skurðpunktur tveggja snertla við hring hefur sömu fjarlægð frá snertipunktunum. Því er $|E F|=|B F|$ og $|E F|=|F C|$. Þá er $|B C|=|B F|+|F C|=2\cdot |E F|$. Drögum nú línu í gegnum $D$ sem er samsíða $B C$ og táknum skurðpunkt þessarar línu við $A B$ með $G$. Þá er $|B C|=|G D|$. Lengd $G D$ má reikna með reglu Pýþagorasar, $$|D G|=\sqrt{|A D|^2-|A G|^2}=\sqrt{(9+4)^2-(9-4)^2} =\sqrt{4\cdot4\cdot9}=12.$$ Þá er $2\cdot |EF|=12$, svo $|EF|=6$.