In S_[0, pi/2 ] f ( sin x ) dx
poniamo t = pi/2 - x
x = pi/2 - t
dx = 0 - dt = - dt
allora se
x = 0 => t = pi/2
x = pi/2 => t = 0
e si ottiene successivamente :
S_[0, pi/2] f( sin x ) dx =
= S_[pi/2, 0] f [ sin (pi/2 - t) ] (- dt ) =
= S_[0, pi/2] f [ sin (pi/2 - x) ] dx =
= S_[0,pi/2] f ( cos x ) dx.