注意第二类换元法的定义,必须是一个单调函数,x=asint的单调区间之一是闭区间-π/2到π/2
同理tanx是开区间-π/2到π/2
至于第三个同理
对了,顺便说下,第二类换元法之所以要求是单调函数是因为需要用上该函数的反函数,如果该函数单调,那么反函数就必然存在

这并不是推出来的，只是为了用换元法，0到π/2上sec函数为单调函数其实sec=1/cos 那么sec的值就一定大于等于1或小于等于-1(asect)^2必然大于等于a^2