svv, вынужден просить помощи. Чего-то я не знаю. Я ввёл вектор

с координатами

и вектор

с координатами

. По условию получаю что квадрат длины вектора

равен

, а квадрат длины вектора

равен

. При этом скалярное произведение

. Отсюда делаю вывод что векторы

и

перпендикулярны друг другу. Получается, что вектор

бегает по окружности с радиусом

, а вектор

— по окружности с радиусом

и смещён относительно вектора

на угол

. После этого мне на ум приходят только замены вида

С последующей подстановкой в

и приведением к

. Но, насколько я понимаю, это решение тоже длинное. Какое же решение предлагаете Вы?