Escuela Politécnica Nacional

Curso de Geometrı́a de Nivelación

Clase No. 15
Preparada por Juan Carlos Trujillo∗

Semestre 2021-A

1 Tema
1. Proyección paralela
2. Demostración del teorema fundamental de proporcionalidad
3. Teoremas: criterios de semejanza entre triángulos

2 Resultados de aprendizaje
1.
2.

3 Introducción
3.1. Presentación de la clase. En la clase anterior, se utilizó el teorema fundamental de la propor-
cionalidad para deducir el teorema fundamental de la semejanza entre triángulos. Y, de este,
se deducirán la mayorı́a de los teoremas sobre semejanza entre triángulos, sin recurrir al
primero. De hecho, se puede demostrar el segundo a través del concepto de área, lo que
simplifica su deducción y evita el teorema fundamental de la proporcionalidad, cuya demostra-
ción es más difı́cil y requiere de un teorema sobre los números reales que, en general, no
se estudia en la matemática de la secundaria.
Dado que en este curso presentamos el concepto de área más adelante, no es posible
omitir el teorema fundamental de la proporcionalidad, cuya demostración presentaremos en
esta clase. Para ello, sin embargo, es necesario antes definir el concepto de proyección
paralela. Los teoremas requeridos sobre este concepto se probarán en la siguiente clase.
3.2. La semejanza y el postulado de las paralelas. Como se puede ver en la clase anterior, la se-
mejanza entre triángulos se define a través del concepto de proporcionalidad geométrica,
la misma que se caracteriza a través del concepto de paralelismo. En las deducciones de la
mayorı́a de los teoremas sobre semejanza, se utiliza tanto el postulado de las paralelas como
los teoremas derivados de él. ¿Se puede evitar el uso de este postulado en el estudio de la
semejanza entre triángulos? La respuesta es no.
En efecto: omitir el postulado de las paralelas presentado en este curso –o sustituirlo por
una de sus negaciones, como ocurre en la geometrı́a hiperbólica de Lobachevsky–, implica que
∗ Departamento de Matemática de la Escuela Politécnica Nacional
 ningún par de triángulos (y en general, cualquier figura) son semejantes; es decir, en una
geometrı́a sin el postulado de las paralelas, no existen los planos a escala. De ahı́ la importan-
cia del postulado y la distinción entre las proposiciones que dependen de él y las que no.
Más adelante (en otra clase), volveremos sobre este tema.

4 Proyección paralela
4.1. Proyección paralela. Sean m y n dos rectas, y t una transversal a ellas; y P y Q los puntos
en los que t interseca m y n, respectivamente:

Sea X un punto cualesquiera de la recta m, distinto de P. Por el postulado de las paralelas,

existe una única recta s, paralela a t y que pasa por X:

La recta s interseca a la recta m en X; probemos que s también interseca a n; es decir,

probemos que s también es una transversal a m y n.
Para ello, razonemos por reducción al absurdo: supongamos que s y n no se intersecan;
es decir, son paralelas. Por tanto, tenemos que
skn y s k t,
de donde (ya que la relación de paralelismo es transitiva),
n k t.
Pero esta proposición es falsa porque n y t se intersecan en el punto Q; en conclusión, s y
m no son paralelas.
Por otra parte, s tampoco es igual a la recta n, ya que si fuera ası́, igual que en el caso
anterior, tendrı́amos que n k t, lo que es imposible.
En resumen, la recta s es distinta de m y n, y, además, interseca la recta n en único
punto; sea Y este punto:

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 2

 Las deducciones anteriores muestran que para todo punto X de m, existe un único
punto Y en n tal que la recta s –que pasa por X y Y– es paralela a t. En otras palabras, se ha
definido una función del conjunto m en el conjunto n tal que, a cada X de m, le corresponde
←→
Y en n de manera que XY k t.

4.2. Teorema: paralela a una transversal. Las deducciones del ı́tem anterior se resumen en el
siguiente teorema.

Sean m y n dos rectas, y t una transversal a ellas. Para todo punto A de la recta
m, la única recta paralela a t que pasa por A interseca la recta n.

4.3. Definición: proyección paralela.

Dadas tres rectas m, n y t, donde t es una transversal a m y n, la función

πt : m −→ n
X 7−→ Y,
←→
donde Y es un punto de n tal que XY k t, se denomina proyección paralela de
m sobre n en la dirección t.
El punto Y se denomina proyección paralela de X en la dirección t.

Obsérvese que, en la notación para la función proyección paralela, se ha incluido la letra

t como un subı́ndice; esto es para recordar que la proyección paralela de m sobre n de-
pende también de la recta t (y no únicamente de m y n). No obstante, si la transversal t
no es relevante o está sobrentendida en un contexto dado, se hablará únicamente de “una
proyección paralela de una recta sobre otra” y, en el nombre de la proyección, se omitirá el
subı́ndice que indica la transversal.
La letra π pertenece al alfabeto griego (y equivale a la letra p en español). Aunque se
ha convenido en utilizar letras griegas minúsculas para representar planos, hemos contra-
venido esta convención porque es común representar funciones proyección con dicha letra.
Por otra parte, la letra π se utiliza para uno de los números más famosos y fundamen-
tales de la Matemática:

la constante entre la longitud de cualquier circunferencia y su diámetro.

No obstante esto, en el contexto siempre quedará claro cuando el signo π represente el

número indicado, un plano, una función o cualesquier otro concepto matemático.

4.4. Teorema: toda proyección paralela es una función biyectiva.

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 3

 Dadas tres rectas m, n y t, donde t es una transversal a m y n, la función

πt : m −→ n

es biyectiva; por tanto, es invertible. La función inversa πt−1 es la proyección

paralela de n sobre m en la dirección t.

Posponemos la demostración de este teorema para la próxima clase.

4.5. Teorema: la relación “entre” se preserva por proyecciones paralelas.

Toda proyección paralela preserva la relación “entre”.

Es decir,

Si un punto está entre otros dos, la proyección paralela de dicho punto también
está entre las proyecciones paralelas de los otros dos puntos.

De manera más precisa,

Dada una proyección paralela πt : m −→ n, si X, Y y Z son puntos de m tales que

X − Y − Z, entonces X 0 − Y 0 − Z 0 , donde X 0 , Y 0 y Z 0 son las proyecciones paralelas
de X, Y y Z en la dirección t, respectivamente; es decir,

X 0 = π t ( X ), Y 0 = π t (Y ) y Z 0 = π t ( Z ).

Posponemos la demostración de este teorema para la siguiente clase; sin embargo, pre-
sentamos una ilustración del mismo mediante un par de dibujos. Las hipótesis son:

1) t es una recta transversal a las rectas m y n.

2) X, Y y Z son puntos de m tales que X − Y − Z.
3) X 0 = πt ( X ), Y 0 = πt (Y ) y Z 0 = πt ( Z ).

La tesis es: X 0 − Y 0 − Z 0 .

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 4

4.6. Teorema: la congruencia entre segmentos se preserva por proyecciones paralelas.

Si dos segmentos son congruentes, también lo son los segmentos cuyos extremos
son las proyecciones paralelas de los extremos de los dos segmentos dados.

De manera precisa,

Sean π : m −→ n una proyección paralela de m sobre n, AB y CD segmentos

contenidos en la recta m. Si AB ∼
= CD , entonces A0 B0 ∼
= C 0 D 0 , donde

A 0 = π ( A ), B 0 = π ( B ), C 0 = π (C ) y D 0 = π ( D ).

Posponemos la demostración de este teorema para la siguiente clase; a continuación,

lo ilustramos mediante dos dibujos. Las hipótesis son:

1) La función π es una proyección paralela de m sobre n.

2) Los segmentos AB y CD están contenidos en m.
3) AB ∼= CD .
4) A0 , B0 , C 0 y D 0 son las proyecciones paralelas de A, B, C y D sobre n, respectivamente.

La conclusión es: A0 B0 ∼
= C0 D0 .

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 5

4.7. Teorema: la proporcionalidad entre segmentos se preserva por proyecciones paralelas.

Dados un par de segmentos, este par es proporcional al par de segmentos cuyos

extremos son las proyecciones paralelas de los extremos de los segmentos dados.

Dicho de otra forma:

Dados dos segmentos AB y BC , donde A − B − C, entonces

( AB , BC ) ∼ ( A0 B0 , B0 C 0 ),

donde A0 , B0 y C 0 son las proyecciones paralelas de A, B y C, respectivamente.

En otras palabras, este teorema no es más que el teorema fundamental de la proporcionalidad,

de cuya demostración nos ocuparemos a continuación.

5 Demostración del teorema fundamental de la proporcionalidad

5.1. Prerrequisito: teorema de comparación. Para demostrar el teorema fundamental de la pro-
porcionalidad, se requiere el siguiente referente a los números reales:

Si x y y son dos números reales tales que:

1) Para todo número racional p tal que p 6 x, se tiene que p 6 x; y
2) Para todo número racional p tal que p 6 y, se tiene que p 6 x;
se concluye que x = y.

Omitiremos su demostración porque esta se sustenta en otro teorema, denominado

densidad de los racionales en los reales, y cuya deducción es compleja y sale fuera del alcance
de este curso1 . Por las mismas razones, tampoco se lo deduce en el curso Fundamentos de
Matemática.

5.2. Prerrequisito: división de un segmento en segmentos congruentes.

Todo segmento se puede “dividir” en segmentos de igual longitud.

De manera precisa,

Dado el segmento AB y el número natural n mayor que 2, existen n + 1 puntos

D0 , D1 , D2 , . . . , Dn tales que D0 = A, Dn = B y D j − D j+1 − D j+2 para todo
j ∈ {0, 1, . . . , n − 2} y
AB
Dk Dk + 1 =
n
para todo k ∈ {0, 1, . . . , n − 1}.

El siguiente dibujo ilustra el teorema:

1 El teorema de densidad de los números racionales en los reales establece que, entre dos números reales, existe al menos

un número racional; su demostración dependen del axioma del supremo, el mismo que, entre otras cosas, garantiza
la existencia de las raı́ces de los números positivos.

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 6

 El teorema garantiza la existencia de puntos en el segmento AB de modo que la lon-
gitud de cada uno de los segmentos cuyos extremos son dos “puntos consecutivos” (en el
ordenamiento dado por los subı́ndices) es igual a la longitud del segmento AB dividido
por n, razón por la cual, todos estos segmentos son congruentes entre sı́. La existencia de
estos puntos será referida como “dividir el segmento AB en n segmentos congruentes”; a los
puntos se les denominará puntos de división del segmento.
La demostración de este teorema es sencilla; utiliza el teorema E2 de la clase No. 3 y
un sencillo teorema sobre números reales. Posponemos su demostración para la siguiente
clase, con el fin de enfocarnos en la demostración del teorema fundamental de la propor-
cionalidad y en las deducciones que se derivan de él sobre la semejanza de triángulos.

5.3. Teorema: Fundamental de la proporcionalidad.

Dadas tres rectas paralelas entre sı́, l, m y n, y dos rectas transversales a estas, s
y t, de manera que s y t intersecan a l, m y n en los puntos A, B, C y D, E y F,
respectivamente. Si A − B − C (por tanto, D − E − F)2 , entonces

AB DE
= .
BC EF

En otras palabras, ( AB , BC ) ∼ ( DE , EF ).

El siguiente dibujo ilustra este teorema:

Demostración. Sean
BC EF
x= y y= .
AB DE
El propósito es probar que x = y. Para ello, vamos a utilizar el teorema de comparación. Es decir, lo
que vamos a probar es que:

H1 : si para todo número racional r, se tiene que r < x, entonces también se tiene que r < y; y
H2 : si para todo número racional r, se tiene que r < y, luego también se tiene que r < x.

Dado que la segunda proposición se deduce mediante el mismo razonamiento que la primera,
solo presentaremos la deducción de la primera proposición. No obstante, recomendamos que las y
los estudiantes realicen la segunda deducción por sı́ mismas y por sı́ mismos.
2 Par demostrar este teorema, abordaremos el concepto de proyección paralela y mostraremos que la relación entre

es preservada por las proyecciones paralelas; precisamente, el hecho de que D − E − F sea verdadera dado que
también lo es A − B − C, es la aplicación directa de la propiedad mencionada. Tanto el estudio de las proyecciones
paralelas como la demostración de este teorema serán realizadas en la siguiente clase.

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 7

 Sea r ∈ Q. Dado que x y y son números mayores que 0, es suficiente con suponer que r > 0.
m
Sean m y n dos números naturales distintos de 0 tales que r = .
n
Empecemos:

i. Dividamos el segmento AB en n segmentos congruentes. Sean A0 , A1 , . . . , An los puntos de

división:

Es decir, la sucesión de puntos A0 , A1 , . . . , An es tal que A0 = A, An = B, todos los puntos

−→
están en el rayo AB (en la recta s) y para cada k ∈ {0, 1, 2, . . . , n − 1}, se tiene que
AB
A k A k +1 = .
n
ii. Para cada k ∈ {0, 1, 2, . . . , n}, sea A0k la proyección paralela de Ak en la dirección l. Por tan-
to, ya que una proyección paralela preserva tanto la relación “entre” y la congruencia entre
segmentos (véanse los teoremas 4.5 y 4.6), se tiene que la sucesión de puntos A00 , A10 , . . . , A0n
−→
es tal que A00 = D, An = E, todos los puntos están en el rayo DE (en la recta t) y para cada
k ∈ {0, 1, 2, . . . , n − 1}, se tiene que
DE
A0k A0k+1 = .
n

−→
iii. Por el teorema de construcción de segmentos, aplicado al rayo BC , existe m + 1 puntos B0 , B1 , B2 ,
. . . , Bm tales que B0 = B (y por tanto, igual a An ), Bk −Bk+1 −Bk+2 para todo k ∈ {0, 1, 2, . . . , m −
2}, y
AB
Bk Bk+1 = .
n
Uno varios de estos puntos podrı́an no estar en el segmento BC ; que sea ası́ depende de la
relación entre r y x.

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 8

 iv. Para cada k ∈ {0, 1, 2, . . . , m}, sea Bk0 la proyección paralela de s sobre t en la dirección l (o m,
ya que son paralelas) del punto Bk . Luego, B0 = E y tenemos que Bk0 − Bk0 +1 − Bk0 +2 para todo
k ∈ {0, 1, 2, . . . , m − 2}, y
DE
Bk0 Bk0 +1 = .
n
v. De iii. y por la definición de relación entre, se tiene que

AB
BBm = mB0 B1 y B0 B1 = ;
n
luego, se deriva que
BBm m
= .
AB n
vi. De manera similar, de iv., se tiene que
0
EBm m
=
DE n
(porque B00 = E).
vii. A continuación, probemos H1 . Para ello, supóngase que r < x; es decir, supóngase que

m BC
< ;
n AB
por tanto, de v., obtenemos que
BBm BC
< ;
AB AB
es decir, tenemos que
BBm < AB.
viii. De vii., por el teorema E2 de la clase No. 3, se concluye que

B − Bm − C;

es decir, todos los puntos Bk están en el segmento BC bajo la hipótesis vii.

ix. De viii. y iv., también colegimos que

0
E − Bm −F
(gracias a que las proyecciones paralelas preservan la relación entre):

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 9

 x. De ix. y el teorema E2 , se tiene que
0
EBm < EF
que, junto con vi., nos da
m
· DE < EF.
n
Por tanto,
m EF
< ;
n DE
es decir, r < y, como se querı́a.
xi. La proposición H2 se deduce de manera similar. Luego, por el teorema de comparación, se con-
cluye que x = y, de donde, se obtiene finalmente que

AB DE
= ,
BC EF
como se afirmó.

6 Teoremas: criterios de semejanza entre triángulos

6.1. Teorema: la semejanza entre triángulos es una relación de equivalencia.

La semejanza entre triángulos es una relación reflexiva, simétrica y transitiva.

De manera más precisa,

Las siguientes proposiciones son verdaderas:

S1 : Reflexiva: para todo triángulo 4 ABC, se tiene que 4 ABC ∼ 4 ABC.
S2 : Simétrica: si 4 ABC ∼ 4 DEF, entonces 4 DEF ∼ 4 ABC.
S3 : Transitiva: si 4 ABC ∼ 4 DEF y 4 DEF ∼ 4 GH I, entonces 4 ABC ∼
4 GH I.

Demostración. La demostración es sencilla: aparte de la definición de semejanza entre triángulos,

este teorema se deduce del hecho de que la congruencia entre triángulos y la igualdad entre núme-
ros reales son relaciones de equivalencia.

6.2. Teorema: Ángulo–Ángulo–Ángulo (AAA).

Dada una correspondencia entre dos triángulos, si los ángulos correspondientes

son congruentes, entonces la correspondencia es una semejanza.

De manera más precisa:

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 10

 Dados los triángulos 4 ABC, 4 DEF, y la correspondencia ABC ↔ DEF, si
∠A ∼
= ∠ D, ∠ B ∼= ∠ E y ∠C ∼
= ∠ F, entonces 4 ABC ∼ 4 DEF.
El siguiente dibujo ilustra las hipótesis de este teorema:

Posponemos la demostración para la siguiente clase.

6.3. Corolario: Ángulo–Ángulo (AA).
Dada una correspondencia uno a uno entre dos triángulos, si dos pares de ángu-
los son congruentes, entonces la correspondencia es una semejanza.

Demostración. Si dos pares de ángulos de dos triángulos son congruentes, los ángulos del tercer par
también son congruentes, gracias al teorema de la suma de las medidas de los ángulos de un triángulo,
pues la suma de las tres medidas es 180; luego, si dos de los ángulos de uno de los triángulos miden
lo mismo que dos del otro, la diferencia entre 180 y la suma de esas medidas también son iguales.
Por tanto, por el teorema AAA, la correspondencia es una semejanza.

6.4. Corolario: recta paralela a un lado de un triángulo.

Una recta paralela a un lado de un triángulo que interseca los otros dos lados en
puntos distintos determina un triángulo semejante al triángulo dado.
Dicho de otra manera,
Dado el triángulo 4 ABC, si D y E son puntos tales que A − D − C, B − E − C y
DE k AB , entonces 4 DEC ∼ 4 ABC.

Demostración. Las hipótesis son:

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

2) A − D − C y B − E − C.
3) DE k AB .

La tesis es: 4 DEC 4 ABC.

Procedamos con la deducción:

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 11

 ←→ ← → ←→ ←→
i. De las hipótesis 2, las rectas AC y BC son transversales a las rectas AD y AB .
ii. De las hipótesis 2 y de i., los dos pares de ángulos ∠ BAC, ∠EDC y ∠ ABC ∼ = ∠ DECson
correspondientes; por tanto, por la hipótesis 3, se tiene que ∠ BAC ∼
= ∠EDC:

iii. De ii. por el corolario AA, se concluye que 4 DEC ∼ 4 ABC, como se dijo.

6.5. Teorema: la congruencia preserva la semejanza.

Si dos triángulos son semejantes y uno de ellos es congruente a un tercer triángu-

lo, el otro triángulo y el tercero también son semejantes.

De otro modo:

Si 4 ABC ∼ 4 DEF y 4 DEF ∼

= 4 GH I, entonces 4 ABC ∼ 4 GH I.

Demostración. Para demostrar que 4 ABC ∼ 4 GH I, por el teorema AAA para semejanza entre
triángulos, es suficiente demostrar que los ángulos correspondientes, dados por la correspondencia
ABC ↔ GH I, son congruentes. Esto se deduce inmediatamente de las hipótesis. En efecto, de
4 ABC ∼ 4 DEF, por la definición de semejanza entre triángulos, se tiene que

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

Y de la hipótesis 4 DEF ∼
= 4 GH I, por la definición de congruencia entre triángulos, colegimos que

∠D ∼
= ∠G ∠E ∼
= ∠ H y ∠F ∼
= ∠ I. (2)

Luego, de (1) y (2), dado que la congruencia entre ángulos es transitiva, se concluye que

∠A ∼
= ∠G, ∠B ∼
= ∠ H y ∠C ∼
= ∠ I,

como se dijo.

6.6. Teorema: Lado–Ángulo–Lado.

Dada una correspondencia entre dos triángulos, si dos pares de lados corres-
pondientes son proporcionales y los ángulos comprendidos son congruentes,
entonces la correspondencia es una semejanza.

Dicho de otro modo:

Dada la correspondencia ABC ↔ DEF, si

AB AC
= y ∠A ∼
= ∠ D,
DE DF
entonces 4 ABC ∼
= 4 DEF.
Ilustremos este teorema mediante un dibujo:

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 12

 En este dibujo no se muestra explı́citamente la hipótesis de la proporcionalidad de los dos
pares de lados; sin embargo, para insinuarla, hemos pintado de los mismos colores los
pares de lados proporcionales.
Posponemos la demostración para la siguiente clase.

6.7. Teorema: Lado–Lado–Lado.

Dada una correspondencia entre dos triángulos, si los lados correspondientes

son proporcionales, entonces la correspondencia es una semejanza.

En otras palabras,

Dada la correspondencia ABC ↔ DEF, si

AB AC BC
= = ,
DE DF DF
entonces
4 ABC ∼ 4 DEF.
Posponemos su demostración para la siguiente clase.

7 Ejercicios resueltos
1. Sean A, E y B tres puntos tales que A − E − B, C y D dos puntos en lados opuestos de
←→
la recta AB tales que los segmentos CD y AB se intersecan en el punto E y AC k BD .
Demuestre que AE · ED = CE · EB.

Demostración. Las hipótesis son:

1) A − E − B.
←→
2) C y D están de lados opuestos de la recta AB .
3) Los segmentos CD y AB se intersecan en el punto E.
4) AC k BD .

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 13

 La conclusión es: AE · ED = CE · EB.
Procedamos con la deducción:

i. De la hipótesis 2, por la definición de lados opuestos de una recta, se tiene que C − E − D.

ii. De la hipótesis 1 y de i., se tiene que los ángulos ∠ AEC y ∠ BED forman un par vertical;
luego, por el teorema del par vertical, se tiene que ∠ AEC ∼
= ∠ BED.

←→ ←→ ←→
iii. De i., la recta CD es transversal a las rectas AC y BD ; por tanto, los ángulos ∠ ACD y ∠ BDC
son alternos internos. Luego, por la hipótesis 4 y el teorema sobre ángulos alternos internos entre
paralelas, se tiene que ∠ ACD ∼= ∠ BDC.

iv. Un razonamiento similar al paso anterior, prueba que los ángulos ∠ BAC y ∠ ABD son alter-
nos internos entre paralelas, por lo que se tiene ∠ BAC ∼
= ∠ ABD.

v. De ii., iii. y iv., por el teorema AAA, la correspondencia AEC ↔ BED es una semejanza; por
tanto, 4 AEC ∼ 4 BED. Luego, por la definición de semejanza entre triángulos, se tiene que

AE CE
= ,
BE DE

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 14

 de donde, se concluye que
AE · DE = CE · BE,
como se dijo.

2. Los ángulos ∠ AEB y ∠ DEC forman un par vertical, con A − E − C. Si las sucesiones de
segmentos ( AE , BE ) y ( EC , ED ) son proporcionales, demuestre que AB k DC .

Demostración. Las hipótesis son:

1) Los ángulos ∠ AEB y ∠ DEC forman un par vertical.

2) A − E − C.
3) B − E − D.
4) ( AE , BE ) ∼ ( EC , ED ).

La tesis es: AB k DC .

Procedamos con la demostración.

i. De la hipótesis 1), por el teorema del par vertical, se tiene que ∠ AEB ∼
= ∠CED:

ii. De la hipótesis 4, se tiene que

AE BE
= ;
EC ED
es decir, un par de lados del triángulo 4 AEB es proporcional a un par de lados del triángulo
4CED. Luego, como los ángulos comprendidos entre estos pares de lados son congruentes,
por i., se tiene que 4 AEB ∼ 4CED.

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 15

 iii. De ii. y la definición de semejanza entre triángulos, se tiene que

∠EAB ∼
= ∠ECD y ∠EBA ∼
= ∠EDC.

←→ ←→
iv. De las tres primeras hipótesis, se tiene que las rectas AC y BD son transversales a al par de
←→ ←→
rectas AB y CD ; luego, los pares de ángulos

∠EAB, ∠ECD y ∠EBA, ∠EDC

son alternos internos. Ası́, por iii. y el teorema de ángulos alternos internos congruentes, se con-
cluye que AB k CD ,

como se afirmó.

3. Dados los triángulos 4 ABC y 4 PQR, los segmentos CD y RS son medianas, respecti-
vamente. Si 4 ADC ∼ 4 PSR, demuestre que 4 ABC ∼ 4 PQR.

Demostración. Las hipótesis son:

1) Los puntos A, B y C son distintos y no son colineales; los puntos P, Q y R son distintos y no
son colineales.
2) CD es una mediana del triángulo 4 ABC y RS es una mediana del triángulo 4 PQR.
3) 4 ADC ∼ 4 PSR.

La conclusión es 4 ABC ∼ 4 PQR.

Procedamos con la demostración:

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 16

 i. De la hipótesis 3, por la definición de semejanza entre triángulos, se tiene que ∠ ADC ∼
= ∠ PSR.

ii. De las hipótesis 2, por la definición de mediana, se tiene que A − D − B y P − S − Q.

iii. De las hipótesis 1 y de ii., los pares de ángulos
∠ ADC, ∠CDB y ∠ PSR, ∠ RSQ
forman un par lineal. Por tanto, por el postulado suplemento, se tiene
m ∠ ADC + m ∠CDB = 180 y m ∠ PSR + m ∠SRQ = 180.
iv. De i., iv. y la definición de congruencia entre ángulos, se tiene que ∠CDB ∼
= ∠ RSQ.

v. De la hipótesis 3 nuevamente, por la definición de semejanza entre triángulos, se tiene que

AD DC
= .
PS SR
Y de las hipótesis 2, por la definición de mediana, se tiene que
AD = BD y PS = SQ.
Por tanto, se tiene que
BD DC
=
QS SR
que, junto con iv., por el teorema de semejanza LAL, se colige que 4CDB ∼ 4 RSQ.
vi. De la hipótesis 3 y v., por la definición de semejanza entre triángulos, se tiene que
AD CD AC CD BC
= = y = .
PS RS PR RS QR
Luego, junto con las hipótesis 2 y la definición de mediana, se obtiene que
AC BC AB 2 · AD AC
= y = = ;
PR QR PQ 2 · PS PR
es decir, colegimos que
AB AC BC
= = ,
PQ PR QR
de donde, por el teorema de semejanza LLL, se concluye que 4 ABC ∼ 4 PQR.

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 17

8 Ejercicios propuestos
4. Dado un triángulo 4 ABC, sean D y E puntos tales que A − D − B, A − E − C, CD ⊥ BE y
CD y BE se intersecan en un punto que está en el interior del triángulo 4 ABC; sea F tal
punto. Demuestre que BF · EF = CF · DF.

5. En el triángulo 4 ABC, las alturas AE y CD se intersecan en el interior del triángulo; sea

H tal punto de intersección. Demuestre que ∠ BDE ∼= ∠ BCA y ∠ BED ∼ = ∠ BAC.
6. Dado el triángulo 4 ABG, sea D un punto tal que B y D están de lados opuestos de la
←→
recta AG tal que el segmento BD interseca al segmento AG en el punto C. Sea F un
punto tal que B − F − G, AB k DF y los segmentos AG y DF se intersecan en el punto
E. Si E es el punto medio del segmento DF , demuestre que las sucesiones de segmentos
( AC , AG ) y (CE , EG ) son proporcionales.
7. Dado el triángulo 4 APB, sean S un punto tal que A − S − B y PQ la bisectriz del ángulo
∠ P en el triángulo 4 BPS. Si AP ∼
= AQ , AS = 12, AB = 32, ¿cuál es la longitud del
segmento AQ ?

8. Dado el triángulo 4 ABC, sea AD la bisectriz del ángulo ∠ A en este triángulo. Si la me-
dida angular del ángulo ∠ A es el doble de la medida angular del ángulo ∠C, demuestre
que el segmento AB es la media geométrica de los segmentos BC y BD . Un segmento b
es la media geométrica de los segmentos a y c si ( a, b) ∼ (b, c).

9. Dado el triángulo 4 ABC, sean D y F dos puntos tales que A − D − B y B − F − C. Si la

longitud del segmento BD es la mitad de la longitud del segmento AD y la longitud del
segmento CF es el doble de la longitud del segmento BF , demuestre que las sucesiones
de segmentos ( ED , EF ) y ( AE , CE ) son proporcionales.

10. Dado el triángulo 4 APB, sea PN la bisectriz del ángulo ∠ P en el triángulo 4 BPM,
donde A − M − N. Si AP ∼
= AN , demuestre que el segmento AN es la media geométrica
de los segmentos AB y AM .

J. C. Trujillo EPN - 2021 - A. Versión 1.1: 01/07/2021 18