Elementos

as
atic
atem
eM
ELEMENTOS DE GEOMETRIA
o. d
Jaime Escobar Acosta12 ept
,D
uia
tioq
An
de
ad
rsid
ive
Un
1 ProfesorTitular de la Universidad de Antioquia, Magister en Matemáticas de

la Universidad Nacional.
2 Con la colaboración de los profesores: Jaime Chica E., Abelardo Espinal,
Alberto Castaño.
Agradecimientos
as
Más que un agradecimiento estas notas son un reconocimiento a los Pro-
atic
fesores Alberto Castaño, Abelardo Espinal, Jaime Chica quienes junto con
atem
quien escribe estas notas , elaboramos en 1990 para el curso de Geometria
Euclidiana los temas correspondientes a los Capitulos 1 y 2. También tengo
que agradecer a los estudiantes de Fı́sica y Matemáticas quienes me animaron
eM
a reescribir, completar y precisar las viejas notas de 1990. A Eliana Muñoz
Saraz, quién con su paciencia y consejos supo digitar en LATEX estas notas.
o. d
Prof. Jaime Escobar A.
Dpto. de Matemáticas, U.deA.
ept
,D
uia
tioq
An
de
ad
rsid
ive
Un
i
ii
Un
ive
rsid
ad
de
An
tioq
uia
,D
ept
o. d
eM
atem
atic
as
CONTENIDO
as
atic
1 INTRODUCCIÓN 1
atem
1.1 COMENTARIOS INICIALES . . . . . . . . . . . . . . . 1
1.2 MÉTODOS DE DEMOSTRACIÓN . . . . . . . . . . . . 3
eM
2 AX. DE LA GEOMETRIA ELEMENTAL 5
2.1 ELEMENTOS GEOMÉTRICOS . . . . . . . . . . . . . . 5
o. d
2.2 AXIOMAS DE INCIDENCIA . . . . . . . . . . . . . . . 6
2.3 AXIOMAS DE ORDEN . . . . . . . . . . . . . . . . . . . 9
ept
2.4 AXIOMAS DE CONGRUENCIA . . . . . . . . . . . . . 21
,D
2.4.1 LA RELACION DE CONGRUENCIA . . . . . . 21
2.4.2 AXIOMAS DE CONGRUENCIA . . . . . . . . . 22
uia
2.4.3 PERPENDICULARIDAD Y PARALELISMO . 42

tioq
2.5 AXIOMAS DE CONTINUIDAD . . . . . . . . . . . . . . 56

2.6 MEDIDA DE ÁNGULOS . . . . . . . . . . . . . . . . . . 60
An
2.7 AXIOMA DE PARALELISMO . . . . . . . . . . . . . . . 75

2.8 DESIGUALDADES EN EL TRIÁNGULO . . . . . . . 89
de
2.9 POLIGONALES Y POLÍGONOS . . . . . . . . . . . . . 96

ad
rsid
ive
Un
iii
iv
Un
ive
rsid
ad
de
An
tioq
uia
,D
ept
o. d
eM
atem
atic
as
CONTENIDO
CAPITULO 1
as
INTRODUCCIÓN
atic
atem
1.1 COMENTARIOS INICIALES
eM
Un sistema axiomático es la forma acabada que toma hoy una teorı́a de-
o. d
ductiva. Es un sistema donde todos los términos u objetos no definidos y
las proposiciones no demostradas se enuncian explı́citamente, siendo estas
ept
últimas, fijadas como hipótesis a partir de las cuales pueden construirse las
,D
demás proposiciones del sistema, siguiendo unas reglas lógicas perfecta y ex-
presamente determinadas. El encadenamiento lógico que se hace a partir de
uia
las hipótesis, constituye la demostración.

tioq
La necesidad de términos no definidos y proposiciones no demostradas se

debe a que es imposible llevar la definición y la demostración indefinidamente.
An
Mediante la demostración, se establecen nuevas proposiciones o relaciones

entre los objetos a partir de las relaciones dadas como axiomas; luego se hace
de
necesario nombrar o definir los nuevos objetos que verifican estas propiedades;
ad
es ası́ como la demostración y la definición corren de la mano.

rsid
Definición y demostración son en consecuencia, las dos operaciones fun-

ive
damentales mediante las cuales se desarrolla una teorı́a deductiva.

Un
Dentro del desarrollo axiomático griego, las nociones y principios se cons-

truı́an con fundamentación en el mundo exterior, es decir, se pretendı́a que
los axiomas respondieran a la realidad y fueran ası́ mismo auto-evidentes;
este tipo de axiomáticas se han denominado genéticas o materiales, aquı́ los
axiomas tienen un contenido y un sentido.
En la geometrı́a desarrollada por Euclides, los términos primitivos como

son: punto, recta, relaciones de incidencia, orden y congruencia tienen un
contenido “material” e intuitivo evidente, sin embargo, en el desarrollo de su
1
2 CAPITULO 1. INTRODUCCIÓN
fundamentación se prescinde de este desarrollo material e intuitivo.
En oposición a la axiomática material, se estructura lo que se ha de-

nominado un sistema axiomático formal, en el cual los elementos primitivos
carecen en absoluto de contenido y son las piezas de un puro juego sin sentido
material en sı́ mismo. El sentido viene definido implı́citamente por las reglas
del juego construı́das por los axiomas y las reglas lógicas de demostración.
as
En un sistema formal, los axiomas no tienen caracterı́sticas de auto-
evidentes, son simplemente premisas, puntos de partida para el desarrollo de
atic
resultados posteriores. En este sentido, de las proposiciones que se concluyen
atem
de los axiomas por medio de reglas lógicas, diremos que son formalmente
válidas, es decir, que existe una filiación lógica entre los axiomas y dichas
conclusiones.
eM
De otra manera, podemos entender la “verdad” matemática como una
o. d
verdad implicada, donde el antecedente está constituı́do por los axiomas y el
consecuente por las conclusiones. ,D
ept
En sı́ntesis, una teorı́a deductiva bien estructurada, debe cumplir las si-
guientes condiciones:
uia
tioq
1. Enunciar explı́citamente los términos primeros, con ayuda de los cuales

se propone definir todos los otros.
An
2. Enunciar explı́citamente las proposiciones primeras, con ayuda de las

de
cuales se propone demostrar todas las demás. Estas proposiciones se

ad
denominan axiomas.
rsid
Los axiomas deben verificar a su vez tres propiedades:

ive
• Consistencia: se refiere a la no introducción de contradicciones

entre ellos en la teorı́a.
Un
• Suficiencia: implica el hecho de que los resultados requeridos en

la teorı́a, puedan concluirse de ellos.
• Independencia: esta caracterı́stica establece que ningún axioma
debe deducirse a partir de los otros.
3. Que las relaciones establecidas entre los términos sean únicamente

relaciones lógicas, permaneciendo independiente del sentido concreto
que pueda darse a los términos.
1.2. MÉTODOS DE DEMOSTRACIÓN 3
4. Que en las demostraciones sólo intervengan estas relaciones, lo que

prohibe “tomar prestado algo” a la consideración de las figuras.
Debe aclararse que la condición de independencia entre los axiomas, no es

requisito indispensable en el desarrollo de una teorı́a axiomática, simplemente
asegura que la teorı́a tenga el mı́nimo de supuestos teóricamente necesarios
(axiomas).
En la práctica, esta condición no se respeta, ya que no introduce con-
tradicciones y permite agilizar el desarrollo de la teorı́a.
as
atic
atem
1.2 MÉTODOS DE DEMOSTRACIÓN
eM
Hemos dicho que en matemáticas la verdad esta constituı́da como la validez
de una implicación de la forma H ⇒ T , donde H es el conjunto de hipótesis
o. d
y T la conclusión a la cual se desea llegar. Esta implicación, esta regida
por un principio filosófico que establece que: “De la verdad no se puede
ept
seguir la falsedad”. Este principio constituye la fundamentación del método
de demostración denominado “directo”, el cual consiste en partir de unas
,D
proposiciones que se admiten como ciertas, denominadas premisas, llegar
uia
mediante una cadena de implicaciones lógicas, a una proposición final lla-

mada conclusión o tésis.
tioq
Se puede establecer una equivalencia entre las proposiciones H ⇒ T y

An
¬T ⇒ ¬H llamada esta última, el contrarrecı́proco de la proposición inicial.

Este hecho permite establecer un método indirecto de demostración, denomi-
de
nado método de demostración por el contrarrecı́proco. El método consiste en

ad
demostrar ¬T ⇒ ¬H, en lugar de H ⇒ T . La demostración de ¬T ⇒ ¬H

rsid
generalmente se hace usando el método directo, o sea, asumiendo la negación

de la tesis (¬T ) para concluir la negación de la hipótesis (¬H).
ive
Se dice que dos proposiciones son contradictorias cuando una es la negación

de la otra. Una contradicción, entonces, es la conjunción de una proposición
Un
y su negación (Q ∧ ¬Q), por tanto, una contradicción siempre será una

proposición falsa.
Cuando en una demostración se establece una implicación de la forma

¬P ⇒ Q ∧ ¬Q, por el contrarrecı́proco podemos establecer como válida la
proposición Q ∨ ¬Q ⇒ P . Esta implicación tiene como antecedente una
proposición verdadera denominada tercero excluido y, por tanto, de dicha
implicación se puede concluir que P es verdadera. Esta situación permite
estructurar otro método de demostración indirecto llamado “Reducción al
4 CAPITULO 1. INTRODUCCIÓN
absurdo” ó “Método de contradicción”. Para la aplicación del método se

utilizan los siguientes pasos:
1. Introducir la negación de la conclusión deseada como una nueva premisa
(axioma).
2. De esta nueva premisa, junto con las premisas dadas, deducir una con-
tradicción.
3. Establecer la conclusión deseada como una inferencia lógica deducida
as
de las premisas originales.
atic
Este método es uno de los clásicos en las demostraciones matemáticas y en
particular, en la Geometrı́a frecuentemente se usa esta forma de razonamiento
atem
en la demostración de los teoremas.
eM
o. d
ept
,D
uia
tioq
An
de
ad
rsid
ive
Un
CAPITULO 2
as
AXIOMAS DE LA
atic
GEOMETRIA ELEMENTAL
atem
eM
En este capı́tulo, comenzaremos dando los términos y relaciones primitivas de
o. d
la geometrı́a, y su conexión por medio de los axiomas. A medida que se van
presentando los axiomas, se deducen los teoremas que se desprenden de ellos,
ept
como también las definiciones necesarias para caracterizar los nuevos objetos.
,D
En la formulación que adelantaremos, asumiremos el manejo de la lógica

uia
y de la teorı́a de conjuntos, aunque en algunos puntos haremos hincapié en

tioq
el proceso lógico de las demostraciones.

An
2.1 ELEMENTOS GEOMÉTRICOS

de
ad
1.1 Términos primitivos: punto, recta, plano, espacio.

rsid
1.2 Relaciones primitivas: estar en (pertenencia), estar entre, congruente.

Estos términos y relaciones primitivas, se pueden relacionar mediante
ive
enunciados tales como:

Un
El punto A está en la recta l.

El punto B esta entre los puntos A y C en la recta l.
1.3 Axiomas. Los axiomas se dividen en cinco grupos a saber:
Grupo I. Axiomas de incidencia.

Grupo II. Axiomas de orden.
5
6 CAPITULO 2. AX. DE LA GEOMETRIA ELEMENTAL
Grupo III. Axiomas de congruencia.

Grupo IV. Axiomas de continuidad.
Grupo V. Axiomas de paralelismo.
2.2 AXIOMAS DE INCIDENCIA

I.1 Dos puntos distintos determinan una recta y solo una a la cual pertenecen.
Por un punto pasa al menos una recta.
as
atic
I.2 A toda recta pertenecen al menos dos puntos distintos.
atem
I.3 Dada una recta, existe al menos un punto del espacio que no está en
la recta.
eM
I.4 Tres puntos distintos que no están en una misma recta, determinan un
plano y solo uno al cual pertenecen. Por dos puntos distintos pasa al
o. d
menos un plano.
ept
Definición 1 . Puntos colineales son aquellos que están en una misma
,D
recta.
uia
I.5 A todo plano pertenecen al menos tres puntos distintos no colineales.

tioq
I.6 Si dos puntos de una recta están en un plano, la recta está contenida
en el plano.
An
I.7 Si dos planos diferentes se cortan, su intersección es una recta.

de
ad
Observación: el axioma I.7 establece que si dos planos tienen un punto

rsid
en común, tienen un segundo punto en común y en consecuencia, una

recta común.
ive
Un
Definición 2 . Puntos coplanares son aquellos que están en un mismo

plano.
I.8 Dado un plano, existe por lo menos un punto del espacio que no está
en el plano.
Notación:
i) Para designar puntos, utilizaremos letras latinas mayúsculas.
2.2. AXIOMAS DE INCIDENCIA 7
←→ ←→
ii) Para A, B puntos distintos, notaremos por AB ó BA la recta a la cual
pertenecen estos puntos, o también por letras minúsculas latinas.
←→
Ası́, por ejemplo, nos referiremos a la recta AB ó a la recta l . (ver
figura 1).
A B
l
as
atic
Figura 1
atem
eM
Teorema 1 .
Si dos rectas diferentes se intersectan, su intersección es un solo punto.
o. d
ept
,D
m
uia
tioq
An
l
de
Figura 2
ad
rsid
Demostración (Figura 2). Sean l y m dos rectas diferentes que se cor-

tan. (Razonemos por reducción al absurdo). Supongamos que las rectas se
ive
cortan en dos puntos distintos A y B. Por el axioma I.1 por los puntos A y
Un
B pasa una recta única. Luego l y m son la misma recta. Contradicción, ya

que l y m son rectas diferentes.
Teorema 2 .
Si dos rectas diferentes se intersectan, existe un plano único que las con-
tiene.
Demostración (Figura 3). Sean l y m dos rectas diferentes que se in-
tersectan. Sea A el punto de intersección (Teorema 1). Por el axioma I.2
existen otro punto B diferente de A en l y otro punto C diferente de A en m.

Por el Teorema 1, A, B, C son no colineales ya que B no está en la recta
m y C no está en la recta l. Entonces por el axioma I.4 A, B, C determinan
un plano único. Por el axioma I.6 las rectas l y m están contenidas en ese
plano. Este es el único plano que contiene a ambas. Si existiera otro, A, B
y C estarı́an en él. Contradicción con el axioma I.4.
as
m B
atic
A
atem
C
eM
l
o. d
Figura 3
ept
,D
Teorema 3 .
Si l es una recta y A un punto que no pertenece a ella, existe un plano único
uia
que contiene a la recta y al punto.

tioq
An
l B
de
ad

rsid
C
A
ive
Un
Figura 4
Demostración (ver figura 4). Por el axioma I.2 la recta l tiene al menos
dos puntos diferentes B y C. Por el axioma I.4 los tres puntos no colineales
A, B y C determinan un plano único. A está en ese plano y por el ax-
ioma I.6 la recta l está contenida en el plano. Este plano es único, si no, los
tres puntos A, B y C estarı́an en otro plano. Contradicción con el axioma I.4.
2.3. AXIOMAS DE ORDEN 9
2.3 AXIOMAS DE ORDEN

Intuitivamente en Geometrı́a, el orden establece la forma como se relacionan
tres puntos distintos pertenecientes a una misma recta, esta relación es la
que hemos denominado dentro de las relaciones primitivas, “estar entre”.
II.1 Si el punto B se encuentra entre el punto A y el punto C, entonces A,

B y C son puntos diferentes de una misma recta y B se encuentra asi
mismo entre C y A. (ver figura 5).
as
atic

A
B
C
atem
l
eM
Figura 5
o. d
II.2 Dados dos puntos distintos A y C, existe al menos un punto B sobre
ept
←→
AC tal que B está entre A y C. (ver figura 6)
,D

uia
A B C
l
tioq
An
Figura 6
de
ad
II.3 Dados dos puntos distintos A y C, existe al menos un punto D sobre

rsid
←→
AC, tal que C está entre A y D. (ver figura 7)
ive

Un
A C D
l
Figura 7
II.4 Dados tres puntos distintos de una recta, uno y solo uno de ellos está
entre los otros dos.
Observación: el axioma II.4, establece que por ejemplo, si A está entre

B y C, entonces B no está entre A y C y C no está entre A y B.
Definición 3 (Segmento). Sean A y B dos puntos. Al conjunto for-

mado por A y B y todos los puntos entre A y B se le llama segmento
AB y se nota AB ó BA.
A y B se llaman extremos del segmento y se dice que ellos determinan
al segmento. Los puntos que están entre A y B se llaman puntos in-
←→
as
teriores del segmento AB. Los demás puntos de AB se llaman puntos
atic
exteriores.
atem
En consecuencia :
AB = {A, B} ∪ {X/X es un punto que está entre A y B}.
eM
Los puntos interiores a AB los denotamos por IntAB; por tanto
o. d
IntAB = {X/X es un punto que está entre A y B}.
ept
Si A y B representan el mismo punto diremos que AB es un segmento
,D
nulo.
uia
II.5 Si D está entre A y C y X está entre D y C, entonces X está entre A

tioq
y C. (ver figura 8).

An
A D X
C
l
de
ad
rsid
Figura 8
ive
Observación: de II.2 y II.5 se sigue que un segmento tiene infinitos

Un
puntos y lo propio para una recta.
Definición 4 . Un conjunto no vacı́o de puntos se denomina figura.
Definición 5 . Diremos que una figura es convexa si dados dos pun-

tos cualesquiera de ella, el segmento determinado por estos puntos, está
contenido en la figura. En caso de no cumplirse este enunciado, dire-
mos que la figura es no convexa. (ver figuras 9 y 10)
as
atic
Figura 9. Figura Convexa Figura 10. Figura no convexa
atem
Teorema 4 .
La intersección no vacı́a de dos conjuntos convexos es un conjunto
eM
convexo.
o. d
Demostración. Sean A y B conjuntos convexos.
ept
Sean X, Y ∈ A ∩ B. Probemos que XY ⊂ A ∩ B.
Sea Z ∈ XY ; esto es: Z es X ó Z es Y ó Z está entre X y Y .
,D
Si Z es X ó Z es Y , entonces Z ∈ A ∩ B.
uia
Si Z está entre X y Y , como X, Y ∈ A ∩ B, X, Y ∈ A luego XY ⊂ A

ya que A es convexo; en consecuencia Z ∈ A.
tioq
En forma análoga podemos concluir que Z ∈ B.

Luego Z ∈ A ∩ B; por tanto, XY ⊂ A ∩ B.
An
de
Observación: la unión de dos conjuntos convexos, no necesariamente

es un conjunto convexo. Veamos un contraejemplo.
ad
rsid
D
ive
l
Un
Figura 11
Sean A, B, C, D cuatro puntos distintos sobre una recta l; tales que:

AB ∩ CD = φ (ver figura 11).
B, C ∈ AB ∪ CD y BC 6⊂ AB ∪ CD
Luego, AB ∪ CD es no convexo.
Definición 6 . Sea O un punto de la recta l, A, B otros dos puntos

diferentes de la misma. Si O no está entre A y B, diremos que los
puntos A y B están sobre l a un mismo lado del punto O. Si O está
entre A y B diremos que los puntos A y B están sobre la recta l en
lados diferentes con respecto al punto O. (ver figura 12).

A B
O
as
l

atic
B A O
l

atem
A O B
l
eM
Figura 12
o. d
II.6 Axioma de separación de la recta. ept
,D
Un punto O de una recta l divide a todos los demás puntos de ésta

uia
en dos conjuntos no vacı́os, de modo que dos puntos cualesquiera de l

tioq
pertenecientes al mismo conjunto están a un mismo lado de O, mien-

tras que dos puntos pertenecientes a distintos conjuntos se encuentran
An
en lados diferentes de O.
de
Ilustración: (ver figura 13).

ad
rsid
i) A, B están a un mismo lado de O. C, D están en un mismo lado

de O.
ive
ii) B, C están en lados diferentes de O. Lo propio para: A y C; A y

Un
D; B y D
iii) A y B pertenecen a un conjunto distinto al conjunto que contiene
a C y D.
Definición 7 (Semirecta). Decimos que un punto O de una recta

l, conjuntamente con algún otro punto A de la misma, determina la
−→
semirrecta OA, que notaremos OA; los puntos que están del mismo
lado que A con respecto a O se llaman puntos de la semirrecta OA; el
punto O, origen de la semirrecta OA (ver figura 14).
A O
B
C D l
Figura 13
O A l
as
Figura 14
atic
atem
En consecuencia:
−→
OA = {X/X es un punto que está entre O y A} ∪ {A} ∪ {X/A es un
eM
punto que está entre O y X}
Observaciones:
o. d
• El axioma II.6 nos permite, dada una recta l, O y A puntos distin-
ept
tos, establecer una partición de la recta en tres conjuntos convexos
y disjuntos ası́: (ver figura 15)
,D
uia
−→
tioq
l = {O} ∪ OA ∪ {X/O está entre A y X}
O
An
X A
l
de
ad
Figura 15
rsid
ive
• Si O, A, B son puntos de una recta y O está entre A y B diremos

−→ −−→
que OA y OB son semirrectas opuestas. (ver figura 16).
Un

B
O
A
l
Figura 16
II.7 Axioma de separación del plano.
π
Cada recta l contenida en un plano , divide los puntos de este plano
que no le pertenecen, en dos conjuntos no vacı́os, de manera tal que
dos puntos cualesquiera A y A0 de conjuntos diferentes determinan un
segmento AA0 , que contiene algún punto de la recta l, mientras que
dos puntos arbitrarios A y A00 de un mismo conjunto determinan un
segmento AA00 , dentro del cual no hay ningún punto de l. (ver figura
as
17)
atic
A
atem
l
eM
A”
o. d
π A’
ept
,D
Figura 17
uia
tioq
Observaciones:
←→ ←→
π π
An
i) Dados: AB⊂ , Q ∈ , Q 6∈AB, entonces el axioma II.7 nos per-

mite definir dos conjuntos no vacı́os que denominaremos
de
semiplanos y que notaremos ası́: (ver figura 18 )

←→ ←→
π
ad
←→ o AB /Q y que leeremos: semiplano de borde AB y que

AB: Q
rsid
contiene al punto Q.
ive
←→ ←→
π ←→
AB:∼Q
o AB / ∼ Q y que leeremos: semiplano de borde AB y
Un
que no contiene al punto Q.
ii) Con las condiciones establecidas en i), el axioma II.7 nos permite
establecer una partición del plano π
en tres conjuntos convexos
y disjuntos ası́:
←→ ←→ ←→ ←→
π =π ←→
AB: Q
∪ AB ∪ π ←→
AB: ∼Q
o π =AB /Q ∪ AB ∪ AB∼ Q
Q
l
B
A
π
as
atic
Figura 18
atem
II.8 Axioma de separación del espacio.
eM
Todo plano π divide los puntos del espacio que no le pertenecen en dos
o. d
conjuntos no vacı́os, de manera tal que dos puntos cualesquiera A y B
de conjuntos diferentes, determinan un segmento AB dentro del cual
ept
π
hay algún punto del plano , mientras que dos puntos cualesquiera A
,D
y A0 de un mismo conjunto, determinan un segmento AA0 dentro del
cual no hay puntos comunes con el plano . π
uia
tioq
Observaciones:
An
i) Los conjuntos definidos por el axioma II.8 se denominan semies-

pacios.
de
ii) El axioma II.8 establece una partición del espacio en tres conjuntos
ad
convexos y disjuntos.
rsid
Definición 8 (Angulo). El conjunto formado por dos semirrectas

que tienen el mismo origen, incluyendo este punto, se llama ángulo.
ive
Si las dos semirectas coinciden, entonces el ángulo que determinan se

Un
llama nulo. Si las dos semirrectas no coinciden pero están sobre una
misma recta, el ángulo se llama llano.
−→ −−→
Notación: si OA y OB son dos semirrectas distintas, entonces el ángulo
que forman se denotará por cualquiera de los sı́mbolos (Ver Figura 19):
[ ó BOA;
AOB [ ]AOB ó ]BOA; ](− → −−→ −−→ −→
OA, OB) ó ](OB, OA)
−→ −−→
OA y OB se denominan lados del ángulo.
O se denomina vértice del ángulo.
B

O
A
Figura 19
as
atic
Definición 9 . Un ángulo no-nulo y no-llano divide al plano en dos re-
atem
giones de tal manera que en una y sólo una de las regiones, cualesquiera
dos puntos siempre pueden unirse por un segmento que no intersecta el
ángulo. La región que posee esta propiedad se llama interior del ángulo
eM
y la otra región se llama exterior del ángulo. (ver figura 20).
o. d

B ,D
ept
[
Interior del ángulo AOB

uia
tioq
O A
π
An
Figura 20
de
ad
Observaciones:
rsid
i) De acuerdo con la definición 9, podemos concluir que el interior

ive
de un ángulo es un conjunto convexo.

[ lo notaremos: Int(AOB).
[
Un
ii) El interior de AOB

←→ ←→
[ = OA /B ∩ OB /A.
iii) Int(AOB)
Teorema 5 .
Si P es un punto sobre una recta l y Q es un punto que no está en
−→
π
dicha recta, entonces la semirrecta P Q está contenida en l : Q.
Demostración (Ver figura 21). Sea

−→
π
el plano determinado por l y
Q y sea T un punto de la semirrecta P Q distinto de Q.
l P

P’
as
Figura 21
atic
atem
Claramente T es un punto del plano . π
π
Veamos que T está en el semiplano l : Q.
eM
Razonando por reducción al absurdo: supongamos que T está en el
←→
π
semiplano l :∼ Q. Por consiguiente la recta T Q pasa por el punto
o. d
P 0 de l, tal que P 0 está entre T y Q (Axioma de separación del plano)
←→ ←→ ←→
ept
y como además T está en la recta P Q, entonces las rectas P Q y T Q
coinciden y por lo tanto, P y P 0 son el mismo punto; de lo cual se sigue
,D
−→
que P está entre T y Q, o sea que T no está en la semirrecta P Q en
uia
contradicción con el supuesto inicial. Lo anterior nos permite concluir

π
que T está en el semiplano l : Q como se querı́a demostrar.
tioq
Corolario 1 . La semirrecta que tiene su origen en el vértice de un

An
ángulo no nulo y no llano y un punto en el interior de dicho ángulo,

está contenida en el interior del ángulo. (ver figura 22)
de
ad

rsid
B
ive

Un
O
A
Figura 22
−−→
[ Veamos que la semirrecta OD
Demostración: sea D ∈ Int(AOB).
[
está contenida en Int(AOB).
Está claro por la hipótesis que D es un punto del semiplano π ←→

OA: B
y
también es un punto del semiplano ←→ π
OB: A
.
−−→
Por el Teorema 5 la semirrecta OD está contenida en π ←→
OA: B
y
−−→
π
también en ←→ ; esto es OD está contenida en lnt(AOB).
OB: A
[
Teorema 6 .
[ (no-nulo y no llano), los puntos interiores del
Dado un ángulo BAC
as
segmento BC están en el interior de dicho ángulo.
atic
Demostración (ver figura 23). Supongamos que D es un punto inte-
atem
rior a CB. Vamos a demostrar que D es un punto interior al ángulo
[
BAC.
eM

o. d
C
D ept

,D
B
A
uia
Figura 23
tioq
An
De la hipótesis tenemos que D está entre B y C; por lo tanto, es-

tos dos puntos están en lados distintos respecto a D y en consecuen-
de
←→
cia C 6∈ BD. Afirmamos que BD ∩ AC= φ, en efecto, puesto que
ad
←→ ←→ ←→
BD ⊂BC y BC ∩ AC= {C} y como C 6∈ BD, queda sustentado lo
rsid
afirmado.
Por tanto: BD ⊂ ←→ π
(1)
ive
AC: B
Un
De la hipótesis también se infiere que B 6∈ DC y afirmamos que

←→ ←→ ←→ ←→
DC ∩ AB= φ, en efecto, puesto que DC ⊂BC y BC ∩ AB= {B};
pero B 6∈ DC. En Consecuencia:
π
DC ⊂ ←→
AB: C
(2)
De (1) y (2) podemos concluir que D ∈ π ←→

AB: C
∩ π ←→
AC: B
esto es: D
[
pertenece al interior del ángulo BAC.
Teorema 7 .
[ un ángulo no nulo y no llano; D un punto interior a dicho
Sea BAC
ángulo. Si F es un punto tal que A está entre F y C, entonces los
puntos B y F están en el mismo semiplano determinado por la recta
←→
AD.
B
as
atic

atem
D

eM
F C
A
o. d
G
Figura 24
ept
,D
Demostración (Ver Figura 24): esta consistirá en demostrar que el

uia
←→
segmento BF no tiene puntos en la recta en AD. Dividiremos la prueba
tioq
en tres puntos, a saber:

An
i) Veremos que el punto A no puede estar en el segmento F B.
−−→
de
ii) Veremos que ningún punto de F B está en la semirecta AD.

ad
−→
rsid
iii) Veremos que ningún punto de F B está en la semirrecta AG, siendo

−−→
G un punto en la semirrecta opuesta a AD.
ive
La prueba de estas tres partes permite afirmar que F B no corta a la

Un
←→
recta AD y por tanto, que los puntos F y B están en un mismo semi-
←→
plano respecto de la recta AD.
Para probar i) comencemos por afirmar que la hipótesis del enunciado

garantiza que A es un punto distinto de B y F .
Razonando por reducción al absurdo, supongamos que A es un punto
←→
en el interior de F B. Puesto que F se tomó en la recta AC, las rectas
←→ ←→
AC y F B tienen en común los puntos A y F y por tanto dichas rectas
coinciden (Axioma I.1), de donde se concluye que el punto B está en

←→
la recta AC, lo cual lleva a la contradicción con la hipótesis de que el
[ es no nulo y no llano. En esta forma queda demostrada
ángulo BAC
la parte i).
Para probar las partes ii) y iii) se debe tener en cuenta que la semirrecta
→
AD está contenida en el interior del ángulo BAC, [ (Corolario) y por
π
as
tanto, está contenida en el semiplano ←→ como también en el semi-
AB: C
π
atic
plano ←→ .
AC: B
atem
Para probar ii) afirmamos que los puntos F y C están en semiplanos
←→
opuestos respecto a la recta AB, ya que A está entre F y C y estos
eM
←→
puntos no están en AB. Según lo anterior, F está en el semiplano
−−→
π y por el Teorema 5, es claro que la semirecta F B está en el
o. d
←→
AB: ∼C
−−→
semiplano ←→π AB: ∼C
. Por otra parte, ya se afirmó que la semirrecta AD
π
está en el semiplano ←→ .
AB: C
ept
Siendo disjuntos los semiplanos ←→ π π
y ←→ y siendo B 6= A, se
,D
AB: ∼C AB: C
−−→
sigue que ningún punto de F B está en la semirrecta AD.
uia
tioq
Para demostrar la parte iii) tomamos en consideración que las se-

−−→ −→
mirrectas opuestas AD, AG están en semiplanos opuestos respecto a
An
←→ −−→ −→
π
la recta AC y como AD está en el semiplano ←→ , entonces AG
AC: B
de
←→
está en el semiplano π ←→
AC: ∼B
. Por otra parte, como F está en AC y
ad
←→
B es un punto que no está en AC, por el Teorema 5, se sigue que la
−−→
π
rsid
semirecta F B está en el semiplano ←→ . Siendo disjuntos los semi-

AC: B
π
planos ←→ π
y ←→ y siendo B 6= A, se concluye que el segmento
ive
AC: ∼B AC: B
−→
F B no tiene puntos en la semirrecta AG.
Un
Corolario 2 . Sea BAC [ un ángulo no nulo y no llano; D un punto

en el interior de dicho ángulo. Si F es un punto tal que A esta entre
−→ \
F y C, entonces AB ⊂ IntF AD.
2.4. AXIOMAS DE CONGRUENCIA 21
Teorema 8 (Teorema de la barra transversal).

[ (no nulo y no
Si D es un punto que está en el interior de BAC
−−→
llano), entonces AD intersecta a BC.
as
B

atic
D
atem
F
C
eM
A
o. d
Figura 25
ept
Demostración (ver figura 25). Razonando por reducción al absurdo.
,D
−−→
Supongamos que AD ∩ BC = φ. En consecuencia, B y C están en el
uia
←→
mismo semiplano con respecto a la recta AD (Axioma de separación
←→
tioq
del plano). Tomemos F ∈ AC tal que A está entre F y C, por tanto

←→
F B ∩ AD= φ por el Teorema 7; esto es, F y B están en el mismo
An
←→
semiplano respecto a la recta AD, concluyéndose por tanto que F y
←→
de
C están en el mismo semiplano respecto a AD; esto es contradictorio

puesto que A está entre F y C.
ad
−−→
Conclusión: AD ∩ BC 6= φ.
rsid
ive
Un
2.4 AXIOMAS DE CONGRUENCIA
2.4.1 LA RELACION DE CONGRUENCIA

Cuando se piensa en la forma y tamaño de las figuras geométricas, surge
de un modo natural la posibilidad de que dos o más figuras coincidan.
El paso siguiente de nuestro trabajo, consiste en establecer una relación
que incluye esta posibilidad en el tratamiento geométrico.
Vamos a denominar congruencia a esta nueva relación. Será suficiente
establecer sin definición dicha relación para segmentos y ángulos, y

después extenderla mediante definiciones para otras figuras u objetos
geométricos.
En adelante podremos hacer afirmaciones como:
AB es congruente con CD, o bien, ABC [ es congruente con DEF\.
La relación de congruencia será denotada por el signo primitivo ∼

= y
ası́ las anteriores afirmaciones se podrán escribir:
as
atic
AB ∼ [ ∼
= CD, ABC \
= DEF
atem
2.4.2 AXIOMAS DE CONGRUENCIA
eM
III.1 Axioma de la construcción del segmento
−−→
o. d
Sea AB un segmento cualquiera y CE una semirrecta de origen
−−→
C. Entonces existe en CE un único punto D tal que AB ∼
= CD
(ver figura 26). ept
,D
A B
uia
//
tioq

An
//
C D E
de
ad
Figura 26
rsid
En términos prácticos, este axioma afirma la posibilidad de cons-

ive
truir o trasladar un segmento haciendo uso, por ejemplo, de regla

Un
y compás.
Las construcciones geométricas se hacen con regla y compáz, el

compáz sirve para trasladar la magnitud del segmento y la regla
(sin numeración) para trazar rectas.
Construcción básica: construir con regla y compaz un segmento

−−→
en una semirecta dada OX, dado el segmento.
III.2 i) Propiedad reflexiva: cada segmento es congruente consigo

mismo, es decir:
AB ∼= AB
para todo segmento AB.
ii) Propiedad de simetrı́a: si AB ∼

= CD, entonces CD ∼
= AB.
iii) Propiedad transitiva: si AB ∼

= CD y CD ∼
= EF , entonces
as
∼
atic
AB = EF .
atem
III.3 Sean A, B, C puntos de una recta a y A0 , B 0 , C 0 puntos de a ó
de otra recta b, tales que B está entre A y C y B 0 entre A0 y C 0 .
eM
i) Si AB ∼= A0 B 0 y BC ∼ = B 0 C 0 , entonces AC ∼
= A0 C 0
o. d
ii) Si AB ∼
= A0 B 0 y AC ∼
= A0 C 0 , entonces BC ∼
= B0C 0
(ver figura 27). ept
,D
El anterior axioma expresa que la “suma” y la “diferencia” de

uia
segmentos congruentes, dan lugar a segmentos congruentes.

tioq
/
//
a
An
A B C
///
de
//
/

ad
b
rsid
C’ B’ A’
///
ive
Figura 27
Un
III.4 Axioma de la construcción del ángulo
−→ −−→
Sea ](OA, OB) un ángulo cualquiera y O 0 un punto de una recta
l situada en un plano . π
π
Sea l uno cualquiera de los semiplanos en que l divide a
−−
y π
0 →0 0
O C una de las semirrectas en que O divide a l. Entonces existe
−−→
π
una semirrecta única O0 D situada en el semiplano l tal que:
−→ −−→ −−→ −−→

](OA, OB) ∼
= ](O0 C 0 , O0 D)
(ver figura 28)
A
O’
C’
l
B
as
atic
D
πl
atem
O
eM
Figura 28
o. d
Igual que en III.1, este axioma afirma la posibilidad de construir
ept
o trasladar un ángulo haciendo uso por ejemplo, del compás y la
regla.
,D
uia
III.5 El siguiente axioma expresa que la relación de congruencia entre

tioq
ángulos verifica las propiedades reflexiva, simétrica y transitiva,

en términos similares a los del axioma III.2, es decir:
An
−→ −−→ −→ −−→
i) Reflexiva: ](OA, OB) ∼ = ](OA, OB)
de
−→ −−→ ∼ −−→ −−→

ii) Simétrica: si ](OA, OB) = ](O0 X, O0 Y ), entonces
−−→ −−→
ad
−→ −−→
](O0 X, O0 Y ) ∼
= ](OA, OB)
rsid
iii) Transitiva:
ive
−→ −−→ −→ −−→ −→ −−→ −−→ −−→

si ](OA, OB) ∼ = ](U C, U D) y ](U C, U D) ∼ = ](W X, W Y ),
−→ −−→ −−→ −−→
Un
entonces ](OA, OB) ∼ = ](W X, W Y )

−−→ −−→ −→
III.6 Sean OH, OK, OL semirrectas con un mismo origen O y situa-
das en un mismo plano α.
−−→ −−→ −−→
Sean O0 R, O0 S, O0 T semirrectas con un mismo origen O 0 y situa-
das en α ó en otro plano α0 .
−→ −−→ −−→
Supongamos además que OL está en el interior de ](OH, OK) y
−−→ −−→ −−→
O0 T en el interior de ](O0 R, O0 S) (ver figura 29). Entonces:
−−→ −→ −−→ −−→ −→ −−→ −−→ −−→
i) Si ](OH, OL) ∼ = ](O0 R, O0 T ) y ](OL, OK) ∼ = ](O0 T , O0 S),
−−→ −−→ −−→ −−→
entonces ](OH, OK) ∼ = ](O0 R, O0 S)
−−→ −→ −−→ −−→ −−→ −−→ −−→ −−→

ii) Si ](OH, OL) ∼
= ](O0 R, O0 T ) y ](OH, OK) ∼
= ](O0 R, O0 S),
−→ −−→ −−→ −−→
entonces ](OL, OK) ∼
= ](O0 T , O0 S)
H R
T
O
as
L
atic
S
K
atem
O’
eM
Figura 29
o. d
ept
Este axioma, lo mismo que el III.3, expresa que lo “suma” y
,D
la “diferencia” de ángulos congruentes, dan como “resultado”,
ángulos congruentes.
uia
tioq
Definición 10 (Triángulo). Sean A, B, C, tres puntos no col-

An
ineales. Los segmentos AB, BC, CA determinan el triángulo de

4
de
vértices A, B y C que denotaremos: 4ABC ó ABC.

ad
rsid
Los segmentos AB, BC y CA se llaman lados del triángulo. Los

[ BAC
ángulos ABC, [ y ACB [ se llaman ángulos interiores o simple-
ive
mente, ángulos del triángulo 4ABC y también serán denotados

b B,
por sus vértices, ó sea, A, b C.
b
Un
En un triángulo 4ABC, diremos que A b es el ángulo opuesto al

lado BC y B byC b son ángulos adyacentes a dicho lado. Recı́proca-
mente, BC se llama lado opuesto al ángulo A b y el mismo lado BC
se llama lado adyacente tanto a B b como a C.
b (ver figura 30).
Esta misma terminologı́a es aplicable a los otros ángulos y lados

del triángulo.
Angulo opuesto al lado BC
Angulos adyacentes a BC
as
B
C
atic
b
Lado opuesto al ángulo A
atem
Figura 30
eM
Definición 11 (Congruencia de triángulos)(Ver figura 31).
El triángulo 4ABC es congruente al triángulo 4A0 B 0 C 0 si:
o. d
AB ∼
= A0 B 0 , AC ∼
= A0 C 0 , BC ∼
= B0C 0
ept
[ ∼ = A\ [ ∼ = B\ [ ∼ = B\
,D
ABC 0 B 0 C 0 , BAC 0 A0 C 0 , BCA 0 C 0 A0
uia
tioq
A A’
An
de
ad
rsid
! !
ive
B C B’ C’
Un
Figura 31
Escritura simbólica: 4ABC ∼ = 4A0 B 0 C 0

La definición anterior establece que dos triángulos son congruentes
si tanto los lados como los ángulos se presentan en pares con-
gruentes.
El siguiente axioma establece condiciones mı́nimas para la con-

gruencia de dos triángulos y se denomina axioma LADO-ÁNGULO-
LADO, en sı́mbolos: L-A-L.
III.7 Axioma L-A-L
Si los triángulos 4ABC y 4A0 B 0 C 0 presentan las congruencias:

AB ∼ = A0 B 0 , AC ∼ [ ∼
= A0 C 0 y BAC = B\ 0 A0 C 0 , entonces (ver figura
as
32)
atic
4ABC ∼ = 4A0 B 0 C 0 .
atem
eM
A A’
o. d
ept
,D
uia
tioq
B C B’ C’
An
Figura 32
de
ad
Según el axioma L-A-L, dos triángulos son congruentes si en uno

de ellos existen dos lados y el ángulo comprendido (entre dichos
rsid
lados), respectivamente congruentes a dos lados y el ángulo com-

prendido (entre dichos lados), en el otro triángulo.
ive
E1 siguiente teorema establece que la relación de congruencia en-

Un
tre segmentos (respectivamente entre ángulos), mantiene la dis-

posición de los puntos en una recta (respectivamente, la disposición
de las semirrectas que tienen el origen en el vértice de un ángulo).
Teorema 9 .
Sean A, B, C tres puntos de una recta a y A0 , B 0 , C 0 tres puntos de
una recta b tales que, AB ∼= A0 B 0 y AC ∼ = A0 C 0 .
Si B está entre A y C y B 0 está del mismo lado que C 0 con respecto
a A0 (ver figura 33), entonces B 0 está entre A0 y C 0 .
" /
" "
as
a
atic
A B C
//
# # #$#
atem
/
A’ B’ C’ C”
b
eM
//
o. d
Figura 33
ept
Demostración: por el axioma de construcción del segmento, existe
,D
un punto C 00 en b tal que B 0 está entre A0 y C 00 y además BC ∼
= B 0 C 00 .
uia
(ver figura 33). El teorema quedará demostrado si se logra probar que

C 00 coincide con C 0 .
tioq
De las congruencias: AB ∼ BC ∼
An
= A0 B 0 y = B 0 C 00
de
se obtiene AC ∼ = A0 C 00 (“Suma” de segmentos), y como AC ∼ = A0 C 0

∼
ad
0 0 0 00
(hipótesis), se concluye A C = A C (transitividad). De donde se
sigue, como una consecuencia del axioma de construcción del segmento,
rsid
que C 0 y C 00 coinciden, pues están en la recta b y del mismo lado de

A0 . Ya que C 00 se tomó de modo que B 0 está entre A0 y C 00 , se concluye
ive
que B 0 está entre A0 y C 0 , como se querı́a demostrar.

Un
Tiene lugar un teorema, análogo al anterior, para ángulos.

Teorema 10 .
Supongamos que en cierto plano fijo se tienen las semirrectas
−−→ −−→ −→
OH, OK y OL y que en el mismo plano o en otro cualquiera, se
−−−→ −−−→ −−→
tienen las semirrectas O0 H 0 , O0 K 0 y O0 L0 . Supongamos además que
−−→ −→ ←→
las semirrectas OK y OL están al mismo lado de la recta OH y que
−−−→ −−→
las semirrectos O0 K 0 , O0 L0 tienen disposición análoga con respecto a
←→
−−→ −−→ −−−→ −−−→
O0 H 0 . Entonces, si ](OH, OK) ∼ = ](O0 H 0 , O0 K 0 ),
−−→ −→ −−−→ −−→
](OH, OL) ∼ = ](O0 H 0 , O0 L0 ),
as
atic
−−→ −−→ −→
Si la semirrecta OK está en el interior de ](OH, OL) (Ver
−−−→
figura 34), la semirrecta O0 K 0 estará ası́ mismo en el interior de
atem
−−−→ −−→
](O0 H 0 , O0 L0 ).
eM
H L’
o. d
K’
K
ept
,D
O L O’ H’
uia
Figura 34
tioq
An
Teorema 11 (Caso ángulo-lado-ángulo: A-L-A).

Sean 4ABC y 4A0 B 0 C 0 dos triángulos tales que:
de
AB ∼ [ ∼
= A0 B 0 , BAC = B\ [ ∼
0 A0 C 0 , CBA = C\ 0 B 0 A0 Entonces 4ABC ∼
=
ad
0 0 0
4A B C
rsid
Demostración (Ver figura 35). Esta consistirá en demostrar que

ive
AC ∼= A0 C 0 con lo cual se tiene 4ABC ∼= 4A0 B 0 C 0 (por el axioma

L-A-L).
Un
−→
Sea D un punto en la semirrecta AC tal que: AD ∼
= A0 C 0 (axioma de
construcción de segmento).
Por tanto, 4ABD ∼

= 4A0 B 0 C 0 (axioma L-A-L). (ver figura 36).
\ ∼
Luego DBA = C\ [ ∼
0 B 0 A0 y como CBA = C\ 0 B 0 A0 , (hipótesis), se tiene
\∼
por transitividad, DBA [ por tanto (por el Ax. de construcción
= CBA
−−→ −−→
de ángulo) BC ≡ BD luego (por T.1) C ≡ D; luego AC ∼ = A0 C 0
C C’
A B A’ B’
as
atic
Figura 35
atem
C C’
eM
D
o. d
ept
,D
A B A’ B’
uia
Figura 36
tioq
An
Definición 12 . i) Se llama triángulo isósceles a aquel que tiene dos

de
lados congruentes. (Ver figura 37).

ad
ii) Si el triángulo 4ABC es isósceles con AB ∼

rsid
= AC, se llama base del

triángulo al tercer lado BC.
ive
Un
as
atic
B C
atem
base
eM
Figura 37
o. d
Teorema 12 .
ept
En todo triángulo isósceles, los ángulos adyacentes a la base son con-
,D
gruentes.
uia
tioq
Demostración: sea 4ABC un triángulo isósceles con AB ∼ = AC.

b b
Veamos que los ángulos de la base, B y C son congruentes.
An
de
Sean D y E puntos tales que B está entre A y D, C entre A y E y

BD ∼= CE. (ver figura 38).
ad
A
rsid
ive
Un
B C
D E
Figura 38
Por suma de segmentos, AE ∼ = AD.

Entonces en los triángulos 4ABE, 4ACD se tiene:
AB ∼
= AC, AE ∼ [ ∼
= AD, BAE \
= CAD
(el ángulo del vértice en A es común para ambos triángulos).
Se concluye que dichos triángulos son congruentes (L-A-L). De donde:
as
\∼
BDC \ BE ∼
= BEC, [ ∼
= CD, ABE \
= ACD
atic
Consideremos ahora los triángulos 4BDC, 4CEB. En dichos triángulos
atem
se tiene:
BD ∼= CE, CD ∼ \∼
= BE, BDC \
= BEC
eM
luego 4BDC ∼ = 4CEB (axioma L-A-L), de donde, EBC\∼ \
= DCB
[ ∼
y puesto que ya se tenı́a ABE \ se sigue por diferencia de
= ACD,
o. d
[ ∼ [
ángulos que ABC = ACB que era lo que se querı́a demostrar.
Definición 13 :
ept
,D
i) Dos ángulos se llaman adyacentes si tienen el mismo vértice, un lado
común y ninguno de los lados de uno de ellos está en el interior del
uia
otro (ver figura 39).

tioq
ii) Dos ángulos hacen un par lineal si son adyacentes y los lados no
An
comunes forman semirectas opuestas (ver figura 40).

de
iii) Dos ángulos se llaman opuestos por el vértice si tienen el mismo

ad
vértice y los lados de ambos ángulos forman semirectas opuestas (ver

rsid
figura 41).
ive
C D
Un
B B C
O B
O A C A A
O
Figura 39 Figura 40 Figura 41
Adyacentes Par lineal Opuestos por el vértice
[ BOC
En la Figura 39, los ángulos AOB, \ son adyacentes. En la Figura
[ y BOC
40, los ángulos AOB \ hacen un par lineal. En la Figura 41, los
[ y BOD
ángulos AOC \ son opuestos por el vértice.
Observaciones:
i) Todo ángulo hace un par lineal con, exactamente, dos de sus

[ hace un
ángulos adyacentes. En la Figura 41, el ángulo AOB
\ y también con AOC.
par lineal con BOD [
ii) Cuando dos rectas se cortan, hacen, alrededor del punto común,
as
cuatro ángulos que son opuestos por el vértice de dos en dos. En
atic
[ y COD,
la Figura 42, las parejas AOB \ ası́ como AOC [ y BOD \
son respectivamente ángulos opuestos por el vértice.
atem
B
eM
A
o. d
O ept
D
,D
uia
C
tioq
Figura 42
An
de
Teorema 13 (Teorema del par lineal).

Si uno de los ángulos de un par lineal, es congruente a uno de los
ad
ángulos de otro par lineal, entonces los otros dos ángulos también son
rsid
congruentes.
ive
[ [ un par lineal y A\ \
Un
Demostración: sean AOB, AOC 0 O0 B 0 , A 0 O0 C 0
[
otro par lineal tales que AOB = A\
∼ 0 O 0 B 0 (Figura 43). Veamos que
[ ∼
AOC = A\
0 O0 C 0 .
Supongamos que los puntos A0 , B 0 , C 0 se tomaron de tal modo que:

OA ∼
= O0 A0 , OB ∼
= O0 B 0 , OC ∼
= O0 C 0 (Ver Figura 44)
Se tiene por tanto, 4AOB ∼ = 4A0 O0 B 0 , (L-A-L) y
CB ∼ = C 0 B 0 (Suma de segmentos congruentes).
A A’
C B C’ B’
O O’
Figura 43
A A’
as
atic
atem
C C’
O B O’ B’
eM
Figura 44
o. d
[ ∼
De donde, OBA = O\
0 B 0 A0 y AB ∼
= A0 B 0
ept
,D
Ahora se puede concluir que: 4ABC ∼ = 4A0 B 0 C 0 (L-A-L),

uia
[ ∼
Luego, ACB = A\0 C 0 B 0 y AC ∼
= A0 C 0
tioq
De estas dos últimas relaciones junto con OC ∼

An
= O0 C 0 podemos afirmar
que 4AOC ∼ = 4A0 O0 C 0 (L-A-L) y por tanto concluir que:
de
[ ∼
AOC = A\0 O 0 C 0 como se querı́a.
ad
Corolario 3 . Todos los ángulos llanos son congruentes.

rsid
ive
Corolario 4 . Dos ángulos opuestos por el vértice, son congruentes.

Un
Demostración: sean AOB[ y COD\ ángulos opuestos por el vértice,

−→ −−→
luego las semirrectas OC y OB son semirectas opuestas, lo mismo que
−→ −−→
las semirrectas OA y OD. (ver figura 45)
[ y COD
Veamos que los ángulos AOB \ son congruentes.
Esto resulta como una consecuencia del teorema anterior, ya que el
[ hace un par lineal con cada uno de dichos ángulos.
ángulo AOC
A C
B D
Figura 45
as
atic
El Teorema 13 permite demostrar el recı́proco del Teorema 12, como
atem
se verá a continuación.
eM
Teorema 14 .
Todo triángulo que tenga dos de sus ángulos congruentes, es isósceles.
o. d
Demostración: consideremos en el triángulo 4ABC, los ángulos
[ y ACB
ABC [ congruentes y veamos que AB ∼ ept
= AC (Figura 46).
,D
Para ello, sean D y E puntos tales que B está entre A y D, C entre A

uia
y E y BD ∼ = CE.
tioq
[ ∼
Por el Teorema 13, y en vista de que ABC [ y además ABC
= ACB [
An
\ hacen un par lineal y ACB

y CBD [ y BCE \ hacen otro par lineal, se
tiene:
de
\∼
CBD \
= BCE
ad
A
rsid
ive
Un
B C
D E
Figura 46
Siendo BC un lado común para los triángulos 4CBD y 4CBE, se

concluye que dichos triángulos son congruentes (L-A-L). De donde:
BE ∼ \∼
= CD, BDC \ EBC
= BEC, \∼ \
= DCB
[ ∼
Como se tienen las congruencias, ABC [ y EBC
= ACB \∼ \ se
= DCB,
[ ∼
sigue que ABE \ (Suma de ángulos congruentes) y por lo tanto
= ACD
\ ∼
los triángulos 4ABE, 4ACD que tienen además BEC \ y
= BDC
as
BE ∼ = CD, son congruentes (A- L-A), de donde AB ∼= AC como se
atic
querı́a demostrar.
atem
Observación: los Teoremas 12 y 14 se pueden reunir en un solo enun-
ciado, ası́:
eM
Teorema 15 (Teorema del triángulo isósceles).
o. d
Un triángulo es isósceles si y solo si dos de sus ángulos son con-
gruentes.
ept
,D
Definición 14 . Un triángulo 4ABC se llama equilátero si sus tres
lados son congruentes, es decir, AB ∼
= AC ∼
uia
= BC.
tioq
Una consecuencia del Teorema 15 es la siguiente:

An
Corolario 5 . Un triángulo es equilátero si y solo si sus ángulos inte-

de
riores son congruentes.

ad
Observación: la demostración del corolario anterior se propone al lector.

rsid
El teorema que sigue es un tercer caso de congruencia de triángulos.

ive
Teorema 16 (Caso lado-lado-lado: L-L-L).

Un
Si un triángulo tiene sus tres lados respectivamente congruentes a

los tres lados de otro triángulo, entonces estos dos triángulos son
congruentes .
Demostración: sean 4ABC y 4A0 B 0 C 0 dos triángulos que tienen:

(Figura 47),
AB ∼
= A0 B 0 , AC ∼
= A0 C 0 , BC ∼
= B0C 0
A A’
P
B C C’
B’
as
atic
A”
atem
Figura 47
eM
o. d
←→
Consideremos en el semiplano BC / ∼ A el punto A00 tal que:
\00 ∼
CBA = A\0 B 0 C 0 , A00 B ∼ ept
= A0 B 0 (Axiomas de construcción del segmento
y el ángulo).
,D
Según el axioma de separación del plano, el segmento AA00 tiene un
uia
←→
punto P en la recta BC. Para dicho punto P se presentan tres opciones:
1. P está en el interior de BC, como en la Figura 47.
tioq
2. P coincide con uno de los extremos, como en la Figura 48.

An
3. P está en el exterior de BC, como en la Figura 49.

de
A A
ad
rsid
B
ive
B C P C
Un
A” A”
Figura 48 Figura 49
Vamos a demostrar el caso 1. Los otros dos se dejan al lector.

Los triángulos 4A0 B 0 C 0 y 4A00 BC son congruentes por tener:
A00 B ∼
= A0 B 0 , BC ∼
= B0C 0, \00 ∼
CBA = C\
0 B 0 A0 (L-A-L).
Veamos ahora que los triángulos 4ABC y 4A00 BC son congruentes.

Por una parte se tiene AB ∼ = A0 B 0 y A 0 B 0 ∼
= A00 B, luego AB ∼
= A00 B
00
(transitividad), de donde el triángulo 4ABA es isósceles y por tanto
\00 ∼
BAA = BA\ 00 A (Teorema 12).
as
En la misma forma, el triángulo 4ACA00 es isósceles y por tanto:
atic
\00 ∼
CAA \
= CA 00 A.
atem
Por otra parte, el segmento AA00 pasa por P , punto entre B y C, luego
eM
(por Teorema 6 y T. de la barra transversal), dicho segmento está
[ y BA
en el interior de los ángulos BAC \ 00 C, y por el axioma de “Suma”
o. d
[ ∼
de ángulos congruentes se tiene: BAC = BA\ 00 C.
ept
Finalmente, los triángulos 4ABC y 4A00 BC tienen:
,D
AB ∼
= A00 B, AC ∼ [ ∼
= A00 C, BAC \
= BA 00 C
uia
tioq
y por el axioma L-A-L se concluye, 4ABC ∼ = 4A00 BC. Como ya se

tenı́a 4A0 B 0 C 0 ∼
= 4A00 BC entonces, por transitividad, (ver la siguiente
An
observación de este teorema), 4ABC ∼ = 4A0 B 0 C 0 como se querı́a de-

mostrar.
de
ad
Construción básica: construir un ángulo dado, conociendo el lado

rsid
del ángulo y el semiplano determinado por el lado dado.

ive
Observación: la transitividad para la congruencia entre triángulos es

Un
un resultado que se obtiene fácilmente a partir de la transitividad de

la congruencia tanto entre segmentos como entre ángulos.
Notación: vamos a denotar a las semirrectas que un punto determina

en una recta a, por a y a’ . En consecuencia, a y a’ son semirrectas
opuestas de una misma recta a. (ver figura 50).
El ángulo formado por dos semirrectas a y b lo denotaremos: ](a, b)

(Ver Figura 51).
a a
A
a
A b
](a, b)
as
a0
atic
Figura 50 Figura 51
atem
Definición 15 . i) Dados dos segmentos AB, A0 B 0 se dice que AB es
eM
mayor que A0 B 0 , o bien que A0 B 0 es menor que AB, si existe un punto
C en el interior de AB tal que AC ∼ = A0 B 0 . (Figura 52).
o. d
ept
ii) Dados dos ángulos: ](a, b), ](c, d) se dice que ](a, b) es mayor
que ](c, d), o bien que ](c, d) es menor que ](a, b), si existe una
,D
→
−
semirrecta h en el interior y con origen en el vértice de ](a, b) tal
uia
que (ver Figura 53):

](a, h) ∼
= ](c, d).
tioq
An
A C B A’ B’
de
Figura 52
ad
rsid
b
ive
h d
Un
a c
Figura 53
Observación:
i) Para expresar que un segmento es mayor que otro se emplea el
sı́mbolo >. Dicho sı́mbolo también será empleado para expresar
que un ángulo es mayor que otro.
ii) Para la expresión menor que será empleado el sı́mbolo <.
Teorema 17 (Ley de tricotomia para segmentos).

Dados dos segmentos cualesquiera AB y CD, siempre se cumple una
de las tres relaciones siguientes:
as
AB < CD o AB > CD o AB ∼
= CD
atic
y cada una de ellas excluye las otras dos.
atem
Demostración: por el axioma de construcción del segmento, sobre la
−→ −→
semirrecta AB existe un punto X de la semirrecta AB tal que:
eM
AX ∼
= CD
o. d
De acuerdo con el axioma II.4 se presentan tres posibilidades:
ept
1. Puede ocurrir que X esté entre A y B en cuyo caso: AB > CD.
,D
uia
2. Puede ocurrir que B esté entre A y X en cuyo caso: AB < CD.

tioq
3. Puede ocurrir que X coincida con B en cuyo caso: AB ∼

= CD.
An
Veamos ahora que cualquiera de las posibilidades que se de, excluye las
de
otras dos. Supongamos por ejemplo AB < CD. Entonces existe un

ad
punto X en el interior de CD tal que: CX ∼ = AB.

∼
rsid
Si también fuera posible AB = CD, entonces se tendrı́a por transi-

tividad, CX ∼ = CD, de donde X coincidirı́a con D (por el Ax. de
ive
construcción de ángulo), contradicción, ya que X esta en el interior de

CD .
Un
Tampoco puede tener lugar AB > CD simúltaneamente con AB < CD

ya que si ambas relaciones se dieran, se tendrı́a un punto Y entre A y
B tal que:
AY ∼= CD.
Puesto que ya se tenı́a AB ∼= CX se tiene por una aplicación del
Teorema 9 que D está entre C y X, lo cual contradice la afirmación
hecha antes de que X es un punto interior de CD.
Teorema 18 (Propiedad transitiva).

Sean AB < CD y CD < EF . Entonces AB < EF .
Demostración: puesto que CD < EF , existe un punto Y entre E y

F tal que: CD ∼= EY
De la misma manera, puesto que AB < CD, existe un punto X entre
C y D tal que: AB ∼
= XC (ver figura 54).
as
Aplicando el axioma de construcción del segmento, sea P un punto de
atic
−→
la semirrecta EF tal que: EP ∼= CX.
atem
Entonces por el Teorema 9, se sigue que P está entre E y Y . Además,
por transitividad se tiene AB ∼
= EP .
eM
o. d
A B
ept
,D
C X D
uia
tioq
An
E P Y F
de
Figura 54
ad
rsid
En conclusión (por el Ax. II.5), se tiene un punto P entre E y F tal

que: AB ∼
= EP lo cual significa que AB < EF .
ive
Un
Los siguientes corolarios son de fácil demostración, la cual se deja para

el lector.
Teorema 19 .
Si AB ∼
= CD y CD < EF , entonces AB < EF .
Corolario 6 . Si el segmento CD está contenido en el segmento AB,

entonces CD < AB.
Observación: análogos a los dos últimos teoremas y a los anteriores

corolarios, tienen lugar resultados relativos a ángulos, 1os cuales se
enuncian a continuación.
Teorema 20 .
i) Dados dos ángulos cualesquiera, ](a, b) y ](c, d), siempre se
cumple una de las relaciones siguientes:
as
](a, b) > ](c, d), ](a, b) < ](c, d), ](a, b) ∼
= ](c, d)
atic
y cada una de ellas excluye las otras dos.
atem
ii) Propiedad transitiva: sean ](a, b) < ](c, d) y ](c, d) <
eM
](e, f). Entonces, ](a, b) < ](e, f)
o. d
iii) Si ](a, b) ∼ = ](c, d) y ](c, d) < ](e, f), entonces
](a, b) < ](e, f)
ept
,D
iv) Si el ángulo ](c, d) tiene el mismo vértice y está en el interior
uia
del ángulo ](a, b), entonces ](c, d) < ](a, b)

tioq
An
2.4.3 PERPENDICULARIDAD Y PARALELISMO

de
Definición 16 . Si los ángulos de un par lineal son congruentes, cada

uno de ellos se llama ángulo recto. (Ver figura 55).
ad
Para indicar que un ángulo es recto vamos a emplear la siguiente repre-

rsid
sentación gráfica: ⊥
ive
El siguiente teorema garantiza que existen ángulos rectos:

Un
Teorema 21 (Existencia del ángulo recto).

Sean O y A puntos de una recta l. A partir de O se trazan segmentos
congruentes OC y OD situados en semiplanos opuestos respecto a l,
[ ∼
tales que: AOC \ (Ver Figura 56). Entonces las rectas l y
= AOD
←→
CD se cortan formando ángulo recto.
Demostración: puesto que los puntos C y D están en lados opuestos

←→
a la recta l, el axioma de separación del plano asegura que la recta CD
as
atic
atem
Figura 55
eM
[
pasa por un punto P de l. Además los ángulos OP \
C, OP D hacen un
o. d
par lineal ya que tienen un lado común OP y los otros dos están en
lı́nea recta.
ept
,D
[
Veamos que el ángulo OP C es recto. Para ello se tiene que los ángulos
P[
OC y P\OD, son congruentes por hacer pares lineales con respectivos
uia
C
tioq
An
P O l
de
A
ad
rsid
D
ive
Figura 56
Un
[ y AOD
ángulos congruentes AOC \ (Teorema 13).
Se tienen ası́ los triángulos congruentes 4OP C y 4OP D, por tener:

P[OC ∼=P \OD, OC ∼ = OD, OP lado común (L-A-L).
[
Se concluye ası́ que los ángulos del par lineal OP \
C, OP D son congruen-
[ \
tes y, de acuerdo a la definición 16, se sigue que tanto OP C como OP D
son ángulos rectos.
Teorema 22 (Unicidad).
Todos los ángulos rectos son congruentes entre sı́.(ver figura 57)
Demostración: por la ley de tricotomı́a pueden suceder tres casos:
as
[ < A\
atic
i) AOB 0 O0 B 0 ó
[ = A\
ii) AOB ∼ 0 0
O B ó0
atem
[ > A\
iii) AOB 0 O0 B 0
%B % B’ %
eM
Y%
o. d
X
ept
%C %A %C’ %A’
,D
O O’
uia
tioq
Figura 57
An
[ < A\ −−→
0 O 0 B 0 , entonces existe O 0 X ⊂ IntA \0 O 0 B 0 tal que
Caso i) Si AOB
de
A\
0 O0 X ∼ [
= AOB. −−→
Por el Axioma de construcción de ángulo, existe O0 Y ⊂ Π ←0→0 0 tal
ad
C O :B
−−→
rsid
que C\ = A\
0 O0 Y ∼ 0 O 0 X; como O 0 X ⊂ IntA \0 O0 B 0 y A\0 O0 X ∼ = C\ 0 O0 Y y
A\ = C\
0 O0 B 0 ∼ 0 O 0 B 0 (por hipótesis) entonces por el Teorema 10,
ive
−−0→
O Y ⊂ IntC\
0 O0 B 0 ,
Un
luego C\
0 O0 Y < C\ 0 O 0 B 0 ; por el Corolario 2 al Teorema 7,
−−0 →0
O B ⊂ Π ←0→ , luego C\ \
0 O0 B 0 < C 0 O 0 X y por transitividad
O X:B 0
C\ \
0 O0 Y < C 0 O0 X (∗).
Pero C\
0 O0 X ∼ \ ( por Teorema del par lineal)
= COB
\∼
y COB [ ( por def. de áng. recto)
= AOB
[ ∼
y AOB = A\ = C\
0 O0 X ∼ 0 O0 Y
luego
C\ = C\
0 O0 X ∼ 0 O0 Y (∗∗).
Pero (*) y (**) es un absurdo.
iii) Se hace en forma similar a i)
as
Por el Teorema 19 i), se concluye que es cierto ii):
atic
[ ∼
AOB = A\
0 O0 B 0
atem
Definición 17 (Angulo agudo y obtuso).
eM
i) Decimos que un ángulo es agudo si es menor que un ángulo recto.
o. d
ii) Decimos que un ángulo es obtuso si es mayor que un ángulo recto.
ept
Definición 18 (Triángulo rectángulo). Un triángulo se llama rectángulo
,D
si alguno de sus ángulos es recto.
uia
Observaciones:
tioq
1) Más adelante se podrá demostrar que un triángulo no puede tener

más de un ángulo recto.
An
de
2) En un triángulo rectángulo los lados adyacentes al ángulo recto se

llaman catetos y el lado opuesto al ángulo recto, se le llama hipotenusa.
ad
(ver figura 58)

rsid
ive
nu sa
Cateto
ote
Un
Hip
Cateto
Figura 58
Teorema 23 (Existencia del Punto Medio).

Todo segmento no nulo tiene un punto interior que divide al segmento
en dos segmentos congruentes.
Demostración (ver figura 59). Sea AB un segmento no nulo. Veamos

que existe un punto O tal que a). O esta entre A y B y b). OA ∼
= OB
←→
Veamos a). Sea X 6∈AB, por el Teorema 3., existe un único plano
←→
π
−−→
π
as
que contiene a X y AB, por el Teorema 5, AX ⊂ ←→ . Por el Ax.
AB: X
π
atic
de construcción de ángulo, existe en el ←→ una única semirrecta
AB:∼X
−−→ [ ∼ \
BY tal que ABY = BAX.
atem
−−→
Por el Ax. de construcción de segmento, existe en BY un punto Y 0
eM
←→ ←→
tal que BY 0 ∼
= AX, por tanto existe O ∈ AB tal que XY 0 ∩ AB= {O}
(Ax. de separación del plano), luego O ∈ IntXY 0 .
o. d
Por el Teorema 6., IntXY 0 ⊂ IntXAY \0 y IntXY 0 ⊂ IntXBY
\0 , luego
d0 ⊂ IntXAY
IntXY \0 ∩IntXBY \0 y por tanto O ∈ IntXAY
ept \0 ∩IntXBY
\0 .
−→ −
−→
\0 y BO ⊂ IntXBY \0 , entonces
Como, por Corolario 1, AO ⊂ IntXAY
,D
−→ −−→ −→ −→ \0 ∩ IntXBY\0
AO ∩ BO = AB ∩ BA = IntAB ⊂ IntXAY
uia
tioq
Pero ←→
O ∈ AB, \0 ∩ IntXBY
O ∈ IntXAY \0
An
\0 ∩ IntXBY
e IntAB ⊂ IntXAY \0 entonces O ∈ IntAB, por lo tanto
O esta entre A y B (A − O − B)
de
b) Veamos que OA ∼ = OB
ad
rsid
Como AB ∼
= AB; \∼
XAB \0 ;
= ABY AX ∼
= BY 0
ive
entonces 4XAB ∼
= 4ABY 0 (L-A-L)
Un
luego XB ∼ \∼
= AY 0 y XBA \0
= BAY
\0 ∼
luego XAY \0 ( suma de ángulos congruentes es congruente).
= XBY
luego 4XAY 0 ∼
= 4XBY 0 (L-A-L)
\∼
luego AXO \
= OY 0B
O B
A
as
atic
Y’
atem
Y
Figura 59
eM
o. d
luego 4AXO ∼
= 4BOY 0 (A-L-A)
ept
luego AO ∼
= OB
,D
uia
Teorema 24 (Unicidad del Punto Medio).

El punto medio de un segmento no nulo es único.
tioq
An
O’ O O”
de
A B
ad
Figura 60
rsid
ive
Demostración (ver figura 60). Sean O y O 0 puntos medios de AB,

Un
luego O0 A ∼
= O0 B y OA ∼
= OB.
Con OA y O 0 A pueden suceder tres casos:
i) O0 A < OA ó ii) O 0 A ∼
= OA ó iii) O 0 A > OA
i) Si O 0 A < OA, entonces por definición de <: O 0 está entre A y O;

−→
por el Axioma de construcción de segmento, existe O 00 ∈ BA tal que
O00 B ∼
= O0 A.
Como O0 esta entre A y O (A − O 0 − O) y O, O 00 estan del mismo lado
con respecto a B y OA ∼ = OB y O0 A ∼ = O00 B entonces, por el Teo-
rema 9, O esta entre O y B (O − O − B) y como O esta entre O 0
00 00
y B (O0 − O − B) entonces, por el Axioma II.5, O 00 esta entre O 0 y B

(O0 − O00 − B), luego BO 00 < O0 B.
Pero BO00 ∼= AO0 ∼= O0 B (Absurdo con lo anterior).
as
iii) Se demuestra en forma similar a i).
atic
Por el Teorema 17.: O 0 A ∼
= OA.
atem
Definición 19 (Punto medio). Se llama punto medio de un seg-
eM
mento no nulo AB al punto O ∈ IntAB tal que AO ∼
= OB.
o. d
Observación: la existencia del punto medio garantiza que todo seg-
mento se puede dividir en dos segmentos congruentes y esto de un
ept
modo único.
,D
uia
Definición 20 (Mediatrı́z).
La recta perpendicular en el punto medio de un segmento se le llama
tioq
mediatrı́z del segmento.

An
[ no
Definición 21 (Bisectriz). Se llama bisectrı́z de un ángulo AOB
−−→ [ tal que AOD \∼ \
de
nulo y no llano a la semirrecta OD ⊂ IntAOB = DOB

(ver figura 61).
ad
rsid
Teorema 25 (Existencia de la Bisectrı́z).

ive
Dado un ángulo no nulo y no llano, entonces existe una semirecta en

Un
el interior del ángulo que lo divide en dos ángulos congruentes.
Demostración (ver figura 62). Sea AOB[ un ángulo no nulo y no

−−→ [ tal que
llano. Veamos que existe una semirecta OX ⊂ IntAOB
\∼
AOX \
= XOB.
−→
En efecto, sea P ∈ OA, entonces por el Ax. de construcción de seg-
−−→
mento, existe Q ∈ OB tal que OQ ∼= OP , luego por los teoremas de
as
atic
O B
atem
Figura 61
eM
o. d
P
A
ept
,D
uia
O M
tioq
An
B
Q
de
ad
Figura 62
rsid
ive
existencia y unicidad del punto medio, existe un único punto

Un
M ∈ IntP Q tal que M P ∼

= M Q.
∼
Por lo tanto 4OM P = 4OM Q (por criterio L-L-L).
\ \ −−→ [
Luego M OP ∼
=M OQ, por lo tanto OM es bisectrı́z de AOB.
−−→ [ ( T.6 y corolario 1.)
Y como M ∈ IntP Q, entonces OM ⊂ IntAOB
Teorema 26 (Unicidad de la bisectrı́z).

La bisectrı́z de un ángulo no nulo y no llano es única.
Demostración (ver figura 63). Supongamos que existen dos bisec-

P A
X
M
O
M’
Y
as
atic
Q B
atem
Figura 63
eM
o. d
[
trices distintas de AOB.
−−→ −−→
Sean OX y OY dichas bisectrices.
−→ ept
Sea P ∈ OA, entonces por el Ax. de construcción de segmento, existe
−−→
,D
Q ∈ OB tal que OQ ∼ = OP .
Por el T. de la barra transversal, existen M y M 0 tales que
uia
\ −−→ \ −−→
tioq
{M } = P Q OX, {M 0 } = P Q OY , M 6≡ M 0 ,
−−→ −−→
An
ya que OX y OY son distintas.

de
= OQ y P\
Como OP ∼ OM ∼=M\ OQ y OM ∼ = OM , entonces
ad
∼
4OM P = 4OM Q (por L-A-L) y por tanto
rsid
MP ∼
= M Q.
ive
Similarmente: 4OM 0 P ∼
= 4OM 0 Q (por L-A-L) y por tanto
Un
M 0P ∼
= M 0 Q.
Luego M y M 0 son puntos medios de P Q y diferentes. Absurdo!, porque

el punto medio es único.
Definición 22 . Sean a y b dos rectas distintas. La recta a es per-

pendicular a la recta b, si a corta a b formando ángulo recto.
Observaciones:
1. Para indicar que a es perpendicular a b se emplea la notación: a ⊥ b.
2. Si a ⊥ b se sigue de inmediato que b ⊥ a y por tanto es correcto

decir que las rectas a y b son perpendiculares entre sı́ o que se cortan
perpendicularmente.
3. Si dos rectas se cortan perpendicularmente en un punto, los cuatro
as
ángulos que se forman alrededor de dicho punto son rectos. (ver figura
atic
64)
atem
a
eM
o. d
b
ept
,D
uia
Figura 64
tioq
Teorema 27 .
An
Por un punto de una recta dada en un plano π pasa una y solo una
de
perpendicular a dicha recta.

ad
rsid
Demostración: la demostración consta de dos partes. Veamos primero

que si l es la recta dada en el plano πy A es un punto cualquiera de
ive
l, hay por lo menos una recta perpendicular a l que pasa por A y está
π
situada en .
Un
Para demostrar esta primera parte, sea k una recta distinta de l y que
también pasa por A. Sea k una de las semirrectas en que A divide a k.
Si los ángulos ](l, k) y ](l’, k) que forman un par lineal, son con-
gruentes, cada uno es recto y por tanto k ⊥ l y la demostración ter-
mina. (Ver figura 65).
l
l0 A l
as
Figura 65
atic
atem
Pero si los ángulos del par lineal son diferentes, sea h una semirrecta
de origen A situada en el semiplano l: k tal que:π
eM
(1) ](l, k) ∼
= ](l’, h)
o. d
Se presentan dos posibilidades respecto a h: ept
,D
i) La semirrecta h está en el exterior de ](l, k). (Esto ocurre cuando

uia
](l, k) es agudo (Figura 66)).

tioq
ii) La semirrecta h está en el interior de ](l, k). ( Esto ocurre cuando

An
](l, k) es obtuso. Figura 67).

de
ad
h k k h
rsid
ive
l0 A l l0 A l
Un
Figura 66 Figura 67
Para ambos casos se puede continuar de la siguiente manera:
Se traza por A la bisectrı́z b del ángulo ](k, h). Por tanto:
(2) ](h, b) ∼
= ](k, b) (Figura 68).
a b
h k
as
atic
atem
l0 A l
Figura 68
eM
o. d
De (1) y (2) se obtiene, por suma de ángulos, en el caso del ángulo
ept
agudo y por diferencia, en el caso del ángulo obtuso,
,D
](l, b) ∼
= ](l, b)
uia
Estos dos ángulos forman un par lineal, luego cada uno de ellos es recto.
Se concluye ası́ que b ⊥ l.
tioq
An
Veamos ahora que b es la única perpendicular a l que pasa por A y

π
está en el plano .
de
π
ad
Sea c una perpendicular a l que pasa por A y está en . Sea c la

π
rsid
semirrecta de origen en A que está en el semiplano l : b.

ive
Por tanto el ángulo ](l, c) es recto y como todos los ángulos rectos son
Un
congruentes (Teorema 22), se sigue que:
](l, c) ∼
= ](l, b)
Por el axioma de construcción de ángulo se concluye que las semirrectas

c y b coinciden y esto demuestra la segunda parte de la prueba.
Definición 23 (Segmentos notables en el triángulo).

i) En todo triángulo, se llama altura al segmento perpendicular trazado
desde uno cualquiera de los vértices, al lado opuesto o a su prolongación

.
ii) Se llama mediana, al segmento comprendido entre uno cualquiera
de los vértices y el punto medio del lado opuesto .
iii) Se llama bisectrı́z al segmento comprendido entre uno cualquiera

de los vértices y el lado opuesto y que divide al ángulo correspondiente
a dicho vértice en dos ángulos congruentes.
as
atic
H
atem
A
eM
o. d
B D M
ept C
,D
Figura 69
uia
tioq
En la figura 69: BH altura, AM mediana, AD bisectrı́z

An
Observación: tanto la mediana como la bisectrı́z son segmentos que

de
están en el interior del triángulo. Sin embargo la altura no siempre

está en el interior.
ad
rsid
Teorema 28 (Propiedades del triángulo isósceles).

ive
En un triángulo isósceles, la mediana correspondiente a la base es

altura, bisectrı́z y está contenida en la mediatrı́z de la base
Un
Demostración: sea 4ABC isósceles con AB ∼

= AC y AM la mediana
correspondiente a la base BC (Figura 70).
Se tiene BM ∼= M C (definición de mediana), con M entre B y C.

Por tanto, 4ABM ∼ = 4ACM (L-L-L). De donde,
]BAM ∼ = ]M AC, luego AM es bisectrı́z del 4ABC.
También ]BM A ∼ = ]AM C, con lo cual se tiene un par lineal de
as
atic
B C
atem
M
eM
Figura 70
o. d
ángulos congruentes y por tanto AM ⊥ M C, o sea que AM es al-
tura del 4ABC.
ept
,D
Además, como M es punto medio de BC, el segmento AM está sobre
la mediatrı́z del segmento BC.
uia
tioq
Observación:
An
a). También es cierto que: en un triángulo isósceles, la bisectriz cor-

respondiente a la base es altura, mediana y está contenida en la
de
mediatrı́z de la base (demostrarlo).

ad
rsid
b). También es cierto que: en un triángulo isósceles, la altura co-

rrespondiente a la base es bisectriz, mediana y está contenida en
ive
la mediatrı́z de la base (para su demostración se necesita uno de

los criterios de congruencia de triángulos rectángulos).
Un
El siguiente teorema es el reciproco del teorema anterior, la parte i), ii)

y iii) se pueden demostrar facilmente y se dejan como ejercicio, la parte
iv) se puede demostrar cuando se tengan los teoremas de congruencia
de triángulos rectángulos.
Teorema 29 (Reciproco del teorema anterior).
i). Si en un triángulo coinciden la mediana y la altura entonces el

triángulo es isósceles.
ii). Si en un triángulo coinciden la bisectriz y la altura entonces el

triángulo es isósceles.
as
iii). Si en un triángulo la mediana esta contenida en la mediatriz
atic
entonces el triángulo es isósceles.
atem
iv). Si en un triángulo coinciden la mediana y la bisectriz entonces
el triángulo es isósceles.
eM
o. d
Construcciones básicas:
ept
1. Hallar el punto medio y la mediatrı́z de un segmento dado.
,D
2. Hallar la bisectrı́z de un ángulo dado.
uia
3. Trazar una perpendicular por un punto de una recta.

tioq
4. Trazar una perpendicular por un punto exterior a una recta.

5. Construir un triángulo dados dos lados y el ángulo comprendido.
An
6. Construir un triángulo dados dos ángulos y un lado adyacente a

de
los ángulos.
ad
rsid
2.5 AXIOMAS DE CONTINUIDAD

ive
Los axiomas de continuidad permiten, eligiendo una unidad lineal o seg-

Un
mento lineal, definir, para cada segmento, de manera única un número

real no negativo llamado longitud del segmento (Axioma de Arquı́medes)
y recı́procamente determinar la existencia de un segmento cuya longi-
tud sea igual a un número real no negativo dado. (Axioma de Cantor).
IV.1 Axioma de Arquı́medes

←→
Sean AB y CD segmentos arbitrarios. Entonces sobre la recta AB
existe un número finito de puntos A1 , A2 , . . . , An situados de manera
2.5. AXIOMAS DE CONTINUIDAD 57
que A1 está entre A y A2 , A2 está entre A1 y A3 y ası́ sucesivamente,

tales que los segmentos AA1 , A1 A2 , . . . , An−1 An son congruentes a
CD y B está entre A y An . (Ver figura 71).
| | | | | |
A A1 A2 A3 B An
C D
as
atic
Figura 71
atem
A continuación, utilizando el axioma de Arquı́medes, analizaremos el
proceso de medición que consiste en asignar un número real a un seg-
eM
mento dado.
o. d
Sea AB cualquier segmento y CD un segmento que se fija arbitraria-
mente como unidad, al cual asignaremos como longitud el número real
−→ ept
uno. Sobre la semirrecta AB se van superponiendo segmentos con-
,D
gruentes a CD de tal manera que se obtienen los puntos P1 , P2 , . . . , Pn ,
Pn+1 y el punto B está entre A y Pn+1 (ver figura 72).
uia
tioq
A P1 P2 P3 PnB Pn+1
An
de
C D
ad
Figura 72
rsid
Puesto que AP1 ∼ = CD, P1 P2 ∼= CD, . . . , Pn Pn+1 ∼

= CD, entonces lo
ive
que se ha hecho es recubrir el segmento AB utilizando un segmento

Un
unidad (ver figura 72). Puede ocurrir que Pn coincida con B. Aquı́ el
segmento unidad está en AB exactamente n veces (ver figura 73).
Entonces definimos la longitud del segmento AB como el número real
n y terminamos el proceso de medición. Pero puede ocurrir que Pn no
coincida con B. En dicho caso B estará entre Pn y Pn+1 y por tanto
la longitud del segmento AB está comprendido entre n y n + 1. (ver
figura 74).
Si la longitud del segmento es a, entonces n < a < n + 1. Ahora bien,
podemos seguir el proceso de subdivisiones para aproximarnos cada vez
A B
P1 P2 P3 Pn Pn+1
C D
Figura 73
as
B
atic
Pn Pn+1
atem
Figura 74
eM
o. d
más a la medida de AB. Si q1 es el punto medio de Pn Pn+1 (sabemos
que todo segmento tiene punto medio), puede ocurrir que:
,D
ept
1. q1 coincida con B
uia
2. q1 esté entre Pn y B
3. q1 esté entre B y Pn+1
tioq
An
Los tres casos se ilustran en la Figura 75.

B
de
q1
ad
Pn Pn+1
rsid
B
ive
Pn q1 Pn+1
Un
Pn q1 Pn+1
Figura 75
En el primer caso a = n + 12 y termina el proceso de medición.

En el segundo caso n + 21 < a < n + 1. No termina el proceso de
2.5. AXIOMAS DE CONTINUIDAD 59
medición.
En el tercer caso n < a < n + 12 . No termina el proceso de medición.
Para los casos dos y tres se puede continuar el proceso tomando los
puntos medios de q1 Pn+1 ó Pn q1 según donde se encuentre B. Puede
ocurrir que B coincida con uno de estos puntos medios y en este caso
a = n + 12 + 41 ó bien a = n + 14 . En caso contrario, el proceso
continúa.
as
atic
Mediante este proceso se obtiene, en cada paso, un valor más próximo
atem
a la longitud de AB y eventualmente puede obtenerse en un número
finito de pasos el valor exacto de dicha longitud. Es posible demostrar
que cuando el proceso se extiende indefinidamente, se obtiene el valor
eM
exacto de la longitud de AB.
o. d
El proceso que se ha descrito anteriormente se llama de MEDICIÓN y
el número encontrado es la medida del segmento AB o la longitud de
AB que denotamos por: m (AB) ó AB. ept
,D
Dicho proceso lo podemos precisar con la siguiente definición.

uia
tioq
Definición 24 (Medida de segmentos). La medida de segmentos

An
es una función que asigna a cada segmento un número real no negativo,

tal que:
de
ad
1. Para un segmento CD, fijado arbitrariamente, m (CD) = CD = 1,

rsid
(CD es llamado segmento unitario).

ive
2. m (AB) = m (A1 B1 ) (o AB = A1 B1 ), si y solo si AB ∼

= A1 B1 , (dos
Un
segmentos son congruentes si tienen la misma medida).
3. Si B está entre A y C, entonces: m (AC) = m (AB) + m (BC) (o

AC = AB + BC)
4. m (AB) = AB = 0 sii A coincide con B.

A B C
Figura 76
2.6 MEDIDA DE ÁNGULOS
as
En forma análoga a lo dicho para la medida de segmentos, existe un
atic
proceso para la medición de ángulos.
atem
[ por m ABC.
Denotaremos la medida del ángulo ABC [
eM
Definición 25 (Medida de ángulos). La medida de ángulos es una
o. d
función que asigna a cada ángulo un número real no negativo tal que:
1. Para un ángulo P[ ept

QR, fijado arbitrariamente, m (P[
QR) = 1, (P[
QR
,D
es llamado ángulo unitario).
uia
[ = m (A\
2. m (ABC) [ ∼ \
1 B1 C1 ) sii ABC = A1 B1 C1
tioq
[ y CAD
3. Si BAC \ son ángulos adyacentes, entonces:
An
[ + m (CAD)
\ = m (BAD)
\
de
m (BAC)
ad
rsid
D &
ive
&
Un
A
B&
Figura 77
[ = 0 si y solo si −
4. m(AOB)
→ −−→
OA ≡ OB
2.6. MEDIDA DE ÁNGULOS 61
Es posible demostrar que dado un número real positivo α se puede

construir un segmento cuya longitud sea α. La demostración de este
resultado requiere la utilización del Axioma de Cantor.
Según el Teorema 22, todos los ángulos rectos son congruentes y por
lo tanto, utilizando la propiedad 2, tienen la misma medida. Podemos
entonces, emplear como unidad de medida angular una noventava parte
1
del ángulo recto ( 90 ). Dicha unidad de medida la llamaremos grado.
as
atic
Con esta unidad de medida, cualquier ángulo tiene una medida entre
0 y 180 grados.
atem
La medida del ángulo nulo será 0 y la del ángulo llano será de 180.
eM
Análogamente como en segmentos, es posible demostrar que dado un
número real α entre 0 y 180, se puede construir un ángulo cuya medida
o. d
sea α.
ept
Observaciones:
,D
1. En cada segmento existen puntos que lo dividen en n segmentos
uia
congruentes.
tioq
2. En cada ángulo, por su vértice, pasan semirrectas que lo dividen en

An
n ángulos congruentes.
de
3. Si AB > CD, entonces m AB > m CD.

ad
[ > A\ [ \
rsid
4. Si ABC 1 B1 C1 , entonces m (ABC) > m (A1 B1 C1 ).

ive
5. Los puntos medios de segmentos congruentes determinan segmentos

Un
congruentes.
6. Las bisectrices de ángulos congruentes determinan ángulos con-

gruentes.
7. La medida de un par lineal es constante e igual a la medida de un

ángulo llano.
b y B:
Definición 26 . Dados los angulos A b
1. Si m(A)b + m(B)b = 1800 , diremos que el ángulo A

b es suplemento del
b ó que A
ángulo B byB b son suplementarios.
b + m(B)
2. Si m(A) b = 900 , diremos que los ángulos A
byB
b son comple-
mentarios.
as
Teorema 30 .
atic
a) Los suplementos de ángulos congruentes son congruentes.
b) Los complementos de ángulos congruentes son congruentes.
atem
Demostración: a) Sean A byB b ángulos respectivamente suplementa-
eM
b yE
rios a los ángulos D b y tales que Db∼ b
= E.
o. d
b + m(D)
Por hipótesis: m(A) b = 1800 (1)
b + m(E)
m(B) b = 1800 (2) ept
b = m(E) b (3)
,D
m(D)
uia
b = m(B)
De (1), (2) y (3) se sigue que : m(A) b y de aquı́ se concluye
tioq
b∼
que A b
= B.
An
La parte b) de este teorema se hace en forma análoga a a).

de
Observación:
l. También usaremos para la medida de un ángulo letras griegas como
ad
α, β, γ, θ, etc.
rsid
2. Abusando de la notación, y entendiendo por el contexto lo que se

ive
quiere decir, usaremos indistintamente el ángulo o su medida.

Un
Definición 27 (Rectas Paralelas).

Sean l y r dos rectas dadas contenidas en un mismo plano. Decimos
que l es paralela a r, y lo denotamos como l k r, si:
i) l es la misma recta r ó
ii) l es diferente a r y l ∩ r = φ
Definición 28 (Angulos alternos internos ). Dadas dos rectas dis-

tintas y coplanares cualesquiera cortadas en puntos distintos por una
secante, se llaman ángulos alternos internos aquellos que:
1. Tienen un segmento común.
2. Sus interiores no se intersectan.
as
3. No son adyacentes.
atic
\
En la Figura 78: los ángulos A \
0B0B y B 0 BC son alternos internos.
'
atem
D’ '
C’
eM
B’
'
A’
o. d
ept
' '
,D
B
'D
uia
A C
tioq
An
Figura 78
de
Dadas dos rectas distintas y coplanares cortadas en puntos distintos

ad
por una secante, los ángulos que tienen sus vértices en estos puntos
rsid
distintos, que estan a un mismo lado de la secante, tienen un lado so-

bre la secante y uno de los lados que esta sobre la secante contiene al
ive
lado del otro ángulo, se les llama ángulos correspondientes.

Un
Dadas dos rectas distintas y coplanares cortadas en puntos distintos

por una secante, los ángulos que tienen sus vértices en estos puntos
distintos, que estan a un mismo lado de la secante y tienen un seg-
mento común se les llaman ángulos interiores.
En la Figura 78: los ángulos D\

0B0C 0 y B\0 BC son correspondientes y
los ángulos C\ \0 son ángulos interiores.

0 B 0 B y CBB
Teorema 31 (Teorema de ángulos alternos internos).

Si dos rectas distintas coplanares cortadas por una secante en pun-
tos distintos, hacen con ella una pareja de ángulos alternos internos
congruentes, entonces son paralelas.
Demostración: sean l y r las rectas coplanares dadas, l diferente de

r y sea t una recta que corta a l y r en puntos B y B 0 respectivamente
y de modo que: A \0B0B ∼ \0
= CBB
as
atic
r t
E
(
atem
A’
( C’
B’
eM
o. d
l
( B
( ept D
(
A C
,D
uia
Figura 79
tioq
Vamos a demostrar que l k r, o lo que es lo mismo l ∩ r = φ.

An
Razonemos por reducción al absurdo, esto es, supongamos que los

ángulos alternos internos son congruentes y que l no es paralela a r.
de
ad
Entonces se cortarán en un punto D. Podemos suponer que se cortan

rsid
en el mismo semiplano respecto a t en que están C y C 0 (ver figura 79).

ive
Consideremos el triángulo 4BB 0 D. Como A\0B0B ∼ \0 (hipótesis),

= CBB
Un
\
entonces, BB 0D ∼
=B \0 BA (1), (Teorema 30). Ahora, por el axioma
−−→
de construcción de segmentos, existe E en la semirecta B 0 A0 tal que
B0E ∼= BD. Unamos B con E. Los triángulos 4BB 0 D y 4BB 0 E son
congruentes (L-A-L), de donde:
\0 ∼
EBB \
= BB 0D
\
pero BB 0D ∼
=B\ \0 ∼
0 BA por (1). Luego, EBB \
=B 0 BA
−−→ −→
Y como BE y BA están en el mismo semiplano respecto a t, por el
−−→ −→
axioma de construcción del ángulo BE ≡ BA, lo que nos dice a la vez
−→
que E ∈ BA, es decir, E pertenece a la recta l . Pero también D ∈ l.
←→ ←→
Luego l ≡DE y como la recta DE es la misma r, se tiene finalmente
que r ≡ l . Contradicción con la hipótesis ya que habı́amos supuesto
que l y r eran dos rectas diferentes.
as
Corolario 7 . Si dos rectas distintas cortadas por una secante en pun-
atic
tos distintos, forman con ella ángulos correspondientes congruentes,
entonces son paralelas.
atem
Corolario 8 . Dos rectas perpendiculares a una tercera son paralelas
eM
entre sı́.
o. d
Demostración (ver figura 80): sean l ⊥ t y r ⊥ t. Demostremos que
l k r.
t ept
) )
,D
C’ B’ A’
r
uia
tioq
An
)
de
l
B A
ad
rsid
Figura 80
ive
\0 es recto.
Un
Como l ⊥ t, entonces ABB

Como r ⊥ t, entonces A \0 B 0 B es recto y por lo tanto su ángulo adya-
cente C\ \0 ∼
0 B 0 B es recto. Ası́ que ABB = C\0 B 0 B por ser ambos rectos.
Se sigue entonces que la secante t hace con las rectas l y r ángulos

alternos internos congruentes, luego por el teorema de ángulos alternos
internos, l k r.
Construcción básica: por un punto exterior a una recta trazar una

paralela a la recta.
Definición 29 (Angulo exterior a un triángulo). Si en un ángulo

de un triángulo se prolonga uno de los lados, el ángulo que hace par
lineal con el ángulo interior adyacente se le llama ángulo exterior del
triángulo.
Teorema 32 (Teorema del ángulo exterior. T.] E.).

Todo ángulo exterior de un triángulo es mayor que cualquiera de los
ángulos interiores no adyacentes.
as
atic
Demostración (ver figura 81). En un triángulo 4ABC consideremos
atem
\ Dicho ángulo es adyacente al ángulo C
el ángulo exterior ACD. b del
triángulo.
eM
A
o. d
ept
,D
*G * *
uia
C D
*M
tioq
B
An
de
Figura 81
ad
rsid
Vamos a demostrar:
\
b < ACD
ive
i) A
\
b < ACD
ii) B
Un
Veamos i). Basta demostrar que no puede darse que:
\<A
ACD \∼
b y ACD b
=A
\ < A.
a) Supongamos que ACD b Entonces existe una semirrecta −−→
AM
[ y tal que ACD
en el interior de BAC \∼ \.
= CAM
−−→ [ por el T. Barra Transver-

Ahora como AM está en el interior de BAC,
−−→
sal, AM corta a BC en un punto G, G entre B y C.
←→ ←→ ←→
\∼
Consideremos las rectas AG, CD y la secante AC. Como ACD [
= CAG
\ y CAG
y ACD [ son ángulos alternos internos, entonces por el T. de ]
←→ ←→
A.I., CDkAG, contradicción ya que CD y AG se cortan en G.
\∼
b) Supongamos ahora que ACD b (ver figura 82)
= A.
as
A
atic
atem
eM
+
o. d
B C D
Figura 82
ept
,D
←→ ←→ ←→
\∼
Si consideramos las rectas AB y CD y la secante AC, como ACD b
= A,
uia
por T.] A.I. se tendrı́a que:

←→ ←→ ←→ ←→
tioq
ABkCD. Contradicción, ya que AB y CD se cortan en B.

An
Con a) y b) queda demostrado i).

de
\ es completamente similar y se deja

b < ACD
ii) La prueba de que B
como ejercicio.
ad
rsid
Corolario 9 . En todo triángulo rectángulo, los ángulos interiores

ive
diferentes del ángulo recto son agudos.

Un
Demostración (ver figura 83). \ es ángulo exterior al triángulo

ABD
4ABC. Luego C b< \ pero
ABD \∼
ABD [ de donde se concluye
= ABC,
[
b < ABC.
que: C
De la misma manera se demuestra que el ángulo A \
b < ABD.
,
D B C
Figura 83
as
atic
atem
Teorema 33 .
Por un punto exterior a una recta se puede trazar una perpendicular
a la recta y sólo una.
eM
Demostración. 1. Existencia:
o. d
Sea P 6∈ l. Tomemos A y B en l, unimos P con A y consideremos el
ángulo P[
AB. ept −−→
π
Por el axioma de construcción del ángulo, existe AM ⊂ l: ∼P y tal
,D
que:
P[ \
uia
AB ∼ = BAM
−−→
tioq
Con AM puede ocurrir:

−→
i) Que sea opuesta a AP .
An
−→
ii) Que no sea opuesta a AP .
de
−−→ −→
i) Si AM es opuesta a AP , entonces el ángulo P[ AB es recto ya que
ad
←→
P[ \ son adyacentes y congruentes. Por lo tanto AP ⊥ l y
AB y BAM
rsid
pasa por P , (ver figura 85).

−−→ −→
ive
ii) Supongamos ahora que AM no es opuesta a AP (Figura 84). Tomemos

−−→
sobre AM el punto T de modo que AT ∼ = AP . Es claro que P y T
Un
están en semiplanos opuestos respecto a la recta l. Por tanto, P T corta

a l en Q.
Ahora, 4P AQ ∼
= 4T AQ (L-A-L). Luego
P[ = T[
QA ∼ QA y T[
QA ∼
=P\QB
por opuestos por el vértice. O sea que: P[

QA ∼
=P\QB.
A
l
Q B
as
-
atic
T
atem
M
Figura 84
eM
.
o. d
P
ept
.
,D
A
l
B
uia
.
tioq
M
An
de
Figura 85
ad
rsid
←→
De donde P \ QB es recto, entonces se tiene que la recta P T es perpen-
dicular a la recta l.
ive
Un
2. Unicidad (ver figura 86).

←→
Supongamos que por P se pueden trazar dos perpendiculares P Q y
←→
P R a l. Consideremos el triángulo 4P QR. Como P \RM y P[ QR son
\
rectos, entonces P RM ∼
= [
P QR. Contradicción ya que por el T.] E.
P[QR < P \ RM .
Definición 30 (Distancia de un punto a una recta). La longitud

del segmento perpendicular trazado desde un punto exterior a una recta
P
/ l
Q R M
Figura 86
as
atic
atem
es llamada distancia del punto a la recta.
Teorema 34 (Existencia de rectas paralelas).
eM
Por un punto exterior a una recta l se puede trazar una paralela a la
recta.
o. d
ept
Nota: observese que la proposición asegura que se puede trazar al
menos una paralela a la recta dada. Acerca de la unicidad, o sea que
,D
esa paralela sea única o no, la proposición no afirma nada.

uia
tioq
Demostración (ver figura 87). Sea P 6∈ l. Demostremos que existe

una recta r que pasa por P y tal que r k l.
An
t
de
P
r
ad
rsid
ive
Un
l
Q
Figura 87
Sea t la perpendicular a l bajada por P . Por P trazamos la recta r

perpendicular a t. Entonces r k l ya que r y l forman con t una pareja
de ángulos A.I. congruentes (en este caso ángulos rectos).
Teorema 35 (Caso lado-ángulo-ángulo: L-A-A).

[ ∼
Sean los triángulos 4ABC y 4DEF tales que: BAC \ y
= EDF
[ ∼ \ ∼ ∼
CBA = F ED. Si AC = DF ó CB = F E, entonces:
4ABC ∼
= 4DEF.
as
atic
atem
C F
eM
o. d
ept
,D
A M B D E
uia
Figura 88
tioq
An
Demostración: (ver figura 88). Bastará con demostrar que AB ∼

= DE
∼
ya que de aquı́ se concluye que 4ABC = 4DEF (L-A-L).
de
ad
Razonemos por reducción al absurdo.

rsid
Supongamos que AB no es congruente a DE(AB 6∼

ive
= DE). Entonces:
Un
i) AB > DE ó
ii) DE > AB
Veamos que en cualquiera de los casos se llega a una contradicción.
i) Si AB > DE, entonces existe un M entre A y B de modo que

AM ∼ = DE. Por tanto, 4AM C ∼ = 4DEF (por Ax. L-A-L), de donde
\ ∼
CM A = E. Pero por hipótesis B ∼
b b \
b luego CM
= E, A∼
=Bb y se tiene en
\
el triángulo 4CM B que el ángulo exterior CM A es congruente con el
b b
ángulo B, donde B es ángulo interior en contradicción con el T.] E.
ii) Un razonamiento similar para el caso en que DE > AB conduce de

nuevo a una contradicción.
as
Teorema 36 (Los cuatro casos de congruencia de triángulos
atic
rectángulos).
atem
i) Dos triángulos rectángulos que tengan congruentes sus catetos,
son congruentes.
eM
ii) Dos triángulos rectángulos que tengan congruentes un cateto y un
o. d
ángulo agudo, son congruentes (el cateto puede ser adyacente o no
al ángulo agudo).
ept
iii) Dos triángulos rectángulos que tengan congruentes la hipotenusa
,D
y un ángulo agudo, son congruentes.
uia
iv) Dos triángulos rectángulos que tengan congruentes la hipotenusa

tioq
y un cateto, son congruentes.

An
Demostración: i) (ver figura 89). Sean 4ABC y 4DEF tal que

de
AC ∼
= DE y AB ∼ = DF . Como A b∼
=D b (por ser rectos),
ad
4BAC ∼= 4F DE (L-A-L).
rsid
ive
B F
Un
A C D E
Figura 89
Figura 92
as
atic
atem
Demostración: ii)(Figuras 90 y 91). En efecto, en un caso se tiene
congruencia por A-L-A y en el otro caso, se tiene congruencia por
L-A-A.
eM
o. d
Figura 90
eptFigura 91
,D
uia
Para el caso iii) se tiene la figura 92.

Demostración: iv).(Figura 93). En efecto, sean los triángulos rectángulos
tioq
4ABC y 4EDF tales que: AB ∼ = DE y AC ∼ = DF .

An
A D
de
ad
rsid
G B C E F
ive
Un
Figura 93
←→
Tomemos G ∈BC de modo que B esté entre G y C y además
BG ∼ = EF . Entonces 4ABG ∼ = 4DEF (catetos congruentes) (1).
De donde DF ∼ = AG pero DF ∼
= AC (hipótesis). Luego, AC ∼
= AG,
∼
b=C
de aquı́ se sigue que G ∼
b y por lo tanto : 4ABC = 4ABG (L-A-A
ó caso iii)) (2).
De (1) y (2) se concluye que 4ABC ∼

= 4DEF .
Corolario 10 :
1. Dado un ángulo AOB,[ cualquier punto de su bisectrı́z equidista

de los lados del ángulo, e inversamente, cualquier punto en el in-
terior del ángulo que equidista de los lados pertenece a la bisectrı́z
del ángulo.
2. Dado un segmento AB, cualquier punto de la mediatrı́z del seg-
as
mento equidista de los extremos del segmento y reciprocamente,
cualquier punto en el plano del segmento y la mediatrı́z que equidiste
atic
de los extremos del segmento pertenece a la mediatrı́z del segmento.
atem
Nota:
eM
1. Decimos, en el caso 1., que la bisectrı́z de un ángulo es el lugar
geométrico de todos los puntos que equidistan de los lados del
o. d
ángulo.
ept
2. Decimos en el caso 2., que la mediatrı́z es el lugar geométrico de
,D
todos los puntos que equidistan de los extremos del segmento.
uia
Demostración: (ver figura 94). Basta aplicar los casos (iii) y (iv) de
tioq
congruencia de triángulos rectángulos.

An
de
P
ad
rsid
ive
Figura 94
Un
2.7. AXIOMA DE PARALELISMO 75
2.7 AXIOMA DE PARALELISMO

V POSTULADO DE EUCLIDES (V.P.E.)
Si dos rectas distintas l y r, coplanares cortadas por una secante t

π
en puntos distintos, forman con ella en el semiplano t dos ángulos
interiores, de tal manera que la suma de sus medidas sea menor que
1800 , entonces las dos rectas se cortan en algún punto del semiplano
as
π t . (Figura 95).
atic
r t
atem
πt
eM
o. d
β
α ept
l
Q
,D
uia
Figura 95
tioq
O sea : si α + β < 1800 entonces l y r se cortan en t . π

An
El quinto postulado de Euclides (V.P.E.) tiene un enunciado equiva-

de
lente, llamado el postulado de la paralela única de Playfair, el cual dice

ası́:
ad
“por un punto exterior a una recta pasa una paralela a la recta y sólo
rsid
una”.
ive
NOTA HISTÓRICA.
Un
El quinto postulado causó un trastorno considerable desde la época de

los griegos. Muchos geómetras pensaron que tal vez podrı́a deducirse
como teorema a partir de los restantes axiomas o postulados. Euclides
mismo trato de evitarlo mientras pudo, pues no lo utilizó en sus de-
mostraciones sino hasta que llegó a la proposición 120. Durante más de
2.000 años fueron ofrecidas diferentes “demostraciones” del postulado,
pero cada una se basaba en una suposición equivalente al mismo.
Los esfuerzos realizados, sin embargo, condujeron a que en la primera

mitad del siglo XIX, se inventara una geometrı́a que diferı́a radical-
mente de la de Euclides. Antes de este hecho se pensaba que existı́a
solo una geometrı́a posible. La independencia del postulado de las
paralelas, quedó establecida cuando fue demostrada la compatibilidad
de las otras geometrı́as donde el V Postulado se negaba o cambiaba
por otro. Cualquier geometrı́a cuyos axiomas contradicen alguno de
los de Euclides, es llamada no Euclidiana. La primera de ellas que se
as
inventó es la llamada Geometrı́a lobachvsquiana. Gauss (1777-1855) en
Alemania, Bolyai (1802-1860) en Hungrı́a y Lobachevsky (1793-1856)
atic
en Rusia, plantearon independientemente la forma de Playfair (1748-
atem
1819) del postulado, considerando tres posibilidades: Por un punto
exterior a una recta, pueden trazarse más de una, únicamente una, o
ninguna paralela a la recta. Suponiendo la infinidad de la recta, el ter-
eM
cer caso fue eliminado. Estableciendo una geometrı́a compatible con la
primera hipótesis, los tres matemáticos realizaron extensos desarrollos
o. d
geométricos y trigonométricos. Debido a la prioridad de Lobachevsky
en la publicación, la geometrı́a ası́ construı́da recibió su nombre. En
ept
1854 Riemann (1826 - 1866), demostró que si se descarta la infinitud
,D
de la recta, entonces, con algunas ligeras modificaciones de los postu-
lados restantes, se podrı́a desarrollar una geometrı́a compatible con la
uia
tercera hipótesis. Al trabajo de Riemann se debe una generalización

tioq
considerable del concepto de espacio, que ha encontrado aplicaciones

en la teorı́a fı́sica de la relatividad.
An
El descubrimiento de las geometrı́as no euclidianas no solo liberó a la

de
geometrı́a de su molde tradicional, sino que modificó considerablemente

ad
los conceptos de la matemática en general y condujo a un estudio pro-

rsid
fundo de los fundamentos de esta materia y a un desarrollo más amplio

del método axiomático.
ive
Un
El desarrollo de la geometrı́a euclidiana, con el quinto postulado supri-

mido, recibe el nombre de geometrı́a absoluta, contiene las proposi-
ciones que son comunes a las geometrı́as de Euclides y de Lobachevsky.
Vamos, en la proposición que sigue, a demostrar la equivalencia del

V.P.E. con el postulado de la paralela única de Playfair.
Teorema 37 .
El V.P.E. es equivalente al postulado de la paralela única de Playfair.
Demostración: 1. Asumamos que se cumple el postulado de la para-

lela única de Playfair, es decir, que para toda recta l y todo P 6∈ l,
existe una única recta r tal que: P ∈ r y r k l.
Sean l y m dos rectas dadas y t una secante tal que:
α1 + α2 < 1800
as
atic
Vamos a probar, para tener el V.P.E., que l y m se cortan en el semi-
atem
plano π t (ver figura 96).
eM
πt
o. d
B’
m
α2 ept l
,D
α3
uia
α1
0 α2
tioq
r
C B
An
de
Figura 96
ad
rsid
Es claro que α1 + α3 = 1800 , de donde, α1 = 1800 − α3 .

ive
Como α1 + α2 < 1800 , entonces 1800 − α3 + α2 < 1800 , de donde

α2 < α3 . Luego por el axioma de construcción del ángulo, existe una
Un
−−→ \ 0 BC ∼
−−→
única semirecta BC tal que: B = ](B 0 B, m) ∼
= αc2 . Por tanto,
←→
m kBC.
Ahora B está en l; B ∈ r y r k m. Pero por el postulado de Playfair,

por B solo pasa una paralela a m. Por tanto, toda recta distinta de r
que pase por B corta a m. Como l pasa por B y es distinta a r corta
π
a m. Veamos ahora que se cortan en t . Supongamos que se cortan
π
en l (ver figura 97).
En el triángulo 4ABB 0 , α2 es ángulo exterior del triángulo 4ABB 0 .

Luego, por T .].E., α2 > α3 . Contradicción, ya que tenı́amos que
α2 < α3 . Por lo tanto l y m se cortan en el semiplano t . π
t
m
B’
α2
as
atic
α1
atem
α3
B
l
A πl
eM
o. d
Figura 97
ept
2. Supongamos ahora que es válido el V.P.E. Sea l una recta dada y
,D
P 6∈ l (ver figura 98).

uia
t
tioq
P
An
r
α1 n
de
R
ad
rsid
l
ive
Q
Un
Figura 98
Sea t la perpendicular por P a l y r la perpendicular por P a la recta

t.
Por el teorema de ángulos alternos internos, ya tenemos que r k l.
Bastará con demostrar que toda otra recta que pase por P corta a l.
Sea pues n otra recta que pasa por P y paralela a l, n distinta a r.
Llamemos α1 , al ángulo agudo que hace n con t.
Como α1 < 900 entonces α1 + 900 < 900 + 900 = 1800 y por el V.P.E.
n y l se cortan del lado en que se forma el ángulo agudo. (Absurdo,
porque l y n son paralelas).
Vamos a estudiar ahora algunas consecuencias del V.P.E. o de su equiva-

lente, el postulado de la paralela única de Playfair.
as
atic
Teorema 38 .
Si dos rectas distintas y coplanares son paralelas, toda secante que
atem
corta a una de ellas corta a la otra.
eM
Demostranción: supongamos l k r y que s corta a la recta l en un
punto A. Por tanto la recta s es distinta a la recta l. Veamos que s
o. d
corta a r.
En efecto, si s no cortara a r se tendrı́a s k r, con s pasando por A.
ept
En conclusión tendrı́amos dos rectas pasando por A (s y l) ambas pa-
ralelas a r. Luego, por el postulado de Playfair se tendrá que s ≡ l.
,D
Contradicción, ya que s es distinta a l.

uia
tioq
Teorema 39 .
El paralelismo de rectas es una relación de equivalencia, o sea que
An
es: reflexiva, simétrica y transitiva.

de
ad
Demostración. 1. Reflexiva: es claro que l k l.

rsid
2. Simétrica: también es claro que si l k r, entonces r k l.

ive
Un
3.Transitiva: supongamos que l k r y r k s con l, r y s todas distintas.

Veamos que l k s .
Razonemos por reducción al absurdo.
Si l 6k s, l y s se cortaran en A (Figura 99) y por A se tendrı́an dos

paralelas distintas l y s a r, lo que contradice el axioma de la paralela
única. Por tanto, l k s.
r A
Figura 99
as
atic
atem
Teorema 40 .
Si dos rectas distintas son paralelas, toda perpendicular a una de ellas
lo es a la otra.
eM
o. d
Demostración: supongamos l k r, l 6≡ r y sea n ⊥ l en A (A ∈ l). Es
claro que n corta a l en A.
ept
Luego por el Teorema 38, n corta a r. Llamemos B el punto donde
,D
n corta a r (Figura 100).
[ es recto. Razonemos por reducción al absurdo, esto
Veamos que CBA
uia
es, supongamos que CBA[ no es recto.

tioq
1 1
An
C’ B C
r
de
ad
rsid
l
A
ive
Un
Figura 100
[ es agudo, entonces r y l harı́an con la secante n una pareja

1. Si CBA
de ángulos internos de un mismo lado cuya suma serı́a menor que 1800 y
por el V.P.E. r y l se cortarı́an, contradicción ya que por hipótesis l k r.
[ es obtuso, entonces C
2. Si CBA \ 0 BA es agudo y las dos rectas se cor-
0
tarı́an del lado de C , llegándose de nuevo a una contradicción. Por lo
[ es recto.
tanto, CBA
Corolario 11 . Las rectas perpendiculares a dos rectas que se cortan

también se cortan.
Demostración: sean x, y, dos rectas que se cortan en O. Tomemos

−−→ −−→
A ∈ OX y B ∈ OY .
as
−−→ −−→
Sean n ⊥ OX por A y m ⊥ OY por B. (Figura 101). Demostremos
atic
que m y n se cortan. Razonemos por reducción al absurdo.
atem
m
2 y
eM
B Y
o. d
n
O ept
2
A
,D
x
uia
X
tioq
Figura 101
An
−−→
Si m y n no se cortaran, serı́an paralelas, es decir, m k n. Pero OX ⊥ n,
de
−−→
entonces OX ⊥ m (por teorema anterior) (1).
ad
←→
rsid
Ahora, por hipótesis OY ⊥ m (2)

ive
En (1) y (2) se tienen dos rectas perpendiculares a una tercera, luego

Un
←→ ←→
se concluye que OXkOY , lo que es una contradicción.
Recuérdese que habı́amos demostrado en el Teorema 31 que “si dos

rectas hacen con una secante una pareja de ángulos A.I. congruentes,
las rectas son paralelas”. El recı́proco de este enunciado lo daremos en
la siguiente proposición.
Teorema 41 (Alternos internos entre paralelas).

Dadas dos rectas distintas y paralelas, los ángulos A.I. que hacen con
cualquier secante son congruentes.
Demostración: sean l k r y t una secante cualquiera que corta a l en

B y a r en A. (Figura 102).
as
Sea O punto medio de AB.
t
atic
atem
Q
r
A
eM
o. d
O
B ept
l
,D
H
uia
tioq
Figura 102
An
←→ ←→ ←→
de
Bajemos desde O, OH⊥ l. Como OH⊥ l y l k r, entonces OH⊥ r.

ad
←→
rsid
Ası́ que si llamamos Q al punto de encuentro de OH con r se tendrá

[ es recto.
que OQA
ive
Ahora: 4OBH ∼ [ ∼
= 4OQA (hipotenusa- ángulo agudo). Luego OAQ =
\ lo que demuestra el teorema.
OBH
Un
Corolario 12 . Dadas dos rectas paralelas, los ángulos correspon-

dientes que hacen con cualquier secante son congruentes.
Incluimos ahora dos proposiciones cuya demostración la dejamos al

lector.
Proposición 1.
i) Dos ángulos que tengan sus lados respectivamente paralelos, o son
congruentes o son suplementarios.
ii) Dos ángulos que tengan sus lados respectivamente perpendiculares,

o son congruentes o son suplementarios.
Proposición 2.
Si dos rectas paralelas son cortadas por otras dos paralelas, los segmen-
tos opuestos que se determinan son congruentes (Figura 103).
as
atic
←→ ←→ ←→ ←→
Según la figura si ABkDC y ADkBC, entonces AB ∼
= DC y
atem
AD ∼= BC.
s t
eM
A B
r
o. d
ept
,D
uia
l
D C
tioq
Figura 103
An
de
ad
Corolario 13 . Si l k r, entonces para todo punto P perteneciente a

rsid
l, la distancia del punto P a r es constante.

ive
A la constante dada se le llama la distancia entre las paralelas l y r.

Un
Definición 31 (Lugar Geométrico). Se llama lugar geométrico a

la figura cuyos puntos cumplen una o varias condiciones geométricas.
Ejercicio: determinar el Lugar Geométrico de los puntos que están a

una distancia r de una recta fija l.
Teorema 42 ( Suma de los ángulos interiores de un triángulo).

La suma de los ángulos interiores de todo triángulo vale 180 0 .
←→
Demostración. (ver figura 104). Sea l kAB trazada por C.
←→ ←→
Como l kAB y BC secante, entonces: β = β2 .
←→ ←→
Como l kAB y AC secante, entonces: α = β1
Además es claro β1 + γ + β2 = 1800 . Luego: α + β + γ = 1800 .
as
atic
atem
C
l
β1 β2
eM
γ
o. d
ept
α β
,D
uia
A B
Figura 104
tioq
An
Corolario 14 . Todo ángulo exterior de un triángulo es igual a la

suma de los ángulos interiores no adyacentes.
de
B
ad
rsid
β
ive
Un
γ
α
A C
Figura 105
Demostración. (ver figura 105).

(1) + γ = 1800
(2) α + β + γ = 1800
De (1) y (2) se tiene que: = α + β.
Corolario 15 . En todo triángulo rectángulo los ángulos agudos suman

900 .
Corolario 16 . Si dos triángulos tienen dos pares de ángulos respec-
as
tivamente congruentes, entonces los otros dos ángulos son respectiva-
atic
mente congruentes.
atem
Teorema 43 (Paralela media de un triángulo).
eM
i) El segmento que une los puntos medios de dos lados de un
triángulo es paralelo al tercer lado y tiene por medida su mitad.
o. d
ii) Si por el punto medio de un lado de un triángulo se traza una
ept
paralela a un lado, dicha paralela biseca al otro lado.
,D
Demostración. (ver figura 106) i) Sean M y N puntos medios de AC

uia
y CB, respectivamente.
Demostremos que: M N k AB y que M N = 12 AB.
tioq
Prolonguemos M N tal que: M N ∼ = NT.

An
Los triángulos 4M N C y 4T N B son congruentes por L-A-L.

C
de
ad
γ
rsid
α
ive
N T
M
Un
α1
γ1
A B
Figura 106
Luego los ángulos: α = α1 (1)

MC ∼= BT (2)
←→ ←→
luego de (1), las rectas T B y CA son paralelas por hacer ángulos al-
←→
ternos congruentes con la secante M T .
Como M C ∼ = M A, entonces M A ∼
= BT y M \ AT ∼ [
= AT B (] A.I entre
∼
paralelas) y además, AT = AT .
Luego, 4M AT ∼
as
= 4AT B (L-A-L).
\ TA ∼= T[
atic
Luego, M AB (por definición de congruencia de triángulos);
←→
luego, M T k AB (Teorema 31: T.de los ] A.I.) y M T ∼= AB.
atem
N es el punto medio de M T , entonces:
eM
M N k AB y M N = 21 AB.
o. d
ii) (Figura 107). Sea el triángulo 4ABC, M punto medio de AC.
M N k AB, por N tracemos una paralela a AC. ept
,D
Tenemos: 4M N C ∼
= 4T BN , ya que
uia
\ ∼ \ [
CM N = N T B, ACB ∼ \
= BN T (por correspondientes) y
tioq
AM = N T = M C.
An
Entonces CN = N B.
de
C
ad
rsid
ive
N
M
Un
A T B
Figura 107
Corolario 17 . En todo triángulo rectángulo la mediana relativa a la

hipotenusa es la mitad de la hipotenusa.
Demostración. (ver figura 108) AM mediana del triángulo rectángulo

4BAC.
as
atic
M
atem
eM
o. d
A D B
Figura 108
ept
,D
Sea D el punto medio de AB, entonces por teorema anterior M D k CA
y por lo tanto M\DB es recto. Luego el triángulo 4AM B es isósceles.
uia
De aquı́ concluimos que: AM ∼= M B y como M es punto medio de BC

tioq
se tiene que:
AM ∼ = BM ∼= MC
An
Teorema 44 .
de
Si el pie de una mediana de un triángulo equidista de los vértices del

ad
triángulo entonces el triángulo es rectángulo.

rsid
ive
A
Un
α1 α2
β γ
B M C
Figura 109
Demostración. (ver figura 109). Sea AM la mediana relativa a BC

y además BM ∼= MC ∼= AM . Demostremos que el ángulo A b es recto.
Como BM ∼ = AM , 4AM B es isósceles y por lo tanto: β = α1 .
Como M C ∼ = AM , 4AM C es isóceles y por lo tanto : α2 = γ.

b Pero m(A)
Luego: α1 + α2 = β + γ = 1800 − m(A). b = α 1 + α2 .
b = 1800 − m(A),
Por tanto: m(A) b de donde 2m(A) b = 1800 y
b = 900 .
m(A)
as
atic
Teorema 45 (T. del circuncentro).
atem
Las mediatrices de un triángulo son concurrentes en un punto. (A
este punto se le llama el circuncentro).
eM
Demostración: (Se deja como ejercicio).
o. d
Teorema 46 (T. del incentro).
ept
Las bisectrices de un triángulo son concurrentes en un punto. (A
,D
este punto se le llama el incentro).
uia
Demostración: (Se deja como ejercicio).

tioq
Teorema 47 (T. del ortocentro).

An
Las rectas que contienen las alturas en un triángulo son concurrentes

en un punto. (A este punto se le llama el ortocentro).
de
ad
Demostración. (Ver figura 110) Por hipótesis se tiene que AD, BE, CF
rsid
←→ ←→ ←→
son alturas. Veamos que AD, BE, CF son concurrentes en un punto
ive
O.
Por Playfair, por A pasa m k BC, por C pasa n k AB y por B pasa
Un
l k AC. T T T
Sean {A0 } = m l; {B 0 } = m n; {C 0 } = l n; y como segmentos
←→
paralelos comprendidos entre rectas paralelas son congruentes y m kBC
←→
y n kAB, entonces por la (Proposición 2) AB 0 ∼ = BC.
←→ ←→
Similarmente, como BCk m y l kAC, entonces BC ∼
= A0 A, y por tanto
A es punto medio de A0 B 0 .
Como BC k m y AD ⊥ BC por hipótesis, entonces AD ⊥ m y por
←→
tanto AD es mediatrı́z de A0 B 0 .
2.8. DESIGUALDADES EN EL TRIÁNGULO 89
n
A’ A B’
F E
m
O
D
B C
as
atic
C’
atem
l
eM
Figura 110
o. d
←→ ←→
Similarmente se demuestra que BE es mediatrı́z de A0 C 0 y CF es me-
ept
diatrı́z de C 0 B 0 . ←→ ←→ ←→
,D
Por lo tanto en el 4A0 B 0 C 0 se tiene que AD, BE, CF son mediatrices
de los lados del 4A0 B 0 C 0 y por el teorema del circuncentro, estas rectas
uia
son concurrentes en un punto O.

tioq
Observese que O es el circuncentro del 4A0 B 0 C 0 y O es el ortocentro

An
del 4ABC.
de
ad
2.8 DESIGUALDADES EN EL TRIÁNGULO

rsid
Teorema 48 .
En un mismo triángulo, si dos lados no son congruentes, entonces los
ive
ángulos opuestos a estos lados no son congruentes y el ángulo mayor es

Un
el opuesto al lado mayor.
Hipótesis: AB 6∼
= BC, m(AB) < m(BC)
b 6∼
Tesis: A b
= C, b<A
C b
Demostración. (ver figura 111). Razonemos por reducción al absurdo.

Supongamos que Ab ∼ b entonces el triángulo 4ABC es isósceles y por
= C,
∼
tanto AB = BC. Absurdo!. Luego A b 6∼ b
= C.
α γ
as
A C
atic
Figura 111
atem
Como m(AB) < m(BC), existe D entre B y C tal que BD ∼ = AB (Figura
eM
112).
\∼
Por tanto 4ABD es isósceles y BAD \ y θ = δ.
= BDA
o. d
\ es exterior al triángulo 4ADC, δ > γ, luego θ > γ.
Como el ángulo BDA
−−→ept
Ahora, como D está entre B y C, entonces AD está en el interior del
,D
b (Teorema 6 y T.barra transversal). Luego, θ < α y en conse-
ángulo A
cuencia α > γ.
uia
tioq
B
An
de
δ D
ad
θ
rsid
α γ
ive
A C
Un
Figura 112
Teorema 49 .
En un mismo triángulo, si dos ángulos no son congruentes, entonces los
lados opuestos a ellos no son congruentes y el lado mayor es el opuesto al
ángulo mayor. De otro modo: En cualquier triángulo 4ABC, si γ > β,
entonces: m(AB) > m(AC).
as
atic
atem
β γ
eM
B C
o. d
Figura 113
ept
,D
Sea γ > β y supongamos que m(AB) ≤ m(AC). Si m(AB) = m(AC), en-
uia
tonces, el triángulo 4ABC es isósceles y por tanto γ = β. Absurdo!.

Si m(AB) < m(AC), entonces, por el teorema anterior, γ < β Absurdo!.
tioq
Luego, m(AB) > m(AC).

An
Observación : Los Teoremas 48 y 49 nos dicen que en un mismo

triángulo a mayor lado se opone mayor ángulo y viceversa.
de
ad
Teorema 50 (Teorema de las oblicuas).

rsid
Si desde un punto exterior a una recta se trazan un segmento perpendicular

y dos segmentos oblicuos, entonces:
ive
i) El segmento perpendicular es el de menor longitud.

Un
ii) De los segmentos oblicuos es mayor el que se aparta más del pie de la
perpendicular.
iii) Si los dos segmentos oblicuos no tienen la misma longitud, el de mayor

longitud se aparta más del pie de la perpendicular.
Demostración: i) Sea Q el pie de la perpendicular desde el punto P a

la recta l, y sea R cualquier otro punto de l. (ver figura 114).
Veamos que: m(P Q) < m(P R).
En efecto, sea S un punto de l, tal que Q esté entre S y R.
as
atic
β γ
atem
α
S Q R
l
eM
Figura 114
o. d
Entonces P[QS es exterior a el triángulo 4P QR, luego α > γ. Como
ept
α = β, entonces β > γ y por el Teorema 49, m(P R) > m(P Q).
,D
Los numerales ii) y iii) se dejan al lector.

uia
tioq
Observación: el teorema anterior nos permite afirmar que la distancia de

un punto a una recta es el segmento de menor medida que se puede trazar
An
entre el punto y la recta.

de
Teorema 51 (Desigualdad Triangular).

ad
La suma de las longitudes de dos lados cualesquiera de un triángulo es mayor

que la longitud del tercer lado.
rsid
ive
Demostración. (ver figura 115). Tomemos un punto D sobre la recta

←→
BC, tal que B esté entre D y C y DB ∼
= AB.
Un
Como m(DC) = m(DB) + m(BC), entonces:
m(DC) = m(AB) + m(BC) (1).

\
Ademas, θ < α (2), (ya que B está en el interior de DAC).
Como 4DAB es isósceles, entonces θ = δ (3).

Por (2) y (3) δ < α y en consecuencia, en 4ADC, m(AC) < m(DC) (4)
y por (Teorema 49).
δ
B
as
α
atic
A C
Figura 115
atem
B
eM
o. d
M
ept
,D
uia
A C
tioq
Figura 116
An
De (1) y (4) se deduce que:

de
ad
m(AC) < m(AB) + m(BC)

rsid
Corolario 18 . La longitud de un lado cualquiera de un triángulo es mayor

que la diferencia de las longitudes de los otros dos lados.
ive
Un
En efecto, como m(AC) < m(AB) + m(BC), entonces,
m(BC) > m(AC) − m(AB).
Corolario 19 . Sea M un punto interior del triángulo 4ABC. Entonces,

m(AM ) + m(M C) < m(AB) + m(BC) (ver figura 116).
Teorema 52 (Criterio L-A-L en desigualdades).

Si dos lados de un triángulo son congruentes respectivamente con dos lados
de un segundo triángulo, y el ángulo comprendido en el primer triángulo es
mayor que el ángulo comprendido en el segundo, entonces el lado opuesto
del primer triángulo es mayor que el lado opuesto del segundo.
B
E
as
atic
α δ
atem
A C D F
Figura 117
eM
o. d
Hipótesis: AB ∼
= DE, AC ∼
= DF , α > δ
Tesis: m(BC) > m(EF )

ept
,D
−→
Demostración. (ver figura 118). Como α > δ, existe una semirecta AQ
uia
[ ∼
b tal que CAQ
interior a α \
= EDF
tioq
−→
Sobre AQ tomemos un punto K tal que AK ∼
= DE.
An
∼
El triángulo 4AKC = 4DEF (L-A-L), Por tanto:
de
CK ∼
= EF (1).
ad
\ sea M el punto donde la bisectrı́z corta

Tracemos la bisectrı́z de BAK,
al lado BC. Ya que AB = DE y AK ∼
∼ = DE, entonces AB ∼
rsid
= AK. Luego
B
ive
3Q
M
Un
A C
Figura 118
B
E
α δ
A C D F
Figura 119
as
atic
4ABM ∼ = 4AKM (L-A-L) y en consecuencia, BM ∼
= M K (2).
atem
En el 4CKM, m(CK) < m(M K) + m(M C). (Teorema 51).
De (1) y (2), m(EF ) < m(BM ) + m(M C).
Pero, m(BM ) + m(M C) = m(BC), entonces
eM
m(EF ) < m(BC).
o. d
Teorema 53 ( Criterio L-L-L para desigualdades).
ept
Si dos lados de un triángulo son congruentes respectivamente con dos lados
,D
de un segundo triángulo, y el tercer lado del primer triángulo es mayor que
el tercer lado del segundo triángulo, entonces el ángulo comprendido en el
uia
primer triángulo es mayor que el ángulo comprendido en el segundo.

tioq
Hipótesis: AC ∼
= DF , AB ∼
= DE, m(BC) > m(EF )
An
Tesis: α > δ
de

ad
Supongamos que α ≤ δ.
rsid
Si α = δ, entonces 4ABC ∼ = 4DEF (L-A-L) y en consecuencia BC ∼ = EF .

Absurdo!.
ive
Si α < δ, entonces m(BC) < m(EF ). Absurdo!.

Luego, α > δ
Un
2.9 POLIGONALES Y POLÍGONOS

Definición 32 . Sean en el plano los puntos A1 , A2 , . . . , An con n ≥ 3, con
la condición de que tres puntos consecutivos no son colineales.
La unión de los segmentos A1 A2 , A2 A3 , . . . , An−1 An , se llama POLIGO-

NAL (Figura 120a).
as
Los puntos A1 , A2 , . . . , An se llaman VÉRTICES DE LA POLIGONAL.
atic
Los segmentos A1 A2 , A2 A3 , . . . , An−1 An se llaman LADOS DE LA POLI-
GONAL.
atem
Si se une An con A1 se obtiene una poligonal cerrada llamada POLÍGONO
eM
(Figura 120b,...,120g).
Los lados del polı́gono constituyen EL CONTORNO O LA FRONTERA DEL
o. d
POLÍGONO.
La suma de las medidas de los lados del polı́gono se llama PER ÍMETRO ept
DEL POLÍGONO.
,D
uia
A6 A4
A3 A4 A5 A1
tioq
A3 A2
A1 A2
A2 A5
An
A1
A6 A5 A3
A1 A4
A2 A4 A6 A3
de
(a) (b) (c) (d)

A1
ad
A2 A2 A3
rsid
A1
A3
ive
A1
A4 A2
A4 A3 A5
(e) (f) (g)
Un
Figura 120
Definición 33 (Poligono simple). Un polı́gono se llama SIMPLE si:

i) Todos los vértices son distintos. (la Figura 120d no lo es).
2.9. POLIGONALES Y POLÍGONOS 97
ii) Los lados se intersectan solamente en los vértices. (la Figura 120c no
lo es).
iii) Ningún vértice está en el interior de un lado. (la Figura 120b no lo

es).
Nota: a no ser que se especifique lo contrario, de aquı́ en adelante u-
saremos la palabra polı́gono en lugar de polı́gono simple.
as
Definición 34 . i) Un polı́gono simple se llama CONVEXO si para todo
atic
lado del poligono se cumple que la recta l que contiene al lado determina un
semiplano que contiene a los demás vértices del poligono. (Figura 121a).
atem
La intersección de todos estos semiplanos se le llama el interior del poligono.
Un punto perteneciente al interior del poligono se le llama punto interior del
poligono.
eM
ii) Un polı́gono no convexo, se llama CÓNCAVO (Figura 121b).
o. d
ept D
l 4
,D
D
C Q
uia
4 4
tioq
Q
C
P 4
An
P
l A B
de
A B
(a) Convexo (b) Concavo
ad
rsid
Figura 121
ive
Un
iii) Un polı́gono convexo que tiene sus ángulos y lados congruentes se

llama REGULAR (Figura 122a).
Si no cumple alguna de estas condiciones es IRREGULAR (Figura

122b y 122c).
iv) Un punto Q se denomina PUNTO EXTERIOR de un polı́gono
convexo, si no es punto frontera y si no es punto interior.
v) El conjunto de puntos exteriores se llama EXTERIOR del polı́gono.

5 5
as
atic
(a) Regular (b) Irregular (c) Irregular
atem
Figura 122
eM
o. d
Ejercicio: demostrar que el interior de un polı́gono convexo es un conjunto
no vacı́o. ept
Ejercicio: para todo P, Q en el interior de un poligono convexo se cumple
,D
que P Q es subconjunto del interior del polı́gono.(Ver figura 121 (a))
Ejercicio: para todo X, Y pertenecientes al polı́gono convexo se cumple que
uia
Int{XY } intersectado con el polı́gono es el conjunto vacio.

tioq
An
de
Definición 35 . i) Al segmento que une dos vértices no consecutivos de un

ad
polı́gono se llama DIAGONAL DEL POLÍGONO.

rsid
ii) El ángulo formado por dos lados consecutivos de un poligono convexo

ive
se le llama ANGULO DEL POLIGONO.

Un
iii) Los ángulos que forman un par lineal con los ángulos de un polı́gono
convexo se llaman ANGULOS EXTERIORES DEL POLIGONO.
Ası́, en la Figura 123, AC y BD son diagonales; F[ [ HCB,

AE, IBA, \ GDC,
\
etc. son ángulos exteriores del polı́gono.
I
B
H
C
A
E D G
as
atic
Figura 123
atem
Nombres de algunos poligonos
eM
Nombre Número de lados
Triángulo 3 lados
o. d
Cuadrilátero 4 lados
Pentágono 5 lados
Hexágono 6 lados
ept
,D
Heptágono 7 lados
Octágono 8 lados
uia
Nonágono 9 lados
tioq
Decágono 10 lados
Endodecágono 11 lados
An
Dodecágono 12 lados
de
Teorema 54 .
El número de diagonales de un polı́gono de n lados es:
ad
rsid
n(n − 3)
d=
2
ive
Demostración. Por cada vértice P de un polı́gono de n vértices se

Un
pueden trazar (n − 3) diagonales. Como hay n vértices se obtienen en total

n(n − 3) diagonales. Por el método de conteo que adoptamos, cada diagonal
se cuenta dos veces, por lo tanto se tiene: n(n−3)
2
.
n(n−3)
Luego: d = 2
Ejemplos:
5(5−3)
n=5 ⇒d= 2
= 5 (ver figura 124).
as
Figura 124
atic
atem
7(7−3)
n=7 ⇒d= 2
= 14 (ver figura 124).
eM
Teorema 55 .
La suma de las medidas de los ángulos interiores de un polı́gono convexo,
es igual a tantas veces dos rectos como lados tiene el polı́gono menos dos.
o. d
Es decir, si n es el número de lados del polı́gono, entonces:
ept
s = 180(n − 2)
,D
P2
uia
P1
tioq
P3
An
P0
de
P4
ad
rsid
Pn−1 Pn−2
ive
Un
Figura 125
Demostración: (ver figura 125). 


 4P0 P1 P2



 4P0 P2 P3
Número de triángulos de vértice P0 4P0 P3 P4

 ..

 .

 4P P
0 n−2 Pn−1
Total: (n − 2) triángulos.
Luego, suma de los ángulos interiores del polı́gono:
P0 P1 P2 . . . Pn−2 Pn−1 = 180(n − 2)
Corolario 20 . Si un polı́gono es equiángulo, entonces el valor de un ángulo

interior es:
1800 (n − 2)
as
n
atic
Corolario 21 . En un polı́gono convexo, la suma de los ángulos exteriores
atem
tomados en un mismo sentido es dos llanos.
eM
CLASIFICACIÓN DE TRIÁNGULOS
o. d
1. Según sus lados:
a) ISÓSCELES: tiene dos lados congruentes.
b) EQUILÁTERO : tiene tres lados congruentes. ept
c) ESCALENO : no tiene lados congruentes.
,D
uia
2. Según sus ángulos:

a) EQUIÁNGULO: sus tres ángulos son congruentes.
tioq
b) RECTÁNGULO: tiene un ángulo recto.

c) ACUTÁNGULO: tiene sus tres ángulos agudos.
An
d) OBTUSÁNGULO: uno de sus ángulos es obtuso.

de
ad
Definición 36 . a) TRAPECIO : es un cuadrilátero convexo con un par

rsid
de lados paralelos (Figura 126a).

ive
b) PARALELOGRAMO : es un cuadrilátero convexo con dos pares de

lados paralelos (Figura 126b).
Un
c) RECTANGULO : cuadrilátero convexo que tiene sus cuatro ángulos

congruentes (Figura 126c).
d) ROMBO : cuadrilátero convexo que tiene sus lados congruentes (Figura

126d).
e) CUADRADO: cuadrilátero convexo que es equiángulo y equilátero a

la vez (Figura 126e).
a b e
as
atic
c
atem
Figura 126
eM
El significado de la Figura 126 es el siguiente: las propiedades del cuadrilátero
o. d
las hereda el trapecio; las propiedades del trapecio las hereda el paralelogramo
y ası́ sucesivamente.
ept
,D
Cuadriláteros
uia
Trapecios
tioq
Paralelogramos
An
Rectángulos Rombos
de
Cuadrados
ad
rsid
ive
Un
Figura 127
El significado de la Figura 127 es el siguiente: el cuadrado tiene las

propiedades del rectángulo y del rombo. El rombo y el rectángulo tienen
las propiedades del paralelogramo y ası́ sucesivamente.
Teorema 56 .
Todo rectángulo y todo rombo es paralelogramo.
Demostración. (ver figura 128). Demostraremos que todo rombo es
paralelogramo. Se deja al lector la demostración de que todo rectángulo es
paralelogramo.
Sea ABCD un rombo, luego:
as
AB ∼
= BC ∼ = CD ∼= DA por definición.
atic
Tracemos la diagonal DB, entonces:
4ADB ∼ = 4CBD, (L − L − L)
atem
\∼
De donde: ADB \
= CBD (1)
\∼ \ (2)
eM
CDB = ABD
o. d
Según (1), AD k BC y según (2), AB k DC, luego el rombo es un
paralelogramo.
A
ept
,D
uia
tioq
An
D B
de
ad
rsid
ive
C
Un
Figura 128
Corolario 22 . i) El rectángulo es un paralelogramo equiángulo.
ii) El rombo es un paralelogramo equilátero.
iii) El cuadrado es rectángulo y rombo a la vez.

Teorema 57 (Propiedades del paralelogramo).

Los siguientes enunciados son equivalentes:
1. Un cuadrilátero convexo es un paralelogramo.
2. Un par de lados opuestos del cuadrilátero son paralelos y congruentes.
3. Los lados opuestos del cuadrilátero son congruentes.
as
atic
4. Las diagonales del cuadrilátero se bisecan.
atem
5. Los ángulos opuestos del cuadrilátero son congruentes.
6. Un par de lados del cuadrilátero son paralelos y un par de ángulos
eM
opuestos son congruentes.
o. d
7. Si para cada lado los ángulos adyacentes son suplementarios.
ept
NOTA: (ver figura 129). Identifique cada caso.
,D
uia
tioq
6
6
An
de
ad
Figura 129
rsid
ive
La demostración de este teorema consiste en probar la siguiente cadena

de implicaciones, ası́:
Un
1 ⇒ 2 ⇒ 3 ⇒ ... ⇒ 7 ⇒ 1
Haremos aquı́ la prueba de la primera y la última implicaciones.
i) 1 ⇒ 2 (Figura 130).
Sea ABCD un paralelogramo con AD k BC y AB k CD.

Se traza la diagonal AC y se obtienen dos triángulos congruentes 4ABC y
A B
as
D C
atic
Figura 130
atem
eM
4DCA por tener:
o. d
\∼
CAD [ (alternos internos).
= ACB
\∼
DCA [ (alternos internos).
= CAB ept
AC (lado común).
,D
uia
Luego AD ∼
= BC y AD k BC (por hipótesis).
tioq
De la misma congruencia de triángulos se concluye también que:

AB ∼
An
= CD y AB k CD (por hipótesis).
de
ii) 7 ⇒ 1 (ver figura 131).

ad
rsid
X A B
ive
Un
C
D
Y
Figura 131
Supongamos que en el cuadrilátero convexo ABCD los ángulos adya-

\ y ADC
centes DAB \ son suplementarios, es decir:
\ + m(ADC)
m(DAB) \ = 2 rectos (1)
−→
Sea X un punto en BA, con A entre X y B, por tanto:
\ + m(DAB)
m(DAX) \ = 2 rectos (2)
as
\ + m(ADC)
De (1) y (2): m(DAB) \ = m(DAX) \ + m(DAB) \ , de donde:
atic
\∼
ADC \ y por ser alternos internos se concluye que AB k DC.
= DAX
atem
−−→
En la misma forma se toma Y en la semirecta BC, tal que C está entre
\∼
B y Y y se llega a la conclusión de que ADC =Y\CD y por la misma razón
eM
se concluye que AD k BC, luego la figura es un paralelogramo.
o. d
Teorema 58 (T. del baricentro).
ept
Las medianas en un triángulo son concurrentes en un punto, que está a un
tercio de la base y a dos tercios del vértice sobre cada mediana. (A este
,D
punto se le llama el baricentro).
uia
tioq
A
An
7R L
de
V’ 7
ad
7V
N
rsid
7S
ive
Un
B M C
Figura 132
Demostración. (ver figura 132). La estrategia de la demostración será:

i) Mostrar que dos medianas se cortan en un punto V , el cual está a un tercio
de la base y a dos tercios del vértice en cada mediana.
ii) Tomar la mediana que no se tuvo en cuenta en i) y una de las medianas

que si se tomo en cuenta en i) y suponer que se cortan en V 0 , para finalmente
concluir que V ≡ V 0 .
Veamos i). Sea R el punto medio de AV y S el punto medio de CV ; M

el punto medio de BC y N el punto medio de AB.
Por el t. de la paralela media en el 4AV C: RS k AC.
Por el t. de la paralela media en el 4ABC: N M k AC.
as
Luego, RS k N M .
Por el t. de la paralela media en el 4BV C: SM k BV .
atic
Por el t. de la paralela media en el 4BV A: N R k BV .
atem
Luego, SM k N R.
De lo anterior se concluye que N RSM es un paralelogramo y como en un
paralelogramo las diagonales se bisecan, entonces V S ∼
= VN y VR ∼
= VM y
eM
∼ ∼
como R es punto medio de AV , entonces AR = RV = V M , por tanto:
o. d
1 1
VM = AM = ma
3 3
2 2 ept
AA = AM = ma ,
,D
3 3
También, como S es punto medio de V C, entonces CS ∼
= SV ∼
= VN y
uia
por tanto
tioq
1 1
V N = CN = mc
3 3
An
2 2
V C = CN = mc
3 3
de
Veamos ii): Supongamos que la mediana AM se intercepta con la nueva

ad
mediana BL en V 0 . Como el resultado de la parte i) es valedero para estas

rsid
dos medianas que se cortan en V 0 , entonces AV 0 = 32 ma y por la parte i)

AV = 32 ma , entonces AV 0 = AV , o sea que AV 0 ∼= AV y por el t. de la
ive
0
barra transversal, V y V están del mismo lado con respecto a A, entonces
por el Ax. de construcción de segmento V ≡ V 0 .
Un
Teorema 59 (Propiedades del rectángulo).

1. Un cuadrilátero convexo es un rectángulo.
2. Todos sus ángulos son rectos.
3. Las diagonales son congruentes y se bisecan.
as
Demostraremos que 1 ⇒ 2 y que 3 ⇒ 1.
atic
i) 1 ⇒ 2 (ver figura 133).
atem
eM
D C
γ
o. d
δ
ept
β
,D
α
uia
A B
tioq
Figura 133
An
de
Por hipótesis tenemos que α = β = γ = δ.

Como α + β + γ + δ = 3600 , resulta entonces que:
ad
α = β = γ = δ = 900 .
rsid
ii) 3 ⇒ 1 (ver figura 134).

ive
Tenemos por hipótesis que:

Un
OA ∼
= OB ∼
= OC ∼
= OD.
Si 4AOB ∼ c2 ∼
= 4COD (L-A-L), resulta que A =C c2 ∼
c2 y B =Dc2 .
Si 4AOD ∼ c1 ∼
= 4COB (L-A-L), resulta que D =B c1 ∼
c1 y A =Cc1 .
Sumando: m(A c2 ) + m(Ac1 ) = m(C c2 ) + m(C

c1 ) y
c1 ) + m(D
m(D c2 ) = m(Bc1 ) + m(Bc2 ),
D C
1 2 2 1
O
1 2 2 1
A B
as
atic
Figura 134
atem
b∼
resulta entonces que A =CbyD b ∼
= B, c9 ∼
b pero como D =Ac1 c2 ∼
yB =Ac2 , se
eM
concluye que Ab∼=C byD b∼ b
= B.
o. d
c1 ∼
Pero como D =A c2 ∼
c1 y B =A b∼
c2 , se concluye que A b∼
=B b∼
=C b pues
= D,
c1 ∼
D =Ac1 ∼
=B c2 ∼
c1 y B =Ac2 ∼
=Dc2 .
ept
,D
Se deja al lector la prueba de que 2 ⇒ 3.
uia
tioq
Teorema 60 (Propiedades del rombo).

An
1. Un paralelogramo es un rombo.
de
ad
2. Las diagonales del paralelogramo bisecan los ángulos opuestos.

rsid
3. Las diagonales del paralelogramo son perpendiculares.

ive
4. Dos lados adyacentes del paralelogramo son congruentes.

Un
Demostraremos que 1 ⇒ 2 y que 4 ⇒ 1.
i) 1 ⇒ 2 (ver figura 135).

Por hipótesis tenemos que ABCD es paralelogramo con AB ∼
= BC ∼
=
∼
CD = DA.
Como 4DCB ∼
= 4DBA por (L-L-L) y
D B
O
as
atic
atem
A
eM
Figura 135
o. d
4CDA ∼
= 4CBA por (L-L-L), resulta:
ept
\ ∼ \ CBO\∼ [ DCO\ ∼ \ BAO[ ∼ \ (Porque
,D
CDO = ODA, = ABO, = BCO, = DAO.
?)
uia
tioq
ii) 4 ⇒ 1.
Tenemos por hipótesis que ABCD es paralelogramo y que AD ∼
= AB.
Entonces, por ser ABCD paralelogramo se tiene: AD ∼= BC y AB ∼
An
= DC,
∼
pero como AD = AB, resulta:
de
AB ∼
= BC ∼
= CD ∼
= DA.
ad
Teorema 61 (Propiedades del trapecio).

rsid
i) La base media de un trapecio (segmento que une los puntos medios de los
ive
lados no paralelos de un trapecio), es paralela a las bases y su medida es la

semisuma de las medidas de las bases.
Un
ii). El segmento que une los puntos medios de las diagonales de un trapecio
es paralelo a las bases y su medida es la semidiferencia de las medidas de
las bases (Demostrarlo).
iii) En un trapecio isósceles, el cual tiene los lados no paralelos congru-
entes, las diagonales son congruentes, los ángulos de la base mayor son
congruentes, los ángulos de la base menor son congruentes. El punto de
intersección de las diagonales, los puntos medios de las bases y el punto de
intersección de las rectas que contienen los lados no paralelos, estan alinea-
dos. Las mediatrices de las bases coinciden. (Demostrarlo).
D C
E
K
as
A B F
atic
Figura 136
atem
Demostración i) (ver figura 136). Por hipótesis, DC k AB, DK ∼
= KA
∼
eM
y CE = EB.
Demostremos que:
o. d
1
KE = (DC + AB).
2 ept
Si unimos D con E y prolongamos hasta encontrar la prolongación de
,D
AB, tal que B está entre A y F , resulta que 4DCE ∼ = 4F BE por (A-L-A),
uia
entonces
DE ∼= EF y DC ∼ = BF .
tioq
En 4DAF se tiene KD ∼ = KA y DE ∼ = EF , por lo tanto KE k AF y

An
1 1
KE = (AF ) = (AB + DC).
2 2
de
ad
ii) y iii) se dejan como ejercicio.

rsid
ive
Un

Elementos

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Elementos

Uploaded by

Copyright:

Available Formats

as

1 ProfesorTitular de la Universidad de Antioquia, Magister en Matemáticas de

2.4.3 PERPENDICULARIDAD Y PARALELISMO . 42

2.5 AXIOMAS DE CONTINUIDAD . . . . . . . . . . . . . . 56

2.7 AXIOMA DE PARALELISMO . . . . . . . . . . . . . . . 75

2.9 POLIGONALES Y POLÍGONOS . . . . . . . . . . . . . 96

las hipótesis, constituye la demostración.

La necesidad de términos no definidos y proposiciones no demostradas se

Mediante la demostración, se establecen nuevas proposiciones o relaciones

es ası́ como la demostración y la definición corren de la mano.

Definición y demostración son en consecuencia, las dos operaciones fun-

damentales mediante las cuales se desarrolla una teorı́a deductiva.

Dentro del desarrollo axiomático griego, las nociones y principios se cons-

En la geometrı́a desarrollada por Euclides, los términos primitivos como

fundamentación se prescinde de este desarrollo material e intuitivo.

En oposición a la axiomática material, se estructura lo que se ha de-

1. Enunciar explı́citamente los términos primeros, con ayuda de los cuales

2. Enunciar explı́citamente las proposiciones primeras, con ayuda de las

cuales se propone demostrar todas las demás. Estas proposiciones se

Los axiomas deben verificar a su vez tres propiedades:

• Consistencia: se refiere a la no introducción de contradicciones

• Suficiencia: implica el hecho de que los resultados requeridos en

3. Que las relaciones establecidas entre los términos sean únicamente

4. Que en las demostraciones sólo intervengan estas relaciones, lo que

Debe aclararse que la condición de independencia entre los axiomas, no es

mediante una cadena de implicaciones lógicas, a una proposición final lla-

Se puede establecer una equivalencia entre las proposiciones H ⇒ T y

¬T ⇒ ¬H llamada esta última, el contrarrecı́proco de la proposición inicial.

nado método de demostración por el contrarrecı́proco. El método consiste en

demostrar ¬T ⇒ ¬H, en lugar de H ⇒ T . La demostración de ¬T ⇒ ¬H

generalmente se hace usando el método directo, o sea, asumiendo la negación

Se dice que dos proposiciones son contradictorias cuando una es la negación

y su negación (Q ∧ ¬Q), por tanto, una contradicción siempre será una

Cuando en una demostración se establece una implicación de la forma

absurdo” ó “Método de contradicción”. Para la aplicación del método se

En la formulación que adelantaremos, asumiremos el manejo de la lógica

y de la teorı́a de conjuntos, aunque en algunos puntos haremos hincapié en

el proceso lógico de las demostraciones.

2.1 ELEMENTOS GEOMÉTRICOS

1.1 Términos primitivos: punto, recta, plano, espacio.

1.2 Relaciones primitivas: estar en (pertenencia), estar entre, congruente.

enunciados tales como:

El punto A está en la recta l.

1.3 Axiomas. Los axiomas se dividen en cinco grupos a saber:

Grupo I. Axiomas de incidencia.

Grupo III. Axiomas de congruencia.

2.2 AXIOMAS DE INCIDENCIA

I.5 A todo plano pertenecen al menos tres puntos distintos no colineales.

I.7 Si dos planos diferentes se cortan, su intersección es una recta.

Observación: el axioma I.7 establece que si dos planos tienen un punto

en común, tienen un segundo punto en común y en consecuencia, una

Definición 2 . Puntos coplanares son aquellos que están en un mismo

Demostración (Figura 2). Sean l y m dos rectas diferentes que se cor-

B pasa una recta única. Luego l y m son la misma recta. Contradicción, ya

existen otro punto B diferente de A en l y otro punto C diferente de A en m.

que contiene a la recta y al punto.

2.3 AXIOMAS DE ORDEN

II.1 Si el punto B se encuentra entre el punto A y el punto C, entonces A,

II.3 Dados dos puntos distintos A y C, existe al menos un punto D sobre

Observación: el axioma II.4, establece que por ejemplo, si A está entre

Definición 3 (Segmento). Sean A y B dos puntos. Al conjunto for-

AB = {A, B} ∪ {X/X es un punto que está entre A y B}.

II.5 Si D está entre A y C y X está entre D y C, entonces X está entre A