capítulo 1

A x i o m a s y t e oremas

···
I.
Definitiones.
I. Punctum est, cuius pars nulla est.
II. Linea autem sine latitudine longitudine.
···
Postulata.
I. Postuletur, ut a quouis puncto ad quouis puntum recta linea ducatur.
II. Et ut recta linea terminata in directum educatur in continuum.
···
Communes animi conceptiones.
I. Quae eidem aequalia sunt, etiam inter se aequalia sunt.
II. Et, si aequalibus aequalia adduntur, tota aequalia sunt.
···

La Geometría Euclidiana es par excellence el paradigma de los

sistemas deductivos. Esto le da a la Geometría cierto sabor, toque o
carácter particular como forma del pensamiento. Tal carácter provie-
ne de los requisitos del rigor matemático, antes que del formalismo.
La Geometría se entiende, en concreto, como una acción deductiva,


 capítulo . axiomas y teoremas

apodíctica (del adjetivo griego ἀποδείκτικος; demostrable, demostra-

tivo); como un aparato deductivo, si se quiere. Para ello, debemos
darnos unas premisas a partir de las cuales se puedan sacar conse-
cuencias.

 . premisas
as premisas son suposiciones que se aceptan inmediata y simple-
L mente, sin que medie demostración. Se dividen en explicaciones,
axiomas y postulados. El devenir de las matemáticas ha vuelto inne-
cesaria esta división y, hoy en día, prevalece casi exclusivamente el
término axioma.
Para crear un primer contexto para el discurso usaremos explica-
ciones. Los Elementos de Euclides, por ejemplo, comienzan con unas
explicaciones en forma de definiciones o ὅροι. Aquí las usaremos
también, defendiéndolas, en cuanto estas notas están dirigidas a un
lector con poca experiencia en las matemáticas formales. De esta ma-
nera, el próximo capítulo comienza explicando algunas suposiciones
sobre el entendimiento del plano como una colección de puntos y
sobre ciertas subcolecciones relevantes.
La palabra axioma viene del sustantivo griego ἀξίωμα que quiere
decir “lo que es digno, conveniente, requerido, evidente por sí mis-
mo”. Por eso, aquí entenderemos que un axioma es una verdad tan
evidente por sí misma, que no exige demostración. En estas notas,
los axiomas coinciden con las nociones comunes (κοιναὶ ἔννοιαι) de
Euclides, ciertas certezas ontológicas que se aplican a todas las cosas:

• Cosas iguales a la misma cosa son iguales entre ellas.

• Si cosas iguales se suman a cosas iguales, entonces los
todos son iguales.
• Si cosas iguales se restan a cosas iguales, entonces los
residuos son iguales.
• Cosas que coinciden entre ellas son iguales entre ellas.
• El todo es mayor que la parte.
 . . c o n s e c u e n c i a s 

Y podríamos agregar que valen de igual modo todas las “propiedades

de los números” que conozcamos, a medida que se vayan necesitando.
Un postulado también se acepta sin prueba, pero no es tan evi-
dente a primera vista. Euclides usó la palabra αἴτημα, que significa
“requerimiento, demanda, exigencia, acusación". Son verdades que se
exigen más por su conveniencia que por su evidencia inmediata. Los
postulados se refieren ya concretamente a los objetos geométricos,
no a las cosas en general. Su presentación se irá realizando a lo largo
de los capítulos que siguen.

 . consecuencias
uclides se limita a ir enumerando las consecuencias de sus premi-
E sas y cada consecuencia le exige dar una demostración rigurosa
de ella. Nosotros emplearemos una taxonomía –innecesaria– de ellas
con el fin de familiarizar al lector con algunas prácticas de los libros
de matemáticas. Así, clasificamos las consecuencias en corolarios,
proposiciones, teoremas y lemas.
El nombre latino corollarium significa “regalo, presente, propina”.
En concordancia, llamaremos corolario a una consecuencia inmediata
de una verdad conocida, premisa o consecuencia. Como lo sugiere la
etimología, casi siempre es fácil de demostrar. La palabra griega para
corolario es πόρισvμα, “lo que se procura, consigue; lo que surge o se
abre paso”.
Una proposición es una consecuencia o verdad demostrada que,
en general, no es difícil de establecer. Es un resultado que juega un
papel importante en el aparato deductivo. Viene del femenino latino
propositio, “declaración, afirmación, aserción, oración gramatical”.
En algunas ediciones de Euclides se usa el femenino πρότασvις, “lo que
se presenta, propuesta, cláusula hipotética que exige demostración,
problema”.
Un teorema es una consecuencia que juega un papel protagónico
dentro del sistema deductivo, a juicio de la tradición matemática. El
nombre proviene del griego clásico τεώρημα, “fiesta, regocijo, objeto
de estudio, máxima”. Cuando se demuestra un teorema hay que
 capítulo . axiomas y teoremas

celebrar, a la manera de Pitágoras, quien sacrificó un buey a los

dioses con ocasión del conocido resultado que lleva su nombre.
Lema viene de λῆμα, “fuerza de voluntad, resolución, valor, orgu-
llo”. Un lema es una consecuencia muy importante dentro el aparato
deductivo, no tan vistosa como un teorema. Su demostración exige
gran esfuerzo y resolución, a menudo la concepción y explotación
de nuevas ideas. Con frecuencia, un teorema viene precedido de un
lema preparatorio.
Para agilizar la presentación, iremos dando también observacio-
nes, definiciones, ejemplos, problemas y ejercicios. Estas ayudas son
actividades que se deben realizar para aprender bien la Geometría.
Un simple espectador no hace matemáticas. Hay que participar de
la construcción. En particular, no se aprende la Geometría mirando
a los compañeros y al profesor. Venir a la clase no es, ni necesario,
ni suficiente para aprender. En general, las clases pueden ayudar.
Sin embargo, se debería leer antes de la clase para aprovecharla más.
Después de la clase, se precisa resolver muchos problemas y hacer
muchos ejercicios.
Hay que entender los principios y, en especial, hay que saberse
las definiciones. Una definición no es algo que a uno se le ocurre sin
más ni más, sino el fruto de una profunda reflexión que surge de
mucho errar y enmendar. Una definición no se puede cambiar por
capricho. Para empezar, se recomienda memorizar las definiciones.
La Geometría es acumulativa pero, por sorpresa, la memoria tampoco
ayuda del todo, aun cuando algo ayuda.

 . demostración y condicional
esde un punto de vista estricto, todas las consecuencias se ten-
D drían que demostrar. En la práctica, algunas son tan evidentes
que no merecen una redacción aparte. Cuando haya que demos-
trarlas, conviene escribirlas en forma condicional, es decir en una
oración gramatical del tipo “si (tal cosa), entonces (tal otra)". Para
practicar estas condicionales consideremos dos consecuencias que
encontraremos muy pronto:
• Dos rectas distintas se pueden cortar, a lo sumo, en un punto.
 . . d e m o s t r ac i ó n y c o n d i c i o n a l 

• Existe una única circunferencia con un centro y un radio dados.

En apariencia, no son condicionales. Sin embargo, se pueden re-
escribir en forma condicional para entender mejor qué es lo que
debemos demostrar. En efecto, nuestras consecuencias deben enten-
derse correctamente como
• Si dos rectas distintas se cortan, entonces tienen un único punto
en común.
• Si P es un punto y r > 0 es un número real, entonces existe una
y sólo una circunferencia centrada en P con radio r.
Esto se puede resumir diciendo que las consecuencias siempre se
pueden escribir en la forma “si p entonces q”. p se llama antecedente
o hipótesis y lleva la información de lo que se supone; q es el con-
secuente o tesis y expresa el punto a donde queremos llegar. O sea,
vamos de p a q. En muchas demostraciones se parte de p para llegar
a q. Dichas pruebas se llaman directas.
Es muy importante distinguir a p de q ya que juegan papeles
distintos. En general, no es lo mismo “si p entonces q” que “si q
entonces p”. Se dice que “si q entonces p” es el recíproco de “si p
entonces q”. Tanto p como q se pueden negar y la condicional “si q no
es cierto, entonces p no es cierto” se conoce como el contrarrecíproco
de “si p entonces q”.
En relación con esto, a veces podemos saber si una p es verdadera,
o no, tomándola como simple suposición. En concreto, si logramos
demostrar que “si p entonces (algo imposible)”, se puede concluir
que p no es cierta. Sobre esto volveremos con mayor detalle en el
Capítulo .
Otras consecuencias son de la forma “p si y sólo si q”. Por ellas no
debemos preocuparnos. Es una simple abreviatura que significa que
debemos demostrar dos cosas: “si p entonces q” y “si q entonces p”
(la oración condicional y su recíproco).
Todas estas “cuestiones lógicas” ameritan mayores reflexiones.
Por ahora, dejamos así las cosas.
La Geometría siempre ha sido un saber apodíctico (ἀποδείκτικος)
o demostrativo. No se puede enseñar, ni estudiar, ni aprender de otra
manera. Si le quitamos la demostración, no queda nada. Demostrar
es como un juego y a todos nos gusta jugar. Si jugamos bien y prac-
ticamos lo que haga falta, ganamos. Cuando no jugamos según las
 capítulo . axiomas y teoremas

reglas del juego, hacemos trampa y hacer trampa es muy feo. ¿Cómo
aprendemos a jugar? ¡Pues jugando! Asimismo, la mejor forma de
aprender a demostrar es demostrando. ¡Manos a la obra!

ejercicios
. Un axioma es una premisa tan sencilla y evidente que se ad-
mite sin .
. Un postulado se admite más por su que por
su .
. El sustantivo latino corollarium quiere decir .
. Un teorema juega un papel dentro de un sis-
tema deductivo.
. La demostración de un lema exige .
. La palabra proposición proviene del sustantivo femenino la-
tino .
. Para aprender Geometría es necesario saber las .
. Para aprender Geometría se precisa resolver los
y los .
. Considere la proposición “los ángulos opuestos por el vértice
tienen la misma magnitud”. Escríbala en forma condicional.
Enuncie su recíproco y su contrarrecíproco.
. Considere la siguiente consecuencia “cuando dos rectas pa-
ralelas son cortadas por una transversal, se forman ángulos
alternos internos congruentes”. Escríbala en forma condicio-
nal junto con su recíproco y su contrarrecíproco.
 capítulo 2
P u n t o s y r e c tas

···
II.
Ad datum punctum datae rectae aequalem rectam constituere.
···
III.
Datis duabus rectis inaequalibus rectam minori aequalem a maiore abs-
cindere.
···

Una de las más grandes conquistas de Hilbert ha consistido en

hacer notar que, incluso la Geometría, se entiende más fácilmente
por medio del estudio de colecciones o conjuntos de puntos. En este
capítulo hablaremos del plano o conjunto universal de este libro e
iniciaremos el estudio de algunas subcolecciones importantes de él.

.  algunas explicaciones
uestro universo se llama plano. Un plano es una colección de
N puntos. Los puntos están en el plano. Los puntos que forman el


 c a p í t u l o  . p u n t o s y r e c ta s

plano se pueden diferenciar. Los denotamos con letras mayúsculas

A, B, . . . .
Una subcolección de puntos del plano es una figura geométrica
(plana).
Una subcolección del plano formada por dos puntos distintos es
una inclinación. La inclinación de los puntos A y B se escribe {A, B}.
Una pareja ordenada de dos puntos distintos es una dirección. La
dirección de A a B se escribe (A, B). Recordemos que, en general,
(A, B) , (B, A).
En el plano distinguiremos otros tipos de subcolecciones impor-
tantes de puntos, las cuales iremos estudiando poco a poco. El primer
tipo de tal subcoleción fundamental se llama recta.

Estudiante Profesor

La palabra usual para colección es con- Usamos Teoría de Conjuntos. El plano

junto. Si el joven lector está familiariza- es un conjunto y los puntos son sus ele-
do con lo básico de los conjuntos, pue- mentos. Los puntos determinan los sub-
de cambiar también la palabra subcolec- conjuntos unitarios {A} del plano. Las
ción por subconjunto. En tal caso, sabrá inclinaciones son subconjuntos binarios
que hay conjuntos de un solo elemen- {A, B}. Las posibles direcciones son pa-
to (unitarios), conjuntos de dos elemen- rejas ordenadas (A, B) = {A, {B}}. Pron-
tos (binarios), etc. Las parejas ordenadas to caracterizaremos las rectas en cuanto
son como aquellas que definen los pun- subconjuntos del plano.
tos del plano cartesiano.

.  incidencia
a redacción originaria de Euclides para los postulados se pre-
L senta en letras itálicas, seguidas por nuestros comentarios en tipos
normales.

Postulado  – Se postula trazar una línea recta de cualquier punto a

cualquier punto. O sea, existe una única recta que pasa por dos puntos
distintos.

Corolario  – Una inclinación determina una única recta.

 . . i n c i d e n c i a 

Demostración. Es simplemente otra manera de enunciar el postulado.

Estudiante Profesor

De alguna manera, dados dos puntos dis- Estamos estableciendo una relación en-
tintos, se puede trazar una recta que pa- tre los puntos (elementos) y las rectas
se (o contenga) dichos puntos. Por ahora (ciertos subconjuntos del plano aún por
no sabemos mucho sobre las rectas, pero definir). Esta relación recibe a menudo
lo anterior se tiene que cumplir para las el nombre de incidencia, pues ocurre
rectas. “Recta” y “línea recta” son térmi- que cada vez que tenemos dos puntos
nos perfectamente intercambiables. distintos hay una recta que los contiene.
Por las intuiciones corrientes del espa-
cio, se puede decir: “se traza una recta
por los dos puntos”, “la recta pasa por
los puntos”, etc.

Figura . – Esbozo de una recta y dos rectas distintas.

Las rectas se denotan con una letra mayúscula diferenciadora

como L, M, . . . . Por el corolario anterior, también se pueden denotar
con un par de puntos distintos en ella.

Corolario  – Si dos rectas se cortan en (al menos) dos puntos

distintos, entonces son iguales.

Demostración. Es consecuencia inmediata del Postulado , o del Co-

rolario .

Corolario  – Si dos rectas distintas se cortan, entonces se cortan en

un único punto.
 c a p í t u l o  . p u n t o s y r e c ta s

Demostración. Si se cortaran en más de un punto, serían iguales, no

distintas (reducción a lo imposible).
Sentimos ahora la necesidad de aclarar cómo son esas subcolec-
ciones del plano que llamamos rectas.

.  líneas rectas
Postulado  – Se postula reproducir un línea recta finita continuamente
en una línea recta. Es decir, una “parte finita” (que comienza y termina
en un punto) se puede repetir o “sumar a sí misma indefinidamente”
para constituir una recta. Euclides nos deja con el problema de defi-
nir una noción de “segmento” como parte “finita” de una recta y, así,
resulta que cada concepto remite al otro por siempre. También queda
pendiente el adverbio “continuamente”. Esto lo solucionamos dicien-
do que cada recta es una copia idéntica de la colección de los números
reales, tal como se estudian estos números en el bachillerato.

Figura . – Postulado  a la manera de Euclides.

Estudiante Profesor

Lo anterior quiere decir que los puntos Equipamos al conjunto R, de lo núme-

de una recta y los números reales se po- ros reales, de todas las estructuras que
nen en correspondencia biunívoca: a ca- son útiles para el Análisis: es un cuerpo
da punto de una recta del plano le co- ordenado completo que contiene como
rresponde un único número real y vice- subcuerpo a Q, los números racionales.
versa. La colección de los números reales Naturalmente, R está provisto con la to-
es fija como un ancla y todas las rectas pología del orden. Cada recta se aplica
se refieren a esta colección. Por lo tanto, biyectivamente sobre R y todas las es-
ella se convierte en un patrón de medi- tructuras se transfieren a la recta, en el
da para todas las rectas del plano. Por sentido de isomorfismos. Este proceder
ello, la colección de los números reales puede parecer exagerado, pero es trans-
se llamará regla del plano. parente para el estudiante, quien siem-
pre puede apelar a la intuición acertada.
Las ventajas que reporta esta identifica-
ción son, de otro lado, muy grandes.
 . . l í n e a s r e c ta s 

←→
Denotaremos mediante AB a la recta que pasa por los puntos A y
B, A , B. Esta sugestiva notación se inspira en la “recta real que se
extiende hacia un infinito positivo y hacia un infinito negativo”. La
consecuencia principal del nuevo postulado es que podemos llevar a
cada recta todo aquello que es válido para los números reales.

Segmentos
Al asignar a un par de puntos distintos de una recta dos números
reales distintos, encontramos intervalos cerrados (y acotados) de nú-
meros reales. Regresando a la recta, determinamos una subcolección
de puntos de la recta llamada segmento de los puntos originales,
o extremos del segmento. Los segmentos se denotan con una letra
minúscula a, b, . . . , o con las dos letras de sus puntos extremos escritas
una junto a la otra, por ejemplo AB. Los puntos extremos A y B hacen
parte del segmento. De esta manera, a cada segmento se le asigna,
con ayuda de la regla, una longitud igual a la distancia entre los
números reales correspondientes a sus extremos (valor absoluto de
la diferencia de sus coordenadas). La longitud del segmento AB se
escribe `(AB).
Por lo anterior, obtenemos un concepto crucial en todo el plano:
la distancia entre dos puntos distintos del plano es la longitud del
segmento –en la recta– que determinan. La distancia de un punto a
sí mismo es claramente cero.

Figura . – Bosquejo de un segmento y segmentos adyacentes.

Dos segmentos en una recta son adyacentes si tienen un solo pun-

to (extremo) en común (no se encuentran en ningún otro punto). La
suma de dos segmentos adyacentes de una recta es el segmento que
resulta al borrar este punto común. Esta suma está estrechamente re-
lacionada con la suma de números reales. Siempre que podamos y lo
necesitemos, aprovecharemos las operaciones algebraicas conocidas
para los números reales; por ejemplo, la resta o diferencia.
 c a p í t u l o  . p u n t o s y r e c ta s

Semirrectas
La identificación de una recta con los números reales hace tam-
bién que, dado un punto en una recta correspondiente al número real
a, existan subcolecciones de puntos correspondientes a los intervalos
abiertos no acotados (−∞, a) y (a, ∞). En otras palabras, cada punto
de una recta divide dicha recta en tres partes. Una de estas partes
es la subcolección formada por el punto elegido. Las otras dos par-
tes, correspondientes en los números reales a intervalos de la forma
(−∞, a) y (a, ∞), son las semirrectas determinadas por el susodicho
punto. Se dice que dichas semirrectas emanan del punto inicial.

Figura . – Par de semirrectas emanadas de un punto en una recta.

−−−→
OA denota la semirrecta emanada de un punto O que pasa por
un punto A. También se puede designar con una letra minúscula
como s, t, . . . .

Pendiente y rumbo
Sabemos que una inclinación del plano (dos puntos distintos)
determina una única recta. El revés no es tan simple: una recta dada
determina muchas inclinaciones posibles. Llamaremos pendiente de
una recta a la colección de todos los pares de puntos distintos en
ella. Así, cada recta determina su propia pendiente y la pendiente
determina la recta.
De forma similar, una dirección del plano (par ordenado (O, A)
de puntos distintos) determina una única semirrecta s emanada del
punto O (primera componente del par ordenado) que pasa por A.
Para devolvernos introducimos el concepto de rumbo. El rumbo de s
es la colección de todas las parejas ordenadas (O, X), donde X está
en s. Así pues, cada semirrecta determina su rumbo y el rumbo
determina la semirrecta.
Ahora bien, al fijar un punto O de una inclinación {O, B}, se de-
termina no sólo una recta L, sino también una semirrecta s, de las
 . . l í n e a s r e c ta s 

dos posibles (aquella que pasa por B). La pendiente de L relativa al

punto O es la colección de todas las inclinaciones {O, X}, con X en
dicha recta. No obstante, basta con el rumbo de s para determinar la
recta L. En resumen, una pendiente relativa a un punto, o mejor un
rumbo, determina una pendiente. Hablando en plata, una semirrecta
determina una recta.
Para lo que sigue, fijado un punto del plano, ¿qué opciones tene-
mos para escoger los posibles rumbos que emanan de él? La respuesta
a esta pregunta nos permitiría conocer las semirrectas emanadas del
punto dado. Y, por lo que se ha explicado, también las rectas que
pasan por él. El postulado siguiente, en el próximo capítulo, aclara
este interrogante.

ejercicios
. Tres puntos distintos (entre sí) del plano determinan al menos
recta(s) y a lo sumo recta(s).
. ¿Qué otros tipos de subcolecciones de una recta, distintos de
los segmentos y las semirrectas, se pueden concebir?
. Dado un segmento, ¿se puede encontrar siempre su punto
medio, es decir, un punto en el segmento cuya distancia a los
extremos sea la mitad de la distancia de todo el segmento? Es
decir, ¿es posible dividir un segmento en dos partes iguales?
. ¿Es posible dividir un segmento en tres (cuatro, cinco, etc.)
partes iguales?
. ¿Por qué una recta determina muchas inclinaciones?
. ¿Por qué una semirrecta determina muchas direcciones?
. ¿Por qué una semirrecta determina una única recta?
. ¿Qué diferencia hay entre la pendiente de una recta y la pen-
diente de la misma recta relativa a un punto de dicha recta?
. ¿Por qué la pendiente de una recta determina a dicha recta?
. ¿Por qué el rumbo de una semirrecta define a dicha semirrecta?
 capítulo 3
Ángulos

···
I.
centro Α et radio ΑΒ describatur ΒΓΔ et rursus centro Β radio autem
ΒΑ circulus describatur ΑΓΒ et
···

La Geometría es hermana de la cartografía, el arte y ciencia de

hacer mapas. Y he aquí un asunto básico de cartografía: si nos situa-
mos en un punto del plano, ¿cuáles rumbos podemos tomar? Esta
discusión nos lleva directamente al concepto de ángulo.

.  irradiación de un punto
Postulado  – Se postula trazar una circunferencia con cualquier cen-
tro y diámetro (Euclides). Para nosotros, en cada punto del plano,
la colección de los rumbos que se irradian o emanan de él es una
copia idéntica de la subcolección de todos los números reales entre
0 inclusive y 360. El número 360 se identifica con el 0 (cero) para
formar un ciclo que se repite las veces que sea necesario.


 capítulo . ángulos

Las unidades 0, 1, 2, 3, . . . , 359 de los rumbos se llaman grados.

Cada grado se suele dividir en 60 partes o minutos; cada minuto,
en 60 segundos. Y así sucesivamente. Los rumbos se aproximan –
siguiendo una costumbre antigua– especificando únicamente sus
grados (◦ ), minutos (0 ) y segundos (00 ).
Estudiante Profesor

Un habitante del plano situado en un En R se define la equivalencia x ∼ y si y

punto cualquiera puede tomar tantos sólo si x − y = 360 · n, para cierto número
rumbos como números reales entre 0 y entero n. El cociente R/ ∼ hereda sendas
360. La correspondencia entre los rum- estructuras de “orden circular”, grupo
bos o semirrectas y estos números reales aditivo y espacio topológico. La biyec-
es biunívoca. El intervalo [0, 360) es el ción de los rumbos con este cociente do-
mismo en todos los puntos del plano y ta a los rumbos con las mismas estruc-
determina un patrón común de medida turas. La elección del número 360 sigue
para los rumbos. Lo llamaremos trans- la tradición babilónica, pero es comple-
portador de los rumbos, o simplemente tamente arbitraria. Se hubiese podido
transportador. escoger a 2π.

Los rumbos se dejan sumar, restar y multiplicar por las reglas

usuales de la aritmética en base 60. Se aconseja al lector practicar
estas reglas son ayuda de los tres ejemplos que siguen.
43◦ 430 4400
23◦ 460 3400
+ 300◦ 400 5700
8◦ 110 1500 ;

120◦ 140 4200

− 570 4800
119◦ 160 5400 ;

23◦ 560 5800

× 3
71◦ 500 5400 .

Corolario  – La escogencia de una semirrecta emanada de un punto

del plano equivale a la escogencia de un rumbo y, así, a la escogencia
de un número, entre 0 (inclusive) y 360, del transportador.
 . . c i r c u n f e r e n c i a s 

Demostración. Se sigue del postulado y de las definiciones al final

del capítulo anterior.

Corolario  – La escogencia de una recta que pasa por un punto

dado del plano equivale a la escogencia de un número real entre 0
(inclusive) y 180. El número 180 se identifica con el 0 (cero) para
formar un ciclo que se repite las veces que se precise.

Demostración. Cada recta contiene dos semirrectas. Una semirrecta

determina completamente una recta.
Ya con esto obtenemos una nueva clase de figuras planas muy
interesantes.

.  circunferencias
na circunferencia centrada en un punto es la colección de to-
U dos los puntos del plano que guardan una misma distancia con
respecto a dicho punto. En breve, los puntos equidistan del punto
en cuestión. Este punto se llama centro de la circunferencia y la
distancia, radio de la circunferencia. La distancia dada se suele espe-
cificar dando (la longitud de) un segmento (radial). El diámetro de la
circunferencia es el doble de la longitud del radio. Cuando los radios
se dan como segmentos, un diámetro es la suma de dos segmentos
radiales adyacentes.

Figura . – Circunferencia.

De los dos postulados anteriores se desprende que las circunfe-

rencias existen, tal como lo postuló originariamente Euclides.
 capítulo . ángulos

Proposición  – Existe una única circunferencia centrada en un punto

dado con la longitud de un segmento dado como radio. Sus puntos
están en correspondencia biunívoca con la colección de los rumbos
(irradiados desde el centro).

Demostración. Con la regla, desde el punto dado se mide la longi-

tud dada en cada uno de los rumbos del transportador. Los puntos
encontrados conforman la circunferencia buscada.

El procedimiento usado en esta prueba se suele llamar trazo de

una circunferencia con compás, por la analogía obvia. Más tarde
volveremos sobre las circunferencias.

.  magnitud de un ángulo
n ángulo es una tripla formada por un punto del plano y dos
U semirrectas emanadas de él. Dicho punto es el vértice del ángulo
y las semirrectas son los lados del ángulo.
El ángulo de vértice O, con puntos respectivos A, B en sus lados,
se denota como ∠AOB. La letra del vértice se escribe entre las letras
de los puntos en los lados. También se pueden denotar como ∠O
o con una letra griega minúscula: ∠α, ∠β, . . . , siempre y cuando el
ángulo quede claro por el contexto.

Figura . – Notaciones para los ángulos con aperturas del compás.

Con ayuda del transportador, a cada ángulo se le puede asignar

una magnitud real en el intervalo [0, 360). Un ángulo en el cual las
dos semirrectas son iguales es un ángulo nulo y tiene magnitud 0◦
(cero grados). También es válido decir que un ángulo nulo tiene
magnitud 360◦ , o sea, se identifica con “una vuelta completa” y, de
esta manera, se puede emplear el nombre antiguo de perígono o
 . . m ag n i t u d d e u n á n g u l o 

circunángulo. Un ángulo en el cual las dos semirrectas hacen parte

de una misma recta se llama ángulo llano y tiene magnitud 180◦ . Una
mitad de un ángulo llano es un ángulo recto, el cual tiene magnitud
de 90◦ . Un ángulo es agudo si y sólo si está entre un nulo y un recto
(fijando uno de sus lados) y así, su magnitud es mayor que 0◦ y menor
que 90◦ . Un ángulo es obtuso si y sólo si está entre un recto y un
llano (fijando un lado) y así, su magnitud es mayor que 90◦ y menor
que 180◦ . La clasificación en agudos y obtusos está relacionada con
las pendientes de una recta relativas a un vértice dado. La magnitud
de un ∠α se escribe m(∠α).
Dos ángulos son adyacentes cuando comparten el mismo vértice
y tienen un lado (semirrecta) en común. La suma de dos ángulos
adyacentes es el ángulo que se obtiene al eliminar su lado común. Si
la suma de dos ángulos adyacentes es un ángulo recto, los ángulos
son complementarios y cada uno de ellos es el complemento del otro.
Si la suma de dos ángulos adyacentes es un ángulo llano, los ángulos
son suplementarios y cada uno de ellos es el suplemento del otro.

Figura . – Tipos de ángulos y suma de ángulos adyacentes.

ejercicios
. Sume
43◦ 200 3200
+ 22◦ 400 4100
 capítulo . ángulos

. Reste
43◦ 200 3200
− 22◦ 400 4100

. Multiplique
18◦ 390 4300
× 5

. El triple de un ángulo tiene magnitud 137◦ 560 4200 . ¿Cuánto

mide el ángulo?
. La magnitud de un ángulo agudo es que
la magnitud de un ángulo obtuso.
. El doble de la magnitud de un ángulo recto es igual a la mag-
nitud de un ángulo .
. Cuatro veces la magnitud de un ángulo recto es igual a la
magnitud de un ángulo o .
. La suma de dos ángulos adyacentes complementarios es igual
a la medida de un ángulo .
. Dos ángulos adyacentes miden respectivamente 68◦ 290 2200 y
23◦ 450 4400 . ¿Cuánto mide su suma?
. ¿Cuánto es la magnitud del complemento de un ángulo que
mide 24◦ 450 300 ? ¿Cuánto es la magnitud de su suplemento?
 capítulo 4
M á s d e á n g u l os

···
IX.
Datum angulum rectilinium in duas partes aequales diuidere.
···
X.
Datam rectam terminatam in duas partes aequales diuidere.
···

Los tres postulados que tenemos hasta el momento permiten ya

deducir algunos hechos interesantes sobre las rectas y los puntos del
plano.

 . ángulos opuestos
uando dos rectas se encuentran en un punto, cuatro semirec-
C tas emanan del punto común. Estas semirrectas forman, entre
0 0
otros, cuatro ángulos básicos ∠α, ∠β, ∠α y ∠β , tal como se sugiere
en la Figura .. Los pares –escogidos entre estos cuatro ángulos–
que son adyacentes, también son suplementarios, pues su suma es


 c a p í t u l o . m á s d e á n g u l o s

un ángulo llano. Los dos pares de ángulos –de estos cuatro ángulos–
que no son adyacentes forman los dos pares de ángulos opuestos
(por el vértice), a saber: ∠α, ∠α 0 y ∠β, ∠β 0 . Cada ángulo en un par de
opuestos se dice opuesto al otro ángulo del mismo par.

Figura . – Ángulos opuestos (por el vértice).

Proposición  – Cuando dos rectas se encuentran en un punto, cada

ángulo formado tiene la misma magnitud que su opuesto. En breve,
los ángulos opuestos por el vértice tienen la misma magnitud.

Demostración. Con ayuda de la Figura .,

proposiciones razones

. m(∠α) + m(∠β) = 180◦ la suma ∠α + ∠β es la recta L

. m(∠β) + m(∠α ) = 180
0 ◦ la suma ∠β + ∠α 0 es la recta M
. m(∠α) + m(∠β) = m(∠β) + axioma a ,
m(∠α 0 )
. m(∠α) = m(∠α 0 ) axioma a 
. m(∠β) = m(∠β 0 ) argumento análogo.

Corolario  – m(∠α) = m(∠β) si y sólo si los cuatro ángulos tienen

la misma magnitud: todos son rectos. En verdad, m(∠α) = m(∠α 0 ) =
m(∠β) = m(∠β 0 ). Por lo tanto, 2m(∠α) = 180◦ .

Cuando los cuatro ángulos que se forman en el encuentro de las

rectas L y M son todos rectos (situación del corolario anterior), se
 . . m e d i at r i z y b i s e c t r i z 

dice que las rectas son perpendiculares. Y cada una es perpendicular

a la otra. L es perpendicular a M se abrevia escribiendo L ⊥ M.

Proposición  – Por un punto de una recta pasa una y solamente una

recta perpendicular a la recta.

Demostración. Con la asistencia de la Figura ., pongamos mucha

atención a esta demostración de unicidad.
proposiciones razones

. O un punto de una recta L, hipótesis para la unicidad, su-

M y M 0 rectas perpendiculares ponemos que hay dos rectas per-
a L por O, A y A0 puntos en M y pendiculares por O
M 0 respectivamente –distintos
de O–
. el rumbo de (O, A0 ) coincide  y postulado 
con el rumbo de (O, A) o con el
rumbo opuesto a (O, A)
. la pendiente de {O, A0 } coinci-  y noción de pendiente
de con la pendiente de {O, A}
. M = M 0 postulado , ¡son la misma!

Proposición  (Generalización) – Por un punto de una recta pasa

una y solamente una recta con una pendiente dada relativa a él.

 . me diatriz y bisectriz
l punto medio de un segmento es el (único) punto que equidista
E de los extremos. La única recta perpendicular que pasa por el pun-
to medio de un segmento se llama (recta) mediatriz (perpendicular)
del segmento.
Como consecuencia de la identificación de las semirrectas ema-
nadas de un punto con el transportador, siempre podemos dividir
un ángulo en dos mitades, o sea, en dos ángulos adyacentes cuya
 c a p í t u l o . m á s d e á n g u l o s

Figura . – Perpendicular a una recta por uno de sus puntos.

suma es el ángulo dado. La única recta determinada por la semirrecta

común a las dos mitades de un ángulo se llama (recta) bisectriz del
ángulo.

Proposición  – Las bisectrices de ángulos suplementarios son per-

pendiculares.

Demostración. Inspirados por la Figura .,

proposiciones razones

. ∠AOC y ∠COB ángulos su- hipótesis

−−−→ −−→
plementarios, OE y OF lados
comunes a sus mitades respec-
←→ ← →
tivas, OE y OF sus bisectrices
respectivas
. m(∠EOC) = 12 m(∠AOC), 
1
m(∠COF) = 2 m(∠COB).
. m(∠EOF) = 12 m(∠AOB) = suma, axioma y 
90◦ .
 . . t r i á n g u l o s 

Figura . – Bisectrices de ángulos suplementarios.

 . triángulos
res puntos distintos en el plano determinan a lo sumo tres rectas
T distintas. Tres rectas distintas determinan a lo sumo tres puntos
distintos. Esto es consecuencia de la relación de incidencia contenida
en el primer postulado. También, cuatro puntos distintos determinan
a lo sumo seis rectas distintas y cuatro rectas distintas determinan a
lo sumo seis puntos distintos. Y así sucesivamente.

Figura . – Consecuencias de la incidencia.

Un triángulo es una figura formada por tres rectas distintas que

determinan tres puntos de corte distintos. Los puntos se llaman
vértices del triángulo. Los segmentos determinados por ellos en las
rectas son los lados del triángulo. Los ángulos determinados por
estos segmentos en los vértices son los tres ángulos (interiores) del
triángulo.
Para los vértices usaremos generalmente las letras A, B, C y para
todo el triángulo 4ABC. Los lados o segmentos se denotan mediante
AB = c, BC = a, CA = b; los ángulos, mediante ∠CAB = ∠A, ∠ABC =
∠B, ∠BCA = ∠C. Los ángulos suplementarios (adyacentes) a estos
ángulos en sus respectivos vértices son los ángulos exteriores del
triángulo.
 c a p í t u l o . m á s d e á n g u l o s

b
a

A c B

Figura . – Triángulo.

Cada lado de un triángulo puede servir de base, es decir, como

lado de apoyo (horizontal en el dibujo). Los ángulos del triángulo
que tienen a dicha base como lado común son los ángulos en dicha
base del triángulo, o ángulos basales. El ángulo en el vértice restante
se llama opuesto a dicha base.
La teoría de los triángulos es, tal vez, el pilar más importante en
el edificio de la Geometría Euclidiana.

ejercicios
. En el encuentro de dos rectas en un punto, identifique todas
las parejas posibles de ángulos que forman y clasifíquelas en
parejas de ángulos suplementarios u opuestos (por el vértice).
. Presente la demostración del Corolario  en detalle mediante
una tabla de proposiciones y razones.
. Demuestre la Proposición .
. ¿Es posible definir mediatrices de un segmento que no sean
perpendiculares?
. ¿Comprenden siempre las bisectrices de ángulos complemen-
tarios un ángulo de 45◦ ?
. Explique en detalle los distintos casos de rectas que se deter-
minan cuando se toman cuatro puntos distintos en el plano.
. Siguiendo el ejemplo de la definición de triángulo, dé una
definición de cuadrilátero.
. Ayúdese de la Figura . para demostrar la siguiente
Proposición. Sean L y M dos rectas que se encuentran en el
punto O. Sean L0 y M 0 las dos rectas por el mismo punto O,
que son respectivamente perpendiculares a L y M. Entonces,
 . . t r i á n g u l o s 

los cuatro ángulos básicos determinados por el corte de L0 y

M 0 tienen magnitudes iguales a los correspondientes ángulos
básicos en el corte de L y M.

Figura . – Rectas mutuamente perpendiculares.

 capítulo 5
Tr i án g u l o s c ongruentes

···
IV.
Si duo trianguli duo latera duobus lateribus alterum alteri aequalia
habent et angulis rectis aequalibus comprehensos aequales, etiam basim
basi aequalem habebunt, et triangulus triangulo aequalis erit, et reliqui
anguli reliquis aequalis alter alteri, ii scilicet, sub quibus aequalia latera
subtendunt.
···

Es muy importante saber copiar una figura situada en una parte

del plano sobre otra parte del plano. Se trata de un procedimiento
geométrico básico que permite repetir o calcar figuras geométricas tal
como un ingeniero o un arquitecto traza los planos de una máquina
o de una casa.

.  copia de una figura

ecordemos que una figura es una subcolección de puntos del
R plano. Dadas dos figuras F, F 0 del plano, decimos que ellas son


 c a p í t u l o  . t r i á n g u l o s c o n g ru e n t e s

congruentes si los puntos de F se pueden poner en correspondencia

biunívoca con los puntos de F 0 de tal suerte que, para cada par de
puntos de F, el segmento que los une tiene la misma longitud que el
segmento correspondiente en F 0 . Lo mismo vale cambiando F 0 y F en
la oración anterior. F es congruente con F 0 si y sólo si F 0 es congruente
con F.

Figura . – Congruencia de F y F 0 .

Cuando dos figuras F y F 0 son congruentes, se escribe F  F 0 .

Estudiante Profesor

Podemos decir que dos figuras congruen- Una congruencia es una isometría, es
tes se obtienen una de la otra por una decir, una aplicación biyectiva de una
transformación que “preserva las distan- figura sobre la otra tal que la distancia
cias”. Dicha transformación se pude des- entre dos puntos del dominio es igual
hacer para volver a la figura original, o a la distancia entre las imágenes de los
sea, para regresar de la nueva a la ante- mismos puntos.
rior.

El procedimiento de elaborar la correspondencia biunívoca que

constituye la congruencia coincide con las instrucciones para calcar
o copiar la figura F (respectivamente, F 0 ). Dicha copia se debe lograr
por la sola aplicación de los postulados vistos hasta el momento o, si
se quiere, usando la regla, el transportador y el compás.

.  congruencia de rectas
Corolario  – Dos rectas cualesquiera son congruentes entre sí. Lo
propio vale para dos semirrectas cualesquiera. En particular, las dos
 . . c o n g ru e n c i a d e r e c ta s 

semirrectas determinadas por un punto en una recta son congruentes

entre sí. Dos segmentos son congruentes si y sólo si tienen la misma
longitud.

Demostración. La construcción de la aplicación biunívoca es evidente.

Este corolario es una consecuencia simple de la existencia de la

regla.
La congruencia es una relación más interesante que la igualdad
de las longitudes de dos segmentos y la igualdad de las magnitu-
des de dos ángulos. En efecto, permite relacionar figuras en lugares
diferentes del plano. En particular, podríamos hacer que dos seg-
mentos cualesquiera en el plano sean adyacentes, copiando uno en
un extremo del otro en su misma recta. De esta manera, podemos
sumarlos y restarlos. También podemos intentar copiar uno sobre
otro para compararlos. En efecto, dados dos segmentos AB y CD,
se tiene siempre una de tres posibilidades excluyentes entre ellas
(tricotomía):
• AB  CD,
• AB < CD cuando `(AB) < `(CD),
• AB > CD cuando `(AB) > `(CD).

Lema  (Desigualdad triangular) – Fijado un segmento AB y dados

otros dos segmentos CD y EG, puede ocurrir solamente uno de los
siguientes dos casos:
• AB < CD + EG, en cuyo caso los segmentos conforman los
lados de un triángulo.
• AB ≥ CD + EG, en cuyo caso los segmentos no conforman los
lados de un triángulo.

Demostración. Basta trazar con el compás, por ejemplo, una circunfe-

rencia centrada en A de radio `(CD) y una circunferencia centrada en
B de radio `(EG). En el primer caso las circunferencias se encuentran;
en el segundo, no. Se recomienda considerar las situaciones sugeridas
en la Figura ..
 c a p í t u l o  . t r i á n g u l o s c o n g ru e n t e s

Figura . – Condiciones sobre los lados de un triángulo.

Volviendo al asunto de los ángulos, ¿se puede hacer que dos án-
gulos cualesquiera sean adyacentes, copiando uno sobre un lado del
otro, aún cuando sus vértices no coincidan? ¿Preserva la copia la
magnitud del ángulo? Mejor dicho, ¿cuándo dos ángulos son con-
gruentes? La respuesta no es tan simple como para las partes de una
recta. Para aclarar las cosas debemos estudiar los triángulos.

.  rigidez trigonométrica
Lema  (Situación LAL) – Si dos triángulos tienen dos lados res-
pectivamente congruentes y los ángulos respectivos determinados
–encerrados– por ellos dos tienen la misma magnitud, entonces, los
dos lados restantes respectivos son congruentes.

Demostración. Con ayuda de la Figura .,

proposiciones razones

. 4ABC, 4A0 B0 C 0 , AB  A0 B0 , hipótesis

BC  B0 C 0 , m(∠B) = m(∠B0 )
. Copiar AB sobre A0 B0 (regla), postulados  y 
∠B sobre ∠B0 (transportador)y
BC sobre B0 C 0 (regla)
. A cae en A0 ; B en B0 ; C en C 0 
. AC  A0 C 0 
 . . r i g i d e z t r i g o n o m é t r i c a 

Figura . – Situación LAL.

Corolario  – Si dos ángulos tienen la misma magnitud, entonces

son congruentes.

Demostración. Sean dados dos ángulos que midan igual. Si tomamos

los dos puntos sobre uno de los lados de uno de los ángulos, su dis-
tancia se preserva por congruencia de semirrectas. El caso interesante
es cuando los dos puntos se toman en lados distintos del ángulo. En
este caso, la invarianza de la distancia se sigue del lema anterior
(LAL).

Lema  (Situación ALA) – Si dos triángulos tienen respectivamente

dos ángulos de igual magnitud y los lados encerrados por tales dos
ángulos son congruentes, entonces los dos pares de lados restantes
respectivos son congruentes.

Demostración. Con ayuda de la Figura .,

proposiciones razones

. 4ABC, 4A0 B0 C 0 , m(∠A) = hipótesis

m(∠A0 ), m(∠B) = m(∠B0 ), AB 
A0 B0
. Copiar AB sobre A0 B0 , ∠A so- postulados  y 
bre ∠A0 y ∠B sobre ∠B0
. A cae en A0 ; B en B0 ; C en C 0 , rectas distintas se encuentran
←→
en único punto C 0 : AC yace so-
←−→ ← → ←−→
bre A0 C 0 ; BC, sobre B0 C 0
. AC  A0 C 0 , BC  B0 C 0 
 c a p í t u l o  . t r i á n g u l o s c o n g ru e n t e s

Figura . – Situación ALA.

Lema  (Situación LLL) – Si dos triángulos tienen respectivamen-

te sus tres lados congruentes, entonces sus tres pares de ángulos
respectivos tienen magnitudes respectivamente iguales.

Demostración. Con ayuda de la Figura .,

proposiciones razones

. 4ABC, 4A0 B0 C 0 , AB  A0 B0 , hipótesis

AC  A0 C 0 , BC  B0 C 0
. copiar AB sobre A0 B0 , con cen- postulado , lema  (desigualdad
tro en A0 y radio `(AC) trazar triangular)
circunferencia con el compás, lo
mismo con centro en B0 y radio
`(BC); surgen dos casos
a. caso i: C queda sobre C 0 , , lema 
(4ABC queda sobre 4A0 B0 C 0 )
b. caso ii: C cae sobre cierto , , lema 
punto D (4ABC queda “al re-
vés” de 4A0 B0 C 0 ; AC  A0 D,
BC  B0 D)
. caso ii: m(∠A0 ) = m(∠A), argumento del próximo capítu-
m(∠C 0 ) = m(∠C) lo (sólo usa los postulados vis-
tos y la situación LAL)
. m(∠A0 ) = m(∠A), m(∠B0 ) = , , argumentos similares
m(∠B) y m(∠C 0 ) = m(∠C), en
ambos casos
 . . r i g i d e z t r i g o n o m é t r i c a 

Figura . – Situación LLL.

Corolario  – Si dos ángulos son congruentes, entonces tienen la

misma magnitud. Así pues, por el corolario anterior, dos ángulos son
congruentes si y sólo si tienen la misma magnitud.

Demostración. Si los ángulos son congruentes, cualquier triángulo

construido sobre uno de ellos tiene los lados respectivamente con-
gruentes con los lados del otro triángulo construido sobre el otro
ángulo. Por lo tanto, los ángulos miden igual.

En consecuencia, podemos sumar y restar ángulos cualesquiera

haciéndolos adyacentes. Por ello, usamos de ahora en adelante los
símbolos , <, >, ≤, ≥, +, − en referencia a los ángulos, sin importar
dónde se encuentren dentro del plano.
Al mismo tiempo, en las tres situaciones anteriores se ha demos-
trado mucho más. Se trata de los célebres criterios sobre la congruen-
cia de triángulos. Para presentar convenientemente estos resultados,
notemos primero que dos triángulos son congruentes si y sólo si sus
lados respectivos son congruentes y sus ángulos respectivos son con-
gruentes. Esta condición es clara pero, evidentemente, es exagerada.
Las tres demostraciones de más arriba prueban que se requieren
menos condiciones:
 c a p í t u l o  . t r i á n g u l o s c o n g ru e n t e s

Teorema  (Criterio de congruencia LAL) – Si dos triángulos tienen

respectivamente dos lados congruentes y los ángulos respectivos
comprendidos por ellos son congruentes, entonces los dos triángulos
son congruentes.

Teorema  (Criterio de congruencia ALA) – Si dos triángulos tie-

nen dos ángulos respectivamente congruentes y los lados respectivos
entre ellos son congruentes, entonces los dos triángulos son con-
gruentes.

Teorema  (Criterio de congruencia LLL) – Si dos triángulos tienen

sus tres lados respectivos congruentes, entonces los dos triángulos
son congruentes.

ejercicios
. Explique detalladamente la validez del Corolario .
. Pruebe en detalle el Corolario .
. Dé los detalles que hacen falta en la demostración del Corola-
rio .
. Dé los detalles que hacen falta en la demostración del Lema .
. Los tres criterios de congruencia de triángulos (Teoremas ,  y
) son consecuencias inmediatas de las situaciones respectivas
de más arriba. Convénzase de la validez de tales consecuen-
cias.
. Los criterios de congruencia de triángulos reducen el núme-
ro de congruencias aparentemente suficientes de seis a sólo
tres. Pero hay que proceder con cuidado. ¿Si dos triángulos
tienen sus tres ángulos respectivamente congruentes, se puede
concluir que los dos triángulos son congruentes?
. Demuestre el siguiente criterio –otro más– de congruencia de
triángulos. Ayúdese de un dibujo.
Teorema. Si dos triángulos tienen dos ángulos respectivamente
congruentes y un lado opuesto a uno de éstos es congruente
con el lado opuesto respectivo, entonces los triángulos son
congruentes.
 . . r i g i d e z t r i g o n o m é t r i c a 

En términos más concretos, tenemos 4ABC y 4A0 B0 C 0 con

∠A  ∠A0 , ∠B  ∠B0 y, digamos, a = BC  B0 C 0 = a0 . Entonces,
4ABC  4A0 B0 C 0 .
. F ¿Si dos triángulos tienen dos lados respectivamente con-
gruentes y un ángulo opuesto a uno de ellos es congruente
con el ángulo opuesto respectivo, se puede decir que los dos
triángulos son congruentes?
 capítulo 6
Tr i án g u l o s i s ósceles

···
V.
In triangulis aequicruriis anguli ad basim positi inter se aequales sunt, et
productis rectis aequalibus anguli sub basi positi inter se aequales erunt.
···
VI. Si in triangulo duo anguli inter se aequales sunt, etiam latera sub
aequalibus angulis subtendentia inter se aequalia erunt.
···

Cuando un triángulo tiene dos lados iguales ocurre una simetría

muy importante, que indagamos en este capítulo.

.  me diatriz de un segmento
Proposición  – Un punto del plano está en la mediatriz perpen-
dicular de un segmento si y sólo si equidista de los extremos del
segmento.

Demostración. Refiriéndonos a la Figura ., en una dirección del

argumento,


 capítulo . triángulos isósceles

Figura . – Equidistancia de los puntos de la mediatriz.

proposiciones razones

. AB dado, C punto medio, P hipótesis

punto genérico en la mediatriz
perpendicular de AB
. AC  CB, CP común a 4ACP 
y 4BCP , ∠ACP  ∠BCP (rec-
tos)
. 4ACP  4BCP criterio LAL
. AP  BP 

El recíproco, es decir, en la otra dirección,

proposiciones razones

. AB segmento dado, P punto hipótesis

cualquiera, AP  BP
←→
. P C bisectriz de ∠AP B con C , postulado 
en AB, así, ∠AP C  ∠BP C
. 4ACP  4BCP criterio LAL
. AC  BC, ∠P CA  ∠P CB 
. m(∠P CA) + m(∠P CB) = 180◦ suman una recta
. ∠P CA, ∠P CB son rectos axioma,  y 
←→
. P C mediatriz perpendicular y
de AB
 . . ba s e y b i s e c t r i z 

.  base y bisectriz
n triángulo con dos lados congruentes es un triángulo isósceles.
U Por ejemplo, el 4ABP , de la demostración anterior, es isósce-
les. En un triángulo isósceles el lado restante, que pudiera no ser
congruente con los otros dos, se suele llamar base. Los ángulos que
encierran a la base son, así, los ángulos basales.
La situación descrita en el teorema anterior describe totalmente
el caso de los triángulos isósceles.

Corolario  – Las tres condiciones siguientes son equivalentes para

un triángulo:

• El triángulo es isósceles.
• El triángulo tiene dos ángulos basales congruentes (pons
asinorum , puente de burros).
• La mediatriz perpendicular de un lado (base) es la bi-
sectriz del ángulo opuesto a dicho lado.

Demostración. Se trata simplemente de reescribir los resultados de

la sección anterior en el lenguaje de los triángulos isósceles.
Un triángulo en el cual los tres lados son congruentes entre sí
es un triángulo equilátero. Claramente, todo triángulo equilátero es
isósceles.

 Este nombre se le ha dado a la quinta proposición del primer libro de los

Elementos de Euclides (citada al comienzo de este capítulo), muy relacionada con
nuestro enunciado. Allí se presenta un dibujo para ayudar a entender el enunciado,
el cual se asemeja a un puente:

La fórmula latina sirve para referirse a un raciocinio que, estando perfectamente

demostrado, se nos antoja incomprensible. También se usa para calificar una
dificultad que nos quita las ganas de seguir intentando algo. En fin, los burros y
los hombres a menudo no entienden ciertas cosas.
 capítulo . triángulos isósceles

Corolario  – Todo triángulo equilátero es equiangular, es decir,

sus tres ángulos (interiores) son congruentes entre ellos.

La bisectriz de un ángulo en un triángulo no siempre coincide

con la mediatriz perpendicular del lado opuesto. La diferencia nos
lleva a un nuevo concepto.

.  me dianas
na mediana de un triángulo es una recta que va desde un vértice
U hasta el punto medio del lado opuesto a dicho vértice. Todo
triángulo tiene, entonces, tres medianas, una por cada vértice (y por
cada lado).

Figura . – Medianas de un triángulo.

Parece que las tres medianas de un triángulo siempre concurren

a un punto. ¿Será esto válido en general?
En la sección anterior vimos que, en un triángulo isósceles, la
mediana de la base es también la bisectriz del ángulo opuesto a
dicha base. Las medianas de un triángulo equilátero son las mismas
mediatrices de los lados y las mismas bisectrices de los ángulos en
los vértices.
Un triángulo en el que ningún par de lados son congruentes es
un triángulo escaleno.
 . . m e d i an a s 

ejercicios
. ¿Existen los triángulos isósceles?
. Pruebe en detalle el Corolario .
. ¿Existen los triángulos equiláteros?
. Verifique la validez del Corolario .
. ¿Puede un triángulo escaleno tener dos ángulos interiores de
igual magnitud?
. En un triángulo escaleno, ¿es posible que una mediatriz de un
lado coincida con la bisectriz del ángulo opuesto? A propósito,
¿existen los triángulos escalenos?
. ¿Se cumple siempre que las tres medianas de un triángulo se
encuentran en un punto?
 capítulo 7
Tr i án g u l o s c on lados
d e s i g ua l e s

···
XVI.
In quouis triangulo uno latere producto angulus extrinsecus positus
utrouis angulo interiore et opposito maior est.
···

Nuestro interés en este capítulo es buscar relaciones entre los

ángulos y los lados opuestos a ellos y, viceversa, entre los lados y sus
ángulos opuestos.

 . ángulo exterior
ara tal fin nos servimos del siguiente
P
Lema  – Un ángulo exterior a un triángulo es mayor que cualquiera
de los dos ángulos interiores no adyacentes a él.


 c a p í t u l o  . t r i á n g u l o s c o n l ad o s d e s i g ua l e s

Demostración. Con ayuda de la Figura .,

proposiciones razones

. 4ABC, ∠ACD exterior en C hipótesis

. F punto medio de AC, AF  , postulados
←
→
CF, BF mediana de AC, prolon-
←→
gar BF hasta G tal que FG  BF
. ∠AFB  ∠CFG ángulos opuestos
. 4AFB  4CFG LAL ,
. ∠FCG  ∠BAC = ∠A 
. ∠ACD > ∠FCG ∠ACD  ∠FCG + ∠GCD
. ∠ACD > ∠A axioma ,
. ∠ACD > ∠B procedimiento similar

Figura . – Ángulo exterior a un triángulo.

Este lema tiene consecuencias importantes para los triángulos

con lados y ángulos incongruentes. Dos lados de un triángulo son in-
congruentes si no son congruentes. De la misma manera, dos ángulos
(internos) de un triángulo son incongruentes si no son congruentes.

 . lado opuesto, ángulo opuesto

Teorema  – Cuando un triángulo tiene dos lados incongruentes, el
lado mayor de estos dos es opuesto a un ángulo mayor respectivo.
 . . l ad o o p u e s t o , á n g u l o o p u e s t o 

Demostración. Con lo que sugiere la Figura .,

Figura . – Lado mayor opuesto a ángulo mayor.

proposiciones razones

. 4ABC, AB > BC hipótesis

. Llevar BC sobre AB de tal ma- 
nera que BD  BC, o sea, 4BDC
isósceles
. ∠BDC  ∠BCD ángulos basales, 
. ∠BDC > ∠A exterior al 4ADC
. ∠C = ∠BCA > ∠BCD ∠BCA = ∠BCD + ∠DCA
. ∠C > ∠A axiomas ,

Figura . – Ángulo mayor opuesto a lado mayor.

Teorema  – Si un triángulo tiene dos ángulos incongruentes, enton-

ces el ángulo mayor de estos dos es opuesto al lado mayor respectivo.
 c a p í t u l o  . t r i á n g u l o s c o n l ad o s d e s i g ua l e s

Demostración. Con lo que sugiere la Figura .,

proposiciones razones

. 4ABC, ∠A > ∠B hipótesis

. Copiar ∠B dentro de ∠A so- , postulado 
bre AB formando nuevo trián-
gulo 4ABD (isósceles) con D en
BC
. AD  BD 
. AD + DC > AC desigualdad triangular 4ADC
. BC = BD + DC > AC axiomas ,

 . triángulos escalenos
o anterior tiene, sobretodo, una consecuencia importante que
L caracteriza a los triángulos escalenos, en los cuales no se tiene
ningún par de lados congruentes.

Corolario  – Un triángulo es escaleno si y sólo si no tiene ningún

par de ángulos (interiores) congruentes.

ejercicios
. En el paso  de la demostración del Lema  se usa el hecho de
que ∠GCD no es nulo. ¿Por qué dicho ángulo no es nulo?
. En el paso  de la demostración del Teorema  se usa que
∠DCA no es nulo. ¿Por qué este ángulo no es nulo?
. En el paso  de la demostración del Teorema  se usa que DC
no es nulo. ¿Por qué este segmento no es nulo?
. Provea los detalles para la demostración el Corolario .