积分换元法解决三角函数的实问题

sin2t=2sintcost=2*(x/a)*√(1-sint^2)

然后代入sint。

sint^2+cost^2=1

sin2t=2sintcost

就用这两个。