That Which We Call a Circle

loopspace

2017-06-13

Creative Commons License

Contents

  1. Home

  2. 1. Introduction

  3. 2. Algebra

  4. 3. Geometry

  5. 4. Deep Mining the Geometry

  6. 5. Animation

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 12=0.5 or that 24=12.

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 and k with k>0 and k1, then the set of z 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 (a,b) and (c,d) be the coordinates of the points in the plane, let k be the ratio of the distances. Let (x,y) be a point such that the distance to (a,b) is k times its distance to (c,d).

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

(x-a)2+(y-b)2

and the distance from (x,y) to (c,d) is:

(x-c)2+(y-d)2

so the condition that the ratio is k means that:

(x-a)2+(y-b)2=k(x-c)2+(y-d)2.

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

(x-a)2+(y-b)2=k2((x-c)2+(y-d)2).

Expanding out the brackets leads to:

x2-2ax+a2+y2-2by+b2=k2(x2-2cx+c2+y2-2dy+d2)=k2x2-2k2cx+k2c2+k2y2-2k2dy+k2d2

Gathering terms then gives:

(k2-1)x2+2(a-k2c)x+(k2-1)y2+2(b-k2d)y+k2(c2+d2)-a2-b2=0

which is obviously a circle.

Dividing2 by k2-1 we get

2This is where we use the assumption that k1

x2+2a-k2ck2-1x+y2+2b-k2dk2-1+1k2-1(k2c2-a2+k2d2-b2)=0

Completing the square on both x and y leads to:

(x-k2c-ak2-1)2+(y-k2d-bk2-1)2=(k2c-a)2+(k2d-b)2(k2-1)2+1k2-1(a2-k2c2+b2-k2d2)

To deal with that mess on the right-hand side, we put it all over (k2-1)2 whereupon the numerator simplifies as follows:

k4c2-2k2ac+a2+k4d2-2k2bd+b2+k2a2-k4c2+k2b2-k4d2-a2+k2c2-b2+k2d2=-2k2ac-2k2bd+k2a2+k2b2+k2c2+k2d2=k2(a2-2ac+c2+b2-2bd+d2)=k2((a-c)2+(b-d)2)

and we recognise (a-c)2+(b-d)2 as the square of the distance between the two points (a,b) and (c,d).

So the centre of the circle is at

(k2c-ak2-1,k2d-bk2-1)

and its radius is

kk2-1(a-c)2+(b-d)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 (1,0). The algebra then tells us that the centre is at:

(k2k2-1,0)

and the radius is

kk2-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 k2-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 k2 and the first part is k2-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 lk, strongly suggesting that we do this again: place a similar triangle along BE.

In this picture, BF=1k2 and FE=lk2 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, FB^E=BD^E=BA^D and EB^D=BD^A. Hence FB^E, EB^D, and DB^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=1k, then BF=1k2, 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+1k2+1k4+=11-1k2=k2k2-1

from A and

1k+1k3+=1k1-1k2=kk2-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 k2k2-1 from A, with radius kk2-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 DA^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 DG^C=AD^B. We also have that DA^B=BD^C (by construction) and therefore DC^G=DA^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--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:

AB=1,CD=t,AC=uAD=s,CG=st,AG=usBD=sr,DG=srt,CG=usr

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:

tr=1+rt

which rearranges to

t=11r-r=r1-r2

and substituting back we get that

u=11-r2.

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

s+sr+sr2+sr3+=us+usr=us(1+r)=s(1+r)1-r2=s1-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 11-r2 from A, and:

CD=t=r1-r2.

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.