Delbarhet og faktorisering: Forskjell mellom sideversjoner

Fra Matematikk.net
Hopp til: navigasjon, søk
m Teksterstatting – «<tex>» til «<math>»
Linje 6: Linje 6:
Når vi bare arbeider med hele tall, er det ikke alltid vi kan dele et tall på et annet og få et nytt helt tall. Hvis vi for eksempel har en klasse med 23 elever, er det ikke så lett å dele denne i to like store grupper -- tallet 23 ''er ikke delelig på 2''.  
Når vi bare arbeider med hele tall, er det ikke alltid vi kan dele et tall på et annet og få et nytt helt tall. Hvis vi for eksempel har en klasse med 23 elever, er det ikke så lett å dele denne i to like store grupper -- tallet 23 ''er ikke delelig på 2''.  


Hvis et tall <tex>a</tex> kan skrives som et produkt <tex>a = bc</tex> så sier vi at <tex>b</tex> og <tex>c</tex> er ''faktorer'' i <tex>a</tex>. En kortere skrivemåte for å si at <tex>b</tex> og <tex>c</tex> er faktorer i <tex>a</tex> er <tex>b | a</tex> og <tex>c | a</tex>. Vi kan lese slike utsagn <tex>a | b</tex> på flere måter, som er oppsummert under:
Hvis et tall <math>a</tex> kan skrives som et produkt <math>a = bc</tex> så sier vi at <math>b</tex> og <math>c</tex> er ''faktorer'' i <math>a</tex>. En kortere skrivemåte for å si at <math>b</tex> og <math>c</tex> er faktorer i <math>a</tex> er <math>b | a</tex> og <math>c | a</tex>. Vi kan lese slike utsagn <math>a | b</tex> på flere måter, som er oppsummert under:


<blockquote style="padding: 1em; border: 1px blue; background-color: #B2DFEE;">
<blockquote style="padding: 1em; border: 1px blue; background-color: #B2DFEE;">
:'''Ekvivalente utsagn om faktorer og delelighet'''
:'''Ekvivalente utsagn om faktorer og delelighet'''


: Dersom heltallet <tex>a</tex> er en faktor i heltallet <tex>b</tex> skriver vi dette som <tex>a | b</tex>, og det betyr akkurat det samme som:
: Dersom heltallet <math>a</tex> er en faktor i heltallet <math>b</tex> skriver vi dette som <math>a | b</tex>, og det betyr akkurat det samme som:
:* <tex>a</tex> deler <tex>b</tex>
:* <math>a</tex> deler <math>b</tex>
:* <tex>a</tex> går opp i <tex>b</tex>
:* <math>a</tex> går opp i <math>b</tex>
:* <tex>b</tex> er delelig på <tex>a</tex>
:* <math>b</tex> er delelig på <math>a</tex>
</blockquote>
</blockquote>


Linje 22: Linje 22:
:'''Delelighet'''
:'''Delelighet'''


: Dersom et tall <tex>a</tex> deler et tall <tex>b</tex> eller sagt på en annen måte, at tallet <tex>b</tex> delelig på <tex>a</tex> så må tallet <tex>\frac{b}{a}</tex> være et helt tall.
: Dersom et tall <math>a</tex> deler et tall <math>b</tex> eller sagt på en annen måte, at tallet <math>b</tex> delelig på <math>a</tex> så må tallet <math>\frac{b}{a}</tex> være et helt tall.
</blockquote>
</blockquote>


Linje 28: Linje 28:
:'''Eksempel'''
:'''Eksempel'''


: Vi har at <tex>12 = 3 \cdot 4</tex>. Da kan vi si at <tex>3 | 12</tex> og <tex>4 | 12</tex>, eller med andre ord at 12 er delelig på 3 og 4. Når vi deler 12 på 3 eller 4 så får vi et helt tall.
: Vi har at <math>12 = 3 \cdot 4</tex>. Da kan vi si at <math>3 | 12</tex> og <math>4 | 12</tex>, eller med andre ord at 12 er delelig på 3 og 4. Når vi deler 12 på 3 eller 4 så får vi et helt tall.
</blockquote>
</blockquote>


Linje 34: Linje 34:


<blockquote style="padding: 1em; border: 1px blue; background-color: #B2DFEE;">
<blockquote style="padding: 1em; border: 1px blue; background-color: #B2DFEE;">
: Dersom <tex>a | b</tex> så må det finnes et helt tall <tex>k</tex> som er slik at
: Dersom <math>a | b</tex> så må det finnes et helt tall <math>k</tex> som er slik at


: <tex>b = k \cdot a</tex>
: <math>b = k \cdot a</tex>
</blockquote>
</blockquote>


Hvis <tex>a</tex> skal være en faktor i <tex>b</tex> må det jo nettopp være slik at <tex>b</tex> er produktet av <tex>a</tex> og et eller annet tall <tex>k</tex>, der <tex>k</tex> da blir resten av faktorene som utgjør tallet <tex>b</tex>.
Hvis <math>a</tex> skal være en faktor i <math>b</tex> må det jo nettopp være slik at <math>b</tex> er produktet av <math>a</tex> og et eller annet tall <math>k</tex>, der <math>k</tex> da blir resten av faktorene som utgjør tallet <math>b</tex>.


<blockquote style="padding: 1em; border: 1px red; background-color: #EED5D2;">
<blockquote style="padding: 1em; border: 1px red; background-color: #EED5D2;">
:'''Eksempel'''
:'''Eksempel'''
: <tex>5</tex> er en faktor i <tex>30</tex>, for vi kan dele <tex>30</tex> på <tex>5</tex> og få heltallet <tex>6</tex>. Vi har at <tex>30</tex> kan skrives som
: <math>5</tex> er en faktor i <math>30</tex>, for vi kan dele <math>30</tex> på <math>5</tex> og få heltallet <math>6</tex>. Vi har at <math>30</tex> kan skrives som
: <tex>30 = 5 \cdot 6</tex>
: <math>30 = 5 \cdot 6</tex>
: og dette er på formen <tex>30 = 5 \cdot k</tex>, der <tex>k = 6</tex>.  
: og dette er på formen <math>30 = 5 \cdot k</tex>, der <math>k = 6</tex>.  
</blockquote>
</blockquote>


Linje 52: Linje 52:
<blockquote style="padding: 1em; border: 1px blue; background-color: #B2DFEE;">
<blockquote style="padding: 1em; border: 1px blue; background-color: #B2DFEE;">
:'''Grunnleggende regler for delelighet'''
:'''Grunnleggende regler for delelighet'''
:For alle heltall <tex>a</tex> gjelder følgende:
:For alle heltall <math>a</tex> gjelder følgende:


::* <tex>1 | a</tex>
::* <math>1 | a</tex>
::* <tex>a | a </tex>
::* <math>a | a </tex>
::* <tex>a | 0</tex>
::* <math>a | 0</tex>
::* Hvis <tex>a | b</tex> og <tex>b | c</tex> så vil <tex>a | c</tex>
::* Hvis <math>a | b</tex> og <math>b | c</tex> så vil <math>a | c</tex>
::* <tex>a | b</tex> og <tex>b | a</tex> hvis og bare hvis <tex>a = \pm b</tex>
::* <math>a | b</tex> og <math>b | a</tex> hvis og bare hvis <math>a = \pm b</tex>
</blockquote>
</blockquote>


Hva sier reglene i boksen ovenfor? De tre første kjenner de fleste fra barne- eller ungdomsskolen. Tallet 1 deler alle tall. Vi kan dele et hvilket som helst tall på 1, og da får vi ut tallet selv. Utsagnet på den andre linjen sier at et tall <tex>a</tex> alltid er delelig med seg selv. Hvis vi deler et tall på seg selv får vi jo det hele tallet 1, så dette må stemme. Den tredje linjen sier at 0 er delelig på alle tall. Dette stemmer også, siden vi kan dele 0 på hva som helst, og da får vi 0, som er et helt tall.
Hva sier reglene i boksen ovenfor? De tre første kjenner de fleste fra barne- eller ungdomsskolen. Tallet 1 deler alle tall. Vi kan dele et hvilket som helst tall på 1, og da får vi ut tallet selv. Utsagnet på den andre linjen sier at et tall <math>a</tex> alltid er delelig med seg selv. Hvis vi deler et tall på seg selv får vi jo det hele tallet 1, så dette må stemme. Den tredje linjen sier at 0 er delelig på alle tall. Dette stemmer også, siden vi kan dele 0 på hva som helst, og da får vi 0, som er et helt tall.


De to siste egenskapene kan virke litt mindre elementære, men de er også ganske greie når vi ser litt nøyere på hva de sier. Den fjerde linja sier at hvis <tex>a</tex> er en faktor i <tex>b</tex> og <tex>b</tex> er en faktor i <tex>c</tex>, så må a også være en faktor i <tex>c</tex>. Se på noen tall og se om du får det til å stemme!
De to siste egenskapene kan virke litt mindre elementære, men de er også ganske greie når vi ser litt nøyere på hva de sier. Den fjerde linja sier at hvis <math>a</tex> er en faktor i <math>b</tex> og <math>b</tex> er en faktor i <math>c</tex>, så må a også være en faktor i <math>c</tex>. Se på noen tall og se om du får det til å stemme!


Den nederste egenskapen sier at dersom to tall er faktorer i hverandre så '''må''' de enten være like hverandre, eller motsatt like store av hverandre.
Den nederste egenskapen sier at dersom to tall er faktorer i hverandre så '''må''' de enten være like hverandre, eller motsatt like store av hverandre.
Linje 74: Linje 74:
:'''Aritmetikkens fundamentalsetning'''
:'''Aritmetikkens fundamentalsetning'''


:Et hvert tall <tex>n > 1</tex> kan skrives ''entydig'' som et produkt av primtall, når vi ser bort i fra rekkefølgen til faktorene.<br /><br />
:Et hvert tall <math>n > 1</tex> kan skrives ''entydig'' som et produkt av primtall, når vi ser bort i fra rekkefølgen til faktorene.<br /><br />


:[[Bevis_av_aritmetikkens_fundamentalsetning|Bevis]]
:[[Bevis_av_aritmetikkens_fundamentalsetning|Bevis]]
Linje 86: Linje 86:


:Vi prøver først å dele på 2. Divisjonen går opp og vi får 81. Da har vi at
:Vi prøver først å dele på 2. Divisjonen går opp og vi får 81. Da har vi at
::<tex>2 | 162</tex>.
::<math>2 | 162</tex>.
:Vi fortsetter med tallet 81. Vi prøver å dele på 2, men det går ikke. Neste primtall er da 3. Deler vi 81 på 3 får vi 27, så
:Vi fortsetter med tallet 81. Vi prøver å dele på 2, men det går ikke. Neste primtall er da 3. Deler vi 81 på 3 får vi 27, så
::<tex>3 | 81</tex>.
::<math>3 | 81</tex>.
:Vi fortsetter med 27 og prøver igjen å dele på 3. Dette går opp, og vi får 9.
:Vi fortsetter med 27 og prøver igjen å dele på 3. Dette går opp, og vi får 9.
::<tex>3 | 27</tex>.
::<math>3 | 27</tex>.
:Vi fortsetter med 9 og prøver igjen å dele på 3. Nå får vi 3, så
:Vi fortsetter med 9 og prøver igjen å dele på 3. Nå får vi 3, så
::<tex>3 | 9</tex>.
::<math>3 | 9</tex>.
:Vi fortsetter med 3 og prøver enda en gang å dele på 3. Da får vi 1, så
:Vi fortsetter med 3 og prøver enda en gang å dele på 3. Da får vi 1, så
::<tex>3 | 3</tex>.
::<math>3 | 3</tex>.
:Nå står vi igjen med tallet 1, som ikke er et sammensatt tall. Da er vi ferdige. I hver linje ovenfor vil tallet til venstre være en faktor i 162. Vi har altså funnet at  
:Nå står vi igjen med tallet 1, som ikke er et sammensatt tall. Da er vi ferdige. I hver linje ovenfor vil tallet til venstre være en faktor i 162. Vi har altså funnet at  
::<tex>162 = 2 \cdot 3 \cdot 3 \cdot 3 \cdot 3</tex>.
::<math>162 = 2 \cdot 3 \cdot 3 \cdot 3 \cdot 3</tex>.


: Aritmetikkens fundamentalsetning garanterer oss at dette også er den eneste måten vi kan faktorisere tallet på, hvis vi ser borti fra hvilken rekkefølge faktorene står i.
: Aritmetikkens fundamentalsetning garanterer oss at dette også er den eneste måten vi kan faktorisere tallet på, hvis vi ser borti fra hvilken rekkefølge faktorene står i.
</blockquote>
</blockquote>

Sideversjonen fra 5. feb. 2013 kl. 20:56

Det kanskje viktigste grunnlaget i tallteorien er hvordan de hele tallene kan faktoriseres og uttrykkes som produkter av primtall. Mange av de største resultatene i tallteoripensumet i Matematikk X kommer blant annet i fra det vi her skal finne ut om faktorisering og primtall.


Faktorer og delelighet

Når vi bare arbeider med hele tall, er det ikke alltid vi kan dele et tall på et annet og få et nytt helt tall. Hvis vi for eksempel har en klasse med 23 elever, er det ikke så lett å dele denne i to like store grupper -- tallet 23 er ikke delelig på 2.

Hvis et tall <math>a</tex> kan skrives som et produkt <math>a = bc</tex> så sier vi at <math>b</tex> og <math>c</tex> er faktorer i <math>a</tex>. En kortere skrivemåte for å si at <math>b</tex> og <math>c</tex> er faktorer i <math>a</tex> er <math>b | a</tex> og <math>c | a</tex>. Vi kan lese slike utsagn <math>a | b</tex> på flere måter, som er oppsummert under:

Ekvivalente utsagn om faktorer og delelighet
Dersom heltallet <math>a</tex> er en faktor i heltallet <math>b</tex> skriver vi dette som <math>a | b</tex>, og det betyr akkurat det samme som:
  • <math>a</tex> deler <math>b</tex>
  • <math>a</tex> går opp i <math>b</tex>
  • <math>b</tex> er delelig på <math>a</tex>

De forskjellige utsagnene i boksen ovenfor er nok kjent for mange, men det er viktig å merke seg at alle sammen betyr det samme. Hvis 3 er en faktor i 12 så kan vi like gjerne si at 3 deler 12, at 3 går opp i 12, eller at 12 er delelig på 3. Hva vil det si at et tall er delelig på et annet?

Delelighet
Dersom et tall <math>a</tex> deler et tall <math>b</tex> eller sagt på en annen måte, at tallet <math>b</tex> delelig på <math>a</tex> så må tallet <math>\frac{b}{a}</tex> være et helt tall.
Eksempel
Vi har at <math>12 = 3 \cdot 4</tex>. Da kan vi si at <math>3 | 12</tex> og <math>4 | 12</tex>, eller med andre ord at 12 er delelig på 3 og 4. Når vi deler 12 på 3 eller 4 så får vi et helt tall.

Når vi arbeider med tallteori er det ofte nyttig å ha en annen måte å uttrykke delelighet på utenom forskjellige måter å ordlegge det på. Vi kan også uttrykke at et tall er faktor i et annet på følgende måte:

Dersom <math>a | b</tex> så må det finnes et helt tall <math>k</tex> som er slik at
<math>b = k \cdot a</tex>

Hvis <math>a</tex> skal være en faktor i <math>b</tex> må det jo nettopp være slik at <math>b</tex> er produktet av <math>a</tex> og et eller annet tall <math>k</tex>, der <math>k</tex> da blir resten av faktorene som utgjør tallet <math>b</tex>.

Eksempel
<math>5</tex> er en faktor i <math>30</tex>, for vi kan dele <math>30</tex> på <math>5</tex> og få heltallet <math>6</tex>. Vi har at <math>30</tex> kan skrives som
<math>30 = 5 \cdot 6</tex>
og dette er på formen <math>30 = 5 \cdot k</tex>, der <math>k = 6</tex>.

Her er noen av de mest grunnleggende egenskapene ved delelighet:

Grunnleggende regler for delelighet
For alle heltall <math>a</tex> gjelder følgende:
  • <math>1 | a</tex>
  • <math>a | a </tex>
  • <math>a | 0</tex>
  • Hvis <math>a | b</tex> og <math>b | c</tex> så vil <math>a | c</tex>
  • <math>a | b</tex> og <math>b | a</tex> hvis og bare hvis <math>a = \pm b</tex>

Hva sier reglene i boksen ovenfor? De tre første kjenner de fleste fra barne- eller ungdomsskolen. Tallet 1 deler alle tall. Vi kan dele et hvilket som helst tall på 1, og da får vi ut tallet selv. Utsagnet på den andre linjen sier at et tall <math>a</tex> alltid er delelig med seg selv. Hvis vi deler et tall på seg selv får vi jo det hele tallet 1, så dette må stemme. Den tredje linjen sier at 0 er delelig på alle tall. Dette stemmer også, siden vi kan dele 0 på hva som helst, og da får vi 0, som er et helt tall.

De to siste egenskapene kan virke litt mindre elementære, men de er også ganske greie når vi ser litt nøyere på hva de sier. Den fjerde linja sier at hvis <math>a</tex> er en faktor i <math>b</tex> og <math>b</tex> er en faktor i <math>c</tex>, så må a også være en faktor i <math>c</tex>. Se på noen tall og se om du får det til å stemme!

Den nederste egenskapen sier at dersom to tall er faktorer i hverandre så de enten være like hverandre, eller motsatt like store av hverandre.

Primtallsfaktorisering

Hvis man ser på noen heltall vil man raskt oppdage at noen tall har flere faktorer, mens andre ikke har noen andre enn seg selv og 1. Vi kaller førstnevnte type tall for sammensatte tall. Tallene som bare har seg selv og 1 som faktor kaller vi primtall. Et viktig resultat i tallteorien er at primtallene er byggesteinene for alle andre tall:

Aritmetikkens fundamentalsetning
Et hvert tall <math>n > 1</tex> kan skrives entydig som et produkt av primtall, når vi ser bort i fra rekkefølgen til faktorene.

Bevis

Aritmetikkens fundamentalteorem sier altså at du alltid kan faktorisere et tall til et produkt av primtall. Det sier videre at du bare kan gjøre dette på én måte (når vi ser bort i fra rekkefølgen til faktorene.) Aritmetikkens fundamentalsetning sier ingenting om hvordan vi gjør dette, bare at det alltid går an. Å utføre selve faktoriseringen gjør vi ved å finne hvilke primfaktorer tallet vi skal faktorisere er delelig med. Når vi deler på denne faktoren får vi de resterende faktorene i tallet. Dette kan vi gjenta helt til vi står igjen med et primtall. Dette er best vist ved et eksempel:

Eksempel:
Faktoriser tallet 162 til et produkt av primtall.
Vi prøver først å dele på 2. Divisjonen går opp og vi får 81. Da har vi at
<math>2 | 162</tex>.
Vi fortsetter med tallet 81. Vi prøver å dele på 2, men det går ikke. Neste primtall er da 3. Deler vi 81 på 3 får vi 27, så
<math>3 | 81</tex>.
Vi fortsetter med 27 og prøver igjen å dele på 3. Dette går opp, og vi får 9.
<math>3 | 27</tex>.
Vi fortsetter med 9 og prøver igjen å dele på 3. Nå får vi 3, så
<math>3 | 9</tex>.
Vi fortsetter med 3 og prøver enda en gang å dele på 3. Da får vi 1, så
<math>3 | 3</tex>.
Nå står vi igjen med tallet 1, som ikke er et sammensatt tall. Da er vi ferdige. I hver linje ovenfor vil tallet til venstre være en faktor i 162. Vi har altså funnet at
<math>162 = 2 \cdot 3 \cdot 3 \cdot 3 \cdot 3</tex>.
Aritmetikkens fundamentalsetning garanterer oss at dette også er den eneste måten vi kan faktorisere tallet på, hvis vi ser borti fra hvilken rekkefølge faktorene står i.