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. (Cool)