Let \(z\) be the complex number \(3 + t\mathrm{i}\), where \(t \in \mathbb{R}\). Show that \(|w - 1|\) is independent of \(t\). Hence show that, if \(z\) is a complex number on the line \(\operatorname{Re}(z) = 3\) in the Argand diagram, then \(w\) lies on a circle in the Argand diagram with centre \(1\).
Let \(V\) be the line \(\operatorname{Re}(z) = p\), where \(p\) is a real constant not equal to \(2\). Show that, if \(z\) lies on \(V\), then \(w\) lies on a circle whose centre and radius you should give in terms of \(p\). For which \(z\) on \(V\) is \(\operatorname{Im}(w) > 0\)?
Let \(H\) be the line \(\operatorname{Im}(z) = q\), where \(q\) is a non-zero real constant. Show that, if \(z\) lies on \(H\), then \(w\) lies on a circle whose centre and radius you should give in terms of \(q\). For which \(z\) on \(H\) is \(\operatorname{Re}(w) > 0\)?
In this question, you are not permitted to use any properties of trigonometric functions or inverse trigonometric functions.
The function \(\T\) is defined for \(x>0\) by
\[
\T(x) = \int_0^x \! \frac 1 {1+u^2} \, \d u\,,
\]
and $\displaystyle T_\infty =
\int_0^\infty \!\! \frac 1 {1+u^2} \, \d u\,$ (which has a finite value).
By making an appropriate substitution in the integral for \(\T(x)\),
show that \[\T(x) = \T_\infty - \T(x^{-1})\,.\]
Let \(v= \dfrac{u+a}{1-au}\), where \(a\) is a constant. Verify that, for
\(u\ne a^{-1}\),
\[
\frac{\d v}{\d u} = \frac{1+v^2}{1+u^2}
\,.
\]
Hence show that, for \(a>0\) and \(x< \dfrac1a\,\),
\[
\T(x) = \T\left(\frac{x+a}{1-ax}\right) -\T(a) \,.
\]
Deduce that
\[
\T(x^{-1})
= 2\T_\infty -\T\left(\frac{x+a}{1-ax}\right)
-\T(a^{-1})
\]
and hence that, for
\(b>0\) and \(y>\dfrac1b\,\),
\[
\T(y) =2\T_\infty - \T\left(\frac{y+b}{by-1}\right) - \T(b) \,.
\]
Use the above results to show that
\(\T(\sqrt3)= \tfrac23 \T_\infty \,\)
and
\(\T(\sqrt2 -1)= \frac14 \T_\infty\,\).
Solution:
\(\,\) \begin{align*}
&& T(x) &= \int_0^x \! \frac 1 {1+u^2} \, \d u \\
&&&= \int_0^{\infty} \frac{1}{1+u^2} \d u - \int_x^\infty \frac{1}{1+u^2} \d u \\
&&&= T_\infty - \int_x^\infty \frac{1}{1+u^2} \d u \\
u = 1/v, \d u = -1/v^2 \d v: &&&= T_\infty - \int_{v=x^{-1}}^{v=0} \frac{1}{1+v^{-2}} \frac{-1}{v^2} \d v \\
&&&= T_\infty - \int_{0}^{x^{-1}} \frac{1}{1+v^2} \d v \\
&&&= T_\infty - T(x^{-1})
\end{align*}
The point in the Argand diagram representing the complex number
\(z\) lies on the circle with centre \(K\) and radius \(r\), where \(K\)
represents the complex number \(k\). Show that
$$
zz^* -kz^* -k^*z +kk^* -r^2 =0.
$$
The points \(P\), \(Q_1\) and \(Q_2\) represent the complex numbers
\(z\), \(w_1\) and \(w_2\) respectively. The point \(P\) lies on the circle
with \(OA\) as diameter, where \(O\) and \(A\) represent \(0\) and
\(2i\) respectively. Given that \(w_1=z/(z-1)\), find the equation of the
locus \(L\) of \(Q_1\) in terms of \(w_1\) and describe
the geometrical form of \(L\).
Given that \(w_2=z^*\), show that the locus of \(Q_2\) is also \(L\). Determine the
positions of \(P\) for which \(Q_1\) coincides with \(Q_2\).
Give a parametric form for the curve in the Argand diagram determined by \(\left|z-\mathrm{i}\right|=2.\)
Let \(w=(z+\mathrm{i})/(z-\mathrm{i}).\) Find and sketch the locus, in the Argand diagram, of the point which represents the complex number \(w\) when
\begin{questionparts}
\item \(\left|z-\mathrm{i}\right|=2;\)
\item \(z\) is real;
\item \(z\) is imaginary.
\end{questionpart}
Solution: There are many possible parametric forms, for example \(z = i + 2e^{it}, z = 2\ cos \theta + (1 + 2\sin \theta)i\) etc. It is a circle radius \(2\) about the point \(i\).
\begin{align*}
w &= \frac{z+i}{z-i} \\
&= \frac{2i + 2e^{it}}{2e^{it}} \\
&= 2 + ie^{-it}
\end{align*}
This is obvious a circle radius \(1\) about the point \(2\).
If \(z\) is real, then
\begin{align*}
w &= \frac{z+i}{z-i} \\
&= \frac{(z+i)^2}{z^2+1} \\
&= \frac{z^2-1 + 2zi}{z^2+1}
\end{align*} We can quickly notice this describes a circle radius \(1\) about \(0\).
Alternatively, \(|z+i| = |z-i| \Rightarrow |\frac{z+i}{z-i}| = 1\) so we must be talking about points on the unit circle. Since this is a Mobius transform we know it maps lines and circles to lines and circles, therefore it must map to the unit circle;
If \(z\) is purely imaginary, say \(it\) then:
\begin{align*}
w &= \frac{z+i}{z-i} \\
&= \frac{(it+i)(i-it)}{(-1+t)^2} \\
&= \frac{t^2-1}{(t-1)^2}
\end{align*}
Which is purely real, and can take all real values.