令x=cosa
y^2=1-(cosa)^2=(sina)^2
sinx的值域关于原点对称
所以可以令y=sinx
x+y=sina+cosa=√2sin(a+π/4)
x+y-k>=0
x+y>=k
√2sin(a+π/4)>=k
因为√2sin(a+π/4)最小值=-√2
所以k