Розв'язання дивіться у файлі.
Зауважемо, що
по определению синуса острого угла прямоугольного треугольника