3.1 Deriverbarhet i ett punkt: differansekvotient og skvis
Den deriverte som grense av differansekvotienten — det eneste gyldige beviset i deriverbarhetsspørsmål, og fundamentet for signaturoppgaven.
- Sjanger E (kontinuitet/deriverbarhet i punkt) står i 20 av 34 arkiverte sett, og i 79 % av settene de siste ti årene. Selve drillingen kommer i kap. 3.2 — dette kapitlet bygger verktøyet: definisjonen av den deriverte i ett punkt.
- Fasitpraksisen er nådeløs på ett punkt: når oppgaven spør om deriverbarhet i et punkt, skal svaret gå via grensen av differansekvotienten. Å derivere formelen og «sette inn» gir null der definisjonen etterspørres — det er emnets mest dokumenterte felle.
- To småteoremer herfra er selv eksamensstoff: deriverbar ⇒ kontinuerlig (kort bevis) og grense-av-derivert-setningen (bevist på eksamen H2017).
- Sjangerbokstavene A–N er bokas merkelapper for de dokumenterte oppgavetypene (forklart i Del 0); sjanger E er nettopp «kontinuitet og deriverbarhet i punkt». Prioritet for dette stoffet: høyeste prioritet — det skiller toppkarakterene.
Sist du var her (R1-kjernen): gjennomsnittlig vekstfart på er , og den deriverte er grensen av denne når . I MAT111 skjerpes kravet: den grensen skal føres som grense, med teknikkene fra Del 2.
Hvorfor et helt kapittel om noe R1 «allerede har gjort»? Fordi MAT111 snur perspektivet. I R1 var definisjonen en mellomstasjon på vei til derivasjonsreglene; her er den selve bevisverktøyet. Eksamen spør ikke «hva er ?» — den spør «er deriverbar i , og hva er i så fall ?». Det er et eksistensspørsmål, og eksistensspørsmål avgjøres av definisjonen, ikke av regneregler.
Kapitlet bygger opp fire ferdigheter: å regne differansekvotient-grenser direkte (, ), å bruke implikasjonen deriverbar ⇒ kontinuerlig (og vite at den ikke kan snus), å håndtere skjøtepunkter med ensidige deriverte, og å bruke grense-av-derivert-setningen som lovlig snarvei når forutsetningene er sjekket.
Definisjonen: grensen av differansekvotienten
Læringsløkke 1 av 4 — ca. 15 min.
Finnes ikke grensen, er ikke deriverbar i . Dette er det ENESTE gyldige beviset når en oppgave spør om deriverbarhet i et punkt.
De to formene er likeverdige — velg den som gir enklest algebra i oppgaven.
Intuisjon: deriverbarhet i betyr at grafen har en entydig, ikke-vertikal tangent der: zoomer du langt nok inn på , ser grafen ut som en rett linje. Et hjørne (som i origo) har to konkurrerende «tangentretninger» — da finnes ingen grense, og er ikke deriverbar der.
Den finnes bare når er deriverbar i .
Bruk definisjonen av den deriverte til å avgjøre om er deriverbar i , og finn i så fall .
Nå kan vi la (uttrykket er kontinuerlig i ):
Konklusjon: grensen finnes, så er deriverbar i med . (Kontroll mot regelen : ✓ — men kontrollen er ikke bevis; det er grensen over som er føringen.)
Bruk definisjonen av den deriverte til å finne når .
Bruk definisjonen (h-formen eller sekantformen) til å avgjøre om er deriverbar i , og finn i så fall .
Deriverbar ⇒ kontinuerlig — og hvorfor pilen ikke kan snus
Læringsløkke 2 av 4 — ca. 10 min.
Før vi jakter på deriverbarhet, lønner det seg å vite hva den garanterer: en funksjon som er deriverbar i et punkt, er automatisk kontinuerlig der. Det gir en gratis førstelinje i alle skjøtepunkt-oppgaver: er ikke kontinuerlig i , er den heller ikke deriverbar i — ferdig.
Bevis (kort, eksamensaktuelt): for er
Når går første faktor mot (definisjonen, sekantformen) og andre faktor mot . Produktregelen for grenser gir
altså — som er kontinuitetsdefinisjonen fra kap. 2.3.
Implikasjonen kan IKKE snus. Kontinuitet gir ingen garanti for deriverbarhet: er kontinuerlig overalt, men har et hjørne i origo. Eksamen elsker denne asymmetrien — «kontinuerlig, men ikke deriverbar» er et standardsvar du må kunne belegge.
Et hjørne er et punkt der grafen er kontinuerlig, men de to ensidige grensene av differansekvotienten finnes og er ulike — grafen «knekker». Da finnes ikke den tosidige grensen, og er ikke deriverbar der. Standardeksempel: i .
Vis at er kontinuerlig i , men ikke deriverbar i .
Deriverbarhet — differansekvotienten:
Høyregrensen er og venstregrensen er . Siden finnes ikke den tosidige grensen.
Konklusjon: er kontinuerlig i , men ikke deriverbar i — implikasjonen «deriverbar ⇒ kontinuerlig» kan altså ikke snus.
Avgjør om er (i) kontinuerlig og (ii) deriverbar i . Begrunn med definisjonene.
Ensidige deriverte og skjøtepunkter
Læringsløkke 3 av 4 — ca. 12 min.
Stykkevis definerte funksjoner limes sammen i skjøtepunkter, og der må deriverbarhet undersøkes fra hver side. Algoritmen er alltid den samme, i denne rekkefølgen:
1. Kontinuitet først: sjekk . Feiler dette, er ikke deriverbar (teoremet over) — stopp.
2. Ensidige differansekvotienter: regn og av hver for seg. Like ⇒ deriverbar med den felles verdien; ulike ⇒ ikke deriverbar.
Intuisjon: kontinuitet limer grafbitene sammen; like ensidige deriverte sliper skjøten glatt.
er deriverbar i nøyaktig når begge finnes og er like — da er den felles verdien.
Avgjør om er deriverbar i .
Steg 2 — ensidige differansekvotienter (merk: ):
Venstre (, da er så vi bruker -grenen):
Høyre (, -grenen):
Konklusjon: , så er deriverbar i med . Skjøten er glatt.
Avgjør om er (i) kontinuerlig og (ii) deriverbar i .
blir deriverbar i .
Grense-av-derivert-setningen — lovlig verktøy i motsatt retning
Læringsløkke 4 av 4 — ca. 13 min.
Definisjonen er obligatorisk når eksamen ber om den. Men det finnes en lovlig snarvei i motsatt retning: hvis er kontinuerlig i punktet og den deriverte (regnet med vanlige regler utenfor punktet) har en grense når nærmer seg punktet, så er deriverbar der, med nettopp den grensen som derivert. Denne setningen ble bedt bevist på eksamen H2017.
finnes. Da er deriverbar i med .
Bevisskisse: for nær er differansekvotienten av formen når (telleren nettopp fordi er kontinuerlig i ). L'Hôpital (kap. 2.2) gir da
så grensen av differansekvotienten finnes og er , dvs. . (Et bevis uten L'Hôpital går via sekantsetningen — den kommer i kap. 4.1.)
Regelen for valg av verktøy i deriverbarhetsspørsmål:
| Situasjon | Verktøy |
|---|---|
| Oppgaven sier «bruk definisjonen» | Differansekvotienten — alt annet gir null |
| Stykkevis funksjon, skjøtepunkt | Kontinuitet først, så ensidige differansekvotienter (eller grense-av-derivert når finnes fra hver side) |
| Oscillasjonsfamilien i | Differansekvotienten + skvis — kan mangle selv om finnes (kap. 3.2) |
| Punkt der funksjonen er gitt ved én pen formel på et åpent intervall | Derivasjonsreglene er lov |
Advarsel i kortform: at ikke finnes, beviser ALDRI at er ikke-deriverbar i . Setningen går bare én vei.
Vis at er deriverbar i , og finn .
Steg 2 — grensen av fra hver side. For : , så . For : , så . Begge grensene finnes og er like, med felles verdi .
Steg 3 — konkluder med setningen: er kontinuerlig i og finnes; grense-av-derivert-setningen gir at er deriverbar i med .
Alternativt: ensidige differansekvotienter direkte: (standardgrensen fra kap. 2.2) og — samme konklusjon.
La for (altså ). Vis med differansekvotienten at er deriverbar (fra høyre) i , og finn . Forklar kort hvorfor grense-av-derivert-setningen gir samme svar.
- «Bevise» deriverbarhet ved å derivere formelen og sette inn. Der definisjonen etterspørres, gir dette null — det er emnets mest dokumenterte felle. Differansekvotienten er beviset; regelen er bare kontroll.
- Konkludere «ikke deriverbar» fordi ikke finnes. Setningen går bare én vei — kan være deriverbar i likevel (oscillasjonsfamilien i kap. 3.2 er standardmoteksemplet).
- Glemme kontinuitetssjekken først i skjøtepunkter. Er verdiene ulike i skjøten, er alt derivert-arbeid bortkastet: ikke kontinuerlig ⇒ ikke deriverbar.
- Regne bare én ensidig grense. Deriverbarhet i et indre punkt krever at BEGGE ensidige differansekvotient-grenser finnes og er like — én side er et halvt svar.
- Blande sammen og . Det første er en grense av differansekvotienter i ; det andre er en grense av derivertfunksjonen utenfor . De sammenfaller når grense-av-derivert-setningens forutsetninger holder — ellers ikke nødvendigvis.
Drillpulje — stigende vanskegrad
Før differansekvotientene med samme disiplin som i eksemplene: sett opp brøken, forenkle algebraisk, ta grensen, konkluder.
Bruk definisjonen av den deriverte til å finne når .
Grensen er en differansekvotient i sekantform. Hvilken funksjon og hvilket punkt dreier det seg om? Regn ut grensen og tolk svaret.
Bruk definisjonen av den deriverte til å finne når .
Bruk definisjonen av den deriverte til å finne når .
La . Vis med differansekvotienten at er deriverbar i , og finn . Sammenlign med : hvorfor redder faktoren deriverbarheten?
Avgjør om er deriverbar i . Hva skjer geometrisk?
Begrepsbank
Kortdefinisjonene under er kapitlets ordforråd samlet — de brukes som flashcard-grunnlag og oppslagsverk.
En sekant er en rett linje gjennom to punkter på grafen. Stigningstallet til sekanten gjennom og er differansekvotienten .
Den deriverte tolket som endringstempo: hvor fort endrer seg per enhet , akkurat i . Grensen av gjennomsnittlig vekstfart (differansekvotienten) når intervallet krymper til null.
Venstre- og høyrederivert: grensen av differansekvotienten når henholdsvis . Deriverbarhet i et indre punkt betyr at begge finnes og er like.
Punkt der differansekvotienten går mot fra begge sider med samme fortegnsoppførsel — grafen er uendelig bratt, og er ikke deriverbar der (grensen er uegentlig). Eksempel: i .
Et skjøtepunkt der funksjonen både er kontinuerlig og har like ensidige deriverte — grafen går sømløst over fra én gren til den neste, uten hjørne.
Fast rekkefølge i skjøtepunkter: (1) kontinuitet — verdier og ensidige grenser like; (2) ensidige differansekvotienter — like fra begge sider. I parameteroppgaver gir de to stegene hver sin likning.
Funksjonene og (med verdi i origo) — settets signaturmateriale. De viser at kan være deriverbar i selv om ikke finnes. Full behandling i kap. 3.2.
Grense-av-derivert-setningen: kontinuitet i pluss eksisterende gir . Krever begge forutsetningene — og kan aldri brukes til å vise at noe IKKE er deriverbart.
Sum-, produkt-, kvotient- og kjerneregelen gjelder der funksjonene de brukes på er deriverbare. På et åpent intervall der er gitt ved én pen formel, er reglene lovlige; i selve skjøte-/spesialpunktet er definisjonen (eller grense-av-derivert-setningen) det som gjelder.
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.