方程x∧2+y∧2+a-1=0,表示圆的充要条件是