Modelo Cartesiano de Geometria Euclideana.

Ronald Manriquez Peael Lab[e]saM Departamento de Matematica&Estadistica Facultad de Ciencias Naturales&Exactas Universidad de Playa Ancha Valparaiso-Chile

1.

Introduccin

Vamos a considerar 3 grupos de elementos diferentes. Los elementos que componen el primer grupo les llamaremos puntos y los designaremos por las letras A, B, C....Los del segundo grupo se llamarn lineas rectas que denotaremos por a, b, c,..., etc. Los del tercer grupo los llamaremos planos desigandos con , , ....; Puntos, rectas y planos tienen ciertas relaciones mutuas, que se indican a travs de palabras como "se encuentran ", "medio ", "paralelo ", "congruente ", "continuo ", etc .La descripcin completa y exacta de estas relaciones se deduce, como consecuencia de los axiomas de la geometra. Estos axiomas estn dispuestos en cinco grupos, que son los siguientes: Axioma de coneccin, Axioma de orden, Axioma de paralelas, Axioma de congruencia y Axioma de continuidad.

2.
2.1.

Los cinco grupos de axiomas

Axiomas de Coneccin

Los axiomas de este grupo establecen una conexin entre los conceptos indicados anteriormente, es decir, puntos, rectas y planos. Los axiomas son los siguientes Axioma 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 2. Dos puntos distintos determinan completamente una recta, esto signica que si a = AB y a = AC , donde B = C , entonces a = BC . Teorema 3. Dos rectas en el plano tienen un punto en comn o no tiene puntos en comn.

2.2.

Axiomas de Orden

Los axiomas de este grupo denen la idea expresada por la palabra "entre ", y hacen que sea posible, sobre la base de esta idea, un orden de los puntos en una lnea recta en un plano. Los puntos de una lnea recta tienen una cierta relacin entre s que la palabra "entre " sirve para describir. Los axiomas son los siguientes: 1

Axioma 4. Si A, B y C son puntos de una recta y B est entre A y C, entonces B tambin est entre C y A. Axioma 5. Si A y C son puntos de una recta, entonces existe al menos un punto B entre A y C y al menos un punto D situado tal que C est entre A y D. Axioma 6. Dados tres puntos cualesquiera de una recta, existe uno y slo uno de ellos que est situado entre los otros dos. Axioma 7. Dados cuatro puntos cualesquiera A, B, C, D de una recta siempre pueden ser ordenados tal que B este entre A y C y tambin entre A y D; y adems, que C est entre A y D y tambin entre B y D. Denicin 8. Dados dos puntos A y B sobre una recta, llamaremos segmento a los puntos que estn entre A y B , lo denotaremos AB o BA. Los puntos que estn entre A y B se dicen que son puntos del segmento AB o que pertenecen al segmento. Todos los otros puntos de la recta se dicen que estn fuera del segmento. Los puntos A y B son llamados extremos del segmento. Axioma 9. Sean A, B y C tres puntos que no estn sobre la misma recta y sea a una recta que est en el plano ABC y no pasa por los puntos A, B y C. Entonces, si una recta pasa atraves del segmento AB, entonces pasar por un punto del segmento AC o un punto del segmento BC.

2.3.

Axiomas de Paralelas (Axioma de Euclides)

La introduccin de este axioma simplica enormemente los principios fundamentales de la geometra y facilita no en un grado menor su desarrollo. Axioma 10. En un plano , dados una recta a y un punto A, que no pertenece a la recta. Existe una y solo una recta que pasa por el punto A y no intersecta a la recta a. Esta recta es llamada paralela a la recta a que pasa por A. Observacin 11. Este axioma de las paralelas contiene dos armaciones. La primera es que en el plano , hay siempre una recta que pasa por A y no intersecta a la recta a. La segunda es que slo hay una. Teorema 12. Si dos rectas a y b, de un plano no tiene interseccin con una tercera recta c del mismo plano, entonces entre ellas tampoco hay interseccin.

2.4.

Axiomas de Congruencia

Los axiomas de este grupo denen la idea de congruencia o desplazamiento. Entre los segmentos existe una relacin que es descripta por la palabra congruente . Axioma 13. Si A y B son dos puntos en una lnea recta a, y si A es un punto de la misma o de otra recta a , entonces a un lado de A sobre la recta a , podemos encontrar siempre un nico punto B tal que el segmento AB es congruente con A B . Indicaremos esta relacin escribiendo: AB A B Todo segmento es congruente con si mismo, eso signica que AB AB . Axioma 14. Si un segmento AB es congruente a un segmento A B y tambin a un segmento A B , entonces el segmento A B es congruente con el segmento A B . Axioma 15. Sean AB y BC dos segmentos de una recta a que no tienen puntos en comn salvo B , y sean adems,A B yA B y B C dos segmentos en la misma recta o en otra a , que no tiene puntos en comn salvo B . Entonces si AB A B y BC B C entonces tenemos que AC A C . 2

Axioma 16. Sea un ngulo (h, k ) en el plano y sea un recta a en el plano . Supngase que en el plano , se escoge uno de los lados respecto a a . Sea un semirayo h de a que emana de un punto O de dicha recta. Entonces, en el plano existe un nico semirayo k que sale de O de forma que (h, k ) es congruente con (h , k ), y de forma que todos los puntos del interior de (h , k ) estn en el lado escogido de . Se denota por (h, k ) (h , k ). Todo ngulo es congruente consigo mismo. Axioma 17. Si el ngulo (h, k ) es congruente con el ngulo (h , k ) y con el ngulo (h , k ), entonces estos dos son congruentes entre s. Axioma 18. Si dados dos tringulos ABC y A B C se tiene que AB A B , AC A C , BAC B A C , entonces se tiene a su vez ABC A B C y ACB A C B .

2.5.

Axiomas de continuidad

Axioma 19. (Axioma de Arqumedes). Sea A1 un punto cualquiera de una recta, situado entre los puntos arbitrarios A y B de la misma. Tmense los puntos A2 , A3 ,... de tal manera que A1 est entre A yA2 , A2 est entre A1 y A3 ,etc. Supngase adems que los segmentos AA1 , A1 A2 ,A2 A3 ,... son todos congruentes entre s. Entonces, en esta serie existe siempre un cierto An tal que B est entre A y An .