Треугольник АВС - правильный. На его равных сторонах отложены равные отрезки FC=EB=DA. Поэтому равны и вторые части сторон треугольника: FA=CE=BD. Все углы правильного треугольника равны. Следовательно, ∆ FAD=∆ FCD=∆ BED по первому признаку равенства треугольников. Следовательно, FD=FE=ED,
треугольник DEF - равносторонний.