To complete our logic we ought to show that an equation such as
where
is a Hermitian matrix of
negative determinant, always determines a circle or a straight line.
We simply have to perform the algebra in reverse. When you multiply it
out,
the equation is
The determinant is
.
If
, we can divide by
and obtain
We can complete the square to put this in the form
or
Since the determinant is negative, the right hand side is positive and
we see this is a circle with
If
, then since the determinant is negative, we must have
.
Then the equation becomes
which is the equation of a straight line. One point that belongs to
this line is
. The direction vector of this line is
.
This completes the proof that Hermitian matrices of negative determinant correspond in a one-to-one way with the set of circles and straight lines in the complex plane.