Oi, Tiago Pensei assim. Chamando de "x" e "60º-x" os ângulos menor e maior respectivamente ao vértice B, e se AD = BE, então o ângulo "x" EBD é igual ao BAD. (Lembre que AB = AC = BC) O ângulo FDE é externo a ABD e vale (x) + (60º - x) = 60º.
Pela mesma razão saem ângulo ACF = BAD e DFE (externo vale 60º) e finalmente DEF é o suplementar. Creio ser isso.
