Dette er egentlig en ganske enkel geometrioppgave: Ved bruk av to formlike trekanter kan man vise at DF = 2[symbol:rot]2. Deretter kan BD og AD finnes ved å anvende Pytagoras. Til sist kan EF bestemmes vha. Ptolemaios' setning som sier følgende:
I en syklisk firkant (dvs. en firkant som kan innskrives i en sirkel) med hjørner A, B, C og D er sammenhengen mellom diagonalene og sidene i firkanten gitt ved identiteten
[tex]AB \cdot CD \;+\; AD \cdot BC \;\;=\;\; AC \cdot BD.[/tex]
Vi finner BD med tangent-sekantteoremet:
[tex]AB.BF = BD^2 \\ BD = \sqrt{4 \cdot 6} = 2\sqrt{6}[/tex]
AD bestemmes lett med det pythagoreiske teorem
[tex]AD = \sqrt{AB^2-BD^2} = 2 \sqrt{3}[/tex]
Ved å igjen bruke tangent-sekantteoremet, får vi
[tex](AE + 1) = CD^2 = (AE + 1)^2 - AD^2 = (AE + 1)^2 - 12 [/tex]
Som lett løses for å gi [tex]AE = 3[/tex]