Facultad de Ingeniería - 2015 II

GEOMETRÍA FUNDAMENTAL Y
TRIGONOMETRÍA
Cap. I: Lógica y Geometría
Dr. Dante Guerrero
Ing. Wenceslao Nuñez
Ing. Juan Valdiviezo

Mejores personas. Mejores profesionales

1
Introducción
No se ocupa de…

COLOR
LA GEOMETRÍA DUREZA
LA VIDA . . .
Estudia propiedades
Haciendo abstracción..

De todo lo que
CUERPOS EXTENSOS
no sea extensión.

GEOS=TIERRA
Motivada por AGRIMENSURA
LA GEOMETRÍA

METRÍA=MEDIDA

2
Experimentación e Inducción en Geometría
na r Necesidades
lu cio
ra so prácticas
Arranca de la.. Pa
Por eso los..
GEOMETRÍA EXPERIENCIA
Conocimientos
geométricos
Han sido hallados
Demostrados Antes de ser
empíricamente

Los babilonios, por

ejemplo, tomaban, como
longitud de la circun­
ferencia, el triple del Aún es útil, en algunas
diámetro (L=3D), y el circunstancias,
partir de procesos
área del círculo como un empíricos…
doceavo del cuadrado de
la circunferencia
(A=L2/12).
3
Lógica y Deducción en Geometría

 Los conocimientos geométricos han sido organizados desde Euclides

(300 a.C.) de acuerdo al método axiomático, copiado después por otras
ciencias (matemáticas y físicas), y perfeccionado, pero no variado
substancialmente desde su inicio.

 El método axiomático separa las adquisiciones de una ciencia en dos

partes:
Parte empírico - inductivo Parte deductiva
Observar Experimentar
Cuestionar Deducir
Conceptos primiti­vos Conceptos definidos
Axiomas y postulados Teoremas y corolarios

4
MÉTODO AXIOMÁTICO

Proposición Es el enunciado de una hipótesis o suposición, y

de una tesis o conclusión, consecuencia de la
hipótesis.
Axioma Principio básico asumido como verdadero sin
recurrir a demostración alguna.
Teorema Son proposiciones que se obtienen a partir de la
deducción y que necesitan demostración.
Postulado Es una proposición que se admite sin
demostración, aunque no tiene la evidencia de un
axioma.

5
MÉTODO AXIOMÁTICO

Lema Es un teorema preliminar que sirve de base para

demostrar otras proposiciones.
Corolario Es una proposición cuya deducción es inmediata,
a partir de un teorema ya demostrado.
Escolio Es una advertencia o nota que se hace con el fin
de aclarar, ampliar o restringir proposiciones
anteriores.
Problema Es una cuestión que se propone con el ánimo de
aclararla o resolverla.

6
El 5º Postulado de Euclides. Geometrías no
Euclídeas
 El 5º postulado de Euclides es mucho menos evidente que los
restantes. En una versión moderna, dicho postulado se expresaría
así: "En un plano, por un punto exterior a una recta pasa una
recta, y sólo una, paralela a la primera". El propio Euclides se dio
cuenta de ello y trató de evitar el uso de dicho postulado en lo
posible, en sus demostraciones.

 La única condición lógica que debe exigirse a un sistema de

postulados es que no sean contradictorios entre sí; porque de lo
contrario, consideraríamos inválida la lógica natural del hombre y
renunciaríamos a cualquier ciencia.

7
El 5º Postulado de Euclides. Geometrías no
Euclídeas
 En el siglo XIX, se demostró que dicho postulado era
independiente de los demás (no se podía deducir de ellos) y
compatible con ellos (no los contradecía). Se construyeron
distintas geometrías no euclídeas, que prescinden del 5º postulado
de Euclides o lo cambian por otro.
Boylai y Lobatchewsky postularon que por un punto se podían
trazar infinitas paralelas a una recta (dedujeron de su sistema
que la suma de los ángulos del triángulo es siempre menor que
dos rectos). Geometría hiperbólica.
Riemann postuló que no se podía trazar ninguna (dedujo que
esa suma es siempre mayor que dos rectos). Geometría
elíptica.
8
 El mundo aparece, en la escala humana, como euclídeo. Sin embargo, a
escala astrofísica admite la geometría de Riemann (modificada por el
físico Einstein).

9
Estructura de los teoremas. Relaciones
entre teoremas
 Un teorema se enuncia en forma de una proposición u oración
condicional (o en una forma equivalente, que fácilmente puede
transformarse en condicional sin que cambie de significado).
Hipótesis: Es la condición del enunciado. Es punto de partida,
son los datos iniciales.
Tesis: Es lo condicionado. Es a donde voy a llegar, lo que
quiero demostrar.

 La forma esquemática de un teorema es pues, así:

Si se cumple H, también se cumple T

10
Ejemplos

 Si estudio, pasaré GFT.

(H, T)

 Pasaré GFT, por lo tanto estudiaré.

(T, H)

 Si pasé GFT, es porque estudié.

(H, T)

11
Clases de proposiciones.

Una proposición se llama recíproca de otra, llamada directa, cuando la tesis

de una es la hipótesis de la otra y viceversa:
Directa: Si se cumple H, se cumple T.
Recíproca: Si se cumple T, se cumple H.

Dos proposiciones se llaman contrarias cuando la hipótesis y la tesis de una

son las negaciones respectivas de la hipótesis y la tesis de la otra:
Directa: Si se cumple H, se cumple T.
Contraria: Si no se cumple H, no se cumple T.

Dos proposiciones se llaman contrarrecíprocas cuando cada una de ellas es

contraria de la recíproca de la otra:
Directa: Si es H, es T.
Contrarrecíproca: Si no es T, no es H.

12
Observaciones.
La verdad de una proposición no implica la de su contraria.

"Si dos triángulos son congruentes, sus ángulos son respectivamente iguales"
(verdadera); "Si dos triángulos no son congruentes, sus ángulos no son
respectivamente iguales" (falsa). Si soy piurano, soy peruano (verdadera); Si no soy
piurano, no soy peruano (falso)

La verdad de una proposición no implica la verdad de su

recíproca.
El teorema: "Si dos triángulos son congruentes, sus ángulos son respectivamente
iguales", tiene una recíproca falsa: "Si dos triángulos tienen sus ángulos
respectivamente iguales, son congruentes".

Cuando tanto una proposición como su recíproca son

verdaderas, entonces H y T se cumplen (o incumplen)
simultáneamente. Se dice de este caso que H es "condición
necesaria y suficiente" de T. El Teorema de Pitágoras.
13
 recíprocas
DIRECTA RECIPROCA
H => T T => H

contrarias contrarrecíprocas contrarias

no H => no T no T => no H
CONTRARIA recíprocas CONTRARRECIPROCA

Cuando para demostrar una proposición, demostramos la verdad de

su contrarrecíproca, la demostración se llama demostración por
reducción al absurdo.

14