Convención de Razones Dirigidas

Teoría

La Convención de Razones Dirigidas es una herramienta fundamental en la geometría euclidiana avanzada, especialmente cuando trabajas con teoremas de colinealidad y concurrencia como los de Menelaus y Ceva. En la geometría elemental, las longitudes son cantidades estrictamente no negativas. Sin embargo, en la geometría de olimpiadas, los segmentos de recta se tratan como cantidades dirigidas. Para cualesquiera dos puntos distintos $A$ y $B$ en una recta, el segmento dirigido $AB$ cumple que $AB = -BA$. Por lo tanto, para tres puntos colineales $A, B, C$, la razón $\frac{AC}{CB}$ se define no solo por su magnitud, sino por su dirección.

Esta convención es crucial porque unifica el tratamiento de la división interna y externa de los segmentos. Si el punto $C$ está estrictamente entre $A$ y $B$, los vectores $\vec{AC}$ y $\vec{CB}$ apuntan en la misma dirección, lo que hace que la razón $\frac{AC}{CB}$ sea positiva. Si $C$ está sobre la recta $AB$ pero fuera del segmento $AB$, los vectores apuntan en direcciones opuestas, haciendo que la razón sea negativa. Esto elimina la necesidad de separar por casos (analizar diferentes configuraciones de diagramas por separado) al demostrar teoremas.

La aplicación más importante de esta convención es en el Teorema de Menelaus. Sin razones dirigidas, tendrías que especificar si los puntos están en los segmentos o en las extensiones de los lados de un triángulo. Con razones dirigidas, una sola ecuación cubre todas las configuraciones. Específicamente, la convención de razones dirigidas revela la diferencia estructural entre el Teorema de Menelaus (colinealidad, el producto es $-1$) y el Teorema de Ceva (concurrencia, el producto es $+1$), dándote un método algebraico sólido para demostrar que ciertos puntos son colineales.

Fórmulas Clave

1. Definición de Segmentos Dirigidos Para puntos colineales $A, B, C$: $$AB = -BA$$ $$AB + BC = AC \quad (\text{Relación de Chasles})$$

2. La Razón Dirigida La razón en la que un punto $C$ divide a un segmento $AB$ está dada por $r = \frac{AC}{CB}$. $$ \frac{AC}{CB} > 0 \iff C \text{ está entre } A \text{ y } B \text{ (División Interna)}$$ $$ \frac{AC}{CB} < 0 \iff C \text{ está fuera de } [AB] \text{ (División Externa)}$$

3. Teorema de Menelaus (Forma Dirigida) Dado un $\triangle ABC$, y puntos $D, E, F$ sobre las rectas $BC, CA, AB$ respectivamente. Los puntos $D, E, F$ son colineales si y solo si: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1 $$

4. Teorema de Ceva (Forma Dirigida) Dado un $\triangle ABC$, y puntos $D, E, F$ sobre las rectas $BC, CA, AB$ respectivamente. Las rectas $AD, BE, CF$ son concurrentes (o paralelas) si y solo si: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = +1 $$

Demostración

Teorema: Teorema de Menelaus (Versión Dirigida) Enunciado: Para un triángulo $ABC$ y puntos $F, D, E$ en las rectas $AB, BC, CA$ respectivamente, si $F, D, E$ son colineales, entonces $\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1$.

Demostración:

Sea $\ell$ la recta que pasa por los puntos colineales $F, D, E$. La idea es usar el concepto de distancias dirigidas desde los vértices del triángulo a la recta $\ell$.

1. Sean $h_A, h_B, h_C$ las distancias perpendiculares dirigidas (algebraicas) desde los vértices $A, B, C$ a la recta $\ell$.

   • Si dos vértices están del mismo lado de $\ell$, sus distancias dirigidas tienen el mismo signo.
   • Si están en lados opuestos, sus distancias dirigidas tienen signos opuestos.

2. Considera el segmento $AB$ intersecado por la recta $\ell$ en $F$. Fíjate en los triángulos rectángulos semejantes que se forman al trazar perpendiculares desde $A$ y $B$ hacia $\ell$.

   • Por semejanza de triángulos, la razón de las longitudes $|AF|/|FB|$ es igual a la razón de las magnitudes de las alturas $|h_A|/|h_B|$.
   • Para tomar en cuenta el signo:
     • Si $F$ está entre $A$ y $B$ (división interna), $A$ y $B$ están en lados opuestos de $\ell$. Entonces $h_A$ y $h_B$ tienen signos opuestos. La razón $\frac{AF}{FB}$ debe ser positiva.
     • Si $F$ está fuera de $AB$ (división externa), $A$ y $B$ están del mismo lado de $\ell$. Entonces $h_A$ y $h_B$ tienen el mismo signo. La razón $\frac{AF}{FB}$ debe ser negativa.
   • En ambos casos, esta relación cumple que: $$ \frac{AF}{FB} = -\frac{h_A}{h_B} $$ (Nota: El signo negativo corrige la paridad. Si $h_A, h_B$ tienen el mismo signo, la razón es negativa. Si tienen signos opuestos, la razón es positiva).

3. Aplica esta misma lógica a los tres lados del triángulo: $$ \frac{AF}{FB} = -\frac{h_A}{h_B} $$ $$ \frac{BD}{DC} = -\frac{h_B}{h_C} $$ $$ \frac{CE}{EA} = -\frac{h_C}{h_A} $$

4. Multiplica las tres razones dirigidas: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = \left( -\frac{h_A}{h_B} \right) \cdot \left( -\frac{h_B}{h_C} \right) \cdot \left( -\frac{h_C}{h_A} \right) $$

5. Simplifica la expresión: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = (-1)^3 \cdot \frac{h_A}{h_B} \cdot \frac{h_B}{h_C} \cdot \frac{h_C}{h_A} $$ $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1 \cdot 1 = -1 $$

Esto confirma que para cualquier recta que interseque los lados de un triángulo (ya sea en sus extensiones o no), el producto de las razones dirigidas siempre es $-1$.

$\square$