El producto de razones con signo es -1.
El Teorema de Menelao es un resultado fundamental en la geometría plana que relaciona las razones de los segmentos cortados por una recta (una transversal) que intersecta los lados de un triángulo. Aunque el teorema directo te dice una propiedad de puntos colineales, su recíproco es una herramienta poderosa para demostrar que tres puntos son colineales. Para usar esta técnica, identifica un triángulo de referencia y tres puntos que estén sobre las rectas de sus lados (ya sea por dentro o por fuera). Si el producto de las razones dirigidas de los segmentos formados por estos puntos es igual a $-1$, entonces los puntos son colineales.
Esta técnica es muy importante en la geometría de olimpiadas porque transforma un problema de incidencia geométrica (probar que ciertos puntos están en una misma recta) en un cálculo algebraico con razones. Se usa seguido en configuraciones complejas con cevianas, tangentes o centros de homotecia donde los enfoques sintéticos pueden ser difíciles de visualizar. A diferencia del Teorema de Ceva, que trata sobre concurrencia y da un producto de $+1$, el Teorema de Menelao depende mucho del concepto de segmentos dirigidos. Esta convención de signos es crucial: para que los puntos sean colineales, la transversal debe cortar o dos lados internamente y uno externamente, o los tres lados externamente. En ambos casos, terminas con un número impar de razones negativas.
Considera un triángulo $ABC$. Deja que los puntos $F, D, E$ estén sobre las rectas que extienden los lados $AB, BC$ y $CA$ respectivamente.
Teorema de Menelao: Si $F, D, E$ son colineales, entonces: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1 $$
Recíproco del Teorema de Menelao (Para demostrar colinealidad): Si los puntos $F, D, E$ están en las rectas $AB, BC, CA$ respectivamente, y cumplen la ecuación: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1 $$ entonces los puntos $F, D, E$ son colineales.
Nota sobre razones dirigidas: Los segmentos se tratan como cantidades dirigidas. Para un segmento $XY$, la razón $\frac{XP}{PY}$ es positiva si $P$ está entre $X$ y $Y$ (división interna), y negativa si $P$ está fuera del segmento $XY$ (división externa).
Aquí tienes la demostración del Teorema de Menelao directo usando triángulos semejantes, seguida de la lógica para el Recíproco, que es la herramienta que usas para probar colinealidad.
Parte 1: El Teorema Directo Supón que la recta $\ell$ pasa por el triángulo $ABC$ cortando a la recta $AB$ en $F$, a la recta $BC$ en $D$ y a la recta $CA$ en $E$. Lo que hay que demostrar es que $\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1$.
Construcción: Traza perpendiculares desde los vértices $A, B$ y $C$ hacia la recta $\ell$. Llama a las longitudes de estas perpendiculares $h_a, h_b$ y $h_c$ respectivamente.
Triángulos Semejantes:
Calculando el producto: Al multiplicar estas magnitudes: $$ \left| \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} \right| = \frac{h_a}{h_b} \cdot \frac{h_b}{h_c} \cdot \frac{h_c}{h_a} = 1 $$
Determinando el signo: Una recta que corta a un triángulo debe cortar los lados ya sea (a) dos internamente y uno externamente, o (b) los tres externamente.
Parte 2: El Recíproco (Para demostrar colinealidad) Para demostrar el recíproco, supón que los puntos $D, E, F$ están en las rectas $BC, CA, AB$ de tal forma que $\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1$.
$\square$