Teorema de Pascal

Teoría

El Teorema de Pascal, que a veces llaman el teorema del "Hexagrama Místico", es un resultado fundamental de la geometría proyectiva que describe la colinealidad de los puntos de intersección que salen de un hexágono inscrito en una sección cónica. Específicamente, si inscribes un hexágono arbitrario $ABCDEF$ en una cónica (como un círculo, elipse, parábola o hipérbola), los tres puntos que obtienes al intersectar los pares de lados opuestos —$(AB, DE)$, $(BC, EF)$ y $(CD, FA)$— están sobre una línea recta, la cual llamamos la Línea de Pascal.

Este teorema es súper potente en la geometría de olimpiadas porque conecta propiedades de incidencia (puntos que están en líneas) con las restricciones métricas de las cónicas (puntos que están en un círculo). A diferencia de los teoremas elementales de Euclides, el Teorema de Pascal no requiere que el hexágono sea convexo; puedes conectar los vértices en cualquier orden (por ejemplo, $A, C, E, B, D, F$), lo que te da diferentes líneas de Pascal para el mismo conjunto de seis puntos. Esta flexibilidad te permite "forzar" la colinealidad en diagramas complejos al identificar hexágonos cíclicos escondidos en la configuración.

En competencias avanzadas como la USAMO o la IMO, vas a usar seguido el Teorema de Pascal junto con su dual proyectivo, el Teorema de Brianchon, y la teoría de Polos y Polares. También es esencial para manejar casos degenerados, donde uno o más vértices del hexágono coinciden. En estos límites, el "lado" que conecta dos vértices que coinciden se convierte en la línea tangente a la cónica en ese punto, lo que permite aplicar el teorema a configuraciones que involucran triángulos y tangentes.

Fórmulas Clave

El Teorema General

Toma $A, B, C, D, E, F$ como seis puntos distintos en una sección cónica (normalmente un círculo). Deja que los pares de lados opuestos se intersecten en los puntos $P_1, P_2, P_3$: $$P_1 = AB \cap DE$$ $$P_2 = BC \cap EF$$ $$P_3 = CD \cap FA$$ Conclusión: Los puntos $P_1, P_2, P_3$ son colineales.

Casos Degenerados

Cuando los vértices coinciden, la línea secante se vuelve una tangente.

1. Pascal de 5 puntos (Pentágono): Si $F$ se acerca a $A$, el lado $FA$ se convierte en la tangente en $A$.
   • Hexágono: $A, B, C, D, E, A$
   • Intersecciones: $AB \cap DE$, $BC \cap EA$, $CD \cap (\text{tangente en } A)$.
2. Pascal de 4 puntos (Cuadrilátero): Si $E \to A$ y $F \to C$.
   • Las intersecciones involucran tangentes en $A$ y $C$.
3. Pascal de 3 puntos (Triángulo): Si $D \to A, E \to B, F \to C$.
   • Las intersecciones de las tangentes en los vértices con los lados opuestos son colineales.

Dual Proyectivo (Teorema de Brianchon)

Para un hexágono circunscrito a una cónica, las tres diagonales principales son concurrentes. $$AD \cap BE \cap CF = \text{Punto}$$

Demostración

Aquí tienes la demostración estándar usando el Teorema de Menelaus, que es muy útil porque usa propiedades de geometría elemental (Potencia de un Punto) para demostrar un resultado proyectivo.

Configuración: Toma $A, B, C, D, E, F$ como puntos en un círculo. Lo que hay que mostrar es que los siguientes puntos de intersección son colineales: $$P_1 = AB \cap DE, \quad P_2 = BC \cap EF, \quad P_3 = CD \cap FA$$

Construcción: Extiende las líneas $AB, CD$ y $EF$ para formar un triángulo $\triangle XYZ$. Digamos que: $$X = AB \cap EF$$ $$Y = AB \cap CD$$ $$Z = CD \cap EF$$ Nota que los puntos $P_1, P_2, P_3$ están sobre los lados (o extensiones) del $\triangle XYZ$:

• $P_1$ está en la línea $AB$ (que es la línea $XY$).
• $P_2$ está en la línea $EF$ (que es la línea $XZ$).
• $P_3$ está en la línea $CD$ (que es la línea $YZ$).

Paso 1: Aplica el Teorema de Menelaus Aplica el Teorema de Menelaus al $\triangle XYZ$ usando las tres líneas que forman los otros lados del hexágono ($BC$, $DE$ y $FA$) como transversales.

1. La línea $BC$ intersecta los lados $XY$ en $B$, $YZ$ en $C$ y $XZ$ en $P_2$. $$\frac{XB}{BY} \cdot \frac{YC}{CZ} \cdot \frac{ZP_2}{P_2X} = -1 \quad \text{(razón dirigida)}$$

2. La línea $DE$ intersecta los lados $XY$ en $P_1$, $YZ$ en $D$ y $XZ$ en $E$. $$\frac{XP_1}{P_1Y} \cdot \frac{YD}{DZ} \cdot \frac{ZE}{EX} = -1$$

3. La línea $FA$ intersecta los lados $XY$ en $A$, $YZ$ en $P_3$ y $XZ$ en $F$. $$\frac{XA}{AY} \cdot \frac{YP_3}{P_3Z} \cdot \frac{ZF}{FX} = -1$$

Paso 2: Combina las ecuaciones Multiplica las tres ecuaciones de arriba: $$ \left( \frac{XB}{BY} \cdot \frac{YC}{CZ} \cdot_$$