Cevianas

Teoría

Una ceviana es cualquier segmento de recta en un triángulo que tiene un extremo en un vértice del triángulo y el otro extremo en el lado opuesto (o en la extensión del lado opuesto). Ejemplos comunes de cevianas incluyen las medianas, las alturas y las bisectrices. El estudio de las cevianas es fundamental en la geometría euclidiana porque te da la estructura para determinar cuándo varias rectas son concurrentes (se cortan en un solo punto) o cuándo varios puntos son colineales (están sobre una misma recta).

En las olimpiadas de matemáticas, las cevianas son el puente entre las propiedades simples del triángulo y el análisis de configuraciones complejas. El poder de la teoría de cevianas está en convertir la posición geométrica en razones algebraicas. En lugar de confiar en la intuición visual, que puede engañarte en diagramas complejos, teoremas como el de Ceva y Menelaus te permiten demostrar concurrencia o colinealidad calculando el producto de las razones de los segmentos a lo largo de los lados del triángulo.

Las ideas clave en este tema suelen involucrar el "Método de Áreas" o la "Geometría de Masas". El Método de Áreas aprovecha el hecho de que las cevianas dividen el área del triángulo en la misma proporción en que dividen la base. La Geometría de Masas asigna pesos a los vértices para equilibrar el triángulo en la intersección de las cevianas. Dominar estas relaciones te permite resolver rápido problemas de razones de longitudes y áreas que de otra forma serían imposibles usando geometría analítica o trigonometría pura.

Fórmulas Clave

1. Teorema de Ceva Para un triángulo $ABC$, toma los puntos $D, E$ y $F$ sobre las rectas $BC, CA$ y $AB$ respectivamente. Las cevianas $AD, BE$ y $CF$ son concurrentes si y solo si: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = 1 $$ Forma Trigonométrica: $$ \frac{\sin \angle BAD}{\sin \angle DAC} \cdot \frac{\sin \angle ACF}{\sin \angle FCB} \cdot \frac{\sin \angle CBE}{\sin \angle EBA} = 1 $$

2. Teorema de Menelaus Dado un triángulo $ABC$, los puntos $D, E$ y $F$ en las rectas $BC, CA$ y $AB$ son colineales si y solo si: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = -1 $$ (Nota: El $-1$ indica segmentos dirigidos. Si solo te fijas en la magnitud, el producto es $1$. Para Menelaus, normalmente uno o tres puntos están en las extensiones de los lados).

3. Teorema de Stewart Se usa para calcular la longitud de una ceviana. Sea $ABC$ un triángulo con lados $a, b, c$. Toma un punto $D$ en $BC$ tal que $AD = d$, $BD = m$ y $DC = n$ (donde $a = m+n$). Entonces: $$ b^2m + c^2n = a(d^2 + mn) $$ Un truco común para recordarlo en inglés es: "A man and his dad put a bomb in the sink" ($man + dad = bmb + cnc$).

4. Lema de la Razón Para cualquier ceviana $AD$ en el $\triangle ABC$: $$ \frac{BD}{DC} = \frac{AB}{AC} \frac{\sin \angle BAD}{\sin \angle DAC} $$

Demostración

Teorema: Teorema de Ceva (Demostración por el Método de Áreas)

Enunciado: En el $\triangle ABC$, las cevianas $AD, BE$ y $CF$ son concurrentes en un punto $P$ si y solo si $\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = 1$.

Demostración: Vamos a demostrar la dirección hacia adelante: si las rectas son concurrentes en $P$, el producto de las razones es $1$. Escribimos el área de un triángulo $XYZ$ como $[XYZ]$.

Paso 1: Relaciona las bases con las áreas Los triángulos $\triangle ABD$ y $\triangle ACD$ comparten la misma altura desde el vértice $A$ hasta la recta $BC$. Por lo tanto, la razón de sus áreas es igual a la razón de sus bases: $$ \frac{BD}{DC} = \frac{[ABD]}{[ACD]} $$ De la misma forma, para los triángulos más pequeños $\triangle PBD$ y $\triangle PCD$, que comparten altura desde $P$ hasta $BC$: $$ \frac{BD}{DC} = \frac{[PBD]}{[PCD]} $$

Paso 2: Aplica la propiedad de razones iguales Usa la propiedad algebraica que dice que si $\frac{x}{y} = \frac{w}{z} = k$, entonces $\frac{x-w}{y-z} = k$. Al restar las áreas que obtuviste en el Paso 1: $$ \frac{BD}{DC} = \frac{[ABD] - [PBD]}{[ACD] - [PCD]} = \frac{[ABP]}{[ACP]} $$

Paso 3: Repite para los otros lados Si aplicas la misma lógica a los otros lados del triángulo con las cevianas $BE$ y $CF$, obtienes: $$ \frac{CE}{EA} = \frac{[BCP]}{[BAP]} $$ $$ \frac{AF}{FB} = \frac{[CAP]}{[CBP]} $$

Paso 4: Calcula el producto Multiplica las tres razones: $$ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = \frac{[CAP]}{[CBP]} \cdot \frac{[ABP]}{[ACP]} \cdot \frac{[BCP]}{[BAP]} $$

Fíjate que $[ABP] = [BAP]$, $[BCP] = [CBP]$ y $[ACP] = [CAP]$. Los términos en el numerador y el denominador se cancelan perfectamente: $$ \frac{[CAP]}{[CBP]} \cdot \frac{[ABP]}{[ACP]} \cdot \frac{[BCP]}{[BAP]} = 1 $$

Por lo tanto, $\frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = 1$.

$\square$