Teorema del hexágono de Pappus

El teorema del hexágono de Pappus afirma lo siguiente:[1]

El teorema de Pappus establece que las tres intersecciones de las líneas azules son colineales.

Puede considerarse como un caso degenerado del teorema de Pascal, que afirma lo mismo para cualquier cónica.

Es un teorema puramente de incidencia —no hace referencia a medidas—, pero se demuestra usando los axiomas de congruencia de segmentos. Es importante en el sistema axiomático de la geometría proyectiva, ya que introducido como axioma permite demostrar todos los teoremas de incidencia conocidos sin tener que introducir axiomas métricos. Gracias a esto, se puede considerar la geometría proyectiva como una geometría puramente de incidencia.