Задача

№ 9223

При каких $x$ числа $\arccos\left(4^{-x}/\sqrt2\right)$ и $\operatorname{arcctg}\left(2\cdot4^x-3\right)$ являются величинами двух углов прямоугольного треугольника?
Ответ:
Решение: