Question 4Construct equilateral triangles $ABD$ and $ACE$ externally to triangle $ABC$. Let F be outside the triangle with $FB=FC$ and $\angle BFC=120^\circ$. Prove that $AF\perp DE$.