求(cosbx-cosax)/x从0到正无穷的广义积分