Prvo rješenje.
Prema uvjetu zadatka vrijedi ∣AE∣+∣AF∣=∣AB∣, pa budući da vrijedi i ∣AE∣+∣BE∣=∣AB∣, vrijedi ∣AF∣=∣BE∣. Zbog ∣DF∣+∣AF∣=∣AD∣=∣AB∣ vrijedi ∣AE∣=∣DF∣.
Četverokut ABCD je romb, pa su mu sve stranice jednakih duljina, nasuprotni kutovi su sukladni, a susjedni kutovi suplementarni. Tupim je kutovima veličina 120∘, pa je veličina šiljastih kutova 180∘−120∘=60∘.
Nacrtajmo dijagonalu AC. Dijagonala romba raspolavlja kut ∠BAD na kutove veličine 60∘, pa su trokuti ABC i ACD jednakostranični, tj. dijagonala AC sukladna je stranici romba.
Promotrimo trokute DFC i AEC. Vrijedi ∣CD∣=∣AC∣, ∣∠FDC∣=∣∠EAC∣=60∘ i ∣DF∣=∣AE∣, pa su ovi trokuti sukladni po SKS poučku. Tada je ∣CF∣=∣CE∣, pa je trokut CFE jednakokračan s osnovicom EF. Također, vrijedi ∣∠DCF∣=∣∠ACE∣=α.

Trokuti CFA i CEB sukladni su po SSS poučku. Stoga vrijedi ∣∠FCA∣=∣∠ECB∣=β.
Sada je ∣∠DCB∣=2α+2β=120∘, α+β=60∘=∣∠FCE∣.
Trokut CFE je jednakokračan s kutom među krakovima veličine 60∘. Kutovi uz njegovu osnovicu EF su sukladni, zbroj veličina im je 120∘, pa je veličina svakog jednaka 60∘.
Konačno, trokut CFE je jednakostraničan, što je i trebalo dokazati.
Drugo rješenje.
Kao u prvom rješenju možemo pokazati da vrijedi
∣AE∣=∣DF∣,∣BE∣=∣AF∣,te∣∠CBA∣=∣∠CAD∣=∣∠BAC∣=60∘.
Nacrtajmo pravce koji sadrže točke E i F, a usporedni su s dijagonalom AC. Neka su G i H presjeci tih pravaca sa stranicama BC i CD redom.

Promotrimo trokute EBG i DFH. Mjere kutova ∠BAC i ∠BEG uz presječnicu AB usporednih pravaca AC i EG jednake su i iznose 60∘, pa je trokut EBG jednakostraničan i vrijedi ∣BE∣=∣BG∣=∣EG∣.
Mjere kutova ∠CAD i ∠HFD uz presječnicu AD usporednih pravaca AC i FH jednake su i iznose 60∘, pa je trokut DFH jednakostraničan i vrijedi ∣DF∣=∣DH∣=∣FH∣.
Vrijedi i ∣CH∣=∣AF∣ te ∣CG∣=∣AE∣.
Promotrimo trokute FAE, EGC i CHF. U njima vrijedi sljedeće:
- ∣AF∣=∣EG∣=∣CH∣
- ∣∠EAF∣=∣∠CGE∣=∣∠FHC∣=120∘
- ∣AE∣=∣CG∣=∣FH∣.
Zaključujemo da su ovi trokuti svi međusobno sukladni po SKS poučku.
Tada je i ∣EF∣=∣CE∣=∣CF∣, pa je trokut CFE jednakostraničan, što je i trebalo dokazati.