El teorema de Tales es un teorema de planimetría sobre un conjunto de secantes paralelas a un par de líneas.
Si en una de las dos rectas se separan varios segmentos sucesivamente iguales y por sus extremos se trazan líneas paralelas que cortan la segunda recta, entonces cortarán segmentos iguales entre sí en la segunda recta.
Una formulación más general, también llamada teorema del segmento proporcionalLas secantes paralelas forman segmentos proporcionales en líneas rectas :
No hay restricciones sobre la disposición mutua de las secantes en el teorema (es cierto tanto para las líneas que se cortan como para las paralelas). Tampoco importa dónde están los segmentos de línea.
El teorema de Thales es un caso especial del teorema de los segmentos proporcionales, ya que los segmentos iguales pueden considerarse segmentos proporcionales con un coeficiente de proporcionalidad igual a 1.
Prueba en el caso de líneas no paralelasConsidere una variante con pares de segmentos no conectados: deje que el ángulo se interseque con líneas rectas y al mismo tiempo .
Dibujemos una línea BC . Los ángulos ABC y BCD son iguales como cruces interiores situadas bajo las paralelas AB y CD y secante BC , y los ángulos ACB y CBD son iguales como cruces interiores situadas bajo las paralelas AC y BD y secante BC . Entonces, según el segundo criterio de igualdad de triángulos, los triángulos ABC y DCB son congruentes. Se sigue que AC = BD y AB = CD . ■
Este teorema se atribuye al matemático y filósofo griego Tales de Mileto . Según la leyenda, Tales de Mileto calculó la altura de la pirámide de Keops midiendo la longitud de su sombra en el suelo y la longitud de la sombra de un palo de altura conocida. La prueba escrita más antigua conocida de este teorema se da en los Principia de Euclides (Proposición 2 del Libro VI).
Si en el teorema de Thales, los segmentos iguales comienzan desde el vértice (esta formulación se usa a menudo en la literatura escolar), entonces el teorema inverso también resultará ser cierto. Para secantes que se cortan, se formula de la siguiente manera:
Si las líneas que se cruzan con otras dos líneas (paralelas o no) cortan segmentos iguales (o proporcionales) en ambas, comenzando desde el vértice, entonces tales líneas son paralelas. |
Así (ver Fig.) del hecho de que , se sigue que .
Si las secantes son paralelas, entonces es necesario exigir que los segmentos de ambas secantes sean iguales entre sí; de lo contrario, esta afirmación se vuelve falsa (un contraejemplo es un trapezoide intersectado por una línea que pasa por los puntos medios de las bases).
Este teorema se usa en navegación: una colisión de barcos que se mueven a una velocidad constante es inevitable si se mantiene la dirección de un barco a otro.
El siguiente enunciado es dual al lema de Sollertinsky :
Sea una correspondencia proyectiva entre los puntos de la recta y la recta . Entonces el conjunto de líneas será el conjunto de tangentes a alguna sección cónica (posiblemente degenerada) . |
En el caso del teorema de Tales, la cónica será un punto en el infinito correspondiente a la dirección de las paralelas.
Este enunciado, a su vez, es un caso límite del siguiente enunciado:
Sea una transformación proyectiva de una cónica. Entonces la envolvente del conjunto de líneas será una cónica (posiblemente degenerada). |