En el triángulo , y es el punto medio de .
Demuestra que .
Enumera lo que se da y lo que exigirá la palabra «perpendicular». Se dan (el triángulo es isósceles con base ) y (definición de punto medio). Para demostrar hay que mostrar que uno de los ángulos o mide . El plan es demostrar que esos dos ángulos son iguales y luego usar que están sobre una misma recta, lo que obliga a que cada uno sea recto. Es un camino mucho más limpio que intentar calcular un ángulo de forma directa.
Compara los triángulos y . El segmento divide el triángulo original en dos triángulos más pequeños. Empareja sus elementos:
Cada par coincide, así que se trata de tres lados contra tres lados.
Concluye la congruencia por LLL. Por el criterio lado-lado-lado,
LLL es la elección correcta aquí porque los tres datos son sobre longitudes; no se dio ninguna información angular, de modo que LAL o ALA exigirían una suposición adicional no demostrada.
Traslada la igualdad a los ángulos en . Los elementos correspondientes de triángulos congruentes son iguales, y en el primer triángulo se corresponde con en el segundo:
Usa la recta para fijar el valor en . Como está entre y sobre el segmento , los dos ángulos forman un par lineal y son suplementarios:
Sustituyendo la igualdad del paso anterior, , y por lo tanto
Hacían falta los dos hechos: por sí solos, ni unos ángulos iguales dan , ni tampoco lo dan unos ángulos suplementarios. Es la combinación la que cierra la demostración.
Verifica con una demostración por coordenadas. Coloca la base de forma simétrica: , , de modo que es el punto medio. La condición obliga a que equidiste de y de , es decir, para algún . Entonces y , y su producto escalar es
Un producto escalar nulo significa que los segmentos son perpendiculares, lo que confirma la demostración sintética. Como extra, el mismo dibujo muestra que es a la vez la mediana, la altura, la bisectriz desde y la mediatriz de : las cuatro coinciden exactamente cuando el triángulo es isósceles.
Need to solve a different problem like this? Open the solver →