查看原题
设 $f(x)=\int_x^1 \sin \left(\pi u^2\right) \mathrm{d} u$, 求 $\int_0^1 f(x) \mathrm{d} x$.
                        
不再提醒