查看原题
$\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} \cos x d x=2 \int_0^{\frac{\pi}{2}} \cos x d x$
                        
不再提醒