已知x2+y2=1,用三角换元法证明;负根号下1+a2≤y-ax≤根号下1+a2(a∈R)