📐 Pappus
Let $A, B, C$ be collinear and $D, E, F$ be collinear on a parallel line. If $AB \\parallel ED$ and $FE \\parallel BC$, then $AF \\parallel CD$.
Proof: By similar triangles formed by the parallel lines, we establish proportions that force $AF \\parallel CD$.
From: Four Pillars of Geometry
Learn more:
Explore all courses: 
The Four Pillars of Geometry | Magic Internet Math
Explore geometry from four perspectives: Euclidean constructions, coordinates, projective geometry, and transformations. Based on John Stillwell

Magic Internet Math
Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.