Thank you very much to Navjot from Sherborne Qatar, Vicente from King's College Alicante in Spain and Samantha from Tanglin Trust School in Sigapore, for the solutions that they submitted. The solution below draws on their observations and explanations.

Thank you also to Amrit from Hymers College in the UK, who sent in more detailed proofs. You can see these via the link at the bottom of the solution.

Keeping $z_2$ and $a$ fixed and moving $z_1$ around the circle, $z_3$ also moves in a circle centred at the origin. The angle between $z_1$ and $z_3$ doesn't appear to change:

Keeping $z_1$ fixed and moving $z_2$ around, now the angle between $z_2$ and $z_3$ appears to stay the same:

Putting $z_2$ on the real axis makes the line through $z_1$ and $z_3$ pass through the origin. This helps to see that the green angle between $z_2$ and $z_3$ is the same as the angle between $z_1$ and the real axis!

So the angle between $z_2$ and $z_3$ is the same as the angle between $z_1$ and the real axis.

Similarly, the angle between $z_1$ and $z_3$ is the same as the angle between $z_2$ and the real axis, as shown below. This explains why, when $z_2$ is real, so makes an angle of $0^\circ$ with the real axis, $z_1$ and $z_3$ lie on the same line through the origin - so the angle between $z_1$ and $z_3$'s line segments is $0^\circ$.

In Strolling Along, we saw that multiplying by a positive multiple of $i$ resulted in an anticlockwise rotation through $90^\circ$, while multiplying by a negative multiple of $i$ resulted in a clockwise rotation through $90^\circ$.

Well, the angle between the real axis and the imaginary axis is $90^\circ$, so this agrees with what we have just seen. The direction of a rotation from the positive real axis is anticlockwise to reach a positive multiple of $i$, but clockwise for negative multiples of $i$. This is shown on the diagrams below, which show the same multiplications that appear in the solution to Strolling Along:

When $z_2=0.5i$, the angle from the positive real axis to $z_2$ is $90^\circ$ anticlockwise, and the angle from $z_1$ to $z_3$ is also $90^\circ$ anticlockwise.

When $z_2=-3i$, the angle from the positive real axis to $z_2$ is $90^\circ$ clockwise, and the angle from $z_1$ to $z_3$ is also $90^\circ$ clockwise.

Recall that moving $z_1$ around with $a$ and $z_2$ fixed, $z_3$ was always the same distance from the origin. So to make $z_3$ closer to or further from the origin, we should change $a$.

Compare the diagrams below to see that making $a$ larger makes $z_3$ further from the origin, and making $a$ smaller makes $z_3$ closer to the origin:

When $a$ was $2$ or $3$, $z_3$ was further from the origin than $z_2$ was. When $a$ was $0.5$, $z_3$ was closer to the origin than $z_2$ was. When $a=1$, $z_2$ and $z_3$ are equidistant from the origin. To make this easier to see, the circle centred at the origin going through $z_2$ is shown on the diagram below:

It looks like $a$ is the scale factor between the lengths of the line segments joining $z_2$ and $z_3$ to the origin.

We can check this by using Pythagoras' Theorem to find the distances from the origin $z_2$ and $z_3$.

$z_2=1-3i$, so the distance from the origin to $z_2$ is $\sqrt{1^2+3^2}=\sqrt{10}=3.16$ to 2 decimal places.

When $a=2$, we would expect the distance from the origin to $z_3$ to be $2\times3.16=6.32$. In this case, $z_3=5-3.9i$, with each coefficient given to 1 decimal place. So the distance from the origin to $z_3$ is approximately $\sqrt{5^2+3.9^2}=\sqrt{40.21}=6.3$ to 1 decimal place.

When $a=3$, we would expect the distance from the origin to $z_3$ to be $3\times3.16=9.48$. In this case, $z_3=7.5-5.8i$, with each coefficient given to 1 decimal place. So the distance from the origin to $z_3$ is approximately $\sqrt{7.5^2+5.8^2}=\sqrt{89.89}=9.5$ to 1 decimal place.

When $a=0.5$, we would expect the distance from the origin to $z_3$ to be $0.5\times3.16=1.58$. In this case, $z_3=1.2-i$, with each coefficient given to 1 decimal place. So the distance from the origin to $z_3$ is approximately $\sqrt{1.2^2+1^2}=\sqrt{2.44}=1.6$ to 1 decimal place.

So when we multiply $z_2$ by a complex number $z_1$ on a circle with radius $a$, the product $z_3$ can be described as a transformation of $z_2$. It is an enlargement, centred at the origin, with scale factor $a$, and a rotation, also centred at the origin, through the angle from the positive real axis to $z_1$.

Some examples are illustrated below. On the left, the angle from the positive real axis to $z_1$ is shown in purple and the distance from the origin to $z_2$ is shown in blue. On the right, the purple angle is placed between $z_2$ and $z_3$ to see the rotation, and blue arrow(s) are placed along the line segment from the origin to $z_3$ to show its length.

In this diagram, $z_2$, a general complex number, will be multiplied by $z_1$, where $z_1=c+di$ is another general complex number.

$a$ is the distance from the origin to $z_1$, which we can find using Pythagoras' Theorem as $\sqrt{c^2+d^2}$.

Recall from Strolling Along that multiplying by the real number $c$ is the same as an enlargement centred at the origin with scale factor $c$. Recall also that multiplying by $di$ represents a rotation of $90^\circ$ anticlockwise about $0+0i$ and an enlargement centred at the origin with scale factor $d$. This is easier to visualise when $c$ and $d$ are positive, as shown on the right. The same diagrams with negative $c$ and $d$ are all shown at the bottom of this explanation.

$z_3=z_1z_2=(c+di)z_2=cz_2+diz_2$. This is shown in this way on the diagram below - as the sum of two vectors.

Now consider the two yellow triangles in the diagram below. They are similar, since both of them have a pair of perpendicular sides with lengths in the ratio $c:d$. So the angle between $z_2$ and $z_3$ is the same as the angle between $z_1$ and the real axis. The scale factor of the enlargement from the small triangle to the large triangle is the same as the distance from the origin to $z_2$. So the distance from the origin to $z_3$ is equal to $a=\sqrt{c^2+d^2}$ multiplied by the distance from the origin to $z_2$.

The diagrams below show the same process but for a $z_1$ with $c$ and $d$ negative.

$c$ and $d$ are negative (but $a=\sqrt{a^2+b^2}$ is still positive)

Multiplication by a negative real number moves $z_2$ to the other side of the origin. We can also now understand this as rotation by the $180^\circ$ angle from the positive real axis to the negative real axis!

Multiplication by a negative multiple of $i$ is a rotation $90^\circ$ clockwise and an enlargement with a positive scale factor.

The angle between $cz_2$ and $z_3$ is the same as the angle between the negative real axis and $z_1$. The sum is $180^\circ$ when this angle is added to the angle from the positive real axis to $z_1$, or to the angle from $z_2$ to $z_3$. So the angle from $z_2$ to $z_3$ is the same as the angle from the positive real axis to $z_1$.

So the product of two complex numbers $z_1$ and $z_2$ can be found on an Argand diagram by applying to a rotation and an enlargement, both centred at the origin, to one of the complex numbers.

$z_2$ could be enlarged by a scale factor $a$, where $a$ is the distance from the origin to $z_1$, and rotated by the angle from the positive real axis to $z_1$.

Equivalently, $z_1$ could be enlarged by a scale factor $b$, where $b$ is the distance from the origin to $z_2$, and rotated by the angle from the positive real axis to $z_2$.

This is also frequently described as:

- The distance from the origin to $z_3$ is the product of the distance from the origin to $z_1$ and the distance from the origin to $z_2$
- The angle from the positive real axis to $z_3$ is the sum of the angles from the positive real axis to $z_1$ and to $z_2$

Click here to see Amrit's proofs.