Antecedentes historicos

Geometra (del griego geo, 'tierra'; metrein, 'medir'), rama de las matemticas que se ocupa de las propiedades del espacio. En su forma ms elemental, la geometra se preocupa de problemas mtricos como el clculo del rea y dimetro de figuras planas y de la superficie y volumen de cuerpos slidos. Otros campos de la geometra son la geometra analtica, geometra descriptiva, topologa, geometra de espacios con cuatro o ms dimensiones, geometra fractal, y geometra no eucldea. Geometra demostrativa primitiva El origen del trmino geometra es una descripcin precisa del trabajo de los primeros gemetras, que se interesaban en problemas como la medida del tamao de los campos o el trazado de ngulos rectos para las esquinas de los edificios. Este tipo de geometra emprica, que floreci en el Antiguo Egipto, Sumeria y Babilonia, fue refinado y sistematizado por los griegos. En el siglo VI a.C. el matemtico Pitgoras coloc la piedra angular de la geometra cientfica al demostrar que las diversas leyes arbitrarias e inconexas de la geometra emprica se pueden deducir como conclusiones lgicas de un nmero limitado de axiomas, o postulados. Estos postulados fueron considerados por Pitgoras y sus discpulos como verdades evidentes; sin embargo, en el pensamiento matemtico moderno se consideran como un conjunto de supuestos tiles pero arbitrarios. Un ejemplo tpico de los postulados desarrollados y aceptados por los matemticos griegos es la siguiente afirmacin: "una lnea recta es la distancia ms corta entre dos puntos". Un conjunto de teoremas sobre las propiedades de puntos, lneas, ngulos y planos se puede deducir lgicamente a partir de estos axiomas.

Pitgoras

Entre estos teoremas se encuentran: "la suma de los ngulos de cualquier tringulo es igual a la suma de dos ngulos rectos", y "el cuadrado de la hipotenusa de un tringulo rectngulo es igual a la suma de los cuadrados de los otros dos lados" (conocido como teorema de Pitgoras). La geometra demostrativa de los griegos, que se ocupaba de polgonos y crculos y de sus correspondientes figuras tridimensionales, fue mostrada rigurosamente por el matemtico griego Euclides, en su libro "Los elementos". El texto de Euclides, a pesar de sus imperfecciones, ha servido como libro de texto bsico de geometra hasta casi nuestros das.
Primeros problemas geomtricos

Los griegos introdujeron los problemas de construccin, en los que cierta lnea o figura debe ser construida utilizando slo una regla de borde recto y un comps. Ejemplos sencillos son la construccin de una lnea recta dos veces ms larga que una recta dada, o de una recta que divide un ngulo dado en dos ngulos iguales. Tres famosos problemas de construccin que datan de la poca griega se resistieron al esfuerzo de muchas generaciones de matemticos que intentaron resolverlos: la duplicacin del cubo (construir un cubo de volumen doble al de un determinado cubo), la cuadratura del crculo (construir un cuadrado con rea igual a un crculo determinado) y la triseccin del ngulo (dividir un ngulo dado en tres partes iguales). Ninguna de estas construcciones es posible con la regla y el comps, y la imposibilidad de la cuadratura del crculo no fue finalmente demostrada hasta 1882.

Los griegos, y en particular Apolonio de Perga, estudiaron la familia de curvas conocidas como cnicas y descubrieron muchas de sus propiedades fundamentales. Las cnicas son importantes en muchos campos de las ciencias fsicas; por ejemplo, las rbitas de los planetas alrededor del Sol son fundamentalmente cnicas. Arqumedes, uno de los grandes cientficos griegos, hizo un considerable nmero de aportaciones a la geometra. Invent formas de medir el rea de ciertas figuras curvas as como la superficie y el volumen de slidos limitados por superficies curvas, como paraboloides y cilindros. Tambin elabor un mtodo para calcular una aproximacin del valor de pi, la proporcin entre el dimetro y la circunferencia de un crculo y estableci que este nmero estaba entre 3 10/70 y 3 10/71. Geometra analtica La geometra avanz muy poco desde el final de la era griega hasta la edad media. El siguiente paso importante en esta ciencia lo dio el filsofo y matemtico francs Ren Descartes, cuyo tratado "El Discurso del Mtodo", publicado en 1637, hizo poca. Este trabajo fragu una conexin entre la geometra y el lgebra al demostrar cmo aplicar los mtodos de una disciplina en la otra. ste es un fundamento de la geometra analtica, en la que las figuras se representan mediante expresiones algebraicas, sujeto subyacente en la mayor parte de la geometra moderna. Otro desarrollo importante del siglo XVII fue la investigacin de las propiedades de las figuras geomtricas que no varan cuando las figuras son proyectadas de un plano a otro. Un ejemplo sencillo de geometra proyectiva queda ilustrado en la figura 1. Si los puntos A, B, C y a, b, c se colocan en cualquier posicin de una cnica, por ejemplo una circunferencia, y dichos puntos se unen A con b y c, B con c y a, y C con b y a, los tres puntos de las intersecciones de dichas lneas estn en una recta.

Apolonio de Perga

De la misma manera, si se dibujan seis tangentes cualesquiera a una cnica, como en la figura 2, y se trazan rectas que unan dos intersecciones opuestas de las tangentes, estas lneas se cortan en un punto nico.

Este teorema se denomina proyectivo, pues es cierto para todas las cnicas, y stas se pueden transformar de una a otra utilizando las proyecciones apropiadas, como en la figura 3, que muestra que la proyeccin de una circunferencia es una elipse en el otro plano.

Modernos avances La geometra sufri un cambio radical de direccin en el siglo XIX. Los matemticos Carl Friedrich Gauss, NikoliLobachevski, y JnosBolyai, trabajando por separado, desarrollaron sistemas coherentes de geometra no eucldea. Estos sistemas aparecieron a partir de los trabajos sobre el llamado "postulado paralelo" de Euclides, al proponer alternativas que generan modelos extraos y no intuitivos de espacio, aunque, eso s, coherentes. Casi al mismo tiempo, el matemtico britnico Arthur Cayley desarroll la geometra para espacios con ms de tres dimensiones. Imaginemos que una lnea es un espacio unidimensional. Si cada uno de los puntos de la lnea se sustituye por una lnea Carl Fiedrich Gauss perpendicular a ella, se crea un plano, o espacio bidimensional. De la misma manera, si cada punto del plano se sustituye por una lnea perpendicular a l, se genera un espacio tridimensional. Yendo ms lejos, si cada punto del espacio tridimensional se sustituye por una lnea perpendicular, tendremos un espacio tetradimensional. Aunque ste es fsicamente imposible, e inimaginable, es conceptualmente slido. El uso de conceptos con ms de tres dimensiones tiene un importante nmero de aplicaciones en las ciencias fsicas, en particular en el desarrollo de teoras de la relatividad.

Tambin se han utilizado mtodos analticos para estudiar las figuras geomtricas regulares en cuatro o ms dimensiones y compararlas con figuras similares en tres o JnosBolyai menos dimensiones. Esta geometra se conoce como geometra estructural. Un ejemplo sencillo de este enfoque de la geometra es la definicin de la figura geomtrica ms sencilla que se puede dibujar en espacios con cero, una, dos, tres, cuatro o ms dimensiones.

En los cuatro primeros casos, las figuras son los bien conocidos punto, lnea, tringulo y tetraedro respectivamente. En el espacio de cuatro dimensiones, se puede demostrar que la figura ms sencilla est compuesta por cinco puntos como vrtices, diez segmentos como aristas, diez tringulos como caras y cinco tetraedros. El tetraedro, analizado de la misma manera, est compuesto por cuatro vrtices, seis segmentos y cuatro tringulos.Otro concepto dimensional, el de dimensiones fraccionarias, apareci en el siglo XIx

Arthur Cayley

Conceptos bsicos de la geometra y trigonometra

Proposicin: Una proposicin es un enunciado del que se puede decir si es verdadero o falso, pero no ambas cosas a la vez. Ejemplo: "Santiago de Chile es la capital de Colombia". Axioma: proposicin evidente que se acepta como verdadera sin necesidad de una demostracin. "Los axiomas son las leyes ms generales de la cantidad y del espacio" (G. Fingermann). Ejemplo: "El todo es mayor que cualquiera de sus partes". Postulado: un postulado es una verdad no tan evidente como un axioma pero que tambin se acepta sin una previa demostracin. "El postulado es una arbitraria suposicin establecida por el matemtico". Ejemplo: "Existen infinitos puntos". Definiciones: "antes de que pueda probarse una proposicin en geometra, debemos convenir en ciertas definiciones y propiedades de las figuras geomtricas. Es necesario que los trminos que usemos en las demostraciones geomtricas tengan exactamente el mismo significado para cada uno de nosotros. En geometra una buena definicin tiene dos propiedades importantes: 1. Las palabras en la definicin deben ser ms sencillas que la palabra que se est definiendo y deben ser fciles de comprender. 2. La definicin debe ser una proposicin reversible. Ejemplo: si se define "ngulo recto" como aqul cuya medida es de 90, se supone que cada trmino de la definicin es claro y, que si tenemos un ngulo recto, tenemos un ngulo cuya medida es 90. Recprocamente, si tenemos un ngulo cuya medida es 90, tenemos un ngulo recto" (E. M. Hemmerling). Trminos indefinidos: son trminos que no se definen porque no es posible definirlos con palabras ms sencillas que la que se uiliza para designar el trmino. En geometra se utilizan tres trminos indefinidos: punto, recta y plano. Teorema: una proposicin que es demostrable o refutable aplicando la lgica formal a partir de axiomas o postulados se denomina teorema. Un teorema tambin se puede demostrar apoyndose en teoremas previos. En todo teorema se distinguen tres partes: Hiptesis: supuestos o datos conocidos Tsis: lo que se quiere demostrar Demostracin: procedimiento lgico en el que se utilizan los conocimientos previos para mostrar la verdad de un teorema. Corolario: es un teorema que surge como consecuencia de otro. Teorema recproco: todo teorema tiene su recproco. La hiptesis y la tsis del recproco son, respectivamente, la tsis y la hiptesis del otro teorema (teorema directo). No siempre los teoremas recprocos son verdaderos.

Lema: es una proposicin o teorema preliminar que sirve de base a la demostracin de un teorema. Escolio: obsevacin que se hace sobre un teorema previamente demostrado. Problema: un problema es una proposicin en la que se pide construir una figura que reune ciertas condiciones (problema grfico) o bien calcular el valor de una magnitud geomtrica (problema numrico). Punto: un punto es un trmino indefinido. No se puede definir. La huella que deja un lpiz bien afilado sobre una hoja de papel nos sugiere la idea de un punto. Un punto carece de dimensiones, es slo una posicin en el espacio. Se acostumbra denotar los puntos por letras maysculas, por ejemplo . A: punto A Postulado1: "Hay infinitos puntos". Recta: trmino indefinido. Una idea vaga de recta se tiene por la observacin del borde de una regla, un hilo templado, etc. La recta slo tiene una dimensin,longitud. La recta, o mejor, un segmento de recta es la menor distancia 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: Postulado2: "Por dos puntos diferentes pasa una y solo una recta". Postulado3: "Dos rectas distintas solo pueden tener un punto en comn". Semirecta: si sealamos un punto A en una recta, dicho punto junto con los puntos que le siguen o le preceden en el mismo sentido se denomina semirecta; A se conoce como el origen de la semirecta . Para denotar una semirecta se seala otro punto adems del origen, y se utiliza el siguiente smbolo: Segmento de recta: si sealamos sobre una recta los puntos A y B, se denomina segmento el conjunto de puntos comprendidos entre A y B, incluyendo a los puntos A y B que se denominan extremos del segmento. El segmento de recta se denota por el siguiente smbolo: Postulado4: "La distancia ms corta entre dos puntos es el segmento que los une". Plano: trmino indefinido. Una idea de plano nos la sugiere la superficie de un tablero, el piso, etc. Un plano tiene dos dimensiones, largo y ancho. Un plano tiene una extensin ilimitada. 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: Postulado5: "Si una recta tiene dos puntos comunes con un plano, toda la recta est contenida en el plano". Dos planos se cortan en una lnea recta, recta de interseccin.

Preposiciones verdaderas
PROPOSICIN - Enunciado de una hiptesis o suposicin, y de una tesis o conclusin, que es consecuencia de la hiptesis. Ejemplo : Proposicin 3 de libro III de los Elementos de Euclides : Si en un crculo una recta CD dibujada a travs del centro E divide en dos partes iguales a otra recta AB no dibujada a travs del centro, la corta formando tambin ngulos rectos; y si la corta formando ngulos rectos, la divide tambin en dos partes iguales AF y FB.

AXIOMA - Axioma es una proposicin evidente en s misma y por lo tanto, no necesita demostracin. Por ejemplos tenemos los axiomas euclidianos: El todo es igual a la suma de las partes. El todo es mayor que cadauna de las partes. Entre dos puntos pasa una nica lnea recta.

TEOREMA - Teorema es una proposicin que para ser evidente necesita demostracin. Por ejemplo: La suma de los ngulos de un tringulo es igual a dos ngulos rectos. Ejemplo: Si dos rectas paralelas se cortan con una recta secante se cumple la relacin de ngulos sigiente: 1 - Los ngulos alternos/internos son iguales. 2 - Los ngulos alternos/externos son iguales. 3 - Los ngulos correspondientes son iguales. 4 - Los ngulos colaterales internos son suplementarios. 5 - Los ngulos colaterales externos son suplementarios.

TEOREMA DUAL - El principio de dualidad afirma que a partir de cualquier teorema o construccin de geometria proyectiva podemos obtener otro, conocido como teorema dual, slo cabe intercambiar las palabras punto y recta, modificando tambin las relaciones entre los puntos y las rectas. Entonces, por este principio, y y y y y Un punto se convierte en una recta. Puntos alineados se convierten en rectas que pasan por un punto. Rectas tangentes se convierten en el punto de tangencia. Un crculo circunscrito se convierte en un crculo inscrito. ...etc, etc.

El teorema dual del teorema de Pascal es el teorema de Brianchon.

TEOREMA DE FEUERBACH - La circunferencia de Euler o de los 9 puntos, es tangente a las circunferencias inscrita y exinscrita al tringulo.

TEOREMA DE GAUSS - Los puntos medios de las diagonales de un cuadriltero completo estn en lnea recta.

TEOREMA DE EULER - En cualquier poliedro convexo, el nmero de caras ms el nmero de vrtices es igual al de aristas ms dos. (caras + vrtices = aristas + 2).

POSTULADO - Postulado es una proposicin que se admite sin demostracin, aunque sin la evidencia del axioma. Por ejemplo: Por un punto exterior a una recta slo se puede dibujar una sola paralela a la recta.

LEMA - Lema es un teorema preliminar que sirve de base para demostrar otras proposiciones.

COROLARIO - Corolario o consecuencia es un teorema la verdad del cual se deduce simplemente de otro ya demostrado.

ESCOLIO - Escolio es una advertencia o nota que se hace a fin de aclarar, ampliar o restringir proposiciones anteriores.

PROBLEMA - Problema es una cuestin que se propone con la finalidad y nimo de aclararla o resolverla utilitzando una metodologa determinada.