Skica:

Prvi način:
Budući da je ∣AD∣=∣BC∣=∣BE∣=b, ∣AB∣=∣CD∣=∣DF∣=a i ∣∠ADF∣=∣∠EBA∣=90∘−60∘=30∘, po poučku o sukladnosti trokuta SKS slijedi da je △AFD≅△ABE, pa vrijedi da je ∣AF∣=∣AE∣.
Na sličan način dokazujemo da je △AFD≅△FCE.
Vrijedi da je ∣BE∣=∣EC∣=b, ∣DF∣=∣CF∣=a, te da je ∣∠DCF∣=60∘, ∣∠ECB∣=60∘ i ∣∠DCB∣=90∘.
Iz ∣∠DCF∣+∣∠ECB∣=120∘ i ∣∠DCF∣+∣∠ECB∣=90∘+∣∠ECF∣ slijedi da je 90∘+∣∠ECF∣=120∘,
tj. ∣∠ECF∣=30∘.
Po poučku o sukladnosti trokuta SKS slijedi da je △AFD≅△FCE, pa vrijedi da je ∣EF∣=∣AF∣.
Time je dokazano da stranice trokuta AFE imaju jednake duljine, tj. da je △AFE jednakostraničan.
Drugi način:
Iz uvjeta zadatka (△BCE i △FCD su jednakostranični) proizlazi ∣∠FCD∣=∣∠CDF∣=∣∠DFC∣=60∘ i ∣∠EBC∣=∣∠BCE∣=∣∠CEB∣=60∘ te ∣AD∣=∣BC∣=∣BE∣=b, ∣AB∣=∣CD∣=∣DF∣=a.
Budući da je ∣AD∣=∣BE∣=b, ∣AB∣=∣DF∣=a i ∣∠ADF∣=∣∠EBA∣=90∘−60∘=30∘, po poučku o sukladnosti trokuta SKS vrijedi da je △AFD≅△AEB, iz čega slijedi ∣AF∣=∣AE∣.
Kako je ∣∠DCE∣=∣∠BCF∣=90∘−60∘=30∘, vrijedi ∣∠FCE∣=90∘−∣∠DCE∣−∣∠BCF∣=30∘.
Sada se iz ∣BE∣=∣EC∣=b, ∣DF∣=∣CF∣=a i ∣∠ECF∣=∣∠ADF∣=30∘ može zaključiti da po poučku o sukladnosti trokuta SKS vrijedi △AFD≅△ECF, iz čega slijedi ∣AF∣=∣EF∣.
Kako je ∣AF∣=∣AE∣ i ∣AF∣=∣EF∣, slijedi ∣AF∣=∣AE∣=∣EF∣, čime je tvrdnja dokazana, tj. △AFE jest jednakostraničan trokut.