双元法强制凑微分一例

三角换元法速解：设x=asecθ→dx=atanθ·secθdθ