椭圆的三角换元的推导