Komplett gjennomgang av pensum med forklaringer, formler, vanlige feil og eksamenstips.
Matematikk R1 er det første realfagsmatematikk-kurset på videregående (VG2), og bygger videre på 1T. R1 er langt mer teoretisk enn de andre matematikkfagene: du skal ikke bare regne, men også bevise, argumentere formelt og forstå hvorfor matematiske metoder fungerer.
Kurset dekker algebra med logaritmer og bevis (inkludert induksjon), vektorer i planet, avansert funksjonslære (polynomer, rasjonale og sammensatte funksjoner, kontinuitet), derivasjon med kjerneregel og produktregel (inkludert grenseverdier og ikke-deriverbare punkter), samt logistisk vekst.
Eksamen i R1 har to deler:
R1-eksamen skiller seg fra 1T ved at den legger stor vekt på formelle bevis, logisk argumentasjon og abstrakt tenkning. Du forventes å begrunne alle steg og bruke korrekt matematisk notasjon.
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