
Budući je ∣AD∣=∣AB∣=∣AE∣, zaključujemo da je △AED jednakokračan.
To znači da je
∣∠DEA∣=∣∠ADE∣.
Nadalje,
∣∠EAD∣=∣∠BAD∣−∣∠BAE∣=90∘−60∘=30∘.
Tada iz △AED slijedi:
∣∠DEA∣=(180∘−30∘):2=150∘:2=75∘.
Točke D, E i F su na istom pravcu, pa vrijedi:
∣∠DEA∣+∣∠AEB∣+∣∠BEF∣=180∘.
Stoga je
75∘+60∘+∣∠BEF∣∣∠BEF∣=180∘,=180∘−135∘=45∘.
Veličina kuta ∠BEF je 45∘.