U jednakokračnom trokutu kutovi uz osnovicu su jednaki. Označimo mjeru kuta ∠CAB s α, a mjeru kutova ∠ABC i ∠BCA s β. Tada je 2β+α=180∘, odakle je β=71∘.
Uvedimo oznake b=∣AB∣=∣CA∣, a=∣BC∣, c=∣CE∣.
Trokuti ABC i CBD su slični jednakokračni trokuti koji dijele osnovicu, pa su zapravo sukladni. Također, trokuti ABC i BAF su slični jednakokračni trokuti koji dijele jedan krak, pa su također sukladni.

Zato zaključujemo
∣BD∣=∣DC∣=∣AB∣=bi∣BF∣=∣BC∣=a.
Iz sličnosti trokuta ABC i EAC dobivamo
∣AB∣∣CE∣=∣BC∣∣AC∣⇒bc=ab⇒c=ab2.
Promotrimo trokute CDE i BFD. Vrijedi
∠ECD=360∘−∠ACE−∠BCA−∠DCB=360∘−3β,
i analogno
∠DBF=360∘−3β=∠ECD.
Nadalje,
∣CD∣∣CE∣=bc=1b/a=∣BF∣∣BD∣,
pa su prema S-K-S poučku o sličnosti trokuti CDE i BFD slični te je ∠CDE=∠BFD.
Posebno, vrijedi
∠FDB+∠CDE=∠FDB+∠BFD=180∘−∠DBF=3β−180∘.
Naposljetku,
∠EDF=∠FDB+∠BDC+∠CDE=α+3β−180∘=β=71∘.