REPUBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD PEDAGOGICA EXPERIMENTAL LIBERTADOR

INSTITUTO PEDAGOGICO DE CARACAS

DEPARTAMENTO DE MATEMATICA Y F
ISICA

CATEDRA DE EDUCACION MATEMATICA

GEOMETR
IA

MIS NOTAS DE GEOMETRIA

0. GEOMETR EMP
IA
IRICA VS GEOMETR DEDUCTIVA.
IA
La geometr en sus inicio era de naturaleza emp
a
rica, entendindose por razonamiento emp
e
rico la formulacin
o
de conclusiones que se basan en la experiencia y la observacin. Las relaciones matemticas empleadas por Egipcios
o
a
y Babilonios antiguos, muestran ser resultados de razonamiento emp
rico. Para esa poca no se encuentra un solo
e
caso de demostraciones lgicas.
o
Diferentes eventos de la poca, llevan a que el desarrollo de la geometr lo realizaran los griegos, quienes,
e
a
establecieron, que, los hechos geomtricos deben establecerse por razonamiento deductivo. Transformando la
e
geometr emp
a
rica en una geometr que llamar sistemtica.
a
an
a
A Tales de Mileto, se le atribuye ser el primer Hombre conocido en utilizar el mtodo deductivo en geometr
e
a.
Mientras que Euclides es el que organiz todo esa geometr sistemtica en unos libros que llamo Elementos.
o
a
a
Entre Tales de Mileto y Euclides se desarroll la nocin de un discurso lgico.
o
o
o
Una de las ventajas del razonamiento deductivo es que sus conclusiones son incuestionables si las premisas
se aceptan, mientras que el procedimiento emp
rico, siempre deja lugar a duda. Sin embargo, la intuicin en la
o
geometr juega un papel muy importante, hay muchas propiedades que se descubren de forma intuitiva como:
a,
la suma de las medidas de los ngulos internos de un tringulo son la medida de dos ngulos rectos, la cual se
a
a
a
observ por un experimento simple en el que dobla un tringulo en un papel.
o
a
Es por ello, que aunque el mtodo deductivo sea considerado el mtodo de trabajo en la geometr es conveniente,
e
e
a,
el desarrollo de actividades que permitan la introduccin de la geometr de forma emp
o
a
rica o experimental.
Razonamiento deductivo vlido. Llamamos razonamiento deductivo a un par ordenado ({ai }, b) siendo ai un
a
conjunto nito de proposiciones llamadas premisas y b una proposicin, llamada conclusin, la cual se deriva de las
o
o
premisas.
Un razonamiento es deductivo si y solo si las premisas son evidencias de la verdad de la conclusin. Es decir, si
o
a1 , a2 , a3 , . . . , an son verdaderas, entonces b es verdadera. De un razonamiento no se dice que es verdadero o falso,
se dice que es vlido o no.
a
En los siguientes ejemplos, se utilizaran algunos trminos geomtricos que se conocen, por ser de uso comn en
e
e
u
la matemtica, sin embargo se tienen que tratar sus deniciones con profundidad en algn momento de la geometr
a
u
a
que aqu se va a organizar.

EJEMPLOS 0.1.
Dadas las siguientes guras geomtricas, trazar todos los segmentos posibles, dado sus extremos:
e
a)

b)

c)

d)

e)

f)

Cuando en una circunferencia se traza un segmento cuyos extremos son dos puntos de la circunferencia, se
forma una cuerda. En la gura (a) se marca solo un punto, por lo tanto no se puede trazar ninguna cuerda y la
circunferencia no se divide en regiones. En la gura (b), al trazar todas las cuerdas posibles, cuntas regiones se
a
forman? Enumerar las regiones que se forman.

Prof. Ramn Alberto Alvarez. Pg. 1 de 7

o
a

Ahora en la gura (c), cuntas regiones se forman? En la gura (d), cuntas regiones se forman? Y en la gura
a
a
(e), Cuntas regiones se forman? Cul es el patrn que se obtiene en el nmero de regiones?
a
a
o
u
Sin trazar las cuerdas posibles en la gura (f), se puede concluir cuntas regiones se forman?
a
Trazar todas las cuerdas posibles en la gura (f), cuntas regiones se forman? Qu sucedi? No encontraste el
a
e
o
nmero de regiones esperadas? Pues no hay ninguna regin perdida, lo que sucedi es que el patrn de duplicacin
u
o
o
o
o
termina en el sexto punto. Este es un ejemplo claro de que el razonamiento emp
rico no es siempre conable.
EJEMPLOS 0.2.
Suponga que se quiere demostrar que el rea de una sala rectangular es de 300metros cuadrados, qu se har
a
e
a
para demostrarlo?

largo

ancho
Se miden las dimensiones de la sala y se determina, por ejemplo, que tiene 15metros de largo por 20metros de
ancho y luego se utiliza la frmula del rea de un rectngulo, la cual plantea que area = largo ancho (una frmula
o
a
a

o
que se conoce como verdadera), encontrando que el rea es igual a 300metros cuadrados, estos es un razonamiento
a
deductivo, ya que parti de una frmula general para encontrar una respuesta a una situacin espec
o
o
o
ca.

1. ELEMENTOS DEL METODO AXIOMATICO.

La geometr que se va a trabajar aqu es la deductiva, por lo tanto se tiene que formalizar el mtodo axiomtico,
a
,
e
a
ya que va a ser el eje fundamental. Para ello se estudian las nociones primitivas a considerar en este material y
luego familiarizarse con algunos sistemas axiomticos para as organizar el que se va a emplear aqu
a

.
1.1. Nociones Primitivas.
Para probar proposiciones por un proceso de razonamiento deductivo, se debe tener un punto de partida, es decir,
se va a probar proposiciones haciendo uso de otras proposiciones y de deniciones, pero si se tiene una proposicin
o
que se llamara P1 y para demostrarla se usa otra proposicin P2 y una denicin D1 . Ahora se debe probar la
o
o
proposicin P2 y as sucesivamente con cada proposicin que se use para probar la anterior. As como tambin se
o

e
tiene que la denicin D1 debe tener algunos trminos que se deban denir y ellos otros que tambin se tengan
o
e
e
que denir, entonces, siempre ser posible denir todos los trminos?, llegara el momento que no habr trminos
a
e
a e
denidos con anterioridad. Esto signica que se debe introducir algunos trminos geomtricos sin denirlos. A estos
e
e
trminos se les llama nociones primitivas.
e
Si a un estudiante se le pregunta qu es una recta, probablemente diga algo como: es una l
e
nea que no tiene
partes curvas. Pero si ahora se le pregunta por la palabra curva probablemente dir que: es una l
a
nea que no
tiene partes rectas y por tanto no se comprender realmente la denicin dada para la palabra recta.
a
o
1.2. Nociones primitivas o trminos indenidos en la geometr
e
a.
Las nociones primitivas principales de la geometr son el punto, la recta y el plano. Como se menciono
a
anteriormente, una nocin primitiva no se puede denir, es por ello que se van a dar algunas intuiciones de que se
o

Prof. Ramn Alberto Alvarez. Pg. 2 de 7

o
a

va a entender por punto, recta y plano. Para ello se comienza preguntndose qu es un punto?
a
e
Todos tienen alguna idea del trmino. Se puede representar como una pequea marca en una hoja de papel o
e
n
pizarrn, pero evidentemente esto no es un punto. Si fuera posible subdividir la marca y a continuacin subdividir
o
o
de nuevo la marca en otras ms pequeas y as sucesivamente e indenidamente, todav no se tendr un punto.
a
n

a
a
Sin embargo, se acercar a la condicin que la mayor asigna a un punto.
a
o
a
Euclides dijo en su libro Los Elementos qu punto es algo que tiene posicin pero no dimensin, sin embargo,
e
o
o
las palabras posicin y dimensin tambin son nociones primitivas.
o
o
e
Otra pregunta que se debe hacer es qu es una recta? As como el punto, todos tienen idea de recta, aunque
e

nadie ha visto una. De la misma forma que se representa el punto, una recta puede representarse como la marca
que deja el lpiz alado sobre un papel al moverlo por el borde de una regla, innita.
a
Euclides intento denir recta como lo que tiene slo una dimensin, usando nuevamente el trmino primitivo
o
o
e
dimensin.
o
Ahora qu es un plano? Al igual que las nociones de punto y recta, no se puede dar una denicin de plano,
e
o
slo se puede dar una descripcin que permita comprender el trmino, se puede decir que el plano es una supercie.
o
o
e
As la supercie de un pizarrn puede mostrarse como un subconjunto de un plano, al igual que las caras de los
,
o
slidos como el cubo y el paralelep
o
pedo.
Actualmente, denotamos un punto con una letra mayscula cerca de l, a las rectas considerando dos puntos
u
e
sobre ella o bien por medio de una letra minscula y a los planos con letras griegas. Por ejemplo: El punto A, la
u

recta l o la recta AB y el plano .

1.3. Demostracin de las propiedades de las guras geomtricas.
o
e
Ya se trato de las nociones o conceptos primitivos de la geometr y se sabe que la geometr se ocupa de las
a
a
propiedades de las guras geomtricas, entendiendo como gura geomtrica un conjunto de puntos.
e
e
Ahora bien, suponga que se quiere demostrar una propiedad que se cumple en cierta gura geomtrica, para
e
esto se debe usar otras propiedades ya demostradas. Sin embargo, esto no siempre es posible pues, en particular
cmo se har la demostracin de la primera proposicin?
o
a
o
o
Como las nociones primitivas van a las deniciones, en el caso de las propiedades o teoremas a demostrar, se debe
aceptar algunas armaciones sin demostrarlas. Estas armaciones no demostradas son los axiomas o postulados.
En resumen, un axioma o postulado es una proposicin cuyo signicado, a travs de un convenio, se acepta como
o
e
verdadero.
Actualmente los trminos axioma y postulado son considerados como sinnimos. Sin embargo es importante
e
o
destacar que, en sus inicios, se manejan como distintos. As los axiomas son una verdad autoevidente, mientras que

un postulado es un hecho geomtrico tan simple y obvio que puede suponerse su validez. Esto es, los axiomas eran
e
comunes a todas las ciencias mientras que los postulados corresponden a una ciencia particular.
Mientras que un teorema es una proposicin que se obtiene como consecuencia lgica de un conjunto de axiomas,
o
o
deniciones o de las nociones primitivas. Un lema es un teorema que por s mismo no tiene mucha trascendencia en la

teor que se est desarrollando, pero va a ser usado inmediatamente despus de su formulacin, en la demostracin
a
a
e
o
o
de otro teorema de marcada importancia. Por ultimo un corolario es un teorema que es consecuencia directa de l.

e
1.4. Sistema axiomtico.
a
Un conjunto de axiomas, en el que estn presentes algunos trminos indenidos es llamado sistema axiomtico.
a
e
a
Un sistema axiomtico junto con los teoremas que los axiomas implican es llamado una teor En una teor los
a
a.
a,
teoremas ya demostrados pueden ser utilizados en el proceso de prueba de otros teoremas. Por tanto, una prueba
puede depender del uso del sistema axiomtico, de teoremas previamente demostrados o de ambos.
a
EJEMPLOS 1.1.
Axioma 1. Existe al menos una colmena.

Prof. Ramn Alberto Alvarez. Pg. 3 de 7

o
a

Axioma 2. Cualquier colmena tiene al menos dos abejas.

Axioma 3. Dada cualquier colmena, hay por lo menos una abeja que no est en ella.
a
Axioma 4. Dadas dos abejas, existe al menos una colmena a la cual ellas pertenecen.
Los trminos indenidos son: abeja y colmena. Luego los cuatro axiomas y los trminos indenidos (abeja y
e
e
colmena), forman un sistema axiomtico.
a
Un teorema que se obtiene como deduccin lgica del sistema axiomtico es: existen al menos tres abejas. Se
o o
a
puede demostrar as
:
Demostracin:
o
Por el Axioma 1, existe al menos una colmena, sea C1 tal colmena. Ahora por el Axioma 2, cualquier colmena
tiene al menos dos abejas, sean A1 y A2 , las dos abejas que tiene C1 . Luego por el Axioma 3, se tiene que hay por
lo menos una abeja que no est en C1 , sea A3 tal abeja. En consecuencia, existen al menos tres abejas A1 , A2 y A3 .
a
1.5. Modelo de un sistema axiomtico
a
Cuando se tiene un conjunto de axiomas se desea tener una representacin espec
o
ca de ellos. Es decir, ver
alguna gura o interpretacin que describa exactamente a los axiomas. Una representacin con estas caracter
o
o
sticas
es llamado un modelo para el sistema axiomtico en consideracin. Para el ejemplo 1,1, dos modelos podr ser
a
o
an
los siguientes, donde las l
neas representan a las colmenas y los puntos de interseccin representan las abejas.
o

Modelo 1

Modelo 2

1.6. Sistema consistente o compatible.

Un sistema axiomtico es consistente si existe un modelo que lo represente. Es decir, un sistema axiomtico es
a
a
consistente si no existen dos proposiciones en l, tales que una sea la negacin de la otra. La consistencia de un
e
o
sistema axiomtico es una propiedad fundamental, pues un sistema inconsistente es prcticamente intil.
a
a
u
1.7. Sistema axiomtico completo.
a
Un sistema consistente de axiomas se dice completo si es imposible agregar un nuevo axioma que sea
independiente de los originales. Un sistema axiomtico tiene la propiedad de completitud si cualquier axioma
a
que se agregue es un teorema o probablemente una proposicin falsa.
o
Es importante mencionar, que la completitud no es una propiedad esencial y ni una propiedad deseable para un
sistema axiomtico, porque ella limita los modelos y aplicaciones del sistema. La completitud es una propiedad que
a
un sistema axiomtico puede o no tener. Cuando un sistema consistente es completo, entonces no podemos agregar
a
ningn nuevo axioma independiente y todos los modelos posibles del sistema son esencialmente semejantes.
u
1.8. Independencia de axiomas.
En un conjunto de axiomas, un axioma es independiente de los otros si l no puede derivarse de los otros como
e
un teorema.
Para vericar que un axioma es independiente se procede as se considera un sistema axiomtico con n axiomas.
:
a
Si se quiere mostrar que el axioma i, es independiente de los otros axiomas, es suciente mostrar que si lo sustituimos

Prof. Ramn Alberto Alvarez. Pg. 4 de 7

o
a

por su negacin, entonces el conjunto resultante, es an consistente, es decir, tiene un modelo.

o
u
Un postulado que hizo historia por ser independiente es el postulado de las paralelas, en el siglo XIX se
demostr que este postulado, enunciado por Euclides, es independiente de los otros. Esto llevo a estudiar otras
o
geometr que se denominan Geometr No Euclidianas, en las que todos los postulados sintticos, excepto el
as
as
e
de las paralelas, se satisfacen.
2. GEOMETR DE INCIDENCIA.
IA
La geometr de incidencia, estudia la relacin de pertenencia, contencin e interseccin entre puntos, rectas,
a
o
o
o
planos y espacio. El espacio es otra nocin primitiva que se trabaja en este material.
o
Para trabajar en esta parte es necesario tener un dibujo o grco para comprender cada postulado, por ello a
a
los trminos indenidos punto, recta y plano se van a representar con los siguientes dibujos:
e
Punto

Recta

Plano
r

Se tiene que recordar que esto es una representacin de esos trminos indenidos, por ejemplo, en la
o
e
representacin de la recta, se le colocan unas puntas de echas en los extremos, para indicar que eso contina
o
u
innitamente.
2.1 Postulados de incidencia.
Ahora se tiene que montar el sistema axiomtico, para la teor que se va a trabajar aqu por lo tanto se empieza
a
a
,
mencionando que los trminos punto, recta, plano y espacio son las nociones primitivas. Por otra parte al Postulado
e
de Incidencia n, se denotara P.I.n.
P.I.1. Existen por lo menos dos puntos diferentes en el espacio.
El primer postulado de incidencia asegura que el espacio es no vac es decir, tiene por lo menos dos puntos.
o,
P.I.2. Toda recta es un conjunto de puntos el cual tiene al menos dos puntos.
Este postulado, muestra que la recta es un conjunto no vac que tiene al menos dos puntos.
o,
P.I.3. Dos puntos diferentes determinan una unica recta.

Este postulado garantiza que si A y B son dos puntos cualesquiera siempre existe una unica recta AB que los

contiene. En otras palabras, que dados dos puntos ellos determinan una unica recta, o bien que por dos puntos

distintos pasa una unica recta, o que dados dos puntos distintos cualesquiera, hay exactamente una recta que los

contiene. Elimina la posibilidad que una recta sea con las que muestra la siguiente gura:

Prof. Ramn Alberto Alvarez. Pg. 5 de 7

o
a

P.I.4. Dada una recta cualquiera hay, por lo menos, un punto que no est en ella.
a
B

Ahora aqu se tiene una recta, entonces siempre se va a tener otro punto fuera de la recta.

P.I.5. Todo plano es un conjunto de puntos el cual tiene al menos tres puntos no colineales.
Para comprender este postulado, primero se necesita denir puntos colineales. Se dice que un conjunto de puntos
son colineales si pertenecen a una misma recta. Si no pertenecen a una misma recta, se dice que los puntos son
no colineales. Este postulado garantiza que dado un plano, l es un conjunto no vac de puntos con al menos tres
e
o
puntos no colineales.
P.I.6. Tres puntos no colineales determinan un unico plano.

A
C

Ahora este postulado dice que si se tienen tres puntos distintos no colineales A, B y C, entonces determinan un

unico plano que se denota con una letra griega () o se puede denotar as ABC, en otras palabras, que dados tres

puntos no colineales, no existen dos planos distintos que los contengan a los tres.
P.I.7. Dado un plano, existe al menos un punto que no est en l.
a
e

Este postulado garantiza que dado un plano existen puntos que no estn en l, que por lo menos hay un punto
a
e
que no est en l. Dados cuatro puntos y uno de ellos no est en el mismo plano de los otros tres, se dice que los
a
e
a
puntos son no coplanarios
P.I.8. Si dos puntos diferentes de una recta pertenecen a un plano, entonces todo punto de la recta pertenece al
plano.

A
B

Prof. Ramn Alberto Alvarez. Pg. 6 de 7

o
a

Este postulado indica que si dos puntos estn en un mismo plano, entonces no es posible que la recta que los
a
contiene est en otro plano. En otra palabras, que la recta que contiene a los puntos est en el mismo plano.
e
a
P.I.9. Si dos planos diferentes se intersecan, su interseccin es una recta.
o

Este postulado garantiza que si dos planos distintos se intersecan, su interseccin es una recta. Es decir, que su
o
interseccin es por lo menos dos puntos.
o

Prof. Ramn Alberto Alvarez. Pg. 7 de 7

o
a