El teorema de Pappus establece que los puntos están sobre una misma recta (la recta de Pappus). El hexágono es .
En matemáticas, el teorema del hexágono de Pappus (atribuido al matemático griego Pappus de Alejandría) afirma que:[1]
Dados tres puntos distintos y alineados en una recta y otros tres puntos distintos y alineados en otra recta , los puntos de intersección y de los pares de rectas y , y , y y , respectivamente, están alineados en la denominada recta de Pappus.
Estos tres puntos son los puntos de intersección de los lados "opuestos" del hexágono .
El teorema es cierto en espacios proyectivos sobre cualquier cuerpo, pero no para planos proyectivos sobre anillos de división. [2] Los planos proyectivos en los que se satisface el teorema de Pappus se denominan planos pappusianos.
Versión afín del teorema de Pappus: (las intersecciones de los pares de rectas "están alineadas" en la recta del infinito)
Si se restringe el plano proyectivo a un plano afín de forma que la recta de Pappus ( en el dibujo) sea la recta del infinito, se obtiene la versión afín del mismo mostrada en el segundo dibujo.
El teorema de Pappus es un caso particular del teorema de Pascal, que afirma lo mismo para cualquier cónica. El teorema de Pappus es el caso límite en que la cónica degenera en un par de rectas. A su vez, el teorema de Pascal es un caso particular del teorema de Cayley-Bacharach.
Por el principio de dualidad en los espacios proyectivos, el teorema de Pappus induce otro teorema cierto en geometría proyectiva: su dual. El dual del teorema de Pappus enuncia que, dadas tres rectas concurrentes y otras tres rectas concurrentes , entonces las rectas definidas por los pares de intersecciones y , y , y y son concurrentes (pasan por un mismo punto).
Es importante en la construcción axiomática de la geometría proyectiva, ya que es un teorema puramente de incidencia —no hace referencia a medidas—, pero se demuestra usando los axiomas de congruencia de segmentos. Además, 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.
Demostraciones
Por reducción a la versión afín
La versión afín del teorema a la que nos referimos es aquella que se obtiene al tomar la recta de Pappus como la recta del infinito. Así, en este caso hay que demostrar que son puntos del infinito, es decir, que . Si se demuestra la versión afín del teorema, entonces la versión proyectiva queda a su vez demostrada, pues podemos recuperar la configuración proyectiva original ya que la extensión de un plano pappusiano a un plano proyectivo es única.
Demostración de la versión afín
Por el posible paralelismo en los espacios afines, hace falta distinguir dos casos: y . La clave de la demostración es fijar un sistema de referencia adecuado.
Caso 1: Las rectas se intersecan en un punto .
Fijamos la referencia afín de centro y ejes y (lo es porque por hipótesis ). En esta referencia, tenemos que . La recta viene dada por la ecuación (la primera coordenada es nula). Por tanto, y por hipótesis de que los puntos son distintos entre sí, tenemos que .
Por el paralelismo entre tenemos que , y por el paralelismo entre tenemos que . Por tanto, las rectas tienen ambas pendiente y son paralelas.
Caso 2: Las rectas son paralelas (no iguales).
Fijamos la referencia afín de centro y ejes y (lo es porque son paralelas pero no iguales). En esta referencia, tenemos que . De los paralelismos entre y entre se deduce que y que , y de esto que , pues ambas tienen puntos de primera coordenada constante.
Esto termina la demostración del caso afín y, completando este al espacio proyectivo añadiendo la recta del infinito, tenemos la versión proyectiva demostrada.
Cambiamos la notación para que sea acorde al diagrama por el que nos vamos a guiar.
Construimos las intersecciones de las rectas y , de las rectas y y de las rectas y (siempre existen en un espacio proyectivo).
Consideramos la proyección central de la recta sobre la recta de centro . Tenemos las siguientes transformaciones:
Demostración del teorema
Consideremos ahora la proyección central de la recta sobre la recta de centro . Tenemos las siguientes transformaciones:
Si consideramos la composición de la recta sobre la recta , tenemos que es una proyectividad por serlo y y transforma los puntos como sigue:
Consideremos ahora la proyección central de la recta sobre la recta de centro . Observamos que
Es decir, coincide con en tres puntos (distintos por hipótesis). Sabemos que una proyectividad queda unívocamente determinada por la imagen de una referencia proyectiva; en el caso de rectas, de tres puntos distintos. Tenemos pues que . Por tanto, y, por definición, como es el centro la proyección, tenemos que están alineados, que es lo que queríamos demostrar.
Usando coordenadas homogéneas
Teorema de Pappus
Tomamos el sistema de referencia , con el punto unidad. Para que sea una referencia hace falta que no estén alineados. Si lo estuvieran bastaría tomar otra referencia de la misma forma y proceder análogamente. Calculamos las coordenadas (salvo producto por escalar, indicado por los corchetes) de los puntos involucrados:
Las rectas , y vienen dadas, respectivamente, por . Podemos tomar, por tanto,
para ciertos escalares . Las rectas vienen dadas, respectivamente, por . Por hipótesis, son concurrentes (en el punto ), y lo son si y sólo si .
Análogamente, las rectas vienen dadas, respectivamente, por . Lo que queremos demostrar es que son concurrentes (en el punto ). La condición para que sean concurrentes es que . Si el producto es conmutativo (que lo es, porque en principio estamos en un cuerpo), hemos acabado, porque ya hemos visto que .
Esta demostración muestra que para que el teorema de Pappus sea cierto en un espacio proyectivo sobre un anillo de división es necesario y suficiente que su producto sea conmutativo, es decir, que sea un cuerpo.
El teorema de Pappus tiene varias versiones afines que se deducen de la versión proyectiva eligiendo distintas rectas del infinito. En el espacio afín, suponemos, como en la versión proyectiva, que y son dos tripletes de puntos distintos alineados en dos rectas distintas. Añadimos como condición que y son secantes en , que y son secantes en y que y son secantes en . La versión en que estas rectas son paralelas es la versión afín demostrada en el primer apartado (con la recta de Pappus en el infinito). Por la versión proyectiva del teorema, deducimos que están alineados.
Sin embargo, añadiendo ciertas condiciones, podemos dar una demostración puramente afín de esta versión a partir del teorema de Menelao. Estas condiciones añadidas son las siguientes: suponemos que y son secantes en , y son secantes en , y que y son secantes en . Si estas condiciones no se satisficieran —si no existiera el triángulo (en azul)—, podríamos hacer una demostración análoga con el triángulo (en rojo) suponiendo su existencia. Sin la existencia de alguno de estos dos triángulos, la siguiente demostración puramente afín no es válida.
Supongamos pues que podemos definir los puntos y, por tanto, definen un triángulo (en azul en la figura). Observamos que
La recta interseca los tres lados del triángulo en .
La recta interseca los tres lados del triángulo en .
La recta interseca los tres lados del triángulo en .
La recta interseca los tres lados del triángulo en .
La recta interseca los tres lados del triángulo en .
Por el teorema de Menelao, estas alineaciones se traducen en las siguientes igualdades:
Multiplicando estas igualdades, el miembro izquierdo se simplifica y queda
lo que, por el sentido inverso del teorema de Menelao, que están alineados, que es lo queríamos demostrar.