Antes de dar los fundamentos axiomáticos en la forma en que lo hizo Hilbert, veamos
algunas definiciones y métodos de demostración.
Términos Primitivos: son los conceptos básicos, a partir de los cuales se definen otros
conceptos de la geometría, estos son: Punto, Recta, Plano, Espacio.
1
ELEMENTOS BASICOS UTILIZADOS EN TEORÍA DE CONJUNTOS
RELACIONES: ∈ y ⊂
El símbolo ∃ se utiliza para indicar que existe al menos un elemento que cumple cierta
propiedad.
El símbolo ∃! se utiliza para indicar que existe un único elemento que cumple cierta
propiedad.
Antecedente Consecuente
B A
B
l
2
Axioma 2: A toda recta pertenecen al menos dos puntos distintos.
Axioma 3: Dada una recta, existe al menos un punto del espacio que no está en la
recta.
Def; Puntos colineales: Son aquellos que están en una misma recta, así los puntos
𝐴, 𝐵 𝑦 𝐶 son colineales(o están alineados) si 𝐴, 𝐵 𝑦 𝐶 ∈ 𝑙,
Axioma 4: Tres puntos distintos que no están en una misma recta, determinan un
único plano que los contiene.
Gráficamente se representa
A
C B
l
l m
3
2. Los puntos son diferentes, simbólicamente se representa 𝐴 ≠ 𝐵.
Representación gráfica
A B
B
A
Actividades
4
Este teorema puede reescribirse en la forma 𝑃 → 𝑄, así.
Si dos rectas diferentes se interceptan, entonces su intersección es un solo punto.
Simbólicamente se puede interpretar como:
l2
A
l1
l2
l1
5
Demostración:
Afirmación Razón
1) 𝑙1 ≠ 𝑙2 Hipótesis 1
2) 𝑙1 ∩ 𝑙2 ≠ ∅, Hipótesis 2
3) Sea 𝐴 el punto de intersección Teorema 1 en 1) y 2)
entre 𝑙1 𝑦 𝑙2
4) 𝐴 ∈ 𝑙1 𝑦 𝑙2 Definición de intersección entre
conjuntos en 3)
5) Existe un punto 𝐵, tal que 𝐵 ∈ 𝑙1 y Axioma 2 en 3)
𝐵≠𝐴
6) Existe un punto 𝐶, tal que 𝐶 ∈ 𝑙2 y Axioma 2 en 3)
𝐶≠𝐴
7) 𝐵 ≠ 𝐶 Teorema 1 en 3) e hipótesis 1
8) 𝐴, 𝐵 𝑦 𝐶 no son colineales Definición de puntos colineales en 1) y 7)
9) Existe un único plano 𝜋 que Axioma 4 en 8)
contiene a 𝐴, 𝐵 𝑦 𝐶
10) 𝑙1 𝑦 𝑙2 ⊂ 𝜋 Axioma 6 en 4) y 9)
Teorema 3. Por una recta y un punto que no está en la recta pasa un único plano que
las contiene.
Def; Rectas paralelas: Dos rectas coplanarias son paralelas si y solo si coinciden en
todos sus puntos o no tienen puntos en común.
n
l
6
2. La recta intercepta al plano en un solo punto, es decir 𝑙 ∩ 𝜋 = {𝐴}
3. La recta no tiene puntos en común con el plano es decir, 𝑙 ∩ 𝜋 = ∅
Actividades
7
2. Axiomas de Orden y sus implicaciones
Intuitivamente en Geometría, el orden establece la forma como se relacionan tres puntos
distintos pertenecientes a una misma recta, esta relación es la que hemos denominado
dentro de las relaciones primitivas, “estar entre”.
SEGMENTOS
Definición: Sean 𝐴 𝑦 𝐵 dos puntos. Al conjunto formado por 𝐴 𝑦 𝐵 y todos los puntos
entre 𝐴 𝑦 𝐵 se le llama segmento AB y se denota 𝐴𝐵 ̅̅̅̅ o 𝐵𝐴
̅̅̅̅. 𝐴 𝑦 𝐵 se llaman
extremos del segmento y se dice que ellos determinan al segmento. Los puntos
que están entre 𝐴 𝑦 𝐵 se llaman puntos interiores del ̅̅̅̅
𝐴𝐵.
B
A
Gráficamente se representa:
B
C D
A
8
Es importante resaltar que en geometría, se utilizan marcas idénticas para
representar la congruencia de segmentos, independientemente si existe o no una
igualdad visual entre estos, dicha situación se ilustra a continuación.
N
P Z
M
Puede observarse que los segmentos ̅̅̅̅̅
𝑀𝑁 𝑦 ̅̅̅̅
𝑃𝑍 no son de igual tamaño, pero el
tener la misma marca es suficiente para aceptar la congruencia.
Representación geométrica B
M
A
Teorema 5. A todo segmento corresponde un único punto medio
9
1. ̅̅̅̅
𝐴𝐵 ≅ ̅̅̅̅
𝐶𝐷
2. M es punto medio de ̅̅̅̅
𝐴𝐵
3. ̅̅̅̅
N es punto medio de 𝐶𝐷
i. Si 𝐴 − 𝐵 − 𝐶, 𝑋 − 𝑌 − 𝑍, ̅̅̅̅ 𝑋𝑌 y ̅̅̅̅
𝐴𝐵 ≅ ̅̅̅̅ 𝑌𝑍, entonces ̅̅̅̅
𝐵𝐶 ≅ ̅̅̅̅ 𝐴𝐶 ≅ ̅̅̅̅
𝑋𝑍.(adición)
10
Definición: Sea 𝑂 un punto de la recta 𝑙, con 𝐴 𝑦 𝐵 otros dos puntos diferentes de la
misma
recta. si 𝑂 no está entre 𝐴 𝑦 𝐵, diremos que los puntos 𝑨 𝒚 𝑩 están sobre 𝒍 a un
mismo lado del punto 𝑶. Si 𝑂 está entre 𝐴 𝑦 𝐵 diremos que los puntos 𝐴 𝑦 𝐵
están sobre la recta 𝑙 en lados diferentes con respecto al punto 𝑂.
11
Observación 2: se tiene una partición del espacio en 3 conjuntos convexos y disjuntos,
a saber, los dos semi-espacios y plano 𝜋:
ÁNGULOS
Definición: El conjunto formado por dos semirrectas que tienen el mismo origen,
Incluyendo este punto, se llama ángulo.
12
o simplemente por 𝜃 cuando no haya lugar a confusión, o por letras griegas
minúsculas, 𝑂𝐴 y 𝑂𝐵 se denominan lados del ángulo, y 𝑂 se denomina vértice del
ángulo.
Definición: Un ángulo no-nulo y no- llano divide al plano en dos regiones de tal manera
que una y sólo una de las regiones es convexa, dicha región se llama interior del
ángulo y la otra región se llama exterior del ángulo.
Teorema 109: Dado un ángulo 𝐵𝐴𝐶 ̂ (no-nulo y no-llano), los puntos interiores del
Segmento BC están en el interior de dicho ángulo.
Actividad: realice la gráfica escriba hipótesis y tesis.
Ejercicios:
1. Demostrar que todo segmento NO nulo tiene infinitos puntos.
2. Demostrar que toda recta tiene infinitos puntos.
13
Hipótesis: hay una recta que no está contenida en un plano y lo intercepta
Tesis: la recta intercepta al plano en solo un punto.
Demostración:
Afirmación Razón
1) 𝑙𝑦𝜋 Hipótesis 1
2) 𝑙 ∩ 𝜋 ≠ ∅, Hipótesis 2
3) 𝑙⊄𝜋 Hipótesis 3
4)
A
Sean 𝐴 𝑦 𝐵 dos puntos diferentes Hipótesis Auxiliar ( Recuerde: por el método
de intersección CentreB 𝑙 𝑦 𝜋, es absurdo se debe negar la tesis)
decir, 𝑙 ∩ 𝜋 = {𝐴, 𝐵} l
5) 𝐴, 𝐵 ∈ 𝑙 𝑦 𝜋 Definición de intersección entre
conjuntos en 4)
6) 𝑙 ⊂ 𝜋 Axioma 6.
7) Existe un solo punto en la
intersección entre 𝑙 𝑦 𝜋 Contradicción en 3) y 6)( Recuerde: se rechaza
la hipótesis auxiliar, ya que genera contradicción)
B
Axioma 10: Axioma medida de ángulos
A todo ángulo corresponde un número real entre 0° y 180°, y será la medida de
̂ , su medida se denota como 𝑚(𝐴𝑂𝐵
dicho ángulo, si el ángulo es 𝐴𝑂𝐵 ̂)
14
Clasificación de los ángulos según su medida
Los ángulos se clasifican según su medida, en:
̂ 𝑦 𝑋𝑌𝑍
Definición: dos ángulos 𝐴𝑂𝐵 ̂ son congruentes si y solo si tienen la misma medida.
La notación adecuada es 𝐴𝑂𝐵̂ ≅ 𝑋𝑌𝑍
̂ y se lee ángulo 𝐴𝑂𝐵 congruente con el
̂ ≅ 𝑋𝑌𝑍
ángulo 𝑋𝑌𝑍, en síntesis 𝐴𝑂𝐵 ̂ ) = 𝑚(𝑋𝑌𝑍
̂ 𝑠𝑖𝑖 𝑚(𝐴𝑂𝐵 ̂)
Gráfica A
D
O
15
Definición:
̂ ) es un ángulo no nulo ni llano y 𝐷 ∈ 𝑖𝑛𝑡(𝐴𝑂𝐵
Si (𝐴𝑂𝐵 ̂ ), entonces llamaremos a
̂ ) si y solo si 𝐴𝑂𝐷
𝑂𝐷 bisectriz del ángulo (𝐴𝑂𝐵 ̂ ≅ 𝐷𝑂𝐵
̂.
D
O
B
Teorema 13. A todo ángulo corresponde una única bisectriz.
̂ ), 𝐹 ∈ 𝑖𝑛𝑡(𝑃𝑅𝑄
1. Si 𝐷 ∈ 𝑖𝑛𝑡(𝐴𝑂𝐵 ̂ ), 𝐴𝑂𝐷
̂ ≅ 𝑃𝑅𝐹 ̂ ≅ 𝐹𝑅𝑄
̂ 𝑦 𝐷𝑂𝐵 ̂ entonces 𝐴𝑂𝐵
̂ ≅
̂ .(Adición)
𝑃𝑅𝑄
̂ ), 𝐹 ∈ 𝑖𝑛𝑡(𝑃𝑅𝑄
2. Si 𝐷 ∈ 𝑖𝑛𝑡(𝐴𝑂𝐵 ̂ ), 𝐴𝑂𝐵
̂ ≅ 𝑃𝑅𝑄
̂ y 𝐴𝑂𝐷
̂ ≅ 𝑃𝑅𝐹 ̂ ≅
̂ entonces 𝐷𝑂𝐵
̂ .(Sustracción)
𝐹𝑅𝑄
Definición: dos ángulos son adyacentes si y solo si son coplanares, tienen un lado
común y los otros dos lados están en semiplanos opuestos respecto a la
recta que contiene el lado común.
16
A
D
O
Hipótesis: Tesis:
̂ ≅ 𝑍𝑌𝑇
𝐵𝑂𝐶 ̂
̂ 𝑦 𝐵𝑂𝐶
1. 𝐴𝑂𝐵 ̂ forman un par
lineal
̂ 𝑦 𝑍𝑌𝑇
2. 𝑋𝑌𝑍 ̂ forman un par
lineal
̂ ≅ 𝑋𝑌𝑍
3. 𝐴𝑂𝐵 ̂
Definición: dos ángulos son opuestos por el vértice si los lados de uno de los
ángulos son las semirrectas opuestas de los lados del otro ángulo.
D A
O
C B
̂ 𝑦 𝐶𝑂𝐷
De la figura puede observarse que 𝐴𝑂𝐵 ̂ son ángulos opuestos por el
̂ 𝑦 𝐵𝑂𝐶.
vértice y que también lo son 𝐴𝑂𝐷 ̂
17
Definición: si dos rectas se interceptan formando ángulos rectos, decimos que las
rectas son perpendiculares. Notación: si las rectas 𝑙1 y 𝑙2 son
perpendiculares, entonces se escribe 𝑙1 ⊥ 𝑙2 y se representa gráficamente
𝑙2
𝑙1
Teorema 20: dos rectas son perpendiculares si y solo si se cortan formando cuatro
ángulos de 90°
18
EJERCICIOS CAPITULO I: SEGMENTOS – ÁNGULOS.
𝑂𝐴+𝑂𝐵
a). 𝑂𝑋 = , 𝑠𝑖 𝑂 – 𝐴 − 𝐵.
2
𝑂𝐴−𝑂𝐵
b). 𝑂𝑋 = | | , si 𝐴 − 𝑂 − 𝐵.
2
5 Los rayos 𝐴𝐵 y 𝐴𝐶 son opuestos. Los puntos 𝐸, 𝐹, 𝐻 están en un
mismo semiplano de borde ⃡𝐴𝐵. Los puntos 𝐸 𝑦 𝐻 están en
⃡
semiplanos opuestos respecto a 𝐵𝐹. Los puntos 𝐴 𝑦 𝐻 están en
⃡ son
el mismo semiplano respecto a ⃡𝐵𝐹 ; las rectas ⃡𝐵𝐹 y 𝐴𝐶
⃡ y 𝐵𝐻
perpendiculares lo mismo que las rectas 𝐵𝐸 ̂ = 20°.
⃡ ; m(𝐹𝐵𝐸)
Dibuje la figura y halle las medidas de los ángulos
̂ , 𝐹𝐵𝐻
𝐸𝐵𝐴 ̂.
̂ , 𝐻𝐵𝐶
6 Realizar los siguientes ejercicios del capítulo 2 del texto guía
(Geometría euclidiana; José Rodolfo): 16, 19, 20, 26, y 32
19