Wiskundige bewiismetoaden
Bewiis yn wiskunde stiet sintraal yn dizze dissipline. Bewiismetoaden binne de basis foar it garandearjen fan 'e wierheid fan in wiskundige útspraak. Fan basisoannames oant konklúzjes moat elke stap garandearre jildich wêze. It begripen fan ferskate bewiismetoaden fersterket net allinich analytyske feardigens, mar ferriket ek de learûnderfining en tapassing fan wiskunde yn ferskate fjilden.
Dit artikel sil guon fan 'e wichtichste bewiismetoaden yn 'e wiskunde beprate, ynklusyf direkt bewiis, yndirekt bewiis (kontraposysje en tsjinspraak), wiskundige ynduksje, en bewiis troch spesifyk foarbyld. Elke metoade hat ferskillende tapassingen, sterke en swakke punten. Litte wy se yn mear detail ûndersykje.
1. Direkt bewiis
Definysje en foarbylden
Direkt bewiis is in metoade wêrby't wy in útspraak bewize troch oan te toanen dat as de premissen (oannames) wier binne, dan is de konklúzje ek wier. By direkt bewiis begjinne wy meastentiids mei wat bekend is en brûke wy logyske stappen om ta de konklúzje te kommen.
Contoh:
Bewiis dat as \(n\) in even getal is, dan is \(n^2\) ek even.
Bewiis:
Stel dat \(n\) in even getal is. Dan, neffens de definysje fan in even getal, kin skreaun wurde dat \(n = 2k\) foar in bepaald hiel getal \(k\). Sa,
\[ n^2 = (2k)^2 = 4k^2 = 2(2k^2) \]
It is dúdlik dat \(n^2\) útdrukt wurde kin as 2 kear in hiel getal (d.w.s. \(2k^2\)). Om't de wichtichste eask foar in even getal is dat it útdrukt wurde kin as 2 kear in hiel getal, dan is \(n^2\) ek in even getal.
2. Yndirekt bewiis
Yndirekt bewiis omfettet twa haadoanpakken: bewiis troch tsjinstelling en bewiis troch tsjinspraak.
a. Bewiis fan Kontraposysje
Definysje en foarbylden
Dizze metoade omfettet it bewizen fan 'e ymplisite útspraak "as \(P\), dan \(Q\)" troch it bewizen fan 'e kontrapositive fan' e útspraak: "as net \(Q\), dan net \(P\)".
Contoh:
Bewiis dat as \(n^2\) ûneven is, dan is \(n\) ek ûneven.
Bewiis:
De tsjinstelling fan 'e útspraak is: As \(n\) net ûneven (of even) is, dan is \(n^2\) net ûneven (of even).
Stel dat \(n\) even is, dan is \(n = 2k\) foar in hiel getal \(k\). Sa,
\[ n^2 = (2k)^2 = 4k^2 = 2(2k^2) \]
Dit betsjut dat \(n^2\) in even getal is. Sa is de kontrapositive bewiisd, en de orizjinele útspraak is ek garandearre wier te wêzen.
b. Bewiis troch tsjinspraak
Definysje en foarbylden
Bewiis troch tsjinspraak hâldt yn dat men oannimt dat de útspraak dy't bewiisd wurde moat falsk is en dat dizze oanname ta in logyske tsjinspraak liedt.
Contoh:
Bewiis dat \(\sqrt{2}\) in irrationaal getal is.
Bewiis:
Stel ynstee dat \(\sqrt{2}\) in rasjonaal getal is. Dan is \(\sqrt{2} = \frac{a}{b}\), wêrby't \(a\) en \(b\) relatyf prime hiele getallen binne (de subtraksje is 1), en \(b \ne 0\). Dat kinne wy skriuwe:
\[ \sqrt{2} = \frac{a}{b} \]
\[ 2 = \frac{a^2}{b^2} \]
\[ 2b^2 = a^2 \]
Ut dizze fergeliking sjogge wy dat \(a^2\) in even getal is, wat betsjut dat \(a\) ek even wêze moat. Stel dat \(a = 2k\), wy hawwe:
\[ 2b^2 = (2k)^2 \]
\[ 2b^2 = 4k^2 \]
\[ b^2 = 2k^2 \]
Omdat \(b^2\) in even getal is, moat \(b\) ek in even getal wêze. Dit betsjut dat \(a\) en \(b\) beide even getallen binne, wat yn striid is mei de oarspronklike oanname dat \(\frac{a}{b}\) yn syn ienfâldichste foarm is. Dêrom kin \(\sqrt{2}\) gjin rasjonaal getal wêze, en dêrom is it irrationeel.
3. Wiskundige ynduksje
Definysje en foarbylden
Wiskundige ynduksje is in bewiismetoade dy't brûkt wurdt om útspraken mei hiele getallen te bewizen. It proses bestiet út twa stappen: de ynduksjebasis en de ynduksjestap.
Contoh:
Bewiis dat de som fan 'e earste searje fan hiele getallen \(1 + 2 + 3 + … + n = \frac{n(n+1)}{2}\).
Bewiis:
– Ynduksjebasis:
Foar \(n = 1\),
\[ 1 = \frac{1(1+1)}{2} \]
korrekt.
– Ynduksjestappen:
Nim oan dat de útspraak wier is foar in getal \(k\). Dat is,
\[ 1 + 2 + 3 + … + k = \frac{k(k+1)}{2} \]
Wy moatte bewize dat it ek wier is foar \(k + 1\). Wy telle \((k + 1)\) op oan beide kanten fan 'e fergeliking:
\[ 1 + 2 + 3 + … + k + (k + 1) = \frac{k(k+1)}{2} + (k + 1) \]
\[ = \frac{k(k+1) + 2(k+1)}{2} \]
\[ = \frac{(k + 1)(k + 2)}{2} \]
Dat betsjut dat de útspraak wier is foar \(k + 1\). Neffens it prinsipe fan wiskundige ynduksje is de útspraak dus wier foar alle positive hiele getallen \(n\).
4. Bewiis mei spesifike foarbylden
Definysje en foarbylden
Dizze metoade hâldt yn dat bewiisd wurdt troch it selektearjen fan spesifike foarbylden dy't foldogge oan alle betingsten dy't yn 'e útspraak jûn binne en sjen litte dat de útspraak wier is. Dizze metoade wurdt lykwols meastentiids brûkt om in útspraak falsk te bewizen.
Contoh:
Bewiis dat der getallen binne dy't net útdrukt wurde kinne as de som fan twa perfekte kwadraten.
Bewiis:
Besykje foarbyld \(3\):
Stel dat \(3\) útdrukt wurde kin as de som fan twa perfekte kwadraten, nammentlik \(a^2 + b^2 = 3\). Nei it besykjen fan alle kombinaasjes fan 'e hiele getallen \(a\) en \(b\),
1. \(a = 0\), \(b^2 = 3\) (ûnmooglik).
2. \(a = 1\), \(b^2 = 2\) (ûnmooglik).
3. \(a = 2\), \(b^2 = -1\) (ûnmooglik).
4. Negative getallen of getallen grutter as 2 binne ek net mooglik.
Dit lit sjen dat \(3\) net útdrukt wurde kin as de som fan twa kwadraatgetallen. Dat betsjut dat der getallen binne dy't net útdrukt wurde kinne as de som fan twa perfekte kwadraatgetallen.
Konklúzje
Bewizen yn wiskunde fereaskje ferskillende metodologyen en systematyske stappen ôfhinklik fan it type útspraak dat bewiisd wurdt. Direkt bewiis, yndirekt bewiis (kontraposityf en tsjinspraak), wiskundige ynduksje en spesjale foarbylden binne guon fan 'e primêre bewiismetoaden dy't yn ferskate situaasjes brûkt wurde. Begrip fan dizze metoaden sil de fûneminten fan wiskunde fersterkje en jo helpe om de ferskate tûken fan wiskunde djipper te ferkennen.
Mei oefening en yngeand begryp sille wiskundige bewiismetoaden in ark wurde dat altyd klear is om brûkt te wurden by it oplossen fan komplekse wiskundige problemen.
