Perpendiculars to a Chord
Let the chord CF intersect the diameter AB of a circle. Let D and E be the feet of the perpendiculars from A and B to CF. Then CD = EF.[more]
Drag the orange points to change the figure.[less]
The statement of the theorem is in Archimedes' Book of Lemmas: Proposition 13.