已知abc和efc都是等边三角形,求