Geometry Problem 59: Proving the Relationship Between Midpoints and Side Lengths in a Right Triangle and Equilateral Triangle Configuration

In the figure below, ABC is a right triangle, and BDC is an equilateral triangle. E and F are the midpoints of AC and BD, respectively. Prove that x = a/2.