INTRODUCCION

Uno de los aspectos fundamentales en cualquier interpretacin rigurosa de la realidad es la coherencia interna de la explicacin. Es conveniente atender a este aspecto con toda la claridad que sea posible. La lgica se ocupa del estudio de las formas correctas de pensar y sirve, por tanto, no slo para comprobar la validez formal de los argumentos, sino que permite tambin la elaboracin formalmente rigurosa de las explicaciones tericas. En la medida en que las ciencias procuran interpretar la realidad fsica sin depender excesivamente de implcitos no controlables, y en que la realidad que estudian es compleja y difcil de comprender intelectualmente; necesitan aumentar el control sobre las propias formulaciones tericas. Este dominio debe ejercerse en dos campos principales: el significado estricto de las nociones que emplea, y la validez formal de las teoras y leyes en que las ordena. El mtodo que permite dar cumplimiento a estas necesidades es el de la axiomatizacin. Es aplicable en toda su pureza en las llamadas ciencias formales: lgica y matemticas, pero proporciona grandes ventajas en la fsica, y sigue siendo el ideal en otras ramas del saber. No es posible alcanzar un control objetivo absoluto acerca del saber: tenerlo todo explicitado sin presupuestos. No cabe alcanzar un dominio total de la objetividad. Pero s merece la pena que lo objetivable se exprese del modo ms claro y formalmente riguroso que pueda alcanzarse, conscientes de las limitaciones inherentes al intento y de la necesidad de presupuestos no sistematizables para que el conocimiento pueda cumplirse.

SISTEMAS AXIOMTICOS Conceptos Fundamentales del Sistema Axiomtico Proposicin. Es un enunciado o juicio el cual solo puede originar uno y solo uno de los trminos verdadero o falso. Las proposiciones ms comunes que se utilizan son: axiomas, postulados, teoremas y corolarios. Axiomas. Es una verdad que no requiere demostracin y se la cumple en todas las ciencias del conocimiento. Baldor, define Axiomas como una proposicin tan sencilla y evidente que se admite sin demostraciones. Postulados. Es una proposicin aceptada como verdadera. A diferencia de los axiomas, estos se los emplea generalmente en geometra, los mismos que no se han constituido al azar, sino que han sido escogidos cuidadosamente para desarrollar la geometra. Segn Baldor Un postulado es una proposicin no tan evidente como un axioma pero que tambin se admite sin demostracin. Teorema. Es la proposicin cuya verdad necesita ser demostrada: una vez que el teorema se ha probado se lo puede utilizar para la demostracin de otros teoremas, junto con axiomas y postulados. Es una proposicin que puede ser demostrada. La demostracin consta de conjunto de razonamientos que conducen a la evidencia de la verdad de la proposicin, as lo define Baldor. Un teorema consta de: hiptesis (condiciones o datos del problema) y tesis (propiedad a demostrarse).

Corolario. Es la consecuencia de un teorema demostrado. Baldor dice que es una proposicin que se deduce de un teorema como consecuencia del mismo.

Teorema Recproco. Baldor establece que todo teorema tiene su recproco, siendo su hiptesis y tesis la tesis y la hiptesis respectivamente del otro teorema, que se llamara teorema directo. Lema. Baldor dice que una proposicin que sirve de base a la demostracin de un teorema, es decir, que es como un teorema preliminar a otro que se considera ms importante. Escolio. Es una observacin que se hace sobre un teorema previamente demostrado. Problema. Es una proposicin en la que se pide construir una figura que rena ciertas condiciones o bien calcular el valor de alguna magnitud geomtrica. Razonamiento Lgico. Cuando una persona se empea en una "reflexin clara" o en una reflexin rigurosa, est empleando la disciplina del razonamiento lgico. Demostraciones. Es un conjunto de razonamientos que demuestra la verdad de la proposicin junto con axiomas y postulados. Una demostracin bien elaborada solo puede basarse en proposiciones antes demostradas, la demostracin tambin es necesaria para fundamentar la generalidad de la proposicin que se demuestra. Por medio de las proposiciones, las verdades geomtricas se reducen a un sistema armonioso de conocimientos cientficos.

Mtodos de Demostraciones Mtodo Inductivo. Es un razonamiento que parte de conocimientos o verdades particulares para obtener mediante ellos una verdad general. Mtodo Deductivo. Es un razonamiento que parte de conocimientos o verdades generales para obtener mediante ellos una verdad particular.

El mtodo deductivo es el ms usado en la Geometra, el cual consiste en encadenar conocimientos que se suponen verdaderos de manera tal. Que se obtienen nuevos conocimientos.

Procedimiento de una Demostracin La demostracin formal de un teorema consiste en cinco partes 1. El enunciado del teorema. 2. Hacer un grfico que ilustre el teorema. 3. Una afirmacin de lo que es el dato en trminos del grfico (hiptesis). 4. Una afirmacin de lo que debe probarse (tesis). 5. Demostracin. Resea y Definicin de Sistemas Axiomticos La antigedad de la Geometra se remonta a los babilonios y egipcios, pueblo que entre los aos 2000 y 200 A.C. hicieron uso prctico de la misma como una respuesta a problemas cotidianos. Cuando surge la necesidad de efectuar medidas de objetos o extensiones de tierra, el hombre comienza a crear abstracciones como el punto, la recta y el plano. Se establece as un puente entre las formas que a diario el hombre observa y las representaciones simblicas que utiliza para referirse a ellas. Los conocimientos desarrollados por los babilonios y egipcios fueron transmitidos a la civilizacin griega, en cuyo seno no son slo asimiladas, sino que son objeto de profunda reflexiones que produjeron avances significativos de la Geometra. Los griegos desarrollaron la Geometra como una ciencia lgica y fueron responsables de la demostracin de muchos teoremas. A pesar de que los griegos desarrollaron otras reas de la matemtica, la geometra fue perfeccionada a tal grado que la influencia de los antiguos matemticos griegos se ha mantenido durante 20 siglos. Es la poca de los grandes filsofos griegos entre quienes se destacan Thales de Mileto, Pitgoras, Anaxgoras, Demcrito, Hipcrates, Platn. Durante los dos ltimos siglos el mtodo axiomtico ha ido adquiriendo fuerza y vigor crecientes. Nuevas y viejas ramas de las matemticas fueron provistas de los que parecan ser unos adecuados conjuntos de axiomas. Naci as un estado de opinin en el que se admita tcitamente que todos los sectores del pensamiento

matemtico podan ser dotados de unos conjuntos de axiomas susceptibles de desarrollar sistemticamente la infinita totalidad de proposiciones verdaderas suscitadas en el campo sujeto a investigacin. Se denomina sistema axiomtico al procedimiento mediante el cual las ciencias formales, teniendo en cuenta el aspecto dinmico que involucra la formulacin de axiomas y la justificacin de ciertos enunciados que se obtienen a partir de los axiomas mediante procedimientos de transformacin. Si en cambio se consideran estticamente los resultados de la aplicacin del mtodo, es decir, su aspecto estructural, se estara analizando deductivos o formales. El mtodo axiomtico consiste en aceptar sin prueba ciertas proposiciones como axiomas o postulados, y en derivar luego de esos axiomas todas las dems proposiciones del sistema, en calidad ya de teoremas. Los axiomas constituyen los "cimientos" del sistema; los teoremas son las "superestructuras", y se obtienen a partir de los axiomas sirvindose, exclusivamente, de los principios de la lgica. La principal caracterstica de un sistema axiomtico es que si puede demostrarse de alguna manera la verdad de los axiomas, quedan automticamente garantizadas tanto la verdad como la consistencia mutua de todos los teoremas. Lo caracterstico del sistema axiomtico como realizacin de la idea de clculo consiste en disponer de un conjunto de enunciados o frmulas que se admiten sin demostracin y a partir de los cuales se obtienen todas las dems afirmaciones de la teora, las cuales se llaman teoremas. Y las frmulas aceptadas sin discusin son axiomas o postulados. El conjunto de axiomas, ms la definicin de enunciado o frmula del sistema (definicin que precede al enunciado de los axiomas) y el conjunto de las reglas para la obtencin de teoremas a partir de los axiomas (reglas de transformacin) constituyen la base primitiva del sistema. Aristteles llama axiomas a las proposiciones indemostrables, evidentes en s mismas (inmediatamente verdaderas) que sirven de principios a los teoremas (verdades deducidas o mediatas) de una teora cientfica. Hoy se entiende por axioma, ms simplemente, una frmula del sistema convencionalmente elegida como postulado, que viene del latn postulare, pedir, porque le "pedimos" al interlocutor que acepte provisionalmente su verdad. Se puede decir entonces que los axiomas no definen unos entes concretos, unos conceptos primitivos concretos, sino toda una serie de entes o de conceptos

primitivos. Los axiomas no versan sobre nada concreto, sobre nada definido explcitamente, sino sobre una vaguedad de conceptos primitivos restringidos exclusivamente por las propiedades que los axiomas enuncien. Esta abstraccin progresiva de las matemticas y de los sistemas axiomticos hizo exclamar a Bertrand Russell: La matemtica es la ciencia en la que no se sabe de qu se habla ni siquiera si lo que se dice es verdadero. Tipos de Sistemas Axiomticos 1. Sintcticos. Llamados tambin clculos o sistemas no interpretados, que se caracterizan por el hecho de que sus expresiones carecen de significado, estn compuestos por frmulas entendidas como meras sucesiones de signos. Los axiomas y teoremas son consecuentemente frmulas vacas, puesto que contienen signos que no tienen referencia. 2. Semnticos. Tambin conocidos como Interpretados los cuales estn formados por enunciados, es decir, oraciones que poseen significados y valores de verdad.

Componentes de los Sistemas Axiomticos Segn el enfoque moderno se enunciaran los que forman parte de los sistemas sintcticos, que ciertos agregados que bajo ciertas condiciones sern sistemas semnticos. Los trminos primitivos o alfabeto bsico son un listado de signos que no se lo definen dentro del sistema y que podrn ser utilizados para definir otros. Adems se pueden dividir en signos propios o impropios. Los Signos propios son aquellos que al ser interpretados o se les asigna significados se refieren a objetos especficos de la teora. Pueden ser constantes (se refiere a entidades determinadas) y Variables (se refiere a lugares que puedan ser ocupados por distintas entidades que constituyen e dominio de la variable)

Los signos impropios son aquellos que pertenecen a la lgica subyacente presupuesta en los sistemas matemticos y explicitados en los sistemas lgicos. Morfologa. En todo sistemas se establecen explcita o implcitamente las formas en que pueden combinarse los signos en la formula, siendo sta una sucesin finita de trminos. Las definiciones permiten introducir en los sistemas axiomticos signos nuevos a partir de los trminos primitivos, que seran los trminos definidos. Los axiomas constituyen un conjunto de frmulas bien formadas que se adoptan como punto de partida o frmulas iniciales, las cuales se aceptan sin demostracin. Las reglas de inferencias son reglas cuya funcin principal es la de generar nuevas frmulas a partir de los axiomas. Son en general procedimientos para obtener frmulas nuevas a partir de otras frmulas y se denominan regla de transformacin y es todo lo que se necesita si se adopta una concepcin sintactista de los sistemas axiomticos. Una demostracin es una secuencia de frmulas bien formadas donde cada una de ellas es o bien un axioma o bien se ha obtenido a partir de frmulas anteriores mediante la aplicacin de reglas de inferencias. Un teorema es la ltima frmula de una demostracin.

Propiedades de los Sistemas Axiomticos 1. Consistencia. Se pretende la exigencia de coherencia, es decir, que en un sistema axiomtico no puede inferirse dos teoremas contradictorios a partir de los axiomas. Partiendo de los axiomas no debe ser posible deducir o demostrar un teorema y su negacin. Es decir, el sistema no debe suponer contradicciones. Ejemplo: Si se deduce el teorema T en el sistema axiomtico S, no puede inferirse tambin el teorema no-T en el mismo sistema. Este requisito de consistencia es el ms importante en lo que debe satisfacer un sistema axiomtico.

2. Completitud. Significa que no es posible aadir al sistema una frmula bien formada que no sea teorema sin que el sistema se vuelva inconsistente. Se llama completo a un sistema S, si dada una frmula bien formada f, de S, o esta frmula o su negacin (no-f) es un teorema de S. Todo enunciado bien formulado que no sea deducible de sus axiomas tiene que estar en contradiccin con una tesis del sistema. Es decir: Sea L un Sistema Axiomtico cualquiera, es decidible o completo si y slo si, dada una frmula f cualquiera de dicho lenguaje L, hay un medio para averiguar con seguridad deductiva si f es verdadero o falso en L.

3. Independencia. Los axiomas o frmulas iniciales del sistema son independientes cuando ninguno de ellos pueden ser teoremas en el mismo sistema. Es decir, ninguno de los axiomas puede ser deducido, demostrado a partir de los dems, cada axioma debe ser independiente de los otros. TRMINOS PRIMITIVOS Un sistema axiomtico est formado por un conjunto de conceptos primitivos y de axiomas. La Seleccin de conceptos primitivos y axiomas en la construccin de una ciencia es, en cierta manera arbitraria, y esa escogencia puede dar lugar a diferencias notables en la naturaleza de la ciencia que resulta. El axiomatismo moderno no slo no acepta la evidencia de los axiomas de las teoras, sino tampoco la intuitividad de los trminos bsicos de las mismas: punto, recta, plano, etc., no tienen significado por s mismos. Son conceptos indefinidos, que slo cuando se combinan por medio de unos u otros axiomas comienzan a quedar implcitamente definidos. Establecidas unas reglas de inferencia lgica, a partir de los axiomas puede deducirse una serie de teoremas, pero durante esta fase deductiva nada tiene significado: el clculo es pura sintaxis. nicamente cuando, una vez derivadas las expresiones bien formadas que pueden inferirse de

los axiomas y de los trminos primitivos (no definidos), se comienza a buscar interpretaciones de dicho clculo formal, los trminos comienzan a adquirir significado y los axiomas pasan a ser verdaderos o falsos.

Punto. La idea de punto es fundamental en geometra. Todas las figuras son conjunto de puntos. El punto no tiene tamao pero sirve para sealar una posicin en el espacio. El punto es considerado una figura de dimensin cero. Entonces podemos resumir que el punto tiene las siguientes caractersticas: Slo tiene posicin en el espacio (ubicacin) No tiene dimensin. (Longitud, anchura y altura) La marca ms pequea que se puede dibujar.

Se usa una marca para dibujar un punto y una letra latina mayscula para nombrarlo. P Fig. 1 Este punto se llama punto P. Recta. La recta tiene longitud pero ausencia de grosor, es indefinida en ambos sentidos. Es considerada una figura de dimensin uno. La recta, la menor distancia que existe entre dos puntos. La recta geomtrica se extiende sin lmite en dos sentidos opuestos. Se denotan las rectas por dos de sus puntos mediante el smbolo:

Fig. 2 Esta recta se llama recta recta AB. Plano.

El plano tiene longitud y ancho, pero carece de grosor, se extiende indefinidamente en todas las direcciones. Se considera como una figura de dimensin dos. Un plano se considera constituido por un conjunto infinito de puntos. Se denota el plano por cuatro de sus puntos y mediante el siguiente smbolo:

Fig. 3 El plano se nombra con una letra griega. Este plano se llama plano . Espacio. El conjunto de todos puntos se llama espacio. Relacin de Puntos, Rectas y Planos. Cuando se dice que un punto A est en la recta , describe una situacin como el de la figura 4. Tambin se puede decir el punto A pertenece a la recta o el punto A es un elemento de la recta o la recta contiene el punto A o la recta pasa por el punto A.

A
Fig. 4. Utilizando los trminos no definidos de punto, recta y plano, se puede definir otros trminos geomtricos como lo son Puntos Colineales, Coplanares, Rectas Secantes, Rectas Concurrentes y Relacin Estar Entre.

a) Puntos Colineales. Tres o ms puntos se denominan colineales o alineados si todos pertenecen a la misma recta.

D
Fig. 5. Los puntos A, B y C son colineales. Los puntos A, B y D no son colineales. b) Puntos Coplanares. Cuatro o ms puntos se denominan Coplanares si todos pertenecen al mismo plano. Tres puntos siempre son Coplanares, es decir, pertenecen al mismo plano.

A C

B D

Fig. 6. c) Rectas Secantes. Dos rectas en un plano se llaman secantes si tienen un punto en comn. Tambin se conocen como rectas que se cortan.

Fig. 7.

Estos pares de rectas son secantes

No son Secantes

d) Rectas Concurrentes. Tres o ms rectas en un plano se denominan concurrentes si tienen un punto en comn.

Estas rectas son concurrentes.

Fig. 8.

Estas rectas no son concurrentes.

e) Relacin Estar entre. Si los puntos colineales A, B y C estn como se muestra en la figura 9, se dice que el punto B est entre los puntos A y C. S los puntos no son colineales no se utiliza la expresin estar entre para describir su relacin.

C B A

Fig. 9. POSTULADOS Y TEOREMAS DE LA RECTA, PLANO Y ESPACIO 1. Postulado de la Existencia de los Puntos. Una recta contiene por lo menos dos puntos. Un plano contiene por lo menos tres puntos no colineales. El espacio contiene por lo menos cuatro puntos no Coplanares.

Este postula sirve de base para asegurar que una recta tiene al menos dos puntos.

Fig. 10. 2. Postulado del punto y la recta. Dos puntos distintos determinan una nica recta.

Fig. 11. La recta que contiene los punto A y B se denota por , aqu la raya con dos

puntas de flechas sobre la recta A y B. La notacin sugiere que la recta se determina al nombrar los puntos A y B. Definiciones. Para dos puntos cualesquiera A y B, el segmento A y B se llaman los extremos de . . es el conjunto de los puntos A y B, y de todos los puntos que est entre A y B. los puntos Definicin. El nmero AB se llama la longitud del segmento

3. Postulado del punto y el Plano. Tres puntos distintos no colineales determinan un nico plano.

Fig. 12. 4. Postulado de puntos, rectas y planos. Si dos puntos pertenecen a un plano, la recta que ellos determinan est contenida en el plano.

Fig. 13. 5. Postulado de la interseccin de planos. Si dos planos se cortan, su interseccin es una recta.

Fig. 14. 6. Postulado de Separacin del Plano. conjuntos tales que: Cada uno de los conjuntos se convexo, y Si P est en uno de los conjuntos y Q en el otro, entonces el segmentos interseca a la recta. Definicin. Dada una recta L y un plano E que la contiene, los dos conjuntos determinados por el postulado de separacin del plano se llaman semiplanos o lados de L, y L se llama la arista o el borde de cada uno de ellos. Si P est en uno de los semiplanos y Q est en el otro, entonces se dice que P y Q estn a lados opuestos de L. El postulado nos dice dos cosas acerca del modo que una recta separa al plano en semiplanos. Si dos puntos estn en el mismo semiplano, entonces el segmento que los une est en el mismo semiplano y, por tanto, nunca interseca a la recta. Si dos puntos estn en semiplanos opuestos, entonces el segmento que une los dos puntos siempre interseca a la recta. Se da una recta y un plano que la

contiene. Los puntos del plano que no estn en la recta forman dos

Un plano separa al espacio exactamente del mismo modo que una recta separa a un plano.

7. Postulado de separacin del espacio. Los puntos del espacio que no estn en un plano dado forman dos conjuntos tales que Cada uno de los conjuntos es convexo, y Si P est en uno de los conjuntos y Q est en el otro, entonces el segmento interseca al plano.

Definicin. Los dos conjuntos determinados por el postulado de separacin del espacio se llaman semiespacio, y el plano dado se llama la cara de cada uno de ellos. i. Teorema 1. Todo segmento tiene exactamente un punto medio.

Demostracin. Interesa obtener un punto que satisfaga las siguientes condiciones: Las dos ecuaciones dicen que

Por el teorema, hay exactamente un punto B del rayo de A. por consiguiente,

que est a la distancia

tiene exactamente un punto medio.

Definicin. Decimos que el punto medio de un segmento biseca al segmento. ii. Teorema 2. Si dos rectas diferentes se intersecan, su interseccin contiene un punto solamente. Demostracin. Si dos rectas diferentes se intersecaran en dos puntos diferentes P y Q, entonces habra dos rectas que contienen a los puntos P y Q. Pero, el postulado de la recta nos dice que esto no puede suceder. De ahora en adelante, siempre que se hable de dos rectas, o dos planos, entenderemos que las rectas o los planos son distintos. Es decir, cuando hablamos

de dos cosas, se entender siempre que son en realidad, dos cosas distintas. Pero, si se dice simplemente que P y Q son puntos, se admite la posibilidad de que P = Q. iii. Teorema 3. Si una recta interseca a un plano que no la contiene, entonces la interseccin contiene un solo punto. iv. Teorema 4. Dada una recta y un punto fuera de ella, hay exactamente un plano que contiene ambos. v. Teorema 5. Dada dos rectas que se intersecan, hay exactamente un plano que las contiene.

TRIANGULO, CONGRUENCIA, CLASIFICACION Y BISECTRIZ DE UN ANGULO La congruencia de tringulos se basa en el estudio de la igualdad entre tringulos, es decir, gracias a esto podemos saber si esos dos tringulos o ms son congruentes (iguales) entre s. Dicho de modo sencillo, nos permite comparar varios tringulos y saber si son iguales (si tienen los mismos ngulos en sus vrtices y si sus lados miden lo mismo). Entonces, sabemos que si dos tringulos tienen tres ngulos y tres lados iguales entre si, son iguales ( o congruentes), ahora bien, no es necesario en todos los casos verificar uno a uno todos esos elementos. Hay veces que con mirar tres pares de elementos nos llega, para ello vamos a utilizar los llamados criterios de congruencia, viendo cada una de las posibilidades por separado: 1 LLL Considerando dos tringulos de lados a, b y c y a, b y c, se dice que son congruentes, si sus lados son iguales entre s, es decir:

**Pista**: Las letras en mayscula denotan los vrtices, mientras que las minsculas se refieren a los lados, mas adelante usaremos letras griegas (beta, gamma) para referirnos a los ngulos, es solo nomenclatura establecida, es decir, es as porque se pusieron de acuerdo entre todos.

2 LAL

Considerando los mismos tringulos de lados a, b y c y a, b y c respectivamente, se dice que son congruentes si tienen dos lados iguales y el ngulo que se forma con la unin de estos (en el vrtice). En este caso hemos subrayado en negrita los lados congruentes que forman los ngulos y , tambin congruentes entre ellos, es decir, que tienen la misma amplitud.

3 ALA Teniendo un lado igual (que mida lo mismo, es decir, que sea congruente), y con los ngulos que se forman en los extremos de dicho lado tambin congruentes. A estos ngulos se les denomina adyacentes al lado y los denominaremos y y y para los del otro tringulo.

4 LLA Con dos lados iguales (congruentes) y los ngulos opuestos al mayor de los lados tambin son congruentes.

Considerando beta y beta prima ngulo iguales y lo mismo para ay b con sus homnimos a y b.

Por ahora terminamos este tema de congruencia, mis disculpas por la tardanza pero en breve volver a postear con normalidad.

Bisectriz de un ngulo La bisectriz de un ngulo formado por dos rectas r y s que se cortan en el punto V se define como el lugar geomtrico de los puntos del plano que estn a la misma distancia de la recta r que de la recta s. La bisectriz de un ngulo es otra recta concurrente con las dos que forman el ngulo, es decir, que pasa tambin por el vrtice V del ngulo.

Evidentemente, dos rectas r y s que se cortan dividen al plano en cuatro regiones y forman igualmente cuatro ngulos distintos con el mismo vrtice. De estos cuatro ngulos los que son opuestos por el vrtice son iguales entre s y los adyacentes son complementarios. Los ngulos opuestos por el vrtice comparten la misma bisectriz, mientras que las bisectrices de dos ngulos complementarios adyacentes son ortogonales (perpendiculares).

Para determinar la bisectriz del ngulo determinado por dos semirectas r y s con origen en un vrtice comn V habr que determinar primero un punto P que equidiste de las dos semirectas. Una vez determinado ste, la semirecta con origen en V que pasa por el punto P ser la bisectriz buscada.

Una posibilidad es trazar una recta paralela a r a una distancia d de la misma, y otra recta paralela a s que est a la misma distancia d de ella. Ambas paralelas se cortarn en un punto P, que equidista de r y s, siendo por lo tanto la recta VP la bisectriz del ngulo formado por r y s.

Dados un punto M sobre la recta r y otro punto N sobre la recta s, ambos a la misma distancia del vrtice V, la bisectriz del ngulo formado por las rectas r y s coincidir con la mediatriz del segmento MN, lo que nos brinda una construccin alternativa de la bisectriz de un ngulo.

Cuando el vrtice del ngulo no es accesible (est fuera de los lmites del papel) se dibuja una recta cualquiera que atraviese a las dos dadas. Se dibujan las bisectrices de los cuatro ngulos que se forman entre las dos rectas dadas y la auxiliar. Uniendo los puntos de corte de las cuatro bisectrices se obtiene la bisectriz de las dos rectas dadas.

TEOREMA DEL CATETO En todo tringulo rectngulo un cateto es media

proporcional entre la hipotenusa y su proyeccin sobre ella. a b y c m n hipotenusa catetos proyeccin del cateto b sobre la hipotenusa proyeccin del cateto c sobre la hipotenusa

LA HIPOTENUSA de un tringulo rectngulo mide 30 cm y la proyeccin de un cateto sobre ella 10.8 cm. Hallar el otro cateto.

CONCLUSIONES La Geometra nace a partir de la necesidad de efectuar medidas de objetos o extensiones de tierra, entonces el hombre comienza a crear abstracciones como el punto, la recta y el plano, dando sentido a las formas que a diario el hombre observa y permite hacer las representaciones simblicas que utiliza para referirse a ellas. Los conocimientos desarrollados por los babilonios y egipcios fueron transmitidos a los griegos quienes desarrollaron la Geometra como una ciencia lgica y fueron responsables de la demostracin de muchos teoremas. Los sistemas axiomticos consisten en aceptar sin pruebas proposiciones para formar otras que s deben ser demostradas. Un sistema axiomtico est formado por un conjunto de conceptos primitivos y de axiomas. El mtodo axiomtico consiste en aceptar sin prueba ciertas proposiciones como axiomas o postulados, y en derivar luego de esos axiomas todas las dems proposiciones del sistema, en calidad ya de teoremas. Los axiomas constituyen los bases del sistema. Caracterizndose por poder demostrar de alguna manera la verdad de los axiomas, y as quedan automticamente garantizadas tanto la verdad como la consistencia mutua de todos los teoremas. Los sistemas axiomticos evitan definirlo todo y adopta una serie de conceptos primitivos que no se define por s solos. Se puede decir entonces que los axiomas no definen unos entes concretos, unos conceptos primitivos concretos, sino toda una serie de entes o de conceptos primitivos. Existen dos tipos de sistemas axiomticos Sintcticos. (Clculos o sistemas no interpretados), que se caracterizan por el hecho de que sus expresiones carecen de significado, estn compuestos por frmulas entendidas como meras sucesiones de signos. Semnticos. (Interpretados) los cuales estn formados por enunciados. Las propiedades de los sistemas axiomticos son: La consistencia que exige la coherencia, es decir, que no se pueden hacer inferencias en dos teoremas contradictorios. La completitud que significa que no es posible aadir al sistema una frmula bien formada que no sea teorema sin que el sistema se vuelva inconsistente.

La independencia significa que ninguno de los axiomas puede ser deducido, demostrado a partir de los dems, cada axioma debe ser independiente de los otros. Un sistema axiomtico est formado por un conjunto de conceptos primitivos (punto, recta y plano) y de axiomas. La Seleccin de conceptos primitivos y axiomas en la construccin de una ciencia es, en cierta manera arbitraria, y esa escogencia puede dar lugar a diferencias notables en la naturaleza de la ciencia que resulta.

REFERENCIAS BIBLIOGRFICAS Baldor, J. (2003). Geometra Plana y del Espacio y Trigonometra. Publicaciones Cultural. 19 Edicin. Mxico. http://filosofayciudadana.blogspot.com/2009/05/sistema-axiomaticoformal.html http://www.monografias.com/trabajos6/gepla/gepla.shtml http://www.monografias.com/trabajos14/logica/logica.shtml Jpiter, F. Matemtica 2. Ediciones CO-BO. Moise E y Down F. (1986). Geometra Moderna. Addison Wesley Iberoamricano. Argentina. MPPME (2007). Subsistema Educacin Primaria Bolivariana. Liceos Bolivarianos. Currculo y Orientaciones Metodolgicas. MPPME (2007). Subsistema Educacin Secundaria Bolivariana. Liceos Bolivarianos. Currculo y Orientaciones Metodolgicas. Salazar, J y Rojas J. (2005). Geometra. Serie Azul. FEDUPEL. Caracas.

REPUBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA EDUCACION SUPERIOR UNIVERSIDAD PEDAGOGICA EXPERIMENTAL LIBERTADOR MARACAIBO EDO. ZULIA

ALGEBRA

REALIZADO POR: ARMANDO GONZALEZ ALBERTO DARIS ENDRIS MESA JOANYS ZAMBRANO DANIELA ZAMBRANO DICIEMBRE 2011

ESQUEMA

y y

INTRODUCCION DESARROLLO A) SISTEMAS AXIOMATICOS, TERMINOS PRIMITIVOS, POSTULADO DE LA RECTA DEL PLANO Y ESPACIO. B) TRIANGULOS, CONGRUENCIA, CLASIFICACION, BISECTRIZ DE UN ANGULO C) TEOREMA DEL CATETO Y LA HIPOTENUSA

y y

CONCLUSION REFERENCIAS BIBLIOGRAFICAS