¿Qué relación conocida se obtiene a partir del teorema del coseno si uno de los ángu- los mide 90°?​