查看原题
证明方程 $4 \arctan x-x+\frac{4 \pi}{3}-\sqrt{3}=0$ 恰有两个实根.
                        
不再提醒