GE - Beamer - Semana1

Breve bosquejo histórico de la geometrı́a
Geometrı́a Moderna
Definiciones.
r
Métodos de demostración.
to
Fundamentos Axiomáticos
Grupo I: Axiomas de Incidencia
Grupo II: Axiomas de Orden
di
E
F
D
rP
Resumen de la semana 1
te
as
M Norberto Tabárez
Facultad de Ingenierı́a
Universidad de Antioquia
in
17 de septiembre de 2020
ed
at
re
Norberto Tabárez Geometrı́a Euclidiana

Definiciones.
r
to
di
Contenido
E
F
D
1 Breve bosquejo histórico de la geometrı́a
rP
2 Geometrı́a Moderna
te
3 Definiciones.
4 Métodos de demostración.
as
M
5 Fundamentos Axiomáticos
in
6 Grupo I: Axiomas de Incidencia

ed
7 Grupo II: Axiomas de Orden

at
re

Definiciones.
r
to
di
E
F
D
La palabra geometrı́a se deriva de las palabras griegas “geo”, que significa
rP
tierra y “metrón”, que significa medir.
La geometrı́a no se preocupa por la naturaleza y propiedades de la sustancia
te
que constituyen los cuerpos y considera únicamente la forma o aspecto que
as
presenta cada uno, ası́ como su extensión o porción del espacio que ocupa.
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
El desarrollo de la geometrı́a lo podemos dividir en 3 grandes etapas:
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
1) Geometrı́a experimental:
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in
2) Geometrı́a deductiva:
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in
ed
3) Geometrı́a moderna:
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in
ed
3) Geometrı́a moderna:
at
re

Definiciones.
r
to
di
E
F
D
rP
Se supone que existen sólo cuatro grupos de objetos primitivos llamados
te
“puntos”, “rectas”, “planos”y “espacio”, respecto a los cuales se verifican
ciertas condiciones (postulados).
as
Las proposiciones que se concluyan de los postulados, por medio de las
M
reglas lógicas, son formalmente válidas si se han cumplido las siguientes
condiciones:
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
Se supone que existen sólo cuatro grupos de objetos primitivos llamados
te
“puntos”, “rectas”, “planos”y “espacio”, respecto a los cuales se verifican
ciertas condiciones (postulados).
as
Las proposiciones que se concluyan de los postulados, por medio de las
M
reglas lógicas, son formalmente válidas si se han cumplido las siguientes
condiciones:
in
ed
at
re

Definiciones.
r
to
di
E
F
1 Que se hayan enunciado explı́citamente los términos primitivos con los
D
cuales se definen los otros.
rP
2 Que se hayan enunciado unas proposiciones iniciales con las cuales se
pretende demostrar todas las demás. Dichas proposiciones son los
postulados. Éstos deben cumplir las siguientes condiciones:
te
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
1 Consistencia: no pueden ser contradictorios entre sı́
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
2 Independencia: ningún postulado debe deducirse de los demás
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
3 Suficiencia: los resultados requeridos en la teorı́a deben ser una
consecuencia de ellos o contradecirlos.
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in
3 Que las relaciones establecidas entre los términos sean relaciones

ed
lógicas independientes del sentido que pueda darse a los términos.

at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in

ed

at
4 Que en las demostraciones no se suponga nada de las figuras, es decir,

que sólo intervengan las relaciones lógicas.
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in

ed

at
4 Que en las demostraciones no se suponga nada de las figuras, es decir,

que sólo intervengan las relaciones lógicas.
re

Definiciones.
r
to
di
Definiciones.
E
F
Definición
D
Una Proposición es un enunciado al cual se le puede asignar uno y solo
rP
un valor de verdad (verdadero o falso).
te
Definición
as
Podemos considerar la demostración de una proposición p como una cadena
finita de transformaciones que se realizan mediante reglas lógicas y que se
M
forman a partir de proposiciones verdaderas o supuestamente verdaderas y
las cuales nos conducen a la proposición p
in
ed
at
re

Definiciones.
r
to
di
Definiciones.
E
F
Definición
D
rP
te
Definición
as
M
in
ed
Definición
at
Un Axioma o postulado es una verdad evidente por si misma, se admite

sin demostración. (por ejemplo: existen infinitos puntos).
re

Definiciones.
r
to
di
Definiciones.
E
F
Definición
D
rP
te
Definición
as
M
in
ed
Definición
at
Un Axioma o postulado es una verdad evidente por si misma, se admite

sin demostración. (por ejemplo: existen infinitos puntos).
re

Definiciones.
r
to
di
E
Definición
F
Un Teorema Es toda proposición cuya validez se debe demostrar utilizando
D
otros elementos conocidos, mediante operaciones lógicas.
La demostración de un teorema consta de 3 partes
rP
Hipótesis: Es la suposición de una cosa posible para deducir de ella
te
una consecuencia. Entre las hipótesis se encuentran: Términos
primitivos, Definiciones, Postulados, otros teoremas.
as
M
in
ed
at
re

Definiciones.
r
to
di
E
Definición
F
D
rP
te
as
Demostración: El procedimiento usado para lograr que la proposición
M
quede demostrada
in
ed
at
re

Definiciones.
r
to
di
E
Definición
F
D
rP
te
as
M
quede demostrada
in
Tesis o conclusión: es la propiedad a demostrarse.

ed
Definición
at
Un Corolario es una consecuencia directa de un teorema o de la

demostración del mismo.
re

Definiciones.
r
to
di
E
Definición
F
D
rP
te
as
M
quede demostrada
in
Tesis o conclusión: es la propiedad a demostrarse.

ed
Definición
at
Un Corolario es una consecuencia directa de un teorema o de la

demostración del mismo.
re

Definiciones.
r
to
di
Métodos de demostración
E
F
D
rP
Delos diferentes métodos de demostración, vamos a considerar los 2
siguientes:
te
1 Método Directo:
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
siguientes:
te
1 Método Directo:
2 Método Indirecto:
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
siguientes:
te
1 Método Directo:
as
M
1 Contrarrecı́proco:
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
siguientes:
te
1 Método Directo:
as
M
in
2 Reducción al absurdo:
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
siguientes:
te
1 Método Directo:
as
M
in
2 Reducción al absurdo:
ed
at
re

re
at
ed
in
M
as
te
rP
DF
Ed
i to
r
Definiciones.
r
to
di
E
La definición de los términos se hace recurriendo a términos anteriormente
F
definidos. Sin embargo, algunos términos básicos no se pueden definir ya que
D
son independientes entre si y no existen términos anteriores que los definan.
rP
La solución a este inconveniente consiste en admitir, sin definición, los
primeros términos y relaciones de la teorı́a a cambio que sea dada la lista
te
definitiva de ellos.
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
Se dan los siguientes términos y relaciones primitivas:
Términos Primitivos: Punto, Recta, Plano, Espacio.
M
Relaciones Primitivas: Estar en (pertenencia), estar entre (orden),
ser congruente (equivalencia). Estos términos y Relaciones Primitivas,
in
se pueden relacionar mediante enunciados tales como:

El punto A está en la recta l.
ed
El punto B está entre los puntos A y C en la recta l.

El segmento AB es congruente al segmento CD.
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in

ed

at
re
2 Se dividen los axiomas de la geometrı́a en 5 grupos a saber:

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in

ed

at
re
2 Se dividen los axiomas de la geometrı́a en 5 grupos a saber:

Definiciones.
r
to
di
E
F
D
A.I.1: Dos puntos distintos determinan una y solo una recta a la cual
rP
pertenecen.
A.I.2: A toda recta pertenecen al menos dos puntos distintos.
te
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
pertenecen.
te
A.I.3: Dada una recta, existe al menos un punto del espacio que no está en
as
la recta. M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
pertenecen.
te
as
la recta.
A.I.4: Tres puntos distintos que no están en una misma recta, determinan
M
un plano y solo uno al cual pertenecen.
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
pertenecen.
te
as
la recta.
M
in
Definición
ed
Puntos colineales son aquellos que están en una misma recta.

at
re

Definiciones.
r
to
di
E
F
D
rP
pertenecen.
te
as
la recta.
M
in
Definición
ed
Puntos colineales son aquellos que están en una misma recta.

at
re

Definiciones.
r
to
di
E
F
D
A.I.5: A todo plano le pertenecen al menos tres puntos distintos no
rP
colineales.
A.I.6: Si dos puntos de una recta están en un plano, la recta está contenida
te
en el plano.
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
colineales.
te
en el plano.
as
A.I.7: Si dos planos distintos se cortan, su intersección es una recta.
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
colineales.
te
en el plano.
as
A.I.8: Dado un plano, existe por lo menos un punto del espacio que no está
M
en el plano.
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
colineales.
te
en el plano.
as
M
en el plano.
in
Definición
ed
Puntos coplanarios son aquellos que están en un mismo plano.

at
re

Definiciones.
r
to
di
E
F
D
rP
colineales.
te
en el plano.
as
M
en el plano.
in
Definición
ed
Puntos coplanarios son aquellos que están en un mismo plano.

at
re

Definiciones.
r
to
di
E
F
Teorema
D
Si dos rectas diferentes se interceptan, su intersección es un solo punto.
rP
te
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
Teorema
D
Si dos rectas diferentes se interceptan, existe un único plano que las
rP
contiene.
te
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
Teorema
D
Si l es una recta y A un punto que no pertenece a ella, existe un único
rP
plano que contiene a la recta y al punto.
te
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
A.O.1: Si el punto B se encuentra entre el punto A y el punto C, entonces
rP
A, B y C son puntos diferentes de una misma recta y B se encuentra ası́
mismo entre C y A, se denota por A − B − C o C − B − A
te
A.O.2: Dados dos puntos distintos A y C, existe al menos un punto B
as
←→
sobre AC tal que B está entre A y C.
M
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
←→
M
A.O.3: Dados dos puntos distintos A y C, existe al menos un punto D
←→
sobre AC tal que C está entre A y D.
in
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
←→
M
←→
in
A.O.4: Dados tres puntos distintos de una recta, uno y solo de ellos está
ed
entre los otros dos.

at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
←→
M
←→
in
A.O.4: Dados tres puntos distintos de una recta, uno y solo de ellos está
ed
entre los otros dos.

at
re

Definiciones.
r
to
di
E
Definición
F
Sean A y B dos puntos. Al conjunto formado por A, B y todos los puntos
D
entre A y B se le llama segmento AB y se denota AB o BA. A y B se
rP
llaman extremos del segmento y se dice que ellos determinan al segmento.
Los puntos que están entre A y B se llaman puntos interiores del segmento
←→
te
AB. Los demás puntos de AB se llaman puntos exteriores del segmento.
as
A.O.5: Si D está entre A y C y X está entre D y C, entonces X está entre
M
A y C.
in
ed
at
re

Definiciones.
r
to
di
E
Definición
F
D
rP
←→
te
as
M
A y C.
in
Definición
1 Un conjunto no vacı́o de puntos se denomina figura.
ed
at
re

Definiciones.
r
to
di
E
Definición
F
D
rP
←→
te
as
M
A y C.
in
Definición
ed
2 Diremos que una figura es convexa si dados dos puntos cualesquiera

at
de ella, el segmento determinado por estos puntos, está contenido en la

figura. En caso de no cumplirse este enunciado, diremos que la figura
re
no es convexa.
Definiciones.
r
to
di
E
Definición
F
D
rP
←→
te
as
M
A y C.
in
Definición
ed
2 Diremos que una figura es convexa si dados dos puntos cualesquiera

at
de ella, el segmento determinado por estos puntos, está contenido en la

figura. En caso de no cumplirse este enunciado, diremos que la figura
re
no es convexa.
Definiciones.
r
to
di
E
F
Teorema
D
La intersección de figuras convexas es una figura convexa.
rP
Observación: La unión de dos conjuntos convexos, no necesariamente es
te
una figura convexa.
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
Teorema
D
La intersección de figuras convexas es una figura convexa.
rP
Observación: La unión de dos conjuntos convexos, no necesariamente es
te
una figura convexa.
as
M
in
ed
at
re

Definiciones.
r
to
di
E
F
A.O.6: Axioma de separación de la recta.
D
Un punto O de una recta l divide a los otros puntos de la recta en dos
rP
conjunto no vacı́os, de modo que dos puntos cualesquiera de l pertenecientes
al mismo conjunto están del mismo lado de O, mientras que dos puntos
te
pertenecientes a distintos conjuntos se encuentran en lados diferentes de O.
Definición
as
M
Decimos que un punto O de la recta l, junto con algún otro punto A de la
−→
recta l, determinan la semirrecta OA, que se denota OA; los puntos que
in
están del mismo lado de A con respecto a O se llaman puntos de la

semirrecta OA; el punto O, origen de la semirrecta OA.
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
Definición
as
M
−→
in

ed
at
Observación: El punto O no pertenece a la semirrecta

re

Definiciones.
r
to
di
E
F
D
rP
te
Definición
as
M
−→
in

ed
at
Observación: El punto O no pertenece a la semirrecta

re

Definiciones.
r
to
di
E
F
D
A.O.7: Axioma de separación del plano.
rP
Toda recta l contenida en un plano π, divide a los puntos del plano que no
le pertenecen, en dos conjunto no vacı́os, de modo que dos puntos
te
cualesquiera A, B de conjuntos distintos determinan un segmento AB, que
contiene algún punto de la recta l, mientras que dos puntos arbitrarios A y
as
B de un mismo conjunto determinan un segmento AB, dentro del cual no
hay ningún punto de l.
M
Observación: 1) Los conjuntos definidos en el axioma anterior se
in
denominan semiplanos.
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in
2) se tiene una partición del plano π en 3 conjuntos convexos y disjuntos, a
ed
saber, los dos semiplanos y la recta l.

at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
M
in
2) se tiene una partición del plano π en 3 conjuntos convexos y disjuntos, a
ed
saber, los dos semiplanos y la recta l.

at
re

Definiciones.
r
to
di
E
F
D
A.O.8: Axioma de separación del espacio.
rP
Todo plano π, divide a los puntos del espacio que no le pertenecen, en dos
conjunto no vacı́os, de modo que dos puntos cualesquiera A, B de conjuntos
te
distintos determinan un segmento AB, que contiene algún punto del plano
π, mientras que dos puntos arbitrarios A y B de un mismo conjunto
as
determinan un segmento AB, dentro del cual no hay ningún punto del
plano π.
M
in
denominan semiespacios
ed
at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
plano π.
M
in
2) se tiene una partición del espacio en 3 conjuntos convexos y disjuntos, a
ed
saber, los dos semiespacios y plano π.

at
re

Definiciones.
r
to
di
E
F
D
rP
te
as
plano π.
M
in
2) se tiene una partición del espacio en 3 conjuntos convexos y disjuntos, a
ed
saber, los dos semiespacios y plano π.

at
re

GE - Beamer - Semana1

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

GE - Beamer - Semana1

Cargado por

Copyright:

Formatos disponibles

Breve bosquejo histórico de la geometrı́a

Norberto Tabárez Geometrı́a Euclidiana

6 Grupo I: Axiomas de Incidencia

7 Grupo II: Axiomas de Orden

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

3 Que las relaciones establecidas entre los términos sean relaciones

lógicas independientes del sentido que pueda darse a los términos.

Norberto Tabárez Geometrı́a Euclidiana

3 Que las relaciones establecidas entre los términos sean relaciones

lógicas independientes del sentido que pueda darse a los términos.

4 Que en las demostraciones no se suponga nada de las figuras, es decir,

Norberto Tabárez Geometrı́a Euclidiana

3 Que las relaciones establecidas entre los términos sean relaciones

lógicas independientes del sentido que pueda darse a los términos.

4 Que en las demostraciones no se suponga nada de las figuras, es decir,

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Un Axioma o postulado es una verdad evidente por si misma, se admite

Norberto Tabárez Geometrı́a Euclidiana

Un Axioma o postulado es una verdad evidente por si misma, se admite

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Tesis o conclusión: es la propiedad a demostrarse.

Un Corolario es una consecuencia directa de un teorema o de la

Norberto Tabárez Geometrı́a Euclidiana

Tesis o conclusión: es la propiedad a demostrarse.

Un Corolario es una consecuencia directa de un teorema o de la

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

se pueden relacionar mediante enunciados tales como:

El punto B está entre los puntos A y C en la recta l.

Norberto Tabárez Geometrı́a Euclidiana

se pueden relacionar mediante enunciados tales como:

El punto B está entre los puntos A y C en la recta l.

2 Se dividen los axiomas de la geometrı́a en 5 grupos a saber:

Norberto Tabárez Geometrı́a Euclidiana

se pueden relacionar mediante enunciados tales como:

El punto B está entre los puntos A y C en la recta l.

2 Se dividen los axiomas de la geometrı́a en 5 grupos a saber:

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Norberto Tabárez Geometrı́a Euclidiana

Puntos colineales son aquellos que están en una misma recta.

Norberto Tabárez Geometrı́a Euclidiana