一个式子表示圆的充要条件是