Как получить из arccos(1-sqrt(2)) 3*pi/4?
Или может, если проще, из 2*arcctg(sqrt(2)-1) тот же ответ 3*pi/4?