A Lemma of Archimedes about a Bisected Segment
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
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]
Contributed by: Jay Warendorff (March 2011)
After work by: Antonio Gutierrez
Open content licensed under CC BY-NC-SA
The statement of the theorem is in Archimedes' Book of Lemmas: Proposition 2.
"A Lemma of Archimedes about a Bisected Segment"
Wolfram Demonstrations Project
Published: March 7 2011