[color=#999999]Este apartado pertenece al [i]libro de GeoGebra[/i] [url=https://www.geogebra.org/m/v6prxfzh]Inclinando la botella de Piaget con GeoGebra Discovery[/url].[/color][br][br]El conocido como "segundo teorema de Tales" dice lo siguiente:[br][list][*][i]Sea [/i]C[i] un punto de la circunferencia de diámetro [/i]AB[i], distinto de [/i]A[i] y de [/i]B[i]. Entonces, el triángulo [/i]ABC[i] es un triángulo rectángulo, pues el ángulo ([/i]γ[i]) en [/i]C[i] es recto[/i].[br][/*][/list]Ya que, según anuncia el teorema, en los puntos de la circunferencia se consigue que el ángulo que abarca el diámetro sea recto, podemos intuir que la circunferencia es el lugar geométrico límite o frontera entre dos regiones planas, su interior y su exterior, en donde el ángulo es, respectivamente, mayor y menor que 90º.[br][br]Efectivamente, así es. La siguiente imagen muestra sombreados (en rojo) los puntos del interior de la circunferencia. En ellos, el ángulo γ es mayor que un ángulo recto. Y, en [i]todo [/i]el exterior, es menor.[br][br]Por lo tanto, el recíproco del segundo teorema de Tales también es cierto:[br][list][*][i]Si [/i]ABC[i] es un triángulo rectángulo de hipotenusa [/i]AB[i], entonces [/i]C[i] descansa en la circunferencia de diámetro [/i]AB.[/*][/list]
Recordemos ahora lo que dice el teorema de la altura:[br][list][*][i]En todo triángulo rectángulo la altura [/i](c)[i] sobre la hipotenusa es igual a la media geométrica entre las proyecciones ortogonales [/i](a y b)[i] de los catetos en la hipotenusa.[/i][br][/*][/list]Ya que, según anuncia el teorema, en los puntos de la circunferencia se consigue que el cuadrado de la altura coincida con el producto de las proyecciones de los catetos, podemos intuir que la circunferencia es el lugar geométrico límite o frontera entre dos regiones planas, su interior y su exterior, en donde el cuadrado de la altura es, respectivamente, mayor y menor que el producto de las proyecciones.[br][br]Sin embargo, ahora no es así. La siguiente construcción muestra sombreados (en rojo) los puntos del interior de la circunferencia. En ellos, el cuadrado de la altura es menor que el producto de las proyecciones. Pero no sucede lo contrario en [i]todo [/i]el exterior de la circunferencia. [br][br]Tal como mostraron, usando Discovery, F. Etayo, N. de Lucas, T. Recio y M. P. Vélez en [[url=https://www.geogebra.org/m/v6prxfzh#material/xtvpwudh]5[/url]], existe otra región, limitada por las ramas de una hipérbola equilátera, en donde el cuadrado de altura vuelve a ser menor que el producto de las proyecciones. En los puntos de la hipérbola, la tesis del teorema de la altura vuelve a ser cierta, a pesar de que en ellos el triángulo ABC no es rectángulo, sino "pseudo-rectángulo", como lo denominan los autores de ese artículo. Si en los triángulos rectángulos es la [i]suma [/i]de dos ángulos igual a 90º, en los pseudo-rectángulos lo es su [i]diferencia [/i](lo que equivale a decir que el ángulo en C es el complementario del doble del ángulo en A, en una rama de la hipérbola, o del ángulo en B, en la otra rama).[br][br]Por lo tanto, el recíproco del teorema de la altura no es cierto, a no ser que en el enunciado del teorema interpretemos "hipotenusa" estrictamente como el segmento AB (obligando a la proyección de C a permanecer en este segmento) y no como la recta AB.