Argumentos de Partición de Áreas

Teoría

Los argumentos de partición de áreas consisten en dividir una figura geométrica —casi siempre un triángulo— en regiones más pequeñas para encontrar relaciones entre las áreas de esas regiones y las longitudes de los segmentos dentro de la figura. El principio fundamental detrás de esta técnica es que los triángulos que comparten la misma altura tienen áreas proporcionales a sus bases. Al dividir un triángulo de forma estratégica usando cevianas (líneas que van de un vértice al lado opuesto), puedes convertir restricciones geométricas difíciles en razones algebraicas fáciles de manejar.

Esta técnica aparece en todos lados en las matemáticas de competencia, sobre todo en el AMC 10/12 y el AIME, ya que sirve como la base geométrica para herramientas poderosas como la Geometría de Masas (Mass Point Geometry) y las Coordenadas Baricéntricas. Es súper útil cuando trabajas con cevianas que se cruzan, donde el objetivo es determinar en qué razón un punto de intersección divide a un segmento o cuál es la razón entre el área de una subregión específica y el área total. En lugar de depender de la geometría analítica o la trigonometría, las particiones de áreas te dan un camino elegante y puramente geométrico.

El truco clave suele ser fijarse en las "alas" de un triángulo dividido. Si un punto $P$ está dentro del $\triangle ABC$ sobre una ceviana desde $A$, la razón de las áreas de $\triangle PAB$ y $\triangle PAC$ se relaciona directamente con la razón en la que la ceviana divide al lado $BC$. Si aplicas esta lógica varias veces o armas un sistema de ecuaciones con estas áreas, puedes calcular áreas desconocidas o razones de segmentos de forma muy eficiente.

Fórmulas Clave

1. El Principio de la Altura Común Para dos triángulos $\triangle ABD$ y $\triangle ADC$ que comparten el vértice $A$ y tienen sus bases $BD$ y $DC$ sobre la misma línea: $$ \frac{[ABD]}{[ADC]} = \frac{BD}{DC} $$ donde $[XYZ]$ representa el área del triángulo $XYZ$.

2. El Lema de la Razón (El Teorema de las "Alas") Sea $D$ un punto en el lado $BC$ del $\triangle ABC$, y sea $P$ cualquier punto en la ceviana $AD$. Entonces: $$ \frac{BD}{DC} = \frac{[ABD]}{[ADC]} = \frac{[PBD]}{[PDC]} = \frac{[ABP]}{[ACP]} $$ Esto significa que la razón de las áreas de los triángulos "laterales" (las alas) es igual a la razón de los segmentos de la base.

3. Razón de Áreas para Cevianas Concurrentes Si las cevianas $AD, BE$ y $CF$ se cruzan en un punto $P$ dentro del $\triangle ABC$, puedes expresar la razón de los segmentos de la ceviana usando áreas: $$ \frac{AP}{PD} = \frac{[ABP] + [ACP]}{[BPC]} $$ Esta es una aplicación directa del argumento de partición que suele asociarse con el Teorema de Van Aubel.

Demostración

Teorema (El Lema de la Razón): Sea $D$ un punto en el lado $BC$ del $\triangle ABC$, y sea $P$ un punto en la ceviana $AD$. Entonces: $$ \frac{[ABP]}{[ACP]} = \frac{BD}{DC} $$

Demostración: Llama $h_A$ a la longitud de la altura desde el vértice $A$ hasta la línea $BC$, y $h_P$ a la longitud de la altura desde el punto $P$ hasta la línea $BC$.

1. Analiza los triángulos grandes: Fíjate en el $\triangle ABD$ y el $\triangle ADC$. Comparten la misma altura $h_A$ respecto a las bases $BD$ y $DC$. $$ [ABD] = \frac{1}{2} \cdot BD \cdot h_A $$ $$ [ADC] = \frac{1}{2} \cdot DC \cdot h_A $$ Si sacas la razón de sus áreas: $$ \frac{[ABD]}{[ADC]} = \frac{\frac{1}{2} \cdot BD \cdot h_A}{\frac{1}{2} \cdot DC \cdot h_A} = \frac{BD}{DC} \quad (*) $$

2. Analiza los triángulos pequeños: Ahora fíjate en el $\triangle PBD$ y el $\triangle PDC$. Comparten la misma altura $h_P$ respecto a las bases $BD$ y $DC$. $$ [PBD] = \frac{1}{2} \cdot BD \cdot h_P $$ $$ [PDC] = \frac{1}{2} \cdot DC \cdot h_P $$ Si sacas la razón de sus áreas: $$ \frac{[PBD]}{[PDC]} = \frac{\frac{1}{2} \cdot BD \cdot h_P}{\frac{1}{2} \cdot DC \cdot h_P} = \frac{BD}{DC} \quad (**) $$

3. Aplica propiedades de las proporciones: Por $(*)$ y $(**)$, ya viste que: $$ \frac{[ABD]}{[ADC]} = \frac{[PBD]}{[PDC]} = \frac{BD}{DC} $$ Una propiedad fundamental de las razones dice que si $\frac{a}{b} = \frac{c}{d} = k$, entonces $\frac{a-c}{b-d} = k$ (siempre que $b \neq d$). Si aplicas esta propiedad a nuestras razones de áreas: $$ \frac{[ABD] - [PBD]}{[ADC] - [PDC]} = \frac{BD}{DC} $$

4. Interpretación Geométrica: Si observas la figura, el área del $\triangle ABP$ es exactamente el área del $\triangle ABD$ menos el área del $\triangle PBD$. De la misma forma, $[ACP] = [ADC] - [PDC]$. Al sustituir esto en la ecuación de arriba: $$ \frac{[ABP]}{[ACP]} = \frac{BD}{DC} $$

Así, la razón de las áreas de los triángulos "ala" es igual a la razón de los segmentos de la base que corta la ceviana. $\square$