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