三角函数正交性计算定积分