Teorema de Tales

Existen dos teoremas en relacin a la geometra clsica que reciben el nombre de Teorema de Thales, ambos atribuidos al matemtico griego Tales de Mileto en el siglo VI a. C.

Los dos teoremas de Thales

Semicrculo que ilustra un teorema de Thales. El primero de ellos explica esencialmente una forma de construir un tringulo semejante a uno previamente existente (los tringulos semejantes son los que tienen iguales ngulos). Mientras que el segundo desentraa una propiedad esencial de los circuncentros de todos los tringulos rectngulos (encontrandose stos en el punto medio de su hipotenusa), que a su vez en la construccin geomtrica es ampliamente utilizado para imponer condiciones de construccin de ngulos rectos.

Primer teorema

Una aplicacin del Teorema de Thales. Como definicin previa al enunciado del teorema, es necesario establecer que dos tringulos son semejantes si tienen los ngulos correspondientes iguales y sus lados son

proporcionales entre si. El primer teorema de Tales recoge uno de los resultados ms bsicos de la geometra, a saber, que:

Teorema primero Si por un tringulo se traza una lnea paralela a cualquiera de sus lados, se obtienen dos tringulos semejantes.

Segn parece, Tales descubri el teorema mientras investigaba la condicin de paralelismo entre dos rectas. De hecho, el primer teorema de Thales puede enunciarse como que la igualdad de los cocientes de los lados de dos tringulos no es condicin suficiente de paralelismo. Sin embargo, la principal aplicacin del teorema, y la razn de su fama, se deriva del establecimiento de la condicin de semejanza de tringulos, a raz de la cual se obtiene el siguiente corolario.

Segundo teorema

fig 2.1 Ilustracin del enunciado del segundo teorema de Tales de Mileto. El segundo teorema de Thales de Mileto es un teorema de geometra particularmente enfocado a los tringulos rectngulos, las circunferencias y los ngulos inscritos, consiste en el siguiente enunciado:

Aplicacin (Thales - teorema segundo)

Construccin de tangentes (lneas rojas) a una circunferencia k desde un punto P, utilizando el teorema segundo de Tales. El teorema segundo (de Tales de Mileto) puede ser aplicado para trazar las tangentes a una circunferencia k dada, que adems pasen por un punto P conocido y externo a la misma (vase figura ). Se supondr que una tangente cualquiera t (por ahora desconocida) toca a la circunferencia k en un punto T (tambin desconocido por ahora). Se sabe por simetra que cualquier radio r de la circunferencia k es perpendicular a la tangente del punto T que dicho radio define en la misma, por lo que concluimos que ngulo OTP es necesariamente recto. Lo anterior implica que el tringulo OTP es rectngulo. Recordando el corolario 2 del teorema segundo de Tales podemos deducir que entonces el tringulo OTP es inscribible en una circunferencia de radio de la hipotenusa OP del mismo. Entonces marcando el punto H como punto medio de la hipotenusa OP y haciendo centro en el mismo, podemos dibujar una segunda circunferencia auxiliar (gris en la figura) que ser la que circunscribe al tringulo OTP. Esta ltima circunferencia trazada interceptar a la circunferencia k en dos puntos T y T', estos son justamente los puntos de tangencia de las dos rectas que son simultneamente tangentes a k y adems pasan por el punto P, ahora ya conocidos los puntos T y T' solo basta trazar las rectas TP y T'P (rojas en la figura) para tener resuelto el problema.

Tales de Mileto
Tales de Mileto (en griego ) (ca. 630 - 545 a. C.1 ) fue el iniciador de la indagacin racional sobre el universo. Se le considera el primer filsofo de la historia de la filosofa occidental, y fue el fundador de la escuela jnica de filosofa, segn el testimonio de Aristteles. Fue el primero y ms famoso de los Siete Sabios de Grecia (el sabio astrnomo), y habra tenido, segn una tradicin antigua no muy segura, como discpulo y protegido a Pitgoras.2 Fue adems uno de los ms grandes matemticos de su poca, centrndose sus principales aportaciones en los fundamentos de la geometra.

Datos biogrficos y ancdotas

Los datos biogrficos de Tales de Mileto son una mezcla de opiniones, hechos atribuidos a su persona, y citas con mayor o menor grado de verosimilitud, recogidas de diversos autores de pocas bastante posteriores, reinterpretados y expuestos a la luz de la mentalidad del narrador. Contamos con el importante aporte de Aristteles, el cual, en su descripcin, intenta delimitar los escritos y dichos atribuibles con certeza al mismo Tales de los hechos dudosos ('dicen...') y de sus propias opiniones ('quiz quiso decir...'). Tales naci en la ciudad de Mileto (griego: literalmente Miletos,turco: Milet), una antigua ciudad en la costa occidental de Asia Menor (en lo que actualmente es la Provincia de Aydn en Turqua), cerca de la desembocadura del ro Menderes. La mayora de los historiadores nos lo presentan como genuino milesio. Sin embargo, segn Digenes Laercio, importante historiador griego, fue admitido en la ciudad jonia de Mileto, a orillas del Mar Egeo, despus de ser expulsado de Fenicia junto con Nileo. Lo que es incuestionable es que residi en aquella ciudad, y que fue all donde desarroll su filosofa. Fue hijo de Euxamias (conocido tambin como Examio) y de Cleobulina (o Clebula), y al parecer tuvo ascendencia fenicia. Como los jonios mantenan trfico comercial con Egipto y Babilonia, es probable que Tales visitara el primero en su juventud, durante el reinado del faran Amasis, en donde se supone que fue educado por los sacerdotes. Quizs fueron condiscpulos suyos Soln y Fercides de Siros. Una fuente tarda lo vincula con Pitgoras, a quien habra recomendado viajar a Egipto y educarse con los sacerdotes de Menfis y Dispolis.2 De los babilonios debi aprender astronoma. Anaximandro y Anaxmenes pueden haber sido discpulos suyos. Apolodoro, en su Cronologa, afirma que muri a la edad de setenta y ocho aos. Sin embargo, Soscrates asegura que muri en la olimpiada LVIII, a la edad de noventa aos. Tanto Herdoto (I, 170) como Digenes Laercio (I, 25) lo sealan como un sabio consejero poltico de jonios y lidios. Laercio afirma que algunos, como el poeta Corilio, declararon que fue el primero en sostener la inmortalidad del alma, que, segn nos refiere Aristteles, es para Tales una fuerza motriz. Tambin refiere Herdoto (I, 75) que logr desviar el ro Halys para que fuera cruzado por el ejrcito de Creso.

Aristteles, por su parte, cuenta en su Poltica (I, 11, 1259a) que tambin se destac en el rea de las finanzas, una vez que, habiendo predicho (gracias a sus conocimientos astronmicos) cmo sera la cosecha de aceitunas, compr durante el invierno todas las prensas de aceite de Mileto y Quos y las alquil al llegar la poca de la recoleccin, acumulando una gran fortuna y mostrando as que los filsofos pueden ser ricos si lo desean, pero que su ambicin es bien distinta. Quizs la ancdota ms conocida de Tales es aquella que nos refiere Herdoto, cuando predijo a los jnicos el ao en que sucedera un eclipse solar (quiz llevada a cabo gracias al sistema babilnico), hacia el ao 585 a. C. Asimismo, Digenes Laercio recuenta que, al caer Tales en un pozo despus de ser llevado por una vieja mujer a ver las estrellas, sta replic a su pedido de ayuda: Cmo pretendes, Tales, saber acerca de los cielos, cuando no ves lo que est debajo de tus pies? La ancdota procede de Platn, que la incluye en el Teeteto para expresar una idea parecida a la de Aristteles: el filsofo se preocupa ms de la filosofa y de la naturaleza en general que de lo inmediato. Se le atribuye el haber realizado la medicin de las pirmides, mediante las sombras que proyectan cuando stas son de la misma medida que nosotros mismos. Fue el primero en haber hecho una explicacin cientfica de un eclipse. Tambin se dice que fue el primero en dividir al ao en estaciones y en 365 das.

Teorema

Esta imagen muestra la relacin entre las cadenas de caracteres, las frmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas coincide con el de las frmulas bien formadas. Un teorema es una afirmacin que puede ser demostrada dentro de un sistema formal. Demostrar teoremas es un asunto central en la matemtica. Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o aclaradas de antemano. Luego existe una conclusin, una afirmacin matemtica, la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relacin que existe entre la hiptesis y la tesis o conclusin. Se llamar corolario a una afirmacin lgica que sea consecuencia inmediata de un teorema, pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.