Finding solutions to systems of polynomial equations is one of the oldest and deepest problems in all of mathematics. This is broadly the domain of algebraic geometry, and mathematicians wield some of the most sophisticated and abstract tools available to attack these problems.

The elliptic curve straddles the elementary and advanced mathematical worlds in an interesting way. On one hand, it’s easy to describe in elementary terms: it’s the set of solutions to a cubic function of two variables. But despite how simple they seem deep theorems govern their behavior, and many natural questions about elliptic curves are still wide open. Since elliptic curves provide us with some of the strongest and most widely used encryption protocols, understanding elliptic curves more deeply would give insight into the security (or potential insecurity) of these protocols.

Our first goal in this series is to treat elliptic curves as mathematical objects, and derive the *elliptic curve group *as the primary object of study. We’ll see what “group” means next time, and afterward we’ll survey some of the vast landscape of unanswered questions. But this post will be entirely elementary, and will gently lead into the natural definition of the group structure on an elliptic curve.

## Elliptic Curves as Equations

The simplest way to describe an elliptic curve is as the set of all solutions to a specific kind of polynomial equation in two real variables, . Specifically, the equation has the form:

Where are real numbers such that

One would naturally ask, “Who the hell came up with *that?*” A thorough answer requires a convoluted trip through 19th and 20th-century mathematical history, but it turns out that this is a clever form of a very natural family of equations. We’ll elaborate on this in another post, but for now we can give an elementary motivation.

Say you have a pyramid of spheres whose layers are squares, like the one below

We might wonder when it’s the case that we can rearrange these spheres into a single square. Clearly you can do it for a pyramid of height 1 because a single ball is also a 1×1 square (and one of height zero if you allow a 0x0 square). But are there any others?

This question turns out to be a question about an elliptic curve. First, recall that the number of spheres in such a pyramid is given by

And so we’re asking if there are any positive integers such that

Here is a graph of this equation in the plane. As you admire it, though, remember that we’re chiefly interested in *integer* solutions.

The equation doesn’t quite have the special form we mentioned above, but the reader can rest assured (and we’ll prove it later) that one can transform our equation into that form without changing the set of solutions. In the meantime let’s focus on the question: are there any integer-valued points on this curve besides and ? The method we use to answer this question comes from ancient Greece, and is due to Diophantus. The idea is that we can use the two points we already have to construct a third point. This method is important because it forms the basis for our entire study of elliptic curves.

Take the line passing through and , given by the equation , and compute the intersection of this line and the original elliptic curve. The “intersection” simply means to solve both equations simultaneously. In this case it’s

It’s clear what to do: just substitute the latter in for the former. That is, solve

Rearranging this into a single polynomial and multiplying through by 3 gives

Factoring cubics happens to be easy, but let’s instead use a different trick that will come up again later. Let’s use a fact that is taught in elementary algebra and precalculus courses and promptly forgotten, that the sum of the roots of any polynomial is , where is the leading coefficient and is the next coefficient. Here , so the sum of the roots is . This is useful because *we already know two roots, *namely the solutions 0 and 1 we used to define the system of equations in the first place. So the third root satisfies

And it’s , giving the point since the line was . Because of the symmetry of the curve, we also get the point .

Here’s a zoomed-in picture of what we just did to our elliptic curve. We used the two pink points (which gave us the dashed line) to find the purple point.

The bad news is that these two new points don’t have integer coordinates. So it doesn’t answer our question. The good news is that now we have more points! So we can try this trick again to see if it will give us still more points, and hope to find some that are integer valued. (It sounds like a hopeless goal, but just hold out a bit longer). If we try this trick again using and , we get the equation

And redoing all the algebraic steps we did before gives us the solution . In other words, we just proved that

Great! Here’s another picture showing what we just did.

In reality we don’t care about this little puzzle. Its solution might be a fun distraction (and even more distracting: try to prove there aren’t any *other* integer solutions), but it’s not the real treasure. The mathematical gem is the *method* of finding the solution. We can ask the natural question: if you have two points on an elliptic curve, and you take the line between those two points, will you *always *get a third point on the curve?

Certainly the answer is *no*. See this example of two points whose line is vertical.

But with some mathematical elbow grease, we can actually *force* it to work! That is, we can define things *just right* so that the line between any two points on an elliptic curve will *always* give you another point on the curve. This sounds like mysterious black magic, but it lights the way down a long mathematical corridor of new ideas, and is required to make sense of using elliptic curves for cryptography.

## Shapes of Elliptic Curves

Before we continue, let’s take a little detour to get a good feel for the shapes of elliptic curves. We have defined elliptic curves by a special kind of equation (we’ll give it a name in a future post). During most of our study we won’t be able to make any geometric sense of these equations. But for now, we can pretend that we’re working over real numbers and graph these equations in the plane.

Elliptic curves in the form have a small handful of different shapes that we can see as vary:

The problem is when we cross the point at which the rounded part pinches off in the first animation, and the circular component appears in the second. At those precise moments, the curve becomes “non-smooth” (or *singular*), and for reasons we’ll see later this is bad. The condition from the beginning of the article (that ) ensures that these two cases are excluded from consideration, and it’s one crucial part of our “elbow grease” to ensure that lines behave nicely.

The “canonical” shape of the elliptic curve is given by the specific example . It’s the example that should pop up whenever you imagine an elliptic curve, and it’s the example we’ll use for all of our pictures.

So in the next post we’ll roll up our sleeves and see exactly how “drawing lines” can be turned into an *algebraic structure *on an elliptic curve.

Until then!

Thanks for the great post – excited for the rest!

LikeLike

Very informative! Thank you for the post. I’ve always been interested in learning more about elliptic curves and their use in cryptography. Could you recommend a book?

LikeLike

Unfortunately I’ve never read an entire book on this stuff. I occasionally refer to Silverman & Tate’s Rational Points on Elliptic Curves, but it’s relatively advanced and only devotes a small part to cryptography…

LikeLike

Elliptic Curves: Number Theory and Cryptography, Lawrence C Washington is a really good book. I haven’t read the whole thing, but its very accessible and includes detailed proofs and chapters on cryptography.

LikeLike

I believe your expression 3xx-2 should be 3x-2 when solving your second step.

LikeLike

You’re absolutely right. The odd part is I remember fixing it once already

LikeLike

Nice explanation, thanks! One thing confuses me: why do you need the -16 factor in -16(4a^3+27b^2) != 0?

LikeLike

Technical answer: you don’t as long as you’re working in a field of characteristic not equal to 2.

Layman answer: This particular quantity is called the discriminant, and the general elliptic curve is usually stated simply to have nonzero discriminant. The discriminant gets tricky when you pick different number systems (e.g. one in which 2=0), because then the discriminant is always zero! We’ll talk a little bit more about the “general” form of an elliptic curve next time, but suffice it to say that you can’t always get your elliptic curves to be in this special form.

LikeLike

Please make your website friendly for those of us who use multiple windows – the width of your content is 800 pixels and obscured by your menu when the width of my browser is 960. If I maximize my browser window it’s equally silly, I can’t see more content at once… I just see white (black?) space everywhere. I don’t blame you, I blame Web 4.0 or whatever we’re on now – sometimes I pine for lynx.

LikeLike

You should label your axes.

LikeLike

How is the first animation not smooth? Can you provide more details on why they become a problem?

LikeLike

At the moment it crosses the origin it gets a sharp cusp. See [1] for a still frame. At this point the curve is not “smooth” in the sense that the cusp point doesn’t have a well-defined tangent line. This causes the point-adding algorithm to fail, because as we’ll see next time we need every point to have a unique tangent to the curve (in short, to allow us to add a point to itself).

The second has the same problem at the moment the bubble on the left first appears.

[1]: http://en.wikipedia.org/wiki/File:EllipticCurveCatalog.svg

LikeLike

I see. So, in the first GIF before the cusp shows up, it seems to also exist a point with infinite tangent (x = 0), is this not a problem because there is only one point?

LikeLike

This is a good observation, and we’ll spend most of the next post figuring out how to fix it

LikeLike

Thanks for the awesome post “BUT PLEASE DO WRITE THE NEXT POST!!!!!!!”

LikeLike

It is already written, see the main content page

LikeLike