##  [Teorema de Pappus](/es/node/61857) 

 Definición

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

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

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

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

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

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

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 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

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.