高中三角函数证明中,“切割换元”是什么意思?