用凑微分法求∫cos2xdx