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.