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]
Contributed by: Jay Warendorff (March 2011)
After work by: Antonio Gutierrez
Open content licensed under CC BY-NC-SA
Snapshots
Details
The statement of the theorem is in Archimedes' Book of Lemmas: Proposition 2.
Permanent Citation
"A Lemma of Archimedes about a Bisected Segment"
http://demonstrations.wolfram.com/ALemmaOfArchimedesAboutABisectedSegment/
Wolfram Demonstrations Project
Published: March 7 2011