Csináltam GeoGebrát a jobb megértéshez.
Mivel egy háromszög belső szögeinek összege 180° ezért a C-nél lévő szög is 30°-os, ami azt jelenti az ABC háromszög egyenlőszárú. Tudjuk hogy az E és D pontoknál lévő szögek 90°-osak, hiszen merőlegesek. Ebből EDC szöget kiszámolhatjuk és 60°-ot kapunk és ebből EDA szög 30°-os. Ugyanezt eljátszva az EFA háromszögben azt kapjuk hogy EFA szög 60° és DFA szög 120°-os. Így megkapjuk az FAD szöget ami 30°-os. Mivel az ADF háromszögnek két belső szöge egyenlő, ezért egyenlőszárú.