Tolkning: Punktet ligger på flaten fordi innsetting gir null.
Digital kontroll i Python (SymPy)
Python 3.12 / SymPy - kjørt kontroll
fromsympyimportsymbols,simplifyx,y,z=symbols('x y z',real=True)expr=x**2-2*x+y**2+6*y+z**2-4*z-11value=expr.subs({x:4,y:1,z:2})print("Kuleuttrykk =",expr)print("Verdi i P(4,1,2) =",value)print("P ligger pa kuleflaten =",value==0)assertsimplify(value)==0
Utskrift
Kuleuttrykk = x**2 - 2*x + y**2 + 6*y + z**2 - 4*z - 11
Verdi i P(4,1,2) = 0
P ligger pa kuleflaten = True
Fasit: Punktet \(P(4,1,2)\) ligger på kuleflaten.
Vanlig feil: Å glemme konstantleddet \(-11\) ved innsetting.
Sensorpunkt: Sensor ser etter full innsetting og konklusjonen \(0=0\).
Del 1 · Oppgave 5bFullstendige kvadrater
Oppgave 5b
Oppgave: Bestem sentrum og radius til kulen \(x^2-2x+y^2+6y+z^2-4z-11=0\).
Vis løsning
Hva spør oppgaven om? Vi fullfører kvadratet i x-, y- og z-leddene for å skrive likningen på standardform.
Steg 1 - Fullfør kvadratet i x
\[x^2-2x=(x-1)^2-1\]
Steg 2 - Fullfør kvadratet i y
\[y^2+6y=(y+3)^2-9\]
Steg 3 - Fullfør kvadratet i z
\[z^2-4z=(z-2)^2-4\]
Steg 4 - Sett inn i likningen
\[(x-1)^2-1+(y+3)^2-9+(z-2)^2-4-11=0\]
Steg 5 - Samle konstantene
\[(x-1)^2+(y+3)^2+(z-2)^2=25\]
Steg 6 - Les av sentrum og radius
\[S=(1,-3,2),\qquad r=\sqrt{25}=5\]
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1CompleteSquare(x^2-2x+y^2+6y+z^2-4z-11)
Resultat: \((x-1)^2+(y+3)^2+(z-2)^2=25\)
Tolkning: Standardformen gir sentrum og radius direkte.
En normalvektor til tangentplanet er derfor \(\mathbf n=(3,4,0)\).
Steg 4 - Bruk punkt-normal-formen
\[3(x-4)+4(y-1)+0(z-2)=0\]
Steg 5 - Utvid
\[3x-12+4y-4=0\]
Steg 6 - Skriv standardform
\[3x+4y-16=0\]
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1Plane(P, Vector((3,4,0)))
Resultat: \(3x+4y-16=0\)
Tolkning: Normalvektoren er radiusvektoren til berøringspunktet.
Digital kontroll i Python (SymPy)
Python 3.12 / SymPy - kjørt kontroll
fromsympyimportsymbols,expand,simplifyx,y,z=symbols('x y z',real=True)S=(1,-3,2)P=(4,1,2)normal=tuple(P[i]-S[i]foriinrange(3))plane=normal[0]*(x-P[0])+normal[1]*(y-P[1])+normal[2]*(z-P[2])print("Radiusvektor SP =",normal)print("Punkt-normal-form =",plane)print("Utvidet planuttrykk =",expand(plane))print("P ligger i planet =",simplify(plane.subs({x:4,y:1,z:2}))==0)assertexpand(plane)==3*x+4*y-16
Utskrift
Radiusvektor SP = (3, 4, 0)
Punkt-normal-form = 3*x + 4*y - 16
Utvidet planuttrykk = 3*x + 4*y - 16
P ligger i planet = True
Fasit: Et tangentplan er \(3x+4y-16=0\).
Vanlig feil: Å bruke \(\overrightarrow{PS}\) uten å være konsekvent med fortegnet i planlikningen.
Sensorpunkt: Sensor ser etter radiusvektor som normal og korrekt punktinnsetting.
Del 1 · Oppgave 6aTrigonometriske identiteter
Oppgave 6a
Oppgave: Bruk addisjonsformlene til å uttrykke \(\sin(2x)\) og \(\cos(2x)\) ved \(\sin x\) og \(\cos x\).
Vis løsning
Hva spør oppgaven om? Vi setter \(u=x\) og \(v=x\) i de oppgitte addisjonsformlene.
Steg 1 - Start med sinusformelen
\[\sin(u+v)=\sin u\cos v+\cos u\sin v\]
Steg 2 - Sett u=v=x
\[\sin(2x)=\sin x\cos x+\cos x\sin x\]
Steg 3 - Samle like ledd
\[\sin(2x)=2\sin x\cos x\]
Steg 4 - Start med cosinusformelen
\[\cos(u+v)=\cos u\cos v-\sin u\sin v\]
Steg 5 - Sett u=v=x
\[\cos(2x)=\cos^2x-\sin^2x\]
Steg 6 - Oppsummer
Begge dobbeltvinkelformlene er utledet direkte fra addisjonsformlene.
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1TrigExpand(sin(2x))
2TrigExpand(cos(2x))
Resultat: \(2\sin x\cos x\) og \(\cos^2x-\sin^2x\)
Tolkning: CAS bekrefter de to dobbeltvinkelformlene.
fromsympyimportMatrixAB=Matrix([1,-5,6])AC=Matrix([-3,1,3])cross=AB.cross(AC)print("AB =",tuple(AB))print("AC =",tuple(AC))print("AB x AC =",tuple(cross))print("Ortogonal mot AB =",cross.dot(AB))print("Ortogonal mot AC =",cross.dot(AC))assertcross==Matrix([-21,-21,-14])
Utskrift
AB = (1, -5, 6)
AC = (-3, 1, 3)
AB x AC = (-21, -21, -14)
Ortogonal mot AB = 0
Ortogonal mot AC = 0
Hvis vektorene var parallelle, matte samme tall \(k\) oppfylle \(\overrightarrow{AC}=k\overrightarrow{AB}\).
Steg 3 - Sammenlign første komponent
\[-3=k\cdot1\quad\Longrightarrow\quad k=-3\]
Steg 4 - Kontroller andre komponent
\[1\ne(-3)(-5)=15\]
Steg 5 - Bruk alternativ kontroll
Fra del a er vektorproduktet ikke null.
Steg 6 - Konkluder
Vektorene er ikke parallelle, derfor ligger C ikke på linjen gjennom A og B.
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1AreParallel((1,-5,6),(-3,1,3))
Resultat: \(false\)
Tolkning: Ikke-null vektorprodukt viser at vektorene ikke er parallelle.
Digital kontroll i Python (SymPy)
Python 3.12 / SymPy - kjørt kontroll
fromsympyimportMatrixAB=Matrix([1,-5,6])AC=Matrix([-3,1,3])cross=AB.cross(AC)print("AB =",tuple(AB))print("AC =",tuple(AC))print("Vektorprodukt =",tuple(cross))print("Er vektorproduktet null?",cross==Matrix([0,0,0]))print("C ligger pa linjen AB =",cross==Matrix([0,0,0]))assertcross!=Matrix([0,0,0])
Utskrift
AB = (1, -5, 6)
AC = (-3, 1, 3)
Vektorprodukt = (-21, -21, -14)
Er vektorproduktet null? False
C ligger pa linjen AB = False
Fasit: C ligger ikke på linjen gjennom A og B.
Vanlig feil: Å sammenligne bare én komponent og anta at vektorene er parallelle.
Sensorpunkt: Sensor ser etter en gyldig parallellitetskontroll og en tydelig konklusjon.
Del 1 · Oppgave 7cPlanlikning
Oppgave 7c
Oppgave: Bestem en likning for planet \(\alpha\) gjennom \(A\), \(B\) og \(C\).
Vis løsning
Hva spør oppgaven om? Vektorproduktet fra del a er normalt på planet. Vi kan forkorte normalvektoren og bruke punkt-normal-formen.
Steg 1 - Velg normalvektor
Fra del a er en normalvektor \((-21,-21,-14)\). Divider med \(-7\):
\[\mathbf n=(3,3,2)\]
Steg 2 - Bruk punktet A
\[3(x-1)+3(y-2)+2(z+2)=0\]
Steg 3 - Multipliser ut
\[3x-3+3y-6+2z+4=0\]
Steg 4 - Samle konstantleddene
\[3x+3y+2z-5=0\]
Steg 5 - Kontroller B
\[3\cdot2+3(-3)+2\cdot4-5=0\]
Steg 6 - Kontroller C
\[3(-2)+3\cdot3+2\cdot1-5=0\]
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1Plane((1,2,-2),(3,3,2))
Resultat: \(3x+3y+2z-5=0\)
Tolkning: Både B og C oppfyller planlikningen.
Digital kontroll i Python (SymPy)
Python 3.12 / SymPy - kjørt kontroll
fromsympyimportsymbols,simplifyx,y,z=symbols('x y z',real=True)plane=3*x+3*y+2*z-5A={x:1,y:2,z:-2}B={x:2,y:-3,z:4}C={x:-2,y:3,z:1}print("Planuttrykk =",plane)print("Verdi i A =",plane.subs(A))print("Verdi i B =",plane.subs(B))print("Verdi i C =",plane.subs(C))assertall(simplify(plane.subs(P))==0forPin(A,B,C))
Utskrift
Planuttrykk = 3*x + 3*y + 2*z - 5
Verdi i A = 0
Verdi i B = 0
Verdi i C = 0
Fasit: \(\alpha:3x+3y+2z-5=0\).
Vanlig feil: Å bruke en retningsvektor i planet som normalvektor.
Sensorpunkt: Sensor ser etter normalvektor fra vektorproduktet og kontroll av punktene.
Del 1 · Oppgave 7dPunkt i plan
Oppgave 7d
Oppgave: Avgjør om punktet \(D(2,2,3)\) ligger i \(\alpha\).
Vis løsning
Hva spør oppgaven om? Vi setter koordinatene til D inn i planlikningen fra del c.
Steg 1 - Bruk planlikningen
\[3x+3y+2z-5=0\]
Steg 2 - Sett inn D
\[3\cdot2+3\cdot2+2\cdot3-5\]
Steg 3 - Regn hvert bidrag
\[6+6+6-5\]
Steg 4 - Finn verdien
\[6+6+6-5=13\]
Steg 5 - Sammenlign med null
\[13\ne0\]
Steg 6 - Konkluder
D oppfyller ikke likningen og ligger derfor ikke i planet.
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1Substitute(3x+3y+2z-5,{x=2,y=2,z=3})
Resultat: \(13\)
Tolkning: Verdien er ikke null, så punktet ligger utenfor planet.
Digital kontroll i Python (SymPy)
Python 3.12 / SymPy - kjørt kontroll
fromsympyimportsymbolsx,y,z=symbols('x y z',real=True)plane=3*x+3*y+2*z-5value=plane.subs({x:2,y:2,z:3})print("Planuttrykk =",plane)print("Verdi i D(2,2,3) =",value)print("D ligger i planet =",value==0)assertvalue==13
Utskrift
Planuttrykk = 3*x + 3*y + 2*z - 5
Verdi i D(2,2,3) = 13
D ligger i planet = False
Fasit: Punktet D ligger ikke i \(\alpha\).
Vanlig feil: Å konkludere at et punkt ligger i planet uten å kreve at innsettingen gir nøyaktig null.
Sensorpunkt: Sensor ser etter innsetting og korrekt ja/nei-konklusjon.
Del 1 · Oppgave 8Separerbar differensiallikning
Oppgave 8
Oppgave: Løs differensiallikningen \(y^2y\prime=x\), der \(y(0)=2\).
Vis løsning
Hva spør oppgaven om? Likningen er separerbar. Vi samler y-ledd med dy og x-ledd med dx, integrerer og bruker initialbetingelsen.
Grunntrinn og induksjonssteg er vist. Påstanden gjelder derfor for alle \(n\in\mathbb N\).
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1Factor(k^2(k+1)^2/4 + (k+1)^3)
Resultat: \(\frac{(k+1)^2(k+2)^2}{4}\)
Tolkning: CAS bekrefter den kritiske faktoriseringen i induksjonssteget.
Digital kontroll i Python (SymPy)
Python 3.12 / SymPy - kjørt kontroll
fromsympyimportsymbols,factor,simplifyk=symbols('k',integer=True,positive=True)hypothesis=k**2*(k+1)**2/4next_sum=hypothesis+(k+1)**3target=(k+1)**2*(k+2)**2/4print("Hypotesens sum =",hypothesis)print("Etter tillegg av (k+1)^3 =",next_sum)print("Faktorisert =",factor(next_sum))print("Mal for k+1 =",target)print("Differanse =",simplify(next_sum-target))assertsimplify(next_sum-target)==0
Utskrift
Hypotesens sum = k**2*(k + 1)**2/4
Etter tillegg av (k+1)^3 = k**2*(k + 1)**2/4 + (k + 1)**3
Faktorisert = (k + 1)**2*(k + 2)**2/4
Mal for k+1 = (k + 1)**2*(k + 2)**2/4
Differanse = 0
Fasit: Påstanden er bevist ved induksjon.
Vanlig feil: Å hoppe direkte fra hypotesen til sluttformen uten å vise faktoriseringen.
Sensorpunkt: Sensor ser spesielt etter grunntrinn, tydelig hypotese og et komplett induksjonssteg.
Del 2 - med hjelpemidler
Del 2 · Oppgave 1aGraftegning
Oppgave 1a
Oppgave: Funksjonen er \(f(x)=5e^{-x/3}\sin(2x)\), \(x\in[0,\infty)\). Bruk graftegner til å tegne grafen for \(x\in[0,3\pi]\).
Vis løsningGraf av f(x)=5e^{-x/3}sin(2x) på [0,3pi].
Hva spør oppgaven om? Vi skal tegne en dempet sinuskurve. Faktoren \(e^{-x/3}\) gir en avtakende amplitude.
Steg 1 - Definer funksjonen
\[f(x)=5e^{-x/3}\sin(2x)\]
Steg 2 - Finn startverdien
\[f(0)=0\]
Steg 3 - Finn perioden til sinusdelen
\(\sin(2x)\) har periode \(\pi\).
Steg 4 - Beskriv konvolutten
\[-5e^{-x/3}\le f(x)\le5e^{-x/3}\]
Steg 5 - Velg vindu
Bruk \(0\le x\le3\pi\), for eksempel \(-4\le y\le5\).
Steg 6 - Tolk grafen
Grafen oscillerer rundt x-aksen, mens topp- og bunnverdiene nærmer seg 0.
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1f(x):=5 exp(-x/3) sin(2x)
2Function(f,0,3 pi)
Resultat: En dempet sinusgraf på \([0,3\pi]\)
Tolkning: Grafen viser seks halvbølger med avtakende amplitude.
fromsympyimportsymbols,pin=symbols('n',integer=True)zeros=[k*pi/2forkinrange(7)]print("Generell losning: x = n*pi/2")print("Tillatte n-verdier:",list(range(7)))print("Nullpunkter i [0, 3*pi]:")forzinzeros:print(z)assertzeros[0]==0andzeros[-1]==3*pi
Utskrift
Generell losning: x = n*pi/2
Tillatte n-verdier: [0, 1, 2, 3, 4, 5, 6]
Nullpunkter i [0, 3*pi]:
0
pi/2
pi
3*pi/2
2*pi
5*pi/2
3*pi
Fasit: Nullpunktene er \(0,\frac\pi2,\pi,\frac{3\pi}{2},2\pi,\frac{5\pi}{2},3\pi\).
Vanlig feil: Å sette eksponentialfaktoren lik null.
Sensorpunkt: Sensor ser etter generell sinusløsning og korrekt avgrensning til intervallet.
Del 2 · Oppgave 1cEkstrempunkter
Oppgave 1c
Oppgave: Bestem topp- og bunnpunktene på grafen til \(f\) i intervallet \(\langle0,3\pi\rangle\).
Vis løsning
Hva spør oppgaven om? Vi deriverer funksjonen, løser \(f\prime(x)=0\) og klassifiserer punktene etter fortegnet til funksjonsverdien.
Partall k gir topppunkter og oddetall k gir bunnpunkter. Numerisk blir punktene: topp: \((0.703,3.902)\), \((3.844,1.369)\), \((6.986,0.480)\) bunn: \((2.274,-2.311)\), \((5.415,-0.811)\), \((8.557,-0.285)\).
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1Extremum(5 exp(-x/3) sin(2x),0,3 pi)
Resultat: Seks ekstrempunkter
Tolkning: CAS bekrefter tre toppunkter og tre bunnpunkter i det åpne intervallet.
Utskrift
f'(x) = -5*exp(-x/3)*sin(2*x)/3 + 10*exp(-x/3)*cos(2*x)
alpha = atan(6)
topp x = 0.70282383 y = 3.9019008
bunn x = 2.2736202 y = -2.3114269
topp x = 3.8444165 y = 1.3692543
bunn x = 5.4152128 y = -0.81112548
topp x = 6.9860091 y = 0.48049845
bunn x = 8.5568055 y = -0.28464000
Fasit: Topp- og bunnpunktene er de seks punktene listet ovenfor.
Vanlig feil: Å løse \( an(2x)=6\) uten å dele vinkelen med 2, eller å glemme periodiske løsninger.
Sensorpunkt: Sensor ser etter derivert, generell løsning, intervallkontroll og klassifisering.
Del 2 · Oppgave 1dAreal med bestemt integral
Oppgave 1d
Oppgave: Bestem arealet begrenset av grafen til \(f\) og x-aksen mellom \(x=0\) og \(x=\pi/2\).
Vis løsning
Hva spør oppgaven om? På intervallet er \(\sin(2x)\ge0\), så arealet er det bestemte integralet av f uten absoluttverdi.
Steg 1 - Kontroller fortegnet
Når \(0\le x\le\pi/2\), er \(0\le2x\le\pi\), derfor er \(f(x)\ge0\).
Vanlig feil: Å bruke sumformelen uten å kontrollere \(|q|<1\).
Sensorpunkt: Sensor ser etter eksplisitt konvergensbegrunnelse og korrekt sumformel.
Del 2 · Oppgave 4Linje og kule
Oppgave 4
Oppgave: Kulen K har sentrum \(S(-1,0,1)\) og radius \(\sqrt{21}\). Linjen \(\ell\) går gjennom \(A(7,-2,5)\) og \(B(15,-4,9)\). Bestem skjæringspunktene.
Vis løsningLinjen skjærer kulen i to punkter.
Hva spør oppgaven om? Vi parametriserer linjen, setter den inn i kulelikningen og løser den resulterende andregradslikningen.
Fasit: Skjæringspunktene er \((-5,1,-1)\) og \((3,-1,3)\).
Vanlig feil: Å bruke retningsvektoren som et punkt eller å glemme å kontrollere begge røttene.
Sensorpunkt: Sensor ser etter parameterframstilling, andregradslikning og begge koordinatpunktene.
Del 2 · Oppgave 5aAndregradsformelen og rotorden
Oppgave 5a
Oppgave: Funksjonen er \(f(x)=ax^2+bx+c\), der \(a<0\) og \(c>0\). Forklar at grafen skjærer x-aksen i de oppgitte punktene P og Q, der P ligger til venstre for Q.
Vis løsningSkjematisk figur med røttene P og Q og toppunktet R.
Hva spør oppgaven om? Vi bruker andregradsformelen og fortegnet til nevneren for å forklare både røttene og rekkefølgen.
Steg 1 - Sett f lik null
\[ax^2+bx+c=0\]
Steg 2 - Bruk andregradsformelen
\[x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}\]
Steg 3 - Kontroller diskriminanten
Siden \(a<0\) og \(c>0\), er \(-4ac>0\), så \(b^2-4ac>0\). Det finnes to reelle røtter.
Telleren med pluss er størst, men nevneren \(2a\) er negativ. Ulikheten snur derfor ved divisjon.
Steg 6 - Konkluder
x-koordinaten til P er mindre enn x-koordinaten til Q, så P ligger til venstre.
Digital kontroll i GeoGebra/CAS
GGeoGebra / CAS
1Solve(a x^2+b x+c=0,x)
Resultat: \(x=(-b\pm\sqrt{b^2-4ac})/(2a)\)
Tolkning: CAS gir de to røttene; fortegnet til a bestemmer rekkefølgen.
Digital kontroll i Python (SymPy)
Python 3.12 / SymPy - kjørt kontroll
fromsympyimportsymbols,solve,sqrt,simplifya,b,c,x=symbols('a b c x',real=True)D=b**2-4*a*croots=solve(a*x**2+b*x+c,x)xP=(-b+sqrt(D))/(2*a)xQ=(-b-sqrt(D))/(2*a)print("Diskriminant D =",D)print("SymPy-rotter =",roots)print("x_P =",xP)print("x_Q =",xQ)print("x_Q - x_P =",simplify(xQ-xP))
Tolkning: CAS integrerer mellom røttene og gir positivt areal.
Digital kontroll i Python (SymPy)
Python 3.12 / SymPy - kjørt kontroll
fromsympyimportsymbols,sqrt,integrate,simplifya,b,c,x=symbols('a b c x',real=True,nonzero=True)D=b**2-4*a*cxP=(-b+sqrt(D))/(2*a)xQ=(-b-sqrt(D))/(2*a)f=a*x**2+b*x+cT2=simplify(integrate(f,(x,xP,xQ)))target=D*sqrt(D)/(6*a**2)print("x_P =",xP)print("x_Q =",xQ)print("Integral mellom rottene =",T2)print("Mal =",target)print("Kontroll =",simplify(T2-target))assertsimplify(T2-target)==0
Utskrift
x_P = (-b + sqrt(-4*a*c + b**2))/(2*a)
x_Q = (-b - sqrt(-4*a*c + b**2))/(2*a)
Integral mellom rottene = (-4*a*c + b**2)**(3/2)/(6*a**2)
Mal = (-4*a*c + b**2)**(3/2)/(6*a**2)
Kontroll = 0