FACULTAD DE CIENCIA Y TECNOLOGÍA

DEPARTAMENTO DE MATEMÁTICAS
LICENCIATURA EN M ATEMÁTICAS
GEOMETRÍA P LANA
T AREA 04

CHRISTOPHER DUCUARA PEDRAZA 2018140031

NOMBRES HAROL ESTEBAN RODRÍGUEZ CÓDIGOS 2018140008
CARLOS AYALA 2018140068

Los siguientes enunciados deben demostrarse con base a los elementos del sistema teórico
construido en clase hasta ahora. En adelante, harán parte del sistema
Teorema rectas distintas
Dada la recta 𝑙 y un punto A que no pertenece a ella. Si 𝑚 es una recta que contiene a A,
entonces esta es distinta a 𝑙.

Afirmación Garantía

1 A ∈ 𝑙, A ∈ 𝑚 Dado

2 Supongamos que 𝑙 = 𝑚 Negación de tesis

3 A∈ 𝑙 Sustitución (1)

4 A∈ 𝑙 y A∉ 𝑙 Conjunción (3, 1)

5 No es cierto A𝑙 = 𝑚 P.P.I (2, 1, 4)

Teorema intersección de rectas

Dados l y m distintas. Si estas rectas se intersecan, entonces su intersección es un único punto

Afirmación Garantía

1 𝑙 y 𝑚 distintas, 𝑙 y 𝑚 se intersecan Dado

2 Supongamos que l se interseca en más de un Negación de la tesis

con m
3 Existen puntos K y P donde se intersecan 𝑙 y 𝑚 Def conjunto no vacío (2)

4 Por dos puntos pasa una única recta que los Post. Dos puntos recta (3)
contiene, entonces 𝑙 = 𝑚
5 No es cierto que 𝑙 se interseque con 𝑚 en más P.P.I (4, 3 1)
de un punto
Teorema interestancia – unicidad
Dado 𝛽 y una recta 𝑘 contenida en él. Sean los semiplanos 𝛽1 y 𝛽2 determinados por k en 𝛽. Si
A está en 𝛽1 y B está en 𝛽2 , entonces 𝑘 ∩ ̅̅̅̅
𝐴𝐵 = {𝑍} y 𝐴 − 𝑍 − 𝐵

Afirmación Garantía

1 𝛽 ⊂ 𝑘, Dado
semiplanos 𝛽1 y 𝛽2 determinados por k en 𝛽
A ∈ 𝛽1 y B ∈ 𝛽2 ,

2 ⃡𝐴𝐵 Post. 2 puntos recta (1)

3 ̅̅̅̅
𝐴𝐵 Teorema recta rayo segmento (2)

4 𝑘 ∩ ̅̅̅̅
𝐴𝐵 ≠ ∅ Post. Separación del plano (3,1)

5 ̅̅̅̅
Existe un punto Z ∈ 𝑘 ∩ 𝐴𝐵 Def. conjunto vacío (4)

6 ̅̅̅̅
Z ∈ 𝑘 y Z ∈ 𝐴𝐵 Noción de pertenencia e intersección (5)

6.1 Z ∈ {𝐴, 𝐵} U {𝐴 − 𝑋 − 𝐵} Def. segmento (6)

7 Z=A Casos (6.1)

Z=B
𝐴−𝑍−𝐵
8 Z=A Caso 1 (7)

9 Z ∈ 𝛽1 Sustitución (8,1)

10 𝛽1 ∩ 𝑘 = ∅ Def. semiplano (1)

11 No es cierto que Z=A P.R.A (10, 9, 8, 6)

12 Z=B Caso 2 (7)

13 No es cierto que Z=B Razonamiento análogo (8-11)

14 𝐴−𝑍−𝐵 M.T.P (7, 11, 13)

15 Z∈ ⃡𝐴𝐵 Teorema subconjunto de recta (6)

 16 Existe un único Z tal que ⃡𝐴𝐵 ∩ 𝑘 = {𝑍} Teorema intersección de rectas (16, 1)

17 ̅̅̅̅ = {𝑍}
𝑘 ∩ 𝐴𝐵 Subconjunto de recta (16)

18 𝑘 ∩ ̅̅̅̅
𝐴𝐵 = {𝑍} y 𝐴 − 𝑍 − 𝐵 Conjunción (17, 14)

Teorema bicondicional segmento – semiplano

Dados 𝛿1 y 𝛿2 semiplanos determinados por 𝑚 en 𝛼 y los puntos A, B en 𝛼
̅̅̅̅
𝐴𝐵 ∩ 𝑚 = ∅ 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝐴, 𝐵 ∈ 𝛿1
Afirmación Garantía
1 𝛿1 y 𝛿2 semiplanos determinados por 𝑚 Dado
en 𝛼
A, B en 𝛼

2 → Dado
̅̅̅̅ ∩ 𝑚 = ∅
𝐴𝐵
3 A,B ∈ 𝛼 Noción de pertenencia (1)
4 A,B ∈ 𝛿1 𝑈 𝛿2 𝑈 𝑚 Def. plano y sustitución (1,3)
5 A,B ∈ 𝛿1
A,B ∈ 𝑚 Casos (4)
A ∈ 𝛿1 y B ∈ 𝛿2
A ∈ 𝛿1 y B ∈ 𝑚
A ∈ 𝛿2 y B ∈ 𝑚
6 A,B ∈ 𝑚 Caso 2 (5)
7 ̅̅̅̅
𝐴𝐵 post 2 puntos recta y teorema recta rayo
segmento (6)
8 ̅̅̅̅
𝐴𝐵 ⊂ 𝑚 Def. conjunto convexo (6,7)
9 ̅̅̅̅
𝐴𝐵 ∩ 𝑚 ≠ ∅ Def. conjunto vacío (6,8)
10 No es cierto que A,B ∈ 𝑚 P.R.A (6,9, 2)
11 A ∈ 𝛿1 y B ∈ 𝛿2 Caso 3 (5)

̅̅̅̅ = {𝑍} y 𝐴 − 𝑍 − 𝐵
12 𝑚 ∩ 𝐴𝐵 Teorema Interestancia - unicidad (1,11)
13 No es cierto que A ∈ 𝛿1 y B ∈ 𝛿2 P.R.A (12, 11,2)

14 A ∈ 𝛿1 y B ∈ 𝑚 Caso 4 (5)
15 ̅̅̅̅
𝐴𝐵 post 2 puntos recta y teorema recta rayo
segmento (14)
̅̅̅̅ ∩ 𝑚 ≠ ∅
16 𝐴𝐵 Def. conjunto vacío (15, 14)
17 No es cierto que A ∈ 𝛿1 y B ∈ 𝑚 P.R.A (17,14, 2)

18 A ∈ 𝛿2 y B ∈ 𝑚 Caso 5 (5)
19 No es cierto que A ∈ 𝛿2 y B ∈ 𝑚 Razonamiento análogo (14-17)
20 A,B ∈ 𝛿1 M.T.P (5,10, 13, 17, 19)

Afirmación Garantía
1 𝛿1 y 𝛿2 semiplanos determinados por 𝑚 en 𝛼 Dado
A, B en 𝛼

2 ← Dado
𝐴, 𝐵 ∈ 𝛿1
̅̅̅̅
3 𝐴𝐵 post 2 puntos recta y teorema recta rayo
segmento (2)
4 ̅̅̅̅
𝐴𝐵 ⊂ 𝛿1 Def. conjunto convexo
̅̅̅̅ ∩ 𝑚 = ∅
5 𝐴𝐵 Def. semiplano