Two Midpoints of a Trapezoid

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Let ABC be a triangle. Let D be a point on AB and DE be parallel to AC with E on BC. Let AE and DC intersect at F. Let BF intersect DE at N and AC at M. Then DN = NE and AM = MC.
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 Trapezoid: Triangle, Diagonals, Midpoints, Bases.
Permanent Citation
"Two Midpoints of a Trapezoid"
http://demonstrations.wolfram.com/TwoMidpointsOfATrapezoid/
Wolfram Demonstrations Project
Published: March 7 2011