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.

2.3 Primtal <strong>og</strong> aritmetikkens fundamentalsætning 31<br />

ombytning af primdivisorerne). Hvis 6 således skal udtrykkes som et<br />

produkt af primtal kan det altså kun udtrykkes som 2 · 3 (eller 3 · 2). Dette<br />

resultat er en del af aritmetikkens fundamentalsætning. Men <strong>for</strong> at vise<br />

<strong>den</strong> skal vi bruge et lemma.<br />

For at bevise dette lemma skal vi imidlertid have fat i en speciel <strong>for</strong>m<br />

<strong>for</strong> bevisteknik kaldet bevis ved induktion eller induktionsprincippet. Vi<br />

kender allerede to <strong>for</strong>mer <strong>for</strong> bevisteknikker, <strong>den</strong> direkte <strong>og</strong> <strong>den</strong> indirekte<br />

(bevis ved modstrid), <strong>og</strong> induktionsprincippet er altså en tredje. Bevis<br />

ved induktion bruges ofte til at vise at en given sætning er sand <strong>for</strong><br />

alle naturlige tal. Det første kendte eksempel på bevis ved matematisk<br />

induktion findes i <strong>den</strong> italienske matematiker Francisco Maurolicos (1494-<br />

1575) Arithmeticorum libri duo fra 1575. Maurolico brugte induktion til<br />

at vise, at der altid gælder at summen af de første n ulige naturlige tal er<br />

n 2 . Hvis man kigger på de første eksempler er det jo rimeligt at antage,<br />

at det <strong>for</strong>holder sig sådan:<br />

1 = 1 2<br />

1 + 3 = 2 2<br />

1 + 3 + 5 = 3 2<br />

1 + 3 + 5 + 7 = 4 2<br />

1 + 3 + 5 + 7 + 9 = 5 2<br />

1 + 3 + 5 + 7 + 9 + 11 = 6 2<br />

Men en an<strong>den</strong> ting er selvfølgelig at vise det helt generelt. Ideen er, at<br />

hvis det gælder <strong>for</strong> n = 1, hvilket det som set oven<strong>for</strong> gør da 1 = 1 2 , så<br />

antager man at det gælder <strong>for</strong> n = k <strong>og</strong> kan man så vise det <strong>og</strong>så gælder<br />

<strong>for</strong> n = k + 1, så må det gælde <strong>for</strong> alle n. Dette er induktionsprincippet.<br />

Tilfældet n = 1 kaldes <strong>for</strong> induktionsbasis <strong>og</strong> antagelsen n = k kaldes <strong>for</strong><br />

induktionshypotesen. Det er vigtigt, at pointere at selve induktionsprincippet<br />

ikke er n<strong>og</strong>et man kan eftervise, deraf navnet princip. I virkelighe<strong>den</strong><br />

kan man tænke på det som en <strong>for</strong>m <strong>for</strong> axiom, som indgår i grundlaget<br />

<strong>for</strong> de naturlige tal.<br />

Et billede som man kan have af induktionsprincippet inde i sit hoved,<br />

er det af uendeligt mange dominobrikker opstillet på en lang række. Hvis<br />

<strong>den</strong> første dominobrik, n = 1, vælter, så vil <strong>og</strong>så <strong>den</strong> næste, n = 2,<br />

vælte. Hvis dominobrik n = 2 vælter, så vil <strong>og</strong>så dominobrik n = 3 vælte.<br />

Og hvis n = 3 vælter, så vil <strong>og</strong>så n = 4 vælte <strong>og</strong> så kører maskinen.<br />

Denne ‘dominoeffekt’ kan vi <strong>og</strong>så tænke på ‘induktionsmotoren’. Vores<br />

induktionsbasis vil her være at <strong>den</strong> første dominobrik vælter, n = 1, hvilket<br />

vi vil kunne stadfæste ved rent faktisk at vælte <strong>den</strong>. Induktionshypotesen<br />

er at <strong>den</strong> k’te dominobrik <strong>og</strong>så vælter, n = k. Hvis vi kan godtgøre, at<br />

dominobrik nummer k + 1 ligeledes vælter, så siger induktionsprincippet,<br />

at alle brikkerne vælter.<br />

Men lad os nu se om vi kan vise Maurolico’s sætning ved hjælp af<br />

induktionsprincippet.<br />

.

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

Saved successfully!

Ooh no, something went wrong!