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 ...
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