Sea un triángulo rectángulo isósceles con el ángulo recto en (de modo que y ). Toma un punto sobre el lado , y un punto sobre la semirrecta opuesta a la semirrecta tal que .
Demuestra que:
(a)
(b)
Coloca coordenadas en el ángulo recto — eso es lo que vuelve rutinarios los dos apartados. Como el ángulo recto está en y los dos catetos son iguales, situar en el origen con los catetos sobre los ejes no cuesta nada y convierte cada hipótesis en una coordenada:
está sobre el segmento , así que con . está sobre la semirrecta opuesta a la semirrecta , es decir, sobre el semieje negativo, de modo que con . La condición dice que , y por tanto
Fíjate en que ahora un solo parámetro codifica toda la configuración.
Demuestra (a) con un producto escalar. Forma los dos vectores directores:
Su producto escalar es
Como ninguno de los dos vectores es nulo ( y ), un producto escalar nulo significa que las rectas son perpendiculares, así que .
Vuelve a leer (a) en términos de ángulos, para ver por qué es forzoso. El triángulo tiene el ángulo recto en (los ejes son perpendiculares) y catetos , así que es rectángulo isósceles y . El triángulo también es rectángulo isósceles, de modo que . Por lo tanto la recta corta a la recta formando y la recta la corta formando por el otro lado, y los dos ángulos de suman . La perpendicularidad es en realidad una afirmación sobre dos triángulos rectángulos isósceles que comparten un par de rectas perpendiculares.
Demuestra (b) con las mismas coordenadas. Usa ahora el otro emparejamiento:
Así que
Por lo tanto . De forma equivalente, con pendientes, y , y su producto es , el criterio de las pendientes para rectas perpendiculares. La forma con pendientes exige , cosa que la del producto escalar no necesita, así que el producto escalar es el argumento más limpio.
Observa la razón estructural y verifica numéricamente. El apartado (b) es en realidad el ortocentro disfrazado: en el triángulo la recta es una altura desde (es perpendicular a , el eje ) y está sobre ella, mientras que , por el apartado (a), convierte a en la altura desde ; las dos alturas se cortan en , así que la tercera altura también tiene que pasar por ahí, lo que da . Una comprobación numérica con , devuelve y exactamente, y el producto de las pendientes vale .
Need to solve a different problem like this? Open the solver →