You may have heard of the fact that elliptic curves are groups. Perhaps you have little idea what an elliptic curve is, or in what sense we mean that it is a group. I'd like to discuss the group law for elliptic curves, as viewed from the degenerate case of the circle.

First, recall that an (affine) elliptic curve

is a non-singuler curve of the form

, where

is a third-degree polynomial. Notice that any line

which intersects the curve in two points intersects it in a third ; indeed, substituting the equation of the line into the equation defining

, we obtain a third-degree equation for which two roots are given, by assumption; therefore, there exists a third real root.

We define a binary operation on

, as follows : for two points

, we let

be the third point of intersection of

with the line through

and

. This operation trivially satisfies

and

. By choosing a point

on the curve, which we define as the identity element of the group, we define another operation by

. Then it follows that

, and

. Thus

will have been made into a group if we can prove that

is associative. I'm not going to prove this; although it's not terribly difficult, it's certainly less obvious than proving that the other two axioms for a group are satisfied.

Now let's take a look at the circle group. What does it mean to add points on the circle? It means to multiply them as complex numbers, or to add their angles with the positive

axis, or to compose the two plane rotations which they evidently describe. But there's a way to add points on the circle without any rotations. It's based on the theorem which states that two parallel lines which intersect the circle sandwich arcs of equal length. Using this theorem, we can "translate" an arc on the circle simply by drawing two parallel lines from its endpoints. So we pick a point, say

, to be the identity of the group. Now to add two points

and

, we draw a line

from

to

, and a second line

through

and parallel to

; the intersection of

with the circle is

.

Now suppose that we were adding points on the circle as if it were an elliptic curve. Suppose that there were a vertical line

, very distant to the right of the circle. To add

and

, we would draw the line through

and

, which would intersect the line somewhere very far. Then, from this point we would draw another line through

, which would intersect the circle in

. Now the two lines which we have drawn are almost parallel, provided that

is very distant. As

becomes more and more distant, the point

thus approaches its traditional value.

It would be interesting to back all of this up with some good ol' equations. Maybe I'll do that later if I'm bored. I just wanted to share.