Pappus's Hexagon Theorem

B

E

A

C

D

F

Let A, B, and C be three collinear points and D, E, and F be three other collinear points. Let AE ⋂ BD = X, AF ⋂ CD = Y, and BF ⋂ CE = Z. Then X, Y, and Z are collinear.

Drag the points A, B, C, D, E, or F or use the sliders to change the figure.