题目内容

（08河南）证明方程 $\ln x=\frac{x}{e}-\int_{0}^{\pi} \sqrt{1-\cos 2 x} d x$ 在区间 $\left(e, e^{3}\right)$ 内仅有一个实根．