Multiplication of points on conics and cubics (an advanced topic)
One of the reasons that mathematicians have been fascinated by cubic curves is that they have a remarkable algebraic structure which is not at all obvious. This is a novel way of “multiplying” points on a cubic curve through a curious geometrical construction.
In this (advanced) step, you will
first learn about the simpler multiplication on a conic, which is also very interesting
see how to multiply points on a cubic.
This is a bit of an advanced topic, but we think you may find it fun. Warning: the notion of multiplication that we are going to be seeing here is not at all the same as familiar multiplication! If you have GeoGebra on your computer, you can play around and actually follow the discussion with a specific example — a great way to get a feel for this remarkable phenomenon which is surprisingly connected to interesting number theory (including Fermat’s last theorem) and modern cryptography.
Multiplying points on a parabola
Let’s begin with a simple but elegant way of “multiplying” points on a conic. we’ll start with the simplest conic, the parabola , and mark the simplest point, the origin on it. Now take any two points on the conic, say and . Draw the line through parallel to , and suppose that it meets the curve again at the point . Then we define
Q1 (M): If and what is the slope of the line ? What is the equation of the line through parallel to ? What is the point in this case?
Q2 (C): Let’s be more general. Let and be two arbitrary points on the parabola. What is the slope of the line ? What is the equation of the line through parallel to ? What is the point in this case?
Multiplying points on a general conic
Now let’s go one step further: the same procedure for multiplying points works on a general conic, with an arbitrary fixed point on it. We no longer require to be the origin, but we do required it to be chosen once and for all. Then we define a (new) multiplication of points on the conic: to multiply and , we draw the line through parallel to , and let it meet the conic also at the point .
What properties does this multiplication of points have? One of the properties is that for any point . Can you see why this is true? Another more subtle property is that the multiplication is associative, meaning that
for any three points , , on the conic. It is great fun to verify this yourself using GeoGebra. Make yourself a conic — GeoGebra can generate a unique conic through any five points — and then pick three points on that conic, and compute both sides of the above equation.
Multiplying points on a cubic
Now we up the ante considerably by defining a multiplication of points on a particular cubic curve, say . This definition is a bit more involved than in the conic situation, and the multiplication is considerably more mysterious!
Here is how to multiply two points and which lie on the curve. The line meets the curve in a third point, say . Now reflect in the -axis to obtain . Then define
This does appear a curious operation, but it is still associative! That means that if we have three points , and on the curve, then
Q3 (C): If you multiply in the figure below, which point do you get on the curve? What happens if you compute ?
You can get a good appreciation of the beauty of geometry by experimenting with different initial points, and verifying that the associative property always holds. Perhaps it appears that this is all just abstract geometry without any possible application — but in internet security, exactly this kind of multiplication plays a central role in what is called elliptic curve cryptography!
A1. The slope of the line is , so will lie on the line . Solving and we conclude that , and hence is the point .
A2. The slope of the line is . If we now try to solve the equations and we will find that the non-zero solution is . Hence we conclude that is the point . So the somewhat mysterious multiplication of points on the parabola corresponds exactly to just addition of -coordinates!
A3. Following the lines in the diagram we conclude that . If we repeat the process with and we find .
If instead we were to start with and then we find . Applying this geometric construction to and we find .
© UNSW Australia 2015