b=0是必要的,保证可能化为圆的方程的形式
a=c也是必要的,保证不会变成椭圆
a[f-d^2/(2a)-e^2/(2c)]>0也是必要的,保证不会变成双曲线
上面三个必要条件合起来,就充分了
所以充要条件是b=0且a=c且a[f-d^2/(2a)-e^2/(2c)]>0