Ya hay solución para el trigésimo noveno desafío matemático con el que EL PAÍS celebra el centenario de la Real Sociedad Matemática Española.
Miguel Ángel Morales Medina, licenciado en Matemáticas por la Universidad de Granada y editor del Boletín de la RSME, propuso este penúltimo desafío y ahora lo resuelve. Recordemos en qué consistía.
Partiendo de un triángulo cualquiera de vértices ABC, tomamos dos de sus lados, AB y AC por ejemplo, y dibujamos cuadrados apoyados en ellos. Llamamos I y J a los centros de los dos cuadrados y H al punto medio del lado del triángulo donde no hemos apoyado ningún cuadrado (el BC en este caso). Se pedía demostrar que los segmentos HI y HJ tienen la misma longitud y que además forman un ángulo de 90º.
Llamemos K al punto medio del lado AB y L al punto medio del lado AC, y dibujemos los triángulos HKJ y HLI. Representamos también el segmento KL en línea discontinua (ver la figura 1 en la parte superior o la ampliación aquí).
Como el segmento LH une los puntos medios de los lados AC y BC, entonces es paralelo al otro lado, el AB. Lo mismo ocurre con el segmento KL, que como une los puntos medios de los lados AB y AC será paralelo al otro lado, el BC. Esto nos dice que BHLK es un paralelogramo, por lo que, en particular, los segmentos KB y LH son iguales. Pero KB y JK también son iguales, por lo que obtenemos que JK=LH. El mismo razonamiento nos sirve para llegar a que ALHK es un paralelogramo, por lo que, en particular, los segmentos AL y KH son iguales. Pero AL y LI también lo son, por lo que ahora se obtiene que KH=LI.
Por otro lado, los triángulos KBH y LHC tienen sus lados iguales y paralelos, por lo que el ángulo BKH y el ángulo HLC son iguales.
Recapitulemos. Tenemos que los triángulo JKH y el HLI (pintados de rojo y verde respectivamente en la figura dos, que aparece aquí ampliada) tienen dos lados iguales (KJ=LH y KH=LI) y además también tienen igual el ángulo formado por esos lados (el ángulo JKH es 90º+BKH, y el HLI es 90º+HLC, que hemos visto antes que es igual a BKH). Con esto podemos concluir que ambos triángulos son iguales, y el hecho de que sean iguales nos asegura que los segmentos HI y HJ tienen la misma longitud.
Falta demostrar que estos dos segmentos forman un ángulo de 90º. Pero esto es sencillo: JK forma un ángulo de 90º con AK, que es paralelo a LH. Por tanto JK y LH forman un ángulo de 90º. Del mismo modo, LI forma un ángulo de 90º con AL, que es paralelo a KH. Por tanto LI y KH forman un ángulo de 90º. Como los triángulos son iguales, todo esto nos asegura que los segmentos HI y HJ forman un ángulo de 90º.