Asignatura :

Geometra Euclidiana

Prof: Manuel Galaz Prez

Santiago, 09 de abril de 2013

Sesin 3
Sobre los postulados en Geometra
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica

Las proposiciones que se concluyan de los postulados, por medio

de las reglas lgicas, son formalmente vlidas si se han cumplido
las siguientes condiciones:
1. Que se hayan enunciado explcitamente los trminos primitivos
con los cuales se definen los otros.
2. Que se hayan enunciado unas proposiciones iniciales con las
cuales se pretende demostrar todas las dems. Dichas
proposiciones son los postulados. stos deben cumplir las
siguientes condiciones:

Consistencia: no pueden ser contradictorios entre s.

Independencia: ningn postulado debe deducirse de

los dems.

Suficiencia: los resultados requeridos en la teora

deben ser una consecuecia de ellos o contradecirlos.

y
Computacin

Sesin 3
Sobre los postulados en Geometra
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

3. Que las relaciones establecidas entre los trminos sean relaciones

lgicas independientes del sentido que pueda darse a los trminos.
4. Que en las demostraciones no se suponga nada de las figuras, es
decir, que slo intervengan las relaciones lgicas.

Sesin 3
La Demostracin de un Teorema:

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Mtodo Deductivo

Universidad
de Santiago
de Chile

Trminos primitivos
Definiciones
Postulados
Otros Teoremas

Fundamentos

Conclusin

Hiptesis

Proceso
deductivo

Tesis

Sesin 3
La Demostracin de un Teorema:
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Generalmente, la estructura de una demostracin se expresa

por medio de una implicacin de la forma H T , donde:
1. Se acepta que H (la hiptesis) es verdadera y est
constituida por los trminos primitivos, las definiciones, los
postulados y las proposiciones (teoremas) cuya validez ha
sido probada.
2. Se establece una sucesin finita de afirmaciones que son
combinaciones y conexiones de los elementos de la hiptesis
H (razones que se explicitan) y los fundamentos que van a
determinar que H implica a T.
3. Se afirma que T (tesis o conclusin) es verdadera (est
basada en el principio filosfico: De la verdad no se puede
seguir la falsedad).

H A1 A2 A3 An T

Sesin 3

Universidad
de Santiago
de Chile

Facultad de
Ciencia

De vuelta a la axiomtica
de la geometra

Departamento
de
Matemtica
y
Computacin

David Hilbert (1897 1943)

Sesin 3

Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Definicin:
Una geometra (tridimensional) est formada por un
conjunto E que se llamar espacio, cuyos elementos
se denominarn puntos, junto a dos familias no
vacas de subconjuntos de E a cuyos elementos se
llamarn respectivamente rectas y planos.

Sesin 3

Universidad
de Santiago
de Chile

Axiomas I:Axiomas de Incidencia.

Axiomas O:Axiomas de Orden.

Facultad de
Ciencia

Departamento
de
Matemtica

Axiomas C:Axiomas de Congruencia.

Axioma P:Axiomas de las paralelas
(axioma de Euclides).

y
Computacin

Axiomas de continuidad (Axioma de

Arqumides ).

Sesin 3
Axiomas de Incidencia (de existencia y enlace)
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Se dir que una recta o plano , pasa por un punto P, o que

incide en el punto P, si P .

Axioma I.1:Por cada par de puntos distintos A y B

pasa una nica recta.

AB
Departamento
de
Matemtica
y
Computacin

Axioma I.2:Toda recta contiene al menos dos

puntos.
Tres o mas puntos son colineales si hay una recta que los
contiene a todos ellos.

Sesin 3

Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica

Axioma I.3:Tres puntos no colineales A, B y C

determinan un nico plano.
o ( ABC )

Axioma I.4:Todo plano contiene, al menos, tres

puntos no colineales.

Axioma I.5:

Si una recta r tiene dos puntos en

comn con un plano , entonces r est contenida en .

y
Computacin

Cuatro o mas puntos son coplanares si hay un plano que

contiene a todos ellos.

Sesin 3

Universidad
de Santiago
de Chile

Facultad de
Ciencia

Axiomas I.6:Si dos planos tienen un punto en

comn, entonces tienen dos puntos en comn.
Axiomas I.7:Existen, al menos, cuatro puntos
distintos no coplanares.

Departamento
de
Matemtica
y
Computacin

Si una recta o un plano no contiene a un punto P, se dir que P

es un punto exterior a .

Sesin 3

Universidad
de Santiago
de Chile

Definicin:

Dos planos son coincidentes si tienen tres

puntos comunes. Secantes si su interseccin es una recta y
paralelas si no tienen puntos comunes.

Facultad de
Ciencia

Definicin:

Departamento
de
Matemtica
y
Computacin

Dos rectas son coincidentes si tienen mas

de un punto en comn. Secantes si tienen un punto en
comn y paralelas si no tienen puntos comunes.

Sesin 3

Universidad
de Santiago
de Chile

Teorema I.1:Toda recta tiene un punto exterior

contenido en un plano dado.
Teorema I.2:

Todo plano tiene un punto exterior.

Facultad de
Ciencia

Teorema I.3 :

Si A y B son puntos de una recta r y

C es exterior a r, entonces A, B y C no son colineales.
Departamento
de
Matemtica
y
Computacin

Teorema I.4

Si A, B y C son puntos no

colineales de un plano y D es exterior a

A, B , C y D no son coplanares.

, entonces

Sesin 3
Teorema I.5:Dados dos planos distintos, entonces
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

o bien no tienen puntos comunes o bien su interseccin

es una recta.

Teorema I.6:

Dos rectas distintas tienen, como

mximo, un punto comn.

Teorema I.7 :

Dados un plano y una recta, o bien

no tienen puntos comunes o bien tienen un nico punto
en comn o bien la recta est contenida en el plano.

Sesin 3
Teorema I.8:
Universidad
de Santiago
de Chile

estn contenidos en un nico plano

Teorema I.9:
Facultad de
Ciencia

Una recta y un punto exterior a ella

Dos rectas secantes estn contenidos

en un nico plano.

Teorema I.10:
Departamento
de
Matemtica
y
Computacin

rectas.

En el plano existen al menos tres

Sesin 3
Axiomas de Orden (estar entre)
Universidad
de Santiago
de Chile

Axioma O.1:Si A, B y C son puntos de una recta y B

est entre A y C, entonces B se encuentra tambin entre
C y A.

Facultad de
Ciencia

Axioma O.2:Si A y C son dos puntos de una recta,

Departamento
de
Matemtica
y
Computacin

entonces existe al menos un punto B, que est entre A y

C y existe al menos un punto D situado de modo que C
est entre A y D.

Sesin 3
Axioma O.3:De cualquiera de los tres puntos A,B
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

y C situados en una recta, siempre hay uno y slo uno

de ellos que se encuentra entre los otros dos (ABC,
BCA o CAB).

Axioma O.4:

Cualquiera de los cuatro puntos A,

B, C, D de una recta, siempre puede disponerse de
forma que B estarn entre A y C y tambin entre A y
D, y, adems, que el C estar comprendido entre A y
D, y tambin entre B y D.

Sesin 3
Axioma O.5: Sean A, B, C tres puntos no
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

colineales y sea l una recta contenida en el plano ABC

y que no pasa por cualquiera de los puntos A, B, C,
entonces, si l pasa por un punto del segmento AB,
tambin pasar por tanto por un punto del segmento
BC o un punto del segmento AC.

Sesin 3
Definicin de semirecta:
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Si A y B son puntos
distintos de una recta, de tal manera que:
O est entre A y B.
O no esta entre A y A
se dir que los puntos A y A, estn al mismo lado de la
recta con respecto al punto O, y que los puntos A y B,
estn en lados distintos con respecto al punto O. El
conjunto de los puntos ubicados en uno y el mismo lado
respecto del punto O de la recta, se denomina semirecta
(semirrayo) que parte de O. Por tanto, cada punto de la
recta la divide en dos semirectas (semirayos)

Definicin de segmento:

Si A y B son puntos
distintos, se llama segmento al conjunto de todos los
puntos que estn entre A y B. Estos ltimos de llaman
extremos del segmento.

AB

Sesin 3

Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Definicin de Angulo:

Sea

un plano y h, k dos

semirectas diferentes que parten de un punto O en , y

que pertenecen a rectas distintas. El sistema de estas
semirectas se llama ngulo y se designa con el smbolo
(h,k) o (k,h) . Las semirectas se llaman lados del ngulo
y el punto O se llama vrtice del ngulo.
Se llama interior del ngulo la regin del plano tal que al
unir dos puntos cualesquiera de ella, el segmento queda
totalmente contenido en ella.

Sesin 3
Axiomas de Congruencia
Universidad
de Santiago
de Chile

Axiomas C.1:

Congruencia de segmentos:

AB es congruente a si mismo
AB AB y AB BA

Propiedad refleja: Todo

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Propiedad simtrica: Si

AB A' B' , entonces A' B' AB

Propiedad transitiva: Si

AB A' B' y A' B' A' ' B''

, entonces

AB A' ' B ''

Axiomas C.2:Si A y B son puntos en una recta l y A

es un punto en la recta l, entonces siempre es posible
encontrar sobre la recta l, a uno u otro lado de A, un
nico punto B tal que AB A' B '

Sesin 3
Axiomas C.3:Si AB y BC son dos segmentos de
Universidad
de Santiago
de Chile

Facultad de
Ciencia

una recta l que no tienen puntos en comn, y,

adems, si los segmentos AB y BC son dos
segmentos de recta l que tampoco tienen puntos en
comn. Entonces, si AB AB y BC BC, entonces
AC AC.

Axiomas C.4:
Departamento
de
Matemtica
y
Computacin

Dado un (h,k) en un plano y

una recta l en un plano distinto , en el cual se fija h
una semirecta de l con origen en O, entonces, existe
una nica semirecta k, de modo que, (h,k) sea
congruente (h,k).

(h,k)

(h,k) .

Sesin 3
Axiomas C.5:Si (h,k) es congruente con (h,k)
Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

y con (h,k), entonces (h,k) es congruente con

(h,k). Esto es (h,k)
(h,k) y (h,k) (h,k),
entonces (h,k) (h,k) .

Sesin 3

Universidad
de Santiago
de Chile

Definicin de Polgono:

Un sistema de segmentos

AB , BC , CD , DE ,......,

se llama poligonal o
lnea quebrada al trazado que une los puntos A y M. Tal
situacin, se puede simbolizar mediante la escritura
ABCDE..M. Los puntos A, B, C, D,, M se llaman
vrtices de la poligonal.

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

NM

Si A coincide con M, la poligonal

se denomina polgono y los
segmentos se llaman lados del
polgono. Un polgono de tres
lados se llama tringulo.

Sesin 3

Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Axiomas C.6:Si en dos tringulos ABC y ABC la

congruencia AB A ' B ' , AC A'C ' y CAB

entonces se tienen las congruencias

ABC A' B' C '

BCA B' C ' A'

C ' A' B'

Sesin 3

Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Definicin:

Si los puntos A, B y C son colineales

entonces se sealarn de la forma A-B-C o ABC.

Sesin 2 - Ejercicios

Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Si A-B-C y A-C-D, entonces los cuatro puntos A, B, C, y

D se encuentran en una lnea.
Si A, B, C y D son cuatro puntos de una recta, y se sabe
que C-A-D y A-D-B, qu otras relaciones de orden se
pueden determinar? Realice un bosquejo.
Si A, B, C y D son cuatro puntos de una recta, y se sabe
que C-A-D y C-A-B, qu otras relaciones de orden se
pueden determinar? Realice un bosquejo.
Probar que hay al menos cuatro lneas en cada punto.
Pruebe que para cada recta r, existe un punto en cada
lado de r.
Entre dos puntos de una recta, existen una cantidad
indefinida de puntos.

Sesin 2

Universidad
de Santiago
de Chile

Facultad de
Ciencia

Departamento
de
Matemtica
y
Computacin

Sntesis de la sesin.

Bibliografa

Universidad
de Santiago
de Chile

Londoo, J. Geometria Euclidiana. Instituto de matemticas. Universidad de

Antioquia. (texto digital en linea).
Clemens, S; ODaffer, P; Cooney, T (1998). " Geometra". Edo. de Mxico:
Addison Wesley Longman de Mxico.
Barnett Rich (1991). " Geometra". Mac-Graw Hill.

Facultad de
Ciencia

Cano. O. Problemas de Geometra.

Galaz, Manuel. Construcciones Geomtricas con un procesador
geomtrico. Apuntes de clases.

Departamento
de
Matemtica
y

Euclides (300 A.C). Los Elementos de Euclides. [en lnea:

http://www.euclides.org/ ]

Computacin

Hilbert, D. Los fundamentos de la geometra. (en ingls texto digital).

Moise, Edwin, Downs Floyd . "Matemtica Moderna: Geometra.