Un teorema clásico de la geometría proyectiva: dadas dos rectas distintas y tres puntos A,B,C en la primera y A',B',C' en la segunda, los tres puntos de intersección de las conexiones cruzadas (por ejemplo AB'∩A'B, AC'∩A'C, BC'∩B'C) son colineales. El teorema se cumple en planos proyectivos coordinatizables sobre un cuerpo conmutativo (planos pappianos).

Principio

Las incidencias que se obtienen al conectar puntos en dos rectas generan nuevas colinealidades cuya existencia refleja una estructura algebraica conmutativa subyacente de coordenadas; el patrón combinatorio de incidencias impone la colinealidad independientemente de nociones métricas.

Demostración

Toma dos rectas proyectivas ℓ y m distintas con A,B,C en ℓ y A',B',C' en m. Construye los tres puntos P = AB'∩A'B, Q = AC'∩A'C, R = BC'∩B'C y comprueba que P,Q,R son colineales. En un modelo de coordenadas sobre un cuerpo, escribe las coordenadas de los seis puntos y verifica la condición de determinante que da la colinealidad.

Aplicación incorrecta

Aplicar Pappus en un plano proyectivo que no sea pappiano (no coordinatizable sobre un cuerpo conmutativo), o elegir puntos degenerados que hagan coincidir las intersecciones construidas invalida la conclusión. Tratarlo como una afirmación métrica en lugar de puramente de incidencia conduce a confusión.

Consecuencia

Cuando es válido, el teorema de Pappus proporciona una fuerte restricción de incidencia que implica la conmutatividad del anillo de coordenadas y posibilita muchas construcciones proyectivas clásicas; es una prueba diagnóstica de la naturaleza algebraica del plano proyectivo y genera relaciones de colinealidad empleadas en pruebas y construcciones.

Inversión

Negar Pappus —configuraciones donde los tres puntos construidos no son colineales— indica un plano no pappiano y, por tanto, un álgebra de coordenadas no conmutativa; a la inversa, imponer la colinealidad puede llevar a derivar condiciones de conmutatividad en las coordenadas.

Límite

Se cumple en planos proyectivos pappianos (coordinatizables por un cuerpo conmutativo) y en el plano proyectivo real o complejo; puede fallar en planos proyectivos no pappianos o exóticos. Colocaciones degeneradas (puntos superpuestos, rectas iguales) deben excluirse o interpretarse mediante clausura proyectiva.

Tensión semántica

Tensión con Desargues: ambos son teoremas de incidencia proyectiva, pero Pappus tiene consecuencias algebraicas más fuertes (Pappus implica conmutatividad), de modo que que se cumpla Desargues pero falle Pappus señala coordinatizaciones no conmutativas.

Síntesis

El Teorema de Pappus afirma una colinealidad concreta producida al conectar cruzadamente puntos en dos rectas en planos proyectivos pappianos; actúa como regla combinatoria de incidencia y como criterio algebraico para detectar la conmutatividad del campo de coordenadas.