Escuela Politécnica Nacional

Curso de Geometrı́a de Nivelación

Clase No. 9
Preparada por Juan Carlos Trujillo∗

Semestre 2021-A

1 Tema
1. Desigualdades geométricas: relación “menor que” entre segmentos.

2. Desigualdades geométricas: relación “menor que” entre ángulos.

3. El teorema del ángulo externo en un triángulo.

4. El teorema de la distancia más corta entre un punto y una recta.

5. Las desigualdades que relacionan a lados con sus ángulos opuestos en un triángulo.

2 Resultados de aprendizaje
1. De conocimientos:

i. Enunciar los teoremas de la distancia entre un punto y una recta.

2. Destrezas:

i. Justificar los argumentos en las demostraciones de los teoremas de la distancia entre

una recta y un punto.

3 Introducción
3.1. Presentación de la clase. Se definen las relaciones de orden entre segmentos y entre ángu-
los. Se establecen las principales relaciones entre las longitudes de los lados y las medidas
angulares de un triángulo. Además, se establece el teorema sobre la distancia mı́nima entre
un punto y una recta que no contiene al punto.
El orden se define de dos maneras alternativas, lógicamente equivalentes. La una utili-
za directamente, el concepto de distancia. La otra utiliza el concepto de congruencia que,
aunque se ha definido en este curso mediante la distancia, puede hacerse independiente-
mente de ella. En todo caso, en este curso, ambas definiciones dependen de los números
reales (distancias y medidas angulares) y, por ello, las propiedades que se derivan en la
Geometrı́a, dependen de los axiomas de orden de los números reales (véase la primera
clase de este curso). En particular, la Tricotomı́a está presente todo el tiempo.
∗ Departamento de Matemática de la Escuela Politécnica Nacional
3.2. Teorema de orden de los números reales. La siguiente proposición es un teorema de los
números reales que se utiliza con frecuencia en esta y la siguiente clases:

Si a, b y c son números reales tales que a + b = c y b > 0, entonces c > a.

4 Desigualdades entre segmentos y ángulos

4.1. Definición: relación “menor que” para segmentos. Una manera de definir la relación “un
segmento es menor que otro segmento” la hacemos mediante el concepto de distancia:

Un segmento es menor que otro segmento si la longitud del primero es menor

que la del segundo.

Dicho de otro modo:

El segmento AB es menor que CD si AB < CD. En este caso se escribirá AB <

CD .

Otra forma de definir es mediante el concepto de congruencia entre segmentos:

El segmento AB es menor que CD si existe un punto E tal que C − E − D y

AB ∼= CE .
El siguiente dibujo ilustra esta segunda definición; en este caso, AB < CD :

No es difı́cil demostrar que estas dos definiciones son equivalentes.

En efecto:

Demostración. Supongamos que AB < CD según la primera definición; luego, AB < CD, por el
−→
teorema construcción de segmentos, existe un punto E en el rayo CD tal que CE ∼
= AB . Por tanto, se
tiene que o bien C − E − D o C − D − E.
Si la segunda proposición fuera verdadera, entonces CD + DE = CE. Pero CE = AB, luego
CD + DE = AB, de donde, por el teorema de orden de números reales citado al inicio de esta clase,
se concluye que AB > CD (por que DE > 0), lo que es imposible por la hipótesis y la Tricotomı́a de
los números reales.
Por tanto, C − E − D y, por tanto, AB < CD , según la segunda definición.
Recı́procamente, si AB < CD según la segunda definición, se deduce de manera similar que
AB < CD según la primera definición. También se utiliza el teorema de orden de los números
rales citado al inicio de esta clase.

Se dirá que un segmento s es mayor que un segmento t si t es menor que s y se usará

la notación s > t para expresar esta relación.

4.2. Teorema: tricotomı́a de la relación “menor que” para segmentos.

Dados dos segmentos AB y CD , una y solo una de las siguientes proposiciones

es verdadera:
AB ∼
= CD , AB > CD , AB < CD .

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 2

 Demostración. Este teorema es consecuencia inmediata de la Tricotomı́a de los números reales y la
primera definición de “menor que” para segmentos.
En efecto, por la Tricotomı́a de los números reales, una y solo una de las siguientes proposiciones
son verdaderas:
AB = CD, AB > CD, AB < CD.
De la definición de congruencia, menor que y mayor que para segmentos, se deduce inmediata-
mente lo que el teorema afirma.

4.3. Definición: relación “menor que” para ángulos. Con el concepto de medida angular:

Un ángulo es menor que otro ángulo si la medida angular del primero es menor
que la del segundo.

Dicho de otra manera:

El ángulo ∠ ABC es menor que ∠ DEF si m ∠ ABC < m ∠ DEF. En este caso se
escribirá ∠ ABC < ∠ DEF.

Una manera alternativa mediante el concepto de congruencia entre ángulos:

El ángulo ∠ ABC es menor que ∠ DEF si existe un punto G en el interior de

∠ DEF tal que ∠ ABC ∼
= ∠ DEG.
El siguiente dibujo ilustra esta segunda definición; en este caso, ∠ ABC < ∠ DEF:

Es fácil mostrar que ambos conceptos son equivalentes. Es similar al caso de los seg-
mentos, por lo que se deja como ejercicio.
Diremos que un ángulo β es mayor que un ángulo γ si γ < β. En este caso, escribiremos
β > γ.

4.4. Teorema: tricotomı́a de la relación “menor que” para ángulos.

Dados dos ángulos ∠ A y ∠ B, una y solo una de las siguientes proposiciones es

verdadera:
∠A ∼ = ∠ B, ∠ A > ∠ B, ∠ A < ∠ B.

Demostración. Es idéntica al teorema de Tricotomı́a para la congruencia entre segmentos, salvo que,
en este caso, utilizamos las medidas angulares.

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 3

5 Teorema del ángulo externo
5.1. Definición: ángulo externo de un triángulo.

Dado el triángulo 4 ABC, si A − C − D, el ángulo ∠ BCD es un ángulo externo

del triángulo 4 ABC.

El siguiente dibujo, ilustra el concepto de ángulo externo. En este caso, ∠ BCD es ex-
terno pues A − C − D:

Un triángulo tiene seis ángulos externos; tres pares de ellos forman, cada uno, un par
vertical, como se ilustra en el siguiente dibujo:

Los tres pares de ángulos son:

∠ BAD, ∠CAE; ∠ ABH, ∠CBI y ∠ ACF y ∠ BCG.

5.2. Definición: ángulos internos no adyacentes.

Dado un triángulo 4 ABC, los ángulos ∠ A y ∠ B se denominan ángulos internos

no adyacentes de los ángulos externos de vértice C.

En el siguiente dibujo, se ilustran los ángulos ∠ A y ∠ B del triángulo 4 ABC y el ángulo

externo ∠ BCD, no adyacente a los internos:

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 4

5.3. Teorema del ángulo externo.

Cualesquier ángulo externo de un triángulo es mayor que cada uno de los ángu-
los internos no adyacentes.

Dicho de otro manera:

Dado el triángulo 4 ABC, si A − C − D, entonces ∠ BCD > ∠ A y ∠ BCD > B.

Demostración. La hipótesis es: A − C − D en el triángulo 4 ABC. La tesis: ∠ BCD > ∠ A y ∠ BCD > B.
Procedamos:

i. Sea E el punto medio de BC .

ii. Por el teorema construcción de segmentos, existe un punto F tal que A − E − F y AE ∼
= FE :

iii. Por el postulado LAL, la correspondencia AEB ↔ FCE es una congruencia porque

AE ∼
= FE , ∠ AEB ∼
= ∠ FCE y BE ∼
= CE ,

por ii., porque los ángulos forman un par vertical y por i. (y la definición de punto medio):

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 5

 Por tanto, 4 AEB ∼
= 4 FCE. Luego, por la definición de congruencia entre triángulos, se tiene
que
∠B ∼= ∠ BCF :

iv. Por el teorema C de la clase No. 5, el punto F está en el interior del ángulo ∠ BCD (por ii.,
A − E − F y por la hipótesis, A − C − D).
v. De iv., y el postulado suma de ángulos, se tiene que

m ∠ BCD = m ∠ BCF + m ∠ FCD.

Luego, por el teorema de orden de los números reales presentado en esta clase, se tiene que

m ∠ BCD > m ∠ BCF.

De donde
m ∠ BCD > m ∠ B,
por iii. y la definición de congruencia entre ángulos. En otras palabras, ∠ BCD > ∠ B como se
afirmó.

5.4. Teorema: unicidad de las perpendiculares. En la clase anterior, se demostró que por un
punto exterior a una recta pasa una y solo una perpendicular a la recta. La demostración
se basó en el postulado construcción de clases. Se puede deducir también esta propiedad
como un corolario del teorema del ángulo externo.
En efecto: si m es una recta y A es un punto que no está en ella, supongamos que s
y t son dos rectas que pasan por A y son perpendiculares a la recta m. Sean B y C las
intersecciones de s y t con m, respectivamente:

Si D es un punto tal que B−C− D, entonces el ángulo ∠ ACD es externo al triángulo 4 BCA
y su medida es 90, porque AC ⊥ m. Entonces, por el teorema del ángulo externo, se
tendrı́a que ∠ ACD > ∠ ABC; es decir, 90 > 90, lo que es una contradicción porque estos
dos ángulos son rectos y, por tanto, sus medidas son iguales a 90.

5.5. Teorema: ángulos de un triángulo rectángulo.

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 6

 En un triángulo rectángulo, dos ángulos son agudos.

Este teorema es un corolario inmediato del teorema anterior.

Demostración. En la clase anterior, se demostró que un triángulo no puede tener dos ángulos rectos.
Por tanto, un triángulo rectángulo tiene un solo ángulo recto.
Es fácil ver que el ángulo externo al triángulo cuyo vértice es el mismo que el ángulo recto,
también es recto. Por tanto, por el teorema del ángulo externo es mayor que los otros dos ángulos
del triángulo; por tanto, la medida angular del ángulo recto es mayor que las medidas angulares
de los otros dos ángulos; es decir, sus medidas son menores que 90; son agudos.

5.6. Teorema A.

Si dos lados de un triángulo no son congruentes, los ángulos opuestos a ellos

tampoco lo son, y el ángulo mayor está opuesto a lado mayor.

De manera más precisa:

Dado el triángulo 4 ABC, si AB > AC , entonces ∠C > ∠ B.

Demostración. La hipótesis es: en el triángulo 4 ABC, AB > AC . La tesis es: ∠C > ∠ B.

Procedamos:

i. De la hipótesis y la definición de “mayor que”, se tiene que AC < AB ; luego, por la segunda
definición de “menor que”, existe un punto D tal que A − D − B tal que AD ∼ = AC :

ii. De i. y el teorema del triángulo isósceles, se tiene que ∠ ADC ∼

= ∠ ACD:

iii. De i., se infiere que el ángulo ∠ ADC es externo al triángulo 4 DBC y ∠ B es un ángulo interno
de este triángulo no adyacente al ángulo externo referido. Por tanto, por el teorema del ángulo
externo, se tiene que
∠ ADC > ∠ B.
iv. Puesto que D es un punto del lado AB , distinto de sus extremos, el teorema A de la clase No.
5 garantiza que el punto D está en el interior del ángulo ∠C; por tanto, por el postulado suma
de ángulos, se colige que
m ∠C = m ∠ ACD + m ∠ DCB.
Luego, por el teorema de orden de los números reales de esta clase, se tiene que

m ∠C > m ∠ ACD.

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 7

 v. De ii., la definición de congruencia entre triángulos, se tiene que m ∠ ACD = m ∠ ADC; luego,
de iv., se deriva que
m ∠C > m ∠ ADC;
es decir, ∠C > ∠ ADC que, junto con iii., permite concluir que

∠C > ∠ B,

como se afirmó.

5.7. Teorema B.

Si dos ángulos de un triángulo no son congruentes, los lados opuestos a ellos

tampoco lo son, y el lado mayor es el opuesto al ángulo mayor.

Dicho de manera más precisa:

Dado el triángulo 4 ABC, si ∠ A > ∠ B, entonces BC > AC .

Demostración. Vamos a razonar por reducción al absurdo. Es decir, como hipótesis, tenemos que, en
el triángulo 4 ABC, el ángulo ∠ A es mayor que ∠ B. Debemos demostrar (es decir, la tesis es) que
BC > AC .
Para ello, supondremos que no es ası́. Es decir, suponemos, además de la hipótesis ya estable-
cida, que BC no es mayor que AC . Por tanto, por la Tricotomı́a de la relación “menor que” entre
segmentos, habrı́an dos posibilidades: BC ∼= AC y BC < AC .

i. Si se tuviera que BC ∼
= AC , por el teorema del triángulo isósceles, se inferirı́a que

∠A ∼
= ∠ B,

lo que es imposible, ya que ∠ A > ∠ B (nuevamente, la Tricotomı́a pero, en este caso, de la

relación “menor que” entre ángulos).
∼ AC .
En conclusión, no es posible que BC =
ii. Si se tuviera que BC < AC , por el teorema anterior, se cumplirı́a que ∠ A > ∠ B, que tampoco
es posible debido a la hipótesis y a la Tricotomı́a.
En resumen, tampoco es posible que BC < AC

Se concluye, entonces, que BC > AC , como se dijo.

5.8. Teorema de la distancia más corta.

El segmento más corto que “une” un punto a una recta es el “segmento perpen-
dicular”.

De manera más precisa:

Si m es una recta, A un punto que no está en ella y B es la intersección de la única

perpendicular a m que pasa por B, entonces AB < AC para todo punto C de la
recta m distinto de B.

El siguiente dibujo, ilustra las hipótesis del teorema:

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 8

 Demostración. Ya que A no está en la recta m, y C y B se suponen diferentes, entonces los puntos
A, B y C son distintos y no son colineales. Luego, el teorema sobre los ángulos de un triángulo
rectángulo, probado en esta clase, se aplica al triángulo rectángulo 4 ABC, donde el ángulo recto
es ∠ B. Es decir, los otros dos ángulos de este triángulo son agudos. Por tanto,

∠ B > ∠C,

de donde, por el teorema B de esta clase, se concluye que AC > AB , como se dijo.

6 Ejercicios resueltos
1. Dado un triángulo 4 ABC, sean D, E y F puntos tales que D − A − B, A − E − C y C − B − F.
¿En qué relación de orden están los ángulos ∠ DAC y ∠CFE?

Respuesta. El ángulo ∠ DAC es mayor que el ángulo ∠CFE. En efecto: el siguiente es un dibujo
que representa las hipótesis de este problema:

i. De la hipótesis D − A − B, el ángulo ∠ DAE es externo al triángulo 4 AEF; luego, por el

teorema del ángulo externo,
∠ DAC > ∠ AEF,
pues el ángulo ∠ AEF no es adyacente al ángulo externo en mención:

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 9

 ii. De la hipótesis A − E − C, el ángulo ∠ AEF es externo al triángulo 4 EFC. Luego, por el teo-
rema del ángulo externo, se infiere que
∠ AEF > ∠CFE.

iii. En resumen, de i. y ii., se concluye que

∠ DAC > ∠CFE,
como se dijo.

2. Dado el triángulo 4 MRP, sean C, V y R puntos tales que M − C − V − R. Sea S un punto

en el mismo plano determinado por el triángulo 4 MRP tal que SP y MR se intersecan
−→
en V. Si PS biseca el ángulo ∠ RPM, ¿en qué relación de orden están los ángulos ∠SCM
y ∠SPR?

Respuesta. El ángulo ∠SCM es mayor que el ángulo ∠SPR. En efecto: un dibujo de las hipótesis
de este problema es:

i. De la hipótesis M − C − V − R, se tiene que M − C − V; luego, el ángulo ∠SCM > ∠SVC:

ii. De la hipótesis M−C−V − R, se tiene que C−V − R; luego, ya que P−V −S (de la hipótesis PS
y MR se intersecan en V), se infiere que los ángulos ∠CVS y ∠ PVR forman un par vertical;
luego, ∠SVC ∼ = ∠ PVR:

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 10

 Ası́, de i., se obtiene que ∠SCM > ∠ PVR.
iii. De M − C − V − R, se deriva que M − V − R, luego el ángulo ∠ PVR es externo del triángulo
4 MVP; por tanto, ∠ PVR > ∠ MPV.
Luego, de ii., ∠SCM > ∠ MPV.
iv. Es una hipótesis que PV es bisectriz del ángulo ∠ MPR en el triángulo 4 MPR; luego, por
la definición de bisectriz, se colige que ∠ MPV ∼
= ∠SPR.
Ası́, de iii., ∠SCM > ∠SPR.

7 Ejercicios propuestos
3. Dado el triángulo 4 MRP, sean C, V y R puntos tales que M − C − V − R. Sea S un punto
en el mismo plano determinado por el triángulo 4 MRP tal que SP y MR se intersecan
en V. Finalmente, sea T un punto tal que M − R − T. Si ∠SCV ∼
= ∠ PRV, ¿en qué relación
de orden están los ángulos ∠ PRT y ∠S?

4. Dado el triángulo 4 ABC, sean D y E dos puntos tales que A − D − C y B − E − C. Si ∠ A ∼

=
∠ B y CD > CE , ¿en qué relación de orden están los segmentos AD y BE ?
5. Dado el triángulo 4 ABC, sean D y E dos puntos tales que A − D − C y B − E − C. Si
∠ ADE > ∠ BED, ¿en qué relación de orden están los segmentos AD y BE ?
6. Dado el triángulo 4 ABC, suponga que BC > AC . Sea D un punto en el interior del
triángulo 4 ABC en el que se intersecan las bisectrices de los ángulos ∠ A y ∠ B. ¿En qué
relación de orden están los segmentos BD y AD ?
←→
7. Sea D un punto que no está en la recta RS . Sean R, A, B y C tales que R − A − B − C y
←→
B − C − S. Si DA ⊥ RS y AC > AB , ¿en qué relación de orden están los segmentos DC y
DB ?

J. C. Trujillo O. EPN - 2021 - A. Versión 1: 20/05/21 11