Axiomas bsicos de la geometra
Adems de los conceptos primitivos para construir el conocimiento geomtrico,
necesitamos de ciertos postulados que no necesitan demostracin por resultar
evidentes, a dichos postulados los llamaremos axiomas. Los axiomas tambin
resultan ser entonces el punto de partida, todas los otros postulados que vayamos
construyendo necesitarn demostracin, es decir que, utilizaremos la lgica junto
con los conceptos primitivos y los axiomas para validarlos. Estos nuevos
postulados recibirn el nombre de teoremas, y entonces ellos pueden usarse para
las demostraciones de los siguientes postulados o propiedades.
Axiomas
Un axioma es una proposicin evidente por s misma y por lo tanto no
necesita demostracin.
Los axiomas y los conceptos primitivos son la base fundamental de la
geometra.
Axiomas bsicos
1-
El espacio tiene infinitos puntos, rectas y planos.
2-
El plano tiene infinitos puntos y rectas.
3-
La recta tiene infinitos puntos.
4-
Por un punto pasan infinitas rectas.
5-
Por una recta pasan infinitos planos.
6-
Por dos puntos pasa una nica recta.
7-
Por tres puntos no alineados pasa un nico plano.
En este caso debemos aclarar que significa alineados. Tres puntos estn
alineados si pertenece a una misma recta.
8-
Si dos puntos pertenecen a un plano, la recta que pasa por esos dos
puntos tambin se encuentra en el mismo plano.
Conceptos Primitivos
El espacio es considerado como un conjunto, sus elementos son puntos y
estos se unen para formar las rectas y los planos, entre otras cosas. A estos
cuatro conceptos; espacio, punto, recta y plano; no los definiremos, aunque todos
tenemos una idea de ellos y conocemos objetos que los pueden representar, pero
slo
representar,
ya
que
dichos
conceptos
son
ideales,
es
decir,
existen nicamente en la mente humana.
Los puntos
son
fundamentales
en
la
construccin
del
conocimiento
geomtrico, no tienen dimensin y cuando hablemos de ellos los nombraremos
con letras en imprenta mayscula. Una marca dejada con un lpiz fino es una de
las mejores representaciones de un punto.
Las rectas se representan con letras en imprenta minscula, y se corresponden
con lneas que no se doblan.
Los planos se representan con letras griegas y para representarlos podemos
utilizar diversas superficies planas, el piso de una habitacin, la superficie de una
mesa, una hoja de block, etc.
Axiomas de Conexin I
Axioma I 1
Dos puntos distintos A y B determinan una nica recta a. Escribiremos a=AB o
a=BA.
Tambin usaremos otras formas de expresin, podemos decir que A yace
sobre a, A es un punto de a, a pasa por A y por B. Si A yace al mismo tiempo
sobre otra recta b, diremos que a y b tienen un punto en comn, A.
Axioma I 2
Dos puntos distintos determinan completamente una recta, esto significa que si
a=AB y a=AC, donde BC, entonces a=BC.
Axioma I 3
Tres puntos distintos que no estn en la misma recta, determinan
completamente un plano, escribiremos ABC=.
Emplearemos tambin las expresiones, A, B y C estn en , o A, B y C son
puntos de .
Axioma I- 4
Dados tres puntos distintos A, B y C de un plano , que no se encuentran sobre
la misma recta, determinan completamente ese plano.
Axioma I 5
Si dos puntos A y B de una recta a, estn en el plano , entonces todos los
puntos de a estn en el plano .
En ese caso diremos que la recta a, est en el plano .
Axioma I 6
Si dos planos y tienen un punto en comn, entonces tienen un segundo
punto en comn.
Axioma I- 7
En toda recta existen al menos dos puntos, en todo plano existen al menos tres
puntos que no estn en la misma recta, en el espacio existen al menos cuatro
puntos no todos en el mismo plano.
Los axiomas 1 y 2 estn relacionados con la geometra planas, sern llamados
axiomas del plano.
Los axiomas 3 a 7 sern llamados axiomas del espacio.
Teorema 1
Dos rectas en el plano tienen un punto en comn o no tiene puntos en comn;
dos planos no tienen puntos en comn o tienen en una recta en comn; una plano
y una recta que no est en el plano o no tienen puntos en comn o tienen un punto
en comn.
Teorema 2
Dada una recta y punto que no est en ella, o dadas dos rectas que tienen en
un punto en comn, un nico plano puede pasar por ellos.
LOS
ELEMENTOS
DE
LA
GEOMETRA
LOS
GRUPOS
DE AXIOMAS
Existen puntos que los designaremos con las letras A, B, C,
Existen rectas que las designaremos con las letras a, b, c,
Existen planos que los designaremos con letras griegas , , ,
Los puntos s on los elementos de la geometra lineal, las rectas son los
elementos de la geometra plana y los puntos, las rectas y los planos son los
elementos de la geometra del espacio.
Estos puntos, rectas y planos tiene relaciones entre ellos, que indicaremos con
palabras como estn situados, entre, paralelas, congruentes, etc. Una
completa descripcin de ellos y de sus relaciones sern consecuencias de los
axiomas de la geometra. Estos axiomas pueden ser presentados en 5 grupos,
cada grupo expresa por s mismo relaciones fundamentales, hechos de nuestra
intuicin.
I Axiomas de conexin (1 7)
II Axiomas de orden (1 5)
III Axioma de las paralelas (Axioma de Euclides)
IV Axiomas de congruencia (1 6)
V Axioma de continuidad (Axioma de Arqumedes)
CULES SON LOS 7 AXIOMAS DE LA GEOMETRA
Los axiomas son proposiciones o afirmaciones que relacionan conceptos los
cuales deben ser definidos en funcin al punto, la recta y el plano.
En los diferentes tipos de geometra sinttica se distinguen cuatro grupos de
axiomas. Un quinto grupo de axiomas (el axioma de paralelismo) es el que
distinguir una geometra de otra
Existencia e Incidencia
Son aquellos axiomas que nos dan las condiciones para asegurar la existencia
de puntos, rectas y planos y cmo inciden unos en otros.
Para determinar una recta, son necesarios dos puntos distintos. En cambio,
para determinar un plano son necesarios tres.
Si dos puntos de una recta estn en un plano, toda la recta est en el plano. Si
dos puntos de una recta estn en otra recta, ambas rectas coinciden (son la
misma).
Ordenacin
Estos axiomas ayudan a que la recta quede determinada como lo que
conocemos como recta. Se dividen en:
Axioma de Ordenacin: Dados tres puntos distintos sobre una recta, uno est
entre los otros dos. Asegura que todo segmento sea divisible. Si seleccionamos un
punto cualquiera en una recta, el resto de los puntos de la recta quedan divididos
en dos clases (los que estn en un lado y los que estn en el otro).
Axioma de Pascho: Este axioma garantiza que una recta divide a los puntos del
plano en dos categoras (los que estn de un lado se considera un movimiento).
Dado un tringulo y una recta que no pasa por sus vrtices, o la recta es externa
al tringulo, o pasa por dos de los lados.
Solo existe un movimiento que transforma una semirrecta en otra y un
semiplano determinado por la misma en otro determinado por la otra.
Congruencia
Se definen los conceptos siguientes:
Segmento: Conjunto de puntos consecutivos limitados por otros dos puntos
dentro de una recta.
ngulo: Un punto y un par de semirrectas que parten de l.
Sobre estos dos conceptos se postula la existencia de una relacin de
congruencia que es el equivalente axiomtico de los movimientos. Bsicamente,
dados dos segmentos o dos ngulos, se acepta la existencia de un mtodo que
permite decir si son congruentes o no, basado en los siguientes postulados:
Todo segmento es congruente consigo mismo.
Si un segmento es congruente con uno dado, el dado es congruente con el
primero.
Si dos segmentos son congruentes con un tercero son congruentes entre ellos.
Dados dos segmentos formando un ngulo, congruentes con otros dos que forman
un ngulo congruente, al unir los extremos sueltos para formar dos tringulos, los
tres lados y los tres ngulos sern congruentes
Continuidad
Axioma de Arqumedes: Se impone que un segmento pueda dividirse en dos
indefinidamente.
Axioma de la plenitud: Se impone que el conjunto de puntos de una lnea no
pueda ser ampliado mediante cierres (lmites de sucesiones).
Axiomas bsicos de geometra
Una axiomatizacin prctica la formul Euclides y consta de 5 postulados. Ms
tarde, con el advenimiento de la Teora de conjuntos, David Hilbert propuso unos
axiomas (ms formales) para la Geometra plana, que se pueden clasificar como
sigue:
- Axiomas de incidencia: Relativos a si dos lugares se cortan o no
1-Para cada dos puntos distintos P y QUE existe una recta nica que pasa
por(indice en) ellos.
2-Para cada recta existen al menos dos puntos distintos incidentes con ella.
3-Existen tres puntos de forma que no hay ninguna lnea que pase por los tres.
(es decir, dimensin mnima = 2)
- Axiomas de orden (relativo al orden de los puntos dentro de una misma recta)
Se introduce el orden *, de forma que A*B*C se lee "B est entre A y C".
Denotar r(A,B) la recta determinada por A y B, si A=/=B (A distinto de B)
1-Si A*B*C, entonces A,B, y C son tres puntos distintos que estn en la misma
recta y adems C*A*B.
2- Dados dos puntos distintos B y D, existen tres puntos A, C, y E de r(B,D), de
forma que A*B*D, B*C*D, y B*D*E.
3-Dados tres puntos distintos sobre la misma recta, slo uno de ellos est entre
los otros dos. (orden total)
El siguiente axioma limita la dimensin a 2. Se define que dos puntos A y B
estn a un mismo lado de una recta r si A=B o r(A, B) no incide con r. Se dir que
estn en lados opuestos en caso contrario.
4-(Axioma de separacin de planos) Para toda recta r, y puntos A, B, y C
cualesquiera, que no estn sobre r:
(1) Si A y B estn al mismo lado de r, y B y C estn al mismo lado de r, entonces
A y C estn al mismo lado de r.
(2) Si A y B estn en lados opuestos de r, y B y C estn en lados opuestos de r,
entonces A y C estn en el mismo lado de r.
Este axioma es complicado, pero slo intenta decir que una recta bisecciona el
espacio (esto no sucede en 3D dada la definicin de "estar al mismo lado" dada
arriba).
- Axiomas de congruencia (se refieren a la comparacin de objetos)
AB==CD significar que "los segmentos AB y CD tienen la misma longitud" (o
que "AB es congruente con CD"). Un segmento PQ, dados dos puntos distintos P
y Q, es el conjunto de puntos X, de forma que P*X*Q. Denotar por A->B (A=/=B)
el rayo que va desde A hasta B, es decir, el conjunto de puntos X tales que A*X*B
o A*B*X.
C1-Si A y B son dos puntos distintos, y C un punto cualquiera, entonces para
todo rayo l que parte de C, existe un nico punto D en l tal que D=/=C y AB==CD.
C2-Si AB==CD y ED==CD , entonces AB==ED (transitiva). Adems todo punto es
congruente consigo mismo (reflexiva).
C3-Si A*B*C, A'*B'*C', AB==A'B', y BC==B'C', entonces AC==A'C'.
En el siguiente se usa el concepto de ngulo, que denotar por <ABC, para un
ngulo delimitado por los rayos B->A y B->C.
C4-Dado cualquier ngulo <ABC, y cualquier rayo A'->B, existe un nico rayo
A'->C en un lado dado de la recta r(A', B') tal que <BAC==<B'A'C'.
C5-Si dos ngulos <X e <Y son congruentes (tienen la misma apertura) a un
tercero <Z, entonces <X == <Y.
C6-(primer axioma sobre tringulos que, curiosamente, Euclides da como
teorema) Si dos lados de un tringulo T, que forman un ngulo <alfa, son iguales a
dos lados de otro tringulo T', que forman un ngulo <beta, y <alfa == <beta,
entonces T == T' (ambos tringulos son congruentes).
Definicin: dos tringulos son congruentes si sus lados son congruentes (los
tres de cada uno y de alguna forma) y sus ngulos tambin lo son.
Slo faltan los axiomas que Euclides no pudo concretar, por su dificultad:
- Axiomas de continuidad
-Axioma de Arqumedes. Nos dice que si tenemos un rayo y un punto de