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.2 Den kinesiske restsætning 51<br />

yang; etablerer symboler <strong>for</strong> stjernerne <strong>og</strong> stjernebillederne; manifesterer<br />

dimensionerne af de tre lysende legemer [solen, månen<br />

<strong>og</strong> stjernerne]; opretholder balancen mellem de fem faser [metal,<br />

træ, vand, ild <strong>og</strong> jord]; regulerer begyndelsen <strong>og</strong> en<strong>den</strong> af de<br />

fire årstider; <strong>for</strong>mulerer oprindelsen af en myriade af ting; <strong>og</strong> bestemmer<br />

principperne af de seks kunstarter [sømmelighed, musik,<br />

bueskydning, kørsel med stridsv<strong>og</strong>n, kalligrafi <strong>og</strong> matematik]. [...]<br />

Matematik har hersket i tusinder af år <strong>og</strong> er blevet brugt i stor<br />

udstrækning u<strong>den</strong> begrænsninger. Hvis man negligeer studiet<br />

af matematik vil man ikke være i stand til at opnå dygtighed<br />

<strong>og</strong> grundighed. Der er i sandhed en hel del at mestre når man<br />

betragter matematikken i perspektiv. Når man bliver interesseret<br />

i matematik vil man blive fuldt ud beriget; på <strong>den</strong> an<strong>den</strong> side,<br />

når man holder sig væk fra faget vil man opdage at man er<br />

intellektuelt indskrænket. Når man studerer matematik let som<br />

en ung mand med et åbent sind vil man øjeblikkeligt blive oplyst.<br />

Hvis man derimod nærmer sig matematikken som en gammel<br />

mand med en påståelig holdning vil man ikke blive dygtig deri.<br />

Ønsker man der<strong>for</strong> at lære matematik på frugtbar vis må man<br />

disciplinere sig selv <strong>og</strong> stræbe efter perfekt koncentration; det er<br />

ad <strong>den</strong>ne vej at succes i læring sikres. (Yong & Se; 1992, side<br />

151-152, oversat fra engelsk)<br />

Som sagt er <strong>den</strong> sætning fra Sun Zi som <strong>RSA</strong>-algoritmen gør brug af kendt<br />

som <strong>den</strong> kinesiske restsætning (<strong>for</strong> Sun Zis originale <strong>for</strong>mulering af sætningen<br />

se opgave 45).<br />

Til vores fremstilling af <strong>den</strong> kinesiske restsætning har vi brug <strong>for</strong><br />

følgende lemma.<br />

Lemma 3.16<br />

Lad m1, m2, . . . , mn være parvis indbyrdes primiske heltal større end 1.<br />

Hvis a ≡ b (mod mi) <strong>for</strong> i = 1, 2, . . . , n, da er a ≡ b (mod m), hvor<br />

m = m1m2 · · · mn.<br />

Bevis<br />

At a ≡ b (mod m1m2 · · · mn) betyder jo, at<br />

m1m2 · · · mn | a − b,<br />

så det er altså det vi skal vise. Lad os nu betragte primfaktoriseringerne<br />

af begge sider i dette udtryk. Antag, at p er et primtal der optræder i<br />

primfaktoriseringen af m1m2 · · · mn. Ifølge lemma 2.25 har vi da, at p | mj<br />

<strong>for</strong> 1 ≤ j ≤ n. Og i <strong>og</strong> med at mi’erne (1 ≤ i ≤ n) er parvis indbyrdes<br />

primiske vil p udelukkende være en faktor i mj. Da <strong>for</strong>udsætningen <strong>for</strong> at<br />

vores sætning gælder er, at a ≡ b (mod mi) <strong>for</strong> i = 1, 2, . . . , n har vi altså<br />

givet, at mj | a−b. Fra sætning 2.3 (iii) ved vi da, at p | a−b <strong>og</strong> tilmed må<br />

p optræde mindst lige så mange gange som faktor i a − b som <strong>den</strong> gør som<br />

faktor i m1m2 · · · mn. Men det vi så netop har vist er jo, at hver potens<br />

p r i primfaktoriseringen af venstresi<strong>den</strong>, m1m2 · · · mn, <strong>og</strong>så optræder i<br />

primfaktoriseringen af højresi<strong>den</strong>, a−b. Der<strong>for</strong> må m1m2 · · · mn | a−b.

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

Saved successfully!

Ooh no, something went wrong!