Geometría Euclidiana G16

Universidad de Antioquia
Facultad de Ingeniería
 🠶 Luz Elena Domínguez Rave

🠶 Corre: luz.dominguez@udea.edu.co

🠶 Horario de clase: miércoles y viernes 10:00-12:00

🠶 Asesoría:
Bibliografía

🠶 TEXTO GUÍA: Londoño S. José Rodolfo. Geometría Euclidiana. (Ude@) Universidad

de Antioquia. 2005.
🠶 Geometría Euclidiana un enfoque axiomático, Alberto Jaramillo Atehortúa
🠶 Mose Edwin E. Elementos de Geometría superior. Centro Regional de ayuda
técnica.
🠶 Villegas Celia. Geometría Euclidiana. Universidad Nacional.
🠶 Hemerlong Edwin. Geometría Elemental Limusa Wiley.
 🠶MÉTODO DE
DEMOSTRACIÓN
Elementos proposicionales
🠶 A:= Ir a la tienda
🠶 B:= comprar cerveza

🠶 A ˄ b:
🠶 A˅ B:
🠶 ˥A (~A):
🠶 ˥B:
🠶 A B:
🠶 ˥A B:
🠶 B A:
🠶 ˥B ˥A:
Axioma:
1. Proposición tan clara y evidente que se admite sin demostración.
2.  Cada uno de los principios fundamentales e indemostrables sobre los que se construye una teoría.
Teorema: 
Proposición demostrable lógicamente partiendo de axiomas, postulados o de otras proposiciones ya demostradas.

Proposición:  
Enunciación de una verdad demostrada o que se trata de demostrar.
🠶 El proceso demostrativo consiste básicamente en obtener, mediante
una cadena de implicaciones lógicas, y a partir de unas
proposiciones dadas que llamaremos premisas o hipótesis, que se
admiten como verdadera, se llega a una proposición final que se
denomina conclusión o tesis.

Hipótesis TESIS
Método directo
1.
Se parte de la hipótesis 2.
(siempre son verdaderas) y
mediante pasos lógicos se
llega a la tesis.
Se supone verdadero el antecedente o hipótesis.
Se construye una argumentación lógica en la cual podemos
utilizar los axiomas, los teoremas ya demostrados, para
obtener la tesis.
Ejemplo
🠶  
 🠶 Se supone verdadero el antecedente o hipótesis
🠶 Como nueva hipótesis, se supone cierta la negación de la
tesis.

Método contradicción 🠶 A partir de esto se busca generar una contradicción.

o reducción al absurdo 🠶 Dado que se llega a un absurdo suponiendo algo falso, esta
afirmación es falsa, por lo tanto la tesis es verdadera.
🠶 ˥˥A=A

Se fundamenta en la condición de
consistencia que debe caracteriza a una teoría.
Sin contradicciones en su interior
Ejemplo
🠶  
 🠶 Se debe mostrar un elemento que
contraejemplo cumpla la hipótesis pero que no
satisfaga la tesis.

No es un método de
demostración, ya que los que
hace es evidenciar que una
afirmación es falsa.
Ejemplo
🠶 Todo número múltiplo de 6 es múltiplo de 12.