三角代换在第二类换元积分法中的应用