变换后A=｛x|（x-2k）^2>=k^2-2k}
B={x|(x-k)^2>=-k}
如果k>=0,B={x|x属于R｝
必有A包含于B
如果k=k+根式(-k)或x