30.11.2012 Views

Code and ciphers: Julius Caesar, the Enigma and the internet

Code and ciphers: Julius Caesar, the Enigma and the internet

Code and ciphers: Julius Caesar, the Enigma and the internet

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

216<br />

appendix<br />

So, for example, <strong>the</strong> points (1,�5) are integer points of <strong>the</strong> curve<br />

Y 2 �X 3 �2X�3 (mod 19).<br />

From any one or two points on <strong>the</strong> curve ano<strong>the</strong>r may be constructed by<br />

using <strong>the</strong> tangent at <strong>the</strong> single point or <strong>the</strong> chord joining <strong>the</strong> two points.<br />

This tangent or chord meets <strong>the</strong> curve in a third point which must have<br />

rational co-ordinates <strong>and</strong> <strong>the</strong>se rationals are convertible into integers in<br />

GF( p), <strong>the</strong> Galois field (mod p). So, for example, for <strong>the</strong> curve above with<br />

p�19, <strong>the</strong> equation of <strong>the</strong> tangent at <strong>the</strong> point (1, 5) is<br />

2Y�X�9<br />

<strong>and</strong> we find that this tangent meets <strong>the</strong> curve again at <strong>the</strong> point where<br />

X��7/4. This is equivalent to an integer value in GF(19); since 4 is <strong>the</strong><br />

denominator of this fraction we must first find <strong>the</strong> integer n such that<br />

4n�1 (mod 19).<br />

This gives n�5 since 20�1�19�1; hence �7/4�(�7)�5��35�3<br />

(mod 19) <strong>and</strong> so <strong>the</strong> fraction �7/4 is equivalent to <strong>the</strong> integer 3 in GF(19).<br />

This gives 3 as <strong>the</strong> integer value of X <strong>and</strong> <strong>the</strong> corresponding value of Y,<br />

obtained from <strong>the</strong> tangent above, is 6. Since<br />

Y 2 �36 <strong>and</strong> X 3 �2X�3�27�6�3�36<br />

we have verified that <strong>the</strong> points (3,�6) lie on <strong>the</strong> curve above. (We only<br />

need to show that <strong>the</strong>y lie on <strong>the</strong> curve in GF(19); in fact <strong>the</strong>y lie on <strong>the</strong><br />

curve (mod p) for all p, but that is a fluke; this will not normally be <strong>the</strong> case.)<br />

Thus ano<strong>the</strong>r integer point is found on <strong>the</strong> curve. Since all arithmetic<br />

is (mod p) <strong>the</strong>re are only a finite number of possible points (X, Y) with<br />

integer values. It follows <strong>the</strong>refore that <strong>the</strong> construction method that<br />

gives new points must eventually terminate. If we start with a particular<br />

(integer) point Q(X, Y) on <strong>the</strong> curve we can generate a finite set, �Q�, of<br />

points which we denote by 2Q, 3Q, 4Q,... etc. (<strong>the</strong>se are not to be confused<br />

with <strong>the</strong> points (2X, 2Y) etc). For example, starting with <strong>the</strong> point Q (1, 5)<br />

on <strong>the</strong> curve above we have just found <strong>the</strong> point, 2Q, generated from <strong>the</strong><br />

tangent at Q. Continuing in this way we find that we are led to <strong>the</strong> points<br />

2Q�(3,�6), 4Q�(10,�4), 8Q�(12,�8) <strong>and</strong> so on<br />

(for ano<strong>the</strong>r example see [13.9]).<br />

If we are given a point R(X�, Y�) <strong>and</strong> asked to find if <strong>the</strong>re is an integer n<br />

such that R�nQ, a point within <strong>the</strong> set �Q�, we will have a very difficult

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!