8.1 Åpen bok og føringsstandard

Åpen bok betyr at hjelpemidlene er lov — ikke at de gir poeng. Regelen er: der svaret står i permen, er det utledningen din som måles. Et integral skal løses «med grunnleggende teknikker, ikke ved oppslag»; en formel du bruker skal enten utledes eller navngis og anvendes synlig. Å skrive av et lærebokeksempel uten å svare på det som faktisk spørres, gir null — det finnes dokumentert i arkivet (H2016). Kort sagt: permen er et sikkerhetsnett for hukommelsen, aldri en erstatning for føringen.

Begrunnelsestrappen er svaret på spørsmålet «hvor mye må jeg egentlig skrive?». For hver sjanger finnes et minstenivå av begrunnelse som gir full uttelling — mer enn det er bortkastet tid, mindre koster poeng. Trappen under angir minstenivået per sjanger A–N. Legg merke til mønsteret: det er nesten alltid én navngitt setning, én synlig teknikk og én konklusjonssetning som skiller full pott fra halv.

Setningen som gir eksistens av løsninger. I ord: en kontinuerlig funksjon kan ikke hoppe over verdier. Presist: er $f$ kontinuerlig på $[a,b]$ og ligger $y_0$ mellom $f(a)$ og $f(b)$, finnes en $c\in(a,b)$ med $f(c)=y_0$. Eksamensbruken: vis fortegnsskifte ($f(a)<0<f(b)$), pek på kontinuiteten, navngi setningen, konkluder med at en rot finnes. Alle tre leddene må med — se kap. 2.3.

Setningen som kobler gjennomsnittlig og momentan endring: et sted på intervallet er den momentane vekstfarten lik den gjennomsnittlige. Presist: er $f$ kontinuerlig på $[a,b]$ og deriverbar på $(a,b)$, finnes $c\in(a,b)$ med $\displaystyle f'(c) = \frac{f(b)-f(a)}{b-a}$. Eksamensbruken: ulikhetsbevis (typen $\arctan x < x$), Lipschitz-estimat og kontraksjonsargumenter for fikspunkt — se kap. 4.1.

Spesialtilfellet av sekantsetningen med like endeverdier: to like funksjonsverdier tvinger frem et punkt med derivert null. Presist: er $f$ kontinuerlig på $[a,b]$, deriverbar på $(a,b)$ og $f(a)=f(b)$, finnes $c\in(a,b)$ med $f'(c)=0$. Eksamensbruken: entydighet ved motsigelse — to nullpunkter ville gitt $f'(c)=0$, som er umulig når $f'$ har fast fortegn. Husk at forutsetningene (kontinuitet + deriverbarhet) skal sjekkes FØR teoremet brukes.

Setningen som fanger en grense mellom to andre: ligger $f$ klemt mellom $g$ og $h$ nær punktet, og $g$ og $h$ har samme grense $L$, har også $f$ grensen $L$. Eksamensbruken: oscillasjonsfamilien $x^k\sin(1/x^m)$ og $x^k\cos(1/x^m)$ — og føringskravet er at begrensetheten uttales: skriv «$|\cos(1/x^m)|\le 1$, så $-|x|^k \le x^k\cos(1/x^m) \le |x|^k$» før du konkluderer. Skvis uten uttalt begrensethet koster poeng — se kap. 3.2.

Setningen som garanterer at et maksimum og et minimum finnes, før du begynner å lete: en kontinuerlig funksjon på et lukket, begrenset intervall $[a,b]$ antar en største og en minste verdi. Eksamensbruken: eksistensbegrunnelsen i drøftings- og optimeringsoppgaver — på åpne eller ubegrensede intervaller gjelder den IKKE direkte, og da må du argumentere via grenseverdier i endene i stedet. Se kap. 3.5.

Broen mellom derivasjon og integrasjon, i to retninger. Del 1: $\displaystyle \frac{d}{dx}\int_a^x f(t)\,dt = f(x)$ når $f$ er kontinuerlig — integralfunksjonen er en antiderivert. Del 2: $\int_a^b f(x)\,dx = F(b)-F(a)$ for enhver antiderivert $F$. Eksamensbruken: derivasjon av integraler med variable grenser (husk kjerneregel-faktoren $g'(x)$) og all beregning av bestemte integraler — se kap. 5.1.

Potensregelen for polarform: å opphøye et komplekst tall i $n$-te potens er å opphøye modulusen og gange argumentet med $n$: $(re^{i\theta})^n = r^n e^{in\theta}$. Eksamensbruken: høye potenser (reduser vinkelen mod $2\pi$ etterpå!) og $n$-te røtter ($n$ løsninger med argumenter $\displaystyle \frac{\arg w + 2k\pi}{n}$, $k=0,\dots,n-1$). Navngi formelen når du bruker den — se kap. 1.2.

Setningen som forteller hvor mange røtter du skal lete etter: et polynom av grad $n\ge 1$ med komplekse koeffisienter har nøyaktig $n$ røtter i $\mathbb{C}$, regnet med multiplisitet. Eksamensbruken: når du faktoriserer, vet du på forhånd hvor mange lineære faktorer som finnes over $\mathbb{C}$ — og sammen med konjugatrotsetningen styrer den den reelle faktoriseringen i lineære og irreduserbare kvadratiske faktorer. Se kap. 1.3.

Grunnmuren under eksistenssetningene: enhver ikke-tom, oppad begrenset mengde av reelle tall har en minste øvre skranke (supremum) i $\mathbb{R}$. I ord: tallinja har ingen hull. Eksamensbruken er indirekte — det er dette prinsippet som gjør skjæringssetningen og ekstremalverdisetningen sanne, og det kan navngis i teorispørsmål om hvorfor kontinuerlige funksjoner oppfører seg som de gjør på $\mathbb{R}$ men ikke på $\mathbb{Q}$.

Det lovlige verktøyet i «motsatt retning» av differansekvotienten: er $f$ kontinuerlig i $a$ og finnes $\lim_{x\to a} f'(x) = b$, så er $f$ deriverbar i $a$ med $f'(a)=b$. Merk retningen: setningen slutter FRA at grensen av $f'$ finnes. Det omvendte er falskt — $f$ kan være deriverbar i $a$ selv om $\lim_{x\to a}f'(x)$ ikke finnes (oscillasjonsfamilien). Forutsetningen (kontinuitet i punktet) skal etableres eksplisitt før bruk — se kap. 3.1.

$$u = g(x), \qquad du = g'(x)\,dx, \qquad x: a \to b \ \Rightarrow\ u: g(a) \to g(b)$$

Med nye grenser slipper du å transformere tilbake — og sensor ser umiddelbart at teknikken er brukt, ikke slått opp. I ubestemte integraler erstattes grenselinja av eksplisitt tilbaketransformasjon til $x$. Se kap. 5.2.

I delvis integrasjon $\int u\,v'\,dx = uv - \int u'v\,dx$ skal valget av $u$ og $v'$ dokumenteres, ikke bare brukes. Huskeregelen LIATE (Logaritme, Invers trig, Algebraisk, Trigonometrisk, Eksponentiell) angir hva som normalt velges som $u$: det som står tidligst i lista. Skriv valget eksplisitt: «Velger $u=\ln x$ (L før A), $v'=x$.» Da er føringen komplett selv om regningen skulle glippe senere — og fremgangsmåte gir poeng.

Konklusjoner om monotoni, ekstremalpunkter og krumning skal dokumenteres med fortegnsskjema for $f'$ (og $f''$), ikke bare påstås. Skjemaet viser faktoriseringen av $f'$, fortegnet til hver faktor på hvert delintervall, og totalfortegnet — med nullpunktene markert. «$f$ er voksende fordi grafen stiger» gir føringstrekk; skjemaet gir full uttelling. Se kap. 3.5.

$$\int_1^\infty f(x)\,dx = \lim_{b\to\infty}\int_1^b f(x)\,dx$$

Å «sette inn $\infty$» direkte i en antiderivert underkjennes i fasitpraksisen. Samme regel ved singularitet i et endepunkt ($\lim_{a\to 0^+}$) — og har integranden en singularitet inne i intervallet, må integralet splittes der først. Se kap. 5.5.

$$\delta = \min\{1,\ \varepsilon/K\}$$

Til slutt verifiseres implikasjonen: anta $0<|x-a|<\delta$ og vis $|f(x)-L|<\varepsilon$. Flere gyldige $\delta$-valg finnes og godtas — men verifikasjonen kan aldri sløyfes. Se kap. 2.1.

Før du separerer en differensiallikning $y'=g(x)h(y)$ og deler på $h(y)$, skal de konstante løsningene ($h(y)=0$) noteres — og deretter avvises eller beholdes mot initialbetingelsen. Fasitpraksisen sjekker alltid $y\equiv 0$ (og eventuelle andre likevekter) før delingen; å dele uten sjekk er en av de hyppigste trekk-kildene i sjanger A. Se kap. 6.1.

Enhver anvendt oppgave avsluttes med en hel setning som svarer på det som ble spurt, med tall, enhet og fortegnstolkning: «Tanken er tom etter ca. 168 minutter, altså i underkant av 3 timer.» Et nakent tall uten kontekst regnes ikke som fullført svar. I relaterte rater skal fortegnet tolkes («avstanden øker med …»), og i modelleringsoppgaver skal svaret kobles tilbake til situasjonen.

Sluttsvaret skal være umulig å overse: sett det på egen linje, gjerne i boks eller med understrekning, og på formen oppgaven ba om (normalform hvis normalform er etterspurt, eksakt verdi hvis eksakt verdi er etterspurt). I flerleddede deloppgaver markeres svaret på hvert ledd. Et riktig svar gjemt midt i en regnelinje risikerer å ikke bli funnet — og et polarform-svar der normalform var etterspurt, koster full pott i sjanger C.

FØR hver bruk av L'Hôpital markeres den ubestemte formen eksplisitt: «innsetting gir $[0/0]$» eller $[\infty/\infty]$. Markeringen dokumenterer at forutsetningen er sjekket — L'Hôpital på et uttrykk som ikke er ubestemt gir galt svar. Ved gjentatt bruk markeres formen på nytt for hvert trinn. Andre former ($0\cdot\infty$, $1^\infty$, $\infty-\infty$, $0^0$, $\infty^0$) skrives først om til kvotientform. Se kap. 2.2.

$$f'(a) = \lim_{h\to 0}\frac{f(a+h)-f(a)}{h}$$

det eneste gyldige beviset (eller grense-av-derivert-setningen med forutsetningene eksplisitt etablert). Å derivere formelen og sette inn punktet er IKKE et bevis — og kjernefellen er å konkludere «ikke deriverbar» fordi $\lim_{x\to a}f'(x)$ ikke finnes: $f$ kan være deriverbar i $a$ likevel. Se kap. 3.1 og kap. 3.2.

«Vis at likningen har nøyaktig én løsning» er TO oppgaver: (i) eksistens — skjæringssetningen med fortegnsskifte og kontinuitet; (ii) entydighet — monotoni ($f'$ med fast fortegn) eller Rolle-motsigelse. De føres som to markerte steg. Den hyppigste anmerkningen i fasitpraksisen er at kandidaten leverer det ene og tror begge er levert. Se kap. 4.1.

Skal du avgjøre om en Newton-tilnærming er for stor eller for liten, må krumningen ($f''$ sitt fortegn) begrunnes på hele intervallet mellom startpunkt og rot — å sjekke $f''$ i ett punkt er utilstrekkelig (eksplisitt anmerkning i arkivet, H2016). Konveks og start til høyre for roten gir en avtakende følge av overestimater; de fire kombinasjonene av krumning og side har hver sin konklusjon. Se kap. 4.2.

Restledd og feilformler skal gi tall, ikke pynt: Lagrange-restleddet $\displaystyle R_n(x)=\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}$ brukes ved å skranke $f^{(n+1)}$ på intervallet ($m \le f^{(n+1)}(c) \le M$) og levere et intervall som fanger den sanne verdien, eller et fortegn på feilen. Skarpest tilgjengelige skranke gir full pott; en grovere gir delvis. Samme regel for trapes-/Simpson-feilformlene: de brukes til å dimensjonere $n$. Se kap. 4.3 og kap. 5.7.

Der to likeverdige veier finnes — skive eller skall, separabel eller integrerende faktor, monotoni eller Rolle-motsigelse, optimal eller grovere restleddsskranke — honoreres begge i fasitpraksisen. Velg ÉN vei og før den helt ut; har du tid til overs, kan den andre nevnes med «Alternativt:» som kontroll. Å veksle frem og tilbake mellom to halvførte veier gir derimot trekk for uklar føring.

Når et komplekst tall skal på polarform, tegnes punktet i planet før argumentet fastsettes: arctan brukt blindt gir vinkel i feil kvadrant for halvparten av alle punkter. Kontrollrutinen er: (1) marker $(a,b)$, (2) les av kvadranten, (3) juster referansevinkelen deretter, (4) reduser mod $2\pi$. En polarform med feil kvadrant gjør alle etterfølgende potens- og rotberegninger gale. Se kap. 1.1.

Navngi setningen når den bærer argumentet — ikke ellers. «Etter skjæringssetningen finnes en rot» er føring; å navngi kjerneregelen hver gang du deriverer er støy. Tommelfingerregel: navngis skal setninger som leverer eksistens, entydighet, grenser via skvis, ekstremalverdier og integral-derivasjon (banken over) — regneregler navngis ikke. Kort begrunnelse er idealet: instruksen sier «begrunnelsene skal være korte».

Skal en funksjon utvides kontinuerlig i et punkt (eller kontinuitet vises i et skjøtepunkt), er det ikke nok å regne grensen — den skal kobles eksplisitt til funksjonsverdien: «$\lim_{x\to a}f(x) = 2 = f(a)$, så $f$ er kontinuerlig i $a$.» Å bare regne grensen uten kobling gir trekk (dokumentert anmerkning H2016). I skjøtepunkter regnes de ensidige grensene hver for seg. Se kap. 2.3.

Konvergens ved sammenligning (uegentlige integraler og rekker) krever at BEGGE premissene uttales: (i) integranden/leddet er ikke-negativt (fra et punkt av), og (ii) det finnes en navngitt konvergent majorant (typisk et $p$-integral med $p>1$ eller en $e^{-x}$-hale). Ett av premissene alene gir ikke konklusjonen — og fasitpraksisen (H2014) krever begge eksplisitt. Se kap. 5.5.

Moderne sett har 13–18 likt vektede deloppgaver på 300 minutter — det gir 17–23 minutter per deloppgave, uansett hvor lang eller kort den kjennes. Budsjettdisiplinen: (1) ikke gjør mer enn det spørres om (fire Newton-iterasjoner der én er bedt om, er ren tidsdonasjon), (2) står du fast etter 5 minutter, noter fremgangsmåten du VILLE brukt (fremgangsmåte gir poeng) og gå videre, (3) bruk de siste ti minuttene på sjekklisten under.

Ti-minutterskontrollen som plukker de billigste poengene: (1) Teoremnavn på plass der argumenter bæres? (2) Bokser ført — substitusjon med nye grenser, $u/v'$-valg, fortegnsskjema? (3) Konklusjonssetning med enhet i alle anvendte oppgaver? (4) Konstante løsninger sjekket i separable likninger? (5) Eksistens OG entydighet levert som to steg? (6) $[0/0]$ markert før hver L'Hôpital, $\lim$ ført i uegentlige integraler? (7) Sluttsvar markert og på etterspurt form? (8) Kjeder utnyttet — bruker senere deloppgaver resultatet fra tidligere?