查看原题
证明: 方程 $\ln x=\frac{x}{\mathrm{e}}-\int_{0}^{\pi} \sqrt{1-\cos 2 x} \mathrm{~d} x$ 在区间 $(0,+\infty)$ 内有且仅有两个不同实根.
                        
不再提醒