Matematik C beviser
Kapitel Overblik Mundtlige Beviser (C)
🌱 Matematik C

Dette modul gennemgår de mest centrale eksamensrelevante beviser på C-niveau. Du lærer at præsentere beviserne med universitetslignende stringens og kompakte ligninger.

Du lærer at:
  • Kunne præsentere lineær to-punkts hældning og Pythagoras formelt
  • Forstå opbygningen af direkte og geometriske beviser
  • Kunne udtrykke matematiske argumenter stringent og kompakt
💡
Intuitionen

"Et matematisk bevis viser uomtvisteligt, at en sætning er sand under de givne forudsætninger."

Mundtlige Eksamensbeviser – Matematik C

Herunder finder du de formelle eksamensbeviser til Matematik C. De er struktureret med den præcision og stringens, du ville forvente i en universitetslærebog, men forklaret pædagogisk.


Bevis 1: To-punkts-formlen for en lineær funktion

Dette bevis etablerer formlerne for hældningskoefficienten aa og begyndelsesværdien bb for en ret linje.

Sætning (To-punkts-formlen for hældning og skæring)

Lad f(x)=ax+bf(x) = ax + b være en lineær funktion, og lad (x1,y1)(x_1, y_1) og (x2,y2)(x_2, y_2) være to punkter på grafen for ff, hvor x1x2x_1 \neq x_2. Da er konstanterne aa og bb givet ved: a=y2y1x2x1ogb=y1ax1a = \frac{y_2 - y_1}{x_2 - x_1} \quad \text{og} \quad b = y_1 - a \cdot x_1

Bevismetode: Direkte bevis (Algebraisk udledning)

Da punkterne (x1,y1)(x_1, y_1) og (x2,y2)(x_2, y_2) ligger på grafen for ff, er følgende ligningssystem opfyldt pr. definition:

  1. y1=ax1+by_1 = a \cdot x_1 + b
  2. y2=ax2+by_2 = a \cdot x_2 + b

Vi trækker ligning (1) fra ligning (2) for at eliminere skæringskonstanten bb:

y2y1=(ax2+b)(ax1+b)[Subtraktion af ligning (1) fra (2)]=ax2ax1[Hæv parenteserne og reducer b]=a(x2x1)[Faktoriser fælles hældning a]\begin{aligned} y_2 - y_1 &= (a x_2 + b) - (a x_1 + b) \quad &&\text{[Subtraktion af ligning (1) fra (2)]} \\ &= a x_2 - a x_1 \quad &&\text{[Hæv parenteserne og reducer } b\text{]} \\ &= a(x_2 - x_1) \quad &&\text{[Faktoriser fælles hældning } a\text{]} \end{aligned}

Da x1x2x_1 \neq x_2, er differencen x2x10x_2 - x_1 \neq 0. Vi kan derfor dividere med (x2x1)(x_2 - x_1) på begge sider af lighedstegnet for at isolere aa:

a=y2y1x2x1a = \frac{y_2 - y_1}{x_2 - x_1}

Dette beviser formlen for aa.

Herefter isolerer vi begyndelsesværdien bb ved direkte at tage udgangspunkt i ligning (1):

y1=ax1+b    b=y1ax1y_1 = a \cdot x_1 + b \implies b = y_1 - a \cdot x_1

Hvilket beviser formlen for bb.

Q.E.D. ∎

Bevis 2: Pythagoras’ Sætning

Dette bevis udleder den berømte relation mellem sidelængderne i en retvinklet trekant.

Sætning (Pythagoras’ læresætning)

For enhver retvinklet trekant med katetelængderne aa og bb samt hypotenuselængden cc gælder relationen: a2+b2=c2a^2 + b^2 = c^2

Bevismetode: Geometrisk arealbevis

Vi betragter et kvadrat med sidelængden (a+b)(a + b). Inden i dette kvadrat placeres fire kopier af den retvinklede trekant langs yderkanterne, hvilket danner et indre kvadrat med sidelængden cc.

Vi opstiller to ækvivalente metoder til beregning af det samlede areal:

AMetode 1=(a+b)2[Areal af det ydre kvadrat med sidelængde a+b]=a2+b2+2ab[Udviklet via 1. kvadratsætning]\begin{aligned} A_{\text{Metode 1}} &= (a + b)^2 \quad &&\text{[Areal af det ydre kvadrat med sidelængde } a+b\text{]} \\ &= a^2 + b^2 + 2ab \quad &&\text{[Udviklet via 1. kvadratsætning]} \end{aligned}AMetode 2=4(12ab)+c2[Summen af 4 trekanter og det indre c-kvadrat]=2ab+c2[Reducer brøkmultiplikation]\begin{aligned} A_{\text{Metode 2}} &= 4 \cdot \left(\frac{1}{2}ab\right) + c^2 \quad &&\text{[Summen af } 4\text{ trekanter og det indre } c\text{-kvadrat]} \\ &= 2ab + c^2 \quad &&\text{[Reducer brøkmultiplikation]} \end{aligned}

Da begge metoder beskriver det samme areal, sætter vi dem lig hinanden og isolerer:

a2+b2+2ab=2ab+c2a2+b2=c2[Subtraher 2ab pa˚ begge sider]\begin{aligned} a^2 + b^2 + 2ab &= 2ab + c^2 \\ a^2 + b^2 &= c^2 \quad &&\text{[Subtraher } 2ab\text{ på begge sider]} \end{aligned}

Hermed er Pythagoras’ sætning bevist.

Q.E.D. ∎