8.1 Bevis- og føringsstandarden + utenat-banken
Sensorreglene operasjonalisert: alt begrunnes, teoremer navngis, Euklid frem+baklengs, løsbarhet før løsning, hele løsningsmengden, effektiv potensopphøyning vises, minst to veier på kjernesjangrene — samlet med den teorem- og formelbanken du må kunne utenat under kode D.
Instruksen står på hvert eneste eksamenssett i arkivet: alle svar må begrunnes. Et riktig sluttall uten metode teller lite. Løsningsforslagene for 2014–2025 viser hva «begrunnet» betyr i praksis, og de er påfallende samstemte — de samme ni kravene går igjen, år etter år, uansett hvilken oppgavetype de gjelder:
| Føringskravet | Hvor det gjelder | Hvor mange sett det gjelder i |
|---|---|---|
| Alle svar begrunnes | hele settet | 15 av 15 sett |
| Euklids algoritme ført frem og baklengs | sjanger A, B, D | 15 av 15 sett |
| Teoremet navngitt der argumentet hviler på det | sjanger C, E, F, I | 15 av 15 sett |
| Løsbarhet kommentert før man løser | sjanger A, B, C | 10 av 15 sett |
| Hele løsningsmengden / alle inkongruente løsninger | sjanger A, B, C | 10 av 15 sett |
| Effektiv potensopphøyning vist med mellomsteg | sjanger D, E | 14 av 15 sett |
| Uttømmende case-analyse | sjanger I | 8 av 15 sett |
| Alle tre induksjonsstegene merket | sjanger J | 8 av 15 sett |
| Alternative metoder honoreres — begge gir full uttelling | sjanger C, I, J | 15 av 15 sett |
(Sjangerbokstavene A–K er bokas egne forkortelser for oppgavetypene; katalogen står i kap. 0.1 og gjentas i tabellen i løkke 2. Frekvensene er telte forekomster i de 15 løsningsforslagene 2014–2025.)
Prioritet: høyeste. Ikke fordi kravene er vanskelige — de er lette — men fordi de gjelder hvert delpunkt du skriver. En student som mister ett føringspoeng per delpunkt, mister det ti ganger.
⚠️ Der et løsningsforslag oppgir et sluttall uten å skrive metoden, er føringen i dette kapitlet metode = faglig standard: den er lest ut av oppgaveinstruksen og av de fasitene som faktisk fører metoden.
Eksamen er hjelpemiddelkode D: ingen bok, ingen formelsamling, ingen tabeller, ingen egne notater — bare en bestemt, enkel kalkulator som gjør aritmetikk. Det er nettopp derfor dette kapitlet finnes: hele apparatet må være i hodet den dagen, og en «slå opp»-vane er ikke bare unyttig, den erstatter en ferdighet du trenger med en handling du ikke får utføre.
Må sitte utenat — dette kapitlets eget stoff:
- de fem bokføringskravene (løkke 1) — de er en form, ikke en formel, og formen kan ikke slås opp
- begrunnelsestrappen per sjanger (løkke 2): hva som er nok begrunnelse i hver oppgavetype
- tidsbudsjettet: fire timer på omtrent ti likt vektede delpunkt gir omtrent 24 minutter per delpunkt
- sjekklisten før innlevering (løkke 5), ni spørsmål
Utledes på stedet: ingenting i dette kapitlet. Det er poenget med det. Utledningene hører til fagkapitlene, og de ni av dem som skal gjøres på stedet, er samlet på ett kort i begrepsbanken nederst — med utledningen skrevet ut hver gang.
Selvtest, fem minutter: dekk til siden og skriv ned de fem bokføringskravene og de ni punktene i sjekklista. Får du sju av fjorten, er du på vei; får du fjorten, kan du bruke resten av lesetiden på regning.
Forkunnskaper
Dette kapitlet forutsetter hele boka. Det er ikke et sted å begynne: det opererer på metodene du alt kan, og gir dem den formen sensor leser.
Fra boka: kap. 1.2 (Euklids algoritme frem og baklengs), kap. 1.3 (diofantiske likninger), kap. 1.4 (lineære kongruenser), kap. 2.1 (Eulers og Eulers teorem), kap. 2.2 (Fermats lille teorem), kap. 2.3 (Wilsons teorem), kap. 2.4 (det kinesiske restteoremet), kap. 3.1 (RSA), kap. 4.1–kap. 4.2 (Legendre-symbolet og resiprositet), kap. 5.1–kap. 5.3 (orden, primitive røtter, og ), kap. 6.1–kap. 6.3 (bevisteknikkene) og kap. 7.1–kap. 7.2 (spesialtemaene).
Sist du var her — de tre resultatene dette kapitlet bruker som eksempler, ferdig oppfrisket, så du ikke trenger å bla:
- Bézout-formen. Euklids algoritme gir ikke bare , men to hele tall med
lest ut av substitusjonskjeden baklengs (kap. 1.2).
- RSA-oppsettet. Med er , og dekrypteringseksponenten er løsningen av (kap. 3.1).
- Wilsons teorem. For et primtall er
og de manglende faktorene i et mindre fakultet skrives som negative rester: (kap. 2.3).
To besvarelser, samme tall, ulik uttelling
To studenter leverer samme oppgave. Begge har regnet riktig, og begge skriver på siste linje.
Den første skriver: «, , og .» Tre tall, alle korrekte. Hun har brukt Euklids algoritme på kladdearket, men bare ført svaret inn.
Den andre skriver de samme tallene, men med divisjonskjeden og substitusjonskjeden ført ut, med setningen «fordi har nøyaktig én løsning modulo », og med kontrollen til slutt.
Bare den andre får full uttelling for delpunktet. Ikke fordi den første regnet dårligere — hun regnet like godt — men fordi instruksen på settet er at alle svar skal begrunnes, og et tall alene er ikke en begrunnelse.
Det er hele dette kapitlet i en nøtteskall: du har allerede gjort arbeidet. Dette handler om å få det ned på papiret i den formen som teller. Og det tar tid å skrive — omtrent to av de tjuefire minuttene per delpunkt. Det er de to best investerte minuttene på hele settet.
Løkke 1: De fem bokføringskravene
~12 minutter.
Ni krav sto i tabellen over. Fem av dem er bokføringskrav: de handler om hva som skal stå på arket, i hvilken rekkefølge. De er formulert likt gjennom hele boka, og de er formulert likt her — bevisst, for at de skal kunne gjenkjennes i søvne.
De fire siste kravene (case-analyse, induksjonsstegene, alternative metoder, «alt begrunnes») kommer i løkke 4 og 5.
(i) Divisjonskjeden frem, linje for linje, til rest . Siste ikke-null rest er .
(ii) Substitusjonskjeden baklengs, fra nest siste linje og oppover, til du står med
(iii) Konklusjonssetningen: «altså er .»
Gcd alene, uten Bézout-koeffisientene, gir trekk — og verre: det stopper resten av oppgaven, for både den diofantiske løsningen, den modulære inversen og RSA-eksponenten leses ut av kjeden baklengs, ikke ut av gcd-en.
Den utvidede algoritmen i tabellform er en fullgod alternativ føring, aldri en erstatning for at koeffisientene vises.
(må sitte utenat — malen er en form, og under kode D finnes ingen mal å slå opp i)
Ved diofantiske likninger, lineære kongruenser og kongruenssystemer kommenteres løsbarheten som en setning, før du løser. Malen er ordrett den samme i hele boka:
- diofantisk likning : «fordi deler , har likningen løsninger»;
- lineær kongruens : «siden deler , er kongruensen løsbar, og den har inkongruente løsninger modulo »;
- kongruenssystem: «modulene er parvis relativt primiske, så systemet har ved det kinesiske restteoremet nøyaktig én løsning modulo ».
Setningen er verdt poeng i seg selv, og den koster ti sekunder. Er kriteriet ikke oppfylt, er den hele svaret: «, altså finnes ingen heltallsløsninger» — og du er ferdig med delpunktet.
(må sitte utenat)
- Diofantisk likning: full parametrisering
- Lineær kongruens: alle inkongruente løsninger modulo , med avstand .
- Kongruenssystem: svaret som en restklasse med periode, — ikke bare tallet .
- Kvadratisk kongruens: «to løsninger, » eller «ingen løsning».
Og: «minste positive» besvares eksplisitt når det spørres om, med både og regnet ut. Det er det delpunktet som oftest mistes helt på slutten av en ellers korrekt besvarelse.
(må sitte utenat)
Store potenser modulo føres i sju steg, ordrett som i kap. 2.1 og kap. 2.6:
(i) faktoriser modulusen; (ii) skriv -sjekken som en setning; (iii) regn ut (eller les for primtallsmodulus); (iv) reduser eksponenten modulo eller , med teoremnavnet; (v) binærutviklingen av eksponenten og kvadrattabellen; (vi) sett sammen produktet, to faktorer av gangen; (vii) konklusjon, med svaret i .
Steg (ii) er det som avgjør om steg (iv) i det hele tatt er lovlig, og steg (v) er det som viser at du regnet det selv. Et sluttall uten kvadrattabell er et sluttall uten metode.
(må sitte utenat)
Bærer et teorem argumentet, skal navnet stå i setningen. Fasitene i arkivet gjør det rutinemessig, og formuleringene er faste:
«ved Euklids algoritme» · «etter Bézout» · «ved det kinesiske restteoremet» · «fra Fermats lille teorem» · «fra Eulers teorem» · «ved Wilsons teorem» · «etter aritmetikkens fundamentalteorem» · «ved Euklids lemma» · «etter den kvadratiske resiprositetsloven» · «ved Eulers kriterium» · «ved induksjonsprinsippet».
Grunnen er ikke seremoniell. Navnet er stedet der vilkåret bor: sier du «fra Eulers teorem», har du samtidig sagt at er sjekket; sier du «ved Wilsons teorem», har du sagt at modulusen er et primtall. Et argument uten teoremnavn er et argument uten vilkårssjekk.
(må sitte utenat — de elleve formuleringene er hele listen)
Den offentlige nøkkelen i et RSA-system er . Finn og dekrypteringseksponenten .
Under står to besvarelser med samme, korrekte sluttsvar. Bare den andre er ført etter standarden. Pek på hva som skiller dem, krav for krav.
, så . Euklids algoritme gir .
Tallene er riktige. Men to av de fem bokføringskravene er brutt: Euklid-malen (kjeden er ikke ført, verken frem eller baklengs — «Euklids algoritme gir» er en påstand om at man har regnet, ikke en regning) og løsbarhet før løsning ( er aldri nevnt, og det er nettopp den som gjør at finnes og er entydig).
Besvarelse 2 (ført etter standarden).
faktoriseres ved prøvedivisjon: er ikke delelig med eller , men . Begge faktorene er primtall, så etter aritmetikkens fundamentalteorem er dette den entydige faktoriseringen, og
Dekrypteringseksponenten er løsningen av . Løsbarhet først: (som divisjonskjeden under bekrefter), så kongruensen har nøyaktig én løsning modulo .
(i) Divisjonskjeden frem — ved Euklids algoritme:
Siste ikke-null rest er , altså er .
(ii) Substitusjonskjeden baklengs, fra nest siste linje og oppover:
(iii) Konklusjonssetningen: altså er , etter Bézout.
Modulo gir dette , og vi justerer inn i intervallet: . Altså er
Kontroll: ✓ — resten er , som den skal være.
Sluttsvar: og .
Hva de to besvarelsene faktisk skiller seg på: ikke matematikken, men fire linjer skrift — divisjonskjeden, substitusjonskjeden, -setningen og kontrollen. Det er omtrent halvannet minutt med penn. Til sammenligning tar det tjue minutter å finne på nytt hvis du har regnet feil og ikke har kjeden på arket å lete i.
Under står fire linjer fra fire ulike besvarelser. Hver linje bryter nøyaktig ett av de fem bokføringskravene. Si hvilket, og skriv linjen om så kravet er oppfylt.
a) «.»
b) «, så resten er .»
c) «Løsningen er .» (oppgaven var: løs )
d) «Systemet har løsningen .» (oppgaven var et system med moduler , og )
Besvarelsen under finner riktig i et RSA-system, men taper uttelling.
Oppgave: i et RSA-system er , og . Finn , og forklar hvorfor dekrypteringen gjenoppretter meldingen.Besvarelse: og . Euklids algoritme gir . Dekrypteringen virker fordi , og da er .
a) Pek på de to manglene.
b) Skriv besvarelsen om til full uttelling.
— naturlig pausepunkt —
Løkke 2: Begrunnelsestrappen — hva som er nok i hver sjanger
~14 minutter.
En eksamensoppgave sier ikke hvilket kapittel den hører til. Den sier «finn resten når …», «avgjør om …», «vis at …» — og du har omtrent tjue sekunder på å avgjøre hvilken sjanger det er, før du begynner å regne. Metodevalg er en egen ferdighet, og den trenes ved å lese oppgavetekster, ikke ved å regne dem.
Tabellen under er derfor lest fra to sider samtidig: hvilke ord peker mot hvilken sjanger, og hva som er nok begrunnelse når du først er der. Sjangerbokstavene er bokas egne forkortelser, presentert i kap. 0.1: A lineær diofantisk likning, B lineær kongruens, C kinesisk restteorem, D RSA, E restberegning med Fermat/Euler/Wilson, F kvadratiske rester og Legendre, G orden og primitive røtter, H tallteoretiske funksjoner, I delelighets- og primtallsbevis, J induksjon, K roterende spesialtema.
| Sjanger | Signalordene i oppgaveteksten | Nok begrunnelse er |
|---|---|---|
| A (kap. 1.3) | «i hele tall», «samtlige løsninger», «» | Euklid begge veier + løsbarhet () + hele løsningsmengden + «minste positive» om spurt |
| B (kap. 1.4) | «» med én ukjent, «alle inkongruente løsninger», «invers» | + antall løsninger + forkorting med modulusen delt + alle restklassene |
| C (kap. 2.4) | «samtidig», to eller flere kongruenser, «det minste tallet som …» | parvis primiskhet kommentert + teoremnavnet + svaret som restklasse modulo + kontroll i alle kongruensene |
| D (kap. 3.1) | «offentlig nøkkel», «krypter», «dekrypter», «» | faktorisering av + + Euklid begge veier for + kvadrer-og-multipliser vist |
| E (kap. 2.5) | «finn resten når … deles på …», fakultetstegn, stor eksponent | faktorisert modulus + -sjekk + teoremnavn ved reduksjonen + kvadrattabell + Wilson-fortegnene |
| F (kap. 4.2) | «», «kvadratisk rest», «har løsning» | regelnavn ved hvert steg i kjeden + fortegnsfaktoren + konklusjonen «to løsninger» eller «ingen løsning» |
| G (kap. 5.2) | «minste med», «orden», «primitiv rot», «generator» | at ordenen er den minste (mindre divisorer utelukket) + alle primdivisorer testet + tellingen begrunnet |
| H (kap. 5.3) | «antall divisorer», «summen av divisorene», «minste med» | faktorisering + formelen brukt + ved optimering: hvorfor ingen mindre virker |
| I (kap. 6.3) | «vis at … er delelig med», «vis at … er sammensatt», «uendelig mange» | start fra definisjonen + teoremnavnet + uttømmende case-analyse + klar konklusjonssetning |
| J (kap. 6.2) | «for alle », «vis ved induksjon» | riktig + alle tre stegene merket + «her bruker vi induksjonshypotesen» der den brukes |
| K (kap. 7.1–kap. 7.2) | «kjedebrøk», «konvergent», «», «pytagoreisk» | tabellen fullt ført + kontroll ved innsetting + alle tre betingelsene ved tripler |
Legg merke til mønsteret i høyre kolonne. Tre ting går igjen i nesten hver rad: et vilkår som skal kommenteres, et teoremnavn som skal skrives, og et fullstendig svar (hele mengden, alle løsningene, alle tilfellene). Kan du de tre, kan du føringsstandarden — resten er detaljer per sjanger.
Trinn 1 — svaret. Sluttallet, riktig. Alene teller det lite: instruksen på hvert sett er at alle svar skal begrunnes.
Trinn 2 — regningen. Mellomstegene som fører til svaret: divisjonskjeden, kvadrattabellen, reduksjonskjeden. Dette er det de fleste husker å skrive.
Trinn 3 — rammen rundt regningen. Vilkåret kommentert før du regner (-sjekken, , parvis primiskhet, « er et primtall»), teoremnavnet der argumentet hviler, konklusjonen som en setning, og svaret komplett (hele mengden / alle løsningene / alle tilfellene).
Trinn 3 er det som skiller en besvarelse som «har regnet riktig» fra en som er ferdig. Den koster ti–tjue sekunder per delpunkt, og den er den billigste karakterøkningen i hele faget.
(må sitte utenat — de tre trinnene er selvsjekken du kjører på hvert delpunkt før du blar videre)
Ordene i oppgaveteksten peker nesten alltid entydig på sjangeren, og du kan lære listen:
- «i hele tall» / «samtlige løsninger» ⇒ diofantisk likning (A)
- «alle inkongruente løsninger» / «invers modulo» ⇒ lineær kongruens (B)
- to eller flere kongruenser samtidig / «det minste tallet som gir rest … og rest …» ⇒ kinesisk restteorem (C)
- «offentlig nøkkel» / «krypter» / «dekrypter» ⇒ RSA (D)
- «finn resten når … deles på …», særlig med fakultet eller stor eksponent ⇒ restberegning (E)
- «har løsning» / «kvadratisk rest» ⇒ Legendre (F)
- «minste med » / «primitiv rot» ⇒ orden (G)
- «antall divisorer» / «summen av divisorene» / «minste med» ⇒ og (H)
- «vis at … er delelig med» / «er sammensatt» / «uendelig mange primtall» ⇒ delelighetsbevis (I)
- «for alle » ⇒ induksjon (J)
- «kjedebrøk» / «konvergent» / «» / «pytagoreisk trippel» ⇒ spesialtema (K)
To signalord som lurer: «finn resten» med en liten eksponent er ren kongruensregning, ikke sjanger E — reduser og bli ferdig. Og «vis at» foran en tallpåstand (ikke en allpåstand) er ofte bare en utregning: «vis at er en primitiv rot modulo » er sjanger G, ikke et bevis i sjanger I.
(må sitte utenat — dette er metodevalget, og det er ikke noe du kan slå opp under kode D)
For hver tekst: hvilken sjanger, hva er første grep, og hva må stå i svaret?
a) «Finn samtlige heltallsløsninger av .»
b) «Finn resten når deles på .»
c) «Avgjør om har løsning.»
d) «Finn det minste positive heltallet som gir rest ved divisjon med og rest ved divisjon med .»
e) «Vis at for alle .»
f) «Finn det minste positive heltallet med nøyaktig divisorer.»
Første grep: med Euklids algoritme. (Her: , , så .)
Må stå i svaret: at (løsbar), Bézout-koeffisientene, og hele løsningsmengden , .
b) Sjanger E — restberegning, Wilson-varianten. Signalordet er fakultetstegnet sammen med «finn resten når … deles på …», og modulusen er et primtall.
Første grep: skriv Wilsons teorem for : . Uttrykk så ved .
Må stå i svaret: at er et primtall, teoremnavnet, de manglende faktorene som negative rester (, , , ), og at du ganger med en invers i stedet for å dele.
c) Sjanger F — kvadratisk rest. Signalordet er .
Første grep: faktoriser telleren, , og splitt symbolet med multiplikativiteten.
Må stå i svaret: regelnavnet ved hvert steg (supplementsregelen for etter modulo , resiprositetsloven med fortegnsfaktoren), og konklusjonen som antall løsninger — «to løsninger» eller «ingen løsning».
d) Sjanger C — kinesisk restteorem. Signalordet er «rest … og rest …» samtidig.
Første grep: sjekk at , altså parvis relativt primiske moduler.
Må stå i svaret: teoremnavnet, at svaret er entydig modulo , selve restklassen med periode, og det minste positive tallet siden det er det som spørres om. (Begge metodene — formelen og suksessiv innsetting — er fullgode.)
e) Sjanger J — induksjon. Signalordet er «for alle ».
Første grep: skriv opp og verifiser basissteget med tall: , og ✓.
Må stå i svaret: alle tre stegene merket, hypotesen skrevet ut som egen linje, og setningen «her bruker vi induksjonshypotesen» der innsettingen skjer. (Merk: dette er nøyaktig eksempelet i kap. 6.2 løkke 3 — kjenner du det igjen, er halve jobben gjort.)
f) Sjanger H — tallteoretiske funksjoner. Signalordet er «nøyaktig divisorer».
Første grep: faktoriser antallet: , så krever eksponentmønsteret eller .
Må stå i svaret: begge kandidatene regnet ut ( og ), og begrunnelsen for at ingen mindre virker — de største eksponentene skal på de minste primtallene. Svaret er .
Mønsteret: i alle seks tilfellene tok metodevalget under tjue sekunder, og i alle seks bestemte ett ord i teksten sjangeren. Det er derfor det er verdt å lese oppgaveteksten to ganger før du regner én linje.
Metodevalgsdrill. For hver tekst: oppgi sjanger (A–K), første grep, og ett krav som må være oppfylt i svaret. Du skal ikke regne oppgavene.
a) «Vis at er sammensatt, og oppgi en ekte divisor.»
b) «Finn ordenen til modulo , og bruk den til å finne resten når deles på .»
c) «Løs , og oppgi alle inkongruente løsninger.»
d) «Finn kjedebrøkutviklingen til og de tre første konvergentene.»
e) «I et RSA-system er . Finn .»
Besvarelsen under regner riktig, men uten et eneste regelnavn. Skriv den om slik at hvert steg bærer navnet på regelen som brukes, og kontrollér fortegnsbokføringen.
Oppgave: avgjør om har løsning.Besvarelse: . Videre og . Svar: .
Løkke 3: Tidsbudsjettet og rekkefølgen
~10 minutter.
Eksamen er fire timer, og nyere sett er organisert som omtrent ti delpunkt som alle teller likt. Det gir et tall du skal ha i hodet når klokka starter:
Tallet er ikke en fartsgrense, det er en alarm. Bruker du 45 minutter på det første delpunktet, har du lånt tid fra et annet delpunkt som er verdt akkurat like mye — og som du sannsynligvis kunne tatt på tolv minutter.
Fire timer, omtrent ti likt vektede delpunkt: 24 minutter per delpunkt, med den fordelingen at de mekaniske sjangrene tar mindre og bevisoppgaven tar mer.
Et realistisk budsjett, målt på oppgavetypene i denne boka:
| Sjanger | Realistisk tid | Kommentar |
|---|---|---|
| H (, ) | 8–12 min | den billigste sjangeren i faget |
| A, B (diofant, kongruens) | 12–18 min | fast oppskrift, ingen overraskelser |
| C (CRT) | 15–20 min | mest tid går til inversene |
| F (Legendre) | 12–20 min | rask når kjeden sitter |
| E (restberegning) | 18–25 min | kvadrattabellen tar tid å skrive |
| D (RSA) | 20–25 min | to fulle prosedyrer i én oppgave |
| G (orden, primitiv rot) | 15–25 min | tellingen er raskest, verifikasjonen tregest |
| I, J (bevis) | 20–30 min | strukturen skal skrives, ikke bare tenkes |
Summen av «realistisk tid» for et typisk sett ligger under fire timer — det er meningen. Marginen er kontrolltiden, og kontroll er den eneste kontrollen som finnes under kode D.
(må sitte utenat — 24 minutter er tallet du planlegger etter, og de åtte radene er kalibreringen)
Ikke løs settet fra oppgave 1 til oppgave 8 i rekkefølge. Kjør tre runder:
Runde 1 (~5 min, ingen regning). Les hele settet. Skriv sjangerbokstaven i margen ved hvert delpunkt. Marker de tre du er sikrest på.
Runde 2 (~2,5 timer). Ta de sikre først, i økende vanskelighet. Grunnen er ikke psykologisk, den er aritmetisk: alle delpunkt teller likt, så et delpunkt du tar på tolv minutter er verdt like mye som et du bruker førti på. Å ta de billige først maksimerer antall ferdige delpunkt per time.
Runde 3 (~40 min). De vanskelige, med det du har lært av de andre. Ofte har delpunkt i samme oppgave felles , felles faktorisering eller felles gcd — regnet du den i a), er den gratis i c).
Sett av de siste 20 minuttene til kontroll, ikke til et nytt delpunkt. En funnet regnefeil er verdt mer enn en halv ny oppgave.
(må sitte utenat — dette er hele eksamensstrategien, og den kan ikke leses fra et ark du ikke har med deg)
Står du fast, forlater du delpunktet. Men ikke tomt. Tre linjer, alltid, før du blar videre:
1. Sjangeren og metoden: «dette er en kvadratisk kongruens; jeg skal regne med resiprositetsloven».
2. Vilkåret eller oppsettet: det du faktisk har fått til — faktoriseringen, , -en, de to første linjene i divisjonskjeden.
3. Der du stoppet: «her trenger jeg inversen til modulo , som jeg ikke fikk til».
Grunnen er enkel: delpunktene er selvstendige og teller likt, men innenfor ett delpunkt gis uttelling for metode. Tre linjer riktig oppsett er langt fra null.
Og motsatt: oppgi aldri et sluttall du ikke har regnet. Et gjettet tall uten metode gir ingenting og koster tid du kunne brukt på neste delpunkt.
(må sitte utenat — regelen brukes under tidspress, og det er nettopp da den glemmes)
Et sett har åtte oppgaver med til sammen ti delpunkt, i denne rekkefølgen:
O1 (2 delpunkt) diofantisk likning · O2 (2) restberegning med fakultet · O3 (1) kongruenssystem · O4 (2) RSA · O5 (1) Legendre · O6 (1) orden · O7 (1) bevis ved induksjon.
Du er trygg på O1, O3 og O6, middels på O2 og O5, og har alltid slitt med RSA. Legg en plan for de fire timene.
Les alt. Skriv i margen: O1a/b = A, O2a/b = E, O3 = C, O4a/b = D, O5 = F, O6 = G, O7 = J. Marker O1, O3, O6 som sikre.
Legg samtidig merke til to gjenbruk: O2 og O4 trenger begge en faktorisering og en -verdi, og O4b trenger fra O4a. Det betyr at O4 må tas samlet, ikke splittet over pausen.
Runde 2 — de sikre først, 2 timer 20 minutter (kl. 15:05–17:25).
| Tid | Delpunkt | Anslag | Hvorfor her |
|---|---|---|---|
| 15:05–15:20 | O6 (orden) | 15 min | sikker, og billigst av de sikre |
| 15:20–15:38 | O1a+b (diofant) | 18 min | fast oppskrift; b) gjenbruker Bézout fra a) |
| 15:38–15:56 | O3 (CRT) | 18 min | sikker; suksessiv innsetting om inversene blir stygge |
| 15:56–16:20 | O2a+b (restberegning) | 24 min | middels; to delpunkt som deler modulus |
| 16:20–16:38 | O5 (Legendre) | 18 min | middels; kjeden går fort når fortegnene bokføres |
| 16:38–17:05 | O7 (induksjon) | 27 min | bevis tar tid å skrive, ikke å tenke |
| 17:05–17:25 | O4a (RSA, finn ) | 20 min | den vanskeligste, men a) er ren Euklid |
Runde 3 — restene, 20 minutter (kl. 17:25–17:45).
O4b (dekrypteringen). Har du fra a), er dette bare kvadrer-og-multipliser. Rekker du ikke hele kvadrattabellen, skriv oppsettet: binærutviklingen av , de kvadratene du har regnet, og setningen «resten av produktet gjenstår». Det er metode, og metode teller.
Kontrolltid — 15 minutter (kl. 17:45–18:00).
Gå gjennom sjekklisten i løkke 5 for hvert delpunkt. Erfaringsmessig finner du én av tre ting: en manglende «minste positive», en -setning som aldri ble skrevet, eller et sluttall utenfor . Alle tre er gratis poeng.
Regnskapet: minutter planlagt av . De minuttene som står igjen, er bufferen — og den blir brukt. Et sett uten buffer er et sett du ikke rekker.
*Merk hva planen ikke gjorde: den startet ikke på O1. Oppgave 1 er ofte den lettest tilgjengelige, men her var O6 billigere for denne* studenten. Rekkefølgen følger din egen sikkerhet, ikke settets nummerering — nettopp fordi alle delpunkt teller likt.
Klokka er 17:15. Du har minutter igjen og tre uløste delpunkt:
- X: «Finn resten når deles på .» Du husker Wilsons teorem, men ikke fortegnsregelen for de manglende faktorene.
- Y: «Avgjør om har løsning.» Du kan reduksjonsalgoritmen godt.
- Z: «Vis ved induksjon at for alle .» Du kan malen, men har ikke begynt.
a) I hvilken rekkefølge tar du dem, og hvor mange minutter setter du av til hver?
b) Anta at du ved 17:50 fortsatt står fast på X. Hva skriver du på arket før du leverer?
— naturlig pausepunkt —
Løkke 4: Bevisføringen — der strukturen er begrunnelsen
~12 minutter.
Hvert eneste sett i arkivet har minst én ren bevisoppgave, og i bevis er føringskravene ikke pynt rundt regningen: strukturen er hele argumentet. Et induksjonsbevis uten basissteg er ikke et bevis med en liten mangel — det er ikke et bevis, og løkken under viser hvorfor med et konkret eksempel.
De tre malene under er ordrett de samme som i kap. 6.1–kap. 6.2. De gjentas her fordi de er det du skal ha i hodet, ikke i boka.
(2) Induksjonshypotese. Som egen linje, med innholdet skrevet ut: «anta at holder for en , altså at [påstanden for ].»
(3) Induksjonssteg. Utled , og skriv setningen
«Her bruker vi induksjonshypotesen:»
nøyaktig der innsettingen skjer. Avslutt med «ved induksjonsprinsippet holder for alle .»
De to setningene som må stå, er hypotesen (steg 2) og «her bruker vi induksjonshypotesen» (steg 3). De er de to stedene en leser kontrollerer at beviset faktisk er et induksjonsbevis og ikke en omskrivning.
Antall basissteg = antall ledd rekursjonen ser tilbake. Bruker steget både og , trengs to basissteg (sterk induksjon).
(må sitte utenat)
Skal en påstand vises for alle hele tall, og argumentet går via rester modulo , skal alle restene stå der — hver som en merket linje:
«Tilfelle : …» · «Tilfelle : …» · «Tilfelle : …»
Grunnlaget er divisjonsalgoritmen: hvert helt tall har nøyaktig én rest med , så de tilfellene dekker alt. En case-analyse som hopper over en rest, beviser ingenting — og et tilfelle som «åpenbart ikke kan skje», skal utelukkes med en setning, ikke ved stillhet.
Valget av modulus er hele trikset: velg den som gjør at kvadratene (eller potensene) i påstanden får få mulige verdier. ; ; for odde .
(må sitte utenat — både formen og de tre kvadratrest-listene)
(2) Regn videre til noe umulig.
(3) Avslutt med en klar umulighetssetning: «men da er både et primtall og sammensatt — motsigelse», eller «men , og det er umulig». Ikke la beviset renne ut i en observasjon.
(4) Konkluder: «antagelsen kan derfor ikke holde, og påstanden er bevist. »
Malen bærer tre av bokas sjangre: irrasjonalitet (kap. 7.3), uendelig mange primtall av en gitt form (kap. 6.3), og likninger uten heltallsløsninger (kap. 6.1).
(må sitte utenat)
Besvarelse. Anta at . Da er
som er påstanden for . Ved induksjonsprinsippet holder påstanden for alle .
Er beviset gyldig? Er påstanden sann? Svar på begge, og forklar hva som gikk galt.
Men påstanden er gal. Sett inn : venstresiden er , høyresiden er . Og .
Hva som gikk galt: basissteget mangler. Beviset har bare to av de tre stegene — hypotesen og steget. Uten steg (1) er dominorekken aldri veltet: implikasjonene er alle sanne, men ingen av dem har noen sann forutsetning å starte fra.
Hvorfor eksempelet er ubehagelig: -leddet forsvinner aldri i steget, uansett hvilken konstant du velger. Påstanden
har et gyldig induksjonssteg for hver konstant — og er sann bare for . Basissteget er det eneste som skiller den sanne påstanden fra de uendelig mange falske. Det er derfor et induksjonsbevis uten basissteg ikke er et bevis med en liten mangel, men et bevis uten innhold.
Ført riktig, for :
(1) Basissteg (): venstresiden er , høyresiden er . Begge sider er ✓.
(2) Induksjonshypotese: anta at for en .
(3) Induksjonssteg: vi ser på summen til :
Her bruker vi induksjonshypotesen: de første leddene er , så summen er
som er påstanden for .
Ved induksjonsprinsippet holder for alle .
Kontroll: gir og ✓.
Merk arbeidsvanen dette gir deg: før du beviser en påstand, sett inn to små tall. Det tar tjue sekunder, og det er den ene kontrollen som skiller en sann påstand fra en du kommer til å kaste bort tjue minutter på.
Avgjør for hver av påstandene om den er sann. Er den sann, før beviset komplett; er den gal, gi et moteksempel.
a) for alle hele tall .
b) for alle odde hele tall .
c) er et primtall for alle hele tall .
Test alltid med små tall før du velger side.
Besvarelsen under har ett fortegnsfeil. Finn det, rett det, og skriv fortegnskontrollen som fanger feilen.
Oppgave: finn resten når deles på .Besvarelse: er et primtall, så ved Wilsons teorem. Nå er , og , , , så . Inversen til modulo er , så , og .
Løkke 5: Sjekklisten før innlevering
~7 minutter.
De siste tjue minuttene av eksamen skal ikke brukes på et nytt delpunkt. De skal brukes på ni spørsmål, stilt til hvert delpunkt du har skrevet. Erfaringen fra fasitene er tydelig: de poengene som mistes på slutten, mistes på samme ni ting hver gang.
Ni spørsmål, i denne rekkefølgen — de tre første er de som oftest gir treff:
1. Er Euklid ført baklengs, der oppgaven trengte Bézout-koeffisienter, en invers eller i RSA?
2. Er løsbarheten kommentert før løsningen — , , parvis primiskhet?
3. Står hele løsningsmengden der — alle restklassene, -parametriseringen, perioden i CRT-svaret — og er «minste positive» besvart der det ble spurt?
4. Er -sjekken skrevet før Eulers teorem ble brukt?
5. Er Wilson-fortegnene riktige — manglende faktorer gir koeffisienten ?
6. Er fortegnsfaktoren i resiprositetsloven regnet, ikke gjettet — og er supplementsreglene brukt med riktig modulus ( for , for )?
7. Er alle restene dekket i hver case-analyse?
8. Er basissteget skrevet i hvert induksjonsbevis, med riktig ?
9. Er teoremet navngitt der argumentet hviler på det?
Og til slutt, det tiende som ikke er et spørsmål men en sjekk: ligger hvert sluttsvar i ? Et negativt eller for stort svar på en restberegning er nesten alltid en glemt siste reduksjon.
(må sitte utenat — dette er kontrolltiden din, og lista finnes ikke på arket)
Kjør sjekklisten på besvarelsen under, og skriv opp hvilke av de ni punktene som gir treff. Du skal ikke løse oppgaven på nytt.
Oppgave: løs .Besvarelse: . Forkortet: . Inversen til modulo er , siden . Da er . Svar: .
Feilene i dette kapitlet er ikke regnefeil — det er ting som ikke ble skrevet. Derfor er de også de eneste feilene i boka du kan fjerne uten å lære noe nytt.
- Gcd oppgitt uten Bézout-koeffisientene. Den enkeltfeilen som koster mest, fordi den stopper diofant-, invers- og RSA-delpunktet som følger etter.
- Eulers teorem brukt uten -sjekken. Vilkåret er ikke en formalitet: uten det er reduksjonen av eksponenten ganske enkelt ugyldig, og svaret blir galt.
- Wilson-fortegnene. De manglende faktorene skrives som , aldri som . Tell dem: faktorer gir koeffisienten .
- Fortegnsfaktoren i resiprositetsloven glemt eller gjettet. Skriv pariteten ut: , og les av om den er odde.
- Supplementsreglene forvekslet. leses av modulo 4; av modulo 8. To ulike moduler, to ulike regler.
- Ufullstendig løsningsmengde. Én løsning der det er ; ett tall der svaret er en restklasse; ingen «minste positive» der oppgaven ba om den.
- Glemt basissteg. Den mest belagte feilen i bevisdelen — og som løkke 4 viste: uten basissteg er beviset tomt, ikke bare mangelfullt.
- Ufullstendig case-analyse. En rest som ikke er behandlet, er et hull i beviset. Et tilfelle som «ikke kan skje», utelukkes med en setning.
- Sluttall uten metode. «Kalkulatoren» er ikke en metode, og under kode D kan den ikke gjøre dette likevel: den reduserer ikke , den faktoriserer ikke , og den kjører ikke Euklids algoritme.
- Potens uten kvadrer-og-multipliser. Binærutviklingen og kvadrattabellen er beviset på at du regnet det selv.
- Metodevalg tatt før oppgaveteksten er lest ut. Den dyreste feilen i tid: å begynne på riktig sjanger etter ti minutter på feil.
- Kontrolltiden brukt på et nytt delpunkt. Et halvt nytt delpunkt er nesten alltid verdt mindre enn tre funnede feil i de ferdige.
Begrepsbank: teorem- og formelbanken
Dette er flashcard-stoff — hopp trygt over ved førstegangslesing; tidsanslaget på 55 minutter gjelder kjernestoffet over. Kom tilbake hit når du repeterer.
Men merk at denne banken er noe annet enn de andre i boka. I fagkapitlene er kortene støtte til teksten. Her er de eksamensverktøyet selv: dette er hele apparatet du skal ha i hodet 24. november, samlet på ett sted, i den formen du skal kunne skrive det ned i. Under hjelpemiddelkode D finnes ingen bok, ingen formelsamling og ingen tabeller — banken er derfor ikke et supplement til pensum, den er pensum sett fra eksamensdagen.
Slik brukes den: dekk til, skriv ned, sjekk. Aktiv gjenkalling slår gjenlesing, hver gang, og prosedyrekortene pugges ved å kjøre prosedyren på nye tall — ikke ved å lese den.
Substitusjonskjeden baklengs: start i nest siste linje, substituer oppover, til
Bézouts identitet: er den minste positive verdien kan ha.
Kontroll: sett og inn og se at du får -en, ikke noe annet.
(prosedyren må sitte utenat; koeffisientene utledes på stedet — de finnes ikke utenat for noe tallpar, og leses ut av kjeden hver gang)
Eulers teorem: er , så er .
Brukt som verktøy: reduser eksponenten modulo — ikke modulo .
(begge formler og teoremet med vilkåret må sitte utenat; den generelle formen utledes på stedet av pluss multiplikativiteten, to linjer)
Form 2: er et primtall, så er for alle hele tall — ingen vilkår.
Brukt som verktøy: ved primtallsmodulus reduseres eksponenten modulo .
(begge former må sitte utenat — men om formen glipper: Fermat utledes på stedet av Euler, siden for et primtall. Én linje, under et halvt minutt.)
Trikset på : skriv , bytt hver manglende faktor med en negativ rest (), og gang med inversen til koeffisienten — aldri «del».
Fortegnsregelen: med manglende faktorer er koeffisienten .
(teoremet og fortegnsregelen må sitte utenat; utledes på stedet på én linje, og invers-parringen er minnekroken når teoremet nøler)
Formelen: ; løs ; sett
Suksessiv innsetting: , sett inn i neste kongruens, løs for , gjenta. Begge veier gir full uttelling — og under kode D er innsetting sikkerhetsnettet, fordi den ikke krever at noen formel sitter.
Ikke parvis primiske moduler: løsbar nøyaktig når deler ; perioden er da , ikke produktet.
(formelen og vilkåret må sitte utenat; innsettingsveien er ren kongruensregning og utledes på stedet)
Offentlig nøkkel ; privat . Kryptering , dekryptering .
Den raske dekrypteringsveien: regn og , og sett sammen med det kinesiske restteoremet. Fullgod, og ofte raskere for hånd.
(oppsettet må sitte utenat; korrektheten utledes på stedet fra pluss Eulers teorem — tre linjer, pluss to for tilfellet )
Periodisitet: — reduser alltid telleren først.
Fullstendig multiplikativitet: — så kvadrater i telleren faller bort.
Eulers kriterium: .
Antall løsninger av : to (som ) om symbolet er , ingen om det er .
(alt dette må sitte utenat; at det finnes kvadratiske rester og at utledes på stedet av multiplikativiteten, to linjer)
I praksis: fortegnet bytter nøyaktig når begge er .
Supplement 1: om , ellers . (Modulus 4.)
Supplement 2 — «8-regelen»: om , ellers . (Modulus 8.)
Reduksjonsalgoritmen: reduser telleren · faktoriser · splitt med multiplikativiteten · behandle og med supplementene · snu de odde primtallene med loven · gjenta til alt er .
(loven med fortegnsfaktoren og begge supplementer må sitte utenat; supplementet for kan i tillegg utledes på stedet fra Eulers kriterium — én linje)
Ordenslemmaet: . Spesielt .
Divisortesten: regn , og test divisorene i stigende rekkefølge; første treff er ordenen. Å vise at den er den minste, er en del av svaret.
Brukt som verktøy: reduser eksponenter modulo ordenen — den er ofte mye mindre enn .
(lemmaet begge veier må sitte utenat; utledes på stedet av lemmaet, to linjer)
En primitiv rot modulo er et element av orden ; potensene treffer da alle restene som er relativt primiske til .
Eksistens: nøyaktig for med odde primtall.
Antall: .
Primdivisortesten: er primitiv rot for hver primdivisor i . Én test per primdivisor — ikke per divisor.
Antall elementer av orden (når en primitiv rot finnes, og ): .
(eksistens, antall og testen må sitte utenat; at alle primitive røtter er med utledes på stedet av ordensformelen for potenser, to linjer)
Begge er multiplikative for relativt primiske faktorer.
Minste med gitt : faktoriser på alle måter som produkt av heltall , tolk hver faktorisering som eksponentmønster , og legg de største eksponentene på de minste primtallene. Regn ut alle kandidatene og velg den minste.
Identiteter: er odde nøyaktig når er et kvadrattall; .
(-formelen må sitte utenat; -formelen utledes på stedet fra den geometriske summen — én linje per primtallspotens)
med de tre betingelsene: , , og av ulik paritet.
Hver betingelse har sin jobb: den første gir positive sider, den andre gjør trippelen primitiv, den tredje hindrer at alle tre sidene blir delelige med .
Faste delelighetsresultater: ; ; ; .
(parametriseringen med alle tre betingelsene må sitte utenat — å glemme paritetsbetingelsen er den belagte feilen i sjangeren; delelighetsresultatene utledes på stedet med case-analyse på og , tre–fem linjer hver)
: periodisk kjedebrøk , funnet med hjelpetabellen for , og .
Konvergentene:
med , , , .
Pells likning : den minste ikke-trivielle løsningen er en konvergent — regn rad for rad til du treffer . Neste løsning: .
(rekursjonen må sitte utenat; at neste Pell-løsning kommer av kvadrering utledes på stedet ved å gange med seg selv, to linjer)
Ni resultater skal ikke pugges. De utledes når du trenger dem, og hver tar under to minutter:
1. Bézout-koeffisientene — ut av substitusjonskjeden.
2. Fermat ut av Euler — , én linje.
3. Den generelle -formelen — ut av pluss multiplikativitet.
4. -formelen — geometrisk sum.
5. Supplementet for — ut av Eulers kriterium.
6. — ut av ordenslemmaet.
7. RSA-korrektheten — ut av pluss Euler.
8. CRT ved suksessiv innsetting — ren kongruensregning, ingen formel.
9. — ut av Wilson, én linje.
Hvorfor listen er kort: «kan utledes» er bare et løfte hvis utledningen faktisk tar noen få linjer under tidspress. Alt annet i banken må sitte utenat.
(listen over hva som utledes på stedet, må selv sitte utenat — det er den som avgjør hva du bruker pugge tiden på)
- Dekk til, skriv ned, sjekk. Aktiv gjenkalling slår gjenlesing — også når det kjennes verre, som det gjør.
- Prosedyrer pugges ved å kjøres. Euklid frem og baklengs på tre nye tallpar er mer verdt enn tre gjennomlesninger av oppskriften.
- Spredt repetisjon: ta kortene fra Del 1–2 på nytt når du er i Del 4–6. De fem søylene er de som må sitte i november, ikke i oktober.
- Minnekroker der de finnes: «8-regelen» for · invers-parringen bak Wilson · «trekk fra multiplene» for · dominobrikkene for induksjon.
- Den kalde banken over er måleinstrumentet: elleve av fjorten punkt er godt, fjorten er målet.
(må sitte utenat — som vane, ikke som formel)
Samlet, i den rekkefølgen de oftest mistes:
1. Euklid baklengs (sjanger A, B, D) — og med den hele resten av delpunktet.
2. Hele løsningsmengden (A, B, C) — alle restklassene, -parametriseringen, perioden.
3. «Minste positive» når det spørres om — det siste kravet i oppgaveteksten, det første som glemmes.
4. -sjekken før Eulers teorem (E, D).
5. Wilson-fortegnene (E).
6. Fortegnsfaktoren i resiprositetsloven (F).
7. Basissteget i induksjon (J).
8. Den siste resten i en case-analyse (I).
9. Teoremnavnet (C, E, F, I) — det er der vilkåret bor.
Tidsprisen for alle ni til sammen: under to minutter per delpunkt. Det er hele regnestykket bak dette kapitlet.
(må sitte utenat — det er lista du går gjennom i kontrolltiden)
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Norges teknisk-naturvitenskapelige universitet. Dette er ikke offisielt studiemateriell. Les mer.