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.

Skapa prov i Matematik – fördjupning nivå 1

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' = ky \Rightarrow y = Ce^{kx}$
Verifiering av lösningar
Exempel från fysik, biologi och samhälle

Exempeluppgifter

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

Svar: $y' = 6e^{2x} = 2 \cdot 3e^{2x} = 2y$

Uppgift: En population växer enligt $P' = 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(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)$
Separabla ekvationer: $\frac{dy}{dx} = f(x)g(y)$
Differentialekvationer av andra ordningen: $y'' + ay' + by = 0$
Lösning för hand: karakteristisk ekvation
Stegvis metod och struktur
Kontroll av lösningar

Exempeluppgifter

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

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

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

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

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

Svar: $r^2 + 4 = 0 \Rightarrow r = \pm 2i$ . Lösning: $y = 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' = y$ , $y(0) = 1$ , steg $h = 0{,}1$

Svar: $y_1 = 1 + 0{,}1 \cdot 1 = 1{,}1$ , $y_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(1 - \frac{P}{1000})$

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

Svar: CAS ger $y = Ce^{x^2/2}$ . Derivera: $y' = 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 = \frac{n(n+1)}{2}$

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

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

Svar: Antag $\sqrt{2} = \frac{p}{q}$ förkortad. Då $2q^2 = p^2$ → $p$ jämn → $p = 2m$ → $q^2 = 2m^2$ → $q$ jämn. Motsägelse!

Uppgift: Bevisa: om $n^2$ är jämnt så är $n$ jämnt

Svar: Motsägelse: Antag $n$ udda, dvs $n = 2k+1$ . Då $n^2 = 4k^2 + 4k + 1$ udda. Motsäger att $n^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: $a \equiv b \pmod{n}$
Moduloräkning och egenskaper
Tillämpningar inom kodning och teknik

Exempeluppgifter

Uppgift: Omvandla $42_{10}$ till binärt

Svar: $42 = 32 + 8 + 2 = 2^5 + 2^3 + 2^1 = 101010_2$

Uppgift: Beräkna $17 \cdot 23 \pmod{7}$

Svar: $17 \equiv 3$ , $23 \equiv 2 \pmod{7}$ . $3 \cdot 2 = 6 \equiv 6 \pmod{7}$

Uppgift: Vad är $2^{100} \pmod{5}$ ?

Svar: $2^1=2, 2^2=4, 2^3=3, 2^4=1 \pmod{5}$ . Period 4. $100 = 4 \cdot 25$ , så $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) = \frac{n!}{(n-k)!}$
Kombinationer: $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! = 120$ sätt (permutation)

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

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

Uppgift: Härleda varför $\binom{n}{k} = \binom{n}{n-k}$

Svar: Att välja $k$ att ta med = att välja $n-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: $a_n = a_{n-1} + d$
Fibonacci: $F_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, 8$ (med $F_1 = F_2 = 1$ )

Uppgift: Lös $a_n = 2a_{n-1}$ , $a_1 = 3$

Svar: $a_n = 3 \cdot 2^{n-1}$ (geometrisk följd)

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

Svar: $T_n = 2T_{n-1} + 1$ , $T_1 = 1$ . Lösning: $T_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\}$
Delmängder: $B \subseteq A$
Union: $A \cup B$
Snitt: $A \cap B$
Differens: $A \setminus B$
Mängdnotation och mängdlära som grund för bevis

Exempeluppgifter

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

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

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

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

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

Svar: $\{-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 $\int x^2 e^x dx$

Svar: CAS: $x^2 e^x - 2xe^x + 2e^x + C = e^x(x^2 - 2x + 2) + C$

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

Svar: $x_1 = 1 - \frac{1-2}{3} = \frac{4}{3}$ , $x_2 \approx 1{,}264$ , ... → $\sqrt[3]{2} \approx 1{,}26$

Uppgift: Skriv pseudokod för att beräkna $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' = -kC$ med $k = \frac{\ln 2}{5}$ . Lösning: $C = C_0 e^{-kt}$

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

Svar: $V \cdot C' = -r \cdot C$ där $r$ = 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'' + \omega^2 y = 0$ med begynnelsevillkor

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

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

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

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

Svar: Visa att $\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 $\sum_{n=1}^{\infty} \frac{1}{n^2}$ . Euler visade 1735 att svaret är $\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åll	Kapitel
Differentialekvationer	Kap 1–3
Logik & diskret matematik	Kap 4–8
Digitala verktyg	Kap 3 & 9
Problemlösning & modellering	Kap 10–11
Matematikens historia	Kap 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' = ky \Rightarrow y = Ce^{kx}$

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

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

Kongruens: $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.

Skapa prov nu

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

Uppdaterad för Gy25 och skolåret 2026.

Matematik – fördjupningNivå 1 (Gy25)

Fokus i prov

Differentialekvationer

Logik och diskret matematik

Generalisering och bevis

Djup problemlösning

Kursinformation

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

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

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

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

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

Kapitel 1 – Differentialekvationer: begrepp och modeller

Kapitel 2 – Differentialekvationer: lösningsmetoder

Kapitel 3 – Strategier & digitala metoder för differentialekvationer

Kapitel 4 – Bevismetoder och logik

Kapitel 5 – Diskret matematik: tal och strukturer

Kapitel 6 – Kombinatorik och räknestrategier

Kapitel 7 – Rekursion och rekursiva talföljder

Kapitel 8 – Mängdlära och logisk struktur

Kapitel 9 – Digitala verktyg & programmering i matematik

Kapitel 10 – Problemlösning och matematiska modeller

Kapitel 11 – Omfångsrika problemsituationer

Kapitel 12 – Matematik i ett historiskt perspektiv

Fullständig matchning mot centralt innehåll

Nyckelkapitel för A-betyg

Centrala samband att behärska

Högsta gemensamma nivån

Vill du specialisera dig ytterligare?

Matematik – specialisering B →

Matematik – specialisering C →

← Tillbaka till översikten

Skapa prov i Matematik – fördjupning nivå 1