1 / 12

Activity 2-13 : Elliptic curves

www.carom-maths.co.uk. Activity 2-13 : Elliptic curves. There is a famous story about the mathematicians Ramanujan and Hardy . One day when Hardy visited, he took a cab to Ramanujan ’s home. .

fairly
Download Presentation

Activity 2-13 : Elliptic curves

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. www.carom-maths.co.uk Activity 2-13 : Elliptic curves

  2. There is a famous story about the mathematicians Ramanujan and Hardy. One day when Hardy visited, he took a cab to Ramanujan’s home. Stuck for a little small talk as they greeted each other, Hardy said, ‘The number of that cab was 1729 – rather an uninteresting number, don’t you think?’ To whichRamanujanreplied, ‘Not at all, 1729 is the smallest number that can be expressed as two cubes in two different ways.’

  3. Look at the following spreadsheet to see that Ramanujan was correct: Two cubes Excel spreadsheet 1729 = 93 + 103 = 123 + 13 Task: what is the next highest number to be the sum of two cubes in two different ways? We could see the above as two integer solutions to the equationx3 + y3 = 1729. This is an example of an elliptic curve.

  4. Any cubic curve that doesn’t do unusual things like cross itself can be called an elliptic curve.

  5. Elliptic curves are exceptionally useful in number theory; more and more applications for them have been discovered in recent years. They were the central tool for Andrew Wiles as he set about proving Fermat’s Last Theorem. Suppose we find the equation of the line ABin the diagram. Coordinate geometry gives that which yields that

  6. How many times does this line cut the curve? Putting y = mx + c into x3 + y3 = 1729 gives the cubic equation x3 + (mx + c)3 = 1729. All cubic equations have either one or three (counting repeated roots separately) real solutions. Now we know the cubic has two real solutions (which are these?) so it must have a third. In our case we have

  7. We know two of the roots (1 and 9) so the equation can be written (x  1)(x  9)(x  k)=0. and so So

  8. Notice that C must be a point with rational coordinates,(a rational point)since m and c are rational in y = mx +c. And of course, we can carry on joining up rational points and finding other rational points on the curve for as long as we wish. Something amazing; it makes sense to defining ‘adding’ rational points on the elliptic curve like this:

  9. Given A and B, find the third point Con the curve that is also on AB. Now reflect C in the axis of symmetry of the elliptic curve • to get the point – C (which is also on the curve.) We can say that A + B = -C, or A + B + C = 0. What happens if we add C to –C? We don’t seem to get a third point on the curve here. • In this case, we say C + – C =O, the point at infinity.

  10. In advanced maths, there is a very important structure called a GROUP. Therational points on an elliptic curve form a group. Four rules need to hold for this to be true: • If you add two rational points on the curve, • you get another rational point. TRUE The point at infinity works here = the IDENTITY Element. 2. There is a point on the curve so that if you add it to any rational point, it leaves it unchanged.

  11. 3. Given a rational point, there is another rational point so that when you add the two together, you get the identity. Given a point C, the point –C will always do here. 4. If you add three rational points on the curve, it matters not how you bracket them, So A + (B + C) = (A + B ) + C (the Associativityrule). This is hard to prove, but this Geogebra file demonstrates it. Click on the buttons at the bottom of the page to work through the construction. Don’t forget to drag the points at the end!

  12. With thanks to:Graham Everest. Carom is written by Jonny Griffiths, mail@jonny-griffiths.net

More Related