Bevis av aritmetikkens fundamentalsetning: Forskjell mellom sideversjoner
Fra Matematikk.net
Ny side: '''Setning''' Et hvert tall <tex>n > 1</tex> kan skrives som et entydig produkt av primtallsfaktorer. ---- '''Bevis''': Dersom <tex>n</tex> er et primtall så er det ingenting å bevise... |
(Ingen forskjell)
|
Sideversjonen fra 17. sep. 2011 kl. 14:23
Setning Et hvert tall <tex>n > 1</tex> kan skrives som et entydig produkt av primtallsfaktorer.
Bevis:
Dersom <tex>n</tex> er et primtall så er det ingenting å bevise. Derfor antar vi videre at <tex>n</tex> er et sammensatt tall. Da er det to ting vi er nødt til å bevise:
- At et hvert tall alltid kan faktoriseres til et produkt av primtall
- At det bare fins én måte å gjøre dette på.
Vi begynner med steg 1.
- Siden tallet <tex>n</tex> er sammensatt, har det en minste faktor <tex>d</tex>, der <tex>1 < d < n</tex>. Denne faktoren er nødt til å være et primtall. Hvis ikke er <tex>d</tex> sammensatt, og inneholder en faktor <tex>k</tex> der <tex>1 < k < d</tex>. Men siden <tex>k | d</tex> og <tex>d | n</tex>, så må <tex>k | n</tex>, og da er <tex>k</tex> den minste faktoren i <tex>n</tex>, noe som strider i mot vårt valg av <tex>d</tex> som den minste faktoren i <tex>n</tex>. Dermed kan vi anta at <tex>d</tex> er et primtall, og vi kan kalle dette tallet for <tex>p_1</tex>. Nå kan vi skrive <tex>n</tex> som:
- <tex>n = p_1 \cdot n_1</tex>
- der <tex>n_1</tex> er produktet av de faktorene i <tex>n</tex> som er igjen etter at vi tok ut primfaktoren <tex>p_1</tex>. Vi kan gjenta akkurat den samme prosedyren som ovenfor på <tex>n_1</tex> og få en ny primfaktor <tex>p_2</tex> og et nytt tall <tex>n_2</tex> som er resten av faktorene i <tex>n</tex> etter at både <tex>p_1</tex> og <tex>p_2</tex> er tatt ut. Vi kan gjenta prosessen flere ganger, men vi kan ikke fortsette slik evig, for hvert av tallene <tex>n_1, n_2, n_3, ...</tex> er slik at
- <tex>n > n_1 > n_2 > n_3 > n_4 > ... > 1</tex>
- siden hvert tall i denne ulikheten oppstår ved at vi tar ut en primfaktor fra det forgående tallet. Til slutt må vi altså komme ned til at vi står igjen med 1, og da er vi ferdige. Vi står da igjen med at <tex>n</tex> kan skrives som primtallsproduktet
- <tex>n = p_1 \cdot p_2 \cdot p_3 \dots p_k</tex>
- Nå har vi altså vist at et sammensatt tall <tex>n</tex> alltid kan faktoriseres til et produkt av primtall. Men vi har ikke vist at det bare er mulig å finne én kombinasjon av primtall som gir tallet <tex>n</tex> når vi multipliserer dem sammen.
Vi fortsetter med steg 2:
- Når vi skal vise en påstand så kan dette gjøres ved et såkalt motsigelsesbevis.
- Her beviser vi at det kun er én måte å faktorisere tallet på, ved å utføre et slikt motsigelsesbevis. Vi antar at det finnes flere måter å faktorisere et sammensatt tall som et produkt av primtall. Det betyr at
- <tex>n = p_1 \cdot p_2 \cdot p_3 \dots p_k</tex>
- <tex>n = q_1 \cdot q_2 \cdot q_3 \dots q_r</tex>,
- der hver av <tex>p</tex>-ene og <tex>q</tex>-ene er primtall, og primtallene er ordnet etter størrelse, sånn at
- <tex>p_1 \leq p_2 \leq p_3 \leq ... \leq p_k \quad \text{og} \quad q_1 \leq q_2 \leq q_3 \leq ... \leq q_r</tex>
- Kort sagt: det vi antar er at vi kan gange sammen <tex>k</tex> primtall og få <tex>n</tex>, og at vi kan gange sammen <tex>r</tex> stykker primtall som ikke nødvendigvis er de samme som de første, og også få tallet <tex>n</tex>. Nå må vi se på hva som skjer når vi antar dette.
- Siden de to primtallsproduktene begge skal gi tallet <tex>n</tex>, så må begge produktene være like. Da har vi altså at
- <tex>p_1 \cdot p_2 \cdot p_3 \dots p_k = q_1 \cdot q_2 \cdot q_3 \dots q_r</tex>
- Siden vi har et primtall <tex>p_1</tex> på venstre side, må vi også finne dette primtallet igjen på høyre side. Tallet <tex>p_1</tex> kan vi jo ikke få ved å multiplisere sammen noen av tallene på høyre side -- det er jo et primtall. Vi har da at
- <tex>p_1 \geq q_1</tex>
- (enten er <tex>p_1</tex> lik faktoren <tex>q_1</tex>, eller så er det et av <tex>q_2, q_3, ..., q_r</tex>, og da er det større enn <tex>q_1</tex>.)
- Men hvis vi nå ser på høyre siden så har vi her en faktor <tex>q_1</tex>, og av akkurat samme argumentasjon så må denne være en av faktorene på venstre side. Vi får da at
- <tex>q_1 \geq p_1</tex>
- Nå har vi to ulikheter som involverer <tex>p_1</tex> og <tex>q_1</tex>. Begge to vil kun være oppfylt når <tex>p_1 = q_1</tex>. Men da har vi to like faktorer på hver side av ligningen og vi kan forkorte <tex>p_1</tex> mot <tex>q_1</tex>. Da får vi:
- <tex>p_2 \cdot p_3 \dots p_k = q_2 \cdot q_3 \dots q_k</tex>
- Men nå kan vi gjøre akkurat det samme for <tex>p_2</tex> og <tex>q_2</tex>. Slik kan vi fortsette. Det vil eventuelt oppstå et av to tilfeller. Dersom det er like mange faktorer på hver side i ligningen, det vil si at <tex>k = r</tex> så er vi ferdige, for da har vi vist at <tex>p_i = q_i</tex> for alle <tex>i</tex> fra og med 1 til og med <tex>k</tex>. Det betyr at de to faktoriseringene er identiske, og altså ikke forskjellige likevel.
- Det andre tilfellet er at <tex>k \neq r</tex>. Vi må undersøke videre hva som skjer når det er tilfellet. Da får vi bruk for en bevisteknikk som kalles bevis ved selvmotsigelse. Da starter vi med å anta at det vi skal vise ikke er sant, og så viser vi at det fører til noe som vi vet er galt. Hvis alle steg i bevisføringen da er riktig, er det nødt til å være antagelsen som er gal -- og hvis antagelsen er gal, er det motsatte av antagelsen riktig. Så hvis vi antagelsen er at det ikke stemmer, må resultatet bli at det stemmer.
- Vi begynner med å anta at <tex>k \neq r</tex>. Da antar vi at <tex>r > k</tex>. Da ser vi på ligningen vår:
- <tex>p_1 \cdot p_2 \cdot p_3 \dots p_k = q_1 \cdot q_2 \cdot q_3 \dots q_r</tex>
- Som vist ovenfor vil <tex>p_i = q_i</tex> for alle <tex>1 \geq i \geq k</tex>. På venstre side av ligningen vil vi da ha forkortet alle faktorene, og står igjen med 1. På høyre side forkorter vi alle faktorene fra <tex>q_1</tex> opp til <tex>q_k</tex>. Da står vi igjen med faktorene fra og med <tex>q_{k+1}</tex> til og med <tex>q_r</tex>. Men da har vi ligningen:
- <tex>1 = q_{k+1} \cdot q_{k+2} \dots q_r</tex>
- Dette er umulig -- tallet 1 kan ikke være lik produktet av ett eller flere primtall. Da må antagelsen om at <tex>k \neq r</tex> være gal, altså er <tex>k = r</tex> eneste mulighet.
Dette fullfører beviset.