y = k-x を、x^2 + y^2 = k に代入して、xが実数解をもつ判別式を調べたらどうだろう