查看原题
设 $f(x)$ 连续且 $f(x+2)-f(x)=\frac{1}{\sqrt{1-x^2}}, \int_0^2 f(x) \mathrm{d} x=\frac{\pi}{2}$ ， 则
$$
\int_1^3 f(x) \mathrm{d} x=
$$
                        
不再提醒