A Lemma of Archimedes about a Bisected Segment

DF

≈

0.49

FE

≈

0.49

Let AB be the diameter of a semicircle. Let CB and CD be tangents. If DE is perpendicular to AB and DE intersects AC at F then DF = FE.

Drag the red point to change the figure.