Bevis for løsningen til y′ = k · y
STX og HHX · A-niveau · mundtlig eksamen · Forklaret af gymnasielærer Kofi D. Mensah
Differentialligningen \(y'=k\cdot y\) beskriver vækst, hvor væksthastigheden er proportional med størrelsen selv. Den fuldstændige løsning er \(y=c\cdot e^{k\cdot x}\), hvor c er en vilkårlig konstant.
Beviset bruger separation af de variable: y samles på den ene side og x på den anden, begge sider integreres, og til sidst isoleres y med eksponentialfunktionen.
Sætningen
Den fuldstændige løsning til differentialligningen \(y'=k\cdot y\) er \(y=c\cdot e^{k\cdot x}\), hvor c er en vilkårlig konstant.
Det skal du kunne først
- Separation af de variable \(\frac{dy}{dx}=h(x)\cdot g(y)\) giver \(\int\frac{1}{g(y)}\,dy=\int h(x)\,dx\)
Man samler alt med y på den ene side og alt med x på den anden side. Derefter integrerer man begge sider. - Stamfunktioner og logaritmer \(\int\frac{1}{y}\,dy=\ln|y|+c\) og \(e^{\ln(t)}=t\) for \(t\gt 0\)
- Potensreglen \(e^{p+q}=e^p\cdot e^q\)
Beviset trin for trin
-
Skriv \(y'\) som \(\frac{dy}{dx}\)
\(\displaystyle \frac{dy}{dx}=k\cdot y\)\(\frac{dy}{dx}\) er en anden skrivemåde for \(y'\).
-
Separér de variable
\(\displaystyle \frac{1}{y}\,dy=k\,dx\)Vi dividerer med y og ganger med dx. Nu står alt med y til venstre og alt med x til højre. Det kræver \(y\ne 0\). Løsningen \(y=0\) ser vi på til sidst.
-
Integrér begge sider
\(\displaystyle \int\frac{1}{y}\,dy=\int k\,dx\)De to sider er ens, så deres stamfunktioner er også ens, på nær en konstant.
-
Find stamfunktionerne
\(\displaystyle \ln|y|=k\cdot x+c_1\)En stamfunktion til \(\frac{1}{y}\) er \(\ln|y|\), og en stamfunktion til k er \(k\cdot x\). De to integrationskonstanter samles i én konstant \(c_1\).
-
Brug e på begge sider
\(\displaystyle |y|=e^{k\cdot x+c_1}\)\(\displaystyle =e^{c_1}\cdot e^{k\cdot x}\)e og ln ophæver hinanden, så \(e^{\ln|y|}=|y|\). Derefter bruges potensreglen \(e^{p+q}=e^p\cdot e^q\).
-
Fjern den numeriske værdi
\(\displaystyle y=\pm e^{c_1}\cdot e^{k\cdot x}\)y kan være positiv eller negativ.
-
Indfør en ny konstant
\(\displaystyle c=\pm e^{c_1}\)\(\pm e^{c_1}\) kan være ethvert tal undtagen 0. Det tal kalder vi c.
-
Konklusion
\(\displaystyle y=c\cdot e^{k\cdot x}\)\(y=0\) er også en løsning, fordi \(0'=0=k\cdot 0\). Den svarer til \(c=0\). Så c kan være ethvert tal.
∎ Dermed er sætningen bevist.
Det kan censor spørge om
Hvorfor er der kun én konstant, når man integrerer begge sider?
Hvordan kan du kontrollere løsningen?
Der er 3 censorspørgsmål til beviset i kurset.
Flere beviser til mundtlig eksamen
- Bevis for arealfunktionenSTX og HHX · A-niveau
- Bevis for kædereglen (sammensatte funktioner)STX og HHX · A-niveau
- Bevis for vinklen mellem to vektorerSTX · A-niveau
- Bevis for Pythagoras’ sætningHF og STX · C-niveau
- Bevis for topunktsformlen for aHF, STX og HHX · C-niveau
- Bevis for fordoblingskonstantenHF, STX og HHX · C-niveau