三角函数定积分性质的证明。