Нашёл в интернете задачу. Выглядит как что-то очень старое и давно решённое.
Как-то я её решил (на калькуляторе посчитал, что оказалось тоже не совсем тривиально). Если бы на экзамене каком-нибудь, то и выполнил бы тригонометрические преобразования и решил бы точно. Но интересует простое решение.
