God oversikt over pensum med forklaringer, formler, vanlige feil og eksamenstips.
Matematikk R1 er det første realfagsmatematikk-kurset på videregående (VG2) og følger LK20-læreplanen MAT03-02 (fagkode REA3056). Faget har 12 kompetansemål som dekker derivasjon (geometrisk, algebraisk, numerisk), grenseverdier og kontinuitet, potenser og logaritmer, eksponentiell og logistisk vekst med reelle datasett, omvendte funksjoner, parameterframstillinger til linjer, vektorer i planet, samt programmering som eksplisitt LK20-kompetansemål.
Eksamen i R1 har to deler — totalt 5 timer:
R1-eksamen tester både tekniske ferdigheter (derivasjon, log-regler, vektorer) og logisk resonnement (kontinuitet/deriverbarhet, sann/usann-argumentasjon). Programmering er eksplisitt LK20-KM — øv systematisk på Python for derivasjon og halveringsmetoden.
Bevismetoder (direkte bevis, indirekte bevis, kontrapositivt bevis, induksjon), logikk (implikasjon, ekvivalens, negasjon, kvantorer), binomialteoremet og Pascals trekant.
I R1 skal du kunne føre formelle matematiske bevis. Det finnes flere bevismetoder, og du må velge den som passer best for den aktuelle påstanden.
Vi starter med premissene og bruker logiske steg for å utlede konklusjonen.
Direkte bevis — fremgangsmåte:
1. Start med antagelsen (det du vet er sant).
2. Bruk definisjoner, aksiomer og kjente resultater til å utlede nye utsagn.
3. Fortsett til du når konklusjonen.
Eksempel: Vis at summen av to partall er et partall.
La og for heltall og . Da er , som er delelig med . Altså er et partall.
Vi antar at det vi vil vise er usant, og viser at dette fører til en logisk selvmotsigelse.
Bevis ved selvmotsigelse:
1. Anta det motsatte av påstanden (negasjonen).
2. Utled logiske konsekvenser av denne antagelsen.
3. Vis at vi når en selvmotsigelse (noe som er umulig).
4. Konkluder at antagelsen var feil — altså er påstanden sann.
Eksempel: Vis at er irrasjonal.
Anta at der og er heltall uten felles faktorer. Da er , dvs. . Da er partall, som betyr at er partall: . Sett inn: . Da er også partall. Men da har og felles faktor — selvmotsigelse! Altså er irrasjonal.
For å bevise «hvis , så », beviser vi i stedet «hvis ikke , så ikke ». Disse er logisk ekvivalente.
Kontrapositiv:
er logisk ekvivalent med .
Eksempel: Vis at hvis er odde, så er odde.
Kontrapositiv: Vis at hvis er partall, så er partall. La . Da er , som er partall.
Induksjon brukes til å bevise påstander som gjelder for alle naturlige tall .
Induksjonsbevis — to steg:
Basissteg: Vis at påstanden er sann (vanligvis ).
Induksjonssteg: Anta at er sann for en vilkårlig (induksjonsantagelsen, IH). Vis at da også er sann.
Konklusjon: gjelder for alle .
Eksempel: Vis at for alle .
Basissteg: : Venstre side . Høyre side . ✓
Induksjonssteg: Anta at (IH). Vi skal vise at .
✓
Ved induksjonsprinsippet gjelder formelen for alle .
Logiske konnektiver:
— konjunksjon (og): sann når begge er sanne
— disjunksjon (eller): sann når minst én er sann
— negasjon (ikke): sann når er usann
— implikasjon (hvis ... så): usann bare når er sann og er usann
— ekvivalens (hvis og bare hvis): sann når og har samme sannhetsverdi
Kvantorer:
: «for alle » (universell kvantor)
: «det finnes en » (eksistensiell kvantor)
Negasjonsregler:
Binomialkoeffisient:
Binomialteoremet:
Pascals regel:
Eksempel: Utvid .
Summetegn:
Produkttegn:
Fakultet: , med
Nøkkelformler
Vanlige feil
Eksamenstips
Laster...