Lær matematiske bevis og begrunnelser i R1 med 96 oppslag, moteksempler, logiske overganger, figurer, tabeller og eksempelbevis.
Faglig kvalitetssikret av lærere og toppstudenter · Følger læreplanen (LK20) · Sist oppdatert 2026-09-11
Lær å skille eksempel fra bevis, bruke implikasjon og ekvivalens korrekt, avkrefte påstander med moteksempler og skrive sensorvennlige begrunnelser i algebra, analyse, vektorer og modellering.
Utforsk 96 bevis → Åpne bevisverkstedet96 bevis og begrunnelser 8 R1-kapitler 7 visuelle argumentkart 18 FAQ-svar 01Finn kvantor, vilkår og nøyaktig konklusjon.
02Direkte, ekvivalens, motsigelse, moteksempel eller analyse.
03Hvert steg må støttes av en definisjon eller gyldig regel.
04Test vilkår, særtilfeller og om konklusjonen faktisk følger.
GrunnlagBevisverkstedLogiske overgangerVisuelle bevisKapitler96 oppslagEksempelbevisLogiske feilFAQ Matematisk grammatikkEt godt bevis er ikke bare en lang utregning. Det er en struktur der leseren kan se hva som er gitt, hvilken regel som brukes, og hvorfor konklusjonen følger.
PEn setning som kan være sann eller falsk. Et bevis må ha en presis påstand, ikke bare en løs idé.
Spør: Hva skal faktisk vises? ⇒Hvis premisset P gjelder, følger Q. Den omvendte retningen må bevises separat.
Spør: Gjelder overgangen bare én vei? ⇔Begge retninger er gyldige. Brukes bare når et steg kan reverseres uten tap eller tillegg.
Spør: Kan jeg gå trygt baklengs? ∄Ett gyldig eksempel som bryter konklusjonen, avkrefter en universell påstand.
Spør: Oppfyller eksemplet alle premissene? ∵En forklaring på hvorfor et steg er gyldig: definisjon, regel, fortegn, grafisk egenskap eller modellpremiss.
Spør: Hvilken regel bærer dette steget? ∴Siste linje skal svare direkte på påstanden og angi relevante vilkår.
Spør: Har jeg faktisk svart på oppgaven? Interaktivt argumentverkstedNavigatoren foreslår en argumenttype ut fra hva oppgaven ber om. Verktøyet er en veiviser; selve beviset må fortsatt dokumentere vilkår og overganger.
Velg oppgavetype og hvilken type konklusjon du skal nå.
Oppgaven ber deg … vise en generell regel løse eller omskrive ekvivalent avkrefte en påstand vise at løsningen er entydig begrunne fra graf eller modell Fagområde Potenser, røtter og logaritmer Grenseverdier og kontinuitet Derivasjon Bruk av derivasjon Omvendte funksjoner Vektorer og skalarprodukt Parameterframstillinger Modeller, vekst og reelle datasett Foreslått strategiStart med premissene, velg en kjent regel, og bygg en ubrutt kjede mot påstanden.
Ekvivalens, implikasjon, fortegn og definisjonsvilkår må brukes presist. Tabellen viser hva et steg tillater — og hva det ikke tillater.
| Overgang | Når gyldig | Hva den gir | Vanlig feil | Kontroll |
|---|---|---|---|---|
| P ⇒ Q | P er tilstrekkelig for Q | Én logisk retning | Å anta Q ⇒ P | Test om den omvendte påstanden trenger eget bevis |
| P ⇔ Q | Begge retninger er bevist | Samme sannhetsverdi og samme løsningsmengde | Å bruke ⇔ etter kvadrering uten kontroll | Gå baklengs gjennom steget |
| Multiplisere en ulikhet | Fortegnet til faktoren er kjent | Ekvivalent ulikhet; retningen snur ved negativ faktor | Å beholde retningen ved negativ faktor | Sjekk med et enkelt tall |
| Forkorte en faktor | Faktoren er ikke null, eller grensen gjelder et punktert nabolag | Forenklet uttrykk | Å forkorte et ledd i en sum | Multipliser tilbake |
| Ta logaritmen | Begge sider er positive | Ekvivalent likning for positivt grunntall | Å logaritmere en sum leddvis | Kontroller argumentene |
| Bruke graf | Aksene, vinduet og objektene er definert | Illustrasjon eller evidens | Å hevde universelt bevis fra skjermbilde | Suppler med algebra eller definisjon |
| Bruke regresjon | Data, område og residualer vurderes | Empirisk støtte | Å skrive at modellen er bevist | Oppgi gyldighetsområde og usikkerhet |
Signalordet er ikke nok alene, men det gir et godt første forslag til struktur.
| Signal i oppgaven | Typisk mål | Første metodevalg | Dokumentasjon |
|---|---|---|---|
| Vis at / bevis at | Generell påstand | Direkte bevis, definisjon eller motsigelse | Premiss → regel → konklusjon |
| Begrunn hvorfor | Forklare gyldighet | Definisjon, fortegn, graf eller modellpremiss | Navngi egenskapen som bærer steget |
| Avgjør om påstanden er sann | Bevise eller avkrefte | Forsøk direkte bevis; søk moteksempel ved tvil | Én fullstendig argumentretning |
| Vis at løsningen er entydig | Høyst én løsning | Monotoni, én-til-én eller motsigelse | Anta to løsninger og vis at de er like |
| Forklar ut fra grafen | Grafisk egenskap | Koble graf til definisjon | Oppgi akser, område og hva grafen støtter |
| Vurder modellen | Empirisk gyldighet | Residualer, parametre og gyldighetsområde | Skill støtte fra matematisk bevis |
| Kontroller svaret | Uavhengig verifikasjon | Innsetting, alternativ metode eller numerikk | Vis at kontrollen tester originalkravet |
| Finn alle | Fullstendighet | Ekvivalens + kasusdeling | Vis både at kandidatene virker og at ingen mangler |
Figurene er laget for å forklare argumentet, ikke bare dekorere siden. Hver visualisering kobles til et eksplisitt matematisk vilkår.
Én pil gir én retning. To beviste retninger gir ekvivalens.
Bruk ⇔ bare når hvert steg kan reverseres uten at løsningsmengden endres.Grafen til |x| viser hvorfor kontinuitet ikke er nok.
Moteksemplet oppfyller premisset, men bryter konklusjonen.f′ går fra positiv til negativ; derfor vokser grafen før punktet og avtar etterpå.
Likningen f′=0 gir bare kandidater. Fortegnsskiftet gir begrunnelsen.Koordinatene byttes, og grafene speiles om y=x.
Figuren må kombineres med én-til-én-egenskapen for at inversen skal være en funksjon.En vektor deles i parallell komponent og vinkelrett rest.
Kontrollen er at restvektorens skalarprodukt med retningen blir 0.Et systematisk mønster viser at modellen ikke fanger all struktur.
Residualer gir empirisk evidens om modellkvalitet, ikke et matematisk sannhetsbevis. R1-dekningHvert kapittel har tolv oppslag som dekker definisjoner, regler, feil, kontroller og fullstendig dokumentasjon.
01 Algebraiske identiteter Potenser, røtter og logaritmer 12 oppslag 02 Grenser og gyldighet Grenseverdier og kontinuitet 12 oppslag 03 Fra definisjon til regel Derivasjon 12 oppslag 04 Egenskaper og optimalisering Bruk av derivasjon 12 oppslag 05 Invers logikk Omvendte funksjoner 12 oppslag 06 Geometriske argumenter Vektorer og skalarprodukt 12 oppslag 07 Linjer og bevegelse Parameterframstillinger 12 oppslag 08 Modellkritikk og evidens Modeller, vekst og reelle datasett 12 oppslag Søkbar bevisbankSøk etter påstand, metode, symbol, kapittel eller vanlig feil. Kjerneinnholdet er synlig uten JavaScript; filtrene er progressive forbedringer.
Alle kapitler Potenser, røtter og logaritmer Grenseverdier og kontinuitet Derivasjon Bruk av derivasjon Omvendte funksjoner Vektorer og skalarprodukt Parameterframstillinger Modeller, vekst og reelle datasett Alle argumenttyper Definisjonsbevis Direkte bevis Ekvivalenskjede Motsigelsesargument Moteksempel Grafisk begrunnelse Analytisk begrunnelse Eksistens og entydighet Vektorbevis Modellkritisk argument Ulikhetsargument Numerisk kontroll Alle nivåer Kjerne Anvendelse UtvidelseViser 96 av 96 oppslag
01 Ekvivalenskjede KjernePremisser: a ≠ 0 og potensreglene gjelder …