查看原题
$\int_0^\pi \sqrt{1+\cos 2 x} d x$.
                        
不再提醒