Matematik A beviser
Kapitel Overblik Mundtlige Beviser (A)
🔮 Matematik A

Dette modul gennemgår de mest centrale eksamensrelevante beviser på A-niveau. Du lærer at udlede integration ved substitution og separationsmetoden formelt.

Du lærer at:
  • Kunne bevise reglen for integration ved substitution vha. kædereglen
  • Forstå den stringente matematiske baggrund for separationsmetoden
  • Kunne redegøre for infinitesimale substitutioner og kæderegler
💡
Intuitionen

"På A-niveau skal du kunne navigere i abstrakte algebraiske strukturer og bevise generelle sætninger for integraler og differentialligninger."

Mundtlige Eksamensbeviser – Matematik A

Eksamensbeviserne på Matematik A trækker på din samlede viden om differentialregning og integralregning. Herunder finder du de formelle beviser præsenteret som i en universitetsbog.


Bevis 1: Integration ved substitution

Integration ved substitution svarer til at anvende kædereglen baglæns.

Sætning (Ubestemt integral ved substitution)

Lad g(x)g(x) være en differentiabel funktion med kontinuert afledt g(x)g'(x), og lad f(t)f(t) være en kontinuert funktion med en stamfunktion F(t)F(t) (således at F(t)=f(t)F'(t) = f(t)). Da gælder for det ubestemte integral: f(g(x))g(x)dx=F(g(x))+C\int f(g(x)) \cdot g'(x) \, dx = F(g(x)) + C

Bevismetode: Direkte bevis vha. kædereglen

Lad os betragte den sammensatte funktion H(x)=F(g(x))H(x) = F(g(x)). Vi differentierer H(x)H(x) med hensyn til xx ved at anvende kædereglen for differentiation:

H(x)=ddx[F(g(x))]=F(g(x))g(x)[Kædereglen for differentiation]=f(g(x))g(x)[Da F(t)=f(t)]\begin{aligned} H'(x) &= \frac{d}{dx} \bigl[ F(g(x)) \bigr] \\ &= F'(g(x)) \cdot g'(x) \quad &&\text{[Kædereglen for differentiation]} \\ &= f(g(x)) \cdot g'(x) \quad &&\text{[Da } F'(t) = f(t)\text{]} \end{aligned}

Dette viser, at den sammensatte funktion H(x)=F(g(x))H(x) = F(g(x)) differentieret giver integranden f(g(x))g(x)f(g(x)) \cdot g'(x).

Pr. definition af det ubestemte integral som mængden af samtlige stamfunktioner, der kun adskiller sig med en konstant CC, har vi dermed:

f(g(x))g(x)dx=F(g(x))+C\int f(g(x)) \cdot g'(x) \, dx = F(g(x)) + C

Hvilket afslutter beviset.

Q.E.D. ∎

Bevis 2: Separation af variable i differentialligninger

Dette bevis etablerer den stringente baggrund for at løse separable differentialligninger på formen y=g(x)h(y)y' = g(x) \cdot h(y).

Sætning (Separationsmetoden)

Lad y=y(x)y = y(x) være en differentiabel funktion, der opfylder differentialligningen: dydx=g(x)h(y)\frac{dy}{dx} = g(x) \cdot h(y) Hvor h(y)0h(y) \neq 0, og g(x),h(y)g(x), h(y) er kontinuerte funktioner. Da er den fuldstændige løsning givet ved ligningen: 1h(y)dy=g(x)dx\int \frac{1}{h(y)} \, dy = \int g(x) \, dx

Bevismetode: Integration ved substitution

Da h(y)0h(y) \neq 0, kan vi dividere differentialligningen med h(y)h(y) på begge sider af lighedstegnet:

1h(y)dydx=g(x)\frac{1}{h(y)} \cdot \frac{dy}{dx} = g(x)

Vi integrerer begge sider med hensyn til xx:

1h(y)dydxdx=g(x)dx\int \frac{1}{h(y)} \cdot \frac{dy}{dx} \, dx = \int g(x) \, dx

For at omskrive venstre side af ligningen, lader vi H(y)H(y) være en stamfunktion til 1h(y)\frac{1}{h(y)} (dvs. H(y)=1h(y)H'(y) = \frac{1}{h(y)}).

Vi anvender kædereglen til at differentiere den sammensatte funktion H(y(x))H(y(x)) med hensyn til xx:

ddx[H(y(x))]=H(y)dydx=1h(y)dydx\frac{d}{dx} \bigl[ H(y(x)) \bigr] = H'(y) \cdot \frac{dy}{dx} = \frac{1}{h(y)} \cdot \frac{dy}{dx}

Da integranden på venstre side er den afledte af H(y(x))H(y(x)), kan vi integrere direkte:

1h(y)dydxdx=H(y)+C1\int \frac{1}{h(y)} \cdot \frac{dy}{dx} \, dx = H(y) + C_1

Dermed har vi:

H(y)+C1=g(x)dxH(y) + C_1 = \int g(x) \, dx

Da H(y)=1h(y)dyH(y) = \int \frac{1}{h(y)} \, dy, kan vi opsuge integrationskonstanten C1C_1 i den samlede konstant på højre side og skrive:

1h(y)dy=g(x)dx\int \frac{1}{h(y)} \, dy = \int g(x) \, dx

Dette beviser sætningen.

Q.E.D. ∎