Bewijzen dat de som van twee even getallen even is

Bewijs: Als $a$ en $b$ even gehele getallen zijn, dan is $a + b$ even.

Formuleer de hypothese: Stel dat $a$ en $b$ even gehele getallen zijn = Gegeven: $a$ en $b$ zijn even

Pas de definitie van even toe: Een even geheel getal kan worden geschreven als $2k$ voor een geheel getal $k$ = $a = 2m$ en $b = 2n$ voor gehele getallen $m, n$

Tel de twee getallen op: $a + b = 2m + 2n$ = $a + b = 2m + 2n$

Haal de gemeenschappelijke factor buiten haakjes: $a + b = 2(m + n)$ = $a + b = 2(m + n)$

Pas de definitie van even opnieuw toe: Aangezien $m + n$ een geheel getal is, is $2(m + n)$ per definitie even = $a + b$ is even

Answer: Daarom is de som van twee even gehele getallen altijd even. QED

Bewijzen dat het kwadraat van een oneven getal oneven is

Bewijs: Als $n$ een oneven geheel getal is, dan is $n^2$ oneven.

Formuleer de hypothese: Stel dat $n$ een oneven geheel getal is = Gegeven: $n$ is oneven

Pas de definitie van oneven toe: Een oneven geheel getal kan worden geschreven als $2k + 1$ voor een geheel getal $k$ = $n = 2k + 1$ voor een geheel getal $k$

Kwadrateer de uitdrukking: $n^2 = (2k + 1)^2$ = $n^2 = (2k + 1)^2$

Werk uit met algebra: $n^2 = 4k^2 + 4k + 1$ = $n^2 = 4k^2 + 4k + 1$

Ontbind om de oneven vorm te tonen: $n^2 = 2(2k^2 + 2k) + 1$ = $n^2 = 2(2k^2 + 2k) + 1$

Concludeer met de definitie: Dit is $2m + 1$ waarbij $m = 2k^2 + 2k$ een geheel getal is = $n^2$ is oneven

Answer: Daarom is het kwadraat van een oneven geheel getal altijd oneven. QED

Bewijzen van een deelbaarheidseigenschap

Bewijs: Als $n$ een geheel getal is, dan is $n^3 - n$ deelbaar door 3.

Ontbind de uitdrukking: $n^3 - n = n(n^2 - 1)$ = $n^3 - n = n(n^2 - 1)$

Ontbind verder met verschil van kwadraten: $n(n^2 - 1) = n(n-1)(n+1)$ = $n^3 - n = (n-1) \cdot n \cdot (n+1)$

Herken het patroon: $(n-1)$, $n$, $(n+1)$ zijn drie opeenvolgende gehele getallen = Product van 3 opeenvolgende gehele getallen

Pas een feit uit de getaltheorie toe: Van elke 3 opeenvolgende gehele getallen is er precies één deelbaar door 3 = Eén factor is deelbaar door 3

Concludeer: Aangezien één factor deelbaar is door 3, is het hele product deelbaar door 3 = $n^3 - n$ is deelbaar door 3

Answer: Daarom is voor elk geheel getal $n$ de uitdrukking $n^3 - n$ deelbaar door 3. QED

Mistake: Specifieke voorbeelden gebruiken in plaats van een algemeen bewijs

Why: Aantonen dat $2 + 4 = 6$ (even) bewijst niets over ALLE even getallen. Een bewijs moet werken voor elk mogelijk geval.

Correct: Gebruik variabelen en definities. Schrijf 'Stel $a = 2m$ voor een geheel getal $m$' om ELK even getal te vertegenwoordigen.

Mistake: Aannemen wat je wilt bewijzen

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

Correct: Begin alleen vanuit de hypothese en werk vooruit. Schrijf nooit 'Aangezien $a + b$ even is...' totdat je het hebt bewezen.

Mistake: Logische stappen overslaan

Why: Elke stap moet logisch volgen uit vorige stappen. Gaten in de redenering kunnen fouten verbergen.

Correct: Rechtvaardig elke stap met een definitie, axioma of eerder bewezen stelling.

Softwareverificatie

Programmeurs gebruiken de logica van direct bewijs om te verifiëren dat hun code correct werkt voor alle invoer.

Om te bewijzen dat een sorteeralgoritme altijd gesorteerde uitvoer produceert, tonen we aan: als de invoer een lijst is, heeft de uitvoer dezelfde elementen in niet-dalende volgorde.

Juridisch redeneren

Advocaten construeren argumenten die logisch leiden van bewijs naar conclusies.

Als het contract stelt dat betaling verschuldigd is bij levering, en de levering vond plaats op 1 maart, dan was de betaling verschuldigd op 1 maart.

Q: Hoe weet ik wanneer ik direct bewijs moet gebruiken versus andere methoden?

A: Probeer eerst direct bewijs voor positieve uitspraken zoals 'Als A, dan B.' Als je vastloopt, overweeg bewijs uit het ongerijmde of de contrapositie. Direct bewijs werkt goed wanneer je de hypothese algebraïsch kunt manipuleren.

Q: Wat betekent QED?

A: QED staat voor 'quod erat demonstrandum' (Latijn voor 'wat bewezen moest worden'). Het geeft aan dat het bewijs compleet is. Sommige wiskundigen gebruiken een vierkant symbool (grafsteen) in plaats daarvan.

Q: Hoe gedetailleerd moeten mijn stappen zijn?

A: Elke stap moet worden gerechtvaardigd door een definitie, eigenschap of stelling. Als je stappen overslaat, riskeer je fouten te verbergen. Bij twijfel, voeg meer details toe.