∫(0,x)(x-t)f(t)dt=1-cosx,证明∫(0,π/2)dx=1