A Lemma of Archimedes about a Bisected Segment
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.[more]
Drag the red point to change the figure.[less]
The statement of the theorem is in Archimedes' Book of Lemmas: Proposition 2.