Apollonius circle, its radius and center I've got the following set:
$\{|z-a|=k|z-b|\}$, where z is a complex number, a an b are fixed, and $k>0$,$k \ne 1$.
I need to prove that this is a circle (called Apollonius circle).
I also have to prove that this circle's radius is equal to $k|a-b||1-k^2|^{-1}$ and it's centre is $(a-k^2b)(1-k^2)^{-1}$.
I don't know what to do. I've tried to work with the analytic circle equation ($|z-c|^2=r^2$), substituting given radius and center, but it didn't work. I also tried to square both sides of the first given equation ($|z-a|=k|z-b|$), which usually works with complex number, but also didn't get any result... Can somebody show me how to solve this problem? I will be very grateful.

This is an old post, but I wanted to see if the calculation could be illuminated by unpacking to real coordinates later, and by solving a simpler equation. After doing this I show how to do the calculation without unpacking to real coordinates.
We want to show that the set of $z$ satisfying $|z - a| = k |z - b|$ forms a circle.
We can simplify our calculation by noting that translation preserves circles. We can translate to $w = z - b$ and solve the equation $|w - A| = k|w|$, where $A = a - b$, and then translate our solution back to $z$.
Note that $$|w-A|^2 = (w-A) (\overline{w-A}) = |w|^2 - 2 \mathrm{Re}(\bar{A}w) + |A|^2.$$
This is a version of the polarization identity, noting that $\mathrm{Re}(\bar{A} z)$ is the Euclidean dot product between $A$ and $z$.
Then we see
\begin{align*}
|w - A| = k |w| &\Longrightarrow |w - A|^2 = k^2 |w|^2 \\
&\Longrightarrow |w|^2 - 2 \mathrm{Re}(\bar{A}w) + |A|^2 = k^2 |w|^2 \\
&\Longrightarrow (1 - k^2)|w|^2 - 2\mathrm{Re}(\bar{A} w) + |A|^2 = 0 \ \ \ (\star)
\end{align*}
Let $w = x + i y$ and $A = A_x + i A_y$. If $k \neq 1$, then
\begin{align*}
(\star) &\Longrightarrow |w|^2 - \frac{2}{1 - k^2} \mathrm{Re}(\bar{A}w) + \frac{|A|^2}{1 - k^2} = 0 \\
&\Longrightarrow x^2 + y^2 - \frac{2 A_x}{1 - k^2}x - \frac{2 A_y}{1 - k^2}y + \frac{|A|^2}{1 - k^2} = 0
\end{align*}
Completing the square shows that sets determined by an equation in the following form are always (possibly degenerate) circles.
\begin{align*}
x^2 + y^2 + Ex + Fy + G = 0 \Rightarrow (x + \frac{E}{2})^2 + (y + \frac{F}{2})^2 = \frac{E^2 + F^2}{4} - G.
\end{align*}
Replacing coefficients in this formula with those of our previous expression, we find
\begin{align*}
\left(x - \frac{A_x}{1 - k^2} \right)^2 + \left(y - \frac{A_y}{1 - k^2}\right)^2 = \frac{A_x^2 + A_y^2}{(1 - k^2)^2} - \frac{|A|^2}{1 - k^2}
= \left( \frac{k |A|}{|1 - k^2|} \right)^2
\end{align*}
Since $A = a - b$, we confirm that the radius is $r = k\frac{|a - b|}{|1 - k^2|}$.
In complex form, we find $$|w - \frac{a - b}{1 - k^2}| = \frac{k|a - b|}{|1 - k^2|},$$
Translating back to $z$, we find
$$|z - \frac{a - b k^2}{1 - k^2}| = \frac{k|a - b|}{|1 - k^2|},$$
which shows that the center is $c = \frac{a - b k^2}{1 - k^2}$.

There's a slicker calculation which doesn't unpack to real coordinates. It uses the polarization identity again, which serves as a complex substitute for completing the square: $$|z|^2 - 2 \mathrm{Re}(\bar{d}z) = |z - d|^2 - |d|^2$$
From $(\star)$,
\begin{align*}
0 &= |w|^2 - 2\mathrm{Re}(\frac{\bar{A}}{1 - k^2}w) + \frac{|A|^2}{1 - k^2} \\
 &= | w - \frac{A}{1 - k^2} |^2 - |\frac{A}{1 - k^2}|^2 + \frac{|A|^2}{1 - k^2},
\end{align*}
which implies
\begin{align*}
| w - \frac{A}{1 - k^2} |^2 = \left( \frac{k |A|}{1 - k^2} \right)^2.
\end{align*}
Then we can finish as before.
