Teorema de Pappus (dual)

Elementos dados: dos puntos, A, B, tres rectas a, a', a'' concurrentes en A, y tres rectas b, b', b'' concurrentes en B. Elementos construidos a partir de los elementos dados: c = Recta[Intersección[a', b''], Recta[b', a'']] c' = Recta[Intersección[a, b''], Recta[b, a'']] c'' = Recta[Intersección[a, b'], Recta[b, a']]
Proposición a demostrar: las tres rectas construidas, c, c', c'' son concurrentes en C. Cuestiones: 1. Este teorema es dual del de Pappus. Compara ambos teoremas e identifica los elementos duales de uno respecto del otro. 2. A partir de la observación anterior, define el principio de dualidad que rige la geometría proyectiva.