Trong mặt phẳng $Oxy$, phương trình nào sau đây là phương trình đường tròn?

(AI giải đề cho tôi)
Phương trình đường tròn dạng $x^2+y^2-2ax-2by+c=0$ với điều kiện $a^2+b^2-c>0$. A có hệ số $2y^2\ne 1$, D có $-y^2$, loại. C: $x^2+y^2-2x+12y+40=0$ có $R^2=1+36-40=-3<0$, không phải đường tròn. B: $x^2+y^2+2x-4y-17=0$ có tâm $I(-1;2)$, $R^2=1+4+17=22>0$, là đường tròn.