Gy25 • Motsvarar gamla Ma 5 • Högsta nivån

Matematik – fördjupningNivå 1 (Gy25)

Den högsta gemensamma nivån i gymnasiet. Proven ska mäta abstraktion, analys och generalisering.

Fokus i prov

Differentialekvationer

Ställa upp, lösa och tolka differentialekvationer

🔣

Logik och diskret matematik

Bevismetoder, kombinatorik och mängdlära

✍️

Generalisering och bevis

Induktionsbevis och motsägelsebevis

🧩

Djup problemlösning

Omfångsrika problem med fokus på analys

Kursinformation

Fördjupning nivå 1

MATF1000X

100 poäng • Motsvarar gamla Ma 5

Centralt innehåll – Fördjupning nivå 1 (MATF1000X)

Aritmetik, algebra och funktioner

  • Begreppet differentialekvation och exempel på tillämpningar. Verifiering av lösningar till differentialekvationer.
  • Strategier för att ställa upp och tolka differentialekvationer. Digitala metoder för att lösa differentialekvationer.
  • Metoder för att lösa enklare linjära differentialekvationer av första och andra ordningen för hand.

Centralt innehåll – Fördjupning nivå 1 (MATF1000X)

Logik och diskret matematik

  • Bevismetoder, däribland motsägelsebevis och induktionsbevis.
  • Representation av tal i olika talbaser.
  • Kongruens hos hela tal och metoder för kongruensräkning.
  • Begreppen permutation och kombination. Motivering och hantering av metoder för att bestämma antal permutationer och kombinationer.
  • Begreppet rekursion och rekursiva talföljder.
  • Begreppet mängd. Notationer i mängdlära och hantering av operationer på mängder.

Centralt innehåll – Fördjupning nivå 1 (MATF1000X)

Digitala verktyg

  • Användning av digitala verktyg, även symbolhanterande, för att effektivisera beräkningar och komplettera metoder, till exempel vid ekvationslösning, derivering, integrering, hantering av algebraiska uttryck och problemlösning.
  • Användning av programmering som verktyg vid problemlösning, databearbetning eller tillämpning av numeriska metoder.
🧩

Centralt innehåll – Fördjupning nivå 1 (MATF1000X)

Problemlösning och tillämpningsområden

  • Problemlösning med särskild utgångspunkt i utbildningens karaktär och samhällsliv.
  • Omfångsrika problemsituationer som är relevanta för utbildningens karaktär, däribland problem som fördjupar kunskaper om integraler och derivata.
  • Tillämpning och formulering av matematiska modeller i realistiska situationer. Utvärdering av matematiska modellers egenskaper och begränsningar.
  • Orientering om något ur matematikens historia, till exempel hur ett matematiskt begrepp utvecklats, matematikens roll i något historiskt skeende, en betydande person inom matematik eller ett historiskt matematiskt problem.

Matematik – fördjupning nivå 1 enligt Gy25 (MATF1000X)

Differentialekvationer, logik, bevismetoder och diskret matematik. Högsta gemensamma nivån.

📘 Kapitelstruktur – Matematik fördjupning nivå 1 (Gy25)

12 kapitel enligt centralt innehåll för MATF1000X

Kapitel 1 – Differentialekvationer: begrepp och modeller

Aritmetik, algebra och funktioner

  • Vad är en differentialekvation?
  • Differentialekvationer som modeller av förändring
  • Tolkning av lösningar: y=kyy=Cekxy' = ky \Rightarrow y = Ce^{kx}
  • Verifiering av lösningar
  • Exempel från fysik, biologi och samhälle

Exempeluppgifter

Uppgift: Verifiera att y=3e2xy = 3e^{2x} är lösning till y=2yy' = 2y

Svar: y=6e2x=23e2x=2yy' = 6e^{2x} = 2 \cdot 3e^{2x} = 2y

Uppgift: En population växer enligt P=0,1PP' = 0{,}1P. Tolka.

Svar: Populationen växer med 10% per tidsenhet. Exponentiell tillväxt.

Uppgift: Ställ upp differentialekvation: 'nedkylning proportionell mot temperaturskillnad'

Svar: Newtons avsvalningslag: T=k(TT0)T' = -k(T - T_0)

Progression

E: känna igen och verifiera lösning

C: tolka modell

A: resonera om modellens rimlighet

Kapitel 2 – Differentialekvationer: lösningsmetoder

🚨 Tröskelkapitel

Aritmetik, algebra och funktioner

  • Linjära differentialekvationer av första ordningen: y+p(x)y=q(x)y' + p(x)y = q(x)
  • Separabla ekvationer: dydx=f(x)g(y)\frac{dy}{dx} = f(x)g(y)
  • Differentialekvationer av andra ordningen: y+ay+by=0y'' + ay' + by = 0
  • Lösning för hand: karakteristisk ekvation
  • Stegvis metod och struktur
  • Kontroll av lösningar

Exempeluppgifter

Uppgift: Lös y=3yy' = 3y för hand

Svar: Separabel: dyy=3dxlny=3x+Cy=Ae3x\frac{dy}{y} = 3dx \Rightarrow \ln|y| = 3x + C \Rightarrow y = Ae^{3x}

Uppgift: Lös y5y+6y=0y'' - 5y' + 6y = 0

Svar: Karakteristisk ekv: r25r+6=0r=2,3r^2 - 5r + 6 = 0 \Rightarrow r = 2, 3. Lösning: y=C1e2x+C2e3xy = C_1e^{2x} + C_2e^{3x}

Uppgift: Lös y+4y=0y'' + 4y = 0

Svar: r2+4=0r=±2ir^2 + 4 = 0 \Rightarrow r = \pm 2i. Lösning: y=Acos2x+Bsin2xy = A\cos 2x + B\sin 2x

Progression

🚨 Formell tröskel – kräver säker algebraisk hantering

Kapitel 3 – Strategier & digitala metoder för differentialekvationer

Aritmetik, algebra och funktioner + Digitala verktyg

  • Uppställning av differentialekvation från text
  • Val av modell: exponentiell, logistisk, harmonisk
  • Numeriska lösningar: Eulers metod
  • Symbolhanterande verktyg (CAS)
  • Jämförelse: analytisk vs numerisk lösning

Exempeluppgifter

Uppgift: Använd Eulers metod för y=yy' = y, y(0)=1y(0) = 1, steg h=0,1h = 0{,}1

Svar: y1=1+0,11=1,1y_1 = 1 + 0{,}1 \cdot 1 = 1{,}1, y2=1,1+0,11,1=1,21y_2 = 1{,}1 + 0{,}1 \cdot 1{,}1 = 1{,}21, ...

Uppgift: Modellera: 'tillväxten avtar när populationen närmar sig 1000'

Svar: Logistisk: P=kP(1P1000)P' = kP(1 - \frac{P}{1000})

Uppgift: Lös y=xyy' = xy med CAS och verifiera

Svar: CAS ger y=Cex2/2y = Ce^{x^2/2}. Derivera: y=Cxex2/2=xyy' = Cxe^{x^2/2} = xy

Progression

Här testas metodval och analys, inte räknehastighet

Kapitel 4 – Bevismetoder och logik

🚨 A-avgörande

Logik och diskret matematik

  • Matematiska påståenden och satslogik
  • Direkt bevis
  • Motsägelsebevis (proof by contradiction)
  • Induktionsbevis
  • Struktur i matematiska argument

Exempeluppgifter

Uppgift: Visa med induktion att 1+2+...+n=n(n+1)21 + 2 + ... + n = \frac{n(n+1)}{2}

Svar: Basfall n=1n=1: 1=1221 = \frac{1 \cdot 2}{2} ✓. Antag sant för kk. Då (k+1)(k+1): k(k+1)2+(k+1)=(k+1)(k+2)2\frac{k(k+1)}{2} + (k+1) = \frac{(k+1)(k+2)}{2}

Uppgift: Visa med motsägelse att 2\sqrt{2} är irrationellt

Svar: Antag 2=pq\sqrt{2} = \frac{p}{q} förkortad. Då 2q2=p22q^2 = p^2pp jämn → p=2mp = 2mq2=2m2q^2 = 2m^2qq jämn. Motsägelse!

Uppgift: Bevisa: om n2n^2 är jämnt så är nn jämnt

Svar: Motsägelse: Antag nn udda, dvs n=2k+1n = 2k+1. Då n2=4k2+4k+1n^2 = 4k^2 + 4k + 1 udda. Motsäger att n2n^2 jämnt.

Progression

🚨 A-avgörande kapitel – bevisförmåga krävs för högsta betyg

Kapitel 5 – Diskret matematik: tal och strukturer

Logik och diskret matematik

  • Talbaser: binär, oktal, hexadecimal, generell bas
  • Representation och omvandling mellan baser
  • Kongruens hos heltal: ab(modn)a \equiv b \pmod{n}
  • Moduloräkning och egenskaper
  • Tillämpningar inom kodning och teknik

Exempeluppgifter

Uppgift: Omvandla 421042_{10} till binärt

Svar: 42=32+8+2=25+23+21=101010242 = 32 + 8 + 2 = 2^5 + 2^3 + 2^1 = 101010_2

Uppgift: Beräkna 1723(mod7)17 \cdot 23 \pmod{7}

Svar: 17317 \equiv 3, 232(mod7)23 \equiv 2 \pmod{7}. 32=66(mod7)3 \cdot 2 = 6 \equiv 6 \pmod{7}

Uppgift: Vad är 2100(mod5)2^{100} \pmod{5}?

Svar: 21=2,22=4,23=3,24=1(mod5)2^1=2, 2^2=4, 2^3=3, 2^4=1 \pmod{5}. Period 4. 100=425100 = 4 \cdot 25, så 21001(mod5)2^{100} \equiv 1 \pmod{5}

Progression

E: omvandla mellan baser

C: använda kongruens

A: generalisera mönster

Kapitel 6 – Kombinatorik och räknestrategier

Logik och diskret matematik

  • Permutationer: P(n,k)=n!(nk)!P(n,k) = \frac{n!}{(n-k)!}
  • Kombinationer: C(n,k)=(nk)=n!k!(nk)!C(n,k) = \binom{n}{k} = \frac{n!}{k!(n-k)!}
  • Val av metod: ordning spelar roll?
  • Motivering av formler
  • Praktiska och teoretiska problem

Exempeluppgifter

Uppgift: På hur många sätt kan 5 personer ställa sig i kö?

Svar: 5!=1205! = 120 sätt (permutation)

Uppgift: Välj 3 personer ur 10 till en kommitté

Svar: (103)=10!3!7!=120\binom{10}{3} = \frac{10!}{3! \cdot 7!} = 120 sätt

Uppgift: Härleda varför (nk)=(nnk)\binom{n}{k} = \binom{n}{n-k}

Svar: Att välja kk att ta med = att välja nkn-k att lämna. Symmetri i valet.

Progression

🧠 Fokus: varför metoder fungerar – motivera formler

Kapitel 7 – Rekursion och rekursiva talföljder

Logik och diskret matematik

  • Rekursiva definitioner
  • Enkla rekursionsrelationer: an=an1+da_n = a_{n-1} + d
  • Fibonacci: Fn=Fn1+Fn2F_n = F_{n-1} + F_{n-2}
  • Tolkning av rekursion
  • Samband mellan rekursion och funktioner
  • Problemlösning med rekursion

Exempeluppgifter

Uppgift: Skriv de 6 första Fibonacci-talen

Svar: 1,1,2,3,5,81, 1, 2, 3, 5, 8 (med F1=F2=1F_1 = F_2 = 1)

Uppgift: Lös an=2an1a_n = 2a_{n-1}, a1=3a_1 = 3

Svar: an=32n1a_n = 3 \cdot 2^{n-1} (geometrisk följd)

Uppgift: Hanoi-torn med nn skivor kräver minst hur många drag?

Svar: Tn=2Tn1+1T_n = 2T_{n-1} + 1, T1=1T_1 = 1. Lösning: Tn=2n1T_n = 2^n - 1

Progression

E: beräkna termer

C: identifiera mönster

A: härleda sluten formel

Kapitel 8 – Mängdlära och logisk struktur

Logik och diskret matematik

  • Begreppet mängd: A={1,2,3}A = \{1, 2, 3\}
  • Delmängder: BAB \subseteq A
  • Union: ABA \cup B
  • Snitt: ABA \cap B
  • Differens: ABA \setminus B
  • Mängdnotation och mängdlära som grund för bevis

Exempeluppgifter

Uppgift: Om A={1,2,3,4}A = \{1,2,3,4\} och B={3,4,5}B = \{3,4,5\}, bestäm ABA \cup B och ABA \cap B

Svar: AB={1,2,3,4,5}A \cup B = \{1,2,3,4,5\}, AB={3,4}A \cap B = \{3,4\}

Uppgift: Visa att AB=A+BAB|A \cup B| = |A| + |B| - |A \cap B|

Svar: Venndiagram: element i båda räknas dubbelt om vi adderar A+B|A| + |B|, korrigera med AB-|A \cap B|

Uppgift: Skriv {xZ:x2<10}\{x \in \mathbb{Z} : x^2 < 10\}

Svar: {3,2,1,0,1,2,3}\{-3, -2, -1, 0, 1, 2, 3\}

Progression

E: använda notation

C: utföra operationer

A: resonera med mängder i bevis

Kapitel 9 – Digitala verktyg & programmering i matematik

Digitala verktyg

  • Symbolhantering (CAS): Wolfram, GeoGebra
  • Effektiv algebraisk beräkning
  • Programmering för problemlösning
  • Numeriska metoder: Newton-Raphson, Euler
  • Databearbetning och analys

Exempeluppgifter

Uppgift: Använd CAS för att integrera x2exdx\int x^2 e^x dx

Svar: CAS: x2ex2xex+2ex+C=ex(x22x+2)+Cx^2 e^x - 2xe^x + 2e^x + C = e^x(x^2 - 2x + 2) + C

Uppgift: Newton-Raphson för x32=0x^3 - 2 = 0, starta x0=1x_0 = 1

Svar: x1=1123=43x_1 = 1 - \frac{1-2}{3} = \frac{4}{3}, x21,264x_2 \approx 1{,}264, ... → 231,26\sqrt[3]{2} \approx 1{,}26

Uppgift: Skriv pseudokod för att beräkna n!n!

Svar: result = 1; for i = 1 to n: result = result * i; return result

Progression

Fokus: komplettera – inte ersätta – matematiken

Kapitel 10 – Problemlösning och matematiska modeller

Problemlösning och tillämpningsområden

  • Modellering av realistiska situationer
  • Differentialekvationer i tillämpning
  • Optimering och analys
  • Begränsningar i modeller
  • Rimlighetsbedömning

Exempeluppgifter

Uppgift: Modellera koffeinutsöndring med halveringstid 5 timmar

Svar: C=kCC' = -kC med k=ln25k = \frac{\ln 2}{5}. Lösning: C=C0ektC = C_0 e^{-kt}

Uppgift: En sjö förorenas. Modellera utspädning vid konstant flöde.

Svar: VC=rCV \cdot C' = -r \cdot C där rr = flödeshastighet. Exponentiell minskning.

Uppgift: Diskutera begränsningar i exponentiell tillväxtmodell

Svar: Ignorerar resursbegränsning, konkurrens, miljöfaktorer. Realistiskare: logistisk modell.

Progression

E: använda given modell

C: ställa upp egen modell

A: utvärdera och jämföra modeller

Kapitel 11 – Omfångsrika problemsituationer

🚨 A-avgörande

Problemlösning och tillämpningsområden

  • Större sammanhängande problem
  • Flera metoder i kombination
  • Analys → slutsats
  • Redovisning med matematiskt språk
  • Problem som fördjupar derivata och integral

Exempeluppgifter

Uppgift: Analysera svängningsrörelse: y+ω2y=0y'' + \omega^2 y = 0 med begynnelsevillkor

Svar: Lösning y=Acos(ωt)+Bsin(ωt)y = A\cos(\omega t) + B\sin(\omega t). Bestäm A,BA, B från villkor. Tolka amplitud, period.

Uppgift: Optimera volym av cylinder inskriven i sfär med radie RR

Svar: Uttryck V=πr2hV = \pi r^2 h med bivillkor från sfär. Derivera, sätt =0= 0. Tolka resultat.

Uppgift: Kombinera derivata och integral för att analysera arean under en kurva

Svar: Visa att ddxaxf(t)dt=f(x)\frac{d}{dx}\int_a^x f(t)dt = f(x) – analysens huvudsats.

Progression

Liknar högskoleuppgifter – kräver helhetssyn

Kapitel 12 – Matematik i ett historiskt perspektiv

Problemlösning och tillämpningsområden

  • Utveckling av ett matematiskt begrepp
  • Historiska problem: Baselproblem, Fermats sista sats
  • Betydande matematiker: Euler, Gauss, Newton, Leibniz
  • Matematikens roll i samhällsutveckling
  • Koppling mellan historia och modern matematik

Exempeluppgifter

Uppgift: Beskriv konflikten Newton vs Leibniz om kalkylens uppfinnare

Svar: Oberoende utveckling 1660-70-tal. Newton: fluxioner, Leibniz: differentialer. Prioritetsstriden varade i årtionden.

Uppgift: Vad är Baselproblem och vem löste det?

Svar: Hitta n=11n2\sum_{n=1}^{\infty} \frac{1}{n^2}. Euler visade 1735 att svaret är π26\frac{\pi^2}{6}.

Uppgift: Hur bidrog kalkyl till fysikens utveckling?

Svar: Newton använde kalkyl för rörelselagar och gravitation. Möjliggjorde modern mekanik och astronomi.

Progression

📜 Bedöms främst genom resonemang och analys

🧭 Fullständig matchning mot centralt innehåll

Kapitelstrukturen täcker hela det centrala innehållet för MATF1000X

Centralt innehållKapitel
DifferentialekvationerKap 1–3
Logik & diskret matematikKap 4–8
Digitala verktygKap 3 & 9
Problemlösning & modelleringKap 10–11
Matematikens historiaKap 12

🔑 Nyckelkapitel för A-betyg

Kapitel 2

Diff.ekv lösningsmetoder – formell tröskel

Kapitel 4

Bevismetoder – A-avgörande

Kapitel 11

Omfångsrika problem – högskoleliknande

Centrala samband att behärska

Diff.ekv: y=kyy=Cekxy' = ky \Rightarrow y = Ce^{kx}

Induktion: Basfall + steg kk+1k \to k+1

Kombination: (nk)=n!k!(nk)!\binom{n}{k} = \frac{n!}{k!(n-k)!}

Kongruens: ab(modn)a \equiv b \pmod{n}

Högsta gemensamma nivån

Nivå 1a/1b/1c

Grundläggande

Fortsättning 1b/1c

Fördjupning

Fortsättning nivå 2

Avancerad

Fördjupning nivå 1

Du är här

Skapa prov i Matematik – fördjupning nivå 1

Prov med höga krav på abstraktion och analys – på några minuter.

Gy25-säkrade prov • Bevisuppgifter • PDF + facit

Uppdaterad för Gy25 och skolåret 2026.