General second-degree equation in z and z̄ representing a circle. Centre = −a, radius = √(|a|²−b). Real circle requires |a|² > b. This is the complex analogue of x²+y²+2gx+2fy+c = 0, with a = g+if and b = c.
The standard form ∣ z − z 0 ∣ = r |z - z_0| = r ∣ z − z 0 ∣ = r is geometrically clean but algebraically inconvenient. Expanding it gives the general complex equation of a circle — the form used when the centre and radius are not immediately obvious.
Expanding the Standard Form
Start from ∣ z − z 0 ∣ 2 = r 2 |z - z_0|^2 = r^2 ∣ z − z 0 ∣ 2 = r 2 and use ∣ w ∣ 2 = w w ˉ |w|^2 = w\bar{w} ∣ w ∣ 2 = w w ˉ :
( z − z 0 ) ( z − z 0 ) ‾ = r 2 (z - z_0)\overline{(z - z_0)} = r^2 ( z − z 0 ) ( z − z 0 ) = r 2
( z − z 0 ) ( z ˉ − z ˉ 0 ) = r 2 (z - z_0)(\bar{z} - \bar{z}_0) = r^2 ( z − z 0 ) ( z ˉ − z ˉ 0 ) = r 2
Expanding:
z z ˉ − z 0 z ˉ − z ˉ 0 z + z 0 z ˉ 0 = r 2 z\bar{z} - z_0 \bar{z} - \bar{z}_0 z + z_0\bar{z}_0 = r^2 z z ˉ − z 0 z ˉ − z ˉ 0 z + z 0 z ˉ 0 = r 2
z z ˉ − z 0 z ˉ − z ˉ 0 z + ∣ z 0 ∣ 2 − r 2 = 0 z\bar{z} - z_0 \bar{z} - \bar{z}_0 z + |z_0|^2 - r^2 = 0 z z ˉ − z 0 z ˉ − z ˉ 0 z + ∣ z 0 ∣ 2 − r 2 = 0
Identifying the General Form
Set a = − z 0 a = -z_0 a = − z 0 (so z 0 = − a z_0 = -a z 0 = − a ) and b = ∣ z 0 ∣ 2 − r 2 b = |z_0|^2 - r^2 b = ∣ z 0 ∣ 2 − r 2 :
z z ˉ + a ˉ z + a z ˉ + b = 0 , a ∈ C , b ∈ R z\bar{z} + \bar{a}z + a\bar{z} + b = 0, \qquad a \in \mathbb{C},\; b \in \mathbb{R} z z ˉ + a ˉ z + a z ˉ + b = 0 , a ∈ C , b ∈ R
This is the general second-degree equation in z z z and z ˉ \bar{z} z ˉ representing a circle.
Reading Off Centre and Radius
From a = − z 0 a = -z_0 a = − z 0 : the centre is − a -a − a .
From b = ∣ z 0 ∣ 2 − r 2 = ∣ a ∣ 2 − r 2 b = |z_0|^2 - r^2 = |a|^2 - r^2 b = ∣ z 0 ∣ 2 − r 2 = ∣ a ∣ 2 − r 2 : the radius is r = ∣ a ∣ 2 − b r = \sqrt{|a|^2 - b} r = ∣ a ∣ 2 − b .
Conditions:
∣ a ∣ 2 > b |a|^2 > b ∣ a ∣ 2 > b : real circle
∣ a ∣ 2 = b |a|^2 = b ∣ a ∣ 2 = b : point circle (radius zero)
∣ a ∣ 2 < b |a|^2 < b ∣ a ∣ 2 < b : imaginary (no real points)
Connection to Cartesian Form
Writing a = g + i f a = g + if a = g + i f (real g g g , f f f ) and z = x + i y z = x + iy z = x + i y :
z z ˉ = x 2 + y 2 , a ˉ z + a z ˉ = 2 Re ( a ˉ z ) = 2 ( g x + f y ) z\bar{z} = x^2 + y^2, \quad \bar{a}z + a\bar{z} = 2\operatorname{Re}(\bar{a}z) = 2(gx + fy) z z ˉ = x 2 + y 2 , a ˉ z + a z ˉ = 2 Re ( a ˉ z ) = 2 ( g x + f y )
So the equation becomes:
x 2 + y 2 + 2 g x + 2 f y + b = 0 x^2 + y^2 + 2gx + 2fy + b = 0 x 2 + y 2 + 2 g x + 2 f y + b = 0
This is exactly the Cartesian general circle with c = b c = b c = b . The complex form a = g + i f a = g + if a = g + i f packages the two linear coefficients into a single complex number.