4.3 Taylorpolynom med Lagrange-restledd og feilinnkapsling
Taylorpolynom til tallnærming pluss aktiv restleddsanalyse: skranker → intervall → fortegn på feilen. En hovedsjanger ved UiB.
- Sjanger G (Taylorpolynom med restledd og feilinnkapsling) finnes i 25 av 34 arkiverte sett (2003–2020, kildenote i Del 0) — en av de aller hyppigste oppgavetypene ved UiB (mens den er marginal ved f.eks. UiO). Sjanger G er bokstavkoden for denne oppgavetypen i katalogen fra Del 0.
- Standardoppgaven: skriv om et «pent» punkt, bruk det til en tallnærming (typen , , ) — og bruk Lagrange-restleddet aktivt: finn skranker for , lever et tallintervall som fanger den sanne verdien, eller avgjør fortegnet på feilen. Et svar der restleddet bare er sitert, men ikke brukt, mister nettopp de poengene oppgaven handler om.
- Skarphet teller: skarpest mulig skranke (beste verdier av på intervallet) gir full pott; grovere skranker gir delvis uttelling.
- Skjerpede arkivvarianter, alle dekket her: rekursivt definerte koeffisienter fra en likning (H2013), innkapsling (V2018), og minste intervall for gitt skranker på (H2018).
- Kjeden fortsetter: er tangenten — altså er ett Newton-steg fra kap. 4.2 det samme som å løse .
Sist du var her — to regneformer du bruker hele tiden:
Kalkulatoren din har ingen -krystall innebygd — når den viser , har den regnet seg fram med polynomer: gang, legg sammen, ferdig. Det er hele ideen bak Taylorpolynomet: erstatt en vrien funksjon med et polynom som har samme verdi, samme derivert, samme andrederivert, … i ett velvalgt punkt , og regn med polynomet i stedet.
Men en tilnærming uten feilkontroll er bare en gjetning. Det som gjør dette til eksamensmatematikk, er Lagrange-restleddet: en eksakt formel for feilen, med én ukjent innesperret i et kjent intervall. Sperr inn mellom sin minste og største verdi på intervallet, og du kan levere noe langt sterkere enn et anslag: «den sanne verdien ligger garantert mellom disse to tallene». Det er samme grep som i sekantsetningen — du vet ikke hvor er, men du vet hvor mye kan rekke å bli der.
Kapitlet har fire læringsløkker: (1) bygge om et pent punkt (≈ 15 min), (2) restleddet og skranke → intervall → fortegn — kjernen (≈ 25 min), (3) skrankevariantene fra arkivet: minste intervall og innkapsling (≈ 15 min), (4) rekursive koeffisienter (≈ 10 min). Ta pause etter løkke 2 — den er kapitlets tyngdepunkt.
Løkke 1: Bygg Taylorpolynomet om et pent punkt
Nær er en god erstatning for — og et polynom kan du regne ut for hånd.
Koeffisienten foran er den -te deriverte i utviklingspunktet delt på -fakultet: . Fakulteten kommer av at -te-derivasjon av produserer faktoren — divisjonen sørger for at . Glemt i nevneren er sjangerens vanligste regnefeil.
Et pent punkt er en der og de deriverte har eksakte, enkle verdier: for ; for ; for ; for . Eksamensoppgaven velger alltid et pent punkt nær tallet som skal tilnærmes — utvikles om , ikke om .
Taylorpolynomet om kalles Maclaurinpolynomet; da er . Standardutviklingene , , er Maclaurin-tilfeller og gjengangere i teorispørsmål.
Finn Taylorpolynomet av grad 2 til om .
| koeffisient | |||
|---|---|---|---|
| 0 | |||
| 1 | |||
| 2 |
(Kontrollregning: , og .)
Sett sammen:
Legg merke til føringen: derivertetabell med eksakte verdier, deretter polynomet — det er hele leveransen i denne deloppgaven.
Finn Taylorpolynomet av grad 2 til om .
Løkke 2: Lagrange-restleddet — skranker → intervall → fortegn
Nå til kjernen. Feilen har en eksakt formel — med én ukjent i.
for en eller annen strengt mellom og . Restleddet er den eksakte feilen — ikke et anslag. (For er dette nøyaktig sekantsetningen: .)
Er monoton på intervallet (det vanlige tilfellet), er og rett og slett verdiene i endepunktene — sjekk hvilken ende som gir størst verdi. Multipliser så med (pass på fortegnet hvis !) for å sperre inn .
Dette tallintervallet er leveransen: «den sanne verdien ligger garantert mellom …». Regn som desimaltall, legg til skrankene, og skriv intervallet eksplisitt.
Har fast fortegn (fordi har fast fortegn på intervallet og sitt fortegn er kjent), kan du konkludere uten tall: betyr at er for liten (underestimat), at den er for stor (overestimat). Merk retningen: restleddet måler sann verdi minus polynom.
Bruk fra eksempel 1 til å tilnærme , og bruk Lagrange-restleddet til å angi et minst mulig intervall som garantert inneholder . Er tilnærmingen for stor eller for liten?
Restleddet. , så
Skrankene (skarpest mulig). er avtakende i , så på sperres den inn av endepunktene:
Numerisk: , så .
Intervallet.
Fortegnet. (positiv derivert tredje orden og ), så er for liten.
(Kontroll: ligger i intervallet, og er ganske riktig større enn .)
Og merk formuleringen «minst mulig intervall»: den ber om skarpest mulig skranke, altså de faktiske ekstremverdiene av på intervallet. En grovere, gyldig skranke (f.eks. « gir , og ») gir intervallet — riktig, men ikke minst mulig, og dermed bare delvis uttelling.
Bruk fra oppgave 1 til å tilnærme , og angi ved hjelp av Lagrange-restleddet et minst mulig intervall som garantert inneholder . Avgjør også om tilnærmingen er for stor eller for liten.
b) Bruk det til å tilnærme , og angi med restleddet et minst mulig intervall som inneholder .
Løkke 3: Skrankevariantene fra arkivet
To skjerpede varianter går igjen: (H2018-typen) gitt skranker på , finn minste mulige intervall for — og (V2018-typen) innkapsling av mellom to polynomer på et helt intervall.
og innsetting av skrankene for gir minste og største mulige verdi av . Intervallet er skarpt: uten mer informasjon om kan det ikke gjøres mindre.
der og er og på intervallet. Det er nøyaktig samme skrankeanalyse som før — men levert som funksjonsulikhet i stedet for ett tallintervall.
Om en to ganger deriverbar funksjon vet vi: , , og for alle . Finn det minste intervallet som garantert inneholder .
for en .
Sett inn skrankene. gir
Skarphet: begge endene kan faktisk inntreffe (f.eks. gir , som har , nøyaktig ) — så intervallet kan ikke krympes.
for en , siden .
Skrankene på : for er strengt avtakende, så
Spesielt , strengt. Multiplisert med :
Lagt til på alle sider gir dette nøyaktig påstanden.
(Talltest i : venstre , , høyre ✓.)
Om en funksjon vet vi: , , og for alle . Finn det minste intervallet som garantert inneholder .
Løkke 4: Rekursivt definerte koeffisienter (H2013-typen)
Noen oppgaver gir ikke funksjonen som formel, men som en likning — f.eks. « oppfyller med ». Da kan du ikke slå opp de deriverte: du må produsere dem av likningen, én om gangen.
Når er gitt ved en likning som knytter (eller ) til og : (1) les av fra startbetingelsen; (2) sett inn i likningen for å få ; (3) deriver hele likningen (produkt-/kjerneregel!) og sett inn igjen for ; (4) gjenta til graden du trenger. Hver ny derivert gjenbruker de forrige verdiene — derav «rekursivt».
Finn Maclaurinpolynomet til .
(oppgitt).
Deriver likningen (produktregel på ): , så
Deriver igjen: , så
Koeffisientene: og :
Funksjonen oppfyller med og . Finn Maclaurinpolynomet til .
1. Restleddet sitert, ikke brukt. En tilnærming uten tallfestet feilskranke besvarer ikke oppgaven — «skranker → intervall → fortegn» er selve leveransen i sjanger G.
2. Grove skranker der skarpe var tilgjengelige. «Minst mulig intervall» krever min/maks av på intervallet (endepunktene, når den er monoton) — en lat skranke gir bare delvis uttelling.
3. Fortegnet på feilen ikke vurdert — spesielt når er negativ (utvikling nedover, som om ): da snur restleddets fortegn.
4. Feil -intervall. ligger mellom og — for om er , ikke i .
5. Regnefeil i : glemte kjerneregel-faktorer og fortegnsslurv i tredje-/fjerdederiverte ødelegger alt nedstrøms — før derivertetabellen ryddig, med kontrollregning i det pene punktet.
6. Glemt i koeffisienten — den hyppigste rene byggefeilen i .
Flere øvingsoppgaver
Drill i hele sjangerbredden: bygg polynom, lever intervall, avgjør fortegn — og variantene.
Finn Maclaurinpolynomet til .
Skriv opp Taylorpolynomet til om , og vis at nullpunktet til er nøyaktig Newton-steget fra kap. 4.2 (eksempel 1 der).
b) Angi med Lagrange-restleddet et minst mulig intervall som garantert inneholder , og avgjør om tilnærmingen er for stor eller for liten.
Finn til om , bruk det til å tilnærme , og avgjør med restleddet om tilnærmingen er for stor eller for liten.
(Krevende.) Funksjonen oppfyller med .
a) Finn til om .
b) Forklar hvorfor -tilnærmingen av nær er nøyaktig tangenten i .
Begrepsbank til eksamen
Sjanger G-verktøykassen i kortform.
Begrepsbanken gjentar det du nettopp har lest — hopp trygt over ved førstegangslesing.
Er monoton på intervallet mellom og (typisk potens- eller eksponentialuttrykk), ligger min og maks i endepunktene — skarpest mulige skranker gratis. Skriv én setning om monotonien i føringen.
(1) Deriver til orden . (2) Sperr inn mellom og . (3) Endepunktverdier av gir . (4) ; fast fortegn på gir for stor/for liten.
«Minst mulig intervall» = bruk de faktiske ekstremverdiene av på intervallet, ikke en lat, videre skranke. Grov, gyldig skranke: delvis uttelling. Skarp skranke: full.
Da er , og er negativ for like (oddetallspotens). Fortegnet på snur — klassisk felle i -om--typen. Sjekk potensens fortegn eksplisitt i føringen.
Gitt , og på : ; sett inn og for minste/største mulige . Intervallet er skarpt.
Lever intervaller med «garantert»/«fanger sann verdi», feilfortegn som «for stor/for liten», og avslutt med kontrollsetning der det er naturlig. Kalkulatorverdi kan bekrefte, aldri erstatte, restleddsargumentet.
Oppgaven angir graden (oftest 1–3). Høyere grad gir mindre feil nær — men også en ekstra derivert å regne. Restleddet forteller nøyaktig hva du vinner: feilen skalerer som .
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Bergen. Dette er ikke offisielt studiemateriell. Les mer.