4.2.5 三角函数有理式的积分法