令x=π/2-t,则∫f(sinx)=∫f(cost) d( π/2-t) (t从π/2到0)
=-∫f(cost) dt (t从π/2到0)
=∫f(cost) dt (t从0到π/2)
==∫f(cosx) dx (x从0到π/2)