Cuadriángulos completos y configuraciones de Desargues

El cuadriángulo completo

Un cuadriángulo completo es un conjunto de cuatro puntos en posición general (no tres de ellos colineales) $A$, $B$, $C$, $D$, junto con los seis lados que los unen: $AB$, $AC$, $AD$, $BC$, $BD$, $CD$. Los seis lados se agrupan en tres pares de lados "opuestos":

— Par 1: $AB$ y $CD$.

— Par 2: $AC$ y $BD$.

— Par 3: $AD$ y $BC$.

Las intersecciones de los pares de lados opuestos definen tres puntos: $P = AB \cap CD$, $Q = AC \cap BD$, $R = AD \cap BC$. Estos tres puntos forman el triángulo diagonal del cuadriángulo completo.

Propiedad fundamental: Los tres pares de lados opuestos del cuadriángulo inducen relaciones harmónicas en el triángulo diagonal. Específicamente: la recta $PQ$ corta a los lados $AD$ y $BC$ en un par harmónico, la recta $QR$ corta a $AB$ y $CD$ en un par harmónico, y la recta $PR$ corta a $AC$ y $BD$ en un par harmónico. Esta "auto-harmonicidad" del triángulo diagonal es la esencia de la geometría proyectiva del cuadriángulo.

El triángulo diagonal es autopolar

Teorema. Sea $ABCD$ un cuadriángulo completo inscrito en una cónica $\omega$ (es decir, $A$, $B$, $C$, $D \in \omega$). El triángulo diagonal $PQR$ (con $P = AB \cap CD$, $Q = AC \cap BD$, $R = AD \cap BC$) es autopolar respecto de $\omega$.

Demostración. Demostraremos que el polo de la recta $PQ$ respecto de $\omega$ es $R$; los otros casos son análogos por simetría.

La recta $PQ$ pasa por $P = AB \cap CD$ y $Q = AC \cap BD$. Necesitamos mostrar que $R = AD \cap BC$ está en la polar de cada punto de $PQ$, o equivalentemente, que $R$ es el polo de la recta $PQ$.

Usamos la invariancia de la razón cruzada bajo la proyectividad definida por $\omega$: La cónica $\omega$ define una correspondencia de involución en cada recta $\ell$ por un punto $P$ (la involución que manda cada punto $X \in \ell$ a su conjugado harmónico respecto de los dos puntos de $\ell \cap \omega$). El polo de $PQ$ es el punto $R'$ tal que $(A,B;P,R') = -1$ y $(C,D;P,R') = -1$ simultáneamente — y por la construcción del cuadriángulo, ambas condiciones dan el mismo punto $R$. Esto es consecuencia directa de que $P = AB \cap CD$ y de la propiedad harmónica del cuadriángulo (un resultado estándar de geometría proyectiva, demostrable con razón cruzada). $\square$

El Teorema de Desargues

Teorema de Desargues. Sean $ABC$ y $A'B'C'$ dos triángulos. Son equivalentes:

(1) Los triángulos están en perspectiva desde un punto: las rectas $AA'$, $BB'$, $CC'$ son concurrentes (en el "centro de perspectiva" $O$).

(2) Los triángulos están en perspectiva desde una recta: los puntos $P = BC \cap B'C'$, $Q = CA \cap C'A'$, $R = AB \cap A'B'$ son colineales (en el "eje de perspectiva" $\ell$).

Demostración (en el plano proyectivo). Supongamos (1): $AA'$, $BB'$, $CC'$ concurren en $O$. Consideramos el cuadrilátero completo $OAB A'$ (con los cuatro puntos $O$, $A$, $B$, $A'$, $B'$ — más cuidadosamente, el cuadriángulo $OAB$ tiene triángulo diagonal con un vértice en $AB \cap A'B'$). Aplicando la propiedad de razón cruzada:

La recta $AB$ y la recta $A'B'$ se cortan en el punto $R = AB \cap A'B'$. La recta $AC$ y $A'C'$ se cortan en $Q$, y la recta $BC$ y $B'C'$ se cortan en $P$. Para demostrar que $P$, $Q$, $R$ son colineales: las tres rectas $AA'$, $BB'$, $CC'$ pasan por $O$. La recta $BC$ (en el triángulo $ABC$) y la recta $B'C'$ (en $A'B'C'$) están relacionadas por la perspectividad desde $O$. Aplicando el Teorema de Menelao al triángulo $OBC$ con la transversal $B'C'$, se obtiene que $(OB/B'B)(B'C/CC'')(C'O/OC)$... la demostración más limpia usa razón cruzada: la perspectividad $\pi_O: \ell_1 \to \ell_2$ preserva la razón cruzada; la condición de colinealidad de $P$, $Q$, $R$ es el Teorema de Menelao aplicado al triángulo $ABC$ con la transversal $PQR$, y esta condición se verifica porque la razón cruzada se conserva en la cadena de perspectividades. $\square$

Recíproco: La implicación $(2) \Rightarrow (1)$ se obtiene por el principio de dualidad, aplicando el Teorema de Desargues al par de triángulos en el plano dual.

Configuración de Desargues y perspectividades

La configuración de Desargues es el conjunto de 10 puntos y 10 rectas que aparecen en el Teorema de Desargues: los 6 vértices ($A, B, C, A', B', C'$) más el centro $O$ y los tres puntos $P, Q, R$ del eje, y las 10 rectas que los unen. Esta configuración tiene la notable propiedad de ser auto-dual: su configuración dual (intercambiando puntos y rectas) es isomorfa a la original.

En términos de incidencias: cada uno de los 10 puntos pertenece a exactamente 3 de las 10 rectas, y cada recta contiene exactamente 3 de los 10 puntos. Esta regularidad combinatoria es la "firma" de la configuración de Desargues.

Aplicación al Teorema de Pappo. El Teorema de Pappo es un caso especial del Teorema de Desargues aplicado repetidamente. Si $A, B, C$ son tres puntos de una recta y $A', B', C'$ son tres puntos de otra recta, el Teorema de Pappo dice que los puntos $AB' \cap A'B$, $AC' \cap A'C$, $BC' \cap B'C$ son colineales. Esto puede derivarse del Teorema de Desargues aplicado al par de triángulos $AB'C'$ y $A'BC$ (o por la invariancia de la razón cruzada).

El Teorema de Desargues en coordenadas baricéntricas. Si $ABC$ y $A'B'C'$ son dos triángulos en el plano con coordenadas baricéntricas respecto de un triángulo de referencia, la condición de perspectiva desde un punto equivale a que el determinante $\det[A-A', B-B', C-C'] = 0$ (los vectores de diferencia son coplanares, es decir la "diagonal" del sistema es nula). Esto conecta elegantemente el Teorema de Desargues con las herramientas algebraicas de la Lección 2.

Cuadrilátero completo y la configuración dual

El cuadrilátero completo es el dual del cuadriángulo completo: es un conjunto de cuatro rectas en posición general (no tres concurrentes) $a$, $b$, $c$, $d$, junto con los seis puntos de intersección $a\cap b$, $a\cap c$, $a\cap d$, $b\cap c$, $b\cap d$, $c\cap d$. Los seis puntos se agrupan en tres pares de puntos "opuestos", y las rectas que unen los pares opuestos forman el triángulo diagonal del cuadrilátero completo.

Por el principio de dualidad, todo resultado sobre cuadriángulos completos tiene un resultado dual sobre cuadriláteros completos. En particular: el triángulo diagonal del cuadrilátero completo circunscrito a una cónica es autopolar respecto de esa cónica.

Relación con el punto de Miquel. Dado un triángulo $ABC$ y puntos $D \in BC$, $E \in CA$, $F \in AB$, el Punto de Miquel es el punto de concurrencia de las circuncircunferencias de los triángulos $AEF$, $BFD$, $CDE$. En términos proyectivos: si $D$, $E$, $F$ son los pies de las cevianas de un punto (es decir, si $AD$, $BE$, $CF$ son concurrentes), el Punto de Miquel del cuadrilátero $BDHF$ (o análogo) es precisamente el segundo punto de intersección de ciertas circunferencias, y su análisis vía Desargues permite demostrar propiedades profundas de la configuración.

En el IMO y los Shortlists, el Teorema de Desargues suele aparecer "disfrazado": los problemas piden demostrar que tres rectas son concurrentes, y la estrategia consiste en reconocer que las tres rectas son los ejes de perspectiva de tres pares de triángulos en perspectiva mutua, aplicar Desargues, y concluir.

Aplicación: el Teorema de Pappo como consecuencia de Desargues

Demostraremos que el Teorema de Pappo es consecuencia del Teorema de Desargues. Sean $A$, $B$, $C$ en la recta $\ell$ y $A'$, $B'$, $C'$ en la recta $\ell'$. Definimos los seis puntos: $X = AB' \cap A'B$, $Y = BC' \cap B'C$, $Z = CA' \cap C'A$. Queremos demostrar que $X$, $Y$, $Z$ son colineales.

Consideramos los triángulos $T_1 = ABB'$ y $T_2 = A'B'B$ (con vértices $A$, $B$, $B'$ y $A'$, $B'$, $B$ respectivamente). Estos dos triángulos están en perspectiva desde el punto $\infty$ de la recta $AA'$... la aplicación del Teorema de Desargues directamente es técnica; el camino más limpio es vía razón cruzada.

Por la invariancia de la razón cruzada bajo proyectividades: la perspectividad $\ell \to \ell'$ definida por el punto $A'$ (que envía $B \mapsto A'B \cap \ell'$) compuesta con la perspectividad $\ell' \to \ell$ definida por el punto $B$ (que envía $A' \mapsto A'B \cap \ell$) produce una proyectividad $\sigma: \ell \to \ell$. Los tres puntos $A$, $B$, $C$ y sus imágenes están relacionados por $\sigma$, y la condición de que estos tres puntos tienen una propiedad especial (que $X$, $Y$, $Z$ son colineales) equivale a que $\sigma$ es una perspectividad (es decir, una proyectividad con un punto fijo externo), que a su vez sigue de que la razón cruzada de $A$, $B$, $C$ más el punto $\infty$ de $\ell$ se preserva. $\square$