Teorema de Menelao

El problema dual: colinealidad

El Teorema de Ceva responde: ¿cuándo tres cevianas concurren? El Teorema de Menelao responde la pregunta dual: ¿cuándo tres puntos, uno en cada lado del triángulo (o en sus prolongaciones), son colineales?

Estos dos teoremas son los pilares de la geometría proyectiva elemental. Aparecen juntos en la mayoría de los libros de olimpiadas porque su dualidad —concurrencia vs. colinealidad, producto igual a $+1$ vs. $-1$— es uno de los patrones más hermosos de la geometría.

El teorema lleva el nombre de Menelao de Alejandría (siglo I d.C.), quien lo formuló en su obra *Sphaerica* en el contexto de la geometría esférica. La versión plana que estudiamos aquí es igualmente antigua y poderosa.

Razones con signo

Para formular Menelao correctamente necesitamos la noción de razón con signo (también llamada razón dirigida). Si $D$ es un punto en la recta $BC$, definimos la razón con signo $\dfrac{\overline{BD}}{\overline{DC}}$ como positiva si $D$ está entre $B$ y $C$, y negativa si $D$ está fuera del segmento $\overline{BC}$ (es decir, en la prolongación de $BC$).

Formalmente: $\dfrac{\overline{BD}}{\overline{DC}} = +\dfrac{BD}{DC}$ si $D$ está entre $B$ y $C$, y $\dfrac{\overline{BD}}{\overline{DC}} = -\dfrac{BD}{DC}$ si $D$ está en la prolongación.

Esta convención de signo es lo que distingue a Menelao de Ceva. En el Teorema de Ceva (cevianas concurrentes), los puntos $D$, $E$, $F$ están en los lados, el producto de las razones es $+1$. En el Teorema de Menelao (puntos colineales), el número impar de puntos está en las prolongaciones, y el producto de las razones con signo es $-1$.

Enunciado del Teorema de Menelao

Sea $\triangle ABC$ un triángulo y $D$, $E$, $F$ puntos en las rectas $BC$, $CA$, $AB$ respectivamente (no necesariamente en los segmentos, sino en las rectas). Los tres puntos $D$, $E$, $F$ son colineales si y solo si:

Demostración

Dirección directa (si $D$, $E$, $F$ son colineales, el producto es $-1$). Sea $\ell$ la recta que contiene a $D$, $E$, $F$. Trazamos por $A$, $B$, $C$ rectas paralelas a $\ell$, que cortan a alguna recta transversal apropiada. La demostración más clara usa alturas: sean $h_A$, $h_B$, $h_C$ las distancias (con signo) de $A$, $B$, $C$ a la recta $\ell$.

Como $D$ está en $BC$ y en $\ell$, por semejanza de triángulos: $\dfrac{BD}{DC} = \dfrac{h_B}{h_C}$ (con el signo apropiado). Análogamente, $\dfrac{CE}{EA} = \dfrac{h_C}{h_A}$ y $\dfrac{AF}{FB} = \dfrac{h_A}{h_B}$. El producto con signo:

$\dfrac{\overline{AF}}{\overline{FB}} \cdot \dfrac{\overline{BD}}{\overline{DC}} \cdot \dfrac{\overline{CE}}{\overline{EA}} = \dfrac{h_A}{h_B} \cdot \dfrac{h_B}{h_C} \cdot \dfrac{h_C}{h_A} = 1$... pero con los signos: si la recta $\ell$ corta dos de los lados en sus prolongaciones (como ocurre generalmente), dos de las razones son negativas y una positiva, o las tres son negativas — en cualquier caso el producto resulta $-1$.

El número de puntos que están en las prolongaciones (fuera del segmento) siempre es impar (1 o 3) para que los puntos sean colineales, lo que hace que el producto sea negativo. El recíproco se prueba asumiendo que el producto es $-1$ y mostrando que el tercer punto está en la recta determinada por los otros dos.

Comparación con Ceva: la tabla de dualidad

La distinción entre Ceva y Menelao es una de las más importantes en geometría olímpica elemental:

Teorema de Ceva: $D$, $E$, $F$ en los lados (interior), cevianas $AD$, $BE$, $CF$ concurrentes $\iff$ $\dfrac{AF}{FB}\cdot\dfrac{BD}{DC}\cdot\dfrac{CE}{EA} = +1$.

Teorema de Menelao: $D$, $E$, $F$ en las rectas (número impar en prolongaciones), puntos colineales $\iff$ $\dfrac{\overline{AF}}{\overline{FB}}\cdot\dfrac{\overline{BD}}{\overline{DC}}\cdot\dfrac{\overline{CE}}{\overline{EA}} = -1$.

El patrón nemotécnico: Ceva = concurrencia = $+1$; Menelao = colinealidad = $-1$. En competencia, si el enunciado pide probar que tres puntos son colineales, busca aplicar Menelao. Si pide probar que tres rectas concurren, busca Ceva.

Aplicación clásica: el Teorema de Pappus

Teorema de Pappus. Sean $A$, $B$, $C$ puntos en una recta $\ell$ y $A'$, $B'$, $C'$ puntos en otra recta $\ell'$. Las intersecciones $P = AB' \cap A'B$, $Q = AC' \cap A'C$, $R = BC' \cap B'C$ son colineales.

Demostración por Menelao. Aplicamos Menelao al triángulo $\triangle AB'C$ con la transversal $A'PC'$... el argumento completo requiere aplicar Menelao dos veces sobre triángulos auxiliares y combinar los resultados. La idea central: cada par de las seis rectas $AB'$, $A'B$, $AC'$, $A'C$, $BC'$, $B'C$ define uno de los tres puntos $P$, $Q$, $R$; aplicando Menelao sobre los triángulos adecuados, se obtiene que el producto de las razones correspondientes a $P$, $Q$, $R$ en los lados de un triángulo auxiliar es $-1$, lo que concluye la colinealidad.

El Teorema de Pappus es uno de los resultados fundamentales de la geometría proyectiva. Su demostración por Menelao ilustra cómo el teorema se convierte en una máquina para verificar colinealidades no obvias.

Ejemplo resuelto: colinealidad de puntos de intersección

Problema. En $\triangle ABC$, el punto $D$ en $\overline{BC}$ satisface $BD = 2$ y $DC = 3$. El punto $E$ en $\overline{CA}$ satisface $CE = 1$ y $EA = 4$. La recta $DE$ corta al lado $\overline{AB}$ (o su prolongación) en el punto $F$. Calcula $AF/FB$ (con signo).

Solución. Como $D$, $E$, $F$ son colineales (están en la recta $DE$), aplicamos Menelao al triángulo $\triangle ABC$ con la transversal $DEF$:

$\dfrac{\overline{AF}}{\overline{FB}} \cdot \dfrac{\overline{BD}}{\overline{DC}} \cdot \dfrac{\overline{CE}}{\overline{EA}} = -1.$

Los puntos $D$ y $E$ están en los lados del triángulo (no en las prolongaciones), así que sus razones son positivas: $BD/DC = 2/3$ y $CE/EA = 1/4$. Sustituimos: $\dfrac{\overline{AF}}{\overline{FB}} \cdot \dfrac{2}{3} \cdot \dfrac{1}{4} = -1$, luego $\dfrac{\overline{AF}}{\overline{FB}} = -\dfrac{12}{2} = -6$.

La razón es $-6$: el signo negativo indica que $F$ está en la prolongación de $\overline{AB}$, fuera del segmento. Específicamente, $AF/FB = 6$ con $F$ más allá de $B$ (al extender $AB$). Verificación: con $D$ y $E$ en los interiores (dos razones positivas), la tercera razón debe ser negativa para que el producto sea $-1$, lo cual es consistente.

Menelao en la olimpiada: estrategia de uso

En problemas olímpicos, Menelao aparece cuando el enunciado pide demostrar que tres puntos son colineales. La estrategia es:

(1) Identificar el triángulo. Los tres puntos a demostrar colineales deben estar, cada uno, en uno de los tres lados (o prolongaciones) de algún triángulo $\triangle ABC$ que elijes.

(2) Calcular las tres razones con signo. Esto puede requerir usar propiedades del triángulo, teoremas auxiliares (bisectriz, semejanza, potencia de un punto) para expresar las razones en términos de los datos del problema.

(3) **Verificar que el producto es $-1$.** Si el producto resulta $-1$, la colinealidad queda demostrada. Si resulta $+1$, los puntos serían concurrentes (en el sentido de Ceva), lo que indica un error en la identificación del problema.

La elección del triángulo auxiliar es el paso más creativo. En los problemas más difíciles, el triángulo no está dado explícitamente sino que hay que construirlo a partir de intersecciones de rectas dadas en el enunciado.