用三角函数代换
x= sint t [0,pai/2]
dx = costdt
原式= sint*costdt/cost = sintdt
积分后
= -cost+C
带入 = -cos(pai/2) + cos(0)
= 1