Escuela Politécnica Nacional

Curso de Geometrı́a de Nivelación

Clase No. 7
Preparada por Juan Carlos Trujillo∗

Semestre 2021-A

1 Tema
1. Definición de congruencia entre triángulos.

2. Postulado básico de congruencia entre triángulos LAL.

3. Teoremas básicos de congruencia entre triángulos ALA y LLL.

4. Triángulos equiláteros e isósceles.

5. La bisectriz de un ángulo.

6. Existencia de perpendiculares.

2 Resultados de aprendizaje
1. De conocimientos:

i. Explicar la definición de congruencia de triángulos a través de la noción de función

biyectiva.
ii. Explicar la definición implı́cita de congruencia de triángulos mediante el postulado
LAL.
iii. Describir el procedimiento para “construir” la bisectriz de un ángulo.

2. Destrezas:

i. Aplicar los postulados de congruencia de triángulos para determinar la longitud de

un segmento, la medida angular de un ángulo después de establecer la congruencia
entre segmentos y ángulos.
ii. Aplicar los postulados de congruencia de triángulos para demostrar teoremas y jus-
tificar sus demostraciones.
iii. Justificar el procedimiento para “construir” la bisectriz de un ángulo mediante la
congruencia de triángulos.
∗ Departamento de Matemática de la Escuela Politécnica Nacional
3 Introducción
3.1. Presentación de la clase. En esta clase se extiende el concepto de congruencia a triángulos.
Si bien, el concepto congruencia entre triángulos no es primitivo, requiere de una axioma
para su definición completa. A partir de este axioma, denominado LAL, se deducirán dos
de los principales teoremas que sirven para determinar si dos triángulos son congruentes,
los denominados ALA y LLL.
Con la congruencia entre triángulos ya dada, se probará la unicidad de la bisectriz
de un ángulo, con lo cual se definirá bisectrices de un triángulo; también se probará la
existencia y unicidad de perpendiculares.

4 Congruencia entre triángulos

4.1. Definición: correspondencia uno a uno entre dos triángulos. Dados los triángulos 4 ABC
y 4 DEF, se definen los siguientes conjuntos:

T1 = { A, B, C, AB , AC , BC , ∠ A, ∠ B, ∠C } y T2 = { D, E, F, DE , DF , EF , ∠ D, ∠E, ∠ F }.

Es decir, estos conjuntos tienen como elementos los vértices, lados y ángulos de cada uno
de los triángulos, respectivamente.

Dados los triángulos 4 ABC y 4 DEF, la función

ϕ : T1 −→ T2

tal que:
i: ϕ( A) = D, ϕ( B) = E, ϕ(C ) = F;
ii: ϕ( AB ) = DE , ϕ( AC ) = DF , ϕ( BC ) = EF ; y
iii: ϕ(∠ A) = ∠ D, ϕ(∠ B) = ∠E; ϕ(∠C ) = ∠ F
se denomina correspondencia uno a uno entre los triángulos 4 ABC y 4 DEF,
y se representa por ABC ↔ DEF.
Los puntos D, E y F son los vértices correspondientes de A, B y C, respectiva-
mente.
Los lados DE , DF y EF son los lados correspondientes de AB , AC y BC , res-
pectivamente.
Los ángulos ∠ D, ∠E y ∠ F son los ángulos correspondientes de ∠ A, ∠ B y ∠C,
respectivamente.

Es fácil ver que la función ϕ es invertible y, por tanto, posee inversa. Esa inversa es
también una correspondencia, pero entre los triángulos 4 DEF y 4 ABC. Por tanto, es
indistinto qué triángulo se nombra en primer lugar.

4.2. Definición: congruencia entre triángulos.

Dados dos triángulos 4 ABC, 4 DEF y la correspondencia ABC ↔ DEF, esta

correspondencia es una congruencia si

AB ∼
= DE , ∠A ∼
= ∠ D,
AC ∼ DF ,
= ∠B ∼
= ∠E,
BC ∼
= EF , ∠C ∼
= ∠ F.

En este caso, se dirá que los triángulos 4 ABC y 4 DEF son congruentes y se
escribirá 4 ABC ∼
= 4 DEF.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 2

 Obsérvese que la “congruencia entre triángulos” implica un “orden” entre las partes
correspondientes de uno de los triángulos con las del otro. Es decir, asegurar que 4 ABC ∼ =
4 DEF significa que el ángulo de vértice A está en correspondencia con el ángulo de vértice
D y no con E ni F; que el ángulo de vértice B está en correspondencia con el ángulo de
vértice E y no con D ni F; que el lado AB ∼= DE y no AB ∼ = EF , etcétera.
4.3. Terminologı́a para la congruencia entre triángulos. En un triángulo, cada lado se dice que
está comprendido por los ángulos cuyos vértices son los extremos de ese lado (segmento).
Por ejemplo, en el triángulo 4 ABC, el lado AB está comprendido entre los ángulos ∠ A y
∠ B.
En un triángulo, cada ángulo se dice que está comprendido por los lados del triángulo
que están contenidos en los lados del ángulo. Por ejemplo, en el triángulo 4 ABC, el ángulo
∠ A está comprendido entre los lados AB y AC .
4.4. Teorema: la congruencia entre triángulos es una relación de equivalencia.

La congruencia entre triángulos es una relación de equivalencia. Es decir, es re-

flexiva, simétrica y transitiva.

En otras palabras, las proposiciones siguientes son verdaderas:

i. Reflexiva: todo triángulo es congruente consigo mismo. Es decir, para todo triángulo
4 ABC, se tiene que 4 ABC ∼ = 4 ABC.
ii. Simétrica: si un triángulo es congruente con otro, el segundo lo es con el primero. De
manera más precisa: si 4 ABC ∼ = 4 DEF, entonces 4 DEF ∼ = 4 ABC.
iii. Transitiva: si un triángulo es congruente con otros dos, estos dos son también con-
gruentes entre sı́. Es decir, si 4 ABC ∼
= 4 DEF y 4 ABC ∼= 4 GH I, entonces 4 DEF ∼ =
4 GH I.
La demostración es sencilla y se sustenta en el hecho de que las congruencias entre seg-
mentos y ángulos son relaciones de equivalencia. Por esta razón se omite la demostración
en detalle.

4.5. Axioma: el postulado Lado-Ángulo-Lado (LAL). La siguientes proposición es un axioma:

Dada una correspondencia entre dos triángulos, si dos lados y el ángulo com-
prendido por estos de uno de los triángulos son congruentes con las partes co-
rrespondientes del otro triángulo, entonces la correspondencia es una congruen-
cia.

De manera más precisa:

Dada la correspondencia ABC ↔ DEF, si:

i. L: AB ∼= DE ,
ii. A: ∠ A ∼
= ∠ D,
∼
iii. L: AC = DF ,
entonces 4 ABC ∼ = 4 DEF.
Es decir, de las tres hipótesis, se deduce que

∠B ∼
= ∠E, ∠C ∼
= ∠ F y BC ∼
= EF .

La siguiente es una representación gráfica de este postulado. Si

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 3

 entonces

5 Teoremas básicos de congruencia entre triángulos

5.1. Definiciones de triángulos equilátero, isósceles y escaleno.

Un triángulo es isósceles si por los menos dos de sus lados son congruentes. Si
un triángulo no es isósceles, se denomina escaleno. Y un triángulo se denomina
equilátero si sus tres lados son congruentes.

Se deduce de la definición que todo triángulo equilátero es isósceles; la proposición

recı́proca no es verdadera necesariamente.
Dado un triángulo isósceles, los ángulos del triángulo que se oponen a dos de los lados
congruentes se denominan ángulos base. Es decir, si 4 ABC es tal que AB ∼ = AC , entonces
los ángulos ∠ B y ∠C son los ángulos base de este triángulo.

5.2. Teorema del triángulo isósceles.

En todo triángulo isósceles, los ángulos base del triángulo son congruentes.

De manera más precisa:

Si el triángulo 4 ABC es tal que AB ∼

= AC , entonces ∠ B ∼
= ∠C.
Ilustremos gráficamente el teorema:

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 4

 Si entonces

Demostración. Dado el triángulo 4 ABC, la hipótesis es AB ∼

= AC ; la tesis es ∠ B ∼
= ∠C.
Consideremos la correspondencia ABC ↔ ACB. Vamos a probar que esta correspondencia es
una congruencia. Una vez hecho esto, podemos concluir que el ángulo ∠ B es congruente con el
ángulo ∠C, ya que el ángulo ∠ B es la parte correspondiente del ángulo ∠C.
He aquı́ la deducción de que la correspondencia es una congruencia. Utilicemos el postulado
LAL.

i. La hipótesis establece que

AB ∼
= AC .
ii. De i., porque la congruencia entre segmentos es simétrica, se tiene que
AC ∼
= AB .

iii. La congruencia entre ángulos es reflexiva; ası́, se tiene que

∠A ∼
= ∠ A.

iv. De i.(L), iii.(A) y ii.(L), por el postulado LAL, se infiere que la congruencia ABC ↔ ACB es
una congruencia.
v. De iv. y la definición de congruencia entre triángulos, se concluye que ∠ B ∼ = ∠C, como se
dijo.

El siguiente dibujo ilustra esta demostración:

5.3. Corolario del teorema del triángulo isósceles.

Todo triángulo equilátero es equiangular; es decir, los tres ángulos de un triángu-
lo equilátero son congruentes.
De manera precisa: si 4 ABC es equilátero, entonces

∠A ∼
= ∠ B, ∠A ∼
= ∠C y ∠ B ∼
= ∠C.

Demostración. Como 4 ABC es equilátero, se tiene que AB = ∼ AC . Por tanto, por el teorema del
triángulo isósceles, se obtiene que ∠ B ∼
= ∠C. Pero también se tiene que AB ∼ = BC ; luego, por el
mismo teorema, ∠ A ∼ = ∠C. Por tanto, ya que la congruencia entre ángulos es transitiva, se concluye
que también ∠ A ∼ = ∠ B, como se afirmó.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 5

 Un corolario de un teorema es, ante todo, un teorema. Sin embargo, por lo general se le
da este nombre a un teorema cuando este se deduce de manera “casi inmediata” de otro
teorema; la demostración de un corolario consiste, por tanto, en exhibir esa “deducción
casi inmediata”.
5.4. Teorema Ángulo-Lado-Ángulo (ALA).
Dada una correspondencia entre dos triángulos, si dos ángulos y el lado com-
prendido entre estos de uno de los triángulos son congruentes con las partes co-
rrespondientes del otro triángulo, entonces la correspondencia es una congruen-
cia.
De manera más precisa:
Dada la correspondencia ABC ↔ DEF, si
i. ∠ A ∼
= ∠ D,
∼
ii. ∠ B = ∠E,
iii. AB ∼= DE ,
entonces 4 ABC ∼ = 4 DEF.
Es decir, de estas tres hipótesis, se deduce que

∠C ∼
= ∠ F, AC ∼
= DF y BC ∼
= EF .

Ilustremos gráficamente este teorema. Si

entonces

Demostración. Las hipótesis son:

1) ABC ↔ DEF,
2) ∠ A ∼
= ∠ D,
3) ∠ B ∼
= ∠E,
4) AB =∼ DE .

La conclusión es: 4 ABC ∼

= 4 DEF.
Para demostrar la conclusión, se va a demostrar que:
∠C ∼
= ∠ F, AC ∼
= DF y BC ∼
= EF .

La deducción es la siguiente:

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 6

 i. Por el teorema E5 , densidad de la recta, existe un punto G entre D y F:

−−→
ii. Por el teorema construcción de segmentos, aplicado al segmento AC y al rayo DG , existe un
punto C 0 en este rayo tal que AC ∼= DC 0 :

iii. Por el postulado LAL aplicado a las hipótesis 4 y 2, y a ii., se tiene que 4 ABC ∼= 4 DEC 0 . Por
tanto, por la definición de congruencia entre triángulos, se infiere que ∠ DEC ∼
0
= ∠ ABC:

−→ −→
iv. De iii. y el teorema construcción de ángulos, los rayos DC 0 y DF son iguales. Y, como las rectas
←→ ← →
DF y EF se intersecan en F –y la intersección de dos rectas ocurre en un solo punto—, se
deriva que C 0 = F.
v. De iv. y iii., se obtiene que 4 DEF = ∼ 4 ABC, como se afirmó.

5.5. Teorema: recı́proco del teorema del triángulo isósceles.

Si dos ángulos de un triángulo son congruentes, los lados opuestos a estos ángu-
los también son congruentes; es decir, el triángulo es isósceles.
Ilustremos el teorema gráficamente:

Si entonces

Demostración. Este teorema es un corolario del teorema ALA. En efecto: dado el triángulo 4 ABC
tal que
∠ ABC ∼ = ∠ ACB,

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 7

 la correspondencia ABC ↔ ACB es una congruencia gracias al teorema ALA, pues

BC ∼
= CB , ∠ ABC ∼
= ∠ ACB y ∠ ACB ∼
= ∠ ABC.
Por tanto, de la definición de congruencia entre triángulos, se concluye que AB ∼
= AC .

5.6. Teorema: recı́proco del corolario del teorema del triángulo isósceles.

Todo triángulo equiangular es equilátero.

Este teorema también es un corolario del teorema ALA. En efecto:

Demostración. Si 4 ABC es equiangular, entonces

∠A ∼
= ∠ B, ∠A ∼
= ∠C y ∠ B ∼
= ∠C.
Luego, de la primera congruencia y el teorema ALA, se tiene que 4 ABC ∼
= 4 BAC, de donde
AC ∼
= AB .
Por el mismo teorema y la segunda hipótesis, también tenemos 4 ACB ∼
= 4CBA, de donde
AB ∼
= CB ;
es decir, el triángulo es equilátero, como se dijo.

5.7. Teorema Lado-Lado-Lado (LLL).

Dada una correspondencia entre dos triángulos, si los tres lados de uno de los
triángulos son congruentes con los lados correspondientes del otro triángulo,
entonces la correspondencia es una congruencia.

De manera más precisa:

Dada la correspondencia ABC ↔ DEF, si

i. AB ∼
= DE ,
ii. AC ∼
= DF ,
∼
iii. BC = EF ,
entonces 4 ABC ∼
= 4 DEF.
Es decir, de estas tres hipótesis, se deduce que

∠A ∼
= ∠ D, ∠B ∼
= ∠ E y ∠C ∼
= ∠ F.

Posponemos la demostración de este teorema, que es más larga y elaborada que las
demostraciones de los teoremas anteriores, a la sección de ejercicios resueltos. Ilustremos
gráficamente el teorema: si

entonces

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 8

5.8. Teorema: existencia y unicidad de la bisectriz de un ángulo.
Todo ángulo tiene una y solo una bisectriz.
−→
Demostración de la existencia. La hipótesis es: ∠ ABC es un ángulo. La tesis es: existe un rayo BD ,
donde D está en el interior del ángulo ∠ ABC, tal que
∠ ABD ∼
= ∠ DBC.

Procedamos con la demostración.

i. Sea x un número real tal que r < BA. Por el teorema localización de puntos, existe un único
−→
punto E en el rayo BA tal que BE = r:

(La elección del número x menor que BA es irrelevante; puede elegirse, en su lugar, cualquier
número mayor que 0; por el teorema de E2 , el punto E está entre B y A, aunque este hecho
también es irrelevante para la demostración).
−→
ii. Por el teorema construcción de segmentos, existe un punto F en el rayo BC tal que BF = BE:

(Es irrelevante la “localización” de C. Para la representación gráfica, hemos elegido B − F − C).

iii. Sea D el punto medio del segmento EF (cuya existencia está garantizada por el teorema
existencia del punto medio):

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 9

 Por el teorema A de la clase No. 5, se sabe que D está en el interior del ángulo ∠ ABC.
iv. Por el teorema LLL, se tiene que 4 FBD ∼ = 4 EBD pues

BF ∼
= BE , BD ∼
= BD y FD ∼
= ED

por ii., propiedad reflexiva de la congruencia entre segmentos y iii. (y la definición de punto
medio), respectivamente.

v. Por la definición de congruencia entre triángulos, de iv., se concluye que

∠ FBD ∼
= ∠EBD;
−→
es decir, el rayo BD es una bisectriz del ángulo ∠ ABC:

En resumen, existe al menos una bisectriz del ángulo ∠ ABC.

Ahora probemos que un ángulo no tiene más de una bisectriz. Para ello, añadamos a
−→
las anteriores, como hipótesis, la proposición: el rayo BG es una bisectriz del ángulo ∠ ABC.
−→ −→
La tesis en este caso es la proposición: BG = BD .

Demostración de la unicidad.

i. Por la definición de bisectriz, el punto G está en el interior del ángulo ∠ ABC:

−→
ii. De i., por el teorema barra cruzada, el rayo BG y el segmento EF se intersecan. Sea D 0 el punto
de tal intersección:

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 10

 (Es irrelevante para la demostración la “posición” de G).
iii. Por el postulado LAL, se tiene que 4 FBD 0 ∼ = 4 EBD 0 ya que

FB ∼
= EB , BD 0 ∼
= BD 0 y ∠ FBD 0 ∼
= ∠EBD 0

por la “construcción” de E y F, la propiedad reflexiva de la congruencia entre segmentos y la

hipótesis, junto con la definición de bisectriz:

iv. De iii., la definición de congruencia entre triángulos, se tiene que FD 0 ∼

= ED 0 :

Es decir, D 0 es el punto medio de EF . Y, dado que el punto medio de un segmento es único,

−→ −→
inferimos que D 0 = D y, por tanto, D está en el rayo BG , de donde, concluimos que BD =
−→
BG , como se afirmó.

5.9. Teorema: existencia de perpendiculares.

Dada una recta y un punto que no está en la recta, existe una recta que pasa por
el punto y es perpendicular a la recta dada.

Las hipótesis de este teorema son: m es una recta, A un punto que no está en m.

La conclusión es: existe una recta l que pasa por A y es perpendicular a m

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 11

 Demostración.

i. Sean B y C dos puntos distintos de la recta (su existencia está garantizada por el axioma
existencia de puntos):

←→
ii. Por el teorema construcción de ángulos, existe un punto D, en el lado de BC opuesto al lado
que contiene A, tal que ∠ ABC ∼ = ∠ DBC:

−→
iii. Por el teorema construcción de segmentos, existe un punto A0 en el rayo BD tal que BA ∼
= BA0 :

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 12

 ←→
iv. De iii. y la definición de lados opuestos de una recta, la recta BC y el segmento AA 0 se inter-
secan. Sea E el punto de tal intersección:

Se presentan dos posibilidades: E = B y E 6= B.

v. Supóngase que E 6= B. Por el postulado LAL, se tiene que 4 ABE ∼
= 4 A0 BE, pues

BA ∼
= BA0 , BE ∼
= BE , ∠ ABE ∼
= ∠ A0 BE,

por iii., la propiedad reflexiva de la congruencia entre segmentos y ii., junto con el hecho de
−−→
que ∠CBA0 ∼ = ∠ DBC (porque A0 está en el rayo AD ). Ası́, por la definición de congruencia
entre triángulos, se infiere que ∠ AEB ∼= ∠ A0 EB:

Ası́, dado que A − E − A0 , por la definición de ángulo recto, se concluye que m ∠ AEB = 90; es
←→ ←→
decir, AA 0 ⊥ BC .
←−→ ← →
Luego, si se toma l igual a AA0 , dado que m = BC (porque B y C están en m), se concluye
que l ⊥ m y l pasa por A.
vi. Supóngase que E = B. En este caso, A − B − A0 y, por ii., ∠ AEC ∼ = ∠ DEC:

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 13

 ←→
Por tanto, por la definición de ángulo recto, se concluye que AA 0 ⊥ m, igual que en el caso
anterior.

6 Ejercicios resueltos
1. Demostración del teorema LLL:

Dada la correspondencia ABC ↔ DEF, si

1. AB ∼= DE ,
2. AC ∼= DF ,
3. BC ∼= EF ,
entonces 4 ABC ∼
= 4 DEF.

Demostración.
−→ ←→
i. Por el teorema construcción de ángulos, existe un rayo AG , en el lado de la recta AB opuesto
al lado en el que está C de manera que ∠ BAG ∼ = ∠EDF:

−→
ii. Por el teorema construcción de segmentos, existe un punto C 0 en el rayo AG tal que AC 0 ∼
= DF :

iii. Por el postulado LAL, se tiene 4 ABC 0 ∼

= 4 DEF porque

AB ∼
= DE , AC 0 ∼
= DF y ∠ BAG ∼
= ∠EDF

(hipótesis 1, ii. y i.):

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 14

 ←→ ←→
iv. Dado que C y C 0 están en lados opuestos respecto de AB , el segmento CC 0 y la recta AB se
intersecan en un punto. Nombremos este punto con H.
Se presentan los siguientes casos para H: A − H − B, H = B, H − B − A, H = A y B − A − H.
v. Supongamos que A − H − B:

∼ BC , pues BC 0 =
vi. El 4CC 0 B es isósceles porque BC 0 = ∼ EF (ya que 4 ABC 0 = ∼ 4 DEF y EF ∼ =
BC –hipótesis 3). Luego, por el teorema triángulo isósceles, se infiere que ∠CC 0 B ∼
= ∠C 0 CB:

vii. De manera similar al paso anterior, se deduce que ∠CC 0 A ∼

= ∠C 0 CA:

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 15

 viii. El punto H está en el interior del ángulo ∠ ACB. En efecto, por el teorema el lado de un
←→
segmento aplicado a la recta AC y al segmento AB , todos los puntos del segmento AB ,
←→
excepto A, están en el lado de la recta AC que contiene B; en particular, H está en ese lado.
←→
De manera similar, por el mismo teorema, pero aplicado a la recta BC y al segmento BA , el
←→
punto H está en el semiplano de BC que contiene a A.
ix. De manera similar, se deduce que H está en el interior del ángulo ∠ AC 0 B.
x. Por el postulado suma de ángulos aplicado a viii. y a ix., se infiere que

m ∠ ACB = m ∠ ACC 0 + m ∠C 0 CB y m ∠ AC 0 B = m ∠ AC 0 C + m ∠CC 0 B.

xi. De x., vi. y viii., y la definición de congruencia entre ángulos, se obtiene que:

m ∠ ACB = m ∠ ACC 0 + m ∠C 0 CB y m ∠ AC 0 B = m ∠ ACC 0 + m ∠C 0 CB;

es decir, m ∠ ACB = m ∠ AC 0 B. Por tanto, ∠ ACB ∼

= ∠ AC 0 B:

xii. Por el postulado LAL, se tiene que 4 ABC ∼

= 4 ABC 0 porque

AC ∼
= AC 0 , BC ∼
= BC 0 y ∠ ACB ∼
= ∠ AC 0 B.

Luego, de iii. y la propiedad transitiva de la congruencia entre triángulos, concluimos que

4 ABC ∼= 4 DEF, en el caso B − H − A.
xiii. Supongamos que H = B: el triángulo 4 ACB0 es isósceles porque

AB0 ∼
= DF , DF ∼
= AC

ya que 4 ABB0 ∼
= 4 DEF; luego, AB0 ∼
= AC :

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 16

 Ası́, por el teorema triángulo isósceles, se tiene que ∠ ACB ∼
= ∠ AB0 B, de donde, por el pos-
tulado LAL, se concluye que 4 ABB = 4 ABC y, por tanto, 4 DEF ∼
0 ∼ = 4 ABC, como se
dijo.
xiv. Supongamos que H − B− A: este caso es similar al primero en el sentido de que tenemos dos
triángulos isósceles: 4 AB0 C y 4 BB0 C:

xv. Por el teorema triángulo isósceles, tenemos que

∠β ∼
= ∠γ y ∠ ACB0 ∼
= ∠ AB0 C,

donde β y γ se indican en el dibujo:

Ası́, de manera similar como se probó en el primer caso, se tiene que

m ∠ ACB = m ∠ ACB0 − m β y m ∠ AB0 B = m ∠ AB0 C − m γ,

∼ ∠ AB0 B y, con ello, se prueba que 4 ABB0 ∼
de donde ∠ ACB = = 4 ABC y, por tanto, que
4 ABC ∼
= 4 DEF, como se dijo.
xvi. Los otros dos casos son idénticos a los dos últimos.

2. Dado el triángulo 4 ABC, suponga que CA = CB. Si D y E son puntos tales que D − A−C
y E − B − C, demuestre que ∠ DAB ∼
= ∠EBA.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 17

 Demostración. Lo primero que vamos a hacer es identificar las hipótesis de este teorema:

1) Los puntos A, B y C son diferentes y no son colineales.

2) CA = CB.
3) D − A − C
4) E − B − C.

Y la conclusión o tesis es: ∠ DAB ∼

= ∠EBA.
A continuación, elaboremos un representación gráfica lo más general posible de este teorema:

Si entonces

Procedamos con la demostración:

i. De las hipótesis 1 y 3, por la definición de par lineal, los ángulos

∠CBA y ∠ ABE

forman un par lineal. Por tanto, por el postulado suplemento, se tiene que

m ∠CBA + m ∠ ABE = 180.

ii. De manera similar que el paso anterior, pero con las hipótesis 1 y 4, se obtiene que

m ∠CAB + m ∠ BAD = 180.

iii. Por el teorema triángulo isósceles, de la hipótesis 2 y la definición de congruencia entre triángu-
los, se colige que
m ∠CBA = m ∠CAB.
iv. De i. y ii., se tiene que

m ∠CBA + m ∠ ABE = m ∠CAB + m ∠ BAD

que, junto con iii., da

m ∠CBA + m ∠ ABE = m ∠CBA + m ∠ BAD,

de donde, se deduce que

m ∠ ABE = m ∠ BAD;
es decir, por la definición de congruencia entre triángulos, se concluye que

∠ ABE ∼
= ∠ BAD

o, lo que es lo mismo, ∠ DAB ∼

= ∠EAB, como se quiere.

3. Sean A, B, C y D cuatro puntos distintos tales que C y D están en lados opuestos de la

←→
recta AB . Si AD ∼
= BD y AC ∼= BC , demuestre que ∠CAD ∼ = ∠CBD.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 18

 Demostración. Las hipótesis de este teorema son:
1) Los puntos A, B, C y D son distintos.
←→
2) Los puntos C y D están en lados opuestos de la recta AB .
3) AD ∼= BD .
4) AC ∼= BC .
La tesis es: ∠CAD ∼
= ∠CBD.
El siguiente dibujo, ilustra de la manera más general posible el teorema:

Si entonces

Procedamos con la demostración.

i. De las hipótesis 3 y 4, por el teorema triángulo isósceles, se tiene que
∠ ABC ∼
= ∠ BAC y ∠ ABD ∼
= ∠ BAD

ii. De la hipótesis 2, los segmentos AB y CD se intersecan. Sea E el punto de intersección:

←→
iii. El punto E está en el interior del ángulo ∠CAD. En efecto, E está en el semiplano de AC
que contiene a D por que todos los puntos de AB , excepto A, están de un mismo lado; luego
←→
E está en ese mismo lado. De manera similar, E está en el semiplano de la recta AD que
contiene C.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 19

 iv. De la misma manera que en el paso anterior, se prueba que E está en el interior del ángulo
∠CBD.
v. De iii. y iv., y el postulado suma de ángulos, se tiene que

m ∠CAD = m ∠CAB + m ∠ DAB y m ∠CBD = m ∠CBA + m ∠ DBA.

vi. De v., i. y la definición de congruencia entre ángulos, se infiere que

m ∠CAD = m ∠CBA + m ∠ DBA y m ∠CBD = m ∠CBA + m ∠ DBA,

de donde, se concluye que

m ∠CAD = m ∠CBD;
∼
es decir, se tiene que ∠CAD = ∠CBD, como se quiere.

4. Dado el triángulo 4 ABC tal que AC = BC, sean D y E puntos en los lados AC y BC ,
respectivamente, distintos de los extremos. Si β es el ángulo de vértice D en el triángulo
4 DEC y γ el ángulo de vértice E en ese mismo triángulo, tales que ∠ B ∼
= ∠γ y ∠ A ∼ = ∠ β,
demuestre que el triángulo 4CDE es isósceles.

Demostración. Las hipótesis son:

1) Los puntos A, B y C son distintos y no son colineales tales que AC = BC.

2) A − D − C y B − E − C.
3) β = ∠CDE y γ = ∠CED.
4) β ∼
= ∠A y γ ∼
= ∠ B.
La conclusión es: 4CDE es isósceles.
Ilustremos gráficamente el teorema:

Si entonces

Procedamos:

i. De la hipótesis 1 y el teorema triángulo isósceles, se tiene que ∠ A ∼

= ∠ B.
ii. De i. y la hipótesis 4, por la propiedad transitiva de la congruencia entre ángulos, se tiene
∠β ∼ = ∠γ.
iii. De ii. y el recı́proco del teorema triángulo isósceles, se concluye que CD ∼
= CE ; es decir, el
triángulo 4CDE es isósceles.

5. Suponga que A − B − C − D, E y F puntos que están en semiplanos opuestos de la recta

←→
AB tales que AE = DF, EC = FB y AB = DC. Demuestre que 4 ECD ∼ = 4 FBA.

Demostración. Las hipótesis son:

1) A − B − C − D.
←→
2) E y F están en lados opuestos de AB .
3) AE = DF, EC = FB y AB = DC.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 20

 La tesis es: 4 ECD ∼
= 4 FBA.
Ilustremos gráficamente las hipótesis:

Para demostrar que los triángulos son congruentes, por el postulado LAL, es suficiente que se
demuestre que ∠ ABF ∼= ∠ DCE:

Procedamos:

i. De la hipótesis 1, se tiene que

AC = AB + BC y DB = DC + CB.

ii. De la hipótesis 3, se sabe que AB = DC. Por tanto, de i., se obtiene que

AC = DB,

pues BC = CB.
iii. De la hipótesis 3 y ii., por el teorema LLL, se tiene que

4 AEC ∼
= 4 DFB.

iv. De iii., por la definición de congruencia entre triángulos, se deriva ∠ ACE ∼

= ∠ DBF:

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 21

 ←→
v. De la hipótesis 1, A − B − C y D − C − B, y como E y F no están en la recta AD , cada par de los
siguientes ángulos
∠ ACE, ∠ECD y ∠ DBF, ∠ FBA
forman un par lineal. Luego, por el postulado suplemento, se obtiene

m ∠ ACE + m ∠ECD = 180 y m ∠ DBF + m ∠ FBA = 180.

vi. De iv., se sabe que m ∠ ACE = m ∠ DBF; luego, de v., se colige

m ∠ECD = m ∠ FBA,

de donde, por la definición de congruencia entre ángulos, se concluye que

∠ DCE ∼
= ∠ ABF,

como se quiere.

Nótese que la hipótesis 2) no fue utilizada “en su totalidad”, salvo por el hecho de que ase-
←→
gura que los puntos E y F no están en la recta AD . En el siguiente dibujo se ilustra la misma
proposición, que sigue siendo verdadera, cuando E y F están en el mismo lado:

←→
En otras palabras, la hipótesis 2) puede ser sustituida por: E y F no están en la recta AD .

6. Suponga que los ángulos ∠ ABC y ∠ DBE forman un par vertical con C − B − D. Suponga,
además, que A − F − C y D − G − E. Si B es punto medio tanto de CD y de FG , demuestre
que AC ∼ = DE .

Demostración. Las hipótesis son:

1) Los ángulos ∠ ABC y ∠ DBE forman un par vertical.

2) C − B − D, A − F − C y D − G − E.
3) B es punto medio tanto de CD y de FG .

La conclusión es: AC ∼
= DE .
En el siguiente dibujo se ilustra el teorema (la conclusión está pintada de color rojo):

Procedamos con la demostración:

i. De las hipótesis 1 y 3, los ángulos ∠ ABF y ∠EBG forman un par vertical; por tanto, son
congruentes: ∠ ABF ∼ = ∠EBG.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 22

 ii. Por el postulado LAL, de la hipótesis 3 y de i., se tiene 4 ABF ∼
= 4 EBG. Por tanto,
AF ∼
= EG y ∠ AFB ∼
= ∠EGB

iii. De manera similar al paso i., los ángulos ∠ ABF y ∠EBG forman un par vertical; por tanto,
son congruentes: ∠CBF ∼ = ∠ DBG. Luego, son congruentes: ∠CBF ∼ = ∠ DBG.
←→ ←→
iv. De las hipótesis 2 y el hecho de que B no está en las rectas AC y DE , los siguientes pares de
ángulos forman un par lineal:

∠ AFB, ∠ BFC y ∠EGB, ∠ BGD.

Por tanto, por el postulado suplemento se tiene que

m ∠ AFB + m ∠ BFC = 180 y m ∠EGB + m ∠ BGD = 180.

Luego, por ii., concluimos que ∠ BFC ∼

= ∠ BGD:

v. De ii., iii. y iv., por el teorema ALA, se infiere que 4CBF ∼

= 4 DBG. Luego, por la definición
de congruencia entre triángulos, se colige que CF ∼ = DG :

vi. De las hipótesis 2 y la definición de la relación entre, tenemos que

AC = AF + FC y DE = DG + GE.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 23

 Ası́, de ii., v. y la definición de congruencia entre segmentos, concluismo que

AC = DE,

como se quiere probar.

7 Ejercicios propuestos
7. Dado el triángulo 4 ABC, suponga que D y E son los puntos medios de los lados opuestos
a los vértices A y C, respectivamente. Si AB = CB, demuestre que AD = CE.

8. Sean A, B y C tres puntos no colineales, D y E puntos tales que D − B − C y B − C − E tales

que los ángulos ∠ DBA y ∠ECA son congruentes. Demuestre que el triángulo 4 ABC es
isósceles.

9. Sean A, B, C y D cuatro puntos distintos tales que C y D están en lados opuestos de la

←→
recta AB . Si AC ∼
= BC y ∠ BAD ∼= ∠ BAC, ¿es verdadera la proposición AD = BD?
←→
10. Suponga que A − B − C − D y que E es un punto que no está en la recta AB . Si AB ∼
= CD
∼
y ∠CBE = ∠ BCE, demuestre que el triángulo 4 ADE es isósceles.
←→
11. Suponga que A − D − E − B y C un punto que no está en la recta AB . Sean F y G dos
puntos tales que A − F − C y B − G − C. Si ∠ BAC ∼
= ∠ ABC, AD ∼
= BE y ∠ ADG ∼= ∠ BEF,
∼
demuestre que ∠CFE = ∠CGD.
←→
12. Suponga que A− D− E− B y C un punto que no está en la recta AB . Sean F y G dos puntos
tales que A − F − C y B − G − C. Si AF = BG, ∠ ABC ∼
= ∠ BAC y AE = BD, demuestre que
EF = DG.

13. Dado un triángulo 4 ABC, sean D y E puntos de los lados AC y BC , respectivamente,

diferentes de los extremos. Sea que F es el punto de intersección de los segmentos AE y
BD . Si DF = EF y ∠CDE ∼ = ∠CED, demuestre que el triángulo 4 AFB es isósceles.
14. En los lados del ángulo ∠ A, se toman los puntos B y C tales que AB = AC. Una recta
−→
que pasa por B es perpendicular a AC en D y una recta que pasa por C es perpendicular
−→
a AB en E. Si AD = AE, demuestre que BD = CE. ¿Es verdadera la conclusión para
cualesquier ángulo ∠ A?
←→
15. Suponga que A−E−C. Sea B un punto que no está en la recta AC tal que ∠ AEB es obtuso.
Sea D un punto tal que A − D − B, AD = AE, DB = EC. Si P es la intersección de BE y
CD , demuestre que 4 DPB ∼= 4 EPC.
16. Sean F un punto en el interior del triángulo 4 ABC y E un punto tal que C − E − F. Si
AC = BC y AE = BE, demuestre que 4 AEF ∼ = 4 BEF.

J. C. Trujillo O. EPN - 2021 - A. Versión 1.1: 13/06/21 24