GEOMETRÍA EUCLIDIANA

Clase 1
 PRESENTACIÓN DEL CURSO

 Presentación del profesor

 Objetivos del curso
 Metodología y evaluación
 Fechas importantes
 Conceptos previos.
MÉTODOS DE DEMOSTRACIÓN
 ¿Qué es la demostración? Es un conjunto
finito de argumentos validos, unidos
mediante una secuencia lógica para llegar
a la veracidad de una proposición.
 Los argumentos para realizar una
demostración están relacionados por
medio del uso de postulados o axiomas,
teoremas, corolarios y definiciones,
 Esquema de una demostración

Proceso
• Términos primitivos deductivo
• Definiciones
• Postulados o axiomas • conclusión
• Otros teoremas • Fundamentos
Hipótesis Tesis
Conceptos previos
 Proposición: Es un enunciado al cual se
le puede asignar uno y solo un valor de
verdad (verdadero o falso).

 Axioma o postulado: Es una verdad

evidente por sí misma, se admite sin
demostración. (por ejemplo: existen al
menos dos puntos).
Conceptos previos
 Teorema: Es una verdad que necesita
demostración, se vale para ello de reglas
lógicas, los teoremas se pueden llevar a la
forma 𝑃 → 𝑄, donde 𝑃 es llamada la
hipótesis y Q la conclusión o tesis.

 Corolario: Es una consecuencia directa

de un teorema o de la demostración del
mismo.
Conceptos previos
 Elementos básicos utilizados de la lógica
proposicional:
a) Conectores lógicos: ∨, ∧, →, ↔.
b) Cuantificadores: ∃, ∃!, ∀
 Elementos básicos utilizados de la teoría de
conjuntos:
a) Operaciones: ∪,∩, −
b) Conjuntos: ∅
c) Relaciones: ∈, ∉, ⊂, ⊄, ≠
Método directo
 Este método se basa en un argumento
condicional del tipo p→q, en esta
proposición se toma como punto de
partida la hipótesis p que son los requisitos
suficientes para q, en este caso, para la tesis;
no olvidar que q es una condición necesaria
de p. Luego, si la proposición
condicional p→q es verdadera, se afirma
que la implicación p⇒q (p implica q) es
verdadera.
 Ejemplo ilustrativo en lenguaje
cotidiano
 POSTULADO 1:Si hay partido en la copa Colombia, lo televisan.
 TEOREMA 17: Si hay clásico, entonces Jorge me invita a ver el partido.
 POSTULADO 7: Si hay clásico, entonces Diana me invita a ver el partido.
 TEOREMA 12: Si salgo temprano del trabajo entonces consigo transporte rápido.
 TEOREMA 23: Si hoy es viernes, hay partido en la copa Colombia
 TEOREMA 16: Si voy con Diana a ver el partido, entonces cuando termine vamos al cine.
 DEFINICIÓN 9: Un partido es un clásico en la copa Colombia si y sólo sí lo televisan.
 DEFINICIÓN 5: El irresponsable es alguien que toma licor manejando.
 TEOREMA 18: Cuando voy con Diana a cine, tomo licor manejando.
 POSTULADO 3: Si consigo transporte rápido, hoy es viernes.
 POSTULADO 5: Si consigo transporte rápido, entonces puedo llegar a descansar.
 TEOREMA 11: si soy un irresponsable, entonces no continuo en la empresa donde trabajo.
 TEOREMA 6: si hoy es lunes luego tengo clase de Análisis Geométrico

 DEMUESTRE QUE:
Si salgo temprano del trabajo, entonces soy un irresponsable.
Ejemplo1
Demuestre que:
 𝑠𝑖 𝑎, 𝑏, 𝑐 ∈ 𝑅 𝑡𝑎𝑙𝑞𝑢𝑒 𝑎 < 𝑏 𝑦 𝑐 > 0 → 𝑎𝑐 < 𝑏𝑐.

AFIRMACIÓN RAZÓN

1) 𝑎, 𝑏, 𝑐 ∈ 𝑅 1) Hipótesis

2) 𝑎 < 𝑏 2) Hipótesis

3) 𝑐 > 0 3) Hipótesis

4) 𝑎 − 𝑏 < 0 4) "𝑎 < 𝑏 𝑠𝑖𝑖 𝑎 − 𝑏 < 0 ", en 2

5) c (𝑎 − 𝑏) < 0 5) Multiplicación con desigualdades 3 en 4

6) c𝑎 − 𝑐𝑏 < 0 6) Propiedad distributiva en 5

7) 𝑐𝑎 < 𝑐𝑏 7) Razón de 4 en 6

8) 𝑎𝑐 < 𝑏𝑐 8) Propiedad conmutativa en 7

Método por reducción al absurdo
 La demostración indirecta o reducción al
absurdo se basa en el hecho de que si ∼ T
(negación de la tesis) es falsa, entonces T
es verdadera.
 La mejor manera de hacerlo es
mostrando que ∼ T no es compatible
(contradice) con las afirmaciones dadas
en la hipótesis H y por lo tanto ∼ T es
falsa y T es verdadera.
Ejemplo 2
Demuestre que:
 𝑠𝑖 𝑎, 𝑏, 𝑐 ∈ 𝑅 𝑡𝑎𝑙𝑞𝑢𝑒 𝑎 + 𝑐 ≤ 𝑏 + 𝑐 → 𝑎 ≤ 𝑏.

Negación de la tesis(hipótesis auxiliar): a ≰ 𝑏

AFIRMACIÓN RAZÓN

1) 𝑎, 𝑏, 𝑐 ∈ 𝑅 1) Hipótesis

2)𝑎 + 𝑐 ≤ 𝑏 + 𝑐 2) Hipótesis

3) a ≰ 𝑏 3) Hipótesis auxiliar

4) 𝑏 < 𝑎 4) Ley de tricotomía en 3

5) 𝑏 + 𝑐 < 𝑎 + 𝑐 5) Propiedad de la adición en desigualdades en4

6) 𝑎 + 𝑐 ≤ 𝑏 + 𝑐 ∧ 6) Contradicción de 2 y 5
𝑏+𝑐 <𝑎+𝑐
7) 𝑎 ≤ 𝑏 7) De 6 se concluye que la tesis era verdadera