查看原题
设 $F(x)$ 是 $f(x)$ 的一个原函数，且 $F(0)=1, F(x) f(x)=\cos 2 x$ ，求

$$
\int_0^{\frac{\pi}{2}}|f(x)| \mathrm{d} x
$$
                        
不再提醒