Direct bewijs: Som van twee even getallen

Bewijs dat de som van twee even getallen even is.

Definieer wat even betekent: Een getal $n$ is even als $n = 2k$ voor een geheel getal $k$ = Definitie vastgesteld

Laat $a$ en $b$ twee even getallen zijn: Volgens definitie: $a = 2m$ en $b = 2n$ waarbij $m, n$ gehele getallen zijn = Uitdrukken met definitie

Tel de twee getallen op: $a + b = 2m + 2n = 2(m + n)$ = Factor 2 buiten haakjes

Identificeer de vorm: $2(m + n)$ is $2 \times (\text{geheel getal})$, wat de definitie van even is = Komt overeen met definitie

Formuleer de conclusie: Dus $a + b$ is even = QED

Answer: De som van twee even getallen is altijd even omdat $2m + 2n = 2(m+n)$, wat 2 keer een geheel getal is.

Bewijs uit het ongerijmde: De vierkantswortel van 2 is irrationaal

Bewijs dat $\sqrt{2}$ irrationaal is.

Neem het tegenovergestelde aan: Neem aan dat $\sqrt{2}$ rationaal is, dus $\sqrt{2} = \frac{a}{b}$ waarbij $a, b$ gehele getallen zonder gemeenschappelijke factoren zijn = Begin met tegengestelde aanname

Kwadrateer beide zijden: $2 = \frac{a^2}{b^2}$, dus $a^2 = 2b^2$ = $a^2$ is even

Leid af dat $a$ even is: Als $a^2$ even is, dan moet $a$ even zijn (als $a$ oneven zou zijn, zou $a^2$ oneven zijn) = $a = 2k$ voor een geheel getal $k$

Substitueer terug: $(2k)^2 = 2b^2$, dus $4k^2 = 2b^2$, dus $b^2 = 2k^2$ = $b^2$ is even

Leid af dat $b$ even is: Met dezelfde logica moet $b$ even zijn = Zowel $a$ als $b$ zijn even

Identificeer de tegenspraak: Maar we zeiden dat $a$ en $b$ geen gemeenschappelijke factoren hebben. Als beide even zijn, delen ze factor 2! = TEGENSPRAAK

Concludeer: Onze aanname was onjuist, dus $\sqrt{2}$ is irrationaal = QED

Answer: $\sqrt{2}$ is irrationaal omdat aannemen dat het rationaal is leidt tot een logische tegenspraak.

Direct bewijs: Product van oneven getallen

Bewijs dat het product van twee oneven getallen oneven is.

Definieer wat oneven betekent: Een getal $n$ is oneven als $n = 2k + 1$ voor een geheel getal $k$ = Definitie vastgesteld

Laat $a$ en $b$ twee oneven getallen zijn: $a = 2m + 1$ en $b = 2n + 1$ waarbij $m, n$ gehele getallen zijn = Uitdrukken met definitie

Vermenigvuldig de getallen: $a \times b = (2m + 1)(2n + 1)$ = Vermenigvuldiging opzetten

Uitwerken: $= 4mn + 2m + 2n + 1 = 2(2mn + m + n) + 1$ = Factor 2 buiten haakjes

Identificeer de vorm: $2(2mn + m + n) + 1$ is $2 \times (\text{geheel getal}) + 1$, wat oneven is = Komt overeen met definitie

Formuleer de conclusie: Dus $a \times b$ is oneven = QED

Answer: Het product van twee oneven getallen is altijd oneven omdat $(2m+1)(2n+1) = 2(2mn+m+n) + 1$.

Mistake: Specifieke voorbeelden gebruiken in plaats van een algemeen bewijs

Why: Aantonen dat $2 + 4 = 6$ even is bewijst alleen ÉÉN geval, niet ALLE gevallen.

Correct: Gebruik variabelen ($2m + 2n$) om WILLEKEURIGE twee even getallen voor te stellen.

Mistake: Aannemen wat je wilt bewijzen

Why: Je kunt de conclusie niet in je redenering gebruiken - dat is circulaire logica.

Correct: Begin alleen met gegeven informatie en definities, leid dan de conclusie af.

Mistake: Ontbrekende rechtvaardiging voor stappen

Why: Elke stap moet gerechtvaardigd worden door een definitie, axioma of eerder bewezen stelling.

Correct: Geef altijd aan WAAROM elke stap volgt uit de vorige.

Mistake: Implicatierichting verwarren

Why: Als $P \Rightarrow Q$, vertelt weten dat $Q$ ons NIET dat $P$ waar is.

Correct: Wees voorzichtig: de omgekeerde en inverse van een ware bewering kunnen onwaar zijn.

Informatica: Algoritme-correctheid

Software-ingenieurs gebruiken bewijzen om te verifiëren dat programma's correct werken voor alle invoer.

Bewijzen dat een sorteeralgoritme altijd een gesorteerde lijst produceert vereist wiskundige inductie.

Cryptografie: Beveiligingsbewijzen

Moderne encryptie steunt op wiskundige bewijzen om veiligheid te garanderen.

De veiligheid van RSA-encryptie is gebaseerd op de bewezen moeilijkheid van het ontbinden van grote getallen.

Juridisch redeneren: Argumenten opbouwen

Advocaten bouwen logische argumenten op vergelijkbaar met wiskundige bewijzen.

Juridisch redeneren volgt 'Als het bewijs X aantoont, en X schuld impliceert, dan is de verdachte schuldig.'

Q: Wat is het verschil tussen een stelling en een axioma?

A: Een axioma is een bewering die zonder bewijs als waar wordt aangenomen. Een stelling is een bewering die is bewezen met behulp van axioma's en andere stellingen.

Q: Waarom hebben we bewijzen nodig als we voorbeelden kunnen testen?

A: Voorbeelden testen toont alleen aan dat specifieke gevallen werken. Een bewijs garandeert dat ALLE gevallen werken. We kunnen bijvoorbeeld niet oneindig veel getallen testen, maar een bewijs dekt ze allemaal.

Q: Wat betekent QED?

A: QED staat voor 'quod erat demonstrandum' (Latijn voor 'wat bewezen moest worden'). Het markeert het einde van een bewijs.