Matematik B beviser
Kapitel Overblik Mundtlige Beviser (B)
📘 Matematik B

Dette modul gennemgår de mest centrale eksamensrelevante beviser på B-niveau. Du lærer at udlede differentialkvotienter og vækstkonstanter formelt og kompakt.

Du lærer at:
  • Kunne udlede to-punkts-formlen for en eksponentiel funktion
  • Forstå grænseværdibegrebet og differentiere f(x) = x^2 vha. tretrinsreglen
  • Kunne skrive beviser op stringent ved brug af algebraiske identiteter
💡
Intuitionen

"B-niveau introducerer grænseværdier og uendeligt små størrelser, hvilket kræver en mere avanceret og stringent bevisteknik."

Mundtlige Eksamensbeviser – Matematik B

Eksamensbeviserne på B-niveau danner broen mellem elementær algebra og infinitesimalregningen. Herunder gennemgås to centrale beviser, formuleret med den stringens, du finder i en universitetslærebog.


Bevis 1: To-punkts-formlen for en eksponentiel funktion

Dette bevis udleder konstanterne aa (fremskrivningsfaktoren) og bb (begyndelsesværdien) for en eksponentiel udvikling.

Sætning (To-punkts-formlen for eksponentiel vækst)

Lad f(x)=baxf(x) = b \cdot a^x være en eksponentiel funktion, hvor a>0a > 0 og b>0b > 0. Lad (x1,y1)(x_1, y_1) og (x2,y2)(x_2, y_2) være to punkter på grafen for ff, med x2>x1x_2 > x_1 og y1,y2>0y_1, y_2 > 0. Da gælder for konstanterne aa og bb: a=y2y1x2x1=(y2y1)1x2x1ogb=y1ax1a = \sqrt[x_2 - x_1]{\frac{y_2}{y_1}} = \left(\frac{y_2}{y_1}\right)^{\frac{1}{x_2 - x_1}} \quad \text{og} \quad b = \frac{y_1}{a^{x_1}}

Bevismetode: Direkte bevis (Algebraisk udledning)

Da punkterne ligger på grafen for ff, er følgende ligningssystem gældende:

  1. y1=bax1y_1 = b \cdot a^{x_1}
  2. y2=bax2y_2 = b \cdot a^{x_2}

Vi dividerer ligning (2) med ligning (1) for at eliminere proportionalitetskonstanten bb:

y2y1=bax2bax1[Division af ligning (2) med (1)]=ax2ax1[Da b>0, kan vi forkorte med b]=ax2x1[Anvend potensregneregel aman=amn]\begin{aligned} \frac{y_2}{y_1} &= \frac{b \cdot a^{x_2}}{b \cdot a^{x_1}} \quad &&\text{[Division af ligning (2) med (1)]} \\ &= \frac{a^{x_2}}{a^{x_1}} \quad &&\text{[Da } b > 0\text{, kan vi forkorte med } b\text{]} \\ &= a^{x_2 - x_1} \quad &&\text{[Anvend potensregneregel } \frac{a^m}{a^n} = a^{m-n}\text{]} \end{aligned}

Da x2>x1x_2 > x_1, er potenseksponenten x2x1>0x_2 - x_1 > 0. Vi isolerer aa ved at tage den (x2x1)(x_2 - x_1)-te rod på begge sider:

a=y2y1x2x1=(y2y1)1x2x1a = \sqrt[x_2 - x_1]{\frac{y_2}{y_1}} = \left(\frac{y_2}{y_1}\right)^{\frac{1}{x_2 - x_1}}

Dette beviser formlen for aa.

Begyndelsesværdien bb findes ved at isolere direkte i ligning (1):

y1=bax1    b=y1ax1y_1 = b \cdot a^{x_1} \implies b = \frac{y_1}{a^{x_1}}

Hvilket beviser formlen for bb.

Q.E.D. ∎

Bevis 2: Tangenthældningen for f(x)=x2f(x) = x^2 via Tretrinsreglen

Dette bevis udleder differentialkvotienten for en af de mest basale ikke-lineære funktioner.

Sætning (Differentialkvotienten for x2x^2)

Funktionen f(x)=x2f(x) = x^2 er differentiabel i ethvert punkt x0Rx_0 \in \mathbb{R} med differentialkvotienten: f(x0)=2x0f'(x_0) = 2x_0

Bevismetode: Tretrinsreglen (Differenskvotientens grænseværdi)

Vi undersøger grænseværdien for differenskvotienten, når h0h \to 0:

f(x0)=limh0f(x0+h)f(x0)hf'(x_0) = \lim_{h \to 0} \frac{f(x_0 + h) - f(x_0)}{h}

Vi gennemfører udledningen i tre trin:

Trin 1: Bestem funktionstilvæksten Δy\Delta y Vi opskriver y-tilvæksten og reducerer udtrykket:

Δy=f(x0+h)f(x0)=(x0+h)2x02[Anvend f(x)=x2]=x02+2x0h+h2x02[Udvid parentes vha. 1. kvadratsætning]=2x0h+h2[Reducer leddene]\begin{aligned} \Delta y &= f(x_0 + h) - f(x_0) \\ &= (x_0 + h)^2 - x_0^2 \quad &&\text{[Anvend } f(x) = x^2\text{]} \\ &= x_0^2 + 2x_0h + h^2 - x_0^2 \quad &&\text{[Udvid parentes vha. 1. kvadratsætning]} \\ &= 2x_0h + h^2 \quad &&\text{[Reducer leddene]} \end{aligned}

Trin 2: Opskriv og reducer differenskvotienten Δyh\frac{\Delta y}{h} Sekanthældningen opskrives for en tilvækst h0h \neq 0:

Δyh=2x0h+h2h=h(2x0+h)h[Faktoriser h uden for parentes i tælleren]=2x0+h[Forkort med h0]\begin{aligned} \frac{\Delta y}{h} &= \frac{2x_0h + h^2}{h} \\ &= \frac{h(2x_0 + h)}{h} \quad &&\text{[Faktoriser } h\text{ uden for parentes i tælleren]} \\ &= 2x_0 + h \quad &&\text{[Forkort med } h \neq 0\text{]} \end{aligned}

Trin 3: Bestem grænseværdien for h0h \to 0 Vi finder grænseværdien for sekanthældningen, hvilket giver tangenthældningen f(x0)f'(x_0):

f(x0)=limh0(2x0+h)=2x0f'(x_0) = \lim_{h \to 0} (2x_0 + h) = 2x_0

Hermed er det formelt bevist, at (x2)=2x(x^2)' = 2x.

Q.E.D. ∎