三角函数系中任何不同的两个函数乘积在区间[-pai,pai]上的积分等于零.