03.12.2012 Views

RSA og den heri anvendte matematiks historie - Institut for Natur ...

RSA og den heri anvendte matematiks historie - Institut for Natur ...

RSA og den heri anvendte matematiks historie - Institut for Natur ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

3.5 Uløste problemer i talteori 65<br />

er faktisk <strong>den</strong> mest effektive måde at konstruere en liste over samtlige primtal<br />

op til sådan cirka 1 million eller 10. Sien fungerer som følger: Først opskrives<br />

alle tal op til et eller andet n. Derefter stryges hvert tal i 2-tabellen på nær<br />

2. Så stryges hvert tal i 3-tabellen på nær tre. 4 er væk, da 4-tabellen er en<br />

delmængde af 2-tabellen. Hvert tal i 5-tabellen på nær 5 stryges dernæst.<br />

6 er væk, da 6-tabellen er en delmængde af 3-tabellen. Så stryges tallene<br />

i 7-tabellen på nær 7, <strong>og</strong> så videre. Tilbage har man en liste af primtal<br />

op til n. Processen afslører tilmed mindst én faktor af de sammensatte<br />

tal (hvordan?). Des højere tallene bliver des mindre effektiv begynder<br />

meto<strong>den</strong> d<strong>og</strong> fra et datal<strong>og</strong>isk synspunkt at være.<br />

Som vi så beskæftigede Fermat sig <strong>og</strong>så med om tal er primtal eller ej,<br />

<strong>og</strong> faktisk er hans lille sætning et af de mere vigtige værktøjer til sådanne<br />

bestemmelser – <strong>og</strong> det <strong>og</strong>så u<strong>den</strong> at basere sig på faktoriseringer. Som set i<br />

afsnit 3.3 siger Fermats lille sætning, at hvis k er et primtal <strong>og</strong> n er et<br />

vilkårligt heltal, så er n k − n et multiplum af k. En an<strong>den</strong> <strong>for</strong>mulering<br />

af <strong>den</strong>ne sætning siger, at hvis n k − n ikke et multiplum af k, så er k et<br />

sammensat tal. Eksempelvis hvis k = 9 <strong>og</strong> n = 2 er udtrykket 2 9 − 2 lig<br />

510 som modulo 9 giver et resultat <strong>for</strong>skelligt fra nul, nemlig 6. Altså er det<br />

med <strong>den</strong> lille sætning muligt, omend måske lidt ad omveje, at konkludere<br />

at 9 ikke er et primtal. En test af om et tal er primtal eller ej ved brug af<br />

<strong>den</strong> lille sætning kaldes <strong>for</strong> Fermats test. Det her givne eksempel med 9<br />

er selvfølgelig ret så simpelt, men det giver alligevel en ide om, hvordan<br />

man ved hjælp af Fermats lille sætning er i stand til at teste, hvorvidt<br />

enorme heltal er primtal eller ej. (For andre mere regnetunge eksempler se<br />

opgave 51.) Imidlertid løser Fermats test ikke fuldstændig problemet med<br />

at teste <strong>for</strong> primtal; hvis <strong>for</strong> et tal n tallet n k − n giver en rest <strong>for</strong>skellig<br />

fra nul modulo k er k bestemt et sammensat tal, men hvis nu vi får resten<br />

nul, kan k så stadig være et sammensat tal? Eller sagt på en an<strong>den</strong> måde,<br />

hvis Fermats test giver rest nul kan vi så være sikre på, at k er et primtal?<br />

Faktisk antyder en række eksempler dette: 2 2 − 2 er et multiplum af 2,<br />

2 3 − 2 er et multiplum af 3, 2 5 − 2 er et multiplum af 5, 2 7 − 2 er et<br />

multiplum af 7, <strong>og</strong> tallene 2, 3, 5 <strong>og</strong> 7 er alle primtal. Kineserne opdagede<br />

<strong>for</strong> godt 2500 år si<strong>den</strong> dette mønster <strong>og</strong> mente der<strong>for</strong>, at hvis 2 k − 2 var et<br />

multiplum af k måtte k være et primtal. Dette ‘resultat’ er fremlagt i værket<br />

I Ching som Leibniz studerede i <strong>for</strong>bindelse med sine arbejde med binære tal,<br />

<strong>og</strong> der<strong>for</strong> troede <strong>og</strong>så han, at resultatet var sandt. I 1819 fandt <strong>den</strong> franske<br />

matematiker Pierre Frédéric Sarrus (1798-1861) imidlertid et modeksempel.<br />

Sarrus observerede, at 2 341 − 2 er et multiplum af 341 til trods <strong>for</strong> at 341 er<br />

et sammensat tal, idet 341 = 11 · 31. Sådanne sammensatte tal som <strong>for</strong>mår<br />

at skjule sig <strong>for</strong> Fermats test kaldes <strong>for</strong> pseudoprimtal. Hvis n, som i<br />

tilfældet med Sarrus’ modeksempel, er lig 2 taler man om pseudoprimtal i<br />

talbase 2. Det er blevet regnet ud, at antallet af pseudoprimtal i talbase 2<br />

mindre end tallet 20 milliarder kun er 19.865. Det vil sige, at hvis Fermats<br />

test blev udført i talbase 2 <strong>for</strong> alle tal mindre end 20 milliarder ville der<br />

kun være en fejlmargin på 1 milliontedel. Det er ikke særlig meget, men<br />

hvis man ønsker at kunne teste om samtlige tal er primtal eller ej er<br />

det naturligvis ikke godt nok. Begrebet pseudoprimtal i talbase 2 kan

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

Saved successfully!

Ooh no, something went wrong!