Congruencia

Teoría

En la geometría euclidiana, decimos que dos figuras son congruentes si tienen exactamente la misma forma y el mismo tamaño. Intuitivamente, esto significa que puedes transformar una figura en la otra usando solo movimientos rígidos: traslación (deslizar), rotación (girar) y reflexión (voltear). Si cortaras ambas figuras en papel, verías que encajan perfectamente una sobre la otra. Aunque este concepto aplica a cualquier forma geométrica, en las olimpiadas de matemáticas el enfoque principal es la congruencia de triángulos. Cuando dos triángulos son congruentes, todos sus lados correspondientes miden lo mismo y todos sus ángulos correspondientes tienen la misma medida. Esta propiedad se suele resumir con las siglas CPCTC (Partes Correspondientes de Triángulos Congruentes son Congruentes).

La congruencia es una herramienta fundamental en tu arsenal de geometría porque te permite pasar información de una parte del diagrama a otra. Si un problema te pide una longitud o un ángulo desconocido, demostrar que el triángulo que contiene esa incógnita es congruente a un triángulo que tiene valores conocidos resuelve el problema de inmediato. Además, la congruencia es la base para conceptos más avanzados; es esencial para demostrar propiedades de los paralelogramos, establecer las bases de la semejanza y justificar construcciones geométricas.

El truco en los problemas de olimpiada suele estar en identificar o construir triángulos congruentes que no son obvios a simple vista. Esto puede implicar trazar líneas auxiliares para crear simetría, rotar una subfigura para que encaje con otra, o reconocer que un diagrama complejo está formado por figuras congruentes encimadas. Dominar los criterios de congruencia de triángulos te permite demostrar con rigor la igualdad entre segmentos y ángulos, transformando una sospecha visual en una certeza matemática.

Fórmulas Clave

Escribimos que el triángulo $ABC$ es congruente al triángulo $DEF$ como $\triangle ABC \cong \triangle DEF$. El orden de los vértices importa: $A$ corresponde a $D$, $B$ a $E$ y $C$ a $F$.

Criterios Principales de Congruencia:

• LLL (Lado-Lado-Lado): Si los tres lados de un triángulo son iguales a los tres lados de otro triángulo, los triángulos son congruentes. $$AB = DE, \quad BC = EF, \quad AC = DF \implies \triangle ABC \cong \triangle DEF$$

• LAL (Lado-Ángulo-Lado): Si dos lados y el ángulo comprendido entre ellos son iguales a los de otro triángulo, los triángulos son congruentes. $$AB = DE, \quad \angle B = \angle E, \quad BC = EF \implies \triangle ABC \cong \triangle DEF$$

• ALA (Ángulo-Lado-Ángulo): Si dos ángulos y el lado comprendido entre ellos son iguales a los de otro triángulo, los triángulos son congruentes. $$\angle B = \angle E, \quad BC = EF, \quad \angle C = \angle F \implies \triangle ABC \cong \triangle DEF$$

• AAL (Ángulo-Ángulo-Lado): Si dos ángulos y un lado no comprendido entre ellos son iguales a las partes correspondientes de otro triángulo, los triángulos son congruentes. $$\angle A = \angle D, \quad \angle B = \angle E, \quad BC = EF \implies \triangle ABC \cong \triangle DEF$$

• HC (Hipotenusa-Cateto): Específicamente para triángulos rectángulos. Si la hipotenusa y un cateto de un triángulo rectángulo son iguales a la hipotenusa y un cateto de otro, son congruentes. $$\angle B = \angle E = 90^\circ, \quad AC = DF, \quad AB = DE \implies \triangle ABC \cong \triangle DEF$$

Advertencia Importante: LLA (Lado-Lado-Ángulo) no es un criterio de congruencia válido por lo general. Si dos lados y un ángulo no comprendido son iguales, se pueden formar dos triángulos diferentes (el caso ambiguo), a menos que el ángulo sea de $90^\circ$ (que se convierte en HC) o que el lado opuesto al ángulo sea estrictamente mayor que el otro lado dado.

Demostración

Teorema: El Criterio de Congruencia ALA

Vamos a demostrar el criterio ALA usando el postulado LAL.

Dado: Dos triángulos $\triangle ABC$ y $\triangle DEF$ tales que:

1. $\angle B = \angle E$
2. $BC = EF$
3. $\angle C = \angle F$

Objetivo: Demostrar que $\triangle ABC \cong \triangle DEF$.

Demostración: La idea es usar una contradicción. Supón que $\triangle ABC$ no es congruente a $\triangle DEF$. Como ya sabes que $\angle B = \angle E$ y $BC = EF$, para que los triángulos no sean congruentes, el lado $AB$ no debe ser igual a $DE$ (de lo contrario, tendrías congruencia LAL).

Supón que $AB \neq DE$. Sin perder generalidad, imagina que $AB < DE$.

1. Construcción: Como $AB < DE$, puedes ubicar un punto $P$ en el segmento $DE$ tal que $PE = AB$. Une $P$ con $F$.

2. Aplicando LAL: Considera el $\triangle ABC$ y el nuevo $\triangle PEF$.

   • $AB = PE$ (por construcción)
   • $\angle B = \angle E$ (dato inicial)
   • $BC = EF$ (dato inicial)

   Por el postulado LAL, $\triangle ABC \cong \triangle PEF$.

3. CPCTC: Como $\triangle ABC \cong \triangle PEF$, sus ángulos correspondientes deben ser iguales. Específicamente: $$\angle ACB = \angle PFE$$

4. Llegando a una contradicción: El problema dice que $\angle ACB = \angle DFE$. En el paso 3, viste que $\angle ACB = \angle PFE$. Por lo tanto, sustituyendo, $\angle PFE = \angle DFE$.

   Si miras la geometría de la figura, el rayo $FP$ y el rayo $FD$ salen de $F$ y pasan por el segmento $DE$. Como $P$ está en $DE$, la igualdad $\angle PFE = \angle DFE$ implica que el rayo $FP$ coincide con el rayo $FD$. Por consecuencia, el punto $P$ tiene que coincidir con el punto $D$.

5. Conclusión: Si $P$ coincide con $D$, entonces la suposición inicial de que $AB \neq DE$ (específicamente $AB < DE$) implica que $DE < DE$, lo cual es imposible. Así que $AB$ tiene que ser igual a $DE$.

   Con $AB = DE$, $\angle B = \angle E$ y $BC = EF$, se cumple el criterio LAL. Por lo tanto, $\triangle ABC \cong \triangle DEF$.

$\square$