Congruencia de Triángulos: Criterios, Teoremas y Propiedades Métricas

En la geometría plana, el concepto de congruencia es la llave maestra para demostrar teoremas y resolver problemas complejos mediante la comparación de figuras. Dos o más triángulos son congruentes cuando tienen exactamente la misma forma y el mismo tamaño. 

Para indicar esta relación se emplea el símbolo matemático $\cong$. Si dos triángulos son congruentes, significa que es posible superponerlos perfectamente uno sobre el otro; por lo tanto, sus elementos correspondientes (llamados elementos homólogos) tienen exactamente las mismas medidas.

$$\triangle ABC \cong \triangle DEF$$

Criterios Fundamentales de Congruencia (Postulados)

Para asegurar que dos triángulos son congruentes, no es necesario verificar la igualdad de sus seis elementos (tres lados y tres ángulos). Basta con comprobar la coincidencia de tres elementos específicos mediante los siguientes tres criterios básicos, los cuales se aceptan como postulados:

Lado - Lado - Lado (LLL)

Si los tres lados de un triángulo tienen la misma medida que los tres lados correspondientes de otro triángulo, entonces ambos triángulos son congruentes.

Si en los triángulos $\triangle ABC$ y $\triangle DEF$ se cumple que:

 $$\overline{AB} = \overline{DE}, \quad \overline{BC} = \overline{EF}, \quad \overline{AC} = \overline{DF}$$

Entonces:

$$\triangle ABC \cong \triangle DEF$$  (Los triángulos son congruentes por LLL)

Consecuencia métrica: Como resultado directo de la congruencia, se deduce formalmente que sus ángulos interiores homólogos son iguales:

$$\angle A = \angle D, \quad \angle B = \angle E, \quad \angle C = \angle F$$

Nota de rigor:Los ángulos iguales siempre se oponen a los lados correspondientes que son iguales.

 

Lado - Ángulo - Lado (LAL)

Si dos lados de un triángulo y el ángulo interior comprendido entre ellos tienen las mismas medidas que los correspondientes lados y ángulo de otro triángulo, entonces ambos triángulos son congruentes.

Si en los triángulos $\triangle ABC$ y $\triangle DEF$ se cumple que:

$$\overline{AB} = \overline{DE}, \quad \angle B = \angle E, \quad \overline{BC} = \overline{EF}$$

Entonces:

$$\triangle ABC \cong \triangle DEF$$  ( Los triángulos son congruentes por LAL)

Consecuencia métrica: Se deduce la igualdad de los elementos restantes:

 $$\angle A = \angle D, \quad \overline{AC} = \overline{DF}, \quad \angle C = \angle F$$

Nota de rigor:Los lados y  ángulos iguales siempre se oponen a los lados correspondientes que son iguales.

Ángulo - Lado - Ángulo (ALA)

Si dos ángulos interiores de un triángulo y el lado común a ambos ángulos tienen las mismas medidas que los ángulos y el lado común correspondientes de otro triángulo, entonces ambos triángulos son congruentes.

Si en los triángulos $\triangle ABC$ y $\triangle DEF$ se cumple que:

$$\angle A = \angle D, \quad \overline{AC} = \overline{DF}, \quad \angle C = \angle F$$

Entonces:

$$\triangle ABC \cong \triangle DEF$$  ( Los triángulos son congruentes por ALA)

Consecuencia métrica: Se deduce la igualdad de los elementos restantes:

$$\angle B = \angle E, \quad \overline{AB} = \overline{DE}, \quad \overline{BC} = \overline{EF}$$

Nota de rigor:Los lados y  ángulos iguales siempre se oponen a los lados correspondientes que son iguales.

Teoremas de Congruencia derivados

A diferencia de los criterios anteriores, las siguientes relaciones son teoremas formales que pueden demostrarse lógicamente a partir de los postulados ALA, LAL y LLL:

Teorema Lado - Ángulo - Ángulo (LAA)

Si dos ángulos interiores de un triángulo y un lado opuesto a uno de ellos tienen las mismas medidas que los ángulos y el lado opuesto correspondientes de un segundo triángulo, entonces ambos triángulos son congruentes.

Si en los triángulos $\triangle ABC$ y $\triangle DEF$ se cumple que:

$$\angle A = \angle D, \quad \angle C = \angle F, \quad \overline{BC} = \overline{EF}$$

Entonces: 

$$\triangle ABC \cong \triangle DEF$$

Consecuencia métrica: A partir de esta demostración, se hereda la igualdad de los demás componentes:
$$\angle B = \angle E, \quad \overline{AB} = \overline{DE}, \quad \overline{AC} = \overline{DF}$$

Teorema de la Hipotenusa y el Cateto (H-C)

Este teorema es exclusivo para triángulos rectángulos. Si la hipotenusa y un cateto de un triángulo rectángulo tienen las mismas medidas que la hipotenusa y un cateto homólogos de otro triángulo rectángulo, entonces ambos son congruentes.

Dados los triángulos rectángulos $\triangle ABC$ y $\triangle DEF$ (donde $\angle B = \angle E = 90^\circ$), si se verifica que:

$$\text{Hipotenusa: } \overline{AC} = \overline{DF}$$

$$\text{Cateto: } \overline{AB} = \overline{DE}$$

Entonces:

$$\triangle ABC \cong \triangle DEF$$

Consecuencia métrica: Al quedar demostrada la congruencia absoluta, se concluye que:
$$\overline{BC} = \overline{EF}, \quad \angle A = \angle D, \quad \angle C = \angle F$$


Establecer correctamente estas relaciones de correspondencia es el cimiento indispensable para abordar con éxito las demostraciones de teoremas más avanzados, como el teorema de la bisectriz o la mediatriz.