Competencias

1. Estudia los elementos básicos de la geometría euclidiana con el propósito de desarrollar

la estructura del pensamiento deductivo.
2. Conoce la estructura axiomática de la geometría euclidiana
3. Comprende la definición simbólica de objetos geométricos tales como segmento,
ángulo, rayo y triángulo
4. Aplica los axiomas y teoremas para realizar demostraciones sencillas de propiedades
geométricas mediante distintos métodos.

Antes de presentarles los ejemplos hacemos un resumen de las propiedades de los

números reales, a manera de repaso.

Propiedades de la igualdad (a, b y c son tres números reales)

1. Propiedad Clausurativa Si 𝑎, 𝑏 ∈ ℝ, entonces (𝑎 + 𝑏) ∈ ℝ
2. Propiedad de la adición Si 𝑎 = 𝑏 entonces 𝑎 + 𝑐 = 𝑏 + 𝑐
3. Propiedad de la sustracción Si 𝑎 = 𝑏 entonces 𝑎 − 𝑐 = 𝑏 − 𝑐
4. Propiedad de la Multiplicación Si 𝑎 = 𝑏 entonces 𝑎. 𝑐 = 𝑏. 𝑐
𝑎 𝑏
5. Propiedad de la división Si 𝑎 = 𝑏 y 𝑐 ≠ 0, entonces =
𝑐 𝑐

6. Propiedad conmutativa 𝑎+𝑏 =𝑏+𝑎

7. Propiedad asociativa 𝑎 + (𝑏 + 𝑐) = (𝑎 + 𝑏) + 𝑐
8. Propiedad distributiva 𝑎(𝑏 + 𝑐) = 𝑎𝑏 + 𝑏𝑐
9. Propiedad reflexiva 𝑎=𝑎
10. Propiedad simétrica Si 𝑎 = 𝑏 entonces 𝑏 = 𝑎
11. Propiedad transitiva Si 𝑎 = 𝑏 y 𝑏 = 𝑐, entonces 𝑎 = 𝑐
12. Propiedad cancelativa Si 𝑎 + 𝑏 = 𝑐 + 𝑏, entonces 𝑎 = 𝑐
13. Propiedad sustitutiva Si 𝑎 = 𝑏, entonces 𝑎 reemplaza a 𝑏 en
cualquier ecuación

1
Definición de valor absoluto
𝑥 𝑠𝑖 𝑥 ≥ 0
|𝑥 | = {
−𝑥 𝑠𝑖 𝑥 < 0

Propiedades de Orden (𝒂, 𝒃, 𝒄, 𝒙, 𝒚 son números reales)

1. Propiedad aditiva Si 𝑎 < 𝑏 y 𝑥 ≤ 𝑦, entonces 𝑎 + 𝑥 ≤ 𝑏 + 𝑦

Si 𝑥 < 𝑦 y 𝑎 > 0, entonces 𝑎𝑥 < 𝑎𝑦
2. Propiedad Multiplicativa
Si 𝑥 < 𝑦 y 𝑎 < 0, entonces 𝑎𝑥 > 𝑎𝑦
Para todo par de números 𝑥, 𝑦 una y solo una
3. Tricotomía de las siguientes condiciones se cumple:
𝑥 <𝑦, 𝑥 >𝑦, 𝑥 =𝑦
4. Teorema Si 𝑎 = 𝑏 + 𝑐, 𝑦 𝑐 > 0, entonces 𝑎 > 𝑏

Relaciones de Incidencia entre puntos, rectas y planos.

A continuación presentamos los conceptos generales del sistema de axiomas de

incidencia de la geometría plana.
1. Sea E el conjunto de todos los puntos, el cual recibe el nombre de Espacio. Los
elementos de E se denotan con letras mayúsculas del alfabeto A, B, C,..., P, Q,…

2. Sea L un subconjunto de E constituido por todas las rectas. Los elementos de L se

denotan con letras minúsculas del alfabeto a, b, c,..., p, q, r, …
3. Sea P un subconjunto de E constituido por todos los planos. Los elementos de P se
denotan con letras minúsculas del alfabeto griego 𝛼, 𝛽, 𝛾,..., 𝜀, 𝜋,…

Si una recta ℓ es un subconjunto de un plano , diremos que  está en el plano

, o ℓ ⊂.

Si un punto P pertenece a una recta ℓ, podemos decir que P está en la recta  , que
la recta ℓ pasa por P, o P ℓ.

Si un punto P pertenece a un plano , podemos decir que P está en el plano , que

el plano  pasa por el punto P, o P.

2
Definición 1: Los puntos de un conjunto son alineados, si hay una recta que los contiene
a todos.

En la siguiente figura, los puntos A, B, C y D son colineales, pues están contenidos en la

⃡
recta 𝐴𝐵

Definición 2: Los puntos de un conjunto son coplanarios o coplanares, si hay un plano

que los contiene a todos.

En la siguiente figura, los puntos , P, Q, R y S son coplanares.

Axiomas de incidencia de la planimetría

AI1: Cada recta ℓ contiene al menos, dos puntos diferentes P, Q.

AI2: Por dos puntos distintos pasa una y solo una recta. Si los puntos son P y Q, la
⃡ .
recta ℓ que pasa por ellos se denota ℓ = 𝑃𝑄

AI3: Dada una recta, existe al menos un punto del espacio que no está en la recta.

AI4: Cada plano 𝛼 contiene, por lo menos, tres puntos P, Q y R que no están en
una misma recta.

3
AI5: Por tres puntos no colineales, existe exactamente un plano 𝛼 que pasa por ellos.
Si los puntos son P, Q y R, el plano que pasa por ellos se denota 𝛼 = ⃡𝑃𝑄𝑅 .

AI6: De tres puntos de una recta uno, y sólo uno, se halla entre los otros dos.

El punto R y solo R está entre P y Q

AI7: Si dos puntos están en un plano, la recta que pasa por ellos está contenida el
plano.

AI8: Si dos planos 𝛼 y 𝛽 se intersecan, su intersección es una recta ℓ.

4
AI9: Un punto perteneciente a una recta, la divide en dos semirrectas. Los puntos de
cada semirrecta están separados por este punto.

Las semirrectas son 𝐴𝑄 y 𝑅𝑃.

AI10: Toda recta perteneciente a un plano, lo divide en dos semiplanos. Los puntos
de cada semiplano están separados por esta recta.

AI 11: Cualquiera que sea el plano, existen puntos que pertenecen a este plano y
puntos que no le pertenecen.

A continuación presentamos los teoremas de incidencia que se demuestran aplicando los

axiomas dados. Los dos primeros teoremas se demostrarán por el método indirecto
presentado en la lección 2.

Teoremas de Incidencia
Teorema 1: Dos rectas diferentes se intersectan a lo sumo en un punto.

Demostración: Sean ℓ1 y ℓ2 dos rectas distintas.

ℓ1

ℓ2

Supongamos por reducción al absurdo, que las rectas ℓ1 y ℓ2 se cortan en dos puntos 𝑃
y 𝑄. Pues por el axioma AI2 sólo hay una recta que contiene a 𝑃 y 𝑄. Luego, las rectas
ℓ1 y ℓ2 son la misma recta. Esto es una contradicción pues por hipótesis las rectas son
distintas. Así, lo supuesto es falso y por lo tanto, ℓ1 ∩ ℓ2 = {𝑃}.

5
Teorema 2: Si una recta interseca un plano que no la contiene, la intersección es un solo
punto.
Demostración: Sea ℓ una recta que interseca a un plano , ℓ ∩  = {𝑃} y ℓ ⊄ .

ℓ
ℓ

 P

Supongamos por reducción al absurdo, que hay un segundo punto Q tal que , ℓ ∩  = {𝑃, 𝑄}.
Por el axioma AI2, ℓ = ⃡𝑃𝑄 . Los puntos P y Q están en el plano , luego por el axioma AI7,
ℓ también está , es decir, ℓ ⊂ . Lo que contradice la hipótesis. Por lo tanto, ℓ ∩  = {𝑃}.

Teorema 3: Si ℓ es una recta y P un punto que no pertenece a ella, existe un plano único
que las contiene.
Demostración: Sea ℓ una recta y P un punto que no le pertenece (fig. izquierda). Por el
axioma AI1, consideremos en la recta ℓ los puntos Q y R distintos de P. Por el axioma AI5,
los puntos no colineales P, Q y R determinan al plano 𝛼 (fig. derecha).
⃡ = ℓ ⊂ 𝛼. Luego, hay al
Como Q y R están en el plano 𝛼, por axioma AI7 se sigue que 𝑄𝑅
menos un plano que contiene ℓ ∪ 𝑃.

ℓ ℓ
𝑅
𝛼 Q
P P

Si hubiese dos planos que contiene a la recta ℓ y al punto P, entonces los dos contendrían
a P, Q, R. Esto contradice el axioma AI5. Por lo tanto, este plano 𝛼 es único.

6
Teorema 4: Si dos rectas se intersecan, hay exactamente un plano que las contiene.
Demostración: Sean ℓ1 y ℓ2 dos rectas que se intersecan. Por el Teorema 1, sea P el
punto de intersección. Esto es, ℓ1 ∩ ℓ2 = P (Fig. izq.)

Por el axioma AI1, la recta ℓ1 contiene otro punto Q distinto de P, el cual no pertenece a
ℓ2 (figura derecha).

ℓ2
ℓ2
𝛼
ℓ1 ℓ1
P Q P Q

Por el Teorema 3 hay un plano 𝛼 que contiene a ℓ2 y Q (figura derecha). Como P, Q ∈ ℓ1 ,

por el axioma AI7 ℓ1  𝛼. Luego, ℓ1 ∪ ℓ2 ⊂ 𝛼.

Ningún otro plano contienen a ℓ1 ∪ ℓ2 , pues si hubiese dos planos que contienen a ℓ1 ∪ ℓ2 ,
estos planos contendrían a ℓ2 y Q, lo no que es posible, pues contradice el Teorema 3.

Postulados de Separación
Definición 3: Dada una recta ℓ y un plano 𝛼 que la contiene, los dos conjuntos
determinados por el postulado de separación del plano se llama semiplanos (H1 y H2) o
lados de la recta ℓ, y ℓ se llama la arista o el borde de cada uno de ellos.

Si P está en uno de los semiplanos y Q está en el otro, entonces decimos que P y Q están
a lados opuestos de L.

7
Postulados de Separación del Plano
Se da una recta y un plano que la contiene. Los puntos del plano que no están en la recta
forman dos conjuntos tales que:
a) Cada uno de los conjunto es convexo, y
̅̅̅̅ interseca
b) Si P está uno de los conjuntos y Q está en el otro, entonces el segmento 𝑃𝑄
a la recta.
Decimos que ℓ separa a  en dos semiplanos 𝐻1 y 𝐻2
Observemos que:
a) π − ℓ = H1 ∪ H2
b) Si P𝐻1 entonces H1 = {Qϵπ − ℓ: ̅̅̅̅
PQ ∩ ℓ = ∅} y
̅̅̅̅ ∩ ℓ ≠ ∅}.
H2 = {Qϵπ − ℓ: PQ

Postulados de Separación del Espacio

Un plano separa el espacio dos conjuntos tales que:
a) Cada uno de los conjunto es convexo, y
b) Si R está uno de los conjuntos y S está en el otro, entonces el segmento ̅̅̅̅
𝑅𝑆 interseca
al plano en un punto P.

Los dos conjuntos determinados por el postulado de separación del espacio se llaman
semiespacios (E1 y E2), y el plano dado se llama la cara de cada uno de ellos.
Si los puntos R y S están en el mismo semiespacio, el segmento ̅̅̅̅
𝑅𝑆 no corta el plano. En
caso contrario, si el punto R está en un semiespacio y S está en el otro, el segmento ̅̅̅̅
𝑅𝑆
siempre interseca el plano.

S
𝑬𝟏

R
R
P
𝜶

𝑬𝟐
S

8
Noción de Distancia y el Postulado de la Regla.
La distancia es una función d en la cual a cada par de puntos corresponde un número real
llamado la distancia entre ellos.

d:SxSℝ
Expondremos esta idea de distancia, enunciando el siguiente un postulado y definición.

Postulado: Postulado de la Distancia

A cada par de puntos diferentes corresponde un número positivo único.

Definición 4: La distancia entre dos puntos es el número obtenido mediante el postulado

de la distancia. Si los puntos son P y Q escribiremos d(P, Q) o simplemente PQ.

Axiomas de Distancia
D1: Para cada par de puntos P,Q, d(P, Q)  0.
D2: d(P,Q) = 0 si y solamente si P = Q.
D3: d(P,Q) = d(Q,P) para cada par de puntos P y Q en S.

Postulado de la Regla.
Podemos establecer una correspondencia entre los puntos de una recta y los números
reales de manera que:
1. A cada punto de la recta corresponde exactamente un número real.
2. A cada número real corresponde exactamente un punto de la recta y
3. La distancia entre dos puntos cualesquiera es el valor absoluto de la diferencia entre los
números correspondientes.

9
Definición 5: Una correspondencia como la descrita en el postulado de la regla se llama
un sistema de coordenadas. El número correspondiente a un punto dado se llama
coordenada del punto.
Sea 𝑥1 la coordenada de P y 𝑥2 la coordenada de Q, lo que se denota como
𝑥1 = 𝑓(𝑃) 𝑦 𝑥2 = 𝑓(𝑄)
donde 𝑓 es un sistema coordenado, entonces el Postulado de la regla y la Definición 5 nos
dice que
𝑃𝑄 = |𝑓(𝑄) − 𝑓(𝑃)| = |𝑥2 − 𝑥1 |

A continuación dejamos enunciado dos teoremas relacionados con el Postulado de la regla.

Presentamos la ilustración para una mejor comprensión.

Teorema 5. Si f es un sistema de coordenada para la recta ℓ, y 𝑔(𝑃) = − 𝑓(𝑃)

Para cada punto P de ℓ, entonces 𝑔 es un sistema coordenado para ℓ.

El teorema anterior nos dice que si invertimos la regla obtenemos otro sistema coordenado
para la misma recta ℓ.

Sistema coordenado 𝑓

Sistema coordenado 𝑔

Observe que si invertimos la regla la distancia entre los puntos P y Q se mantiene igual. En
efecto, 𝑃𝑄 = |11 − 0| = |11| = 11 𝑦 𝑃𝑄 = |0 − 11| = |−11| = 11.

10
El siguiente teorema nos dice que podemos correr las coordenadas a la izquierda o a la
derecha y obtener otros sistemas coordenados. En la siguiente figura la regla se corre
hacia la izquierda.

Teorema 6. Sea f un sistema de coordenada para la línea ℓ. Sea a cualquier número real;
y para cada P ℓ, sea 𝑔(𝑃) = 𝑓(𝑃) + 𝑎. Entonces 𝑔: ℓ  ℝ es un sistema coordenado
para la recta.

Sistema coordenado 𝑓

Sistema coordenado 𝑔

Si aplicamos la definición de distancia en ambos casos la distancia es igual. En efecto,

𝑃𝑄 = |11 − 0| = |11| = 11 𝑦 𝑃𝑄 = |15 − 4| = |11| = 11.

Postulado de la Colocación de la Regla

Dados dos puntos P y Q de una recta ℓ, se puede escoger el sistema coordenado de
manera que la coordenada de P sea cero y la coordenada de Q sea positiva.

Noción de Posición Intermedia.

El punto B está entre A y C en la recta ℓ si los puntos están situados del modo siguiente:

11
Definición 6: Sean A, B y C tres puntos colineales. Si AB + BC = AC, entonces B está
entre A y C. En este caso escribimos A-B-C.

Teorema 7: Si A-B-C entonces C-B-A.

Demostración.
Afirmaciones Razones
1. A-B-C. Hipótesis
2. AB + BC = AC Definición 6
3. BA + CB = CA Axioma D-3
4. CB + BA = CA Propiedad conmutativa
5. C-B-A Definición 6

El concepto de posición intermedia para los números reales se define del siguiente modo:
𝑦 está entre x y z si x < y < z o z < y < x. En este caso escribimos x–y–z

Teorema 8: Dada una recta ℓ con un sistema coordenado f y tres puntos A, B y C con
coordenadas x, y, z respectivamente. Si x- y- z entonces A-B-C.

Demostración.
 Si x < y < z, entonces
AB = |y – x | = y – x , pues y – x > 0.
BC = |z – y | = z – y , pues z – y > 0.
AC = |z – x | = z – x , pues z – x > 0.
Por lo tanto, AB + BC = (y - x) + (z - y) = z – x = |z - x| = AC
Por lo que tenemos A-B-C.
 Si z < y < x
CB = |y – z | = y – z , pues y – z > 0.
BA = |x – y | = x – y , pues x – y > 0.
CA = |x – z | = x – z , pues x – z > 0.
Por lo tanto, CB + BA = (y - z) + (x - y) = x – z = |x - z| = CA
Por lo que tenemos C-B-A.

12
Teorema 9: De tres puntos cualesquiera en una recta, exactamente uno está entre los
otros dos.
Demostración.
Sea 𝑓 un sistema coordenado para la recta ℓ y sean x, y, z las coordenadas de los puntos
A, B y C.
Como x, y, z  R, entonces uno está entre los otros dos.
Supongamos x – y – z entonces por el Teorema 8, A-B-C.
Si se cumple A-B-C, entonces no se cumple ninguna de las condiciones B-A-C o A-C-B.
Supongamos que se cumplen A-B-C y B-A-C. Luego, por la Definición 6,
AB +BC = AC
y BA + AC = BC.
Sumando miembro a miembro tenemos,
AB + BC + BA + AC = AC + BC
Aplicando la propiedad cancelativa se tiene
AB + BA = 0.
Luego, 2AB = 0. Así, AB = 0, y por el axioma D-2 A = B, lo que es imposible ya que
porque A  B, por hipótesis.
La demostración de que A-B-C y A-C-B no se cumplen simultáneamente es precisamente
análoga.

Demuéstrelo!!

Teorema 10: Si 𝐴 y 𝐵 son dos puntos cualesquiera, entonces

1. Existe un punto C tal que 𝐴 − 𝐵 − 𝐶, y
2. Existe un punto D tal que 𝐴 − 𝐷 − 𝐵.
Demostración.
Sea 𝑓 un sistema coordenado para la recta AB y sean 𝑥, 𝑦 las coordenadas de 𝐴 y 𝐵
respectivamente.
1. Supongamos que 𝑥 < 𝑦 y consideremos 𝑧 = 𝑦 + 𝑟, entonces 𝑥 < 𝑦 < 𝑧. Si
designamos C el punto cuya coordenada es z, entonces 𝑥 – 𝑦 – 𝑧 y 𝐴 − 𝐵 − 𝐶.

13
 𝑥+𝑦
2. Consideremos ⃡ correspondiente a este número,
y sea D el punto de la recta 𝐴𝐵
2
𝑥+𝑦
es decir 𝑓(𝐷) = 2 .

𝑥+𝑦 𝑥+𝑦 𝑥+𝑦

Como x < y, se tiene 𝑥 < 2 y < 𝑦. Por lo tanto 𝑥 < 2
< 𝑦 de modo que
2
𝐴 − 𝐷 − 𝐵.

Teorema 11: Dada una recta ℓ con un sistema coordenado 𝑓, y tres puntos A, B, C con
coordenadas x, y, z. Si A-B-C entonces x-y-z.
Demostración.
Si A-B-C, entonces por el Teorema 9, no es cierto que B-A-C y B-C-A.
Supongamos que 𝑦 − 𝑥 – 𝑧, entonces por el Teorema 8, B-A-C, lo cual no es posible.
Supongamos que 𝑦 − 𝑧 – 𝑥, entonces por el Teorema 8, B-C-A, lo cual no es posible.
Por lo tanto solo queda sólo la alternativa 𝑥 − 𝑦 – 𝑧, lo que demuestra el teorema

Noción de Segmento y Rayo

Definición 7: Si A y B son dos puntos, entonces el segmento entre A y B, denotado por
AB es el conjunto puntos son A, B y todos los puntos entre A y B. Los puntos A y B se
llaman los extremos de AB .

Simbólicamente,

𝑨𝑩 = {𝑨, 𝑩}  C∈ ⃡𝑨𝑩 / A – C – B

̅̅̅̅
.
Definición 8: El número AB se llama la longitud del segmento AB .

Definición 9: Si A y B son dos puntos, entonces el rayo de A a B denotado por 𝐴𝐵 es el

⃡ tal que A no está entre C y B.
conjunto cuyos puntos C de la recta 𝐴𝐵

14
Simbólicamente,
𝐴𝐵 = C∈ ⃡𝐴𝐵 / A – C – B ó A – B – C ∪A,B
o simplemente,

𝐴𝐵  C∈ ⃡𝐴𝐵 / A – B – C}
𝐴𝐵 = ̅̅̅̅

El punto A es el extremo del rayo 𝐴𝐵 .

Definición 10: Si P está entre A y B, entonces 𝑃𝐴 y 𝑃𝐵 se llaman rayos opuestos.

̅̅̅̅ = 𝐵𝐴
Teorema 12: Si A y B son dos puntos cualesquiera de una recta, entonces 𝐴𝐵 ̅̅̅̅.
Demostración. Sea A y B puntos de una recta ℓ.
Por definición de segmento se tiene,
̅̅̅̅ = {𝐴, 𝐵}  C∈ 𝐴𝐵
𝐴𝐵 ⃡ / A – C – B}

𝐵𝐴 = {𝐵, 𝐴}  C∈ ⃡𝐵𝐴 / B – C – A}

̅̅̅̅
̅̅̅̅ = 𝐵𝐴
Por el Teorema 7, si A – C – B entonces B – C – A. Luego, 𝐴𝐵 ̅̅̅̅.

Teorema 13: El Teorema de Localización de Puntos.

Sea 𝐴𝐵 un rayo y sea x un número positivo. Entonces, existe exactamente un punto P de
𝐴𝐵 tal que 𝐴𝑃 = 𝑥.

Demostración.
Por el postulado de colocación de la regla, podemos elegir un sistema coordenado 𝑓 para
la recta ⃡𝐴𝐵 , de manera que 𝑓(𝐴) = 0 y 𝑓(𝐵) = 𝑟 > 0.
Sea P el punto cuya coordenada es el número dado x. Entonces, P está en el rayo 𝐴𝐵 ;
porque 𝑥 > 0 y 𝐴𝑃 = |𝑥 − 0| = |𝑥| = 𝑥.
Como sólo un punto del rayo tiene coordenada x, sólo un punto del rayo 𝐴𝐵 estará a una
distancia x de A o sea 𝐴𝑃 = 𝑥, como se quería demostrar.

15
Congruencia de Segmentos
La idea intuitiva de congruencia, para cualesquiera dos figuras, es siempre la misma. Dos
figura son congruentes si una puede moverse de modo que coincida con la otra.

̅̅̅̅ 𝑦 𝐶𝐷
Definición 11: Dos segmentos 𝐴𝐵 ̅̅̅̅ son congruentes si tienen la misma longitud y
escribimos ̅̅̅̅
𝐴𝐵 ≅ ̅̅̅̅
𝐶𝐷. Es decir,
̅̅̅̅
𝐴𝐵 ≅ ̅̅̅̅
𝐶𝐷 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝐴𝐵 = 𝐶𝐷
Definición 12: Una relación ~ definida en un conjunto A, se llama una relación de

equivalencia si se cumple las siguientes condiciones.

1. Reflexividad. 𝑎 ~ 𝑎, para cada 𝑎 A
2. Simetría. Si 𝑎 ~ 𝑏, entonces 𝑏 ~ 𝑎.
3. Transitividad. Si 𝑎 ~ 𝑏 y 𝑏 ~ 𝑎 entonces 𝑎 ~ 𝑐

Teorema 14: La congruencia de segmento es una relación de equivalencia.

Demostración
Propiedad Reflexiva: AB  AB .
̅̅̅̅ ≅ 𝐴𝐵
Por definición 𝐴𝐵 ̅̅̅̅ 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝐴𝐵 = 𝐴𝐵. Por la propiedad 9, la igualdad es
reflexiva. Por lo tanto, la relación “ congruencia de segmentos es reflexiva”.
Simetría : Si AB  CD entonces CB  AB
1. AB  CD Hipótesis
2. AB = CD Definición 11
3. CD = AB Propiedad conmutativa
4. CD  AB Definición 11

Propiedad transitiva: Si AB  CD y CD  EF entonces AB  EF .

1. AB  CD Hipótesis
2. AB = CD Definición 11
3. CD  EF Hipótesis
4. CD = EF Definición 11
5. AB = EF Transitividad de pasos 2 y 4.
6. AB  EF Definición 11

16
Teorema 15: Teorema de la Construcción de Segmentos.
Dado un segmento AB y un rayo 𝐶𝐷, hay exactamente un punto E de 𝐶𝐷 tal que
AB  CE .

Demostración.
Sea AB un segmento, 𝐶𝐷 un rayo y f un sistema coordenado para la recta ⃡𝐶𝐷 . Luego,
por el Postulado de colocación de la regla, 𝑓(𝐶) = 0 y 𝐹(𝐷) > 0.
Consideremos ABℝ AB>0. Luego por el postulado de la regla, existe un punto 𝐸 ∈ 𝐶𝐷
tal que 𝑓(𝐸) = 𝐴𝐵.
Por la definición de distancia, 𝐶𝐸 = |𝑓(𝐸) – 𝑓(𝐶) | = |𝐴𝐵 – 0| = 𝐴𝐵. Luego, como
𝐶𝐸 = 𝐴𝐵, por la definición 11 se sigue, CE  AB , como se quería demostrar.

Teorema 16: Teorema de la Suma de Segmentos.

Si, A-B-C, A’-B’-C’ , AB  A' B' y BC  B 'C ' , entonces AC  A'C '

Demostración.
1. A-B-C Hipótesis
2. AC = AB + BC Definición 6
3. A’-B’-C’ Hipótesis
4. A’C’ = A’B’ + B’C’ Definición 6
5. AB  A' B' Hipótesis
6. AB = A’B’ Definición 11
7. BC  B 'C ' Hipótesis
8. BC = B’C’ Definición 11
9. A’C’ = AB + BC Sustituyendo pasos (6) y (8) en (4)
10. AC = A’C’ Transitividad de (2) y (9)
11. AC  A'C ' Definición 11

17
Teorema 17: Teorema de la Resta de Segmentos.
Si A-B-C, A’-B’-C’, AB  A' B' y AC  A'C ' , entonces BC  B 'C '

Demuéstrelo!!

Definición 13: Un punto B se llama punto medio de un segmento AC , si B esta entre A y

̅̅̅̅ ≅ 𝐵𝐶
C y 𝐴𝐵 ̅̅̅̅ .

Definición 14: Decimos que el punto medio de un segmento biseca al segmento.

Teorema 18: Cada segmento tiene exactamente un punto medio.

Demostración.
Sea AC un segmento. Por el postulado de colocación de la regla, podemos escoger un
sistema coordenado 𝑓 para la recta ⃡𝐴𝐶 , talque f(A) = 0 y f(C) > 0.
Si A – B – C, entonces
𝐴𝐵 = |𝑓(𝐵) – 𝑓(𝐴)| = |𝑥 – 0| = 𝑥
y
𝐵𝐶 = |𝑓(𝐶) – 𝑓(𝐵)| = |𝐴𝐶 – 𝑥| = 𝐴𝐶 – 𝑥.
AC
Como AB  BC , resulta 𝑥 = 𝐴𝐶 – 𝑥 . Luego, x  .
2

Por el Teorema de localización de puntos, hay exactamente un punto del rayo 𝐴𝐶 que está
AC
a la distancia de A. Por lo tanto, AC tiene exactamente un punto medio.
2

Ángulos y Triángulos.
Definición 15: Si dos rayos tienen el mismo origen o extremo, pero no están en la misma
recta, entonces su reunión es un ángulo. Los dos rayos se llaman lados del ángulo y el
extremo común es el vértice.

18
Simbólicamente, BAC = 𝐴𝐵 ∪ 𝐴𝐶

Si los rayos son 𝐴𝐵 y 𝐴𝐶 , entonces el ángulo se indica con BAC o CAB.

El ángulo de la siguiente figura, podemos designar BAC, DAE, BAE, y así
sucesivamente. Para abreviar podemos escribir  A si se conocen los lados a los que nos
referimos.

Definición 16: Si A, B, C son tres puntos cualesquiera no alineados, entonces la reunión

̅̅̅̅ , 𝐴𝐶
de los segmentos 𝐴𝐵 ̅̅̅̅ se llama triángulo y se denota por  ABC. Los puntos A, B
̅̅̅̅ , 𝐵𝐶

y C son los vértices del triángulo, y los segmentos ̅̅̅̅

𝐴𝐵 , ̅̅̅̅ ̅̅̅̅ se llaman lados del triángulo.
𝐴𝐶 , 𝐵𝐶
̅̅̅̅ ∪ 𝐵𝐶
Simbólicamente, ∆𝐴𝐵𝐶 = 𝐴𝐵 ̅̅̅̅ ∪ 𝐴𝐶
̅̅̅̅ .

19
Todo triángulo, ABC determina tres ángulos BAC, ABC, ACB. A estos se les llama
ángulos del triángulo ABC. Estos ángulos también los podemos designar por A, B, C.
Sin embargo, está ultima notación no es conveniente para ángulos que tienen el mismo
vértice, por lo que debemos utilizar la primera notación, es decir, los tres punto que lo
determinan. En la siguiente figura, en el vértice A hay tres ángulos, por lo que debemos
denotarlo mediante las tres letras, como sigue BAC, BAD y DAC.

Medida angular
La medida angular es una función definida para ángulo con números reales como valores
de la función
Sea 𝒜 el conjunto de todos los ángulos, la función m se define como sigue
m: 𝒜 ⟶ ℝ

Postulados de la medida angular

M1: Existe una función m: 𝒜 ⟶ ℝ, donde 𝒜 es el conjunto de todos los ángulo y ℝ el
conjunto de los números reales
M2: Postulado de la medida de ángulos
Para cada ángulo, su medida está entre 0 y 180
M3: Postulado de la construcción de un ángulo
Sea 𝐴𝐵 un rayo en el borde del seminario H. Para cada número 𝑟 entre 0° y 180°, hay
exactamente un rayo 𝐴𝑃 con P∈ 𝐻 tal que m∡𝑃𝐴𝐵 = 𝑟

20
Este postulado describe exactamente el procedimiento que realizamos para construir un
ángulo con un transportador. Por ejemplo para construir un ángulo 𝑟 de medida 50°.

Veamos este procedimiento

1. Trazamos un rayo 𝐴𝐵 un rayo en el borde del seminario H.

2. Se coloca el transportador sobre el rayo 𝐴𝐵 de manera que el centro de este

coincida con el punto A como se muestra en la figura. Luego, se marca un punto P
en r = 50

3. Se retira el transportador y dibuja el rayo 𝐴𝑃

21
M4: Postulado de la adición de ángulos
Si D está el interior del ∡𝐴𝐵𝐶, entonces 𝑚∡𝐴𝐵𝐶 = m∡𝐴𝐵𝐷 + m∡𝐷𝐵𝐶

Definición 17: Si la suma de las medidas de dos ángulos es 180°, entonces decimos que
los ángulos son suplementarios, y cada uno es el suplemento del otro.
Definición 18: Los ángulos ∡𝐶𝐴𝐷 𝑦 ∡𝐷𝐴𝐵 forman un par lineal si 𝐴𝐵 y 𝐴𝐶 son dos
rayos opuestos y 𝐴𝐷 es cualquier otro rayo en el semiplano H.

M5: Postulado del Suplemento

Si dos ángulos forman un par lineal, entonces son suplementarios

Definiciones 18.
1. Un ángulo recto es un ángulo que mide 90°
2. Si 𝐴𝐵 y 𝐴𝐶 forman un ángulo recto, entonces se llaman perpendiculares y
escribimos 𝐴𝐵 ⊥ 𝐴𝐶 .

̅̅̅̅ ⊥ 𝐴𝐶 ,
Para rectas y segmentos escribimos 𝐴𝐵
̅̅̅̅
𝐴𝐵 ⊥ ̅̅̅̅̅
𝐴𝐶, ̅̅̅̅
𝐴𝐵 ⊥ ⃡𝐶𝐷 , ⃡𝐴𝐵 ⊥ ⃡𝐶𝐷.
3. Si la suma de dos ángulos es 90°, entonces
los ángulos se llaman complementarios y
cada uno se llama el complemento del otro.
4. Un ángulo con medida menor que 90 se llama
agudo
5. Un ángulo con medida mayor que 90 se llama
obtuso

22
Teorema 19: Si dos rectas ⃡𝐴𝐵 ⊥ ⃡𝐶𝐷 se intersecan y forman un ángulo recto, entonces
forman cuatro ángulos rectos.

Demuéstrelo!!!

Congruencia de ángulos
Definición 19: Los ángulos ∡𝐴𝐵𝐶 𝑦 ∡𝐷𝐸𝐹 son congruentes si tienen la misma medida y
escribimos ∡𝐴𝐵𝐶 ≅ ∡𝐷𝐸𝐹. Es decir, ∡𝐴𝐵𝐶 ≅ ∡𝐷𝐸𝐹 si y solo si 𝑚∡𝐴𝐵𝐶 = 𝑚∡𝐷𝐸𝐹.

Teorema 20: El Teorema de la construcción de Ángulos

Sea ∡𝐴𝐵𝐶 un ángulo, 𝐵′𝐶′ un rayo, y H un semiplano cuyo borde contiene al rayo 𝐵′𝐶′.
Entonces, hay exactamente un rayo 𝐵 ′ 𝐴′ , con 𝐴′ en H tal que ∡𝐴𝐵𝐶 ≅ ∡𝐴′𝐵′𝐶′.
Demostración

Sea ∡𝐴𝐵𝐶 un ángulo, 𝐵′𝐶′ un rayo, y H un semiplano. Por el Postulado M2 se tiene que
𝑚∡𝐴𝐵𝐶 = 𝑟° con 0 < 𝑟 < 180.

Por el Postulad M3, existe 𝐴′ ∈ 𝐻 tal que 𝑚∡𝐴′𝐵′𝐶′ = 𝑟°. Luego, ∡𝐴𝐵𝐶 = ∡𝐴′ 𝐵 ′ 𝐶′.
Por la definición de congruencia de ángulos se concluye que ∡𝐴𝐵𝐶 ≅ ∡𝐴′ 𝐵 ′ 𝐶′.

23
Teorema 21: El Teorema de la suma de ángulos
Si D está en el interior de ∡𝐴𝐵𝐶, 𝐷′ está en el interior de ∡𝐴′ 𝐵 ′ 𝐶′, ∡𝐴𝐵𝐷 ≅ ∡𝐴′ 𝐵 ′ 𝐷′ ,
∡𝐷𝐵𝐶 ≅ ∡𝐷′ 𝐵 ′ 𝐶 ′ . Entonces, ∡𝐴𝐵𝐶 ≅ ∡𝐵 ′ 𝐴′ 𝐶′.

Demostración
Afirmaciones Razones
1 D está en el interior de ∡𝐴𝐵𝐶 Hipótesis
2 𝑚∡𝐴𝐵𝐶 = m∡𝐴𝐵𝐷 + m∡𝐷𝐵𝐶 Postulado M4
3 𝐷′ está en el interior de ∡𝐴′ 𝐵 ′ 𝐶 Hipótesis
4 𝑚∡𝐴′𝐵′𝐶′ = m∡𝐴′𝐵′𝐷′ + m∡𝐷′𝐵′𝐶′ Postulado M4
5 ∡𝐴𝐵𝐷 ≅ ∡𝐴′ 𝐵 ′ 𝐷′ Hipótesis
6 𝑚∡𝐴𝐵𝐷 = 𝑚∡𝐴′ 𝐵 ′ 𝐷 ′ Def. de congruencia de ángulos
7 ∡𝐷𝐵𝐶 ≅ ∡𝐷′ 𝐵 ′ 𝐶 ′ Hipótesis
8 𝑚∡𝐷𝐵𝐶 = 𝑚∡𝐷′ 𝐵 ′ 𝐶 ′ Def. de congruencia de ángulos
9 𝑚∡𝐴′𝐵′𝐶′ = 𝑚∡𝐴𝐵𝐷 + 𝑚∡𝐷𝐵𝐶 Sustitución de (6) y (8) en (4)
9 𝑚∡𝐴𝐵𝐶 = 𝑚∡𝐴′𝐵′𝐶′ Transitividad de (2) y(9)
10 ∡𝐴𝐵𝐶 ≅ ∡𝐴′ 𝐵 ′ 𝐶 ′ Def. de congruencia de ángulos

Teorema 22: El Teorema de la Resta de ángulos

Si D está en el interior de ∡𝐴𝐵𝐶, 𝐷′ está en el interior de ∡𝐴′ 𝐵 ′ 𝐶′, ∡𝐴𝐵𝐶 ≅ ∡𝐴′ 𝐵 ′ 𝐶 ′ ,
∡𝐷𝐵𝐶 ≅ ∡𝐷′ 𝐵 ′ 𝐶 ′ . Entonces, ∡𝐴𝐵𝐷 ≅ ∡𝐵 ′ 𝐴′ 𝐷′.

Demuéstrelo!!!

24
Definición 20: Si 𝐵 − 𝐴 − 𝐶 ′ 𝑦 𝐵 ′ − 𝐴 − 𝐶 y las rectas ⃡𝐴𝐵 𝑦 ⃡𝐴𝐵′ son diferentes,
entonces ∡𝐵𝐴𝐶 𝑦 ∡𝐵 ′ 𝐴′ 𝐶 ′ forman un par vertical.

El siguiente teorema nos dice que los ángulos opuestos por el vértice son congruentes.

Teorema 23: El teorema del ángulo vertical

Si 𝐵 − 𝐴 − 𝐶 ′ 𝑦 𝐵 ′ − 𝐴 − 𝐶 y las rectas ⃡𝐴𝐵 𝑦 ⃡𝐴𝐵′ son diferentes, entonces
∡𝐵𝐴𝐶 ≅ ∡𝐵 ′ 𝐴𝐶′.

Demuéstrelo!!!

Teorema 24: El teorema de los complementos congruentes

Los complementos de ángulos congruentes son congruentes
Demostración
Sean ∡𝐴𝐵𝐶 𝑦 ∡𝐷𝐸𝐹 dos ángulos congruentes, ∡𝐺𝐻𝐼 𝑦 ∡𝑀𝑁𝐿 sus respectivos
complementos. Debemos demostrar que ∡𝐺𝐻𝐼 𝑦 ∡𝑀𝑁𝐿 son congruentes.
Afirmaciones Razones
1 ∡𝐴𝐵𝐶 ≅ ∡𝐷𝐸𝐹 Hipótesis
2 𝑚∡𝐴𝐵𝐶 = 𝑚∡𝐷𝐸𝐹 Def. de congruencia de ángulos
3 ∡𝐴𝐵𝐶 𝑦 ∡𝐺𝐻𝐼 son complementarios Hipótesis
4 𝑚∡𝐴𝐵𝐶 + 𝑚∡𝐺𝐻𝐼 = 90 Def. de ángulos complementarios
5 ∡𝐷𝐸𝐹 y ∡𝑀𝑁𝐿 son complementarios Hipótesis
6 𝑚∡𝐷𝐸𝐹 + 𝑚∡𝑀𝑁𝐿 = 90 Def. de ángulos complementarios
7 𝑚∡𝐷𝐸𝐹 + 𝑚∡𝐺𝐻𝐼 = 90 Sustitución de (2) en (4)
8 𝑚∡𝐷𝐸𝐹 + 𝑚∡𝑀𝑁𝐿 = ∡𝐷𝐸𝐹 + 𝑚∡𝐺𝐻𝐼 Propiedad transitiva de (6) y (7)
9 𝑚∡𝑀𝑁𝐿 = 𝑚∡𝐺𝐻𝐼 Propiedad cancelativa en (8)
10 ∡𝑀𝑁𝐿 ≅ ∡𝐺𝐻𝐼 Def. de congruencia de ángulos

25
Teorema 25: El teorema de los suplementos congruentes
Los suplementos de ángulos congruentes son congruentes

Demuéstrelos!!!

26