Tangent Points on a Semicircle
Let AB be the diameter of a semicircle. Let CD and CE be tangents from a point C. Let the intersection of AE and BD be F. Then CF is perpendicular to AB.[more]
Drag the red point to change the figure.[less]
The statement of the theorem is in Archimedes' Book of Lemmas: Proposition 12.