1
$\begingroup$

I'm trying to prove that the set of $z$ that satisfies the following equation represents a circle or a straight line on $\mathbb C$.

$(a\bar c-c\bar a)|w^2|+(a\bar d-c\bar b)w+(b\bar c-d\bar a)\bar w+b\bar d-d\bar b=0 $ If $(a\bar c-c\bar a)=0$, I could prove that this is a straight line. (It took very long though. If you know how to show it simply, please give me some ideas on how to proceed.)

Apparently, if $(a\bar c-c\bar a)\neq 0$, we can get $\Bigg |\displaystyle w+\frac{\bar a d-\bar c b}{\bar a c-\bar c a}\Bigg|=\Bigg |\frac{ad-bc}{\bar a c-\bar c a}\Bigg |.$But I don't know how it works. I tried to factorize the first equation, but it didn't work. So I tried to expand the second equation by replacing the absolute value with the conjugate, but it didn't give me any good idea. Could someone give me some clues?

2 Answers 2

1

Try putting the numbers into exponential form, then see if you can use the exponential definitions of the trig functions to reduce it to something that looks like $sin^2(k)+cos^2(l)=|z|/s$.

1

$(a\bar c-c\bar a)|w^2|+(a\bar d-c\bar b)w+(b\bar c-d\bar a)\bar w+b\bar d-d\bar b=0$

Dividing by $a\bar c-c\bar a$ you get

$w \bar w + \frac{a\bar d-c\bar b}{a\bar c-c\bar a}w+ \frac{b\bar c-d\bar a}{a\bar c-c\bar a}\bar w=-\frac{b\bar d-d\bar b}{a\bar c-c\bar a}$

Now, note that

$\overline{b\bar c-d\bar a}=-(a\bar d-c\bar b)$ and $\overline{a\bar c-c\bar a}=-(a\bar c-c\bar a)$

Thus

$\frac{b\bar c-d\bar a}{a\bar c-c\bar a}=\overline{\left( \frac{a\bar d-c\bar b}{a\bar c-c\bar a}\right)} \,.$

For simplicity, let $z:= \frac{a\bar d-c\bar b}{a\bar c-c\bar a}$. Then, your equation is

$w \bar w + zw+\overline{z} \bar w=-\frac{b\bar d-d\bar b}{a\bar c-c\bar a}$

Adding $z \bar z$ yields

$w \bar w + zw+\overline{z} \bar w +z \bar z =-\frac{b\bar d-d\bar b}{a\bar c-c\bar a} + z \bar z

or

$(w+\bar z)(\bar w +z)= -\frac{b\bar d-d\bar b}{a\bar c-c\bar a} + z \bar z$

You should be able to finish from here.