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.

"Geometry's wonders on display, Right triangle
and equilateral play, Midpoints E and F in sway,
Proving x equals "a" over two today."