And because DF⊥AB and ∠ ADF = 90, ∠ FDE = 60.

In the same way, it can be proved that ∠def = 60∠dfe = 60.

Since all three internal angles of △DEF are 60, it must be an equilateral triangle.