查看原题
求证: 当 $x \geq 1$ 时，
$$
\arctan x-\frac{1}{2} \arccos \frac{2 x}{1+x^2}=\frac{\pi}{4} .
$$
                        
不再提醒