Notas de Clase Ago-Sep PDF

Facultad de Ciencia y Tecnología
Departamento de Matemáticas
Geometría del Espacio
Carmen Samper
2019-2
Notas de Clase Agosto-Septiembre
Clase (29-08-19) Grupo A (Nathaly, Mateo, Christian)

La profesora inicia la clase explicando cómo se debe reportar y entregar un trabajo
de exploración, en el curso de geometría del espacio. En cuanto a la forma de escribir, se
hace énfasis en tener en cuenta la simbología para cada tipo de objeto que se quiera
mencionar; en cuanto al reporte se incluyen cinco pasos.
Para hacer claridad en la forma de escribir se da el siguiente ejemplo, enunciándolo
sin aplicar toda la simbología y luego utilizando la simbología.
EJEMPLO 1:
- Sean 𝑚 y 𝑛 rectas tales que 𝑚 ⊥ 𝑛, 𝐴 ∈ 𝑚 ∩ 𝑛. Sea 𝐵 y 𝐷 puntos tales que 𝐵 ∈ 𝑚 y 𝐷 ∈
𝑛. ¿Existen puntos 𝐸 y 𝐹, 𝐸 ∈ 𝑚 𝑦 𝐹 ∈ 𝑛 tal que △ 𝐴𝐵𝐷 ≅△ 𝐴𝐸𝐹?
- Sean ⃡𝐴𝐵 y ⃡𝐴𝐷 tales que ⃡𝐴𝐵 ⊥ ⃡𝐴𝐷. ¿Existen puntos 𝐸 y 𝐹, 𝐸 ∈ 𝑚 𝑦 𝐹 ∈ 𝑛 tal que △
𝐴𝐵𝐷 ≅△ 𝐴𝐸𝐹?
Durante la presentación del Ejemplo 1, la profesora indica que es importante

analizar las proposiciones que se presentan para determinar si tienen sentido en nuestro
sistema teórico; es decir, verificar que los objetos que se utilizan en las proposiciones y las
relaciones entre ellos existan o tengan justificación teórica. Por lo tanto, se hace una
reflexión sobre el ejemplo presentado y se procede a verificar la existencia de los objetos,
realizando la construcción y justificando esta de la siguiente manera:
1) Sea 𝑚. P. Existencia
2) Sea 𝐴 punto, 𝐴 ∈ 𝑚. T. Recta – infinitos puntos
3) Sea 𝑛 recta tal que 𝑛 ⊥ 𝑚, 𝐴 ∈ 𝑛. T. Existencia perpendicular

punto interior
4) Sean 𝐵 y 𝐷 puntos, 𝐵 ∈ 𝑚 y 𝐷 ∈ 𝑛. T. Recta – infinitos puntos
Tabla 1. Construcción y justificación ejemplo 1
Por lo tanto, se dice que el enunciado tiene sentido, ya que se puede justificar cada
paso de la construcción con el sistema teórico. Adicionalmente, se hace claridad en qué
teorema se utiliza para justificar algún paso en una construcción o demostración. Esto se
dio ya que para el paso 2) de la Tabla 1 algunos estudiantes mencionaron que se podía
Carmen Samper
2019-2
justificar con el T. Recta – dos puntos. Frente a esto, la profesora menciona que a pesar de
que el teorema que se mencionó es totalmente válido en el sistema teórico, pueden existir
teoremas aún más generales, que reemplazan a otros. Es decir, para el Ejemplo 1, es mucho
más amplio el teorema que permite hablar de infinitos puntos en una recta que el teorema
que solo concluye dos puntos en una recta dada.
La pregunta del Ejemplo 1 se usa para ejemplificar los asuntos en cuanto a cómo se
reporta una exploración y solución a una tarea en la que se usa geometría dinámica.
Los cinco pasos son lo que se enuncian a continuación:
1) Construcción
Para el Ejemplo 1, los pasos de la construcción que se han de presentar son:
i) 𝑚,𝑛 rectas tales que 𝑚 ⊥ 𝑛

ii) Punto 𝐴 ∈ 𝑚 ∩ 𝑛
iii) Punto 𝐵 y 𝐷, 𝐵 ∈ 𝑚 y 𝐷 ∈ 𝑛
iv) Puntos 𝐸 y 𝐹, 𝐸 ∈ 𝑚 y 𝐹 ∈ 𝑛
La profesora recuerda que las conjeturas, que se pueden enunciar durante la

exploración, se escriben de forma condicional. Inmediatamente recuerda cuáles son los
valores de verdad de la condicional teniendo en cuenta el de las proposiciones involucradas.
A continuación, expone la tabla de verdad de la condicional en donde se representan el
verdadero y falso de la forma V y F, respectivamente.
Nota: Las proposiciones condicionales son las que se pueden escribir de la forma lógica “𝑝 →
𝑞”, donde 𝑝 y 𝑞 son proposiciones simples.
𝑝 𝑞 𝑝→𝑞
V V V
V F F
F V V
F F V
Tabla 2. Tabla de verdad de la condicional
Luego, se analiza lo que pasa con los valores de verdad en cada caso y cuál resulta
ser el valor de verdad del antecedente con base al valor de verdad de la condicional. También
se recuerda que los teoremas que se enuncian tienen la forma de la primera combinación de
valores de verdad; es decir, cuando el antecedente y el consecuente son verdaderos. Esto
Carmen Samper
2019-2
porque si se quiere que una afirmación sea un teorema, y se supone que el antecedente es
verdadero, ello requiere demostrar que el consecuente también es verdadero.
Se aclara que todo lo que se puede demostrar no se instaura en el sistema teórico como
teorema. Los teoremas son los que cobran importancia para demostrar que otras afirmaciones
que se descubren son válidas. En ese momento de la clase, la profesora indica que abriremos
un nuevo documento en la carpeta compartida del grupo el cual se nombrará
SistemaTeoricoGeoEsp, en donde, el grupo que realice notas de clase agregará los teoremas,
postulados o definiciones establecidos durante cada clase. Este nuevo documento se crea con
el fin de separarlo del documento construido durante el curso de geometría plana. En este
orden de ideas, la profesora creará tal documento, y en adelante el grupo encargado en cada
sesión lo complementará.
2) Exploración
Para el Ejemplo 1, lo que se espera de la construcción es un reporte como sigue:

i) 𝐴𝐵, 𝐴𝐸
ii) Se arrastra 𝐸 hasta que 𝐴𝐵 = 𝐴𝐸
iii) 𝐴𝐷
iv) Se localiza punto 𝐹 tal que 𝐴𝐷 = 𝐴𝐹
Con lo anterior se puede evidenciar que se tomaron las medidas de los segmentos
determinados por cada par de puntos involucrados en la construcción.
3) Verificación
En este paso de para corroborar lo realizado y los resultados encontrados,

verificándolos con geometría dinámica. Se describe cómo se hizo la verificación.
4) Conjetura
Se formula una conjetura: lo que se quiere demostrar y bajo qué condiciones.

Las conjeturas se escriben de forma condicional, es decir:
Si [antecedente] entonces [consecuente]
5) Justificación
La profesora indica cómo se justificará la conjetura. Se sigue uno los siguientes

procesos:
i) Si se puede demostrar, entonces se escribe la demostración.
Carmen Samper
2019-2
ii) Si no se puede demostrar con base en el sistema teórico, entonces se indica qué
falta en el sistema teórico.
Así se concluye la explicación de la forma de proceder para reportar proceso de

solución de los problemas o situaciones planteadas durante el curso.
Durante la explicación anterior también se recuerda la D. Congruencia de triángulos
y el P. LAL, el cual se utilizaría para demostrar la congruencia de la pregunta planteada en
el Ejemplo 1. Para este momento de la clase el grupo A, encargado de las notas del día, ya
han repartido computadores a todos los grupos conformados en clase para la actividad que
se desarrollará.
Antes de dar inicio a la actividad Taller 1, se aclara cómo se reportan las
demostraciones, o sea, el formato de dos columnas:
Aserción Garantía y datos

En este espacio se ubica lo que se concluye En este espacio se ubican los postulados,
del postulado, teorema o definición teoremas o definiciones del sistema
utilizado en la misma fila y la columna de teórico.
garantías. Como cada fila se enumera, si se utiliza
algún dato que sirve como antecedente de
la garantía utilizada en esta fila, se indica
cuál es entre paréntesis.
Tabla 3. Formato de dos columnas para demostraciones
En el formato expuesto usualmente se aplica el esquema de razonamiento modus

ponendo ponens (MPP). Este formato se usa ya que es la forma más económica de hacer
una demostración, comparado con una demostración en forma de párrafo.
A continuación, se hace entrega del Taller 1. Se utiliza aproximadamente media hora
para que los grupos de clase lo desarrollen.
Taller 1
Dados cuatro puntos 𝐴, 𝐵, 𝐶 y 𝐷. ¿Qué tipos de figuras geométricas se pueden conformar
de tal forma que los cuatro puntos dados son los vértices? Provea una definición para cada
una de las figuras determinadas.
Carmen Samper
2019-2
Tras recoger el taller, la profesora hace un comentario al grupo: por lo que ve en las
respuestas, fue poca la imaginación usada. Esto debido a que notó que muchos estaban
trabajando en un plano y describiendo figuras como el rectángulo, paralelogramo, trapecio,
etc…, cuando no estaba enunciado que los cuatro puntos pertenecían al mismo plano.
Menciona que lo primero que se debe preguntar uno es qué es un vértice. En seguida, se
da la definición:
D. Un vértice es el extremo común de dos o más segmentos o arcos que conforman una
figura geométrica.
Luego, menciona que varios grupos mencionan que para que se determine un cuadrilátero
se debe tener: cuatro puntos coplanares en donde que cada terna de puntos no debe ser
colineales. Un estudiante pregunta si el problema incluye el caso de tres puntos colineales
y uno que no está en esa recta. Como se terminó la clase, se deja para el martes la discusión.
Resumen de los elementos para el sistema teórico:
D. Un vértice es el extremo común de dos o más segmentos o arcos que conforman una
figura geométrica.
Clase (03-09-19) Grupo B (David, Stuardt, Sebastián)

Antes de comenzar la clase se dieron unas aclaraciones sobre la claridad en tareas escritas y
notas de clase, la cual fue la siguiente:
Asuntos Ortografía y Vocabulario
Texto original Texto corregido
Cuadrilatero cuadrilátero
Union unión
Docente La palabra docente es un adjetivo que
describe algo. Por ejemplo, labor docente,
material docente. Por ello, no se puede usar
como sinónimo de profesora.
justificando está Justificando esta situación
en que teorema se basa En qué teorema se basa
teorema valido Teorema válido
Remplaza reemplaza
i) 𝑚,𝑛 rectas tales que 𝑚 ⊥ 𝑛.
Carmen Samper
2019-2
VERIFICACION Aunque esté escrito con mayúsculas, debe

ponerse la tilde: VERIFICACIÓN
Asuntos Matemáticos
̅̅̅̅
𝐶𝐷 < 𝐵𝐶 La relación “menor que” es entre números,
no entre un número (𝐶𝐷) y un segmento
̅̅̅̅ )
(𝐵𝐶
̅̅̅̅ ̅̅̅̅ , 𝐵𝐶
𝐴𝐵 ≅ 𝐵𝐶 ̅̅̅̅ ≅ ̅̅̅̅
𝐶𝐷, ̅̅̅̅
𝐶𝐷 ≅ ̅̅̅̅
𝐴𝐷 La congruencia es transitiva. Por ello, se
puede expresar esto de manera más
económica:
̅̅̅̅ ≅ 𝐵𝐶
𝐴𝐵 ̅̅̅̅ ≅ 𝐶𝐷
̅̅̅̅ ≅ 𝐴𝐷
̅̅̅̅
𝐷 ∈ 𝑚 ⊥ ̅̅̅̅
𝐴𝐵 𝐷 ∈ 𝑚 y 𝑚 ⊥ 𝐴𝐵 ̅̅̅̅
Condicional vs. implicación La condicional es un tipo de proposición. La
implicación se refiere a la relación entre un
conjunto de postulados de una teoría, y un
teorema que se demuestra en la teoría. Los
postulados implican al teorema.
De acuerdo con ello, durante las clases siguientes se realizará esta dinámica.
Luego de lo anterior, se inicia el análisis de las respuestas al Taller 1, en el que se pedía
descubrir y explorar la situación en que se tienen cuatro puntos y se debe determinar qué
figuras tienen a esos cuatro puntos como vértices. La mayoría de los estudiantes
mencionaron diferentes tipos de cuadrilátero.
Varios grupos, encontraron diferentes tipos de cuadriláteros que son los conocidos en la
geometría plana.
D. Cuadrilátero
Dados cuatro puntos coplanares, tal que ninguna terna de puntos es colineal, un cuadrilátero
es la unión de los segmentos tales que cada punto es vértice de exactamente dos segmentos
y ningún segmento se interseca con otro en más de un punto.
Lo que aparece en rojo en la definición es lo que se añadió después de analizar las

definiciones que dieron los estudiantes. ¿Por qué se tiene que decir que los cuatro puntos son
coplanares? Eso lo asumieron todos los grupos en sus respuestas. Hasta el momento, todos
los puntos son coplanares. La profesora aprovecha para introducir el siguiente postulado:
Carmen Samper
2019-2
P. Espacio: Dado un plano 𝛼, existe un punto 𝐴 tal que 𝐴 ∉ 𝛼.

Si se acepta como válido el postulado, entonces sí se requiere decir que los cuatro puntos
deben ser coplanares para definir cuadrilátero.
Cuadrilátero cruzado
En la anterior representación gráfica, se cumple la siguiente definición:

D. Cuadrilátero cruzado
Cuatro puntos coplanares y no colineales cada tres, un cuadrilátero es la unión de los
segmentos tales que cada punto es extremo de exactamente dos segmentos y dos segmentos
se intersecan en más de un punto.
Luego se procede a la corrección de tarea, analizando cada parte.
Punto 1
Si 𝛼 es un plano, entonces existen puntos 𝐴, 𝐵, 𝐶, 𝐷 ∈ 𝛼 tal que ninguna terna de puntos es
colineal.
Representación gráfica:
Demostración
1. 𝛼 plano Dado
Carmen Samper
2019-2
2. Sean 𝐴, 𝐵, 𝐶 puntos no colineales, P. Plano-tres puntos (1)

𝐴, 𝐵, 𝐶 ∈ 𝛼
⃡ ⊂𝛼
3. 𝐴𝐵 P. Dos puntos-recta; P. Llaneza del plano
(2)
4. 𝑆⃡𝐴𝐵,𝐶 , 𝑆⃡𝐴𝐵,∼𝐶 D. Semiplano (2,3)
5. Sea 𝐸 punto tal que 𝐴 − 𝐸 − 𝐵 T. Punto entre (2)
6. 𝐴, 𝐸, 𝐵 colineales D. Interestancia (5)
7. 𝐸 ∈ ⃡𝐴𝐵 D. Colinealidad (6)
8. 𝐸 ∈ 𝛼 D. Subconjunto (7,3)
9. ⃡𝐶𝐸 ⊂ 𝛼 P. Llaneza del plano (2,8)
10. Sea 𝐷 punto tal que 𝐶 − 𝐸 − 𝐷 T. Punto a un lado (9)
11. 𝐷 ∈ 𝑆𝐴𝐵 ⃡ ,∼𝐶 T. Puntos en distintos semiplanos
(3,4,7,10)
12. 𝐷 ∉ ⃡𝐴𝐵 D. Semiplano (11)
13. 𝐷, 𝐴, 𝐵 no colineales D. Colinealidad (12)
⃡
14. 𝐸 ∈ 𝐶𝐸 P. Dos puntos-recta (9)
15. 𝑆𝐶𝐸
⃡ ,𝐵 , 𝑆𝐶𝐸
⃡ ,∼𝐵 D. Semiplano (2,9)
16. 𝐴 ∈ 𝑆𝐶𝐸⃡ ,∼𝐵 T. Puntos en distintos semiplanos
(9,10,14,15)
17. 𝐶, 𝐸, 𝐷 colineales D. Interestancia (10)
⃡
18. 𝐷 ∈ 𝐶𝐸 D. Colinealidad (17)
19. 𝐴 ∉ ⃡𝐶𝐸 D. Semiplano (16)
20. 𝐶, 𝐷, 𝐸 no colineales D. Colinealidad (18.19)
21. 𝐵 ∉ ⃡𝐶𝐸 D. Semiplano (15)
22. 𝐶, 𝐷, 𝐵 no colineales D. Colinealidad (18,21)
Punto 2
a) Demostrar que los triángulos existen
Representación gráfica (triángulo)
̅̅̅̅ ∪ 𝐵𝐶
D. Triángulo: △ 𝐴𝐵𝐶 = 𝐴𝐵 ̅̅̅̅ ∪ 𝐶𝐴
̅̅̅̅ donde 𝐴, 𝐵, 𝐶 no colineales
T. Existencia del triángulo Existen los triángulos.

Carmen Samper
2019-2
Demostración

1. 𝛼 plano Dado o P. Existencia
2. Sean 𝐴, 𝐵, 𝐶 puntos no colineales P. Plano - tres puntos (1)
𝐴, 𝐵, 𝐶 ∈ 𝛼
⃡ , 𝐵𝐶
3. 𝐴𝐵 ⃡ , 𝐴𝐶⃡ P. Dos puntos recta (2)
⃡ , 𝐵𝐶
4. 𝐴𝐵 ⃡ , 𝐴𝐶⃡ ⊂𝛼 P. Llaneza del plano (2,3)
5. 𝐴𝐵 , 𝐵𝐶 , ̅̅̅̅
̅̅̅̅ ̅̅̅̅ 𝐴𝐶 T. Recta, rayo y segmento (4)
6. 𝐴𝐵 , 𝐵𝐶 , ̅̅̅̅
̅̅̅̅ ̅̅̅̅ 𝐴𝐶 ⊂ 𝛼 D. Subconjunto (4,5)
7. 𝐴𝐵 ∪ 𝐵𝐶 ∪ ̅̅̅̅
̅̅̅̅ ̅̅̅̅ 𝐴𝐶 =△ 𝐴𝐵𝐶 Unión y D. Triángulo (2,6)
8. △ 𝐴𝐵𝐶 ⊂ 𝛼 D. Subconjunto (6,7)
La demostración de la existencia solo requiere los Pasos 1 a 7. Si se quiere demostrar que el

triángulo es una figura coplanar, se añade el Paso 8. Unos estudiantes comentaron que en vez
de usar el T. RRS, se podía usar el T. Existencia segmento.
b) Demostrar que existe un triángulo isósceles.
D. Triángulo isósceles: △ 𝐴𝐵𝐶 es isósceles si y solo si dos de sus lados son congruentes.
Representación gráfica:

1. Sea 𝛼 un plano P. Existencia
2. Sea 𝐴, 𝐵, 𝐶 puntos no colineales tales que P. Plano - tres puntos (1)
𝐴, 𝐵, 𝐶 ∈ 𝛼
⃡ ⊂𝛼
3. 𝐵𝐶 P. Llaneza del plano (2)
4. 𝐵𝐶 > 0 P. Distancia (2,3)
5. Sea 𝐵𝑋 T. Existencia rayo (3)
6. Sea 𝐷 punto,𝐷 ∈ 𝐵𝑋 tal que 𝐵𝐷 = 𝐵𝐶 T. Localización de puntos (5,2)
7. 𝐵𝐶 = 𝐵𝐷 Propiedad transitiva (4,6)
̅̅̅̅ ≅ ̅̅̅̅
8. 𝐵𝐶 𝐵𝐷 D. Segmentos congruentes (7)
9. Sea △ 𝐷𝐵𝐶 D. Triángulo (2)
Carmen Samper
2019-2
10. △ 𝐷𝐵𝐶 isósceles D. Triángulo isósceles (8,9)
Por último, se discutió sobre la existencia de rectas paralelas, lo cual se partió de la siguiente
definición.
D. Rectas paralelas Dos rectas son paralelas si y solo sí
i) son coplanares,
ii) no se intersecan
Surge el T. Existencia paralelismo y se realiza la siguiente demostración:
T. Existencia de paralelas Existen rectas paralelas.
Demostración:
1. 𝛼 plano P. Existencia
2. Sean puntos 𝐴, 𝐵 ∈ 𝛼 P. Plano-tres puntos (1)
⃡
3. Sea 𝐴𝐵 P. Dos puntos-recta (2)
4. Sean rectas 𝑚 y 𝑛 en 𝛼, tal que 𝑚 ⊥ ⃡𝐴𝐵 , T. Perpendicular punto interno (3)
𝐴 ∈ 𝑚 y 𝑛 ⊥ ⃡𝐴𝐵 , 𝐵 ∈ 𝑛
5. Suponga que 𝑚 ∦ 𝑛 Negación de conclusión
6. 𝑚 ∩ 𝑛 ≠ ∅ D. Rectas paralelas (5)
7. 𝑚 ∩ 𝑛 = {𝑋} D. Conjunto vacío (6)
8. 𝑋 ∈ 𝑚 y 𝑋 ∈ 𝑛 D. Intersección de conjuntos (7)
9. 𝑋 ≠ 𝐴 y 𝑋 ≠ 𝐵 T. Intersección de rectas (4)
10. 𝑋, 𝐴, 𝐵 no colineales D. Colinealidad (9)
11. ∆𝑋𝐵𝐴 D. Triángulo (10)
12. ∠𝑋𝐴𝐵 y ∠𝑋𝐵𝐴 rectos D. Rectas perpendiculares (4)
13. 𝑚 ∥ 𝑛 Principio reducción al absurdo (se
contradice el T. Triángulo
rectángulo) (11,12)
Elementos teóricos nuevos

P. Espacio: Dado un plano 𝛼, existe un punto 𝐴 tal que 𝐴 ∉ 𝛼.
D. Rectas paralelas Dos rectas son paralelas si y solo sí i) son coplanares, ii) no se
intersecan.
Carmen Samper
2019-2
Clase 05-09-19 Grupo C (Mariana, Vivian, Raúl)
La clase comienza con la toma de asistencia del día y la entrega de la tarea Extraclase 1; se
hicieron algunas aclaraciones como las siguientes:
- El símbolo de existe no se usa en modo párrafo.
- Los números antes del 10 no se escriben verbalmente.
- Cuando se habla del símbolo " ∕ " no tiene ningún sentido en escritura modo
párrafo.
A continuación, algunos ejemplos de los anterior:
Manera incorrecta Manera correcta
⃡ ⁄𝐴 − 𝑋 − 𝐵
1. ∃ 𝑋 ∈ 𝐴𝐵 ⃡ |𝐴 − 𝑋 − 𝐵}
{𝑋 ∈ 𝐴𝐵
2. P. 3 puntos- plano P. Tres puntos- plano
Seguido a esto, se trataron varios asuntos matemáticos también referentes a la tarea, como
lo son:
• Sea 𝐸 ∈ ⃡𝐴𝐵 ∩ ⃡𝐶𝑋 entonces 𝐸 = 𝐴 o 𝐸 ≠ 𝐴 ¿Es conjunción la garantía?

La respuesta fue no, porque en este caso no es una conjunción si no una disyunción.
La proposición 𝑝 ∨∼ 𝑝 es tautología. Pero ser disyunción no es una garantía; es un
formato de proposición compuesta que se ve desde la lógica bivalente la cual
trabajamos en clase. Por ello, las cosas son o no son. La tautología en lógica, se llama
el Principio del tercio excluido.
• Existe punto 𝐷 tal que 𝐷 ∈ ⃡𝐴𝑋. ¿Cuál es la garantía?
Lo anterior se garantiza con tres elementos teóricos: D. Rayo, T. Punto entre y T.
Punto al lado, con lo cual se determinan puntos distintos a 𝐴 y a 𝐵 que pertenecen al
rayo.
• Suponga que 𝐶 − 𝑋 − 𝐵, 𝐴 ∉ 𝐶𝐵 ⃡ y 𝐷 ∈ 𝐴𝑋 ⃡ . ¿Por qué 𝐵 ∉ 𝐴𝑋 ⃡ ?¿Por qué 𝐵, 𝐷, 𝐴
son no colineales?
Carmen Samper
2019-2
Para solucionar esta situación se tiene el siguiente camino:
Como 𝑋 ∈ 𝐶𝐵 ⃡ y 𝑋 ∈ ⃡𝐴𝑋, 𝑋 ∈ 𝐶𝐵
⃡ ∩ ⃡𝐴𝑋. Entonces 𝑋 es el punto de intersección de las dos
rectas. Por tanto, 𝐵 no podría ser el punto de intersección de las dos rectas por T.
Intersección de rectas.
Se continúa enunciando los diferentes caminos para llegar a demostrar que existen cuatro
puntos 𝐴, 𝐵, 𝐶, 𝐷 coplanares, tal que cada terna es no colineal. Para esto la profesora
manifiesta que todos los grupos tomaron en esencia como camino la siguiente demostración:
Aserción Garantía y dato
1 Sea 𝛼 plano P. Existencia
2 Sea 𝐴, 𝐵, 𝐸 ∈ 𝛼 P. Plano-tres puntos (ii) (1)
3 Sea ⃡𝐴𝐵 P. Dos puntos recta (2)
4 ⃡𝐴𝐵 ⊂ 𝛼 P. Llaneza del plano (2)
5 ⃡ tal que 𝐴 − 𝑋 − 𝐵
𝑋 punto , 𝑋 ∈ 𝐴𝐵 T. Punto entre (3)
6 𝑚 recta 𝑚 ⊥ 𝐴𝐵⃡ por 𝑋 T. Perpendicular punto interno (Existencia)
(5)
7 𝐶 punto , 𝐶 ∈ 𝑚 , 𝐶 ≠ 𝑋 T. Recta infinitos puntos (6)
8 𝐷 punto , 𝐷 ∈ 𝑚, tal que 𝐶 − 𝑋 − 𝐷 T. Punto a un lado (7)
9 {𝑋} = 𝑚 ∩ ⃡𝐴𝐵 D. Intersección, T. Intersección rectas (5,6)
10. ⃡𝐶𝐷 = 𝑚 P. Dos puntos-recta (7,8)
11. 𝐷 ∉ ⃡𝐴𝐵, 𝐶 ∉ ⃡𝐴𝐵, 𝐵 ∉ ⃡𝐶𝐷, 𝐴 ∉ ⃡𝐶𝐷 D. Conjuntos iguales (9,10,11)
12. 𝐴, 𝐵, 𝐶 no colineal D. Colinealidad (11)
𝐴, 𝐵, 𝐷 no colineal
𝐴, 𝐷, 𝐶 no colineal
𝐷, 𝐵, 𝐶 no colineal
Sin embargo, hubo un grupo que propuso como solución a dicho problema introducir al
sistema axiomático un nuevo teorema el cual se enuncia a continuación junto con su
demostración.
T. Cuatro puntos no colineales Dado los puntos 𝐴, 𝐵, 𝐶, 𝐷 ∈ 𝛼. Si 𝐴, 𝐵, 𝐶 colineales y
𝐵, 𝐷, 𝐶 no colineales, entonces 𝐴, 𝐵, 𝐷 no colineales.
Aserción Garantía y dato
1 𝐴, 𝐵, 𝐶, 𝐷 ∈ 𝛼 Dado
2 𝐴, 𝐵, 𝐶 colineales Dado
𝐵, 𝐷, 𝐶 no colineales
3 𝐴, 𝐵, 𝐷 colineales Negación de la tesis
Carmen Samper
2019-2
4 𝐷 ∈ 𝐴𝐵⃡ D. Colinealidad (1,3)

⃡
𝐶 ∈ 𝐴𝐵
5 ⃡𝐴𝐵 = ⃡𝐷𝐶 P. Dos puntos recta (4)
6 𝐵 ∉ ⃡𝐷𝐶 D. Colinealidad (2)
7 𝐵 ∈ ⃡𝐷𝐶 Principio Sustitución (5,4)
8 𝐴, 𝐵, 𝐷 no colineales Conjunción (6,7)
Principio de reducción a lo absurdo
Este teorema se propuso para poder reducir la demostración de la situación dada en un

principio y así poder utilizarlo en situaciones que se puedan dar en un futuro. Ya teniendo
demostrada la existencia de los puntos 𝐴, 𝐵, 𝐶, 𝐷, cada terna no colineal es posible tener el
siguiente teorema:
T. Existencia del cuadrilátero: Dados puntos coplanares 𝐴, 𝐵, 𝐶, 𝐷, cada terna no colineal,
existe el cuadrilátero 𝐴𝐵𝐶𝐷.
A continuación, la profesora hace una última observación en cuanto al lenguaje: en una
demostración en el momento en que se necesite traer a colación algún objeto geométrico, no
es correcto utilizar la palabra “llamar”. Como lo que se hace es determinar objetos que se
sabe existen, en cambio de dicha palabra lo correcto es poner “sea”.
Otro de los puntos de la tarea era demostrar la existencia de un triángulo isósceles. Para ello,
la gran mayoría de grupos utilizaron el T. Localización de puntos; este no es necesario ya
que se tiene T. Existencia de la mediatriz, el cual ahorra pasos al momento de hacer la
demostración. Dicho esto, la profesora hace una aclaración entre las diferencias de los
elementos del sistema teórico que implican tener la mediatriz o el uso de esta. Para ello, los
escribe en una lista y decanta sus diferencias. Además, advierte que estos elementos predican
sobre situaciones en un plano.
T. Existencia de la mediatriz Todos los segmentos tienen mediatriz.
D. Mediatriz La mediatriz de un segmento es el conjunto de puntos que equidistan de los
extremos del segmento.
T. Mediatriz La mediatriz de un segmento es la recta perpendicular al segmento que contiene
al punto medio.
Posteriormente se continúa con la actividad de la clase anterior, la cual consistía en clasificar
las definiciones de cuadrilátero y los diferentes tipos, dadas por algunos grupos, y así poder
llegar a una definición concisa entre todos. Para poder hablar de cuadriláteros o mejor de
paralelogramos, fue necesario hablar primero de paralelas ya que las definiciones propuestas
fueron las siguientes.
Carmen Samper
2019-2
D1. Paralelogramo Cuadrilátero con dos pares de lados congruentes.

D2. Paralelogramo Cuadrilátero con ambos pares de lados opuestos paralelos y congruentes.
La profesora pide al grupo hacer la construcción de un paralelogramo teniendo en cuenta la
primera definición. Si es posible crear un paralelogramo con estas condiciones
inmediatamente la segunda definición queda descartada.
Luego se llegó a la conclusión al hacer la construcción y la respectiva exploración que la

definición 1 no describe un paralelogramo, es decir se descartó. Ahora es necesario verificar
también mediante una construcción si la definición 2 sí produce un paralelogramo; pero para
poder hacer o mejor justificar la construcción de dicha figura es necesario responder a la
pregunta: ¿existe una paralela a una recta dada por un punto externo?
Para ello es necesario utilizar geometría dinámica. La profesora empieza a utilizar Cabri y a
enunciar las diferencias que hay entre este programa y GeoGebra, una de ellas es que en
GeoGebra no es posible nombrar el plano base y en Cabri sí.
Ahora, teniendo en cuenta la D. Recta paralela, se plantea la siguiente pregunta: ¿Por qué
se dice que las rectas deben ser coplanares para que sean paralelas?
Se representa una recta 𝑛 en el plano 𝛼, y la pregunta ahora es: ¿existe una recta que no
interseca a 𝑛? En el plano 𝛼 podemos garantizar que sí, ya que tenemos la existencia de
paralelas en el plano. Sin embargo, la cuestión ahora es, ¿será que hay otras rectas que no
están en el plano 𝛼 tal que no intersequen a 𝑛?
Para responder esta pregunta se ubica un punto 𝑋, que no esté en el plano 𝛼. Basta con
asegurar que hay rectas en el espacio que no intersecan a la recta 𝑛 dada; para entender por
qué la D. Rectas paralelas incluya la condición de ser coplanares.
Carmen Samper
2019-2
Para esto, un compañero propone lo siguiente:

Se tiene la recta 𝑛 y el punto 𝐶 en el plano 𝛼, 𝐶 ∉ 𝑛 (P. Plano-tres puntos, P. Dos puntos
⃡ (P. Dos puntos-recta), ya
recta). Sea 𝑋 ∉ 𝛼 (P. Espacio). Ahora, se construye la recta 𝑋𝐶
que dicho postulado no especifica que dicha recta se pueda crear únicamente en un plano
dado. Sin embargo, faltaría demostrar que dichas rectas no se intersecan.
Ahora, como ya conocemos que hay puntos y por ende rectas, que no pertenecen a un plano,
se introduce al sistema teórico la siguiente definición:
D. Espacio: El espacio es el conjunto de todos los puntos.
Acto seguido, se retoma la demostración que se estaba realizando para construir una paralela
a una recta por un punto que no pertenece a ella. Dentro de la discusión se aclara y se
modifica el T. Existencia perpendicular punto externo, ya que dentro del mismo se
enfatiza en la unicidad de dicha recta. Por tanto, cuando el teorema sea utilizado en alguna
demostración deberá especificarse si se hace referencia a la existencia o a la unicidad.
T. Existencia de la paralela punto externo
Carmen Samper
2019-2
1. 𝑚 recta, 𝐷 punto 𝐷 ∉ 𝑚 Dado

2. Sea 𝑘 recta, 𝐷 ∈ 𝑘, 𝑘 ⊥ 𝑚 T. Perpendicular por punto externo (1)
3. Sea 𝑛 recta, 𝐷 ∈ 𝑛, , 𝑛 ⊥ 𝑘 T. Perpendicular por punto interno (2)
4. 𝑛∥𝑚 T. Perpendicular a rectas- paralelas (1)
5. 𝑛 es única T. Perpendicular por punto interno
(unicidad) (3)
Se tiene que 𝑛 es la única recta paralela a 𝑚, por el punto 𝐷, que es perpendicular a 𝑘, pero
ello no significa que no exista otra recta por 𝐷 que también es paralela a 𝑚.
Teniendo este teorema, se puede comenzar la construcción de un cuadrilátero con dos pares
de lados paralelos:
Construcción
1. ̅̅̅̅
𝐴𝐵
2. ̅̅̅̅
𝐵𝐶
3. Recta 𝑚, 𝑚 ∥ 𝐵𝐶̅̅̅̅ , 𝐴 ∈ 𝑚
4. ̅̅̅̅
Recta 𝑛, 𝑛 ∥ 𝐴𝐵 , 𝐶 ∈ 𝑛
Falta asegurar que 𝑚 y 𝑛 se intersecan. Para ello se ve necesario demostrar la transitividad
del paralelismo, demostración que se empieza a desarrollar de la siguiente manera:
Si 𝑚 ∥ 𝑛 y 𝑛 ∥ 𝑘 entonces 𝑘 ∥ 𝑚.
1. 𝑚, 𝑛, 𝑘 rectas, tal que 𝑚 ∥ 𝑛 y Dado

𝑛 ∥𝑘
2. 𝑘 ∦ 𝑚 Negación de la tesis
Carmen Samper
2019-2
3. Existe 𝐴 punto, 𝐴 ∈ 𝑚 ∩ 𝑘 D. Paralela

D. Conjunto vacío
4. 𝐴 ∈ 𝑚 y 𝐴 ∈ 𝑘 D. Intersección
5. 𝐴 ∉ 𝑛 D. Paralela
Si bien, ya se demostró la unicidad de la recta perpendicular, no se ha demostrado aun la

unicidad de la recta paralela. Por tanto, no se puede demostrar la transitividad del paralelismo.
Por último, la profesora expone que es posible que se pueda demostrar la relación de
transitividad utilizando perpendicularidad; asunto que se desarrollará en la tarea. Sin más, se
da por terminada la clase.
Clase (10-09-19) Grupo D (Angie, Daniela, Brian)

La clase inicia con el llamado a lista. Posterior a ello, la profesora hizo comentarios respecto
a las notas de clase. Estos comentarios son:
• El uso del archivo compartido por la profesora a los estudiantes que les corresponde las
notas de clase es para extraer solamente lo que se realizó en clase.
• En las notas de clase se debe decir por qué fue necesario introducir los teoremas al
sistema teórico; ¿qué llevó a ellos? ¿cuál fue el problema?
• Si se va a realizar una demostración; antes de dicha demostración se debe poner el
enunciado del teorema.
Lo anterior para recordar a los estudiantes que las notas de clase son el libro del curso, el cual
es útil para repasar.
Posterior a ello, la profesora hizo la invitación al Semillero Aprendizaje y Enseñanza de la
Geometría, rescatando los propósitos de este:
• El semillero puede preparar a los partícipes para la realización de un trabajo de grado en
la línea de geometría.
• Compartir lo que el grupo de investigación Aprendizaje y Enseñanza de la Geometría ha
logrado en los últimos 15 años.
• Preparar a los partícipes para hacer presentaciones en eventos sobre temáticas del
Semillero.
Carmen Samper
2019-2
En este Semillero pueden participar todos los estudiantes interesados, sin importar el
semestre que esté cursando. La profesora dice que el Semillero inicia el día miércoles 18 de
septiembre, de 1:00 pm a 2:00 pm.
Posterior a la invitación al Semillero, la profesora recordó que en el curso se está tratando
de introducir un nuevo esquema de presentación de demostraciones, en el cual no se escriben
todos los pasos; este esquema se llama Núcleos y Pilares.
La profesora indicó que la siguiente información se debe escribir siempre antes de demostrar
el teorema con dicho esquema:
Datos: Datos del teorema que se va a demostrar
Aserción: Consecuente del teorema que se va a
demostrar
Tipo de demostración: Directa o Indirecta, con o no construcción
auxiliar
Dada la información anterior, la profesora retomó los teoremas que no se pudieron demostrar
la clase anterior y quedaron como tarea; aclaró que no era posible demostrarlos sin el P.
Paralelas, también conocido como el V Postulado de Euclides.
P. Paralelas: Por un punto externo dado, existe solo una recta paralela a una recta dada.
La profesora recordó que en el sistema teórico del curso ya se tiene T. Existencia - paralelas
y que en este teorema, además de demostrar dicha existencia, también se demostró el T.
Perpendiculares a recta paralelas. Luego recordó el razonamiento que se usó cuando se
quería determinar una paralela a una recta dada por un punto que no pertenece a ella; surgió
la propuesta de construir perpendiculares de la siguiente manera:
Carmen Samper
2019-2
Al decir que 𝑚 es la única recta perpendicular a la recta 𝑛, y por tanto 𝑚 es la única recta
que es paralela a 𝑓 es erróneo este razonamiento, ya que es cierto que 𝑚 es la única recta
perpendicular a la recta 𝑛, pero 𝑚 no tiene por qué ser la única recta que es paralela a 𝑓;
podría haber otra. Es por ello la necesidad del P. Paralelas.
Seguido a esto, la profesora dio una breve explicación del por qué Euclides mostro este
postulado después de mucho tiempo, ya que cuando quiso expresar el postulado se dio cuenta
que estaba en formato de una condicional; este formato se conocía como un teorema.
Entonces le surgió la pregunta: ¿será que se puede demostrar este postulado? Al fallar en el
intento decidido introducirlo, sin dejar la inquietud de que existía la posibilidad de
demostrarlo. Esta inquietud no solo la tenía Euclides; también otros matemáticos
importantes.
Siglos después, al hacer el intento de demostrar el postulado, , los matemáticos estaban
dispuestos a que, a pesar de que no se diera en el mundo real, en el mundo de las matemáticas
pudiera existir, dos o más paralelas a una recta dada,, o que no existiera ninguna paralela por
un punto externo. Pero, en la época de Euclides era complejo aceptar que lo que se podía
representar con regla y compás era lo que necesariamente debería existir en una teoría
matemática.
La profesora también menciono por qué Gauss se demoró tanto tiempo en publicar la
geometría no euclidiana que había descubierto. Gauss no la publicaba por temor a ser
criticado, pero al darse cuenta que Bolyai y Lobachevski llegó a los mismos resultados, lo
publicó. Surgieron así las geometrías no euclidianas.
Luego de la explicación histórica de cómo surgió el P. Paralelas y la geometría no
euclidiana, la profesora le pregunta al grupo F: ¿cómo demostró el T. Transitividad –
paralelismo (ítem “a” de la tarea)?
El grupo propuso la siguiente demostración:
T. Transitividad – paralelismo (P): 𝑚 ∥ 𝑛 y 𝑛 ∥ 𝑘 entonces 𝑚 ∥ 𝑘
Aserciones Garantías y Datos
1. 𝑚, 𝑛, 𝑘 rectas diferentes, 𝑚 ⃦ 𝑛 , Dado
𝑛 ⃦ 𝑘
2. 𝑚 ∦ 𝑘 Negación conclusión
3. 𝑚 ∩ 𝑘 ≠ ∅ D. Paralelas (2)
4. Sea 𝐴 ∈ 𝑚 ∩ 𝑘, 𝐴 punto D. Conjunto no vacío (3)
5. 𝐴 ∈ 𝑚 ∧ 𝐴 ∈ 𝑘 D. Intersección. (4)
6. 𝑚 = 𝑘 P. Paralelas (5)
7. 𝑚 ∥ 𝑘 P.R.A.
Carmen Samper
2019-2
Posterior a la intervención del estudiante, la profesora afirmó que en el plano ya se tiene la

transitividad del paralelismo. además de ello, también se tiene la simetría (si 𝑚 ∥ 𝑘, entonces
𝑚 ∥ 𝑘), pero si se quiere que el paralelismo cumpla la propiedad reflexiva, se debe introducir
el siguiente teorema:
T. Reflexiva paralela: Toda recta es paralela a sí misma.
La profesora recordó que el T. Transitividad – paralelismo fue necesario para demostrar el
ítem “b” de la tarea (una recta perpendicular a una de dos rectas paralelas interseca a la otra
recta). Este punto estaba ligado al ítem tres del primer punto de la tarea (Si una recta interseca
a una de dos rectas paralelas, entonces interseca a la otra). La profesora le preguntó al grupo
H cómo había solucionado este punto; la propuesta del grupo fue la siguiente:
1. 𝑚 ∥𝑛 Dado
2. 𝑘∩𝑚≠∅
3. 𝑘∩𝑛=∅ Negación conclusión
4. 𝑘 ∥𝑛 D. paralelas (3)
5. 𝑘 ∥𝑚 T. Transitividad – paralelas
6. 𝑘 ∩𝑛≠∅ P.R.A (se contradice la D. rectas paralelas
en 2 y 5)
La profesora hizo la aclaración de que la demostración anterior es en un plano, ya que en el

plano las rectas son paralelas ó se intersecan. Luego de esta aclaración, la profesora le da un
nombre al teorema:
T. Secante: Si en un plano, dos rectas son paralelas y una recta interseca a una de ellas,
entonces interseca a la otra.
Posterior a ello, la profesora le pregunta al grupo C cómo respondieron la siguiente pregunta:
¿Por qué el P. Paralelas no incluye la frase “en un plano”, por un punto externo dado existe
solo una recta paralela a una recta dada?
El grupo C responde que es por la D. Paralelas (ítem uno) ya que dicen que por definición,
las rectas son coplanares, y si las rectas son coplanares es por qué se encuentran en un plano.
La profesora dice que lo dado en este postulado es: una recta y un punto que no pertenece a
ella, y según el T. Recta y punto – plano, ello nos garantiza que todo sucede en un plano;
es por ello que no es necesario indicarlo en el postulado.
Seguido a esto, la profesora continua con el tercer punto de la tarea:
Carmen Samper
2019-2
Sea 𝑚 recta 𝑚 ⊂ 𝛼, 𝛼 plano. Sea 𝐶 punto tal que 𝐶 𝜖 𝛼 y 𝐶 ∉ 𝑚. Sea 𝐷 punto tal que 𝐷 ∉
𝛼.
En la ilustración realizada por la profesora, se evidencio que no es posible la existencia de

un plano que contenga las dos rectas, porque al serlo, el plano tendría que doblarse, lo cual
no es posible, puesto que los planos son llanos. Al verlos gráficamente se dedujo su
imposibilidad. Posterior a ello, la profesora propuso demostrarlo teóricamente.
Aserciones Garantías y datos

1. Sea 𝛼 plano, 𝑚 recta, 𝑚 ⊂ 𝛼. Dado
2. Sea 𝐶 punto, 𝐶 ∈ 𝛼, 𝐶 ∉ 𝑚
3. Sea 𝛽 plano talque 𝑚 ⊂ 𝛽 y ⃡𝐶𝐷 ⊂ Negación conclusión

𝛽
4. 𝐶 ∈ 𝛽 , 𝐷 ∈ 𝛽 D. Subconjunto (4)
5. 𝑚 ⊂ 𝛽, 𝐶 ∈ 𝛽, 𝐶 ∉ 𝑚 Conjunción (1,2,4,5)
6. 𝑚 ⊂ 𝛼, 𝐶 ∈ 𝛼, 𝐶 ∉ 𝑚
7. 𝛽 es el único plano que contiene a T. Recta y punto-plano (6,7)
𝐶ya𝑚
8. 𝛼 es el único plano que contiene a
𝐶ya𝑚
9. 𝛼 = 𝛽 D. Unicidad
10. 𝐷 ∈ 𝛼 P. Sustitución (5, 10)
11. 𝐷 ∈ 𝛼 y 𝐷 ∉ 𝛼 Conjunción (5,11)
⃡
12. No existe plano 𝛽 tal que 𝑚 y 𝐶𝐷 P.R.A.
estén contenidos en 𝛽
Carmen Samper
2019-2
La profesora resalta que las últimas demostraciones han salido por pruebas indirectas, pero
que no todas las demostraciones salen de esta manera y que la prueba indirecta suele usarse
como último recurso.
Antes de hacer la demostración, la profesora pregunta si las rectas realmente no se intersecan,
y al acabar la demostración anterior queda claro que no, porque no son coplanares. Pero no
son paralelas y en conclusión se encuentra otra relación entre dos rectas, las cuales o se
intersecan o son paralelas, si están en un plano, o son rectas alabeadas, si están en el espacio.
D. Rectas alabeadas: Dos rectas son alabeadas si no son coplanares.
La demostración anterior, demuestra que existen, pero también demuestra cómo asegurar
que dos rectas son alabeadas. Surgen dos teoremas:
T. Existencia de rectas alabeadas: Existen las rectas alabeadas.
T. Rectas alabeadas: Sean 𝛼 plano, 𝑚 recta, 𝐶,𝐷 puntos tal que 𝑚 ⊂ 𝛼, 𝐶 ∈ 𝛼, 𝐶 ∉ 𝑚 y
𝐷 ∉ 𝛼, entonces ⃡𝐶𝐷 y 𝑚 son alabeadas.
Volviendo a las respuestas del Taller 1, la definición de paralelogramo que planteó un fue:
D. Paralelogramo: Cuadrilátero con ambos pares de lados opuestos paralelos y
congruentes.
La profesora preguntó: ¿se ha utilizado la congruencia para construir la figura? Como no
fue así, la profesora indica que, al momento de encontrar la intersección, se halló el cuarto
vértice, por lo cual hasta esa condición sobra en la definición.
D. Paralelogramo: Cuadrilátero con ambos pares de lados opuestos paralelos.
La profesora aclara que con todo lo descubierto en la tarea, es posible seguir con la
demostración de que existe un cuadrilátero con ambos pares de lados paralelos. Esta
demostración se estaba intentando realizar la clase anterior.
Carmen Samper
2019-2
T. Existencia de paralelogramo En un plano, existe un paralelogramo.

̅̅̅̅
1. 𝐴𝐵 T. Existencia de segmento
̅̅̅̅
2. 𝐵𝐶
3. Existe recta 𝑚 tal que 𝑚 ∥ 𝐵𝐶̅̅̅̅ 𝐴 ∈ T. Existencia paralela por punto externo
𝑚
4. Existe recta 𝑛 tal que 𝑛 ∥ ̅̅̅̅
𝐴𝐵
Hasta ahí se fue posible garantizar los pasos de la construcción; pero no sabíamos si se
intersecaban las dos rectas paralelas, lo que condujo introducir el T. Secante, el cual ya fue
demostrado en la tarea por lo cual ya se puede decir que:
5. Sea 𝐷 punto, 𝐷 ∈ 𝑚 ∩ 𝑛 T. Secante (3)
Posteriormente, la profesora propone la construcción robusta del paralelogramo y la

exploración del paralelogramo, dando respuesta a la validez de congruencia que propuso el
grupo en la definición.
La profesora pide a los estudiantes que construyan un paralelogramo de tal manera que los
lados opuestos que son paralelos, sean también congruentes. Un estudiante procede a
realizar la construcción para el resto de los compañeros, la construcción fue:
Carmen Samper
2019-2
La profesora recalca la importancia de nombrar los puntos en una figura, y, además, indica
que no se ha representado un cuadrilátero ya que ellos no están formados por la unión de
rectas, sino de segmentos.
Otro estudiante realiza la construcción correcta del paralelogramo que la profesora requería,
ya que, al arrastrar la figura, los lados opuestos paralelos mantienen sus medidas
congruentes.
Después de estos ejemplos, la profesora pide demostrar teóricamente, si como consecuencia

del paralelismo, los lados opuestos del cuadrilátero resultan congruentes.
T. Paralelogramo: Los lados opuestos de un paralelogramo son congruentes.
Comenzamos la demostración, completando el siguiente esquema, pero no fue posible
desarrollarla.
Datos: ̅̅̅̅ ∥ 𝐶𝐷
𝐴𝐵 ̅̅̅̅, 𝐶𝐵
̅̅̅̅ ∥ 𝐴𝐷
̅̅̅̅
Aserción: ̅̅̅̅
𝐴𝐵 ≅ 𝐶𝐷, 𝐶𝐵 ≅ ̅̅̅̅
̅̅̅̅ ̅̅̅̅ 𝐴𝐷
Tipo de demostración: Directa, con construcción auxiliar
La profesora recuerda:
D. Segmentos paralelos: Dos segmentos son paralelos si las rectas que los contienen son
paralelas.
Al realizar la demostración de que los segmentos opuestos del paralelogramo son
congruentes, usando la D. Segmentos congruentes, no es muy útil ya que se está haciendo
Carmen Samper
2019-2
una demostración general y entonces no se pueden usar medidas. Por lo tanto, utilizar
triángulos es la mejor herramienta para demostrar que los lados opuestos son congruentes.
Los triángulos son una construcción auxiliar muy útil en las demostraciones. Pero usar la
diagonal para que haya triángulos no dará mucha información, ya que solo se tiene un lado
congruente con sí mismo.
Sin embargo, y más general, se tiene la siguiente situación: dos rectas paralelas y una recta
secante. Se mencionan los nombres de las parejas de ángulos presentes:
Ángulos alternos internos: ∠4 y ∠6; ∠3 y ∠5

La profesora recalca que no se usará la definición de ángulos alternos internos, porque es
complicada, sino que se dirá que lo son por hipótesis gráfica.
Ángulos correspondientes: ∠2 y ∠6; ∠3 y ∠7; ∠1 y ∠5; ∠4 y ∠8
Ángulos internos no alternos: ∠3 y ∠6; ∠4 y ∠5
Darles nombres a estos ángulos es importante, ya que, al tener las rectas paralelas y la recta
secante, cada par de ángulos tiene una relación especial. De ahí la necesidad de demostrar el
Hecho Geométrico PAI el cual dice que, teniendo dos rectas paralelas y una secante a ellas,
entonces los ángulos alternos internos son congruentes. Este será muy útil para poder
demostrar que los lados opuestos de un paralelogramo son congruentes.
El tipo de demostración es indirecta gracias a la sugerencia de una estudiante del grupo D

que propone negar la conclusión. La demostración se presenta a continuación completa,
aunque en clase no se hizo así, porque al llegar al paso 8 se vio la necesidad de demostrar el
T. AIP, cosa que se hizo antes de terminar la demostración del T. PAI.
Carmen Samper
2019-2
T.PAI (P): Dadas 𝐴𝐵⃡ ⃡

, 𝐷𝐶 ⃡ , 𝐵𝐶
y 𝐵𝐶 ⃡ secante a 𝐴𝐵
⃡ y ⃡ , si
𝐷𝐶 ⃡
𝐴𝐵 ⃡
∥ 𝐷𝐶
entonces ∠𝐴𝐵𝐶, ∠𝐷𝐶𝐵 ángulos alternos internos, ∠𝐴𝐵𝐶 ≅ ∠𝐷𝐶𝐵
B
A
D C
Datos: ⃡𝐴𝐵 , ⃡𝐷𝐶 y 𝐵𝐶

⃡ , 𝐵𝐶
⃡ secante a ⃡𝐴𝐵 y ⃡𝐷𝐶 , si ⃡𝐴𝐵 ∥ ⃡𝐷𝐶
Aserción: Ángulos alternos internos son congruentes

Tipo de demostración: Indirecta, con construcción auxiliar
Aserciones Garantías
1) (P) ⃡𝐴𝐵 ⃡𝐷𝐶 𝐵𝐶
⃡ , ⃡𝐵𝐶 secante de ⃡𝐴𝐵 y ⃡𝐷𝐶 Dado
⃡𝐴𝐵 ∥ ⃡𝐷𝐶
3) ∠𝐴𝐵𝐶 y ∠𝐷𝐶𝐵 no son congruentes Negación de la conclusión
4) 𝑚∠𝐴𝐵𝐶 ≠ 𝑚∠𝐷𝐶𝐵 D. Ángulos congruentes (3)

5) Sin perder generalidad, suponga que 𝑚∠𝐴𝐵𝐶 Tricotomía (4)
> 𝑚∠𝐷𝐶𝐵.
7) Sea 𝐵𝐸 , 𝐸 ∈ 𝑆↔ ,¬𝐷 , tal que 𝑚∠𝐸𝐵𝐶 = P. Construcción de ángulos

𝐵𝐶
𝑚∠𝐷𝐶𝐵
8) ∠𝐸𝐵𝐶 ≅ ∠𝐷𝐶𝐵 D. Ángulos congruentes (7)
9) ⃡𝐵𝐸 ∥ ⃡𝐶𝐷 T. AIP (8, 1)
⃡ ∥ 𝐶𝐷
10) 𝐵𝐸 ⃡ ∧ 𝐴𝐵⃡ ∥ 𝐷𝐶⃡ Conjunción (9, 1)
11) ∠𝐷𝐶𝐵 ≅ ∠𝐴𝐵𝐶 P.R.A. (P. Paralelas) (10)
12) Análogo para el caso 2, del paso 7 al 1
Nota: En el paso 5, hay dos caminos: considerar los dos casos, 𝑖. 𝑚∠𝐸𝐵𝐶 > 𝑚∠𝐷𝐶𝐵 ó
𝑖𝑖. 𝑚∠𝐸𝐵𝐶 < 𝑚∠𝐷𝐶𝐵, y demostrarlos o usar la expresión, sin perder generalidad, y
Carmen Samper
2019-2
demostrar solo el caso propuesto. Esto se puede hacer porque las dos demostraciones son
fundamentalmente iguales.
En este momento la demostración puede tomar dos rumbos:

o Uno, es siguiendo el camino que sugiere una estudiante: demostrar un teorema
adicional, el T. AIP (ángulos alternos internos congruentes-paralelas) el cual
dice que, teniendo dos rectas, una recta secante a ellas, si los ángulos alternos
internos son congruentes entonces las rectas resultan ser paralelas. Dicho teorema
sería útil para la terminación de la demostración del T. PAI.
o El segundo, es la sugerencia de la profesora, que propone terminar la demostración
del T. PAI con el T. Ángulo externo.
1) T. AIP (P): Sean 𝑚, 𝑛, 𝑙rectas, 𝑙secante de 𝑚 y 𝑛, ∠𝐵𝐴𝐷 y ∠𝐶𝐵𝐴 alternos internos,

∠𝐵𝐴𝐷 ≅ ∠𝐶𝐵𝐴, entonces 𝑚 ∥ 𝑛
Datos: 𝑚, 𝑛, 𝑙rectas, 𝑙 secante a 𝑚 y 𝑛, ∠1 y ∠2 alternos internos, ∠1 ≅ ∠2
Aserción: 𝑚 ∥ 𝑛
Tipo de demostración: Indirecta
B K
C
m
1
Carmen Samper
2019-2
1) 𝑚, 𝑛, 𝑙 rectas del plano 𝛼, 𝑙 secante a 𝑚 y 𝑛, Dado

∠1 y ∠2 alternos internos, ∠1 ≅ ∠2
2) Suponer que 𝑚 ∦ 𝑛 Negación de la conclusión

3) 𝑚 ∩ 𝑛 ≠ ∅ D. Paralelas (2)
4) 𝑚 ∩ 𝑛 = {𝐾} D. Conjunto no vacío

T. Intersección de rectas (3)
5) 𝑙 ∩ 𝑛 = {𝐴}, 𝑙 ∩ 𝑚 = {𝐵} D. Secante (1)

6) Sea 𝐶 punto, tal que 𝐾 − 𝐵 − 𝐶 T. Punto a un lado (4, 5)
7) ∠𝐶𝐵𝐴 externo del ∆𝐴𝐵𝐾 D. Ángulo externo (6)
8) 𝑚∠𝐶𝐵𝐴 > 𝑚∠𝐵𝐴𝐾 T. Ángulo externo (7)
9) 𝑚∠𝐶𝐵𝐴 = 𝑚∠𝐵𝐴𝐾 D. Ángulos congruentes (1)
10) 𝑚∠𝐶𝐵𝐴 > 𝑚∠𝐵𝐴𝐾 ∧ Conjunción (8, 9)
𝑚∠𝐶𝐵𝐴 = 𝑚∠𝐵𝐴𝐾
11) 𝑚 ∩ 𝑛 = ∅ P.R.A. (10)
12) 𝑚 ∥ 𝑛 D. Rectas paralelas (11)
Para esta demostración, la profesora hace énfasis en resaltar los Núcleos y Pilares.
Núcleos Pilares
1) 𝐾 ∈ 𝑚 ∩ 𝑛 D. Conjunto vacío
2) ∆𝐴𝐵𝐾 D. Triángulo
3) 𝑚∠𝐶𝐵𝐴 > 𝑚∠𝐵𝐴𝐾 T. Ángulo externo
2) Continuación de la demostración del T. PAI con el T. Ángulo externo.
B
A
C F
D
Carmen Samper
2019-2
⃡ ∩ 𝐵𝐸
9) 𝐷𝐶 ⃡ = {𝐹} T. Secante
D. Intersección de rectas
10) Suponga que, 𝐷 − 𝐶 − 𝐹 T. Tres puntos (2, 9)
11) ∠𝐷𝐶𝐵 externo a ∆𝐵𝐶𝐹 D. Ángulo externo (10)
12) 𝑚∠𝐷𝐶𝐵 > 𝑚∠𝐶𝐵𝐸 T. Ángulo externo (11)
12) 𝑚∠𝐷𝐶𝐵 > 𝑚∠𝐶𝐵𝐸 ∧ Conjunción (7, 12)
𝑚∠𝐷𝐶𝐵 = 𝑚∠𝐶𝐵𝐸
13) ∠𝐷𝐶𝐵 ≅ ∠𝐶𝐵𝐴 P.R.A.
Como conclusión, la profesora recalca a los estudiantes la importancia del P. Paralelas en la

demostración que ella propone ya que el T. Secante requirió de este. Y que, además, teniendo
en especial el T. PAI, siendo consecuencia del paralelismo, permite demostrar que en un
paralelogramo ambos pares de lados opuestos son congruentes.
También, se incluirá en el sistema teórico el siguiente teorema:

T. Paralelogramo: Si un cuadrilátero es paralelogramo, entonces sus lados opuestos son
congruentes y sus ángulos opuestos son congruentes
Definiciones introducidas en clase:

D. Paralelogramo: Cuadrilátero con ambos pares de lados opuestos paralelos.
D. Rectas alabeadas: Dos rectas son alabeadas si no son coplanares.
Teoremas introducidos en clase.

T. Transitividad – paralelismo: 𝑚 ∥ 𝑛 y 𝑛 ∥ 𝑘 entonces 𝑚 ∥ 𝑘
T. Reflexiva – paralela: Toda recta es paralela a sí misma.
T. Secante: Si en un plano, dos rectas son paralelas y una recta interseca a una de ellas,
entonces interseca a la otra.
T. Existencia de rectas alabeadas: Existen las rectas alabeadas.
Carmen Samper
2019-2
T. Rectas alabeadas: Sean 𝛼 plano, 𝑚 recta, 𝐶,𝐷 puntos tal que 𝑚 ⊂ 𝛼, 𝐶 ∈ 𝛼, 𝐶 ∉ 𝑚 y

𝐷 ∉ 𝛼. Entonces ⃡𝐶𝐷 y 𝑚 son alabeadas.
T. AIP: Sean dos rectas y una secante de ellas. Si los ángulos alternos internos son
congruentes, entonces las rectas son paralelas.
T.PAI: Sean dos rectas paralelas y una secante de ellas. Los ángulos alternos internos son
congruentes.
T. Paralelogramo: Si un cuadrilátero es paralelogramo, entonces sus lados opuestos son
congruentes y sus ángulos opuestos son congruentes.
Clase 12-09-19 Grupo E (Anhuar, Jenifer, Alexandra)

Se inicia la clase abordando asuntos de la Tarea Extra clase 2 como la ortografía, vocabulario y
asuntos matemáticos. Estos son:
𝑚∩𝑙 =𝑆 𝑚 ∩ 𝑙 = {𝑆} T. Intersección rectas
La intersección de conjuntos es un conjunto. 𝑆 ∈ 𝑚 ∩ 𝑙 D. Intersección
Hay que usar corchetes.
Luego la profesora explica cada uno de los siguientes inconvenientes de asuntos matemáticos en los
que hubo falencias en la tarea:
1. ¿Por qué no es D. Rectas paralelas una justificación para excluir del enunciado del P. Paralelas
la frase “en un plano”?
Porque lo que se tiene dado es una recta y un punto que no está en ella por el T. Recta y punto-Plano
se sabe que, si ocurre esta situación, existe un único plano que los contiene. Para poder usar la D.
Rectas paralelas, se tendría que incluir en lo dado una recta paralela, por ese punto, a la recta dada.
2. Para citar como garantía al P. Paralelas, ¿debe hacerse así: P. Paralelas (unicidad)?
No es necesario mencionar la unicidad ya que el P. Paralelas habla exclusivamente de la unicidad.
Para hablar de existencia se tiene el T. Existencia paralelas.
3. En la demostración del T. Transitividad del paralelismo (P), ¿no era necesario demostrar que el
punto de intersección de las rectas que se asume no son paralelas no pertenece a la otra recta?
Si es necesario incluir en la demostración que el punto de intersección de las rectas que se asume no
son paralelas no pertenece a la otra recta. Esto porque el P. Paralelas dice que si se tiene una recta y
Carmen Samper
2019-2
un punto que no está en ella entonces, existe una única recta paralela a esta. Que el punto no
pertenece a la otra recta se puede justificar por contradicción y la D. Paralelas.
4. ¿Cuál es la negación de la conclusión para el T. Transitividad del paralelismo (P)?
El T. Transitividad del paralelismo dice: si 𝑚, 𝑛, 𝑙 rectas coplanares y 𝑚 ∥ 𝑛 ,𝑛 ∥ 𝑙, entonces 𝑚 ∥ 𝑙.
La negación de la conclusión es 𝑚 ∦ 𝑙. No es correcto decir que la negación es 𝑚 ∩ 𝑙 ≠ ∅.
5. Suponga que dos rectas se intersecan en un punto 𝐴. ¿Por qué no se puede uno referir al ∠𝐴?
Porque como se muestra en la (figura 1.0) no se sabe de cúal de los cuatro angulos se está hablando.
Figura 1
6. ¿Qué se necesita para usar el Principio de Reducción al Absurdo?
En la lógica bivalente, se tiene que 𝑝 ∧ ~𝑝 no se puede dar. Por lo tanto, se necesita llegar a una
conclusión donde, usando la conjunción, esté 𝑝 y la negación de 𝑝, para poder usar el Principio de
Reducción al Absurdo.
7. 𝑚 ⊥ 𝑛 y 𝑚 ∥ 𝑛 no es una proposición de la forma 𝑝 ∧ ~𝑝. Por lo tanto, no se puede usar el
Principio de Reducción al Absurdo. Se necesita un paso más.
La contradicción de 𝑚 ⊥ 𝑛 no es 𝑚 ∥ 𝑛, ya que 𝑚 ∥ 𝑛 significa que 𝑚 ∩ 𝑛 = ∅ y 𝑚 ⊥ 𝑛 quiere
decir que 𝑚 ∩ 𝑛 ≠ ∅.
8. En la tarea no se solicitó demostrar algo que unos estudiantes han llamado T. Perpendicular
paralelas-perpendicular. ¿Qué afirma dicho teorema?
T. Perpendicular paralelas-perpendicular: Sean 𝑚, 𝑛, 𝑙 rectas coplanares tales que 𝑚 ∥ 𝑛 y 𝑙 ⊥
𝑚, entonces 𝑙 ⊥ 𝑛.
El problema es que para demostrar este teorema se necesita el T.PAI y el T.AIP y estos teoremas no
se necesitaban para hacer la tarea.
La profesora comenta que es muy importante hacer este tipo de aclaraciones relacionadas con la
tarea los jueves porque aún se tiene en la memoria qué fue lo que se hizo en la tarea que se entrega
los martes; así, la realimentación es más productiva. Además, dice que ella hace todo esto porque
aparte de que aprendamos geometría del espacio, le interesa que aprendamos matemáticas; las cosas
de las que habla son generales, de todas las demostraciones de cualquier rama de las matemáticas.
La profesora comenta que antes de mirar el ítem nueve de asuntos matemáticos, va a retomar el Taller
1 del cual ya se vio que era un paralelogramo y sus propiedades.
En el taller, unos grupos proponen la siguiente definición para rombo, la cual se aceptará:
Carmen Samper
2019-2
D. Rombo: Es un cuadrilátero con cuatro lados congruentes.

La maestra pregunta que si está es la definición de rombo, que se puede decir del rombo. Alguien
dice que un cuadrado es un rombo y la profesora lo confirma. Introduce, por tanto, el siguiente
teorema:
T. Cuadrado-rombo: Si un cuadrilátero es cuadrado, entonces es rombo.
Luego pregunta: ¿si el rombo está definido así, se puede decir que el rombo es un paralelogramo?
Hasta el momento no se tiene un teorema que permita deducir eso. Pero el rombo y el paralelogramo
comparten una propiedad: ambos pares de lados opuestos son congruentes. Por ello, cabe
preguntarse: ¿será que si □𝐴𝐵𝐶𝐷 tal que ̅̅̅̅ 𝐴𝐵 ≅ ̅̅̅̅
𝐶𝐷 ̅̅̅̅ ≅ ̅̅̅̅
y𝐴𝐷 𝐵𝐶 , entonces □𝐴𝐵𝐶𝐷 es
paralelogramo?
Es necesario hacer una construcción auxiliar para hacer la demostración (la diagonal del □𝐴𝐵𝐶𝐷), ya
que a simple vista no se ven los triángulos necesarios para hacer la demostración. Sabemos que hay
triángulos porque por definición de cuadrilátero cada trio de puntos son no colineales.
Figura 2
Núcleos Pilares
1 ∆𝐴𝐵𝐷 ≅ ∆𝐶𝐵𝐷 T. LLL
2 ̅̅̅̅ ∥ 𝐶𝐷
𝐴𝐵 ̅̅̅̅ , 𝐴𝐷
̅̅̅̅ ∥ 𝐵𝐶
̅̅̅̅ T. AIP
Se usa el T. AIP ya que por D. Triángulos congruentes, los ángulos alternos-internos son congruentes.
Se necesitan los dos pares, denotados con azul y verde para demostrar el paralelismo, ya que la
definición pide ambos pares de lados opuestos paralelos.
Se tiene una propiedad que, al cumplirse, asegura que un cuadrilátero es paralelogramo. Por tanto,
tenemos:
T. Para ser paralelogramo Si un cuadrilátero tiene ambos pares de lados opuestos congruentes,
entonces es un paralelogramo. La profesora solicita hacer la construcción robusta de un rombo y
escribir los pasos de construcción.
Carmen Samper
2019-2
Figura 3
La profesora explica que siempre, en un sistema teórico, la definición precede a cualquier teorema.
Pasos de construcción
1. ̅̅̅̅
𝐴𝐵
2. 𝐵𝑇
3. Sea 𝐶 ∈ 𝐵𝑇 tal que 𝐵𝐶 = 𝐴𝐵
Algunos estudiantes proponen hacer rectas paralelas para encontrar el cuarto Vértice. Sin embargo,
la profesora explica que no es correcto, ya que la definición de rombo no habla de paralelismo.
Otro compañero propone construir la mediatriz del ̅̅̅̅

𝐴𝐶 .
4. Sea ℳ𝐴𝐶
̅̅̅̅
5. Sea 𝑋 punto medio ̅̅̅̅
𝐴𝐶
6. 𝑋𝑌 opuesto a 𝑋𝐵
7. Sea 𝐷 ∈ 𝑋𝑌 tal que 𝑋𝐵 = 𝑋𝐷
Posterior a hacer la construcción hay que justificarla. Inicialmente, es necesario justificar que 𝐵 ∈
ℳ𝐴𝐶
̅̅̅̅ .
Núcleos Pilares
1. 𝐵 ∈ ℳ𝐴𝐶̅̅̅̅ D. Mediatriz
2. Sea 𝑋 ∈ ℳ̅̅̅̅ ̅̅̅̅
𝐴𝐶 ∩ 𝐴𝐶 T. Mediatriz
3. Sea 𝐷 en rayo opuesto al 𝑋𝐵 tal que T. Localización punto
𝑋𝐵 = 𝑋𝐷
Usando triángulos congruentes, se puede demostrar que la figura ocnstruida sí es rombo. Esta
construcción permite reconocer varias propiedades interesantes sobre las diagonales de los rombos.
Lo primero es que una diagonal es subconjunto de la mediatriz de la otra diagonal. Esto gracias al
siguiente teorema.
⃡ =
T. Determinación de la mediatriz: Si 𝐴, 𝐵 puntos tal que 𝐴𝐶 = 𝐴𝐷 y 𝐵𝐶 = 𝐵𝐷 entonces 𝐴𝐵
ℳ𝐶𝐷̅̅̅̅ .
Carmen Samper
2019-2
Núcleos Pilares
1. 𝐴, 𝐵 ∈ ℳ𝐶𝐷̅̅̅̅ D. Mediatriz
2. ℳ̅̅̅̅
𝐶𝐷 es una recta T. Mediatriz
Lo anterior lleva al siguiente hecho sobre las diagonales de un rombo.

Hecho Geométrico diagonales del rombo: Las diagonales del rombo se intersecan, se bisecan y
son perpendiculares.
Este hecho geométrico se tiene gracias a la definición de la mediatriz y el teorema anterior. No se
enuncia como teorema, aunque se puede demostrar, porque será parte de un teorema más general.
La profesora plantea la siguiente pregunta: ¿Las diagonales de un paralelogramo se intersecan, se
bisecan, y son perpendiculares? Como el rombo cumple esas propiedades, se quiere saber si cualquier
paralelogramo cumple esas condiciones.
Se cree que las diagonales no cumplen la condición de perpendiculares, porque los dos lados
adyacentes de un paralelogramo no tienen que ser congruentes. Pero, las otras dos condiciones sí las
cumple. Como hay cuadriláteros donde no se intersecan las diagonales, es válido preguntarse: ¿Por
qué en un paralelogramo sí se intersecan las diagonales?
Se pretende demostrar: Si □𝐴𝐵𝐶𝐷 es paralelogramo entonces ̅̅̅̅
𝐴𝐶 y ̅̅̅̅
𝐵𝐷 se bisecan. Lo primero que
toca hacer es demostrar que se intersecan. Como no se vio inmediatamente, como demostrar que sí
se intersecan, la profesora propuso que se asumiera que realmente se intersecan las diagonales y se
demostrara que se bisecan.
Si el □𝐴𝐵𝐶𝐷 es paralelogramo y 𝑋 = ̅̅̅̅
𝐴𝐶 ∩ ̅̅̅̅
𝐵𝐷 entonces 𝐴𝑋 = 𝑋𝐶 y 𝐷𝑋 = 𝑋𝐵.
Figura 4
Como el cuadrilátero es paralelogramo, por el T. Pai, los ángulos alternos internos son congruentes y
los lados opuestos también. Por el T. ALA, se tiene:
∆𝐴𝐵𝑋 ≅ ∆𝐶𝐷𝑋 y ∆𝐴𝑋𝐷 ≅ ∆𝐶𝑋𝐵. Así se logra lo que se quiere.
Es importante demostrar que las diagonales de un paralelogramo se intersecan en un punto 𝑋. Para

eso, hay que demostrar que 𝐶está en el 𝑖𝑛𝑡∠𝐵𝐴𝐷. Unos estudiantes proponen que se suponga que
𝐶 ∈ 𝒮⃡𝐴𝐵,~𝐷 . Como se tiene el T. Puntos en distintos semiplanos, se deduce que ̅̅̅̅
𝐶𝐷 ∩ ⃡𝐴𝐵 ≠ ∅. Esto
contradice que las rectas son paralelas. Así se tiene que 𝐶 ∈ 𝑖𝑛𝑡∠𝐵𝐴𝐷. Esto permite usar el T.
Carmen Samper
2019-2
Intersección segmento-semirrecta y así concluir que 𝐴𝐶 ⋂𝐷𝐵 ̅̅̅̅ ≠ ∅. Sin embargo, falta demostrar que
̅̅̅̅ ̅̅̅̅ ≠ ∅. Se puede hacer el mismo argumento para decir que 𝐵𝐷 ⋂𝐴𝐶
𝐴𝐶 ⋂𝐷𝐵 ̅̅̅̅ ≠ ∅. De este modo es
posible demostrar que las diagonales se intersecan, por el T. intersección de rectas.
Con lo anterior, se modifica el T. Paralelogramo.
T. Paralelogramo: Si un cuadrilátero es paralelogramo entonces sus lados opuestos son congruentes,
sus ángulos opuestos son congruentes y las diagonales se bisecan.
Clase 17-09-2019 (Camila, Sebastián, Felipe)

La profesora inicia la clase tomando asistencia. Posteriormente, realiza los siguientes comentarios
sobre las Notas de Clase de sesiones anteriores:
1. Al momento de determinar rectas, se escriben en el Editor de Ecuaciones, sus respectivos
nombres directamente, no utilizando la opción letras manuscritas; ejemplo: rectas 𝑚, 𝑛, 𝑘 y no
𝓂, 𝓃, 𝓀.
2. 𝑚 ∩ 𝑛 = {𝑘}: en esta situación se indica que la intersección es un único punto; pero está
nombrando mal el punto. El nombre de un punto se escribe en mayúscula: 𝑚 ∩ 𝑛 = {𝐾}.
3. 𝑚, 𝑛, 𝑙 rectas ⊂ 𝛼: esta afirmación es errónea, ya que se dice que la palabra “rectas” están
contenidas en 𝛼. Pero esto no es posible. Lo correcto sería: 𝑚, 𝑛, 𝑙 rectas contenidas en el
plano 𝛼 o, en notación matemática, realizar las afirmaciones de la siguiente manera: 𝑚, 𝑛, 𝑙
rectas y 𝑚, 𝑛, 𝑙 ⊂ 𝛼.
4. 𝑚 ∩ 𝑛 = 𝜙: se da esta expresión en la cual se utiliza una simbología incorrecta para conjunto
vacío. La notación adecuada es 𝑚 ∩ 𝑛 = ∅.
5. ℳ̅̅̅̅
𝐴𝐵 se dijo que esta sería la notación para nombrar la mediatriz de un segmento adaptada
por los profesores de geometría de la Licenciatura en Matemáticas. La ℳ se encuentra en el

Editor de Ecuaciones, letras manuscritas, y es mayúscula.
6. ̅̅̅̅̅
𝑋𝑌 opuesto a ̅̅̅̅̅
𝑋𝐵 : esta expresión es errónea ya que la relación de opuesto es entre rayos;
quedaría de la siguiente manera: 𝑋𝑌 opuesto a 𝑋𝐵 .
Luego de realizar estas correcciones se discuten los siguientes asuntos matemáticos:
Carmen Samper
2019-2
En el primer asunto se dice que al utilizar

geometría dinámica se debe tener en cuenta que:
• Hay que ubicar las etiquetas de los puntos de

tal manera que no parezcan los nombres de los
ángulos.
• Para nombrar un ángulo sin usar las tres
letras que corresponden a los nombres de los
puntos que lo determinan, en nuestro sistema se
utilizan números y no esa representación de una curva.
• Cuando se escribe el enunciado del T.AIP porque se va a hacer la demostración, hay que
tener en cuenta los nombres que determinamos para cada elemento. Pero, cuando se
reporta para incluirlo en el sistema teórico, como no se acompaña con una figura, se debe
escribir de forma general; la profesora precisa el teorema de la siguiente manera:
T. AIP Sean dos rectas y una recta secante a ellas. Si los ángulos alternos internos son
congruentes, las rectas son paralelas.
Continuamos la sesión hablando del T. Para ser paralelogramo, el cual determina que, para ser un
paralelogramo, se debe cumplir alguna de las siguientes condiciones:
1. Ambos pares de lados opuestos congruentes.
2. Un par de lados opuestos paralelos y congruentes.
Estas dos condiciones se demostraron en sesiones anteriores y, en ese momento, se presentaron las
siguientes preguntas:
3. ¿Si las diagonales se bisecan entonces es paralelogramo?
Como es cierto, se dan los Núcleos y Pilares de la demostración.
T. Para ser paralelogramo (iii)
Datos: ̅̅̅̅
𝐴𝐶 y ̅̅̅̅
𝐵𝐷 se bisecan
Aserción: ⊡ 𝐴𝐵𝐶𝐷 es paralelogramo
Tipo de demostración: directa
Núcleo Pilar
1. Δ𝐴𝐸𝐵 ≅ Δ𝐶𝐸𝐷 P. LAL
Carmen Samper
2019-2
2. ̅̅̅̅
𝐴𝐵 ∥ ̅̅̅̅
𝐶𝐷 T. AIP
4. Posteriormente se busca la respuesta a la siguiente pregunta: ¿Ambos pares de ángulos

opuestos congruentes hace que un cuadrilátero sea paralelogramo?
Se hace una representación semi-robusta, para demostrar que ambos pares de ángulos opuestos
congruentes hace que un cuadrilátero sea paralelogramo.
Para demostrarlo, se requiere la introducción del T. 180:
T. 180 Sea Δ𝐴𝐵𝐶, entonces 𝑚∠𝐴 + 𝑚∠𝐵 + 𝑚∠𝐶 = 180 .
Este teorema nos ayuda a hacer a demostración de la respuesta a la pregunta de la siguiente manera:
Sean ∠ 𝐷𝐴𝐵 ≅ ∠ 𝐵𝐶𝐷 y ∠ 𝐴𝐵𝐶 ≅ ∠ 𝐴𝐷𝐶. Si 𝑚∠ 𝐷𝐴𝐵 = 𝑚 ∠ 𝐵𝐶𝐷 = 𝑎entonces tenemos:

1. 𝑎 + 𝑚∠3 + 𝑚∠1 = 180
2. 𝑎 + 𝑚∠2 + 𝑚∠4 = 180
3. 𝑚∠1 + 𝑚∠2 = 𝑚∠3 + 𝑚∠4
Y por un despeje algebraico:
𝑚∠3 + 𝑚∠1 = 𝑚∠2 + 𝑚∠4

𝑚∠1 = 𝑚∠2 + 𝑚∠4 − 𝑚∠3
𝑚∠2 + 𝑚∠4 − 𝑚∠3 + 𝑚∠2 = 𝑚∠3 + 𝑚∠4
2 𝑚 ∠2 = 2 𝑚∠3
A continuación, mencionamos los Núcleos y Pilares de la demostración:
Carmen Samper
2019-2
Demostración:
T. Para ser paralelogramo (iv)
Datos: ∠ 𝐷𝐴𝐵 ≅ ∠ 𝐵𝐶𝐷 y ∠ 𝐴𝐵𝐶 ≅

∠ 𝐴𝐷𝐶.
Aserción: ⊡ 𝐴𝐵𝐶𝐷 es paralelogramo
Núcleos Pilares
∠2 ≅ ∠3; ∠1 ≅ ∠4 T. 180
̅̅̅̅ ∥ 𝐶𝐷
𝐴𝐵 ̅̅̅̅ ; 𝐴𝐷
̅̅̅̅ ∥ 𝐵𝐶
̅̅̅̅ T. AIP
Se agrega al sistema teórico el T. 180. La profesora menciona que antes de demostrar el T. 180, es
posible demostrarla siguiente afirmación: Sea ∆ 𝐴𝐵𝐶, entonces 𝑚∠𝐴 + 𝑚∠𝐵 < 180 . Para
demostrarla, se proponen las siguientes ecuaciones obtenidas del T. Ángulo externo que se trabajan
algebraicamente:
𝑚∠𝐷𝐶𝐴 > 𝑚∠𝐴

𝑚∠𝐷𝐶𝐴 > 𝑚∠𝐵
𝑚∠𝐷𝐶𝐴 + 𝑚∠𝐶 = 180
𝑚∠𝐷𝐶𝐴 < 180 − 𝑚∠𝐶
180 − 𝑚∠𝐶 > 𝑚∠𝐴
180 > 𝑚∠𝐴 + 𝑚∠𝐶
Carmen Samper
2019-2
Pero, esta afirmación no será teorema del sistema teórico porque el T. 180 es mucho más potente.
Pero este requiere el uso de rectas paralelas en su demostración. Por ello, no se introdujo el teorema
sino hasta este momento en que realmente se requería:
Se da la siguiente idea para lograr la demostración:
T. 180
Datos: Δ𝐴𝐵𝐶
Aserción: 𝑚∠𝐴 + 𝑚∠𝐵 + 𝑚∠𝐶 = 180
Núcleos Pilares
⃡𝐸𝐷 ∥ ⃡𝐴𝐵, 𝐶 ∈ ⃡𝐸𝐷 T. Paralela punto externo
𝐴 ∈ 𝑖𝑛𝑡 ∠𝐵𝐶𝐷 D. Interior ángulo
∠2 ≅ ∠1; ∠3 ≅ ∠4 T. PAI
El problema en esta demostración es poder demostrar que 𝐴 ∈ 𝑖𝑛𝑡 ∠𝐵𝐶𝐷 para concluir que
𝑚∠𝐴𝐶𝐸 = 𝑚∠𝐴𝐶𝐵 + 𝑚∠4.
Por último, se dan las siguientes definiciones, obtenidas de respuestas dadas en la Tarea Extraclase
2:
D. Trapecio: Cuadrilátero con exactamente un par de lados opuestos paralelos.
D. Cometa: Cuadrilátero con dos pares de lados adyacentes congruentes y sin lados opuestos
congruentes.
D. Cuadrilátero alabeado: Sean 𝐴, 𝐵, 𝐶 puntos del plano 𝛼, 𝐴, 𝐵, 𝐶 no colineales y 𝐷 punto, 𝐷 ∉ 𝛼,
̅̅̅̅ ∪ 𝐵𝐶
𝐴𝐵 ̅̅̅̅ ∪ 𝐶𝐷
̅̅̅̅ ∪ 𝐷𝐴
̅̅̅̅ es un cuadrilátero alabeado.
Clase (19-09-19) Grupo G (Brayan, Camilo, Laura)

La clase comienza con el primer parcial que se realizó en la primera hora de la case. En la
segunda hora se abordaron los siguientes asuntos de la tarea extra clase tres:
Carmen Samper
2019-2
• ⃡ es secante de la 𝐴𝐵
Se tiene ⊡ 𝐴𝐵𝐶𝐷. ¿El T. Secante sirve para decir que la 𝐴𝐶 ⃡ y
de la ⃡𝐷𝐶 ?
La respuesta es no, puesto que el T. Secante dice: Si una recta interseca a una paralela,
entonces interseca a la otra. Por el contrario, con el D. Secante se puede decir que
como 𝐴𝐶⃡ interseca a las dos rectas en dos puntos distintos, es secante de ellas.
• Dado un cuadrilátero, ¿es el T. Existencia del triángulo el que me permite decir que
existe el Δ𝐴𝐵𝐶 ?
La respuesta es no, porque el T. Existencia del triángulo dice simplemente que existen
los triángulos, pero no se está preguntando si existe un triángulo sino si existe el
Δ𝐴𝐵𝐶, específicamente. Ya que los tres puntos están dados, lo que hay que
determinar es si esos tres puntos no son colineales para poder decir que ellos
determinan el triángulo. El T. Existencia del triángulo se utiliza para evocar su
existencia; por ejemplo, si se quiere demostrar que todos los triángulos tienen altura,
es necesario, como primer paso, usar el T. Existencia del triángulo, que dará con qué
trabajar para mostrar que tiene una altura. En el caso expuesto inicialmente, lo que se
debe usar es la D. Triángulo, pero antes se debe asegurar que los tres puntos no son
colineales cosa que se garantiza con la D. Cuadrilátero.
• Cuando se usa el T. Para ser paralelogramos, hay que escribir a cuál de las cuatro
partes se está refiriendo del teorema; así mismo con el T. Paralelogramo que tiene
tres partes. Por ejemplo, T. Para ser paralelogramo (lados opuestos).
• Se revisa la siguiente expresión: Sea el 𝐵𝐸 tal que el 𝐵𝐸 es diferente a la 𝐴𝐵⃡ .
La respuesta es sí ya que uno es un rayo y el otro es una recta; ya son diferentes.
• ¿El P. LAL permite asegurar que dos triángulos no son congruentes?
La respuesta fue no, ya que el Postulado nos pide como condiciones tener dos lados
congruentes y un ángulo congruente que está entre los dos lados.
• Para justificar la construcción de cometa y trapecio es necesario comenzar con un
plano, ya que nada está dado para la construcción.
Se revisa la siguiente construcción de cometa que propone un grupo:

̅̅̅̅ ≅ 𝐵𝐶
1. 𝐴𝐵 ̅̅̅̅ . No se menciona si los puntos son no colineales; así que se toman que lo
son.
2. Sea 𝐵𝐸 bisectriz del ∠𝐴𝐵𝐶.
3. Sea 𝐹 punto, 𝐹 ∈ 𝐵𝐸 tal que 𝐵𝐹 ≠ 𝐴𝐵. (No se sabe el por qué de esta condición).
Carmen Samper
2019-2
La profesora propone la siguiente pregunta: ¿Se puede asegurar realmente que se tiene una
cometa?
Un compañero propone que es correcto porque todos los puntos del 𝐵𝐹 equidistan del 𝐵𝐴 .
La profesora ante esta afirmación propone que está hablando de la distancia de un punto a
una recta. ¿Cómo se define esa distancia? La distancia de un punto a una recta es la mínima
distancia que puede existir del punto a esa recta. Esto dado que si tengo 𝐴 punto, 𝑚 una recta,
𝐴 ∉ 𝑚, existen bastantes segmentos que se podrían utilizar para hablar de la distancia entre
𝐴 y 𝑚. Pero como solo hay un segmento que es perpendicular a 𝑚, ese es el que se escoge.
Por tanto, la definición es:

D. La distancia de un punto a una recta es la longitud del segmento perpendicular a la
recta, que tiene extremos en el punto y en la recta.
Para poder decir que los puntos de la bisectriz equidisten de los lados del ángulo, es necesario
saber si ∠𝐵𝐶𝐹 y ∠𝐵𝐴𝐹 son rectos. Pero como en la construcción no se tiene esa información,
tampoco se podría decir ̅̅̅̅
𝐴𝐹 ≅ ̅̅̅̅
𝐹𝐶 . Como tampoco se sabe sobre el por qué de la condición
propuesta en el paso tres de la construcción. Uno de los puntos que pertenecen al rayo pero
Carmen Samper
2019-2
que no cumple las condiciones para ser cometa es 𝐵𝐸 ∩ 𝐴𝐶 ̅̅̅̅ = {𝑋}, ya que se tendría 𝐴, 𝑋, 𝐶
colineales y la cometa es un cuadrilátero con cuatro puntos cada terna no colineal. Sin
embrago, la construcción propuesta funciona ya que el Δ𝐴𝐵𝐶 es isósceles, entonces la
bisectriz, la altura y la mediana, a la base del triángulo, coinciden. El 𝐵𝐸 bisectriz resulta ser
⃡ ⊥ 𝐴𝐶
𝐵𝐹 ̅̅̅̅ . Por la D. Mediatriz la 𝐵𝐹
⃡ es mediatriz del 𝐴𝐶 ̅̅̅̅ . Teniendo la mediatriz se busca
el otro punto que hace que la construcción no genere un cometa; ese punto sería 𝑌 tal que
𝐵𝑋 = 𝐵𝑌, 𝑋 ∈ 𝐴𝐶 ̅̅̅̅ ∩ 𝐵𝐹
⃡ . Eliminando esos dos puntos en la 𝐵𝐹 ⃡ , se tendría una cometa.
Demostración:
Carmen Samper
Aserción Datos- Garantía 2019-2
1. Sea 𝛼 un plano P. Existencia
2. Sean 𝐴, 𝐵, 𝐾 puntos no colineales en 𝛼 P. Tres puntos - Plano
3. Sea 𝐵𝐾 T. Existencia rayo (2)
4. ̅̅̅̅
Sea 𝐴𝐵 T. Existencia segmento (2)
5. Sea 𝐶 un punto en 𝐵𝐾 tal que T. Localización de puntos (3, 4)
𝐵𝐶 = 𝐵𝐴
6. Sea ̅̅̅̅
𝐵𝐶 T. Existencia segmento (2, 5)
7. Sea la ℳ̅̅̅̅𝐴𝐶 T. Existencia mediatriz (4)
8. Sea 𝑋 punto medio del ̅̅̅̅𝐴𝐶 T. Existencia punto medio (2,5)
9. 𝑋𝐴 = 𝑋𝐶 y 𝐶, 𝑋, 𝐴 colineales D. Punto medio (8)
10. 𝑋 ∈ ℳ𝐴𝐶 ̅̅̅̅ D. Mediatriz (9)
11. Sea 𝐹 ∈ ℳ̅̅̅̅ 𝐴𝐶 tal que 𝐹 ≠ 𝑋 y
T. Recta – Infinitos puntos (7)
𝐹𝑋 ≠ 𝑋𝐵
12. Sean ̅̅̅̅
𝐴𝐹 , ̅̅̅̅
𝐶𝐹 T. Existencia segmento (10, 2)
13. ̅̅̅̅ ≅ 𝐶𝐹
𝐴𝐹 ̅̅̅̅ D. Mediatriz (10)
14. ̅̅̅̅
𝐴𝐵 ≅ ̅̅̅̅
𝐶𝐵 D. Segmentos congruentes (5)
15. 𝐵 ∈ ℳ𝐴𝐶 ̅̅̅̅ D. Mediatriz (14)
16. 𝐵, 𝑋, 𝐹 colineales D. Puntos colineales (15, 10, 11)
17. 𝐶 ∈ ⃡𝐵𝐾 T. Subconjunto de recta (5)
18. 𝐵, 𝐶, 𝐾 colineales D. Puntos colineales (17)
19. 𝐹, 𝐶, 𝐴 no colineales T. Puntos no colineales (18, 2)
20. 𝐹, 𝑋, 𝐶 no colineales, 𝐹, 𝐵, 𝐶 no colineales
T. Puntos no colineales (16, 19)
y 𝐹, 𝐵, 𝐴 no colineales
21. 𝐵, 𝑋, 𝐶 no colineales T. Puntos no colineales (20, 16)
22. 𝐵, 𝐶, 𝐴 no colineales T. Puntos no colineales (21, 9)
23. ⊡ 𝐴𝐵𝐹𝐶 D. Cuadrilátero (22,20,19)
24. ∠𝐶𝑋𝐵 es recto T. Mediatriz (7,15)
25. ∠𝐶𝑋𝐹 es recto T. Cuatro ángulos rectos (24)
26. △ 𝐶𝑋𝐵 D. Triángulo (21)
27. △ 𝐶𝑋𝐹 D. Triángulo (20)
28. Suponga ̅̅̅̅𝐶𝐵 ≅ ̅̅̅̅
𝐹𝐶 Negación de la tesis
29. ̅̅̅̅ ≅ 𝐶𝑋
𝐶𝑋 ̅̅̅̅ Propiedad Reflexiva (9)
30. △ 𝐶𝑋𝐵 ≅△ 𝐶𝑋𝐹 T. Cateto – Hipotenusa (28,27,24,25)
31. ̅̅̅̅
𝑋𝐵 ≅ ̅̅̅̅
𝑋𝐹 D. Triángulos congruentes (29)
32. 𝑋𝐵 = 𝑋𝐹 D segmentos congruentes (30)
33. 𝑋𝐵 = 𝑋𝐹 y 𝐹𝑋 ≠ 𝑋𝐵 Conjunción (31,11)
34. ̅̅̅̅
𝐶𝐵 ≇ ̅̅̅̅
𝐹𝐶 PRA (32, 27)
35. 𝐶𝐵 ≠ 𝐹𝐶 D. Segmentos congruentes (33)
36. 𝐴𝐹 = 𝐶𝐹 D. Segmentos congruentes (13)
37. 𝐶𝐹 ≠ 𝐴𝐵 Principio de sustitución (34,35)
38. 𝐶𝐵 ≠ 𝐴𝐹 Principio de sustitución (34, 5)
39. ̅̅̅̅ ≇ 𝐴𝐵
𝐶𝐹 ̅̅̅̅ D. Segmentos congruentes (36)
40. ̅̅̅̅
𝐶𝐵 ≇ ̅̅̅̅
𝐴𝐹 D. Segmentos congruentes (37)
41. ⊡ 𝐴𝐵𝐹𝐶 es cometa D. Cometa (23, 13, 14, 38, 39)
Carmen Samper
2019-2
La profesora expone otra construcción para cometa que propuso un grupo:

1. ̅̅̅̅ ̅̅̅̅ . Se supone que los puntos no son colineales.
𝐴𝐵 ≅ 𝐵𝐶
2. ℳ̅̅̅̅
𝐴𝐶
3. 𝐹 punto medio de 𝐴𝐶 ̅̅̅̅
4. 𝐹𝐺 opuesto 𝐹𝐵
5. 𝐸 punto, 𝐸 ∈ 𝐵𝐺 , tal que 𝐵𝐹 ≠ 𝐹𝐸
6. 𝐵𝐸 ≠ 𝐴𝐵. No se sabe el porqué de esta condición.
Como se observa en la imagen, por la D. Cometa se puede obtener una cometa no convexa.
La construcción propuesta sí da lugar a una cometa.
Entre las respuestas del punto dos de la Tarea Extra clase 2, se propuso la construcción de un
cuadrilátero alabeado, que es cuando los cuatros puntos no son coplanares. Se discute si se
pueden determinar varios planos con esos cuatros puntos no coplanares. La mayoría de los
estudiantes proponen que sí por el P. Tres puntos - plano, pero una de las condiciones para
utilizar el Postulado es tener tres puntos no colineales. Por consiguiente, como no se sabe si
esos puntos no son colineales se introduce el siguiente teorema.
T. Cuatro puntos no coplanares Dados 𝐴, 𝐵, 𝐶, 𝐷 puntos no coplanares. Entonces cada
terna de puntos es no colineal.
Carmen Samper
2019-2
Demostración:
Aserción Garantía – datos

1. Sean 𝐴, 𝐵, 𝐶, 𝐷 puntos no coplanares Dado
2. Sea 𝛽 un plano tal que 𝐴, 𝐵, 𝐷 ∈ 𝛽 P. Tres puntos – plano (1)
3. 𝐶 ∉ 𝛽 D. Puntos coplanares (1,2)
4. Sean 𝐴, 𝐵, 𝐷 colineales Negación de la tesis
5. Sea ⃡𝐴𝐵 P. Dos puntos – recta (4)
6. 𝐷 ∈ 𝐴𝐵⃡ D. Colinealidad (4,5)
7. ⃡𝐴𝐵 ⊂ 𝛽 P. Llaneza del plano (2,5)
8. 𝐶 ∉ 𝐴𝐵⃡ D. Subconjunto (3,7)
9. Sea 𝛿𝐴𝐵⃡ ,𝐶 T. Recta, punto – plano (8)
10. 𝐷 ∈ 𝛿 D. Subconjunto (6,9)
11. 𝐴, 𝐵, 𝐶, 𝐷 ∈ 𝛿 D. Subconjunto (9)
12. 𝐴, 𝐵, 𝐶, 𝐷 ∈ 𝛿 ∧
𝐴, 𝐵, 𝐶, 𝐷 no coplanares Conjunción (1,11)
13. 𝐴, 𝐵, 𝐷 no colineales P.R.A. (12)
De la imagen del cuadrilátero alabeado, se evidencia el siguiente teorema:

T. Intersección recta – plano Sea 𝑚 una recta, 𝛼 un plano, 𝐵, 𝐷 puntos tal que 𝐵, 𝐷 ∈ 𝑚,
𝐵 ∈ 𝛼, 𝐷 ∉ 𝛼. Entonces 𝑚 ∩ 𝛼 ≠ {𝐵}.
Demostración:
Aserción Garantía – Datos
1. 𝐵, 𝐷 ∈ 𝑚, 𝐵 ∈ 𝛼, 𝐷 ∉ 𝛼 Dado
2. 𝐵 ∈𝑚∩𝛼 D. Intersección de conjuntos (1)
3. 𝑚 ∩ 𝛼 ≠ {𝐵} Negación de conclusión
4. Sea un punto 𝐸 tal que 𝐸 ∈ 𝑚 ∩ 𝛼 D. Igualdad de conjuntos (3)
5. ⃡𝐵𝐸 ⊂ 𝛼 P. Llaneza del plano (1,4)
6. ⃡ =𝑚
𝐵𝐸 P. Dos puntos – recta (unicidad) (2,4)
7. 𝐷∈𝛼 D. Subconjunto (1,6)
8. 𝐷 ∈𝛼y𝐷 ∉𝛼 Conjunción (1,7)
9. 𝑚 ∩ 𝛼 = {𝐵} P.R.A. (8)
La profesora escribe los siguientes teoremas que surgieron en la clase del martes:
T. Espacio infinitos puntos El espacio tiene infinitos puntos.
Carmen Samper
2019-2
T. Punto infinitas rectas Dado un punto, infinitas rectas lo contienen.

Después de hablar de un cuadrilátero alabeado, la profesora menciona otra figura que se creó
a partir de cuatro puntos no colineales. Se tienen los cuatro puntos no coplanares y en vez de
tomar los segmentos que componen el cuadrilátero alabeado, lo que se hace es tomar la unión
de todos los segmentos determinados por esos puntos. La figura determinada por la unión
de esos segmentos algunos estudiantes la llamaron pirámide; otros la llamaron tetraedro.
¿Cuál es la diferencia entre pirámide y tetraedro? La base de una pirámide es cualquier
polígono, mientras que le tetraedro es un caso especial de una pirámide ya que su base es un
triángulo.
Definiciones introducidas en clase:

D. Una pirámide es la unión de todos los segmentos que pueden formarse con extremos un
vértice de un polígono y un punto que no pertenece al plano en el cual está contenido dicho
polígono.
Teoremas introducidos en clase:
T. Espacio infinitos puntos El espacio tiene infinitos puntos.
T. Punto infinitas rectas Dado un punto, infinitas rectas lo contienen.
T. Intersección recta – plano Si una recta interseca a un plano y no está contenida en él,
entonces su intersección es un único punto.
T. Cuatro puntos no coplanares Si cuatro puntos son no coplanares, entonces cada terna
de puntos es no colineal.
Clase (24-09-19) Grupo H (Daniel, Luz)
La profesora empieza la clase con la toma de asistencia; entrega el Parcial 1 que se realizó
el día 19-09-2019, dando la respectiva solución y sus comentarios.
Solución Parcial 1:
1. Decida si está de acuerdo con cada argumento. Justifique su respuesta.
a) Dado el ⊡ 𝐴𝐵𝐶𝐷. El T. Existencia triángulos permite decir que existe el ∆𝐴𝐵𝐶.
Carmen Samper
2019-2
El argumento es equivocado, debido a que el Teorema Existencia de triángulos,

garantiza la existencia de los triángulos, más no determina el ∆𝐴𝐵𝐶. Para que sea
válido se debe justificar que los puntos son no colineales por la D. Cuadrilátero y
luego por D. Triángulo determinar el ∆𝐴𝐵𝐶.
b) Sea 𝐴𝐵 ̅̅̅̅ . Por el T. Plano infinitos puntos, existe un punto 𝐶 tal que 𝐶 ∉ 𝐴𝐵
⃡ .
El argumento es equivocado puesto que el T. Plano infinitos puntos no deja asegurar
que este punto 𝐶 no va pertenecer a la recta. Es necesario usar el P. Plano-puntos.
c) Sea 𝑇 ∈ ℳ𝐴𝐶 ̅̅̅̅ . Usando el T. Mediatriz se concluye que 𝑇 es el punto medio del
̅̅̅̅ ⋂𝐴𝐶
̅̅̅̅ .
𝐴𝐶
El argumento si es correcto debido a que, si un punto pertenece a la intersección de
un segmento y su mediatriz, entonces el T. Mediatriz permite concluir que ese punto
pertenece a la mediatriz y es punto medio del segmento.
2. Demuestre:
Dado ⃡𝐴𝐵 ∥ 𝑚, punto 𝐶 ∈ 𝑚. Entonces cuando el punto 𝐷 ∈ 𝑚 satisface 𝐶𝐷 ≠ 𝐴𝐵 el
⊡ 𝐴𝐵𝐶𝐷 es un trapecio. (Aserción-Garantía y datos)
Aserción Garantía y Datos

⃡
1)𝐴𝐵 ∥ 𝑚, 𝐶 ∈ 𝑚, 𝐷 ∈ 𝑚, 𝐶𝐷 ≠ 𝐴𝐵 Dado
2) ⊡ 𝐴𝐵𝐶𝐷 no es trapecio Negación de la conclusión
Para continuar con la demostración, se indica que se toma como dado que los puntos van a
ser los vértices del cuadrilátero, cosa que se comunica con el símbolo ⊡ 𝐴𝐵𝐶𝐷. Luego, se
analiza la definición de trapecio para tener clar qué se va a contradecir al negar la tesis.
D. Trapecio:
i. Es cuadrilátero.
ii. Un par de lados paralelos.
iii. El otro par de lados no paralelos.
Se utiliza la lógica, para determinar qué se concluye después de negar la conclusión, de la

siguiente manera:
Carmen Samper
2019-2
𝑝: trapecio𝑞: Es cuadrilátero. ¬𝑝 ↔ ¬(𝑞 ∧ 𝑟 ∧ 𝑠)

𝑟: Un par de lados paralelos.
¬(𝑞 ∧ 𝑟 ∧ 𝑠) ↔ (¬𝑞 ∨ ¬𝑟 ∨ ¬𝑠)
𝑠: El otro par de lados no paralelos.
𝑝 ↔ (𝑞 ∧ 𝑟 ∧ 𝑠)
Luego del análisis lógico se concluye que lo que se debe negar es 𝑠, puesto que 𝑞 y 𝑟es lo
que se puede deducir de lo dado.
3) ̅̅̅̅
𝐶𝐷 T. Existencia segmento (1)
4) ̅̅̅̅
𝐶𝐷 ⊂ 𝑚 T. Subconjunto de la recta (1,3)
5) 𝐶𝐷 ∥ ̅̅̅̅
̅̅̅̅ 𝐴𝐵 D. Segmentos paralelos (1)
̅̅̅̅ ∥ 𝐵𝐶
6) 𝐴𝐷 ̅̅̅̅ D. Trapecio (MTP) (2)
7) ⊡ 𝐴𝐵𝐶𝐷 paralelogramo D. Paralelogramo (1,6)
8) ̅̅̅̅
𝐴𝐵 ≅ ̅̅̅̅
𝐶𝐷 T. Paralelogramo (Lados opuestos) (7)
9) 𝐴𝐵 = 𝐶𝐷 D. Congruencia (8)
10) 𝐴𝐵 = 𝐶𝐷 ∧ 𝐶𝐷 ≠ 𝐴𝐵 Conjunción (1,9)
11) ⊡ 𝐴𝐵𝐶𝐷 trapecio PRA (10,2)
3) Presente la demostración completa del siguiente teorema, usando los Núcleos y Pilares
dados.
Datos: ∆𝐴𝐵𝐶; 𝐷 y 𝐸 puntos medios de ̅̅̅̅ ̅̅̅̅ respectivamente.

𝐴𝐵 y 𝐵𝐶
̅̅̅̅ ∥ ̅̅̅̅
Aserción: 𝐴𝐷 𝐷𝐸 y 𝐷𝐸 = ½ 𝐴𝐶
Tipo de demostración: Directa con construcción auxiliar.
Núcleos Pilares
1) Sea 𝐹 ∈ 𝐸𝑋 tal que 𝐸𝐹 = 𝐷𝐸 y 𝐷 − T. Localización de puntos
𝐸−𝑋
2) ∆𝐸𝐹𝐶 ≅ ∆𝐸𝐷𝐵 P. LAL
⃡ ⃡
3) 𝐴𝐵 ∥ 𝐶𝐹 T. AIP
4) ̅̅̅̅
𝐴𝐷 ≅ ̅̅̅̅
𝐹𝐶 Principio de sustitución
5) ⊡ 𝐴𝐷𝐹𝐶 paralelogramo T. Para ser paralelogramo
La profesora menciona que este teorema, que se pide demostrar, es el siguiente:

T. Segmentos puntos medios El segmento determinado por puntos medios de dos lados de
un triángulo, es paralelo al tercer lado del triángulo y, además, su medida es la mitad de ese
lado.
Carmen Samper
2019-2
Se analiza el primer núcleo y se deducen los pasos anteriores a él.

1) ∆𝐴𝐵𝐶 Dado
𝐷 punto medio 𝐴𝐵̅̅̅̅
̅̅̅̅
𝐸 punto medio 𝐵𝐶
2) Sea 𝑋 punto talque 𝐷 − 𝐸 − 𝑋 T. Punto a un lado (1)
3) Sea 𝐸𝑋 T. Existencia del rayo (2)
4) 𝐷𝐸 > 0 P. Distancia (1)
5) Sea 𝐹 ∈ 𝐸𝑋 talque 𝐸𝐹 = 𝐷𝐸 T. Localización de puntos(3,4)
6) 𝐷 − 𝐸 − 𝐹 T. Transitividad intereestancia (5, 2)
Luego se analiza el segundo núcleo en el cual se deben determinar triángulos congruentes,

analizando qué de lo que tenemos nos lleva a esto.
⃡ ∩ ⃡𝐷𝐸
7) {𝐸} = 𝐵𝐶 T. Intersección de rectas
D. Intersección (1, 2)
8) 𝐵 ∉ ⃡𝐷𝐸 , 𝐶 ∉ ⃡𝐷𝐸 D. Intersección (7)
9) 𝐵, 𝐷, 𝐸 no colineales; 𝐸, 𝐹, 𝐶 no D. Colinealidad (8)
colineales
10) Sea ∆𝐸𝐹𝐶 y ∆𝐸𝐷𝐵 D. Triángulo (9)
11) 𝐴𝐷 = 𝐷𝐵; 𝐸𝐵 = 𝐶𝐸 D. Punto medio (1)
𝐵−𝐸−𝐶
12) 𝐸𝐵 opuesto 𝐸𝐶 ; 𝐸𝐷 opuesto 𝐸𝐹 D. Rayos opuestos (11,2)
13) ∠1 y ∠2 opuestos por el vertice D. Ángulos opuestos por el vértice (12,11)
14) ∠1 ≅ ∠2 T. Ángulos opuestos por el vértice (13)
15) ̅̅̅̅
𝐸𝐵 ≅ ̅̅̅̅
𝐸𝐶 D. Congruencia (5, 11)
̅̅̅̅ ≅ ̅̅̅̅
𝐸𝐹 𝐷𝐸
̅̅̅̅
𝐴𝐷 ≅ ̅̅̅̅
𝐷𝐵
Carmen Samper
2019-2
16) ∆𝐸𝐹𝐶 ≅ ∆𝐸𝐷𝐵 P. LAL(15,14)
Para el tercer núcleo es necesario demostrar la congruencia de los ángulos alternos internos
para deducir que ̅̅̅̅
𝐴𝐷 ∥ ̅̅̅̅
𝐶𝐹.
17) ∠3 ≅ ∠4 D. Triángulos congruentes (16)
̅̅̅̅ ≅ 𝐵𝐷
𝐹𝐶 ̅̅̅̅
⃡ secante a ⃡𝐴𝐵 y ⃡𝐶𝐹
18) 𝐵𝐶 D. Recta secante (2)
19) ∠3 y ∠4 alternos internos D. Ángulos alternos internos (18)
20) ⃡𝐴𝐵 ∥ ⃡𝐶𝐹 T. AIP (17, 19)
̅̅̅̅ ≅ 𝐹𝐶
21) 𝐴𝐷 ̅̅̅̅ Principio de sustitución (16, 14)
̅̅̅̅
22) 𝐴𝐷 ∥ 𝐶𝐹 ̅̅̅̅ D. Segmentos paralelos (19)
23) ⊡ 𝐴𝐷𝐹𝐶 paralelogramo T. Para ser paralelogramo (Segmentos
paralelos congruentes) (21,22)
24) ̅̅̅̅
𝐷𝐹 ∥ ̅̅̅̅
𝐴𝐶 D. Paralelogramo (23)
̅̅̅̅ ≅ 𝐴𝐶
25) 𝐷𝐹 ̅̅̅̅ T. Paralelogramo (lados opuestos) (23)
𝐷𝐹 = 𝐴𝐶 D. Segmentos congruentes (25)
26) 𝐸 punto medio ̅̅̅̅
𝐷𝐹 D. Punto medio (2,6)
27) 𝐷𝐸 = 1/2𝐷𝐹 T. Punto medio (26)
28) 𝐷𝐸 = ½ 𝐴𝐶 Principio de sustitución (27,25)
4) Demuestre que existe un cuadrilátero alabeado, que tiene tres lados congruentes y un
ángulo recto.
Para esta demostración se hace referencia a que un cuadrilátero alabeado es un cuadrilátero
con tres puntos no colineales y un punto que no pertenece al plano determinado por los
anteriores tres puntos.
Aserción Garantía y Datos
1) Sea 𝛼 plano P. Existencia
2) Sea 𝐴, 𝐵 puntos T. Plano infinitos puntos (1)
3) Sea ̅̅̅̅
𝐴𝐵 T. Existencia segmento (2)
4) Sea 𝑚 ⊥ 𝐴𝐵, 𝐴 ∈ 𝑚, 𝑚 recta T. Existencia de la perpendicular (Punto
interno) (3)
5) 𝑋 punto, 𝑋 ∈ 𝑚 T. Recta infinitos puntos (4)
6) 𝐴𝑋 T. Existencia del rayo (5, 2)
7) 𝐴𝐵 > 0 P. Distancia (2)
8) Sea 𝐷 ∈ 𝐴𝑋 tal que 𝐴𝐷 = 𝐴𝐵 T. Localización de puntos (6, 7)
9) Sea 𝐸 punto 𝐸 ∉ 𝛼 P. Espacio (1)
10) Sea 𝐵𝐸 T. Existencia del rayo (9, 2)
Carmen Samper
2019-2
11) Sea 𝑇 ∈ 𝐵𝐸 tal que 𝐵𝑇 = 𝐴𝐵 T. Localización de puntos (10, 7)

⃡ ⊄𝛼
12) 𝐵𝐸 D. Subconjunto (2)
13) ⃡𝐵𝐸 ∩ 𝛼 = {𝐵} T. Intersección recta plano (12)
14) 𝑇 ∉ 𝛼 D. Intersección (11, 12)
15) ⊡ 𝐷𝐴𝐵𝑇 alabeado D. Cuadrilátero alabeado (14)
Posterior a ello, la profesora en su computador, socializa los asuntos del parcial; se corrigen
aspectos de vocabulario, y asuntos matemáticos.

cuadrilatero cuadrilátero
N. tesis Negación de la tesis
1. ¿Es correcta la siguiente oración: “Un cuadrilátero está conformado por grupos de
tres puntos no colineales”?
Está mal, puesto que un cuadrilátero está conformado por la unión de segmentos tales
que cada terna de puntos, que son los vértices, no son colineales.
2. ¿Cuándo se usa la palabra “sea” en un paso de una demostración?

Cuando se determina un nuevo objeto en el transcurso de la demostración.
3. ¿Cuál es la negación de la frase “⊡ 𝐴𝐵𝐶𝐷es trapecio”?

Este asunto fue abordado previamente en la clase, y consignado en estas notas de
clase, en la solución del tercer punto del parcial.
⃡ tal
4. ¿Es el T. Localización de puntos la garantía para decir lo siguiente: “Sea 𝐷 ∈ 𝐶𝑋
que 𝐶𝐷 ≠ 𝐴𝐵?
No, porque el teorema menciona la existencia de un punto en un rayo que dista del
extremo de este un cierto número positivo. Para lograr lo que se menciona, se debe
buscar en un rayo y en el opuesto el punto que garantiza el T. Localización de puntos
y posterior a esto, localizar un nuevo punto con la aclaración que debe ser diferente a
los ya mencionados.
5. Si un cuadrilátero no es paralelogramo, ¿tiene que ser trapecio?

Carmen Samper
2019-2
No, porque hay miles de cuadriláteros que no son paralelogramos ni trapecios.
6. Sean 𝐴, 𝐵, 𝐶puntos no colineales en el plano α. ¿Se puede asegurar que 𝐴 ∈ 𝑚 en

⃡ , 𝐵 ∈ 𝑚?
donde recta 𝑚, 𝑚 ⊥ 𝐵𝐶
La profesora indica que los puntos que son no colineales son tomados al azar, y por
tanto no se puede obligar al punto 𝐴 que pertenezca a la recta 𝑚.
7. ¿Cuál es el T. Plano-recta y punto?

Ese teorema no existe. Es posible que que se quería aludir al T. Recta punto – plano.
8. En el problema 4, ¿se necesitan dos planos?

No, con uno basta ya que solo se requiere tener un punto que no pertenece al plano
determinado por tres puntos no colineales para construir un cuadrilátero alabeado.
9. ¿El T. Localización de puntos establece que existe 𝐷 ∈ 𝐴𝑋 tal que 𝐴 − 𝐷 − 𝑋 y

𝐴𝐷 = 𝐴𝐵?
No se puede asegurar que esa interestancia se cumplirá.
Después la profesora realiza la socialización de la Tarea Extraclase 4.

1. Determine la relación entre el tipo de cuadrilátero y la propiedad “diagonales congruentes”. Si
establecen una conjetura que involucre cuadriláteros especiales, presente, en formato Núcleos y
Pilares, la demostración correspondiente
En el primer punto, como no se tiene claro ni el antecedente ni el consecuente, hay que

formular dos posibles tipos de conjeturas: Si 𝑝entonces𝑞; si 𝑞entonces𝑝.
𝑝: Tipo de cuadrilátero.𝑞: Diagonales
congruentes.
𝑝→𝑞
𝑞→𝑝
Carmen Samper
2019-2
La profesora invita a los estudiantes de los diferentes grupos a socializar las conjeturas
formuladas.
• Conjetura 1. Si∠𝐴 ≅ ∠𝐵, ∠𝐷 ≅ ∠𝐶 y ∠𝐴 ≇ ∠𝐶, ∠𝐵 ≇ ∠𝐷 entonces diagonales
congruentes.
• Conjetura 2. Si ⊡ 𝐴𝐵𝐶𝐷 rectángulo, entonces diagonales congruentes.
• Conjetura 3. Si ⊡ 𝐴𝐵𝐶𝐷 tal que 𝐴𝐶 ̅̅̅̅ ≅ 𝐵𝐷
̅̅̅̅ y 𝐵𝐷
⃡ = ℳ̅̅̅̅
𝐴𝐶 , entonces ⊡ 𝐴𝐵𝐶𝐷 es
cometa.
• Conjetura 4. Si ⊡ 𝐴𝐵𝐶𝐷 tal que un par de lados paralelos, un par de lados
congruentes, y un par de ángulos adyacentes congruentes, entonces las diagonales son
congruentes.
• Conjetura 5. Si ⊡ 𝐴𝐵𝐶𝐷 tal que sus diagonales son congruentes, perpendiculares y
se bisecan entonces cuadrado.
• Conjetura 6. Si ⊡ 𝐴𝐵𝐶𝐷 es trapecio isósceles, entonces sus diagonales son
congruentes.
La profesora establece la posible relación entre las conjeturas 2 y 5, determinando un

importante teorema:
T. Rectángulo, rombo – paralelogramo Los rectángulos y los rombos son
paralelogramos.
La profesora procedió a demostrar la Conjetura 2, Si ⊡ 𝐴𝐵𝐶𝐷 rectángulo, entonces
diagonales congruentes.
Se determinan los núcleos y pilares de este teorema:
Datos: ⊡ 𝐴𝐵𝐶𝐷 rectángulo
Aserción: ̅̅̅̅
𝐴𝐶 ≅ ̅̅̅̅
𝐵𝐷
Tipo: Directa con construcción auxiliar
Núcleos Pilares
⊡ 𝐴𝐵𝐶𝐷 paralelogramo T Para ser paralelogramo (Ángulos
opuestos)
T. Perpendiculares - paralelas
∆𝐴𝐷𝐶 ≅ ∆𝐵𝐶𝐷 P. LAL
Además, realiza la demostración de su reciproco (Conjetura 5 modificada): Si ⊡ 𝐴𝐵𝐶𝐷 tal

que sus diagonales son congruentesy se bisecan, entonces rectángulo.
̅̅̅̅ ≅ 𝐵𝐷
Datos: ⊡ 𝐴𝐵𝐶𝐷, 𝐴𝐶 ̅̅̅̅ y 𝐴𝐶,
̅̅̅̅̅ 𝐵𝐷
̅̅̅̅ se bisecan.
Aserción: ⊡ 𝐴𝐵𝐶𝐷 es rectángulo.
Tipo: Directa.
Carmen Samper
2019-2
Núcleos Pilares
⊡ 𝐴𝐵𝐶𝐷 paralelogramo T Para ser paralelogramo (Diagonales)
T. Perpendiculares - paralelas
∆𝐴𝐷𝐶 ≅ ∆𝐵𝐶𝐷 T. LLL
∠𝐴 ≅ ∠𝐵 ≅ ∠𝐶 ≅ ∠𝐷 T. Paralelogamo (ángulos)
∠𝑋𝐴𝐷 ≅ ∠𝐴𝐷𝐶 T. PAI
∠𝑋𝐴𝐷 y∠𝐴𝐷𝐶 suplementarios D. Ángulos suplementarios
Queda establecido el siguiente teorema:

T. Rectángulo Si las diagonales de un paralelogramo son congruentes es rectángulo. Si un
cuadrilátero es rectángulo, entonces las diagonales son congruentes.
Luego de la demostración de estos dos teoremas, la profesora pregunta a los estudiantes:

¿Sera que un paralelogramo con un ángulo recto es un rectángulo?, a lo cual los estudiantes
responden que sí, de esta manera determina el siguiente teorema:
T. Para ser rectángulo: Si un paralelogramo tiene un ángulo recto, entonces es rectángulo.
Luego la profesora menciona un asunto geométrico el cual es importante: cuando se tienen
rectas paralelas y una secante a ellas, entonces los ángulos alternos no internos son
suplementarios. Esto y otros teoremas se incluyen en un teorema:
T. Rectas paralelas:
i) Ángulos alternos internos congruentes (PAI)
ii) Ángulos correspondientes congruentes (PAC)
iii) Ángulos internos no alternos son suplementarios (PIS)
T. Para ser paralelas
Carmen Samper
2019-2
i) Ángulos alternos internos congruentes paralelas (AIP)

ii) Ángulos correspondientes congruentes paralelas (ACP)
iii) Ángulos internos no alternos son suplementarios paralelas (ISP)
La profesora invita a los estudiantes a analizar si la Conjetura 3 es verdadera.
Si ⊡ 𝐴𝐵𝐶𝐷 tal que ̅̅̅̅

𝐴𝐶 ≅ ̅̅̅̅
𝐵𝐷 y ⃡𝐵𝐷 = ℳ𝐴𝐶
̅̅̅̅ , entonces ⊡ 𝐴𝐵𝐶𝐷 es cometa.
Ella deduce que como 𝐵 y 𝐷 pertenecen a la mediatriz del ̅̅̅̅𝐴𝐶 , entonces tiene dos pares de
lados congruentes adyacentes, pero falta demostrar que ningún para de lados opuestos son
congruentes. La demostración parece un poco complicada. El grupo que propuso esta
conjetura aclaró que no la añadieron a la tarea por que presentaba inconsistencias puesto que
también se debe demostrar que ̅̅̅̅
𝐴𝐵 ≅ ̅̅̅̅
𝐵𝐷.
Sin otro particular, la clase concluye con esta discusión abierta.
Elementos teóricos instalados

T. Para ser rectángulo: Si paralelogramo con un ángulo recto entonces rectángulo.
T. Rectángulo, rombo – paralelogramo Los rectángulos y los rombos son paralelogramos.
T. Segmentos puntos medios: El segmento con extremos los puntos medio de dos lados de
un triángulo es paralelo al tercer lado y mide la mitad de la longitud de dicho lado.
T. Rectángulo Si las diagonales de un paralelogramo son congruentes es rectángulo. Si un
cuadrilátero es rectángulo, entonces las diagonales son congruentes.
Carmen Samper
2019-2
T. Rectas paralelas:
i) Ángulos alternos internos congruentes (PAI)
ii) Ángulos correspondientes congruentes (PAC)
iii) Ángulos internos no alternos son suplementarios (PIS)
T. Para ser paralelas
i) Ángulos alternos internos congruentes paralelas (AIP)
ii) Ángulos correspondientes congruentes paralelas (ACP)
iii) Ángulos internos no alternos son suplementarios paralelas (ISP)
Carmen Samper
2019-2

Notas de Clase Ago-Sep PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Notas de Clase Ago-Sep PDF

Cargado por

Copyright:

Formatos disponibles

Facultad de Ciencia y Tecnología

Notas de Clase Agosto-Septiembre

Clase (29-08-19) Grupo A (Nathaly, Mateo, Christian)

Durante la presentación del Ejemplo 1, la profesora indica que es importante

2) Sea 𝐴 punto, 𝐴 ∈ 𝑚. T. Recta – infinitos puntos

3) Sea 𝑛 recta tal que 𝑛 ⊥ 𝑚, 𝐴 ∈ 𝑛. T. Existencia perpendicular

Tabla 1. Construcción y justificación ejemplo 1

Para el Ejemplo 1, los pasos de la construcción que se han de presentar son:

i) 𝑚,𝑛 rectas tales que 𝑚 ⊥ 𝑛

La profesora recuerda que las conjeturas, que se pueden enunciar durante la

Para el Ejemplo 1, lo que se espera de la construcción es un reporte como sigue:

En este paso de para corroborar lo realizado y los resultados encontrados,

Se formula una conjetura: lo que se quiere demostrar y bajo qué condiciones.

La profesora indica cómo se justificará la conjetura. Se sigue uno los siguientes

Así se concluye la explicación de la forma de proceder para reportar proceso de

Aserción Garantía y datos

Tabla 3. Formato de dos columnas para demostraciones

En el formato expuesto usualmente se aplica el esquema de razonamiento modus

Clase (03-09-19) Grupo B (David, Stuardt, Sebastián)

VERIFICACION Aunque esté escrito con mayúsculas, debe

Lo que aparece en rojo en la definición es lo que se añadió después de analizar las

P. Espacio: Dado un plano 𝛼, existe un punto 𝐴 tal que 𝐴 ∉ 𝛼.

En la anterior representación gráfica, se cumple la siguiente definición:

2. Sean 𝐴, 𝐵, 𝐶 puntos no colineales, P. Plano-tres puntos (1)

T. Existencia del triángulo Existen los triángulos.

Aserción Garantía y datos

La demostración de la existencia solo requiere los Pasos 1 a 7. Si se quiere demostrar que el

Aserción Garantía y datos

10. △ 𝐷𝐵𝐶 isósceles D. Triángulo isósceles (8,9)

Elementos teóricos nuevos

Clase 05-09-19 Grupo C (Mariana, Vivian, Raúl)

2. P. 3 puntos- plano P. Tres puntos- plano

• Sea 𝐸 ∈ ⃡𝐴𝐵 ∩ ⃡𝐶𝑋 entonces 𝐸 = 𝐴 o 𝐸 ≠ 𝐴 ¿Es conjunción la garantía?

Para solucionar esta situación se tiene el siguiente camino:

4 𝐷 ∈ 𝐴𝐵⃡ D. Colinealidad (1,3)

Este teorema se propuso para poder reducir la demostración de la situación dada en un

D1. Paralelogramo Cuadrilátero con dos pares de lados congruentes.

Luego se llegó a la conclusión al hacer la construcción y la respectiva exploración que la

Para esto, un compañero propone lo siguiente:

1. 𝑚 recta, 𝐷 punto 𝐷 ∉ 𝑚 Dado

Aserción Garantía y datos

1. 𝑚, 𝑛, 𝑘 rectas, tal que 𝑚 ∥ 𝑛 y Dado

3. Existe 𝐴 punto, 𝐴 ∈ 𝑚 ∩ 𝑘 D. Paralela

Si bien, ya se demostró la unicidad de la recta perpendicular, no se ha demostrado aun la

Clase (10-09-19) Grupo D (Angie, Daniela, Brian)

Posterior a la intervención del estudiante, la profesora afirmó que en el plano ya se tiene la

La profesora hizo la aclaración de que la demostración anterior es en un plano, ya que en el

En la ilustración realizada por la profesora, se evidencio que no es posible la existencia de

Aserciones Garantías y datos

3. Sea 𝛽 plano talque 𝑚 ⊂ 𝛽 y ⃡𝐶𝐷 ⊂ Negación conclusión

T. Existencia de paralelogramo En un plano, existe un paralelogramo.

Posteriormente, la profesora propone la construcción robusta del paralelogramo y la

Después de estos ejemplos, la profesora pide demostrar teóricamente, si como consecuencia

Ángulos alternos internos: ∠4 y ∠6; ∠3 y ∠5

El tipo de demostración es indirecta gracias a la sugerencia de una estudiante del grupo D

T.PAI (P): Dadas 𝐴𝐵⃡ ⃡

Datos: ⃡𝐴𝐵 , ⃡𝐷𝐶 y 𝐵𝐶

Aserción: Ángulos alternos internos son congruentes

4) 𝑚∠𝐴𝐵𝐶 ≠ 𝑚∠𝐷𝐶𝐵 D. Ángulos congruentes (3)

7) Sea 𝐵𝐸 , 𝐸 ∈ 𝑆↔ ,¬𝐷 , tal que 𝑚∠𝐸𝐵𝐶 = P. Construcción de ángulos

En este momento la demostración puede tomar dos rumbos:

1) T. AIP (P): Sean 𝑚, 𝑛, 𝑙rectas, 𝑙secante de 𝑚 y 𝑛, ∠𝐵𝐴𝐷 y ∠𝐶𝐵𝐴 alternos internos,

1) 𝑚, 𝑛, 𝑙 rectas del plano 𝛼, 𝑙 secante a 𝑚 y 𝑛, Dado