查看原题
已知 $f(x)$ 为连续函数， $\int_0^x t f(x-t) \mathrm{d} t=1-\cos x$ ，求 $\int_0^{\frac{\pi}{2}} f(x) \mathrm{d} x$ 的值．
                        
不再提醒