That Which We Call a Circle

loopspace

2nd August 2018

# 1 Introduction

When is a circle a circle?

It is quite common in Mathematics to have several descriptions of something. Understanding why the different descriptions are of the same thing can be very illuminating. A very simple example would be that $\frac{1}{2}=0.5$ or that $\frac{2}{4}=\frac{1}{2}$.

I recently came across a description of a circle that I hadn't encountered before. It was given in terms of complex numbers, though it doesn't need them. Pick two points on the plane, and fix a ratio1, then take all the points whose distances from the two points are in that ratio. This turns out to be a circle.

1Other than $1$. Picking the ratio $1$ gives the perpendicular bisector between the two points. Sometimes it's a useful point of view to think of lines as "circles through infinity".

One way to think of this is to imagine two people standing at the two points. Suppose that one can run twice as fast as the other. Then the plane can be divided into two regions depending on which person can get there first. The boundary, consisting of those points that the two reach in the same time, is a circle.

For completeness, the complex number version is as follows. Let $a,b\in ℂ$ and $k\in ℝ$ with $k>0$ and $k\ne 1$, then the set of $z\in ℂ$ that satisfy the following condition is a circle,

 $|z-a|=k|z-b|.$

While it's easy enough to show algebraically that this does describe a circle, that was never very satisfying. What I wanted was a geometric explanation. I've finally figured one out.

Unsurprisingly, it involves similar triangles yet again.

# 2 Algebra

The algebraic proof is straightforward. Let $\left(a,b\right)$ and $\left(c,d\right)$ be the coordinates of the points in the plane, let $k$ be the ratio of the distances. Let $\left(x,y\right)$ be a point such that the distance to $\left(a,b\right)$ is $k$ times its distance to $\left(c,d\right)$.

Pythagoras' theorem says that the distance from $\left(x,y\right)$ to $\left(a,b\right)$ is:

 $\sqrt{\left(x-a{\right)}^{2}+\left(y-b{\right)}^{2}}$

and the distance from $\left(x,y\right)$ to $\left(c,d\right)$ is:

 $\sqrt{\left(x-c{\right)}^{2}+\left(y-d{\right)}^{2}}$

so the condition that the ratio is $k$ means that:

 $\sqrt{\left(x-a{\right)}^{2}+\left(y-b{\right)}^{2}}=k\sqrt{\left(x-c{\right)}^{2}+\left(y-d{\right)}^{2}}.$

The square roots are annoying, so let's square both sides to get rid of them:

 $\left(x-a{\right)}^{2}+\left(y-b{\right)}^{2}={k}^{2}\left(\left(x-c{\right)}^{2}+\left(y-d{\right)}^{2}\right).$

Expanding out the brackets leads to:

 $\begin{array}{rl}{x}^{2}-2ax+{a}^{2}+{y}^{2}-2by+{b}^{2}& ={k}^{2}\left({x}^{2}-2cx+{c}^{2}+{y}^{2}-2dy+{d}^{2}\right)\\ & ={k}^{2}{x}^{2}-2{k}^{2}cx+{k}^{2}{c}^{2}+{k}^{2}{y}^{2}-2{k}^{2}dy+{k}^{2}{d}^{2}\end{array}$

Gathering terms then gives:

 $\left({k}^{2}-1\right){x}^{2}+2\left(a-{k}^{2}c\right)x+\left({k}^{2}-1\right){y}^{2}+2\left(b-{k}^{2}d\right)y+{k}^{2}\left({c}^{2}+{d}^{2}\right)-{a}^{2}-{b}^{2}=0$

which is obviously a circle.

Dividing2 by ${k}^{2}-1$ we get

2This is where we use the assumption that $k\ne 1$

 ${x}^{2}+2\frac{a-{k}^{2}c}{{k}^{2}-1}x+{y}^{2}+2\frac{b-{k}^{2}d}{{k}^{2}-1}+\frac{1}{{k}^{2}-1}\left({k}^{2}{c}^{2}-{a}^{2}+{k}^{2}{d}^{2}-{b}^{2}\right)=0$

Completing the square on both $x$ and $y$ leads to:

 $\left(x-\frac{{k}^{2}c-a}{{k}^{2}-1}{\right)}^{2}+\left(y-\frac{{k}^{2}d-b}{{k}^{2}-1}{\right)}^{2}=\frac{\left({k}^{2}c-a{\right)}^{2}+\left({k}^{2}d-b{\right)}^{2}}{\left({k}^{2}-1{\right)}^{2}}+\frac{1}{{k}^{2}-1}\left({a}^{2}-{k}^{2}{c}^{2}+{b}^{2}-{k}^{2}{d}^{2}\right)$

To deal with that mess on the right-hand side, we put it all over $\left({k}^{2}-1{\right)}^{2}$ whereupon the numerator simplifies as follows:

 $\begin{array}{rl}{k}^{4}{c}^{2}-2{k}^{2}ac& +{a}^{2}+{k}^{4}{d}^{2}-2{k}^{2}bd+{b}^{2}+{k}^{2}{a}^{2}-{k}^{4}{c}^{2}+{k}^{2}{b}^{2}-{k}^{4}{d}^{2}-{a}^{2}+{k}^{2}{c}^{2}-{b}^{2}+{k}^{2}{d}^{2}\\ & =-2{k}^{2}ac-2{k}^{2}bd+{k}^{2}{a}^{2}+{k}^{2}{b}^{2}+{k}^{2}{c}^{2}+{k}^{2}{d}^{2}\\ & ={k}^{2}\left({a}^{2}-2ac+{c}^{2}+{b}^{2}-2bd+{d}^{2}\right)\\ & ={k}^{2}\left(\left(a-c{\right)}^{2}+\left(b-d{\right)}^{2}\right)\end{array}$

and we recognise $\left(a-c{\right)}^{2}+\left(b-d{\right)}^{2}$ as the square of the distance between the two points $\left(a,b\right)$ and $\left(c,d\right)$.

So the centre of the circle is at

 $\left(\frac{{k}^{2}c-a}{{k}^{2}-1},\frac{{k}^{2}d-b}{{k}^{2}-1}\right)$

 $\frac{k}{{k}^{2}-1}\sqrt{\left(a-c{\right)}^{2}+\left(b-d{\right)}^{2}}$

# 3 Geometry

So, we know that it is a circle. But as a geometer, a purely algebraic method as above doesn't tell me why it is a circle. For that, I need to draw some pictures.

The first thing to see is that the description is coordinate free, and so we can scale, rotate, and translate it without changing the underlying geometry. This might have an effect on the constant, $k$, but if we leave that free then that doesn't matter. So we can take our two points to be at the origin and at $\left(1,0\right)$. The algebra then tells us that the centre is at:

 $\left(\frac{{k}^{2}}{{k}^{2}-1},0\right)$

 $\frac{k}{{k}^{2}-1}.$

Note that I'm using the algebra to inform my geometric investigation. I may be after a geometric reason, but I'm not going to ignore all the work I did on the algebra.

Let's now draw a picture. In the following, I'm going to tacitly assume that $k>1$. If we had $k<1$ then we could swap the roles of $A$ and $B$.

The denominator of ${k}^{2}-1$ is irritating, so let's scale everything up by that factor (we'll absorb it into $l$ as that's an arbitrary length).

It will be a bit easier if we label lengths rather than coordinates, so we'll draw the line at the bottom and label the two lengths. Since the total distance is ${k}^{2}$ and the first part is ${k}^{2}-1$ then the second part now has distance $1$. We'll label the points as well.

At this point, the answer leaps out. Triangle $ADC$ is similar to triangle $DBC$ with scale factor $k$. As point $D$ moves, this similarity forces the relationship $AC=kDC$, which means that $DC$ is constant as $AC$ doesn't change. Hence, a circle.

Although we used the algebra to guide our drawing, the only part that still actually relies on the algebra is the location of the centre, $C$. So to complete the geometric argument we need a geometric construction of $C$.

Let's resume from the original diagram in which the distance between $A$ and $B$ was $1$.

Knowing that similar triangles are the key, we note that the lengths $AD$ and $BD$ are defined by being in ratio $k$, so the most natural thing to do is to place a triangle similar to $ADB$ with scale factor $1/k$ adjacent to $DB$. There are two ways round to do this and guided by what we know we'll choose the one so that the angle corresponding to $A$ ends up at $D$.

The length $BE$ is $\frac{l}{k}$, strongly suggesting that we do this again: place a similar triangle along $BE$.

In this picture, $BF=\frac{1}{{k}^{2}}$ and $FE=\frac{l}{{k}^{2}}$ so we can continue the process along $FE$. But before we do so, let us note that because of how the triangles have been placed, $F\stackrel{^}{B}E=B\stackrel{^}{D}E=B\stackrel{^}{A}D$ and $E\stackrel{^}{B}D=B\stackrel{^}{D}A$. Hence $F\stackrel{^}{B}E$, $E\stackrel{^}{B}D$, and $D\stackrel{^}{B}A$ between them comprise the three angles in the original triangle $ABD$. Hence $ABF$ is a straight line.

The next step in the iteration adds a point on the continuation of the line $DE$, and the next on $AB$. As we have assumed that $k>1$, the triangles are getting smaller (in a geometric series) and will therefore converge. Since we add successively points on the continuation lines through $AB$ and through $DE$, the convergence point must be the intersection of these lines.

We can do more than that. The lengths that we add each time form a geometric series. We start with $AB=1$, then $DE=\frac{1}{k}$, then $BF=\frac{1}{{k}^{2}}$, and so on. Every other term adds to the $AB$ continuation, and the in between terms to the $DE$ continuation. Hence the intersection point $C$ is

 $1+\frac{1}{{k}^{2}}+\frac{1}{{k}^{4}}+\dots =\frac{1}{1-\frac{1}{{k}^{2}}}=\frac{{k}^{2}}{{k}^{2}-1}$

from $A$ and

 $\frac{1}{k}+\frac{1}{{k}^{3}}+\dots =\frac{\frac{1}{k}}{1-\frac{1}{{k}^{2}}}=\frac{k}{{k}^{2}-1}$

from $D$. Neither of these depends on $l$, and thus neither depends on where $D$ is providing it satisfies the criterion that $DA=kDB$.

Hence the locus of $D$ is a circle centred on $C$, which lies on the line through $AB$ at distance $\frac{{k}^{2}}{{k}^{2}-1}$ from $A$, with radius $\frac{k}{{k}^{2}-1}$.

# 4 Deep Mining the Geometry

The more I play with these pictures, the more geometry I find. Let's start with a triangle, with base length $1$. We'll insist that it not be isosceles, and without loss of generality assume that the angle at $B$ is the larger of the base angles. As above, we'll look at the ratio of the two non-base sides, but this time we'll think of the ratio of the smaller to the larger.

As before, we'll draw a line at angle $D\stackrel{^}{A}B$ to $DB$ and mark where it meets the extension of $AB$.

From the new point, $C$, we draw a line parallel to $DB$ and continue it to meet the extension of $AD$.

By construction, triangles $ADB$ and $AGC$ are similar. Therefore, angle $D\stackrel{^}{G}C=A\stackrel{^}{D}B$. We also have that $D\stackrel{^}{A}B=B\stackrel{^}{D}C$ (by construction) and therefore $D\stackrel{^}{C}G=D\stackrel{^}{A}B$ (by alternate angles). Hence triangle $CGD$ is also similar to $ADB$.

Looking at the angles, triangle $ADC$ is similar to $DBC$.

We therefore have two basic triangles and all others are similar to one or other of these. Also, each triangle decomposes into two pieces which are similar to the two basic triangles. We can see this from the decomposition of $AGC$ into $CGD$ and $ADC$, and of $ADC$ into $ADB$ and $DBC$.

Continuing the decomposition on triangle $DBC$ and then on any copy of $DBC$, we end up by filling $AGC$ by ever smaller copies of itself, establishing it as an irrep-$\infty$-tile. This decomposition coincides with the result of the earlier iteration.

Here's an interactive version of that diagram, with added triangles showing the iteration going outwards as well as inwards. You can drag the vertices of the original triangle around.

What can also be seen from this is that the length of the zig-zag path, starting at $A$ and ending at $C$, is the same as the direct path from $A$ to $C$ via $G$. All the bits parallel to $AD$ translate up to fill in the section $DG$, while all the bits parallel to $DB$, together with $DB$, translate to fill the section $GC$.

To find the size of the triangle $AGC$, we use the various similarities. We have three similar triangles: $ADB$, $AGC$, and $CGD$. As we have assumed that $AB=1$, the lengths of $AC$ and $CD$ define the scale factors. So if we put $AC=u$ and $CD=t$ then the triangles have the following lengths, where each column is a triangle and each row is a family of corresponding lengths:

 $\begin{array}{rlrlrl}AB& =1,\phantom{\rule{1em}{0ex}}& CD& =t,\phantom{\rule{1em}{0ex}}& AC& =u\\ AD& =s,& CG& =st,& AG& =us\\ BD& =sr,& DG& =srt,& CG& =usr\end{array}$

Now $CG$ appears twice in this table, so $usr=st$ and thus $t=ur$. Also $AG=AD+DG$ so $us=s+srt$ and thus $u=1+rt$. Putting these together gives:

 $\frac{t}{r}=1+rt$

which rearranges to

 $t=\frac{1}{\frac{1}{r}-r}=\frac{r}{1-{r}^{2}}$

and substituting back we get that

 $u=\frac{1}{1-{r}^{2}}.$

We've noted that $AG+GC$ is the same length as the zig-zag path, so:

 $s+sr+s{r}^{2}+s{r}^{3}+\dots =us+usr=us\left(1+r\right)=\frac{s\left(1+r\right)}{1-{r}^{2}}=\frac{s}{1-r}$

which is a nice geometrical proof of the sum of a geometric series.

Getting back to the circle, we are expecting that the centre will be at $C$ so we need the position of $C$ and the distance $CD$ to depend only on the ratio $r$ and not on $s$. And this is exactly what we find since $C$ is on the line which passes through $A$ and $B$ at a distance $\frac{1}{1-{r}^{2}}$ from $A$, and:

 $CD=t=\frac{r}{1-{r}^{2}}.$

# 5 Animation

Lastly, here's an animation to demonstrate this topic. It shows what happens as the ratio $k$ varies. As with the previous animation, the points can be moved around.