1/a+bsinx的积分推导