Как можно получить

? Само значение я знаю:

. Похоже, что нахождение значения было сведено к решению какого-то квадратного уравнения. А какого?
Попробовал через косинус двойного аргумента, но

тоже не табличное значение аргумента.
Добавлено спустя 6 минут 27 секунд:
Точнее, я сглупил. Уравнение-то получить можно:
Но не понятно откуда его взяли.