对于0到π上积分，可以拆成0到π/2和π/2到π两个积分区间，π/2到π上注意到令x=π-t可以使此积分化为0到π/2上的积分，于是第一个式子成立。 利用此方法其余式子也可以证出来。其中0到2π......
