Direct bewijs

Leer directe bewijzen te construeren door logisch conclusies af te leiden uit gegeven hypothesen met behulp van definities, axioma's en eerder bewezen stellingen.

Gevorderd25 minLes
Werkblad om te printen

Definitie

Een direct bewijs is een methode om een wiskundige uitspraak te bewijzen door te beginnen met bekende feiten (de hypothese) en logische stappen te gebruiken om tot de conclusie te komen.
De structuur van een direct bewijs:
  1. 1.Aannemen dat de hypothese waar is
  2. 2.Toepassen van definities, axioma's en stellingen
  3. 3.Afleiden van de conclusie door logisch redeneren
Als we willen bewijzen "Als PP, dan QQ" (geschreven P⇒QP \Rightarrow Q):
  • Begin met aan te nemen dat PP waar is
  • Gebruik logische deducties om te tonen dat QQ ook waar moet zijn
P⇒Q betekent: telkens wanneer P waar is, is ook Q waarP \Rightarrow Q \text{ betekent: telkens wanneer } P \text{ waar is, is ook } Q \text{ waar}

Probeer het meteen

Wat is de eerste stap in een direct bewijs?

Uitgewerkte voorbeelden

Bewijs: Als aa en bb even gehele getallen zijn, dan is a+ba + b even.
1

Formuleer de hypothese

Stel dat aa en bb even gehele getallen zijn → Gegeven: aa en bb zijn even
2

Pas de definitie van even toe

Een even geheel getal kan worden geschreven als 2k2k voor een geheel getal kk → a=2ma = 2m en b=2nb = 2n voor gehele getallen m,nm, n
3

Tel de twee getallen op

a+b=2m+2na + b = 2m + 2n
4

Haal de gemeenschappelijke factor buiten haakjes

a+b=2(m+n)a + b = 2(m + n)
5

Pas de definitie van even opnieuw toe

Aangezien m+nm + n een geheel getal is, is 2(m+n)2(m + n) per definitie even → a+ba + b is even

Veelgemaakte fouten

Specifieke voorbeelden gebruiken in plaats van een algemeen bewijs

Waarom het fout is: Aantonen dat 2+4=62 + 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=2ma = 2m voor een geheel getal mm' om ELK even getal te vertegenwoordigen.

Aannemen wat je wilt bewijzen

Waarom het fout is: 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+ba + b even is...' totdat je het hebt bewezen.

Logische stappen overslaan

Waarom het fout is: 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.

Interactieve visualisatie

Waarheidstabel

P ∧ Q
PQP ∧ Q
OOO
OWO
WOO
WWW

W= WaarO= Onwaar

Interactieve sandbox

Expressiecalculator

Probeer deze:

Geschiedenis

Nog geen berekeningen

Oefenproblemen

17 opgaven
Opgave 1 van 17
Makkelijk
Wat is de eerste stap in een direct bewijs?

Waarom het belangrijk is

Direct bewijs is de meest fundamentele bewijstechniek in de wiskunde:
  • Fundament van wiskunde: Elke stelling die je gebruikt is bewezen met direct bewijs of verwante methoden
  • Informatica: Correctheidsbewijzen voor algoritmen gebruiken vaak direct redeneren
  • Juridische argumentatie: Advocaten construeren argumenten van bewijs naar conclusie
  • Wetenschappelijke methode: Het afleiden van voorspellingen uit hypothesen gebruikt dezelfde logische structuur
  • Probleemoplossing: Het opdelen van complexe problemen in logische stappen
Het beheersen van direct bewijs ontwikkelt rigoureus denken dat ver buiten de wiskunde toepasbaar is!

Toepassingen in de echte wereld

Softwareverificatie

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

Voorbeeld:

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.

1Probeer het zelf

Een programma verdubbelt elk getal in een lijst. We moeten bewijzen: als alle invoergetallen positief zijn, zijn alle uitvoergetallen positief.

Voltooi dit directe bewijs.

Stap 1: Kies het juiste antwoord

Als x>0x > 0, dan 2x>?2x > ?

Juridisch redeneren

Advocaten construeren argumenten die logisch leiden van bewijs naar conclusies.

Voorbeeld:

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.

2Probeer het zelf

Wet: Alle burgers boven 18 mogen stemmen. Feit: Alex is een burger. Feit: Alex is 21 jaar oud.

Bewijs dat Alex mag stemmen.

Stap 1: Kies het juiste antwoord

Welke vergelijking van de leeftijd van Alex met 18 maakt het argument af?

Belangrijke punten

  • 1Een direct bewijs neemt aan dat de hypothese waar is en leidt de conclusie af via logische stappen
  • 2Gebruik definities om woorden te vertalen naar wiskundige uitdrukkingen (bijv. even = 2k2k)
  • 3Elke stap moet logisch volgen uit vorige stappen met algebra, definities of stellingen
  • 4Het bewijs eindigt wanneer je de exacte vorm van de conclusie bereikt
  • 5QED (quod erat demonstrandum) markeert het einde van een bewijs

Veelgestelde vragen

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.
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.
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.
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.

Woordenlijst

Direct bewijs
Een bewijsmethode die de hypothese aanneemt en logische deductie gebruikt om de conclusie af te leiden
Hypothese
Het 'als'-deel van een conditionele uitspraak; wat we als waar aannemen
Conclusie
Het 'dan'-deel van een conditionele uitspraak; wat we willen bewijzen
QED
Afkorting voor 'quod erat demonstrandum', markeert het einde van een bewijs
Stelling
Een wiskundige uitspraak die als waar is bewezen
Axioma
Een uitspraak die als waar wordt aangenomen zonder bewijs; een startpunt voor redeneren
Uitdaging van vandaagEén opgave, drie pogingen

Meer over dit onderwerp

Introductie tot wiskundige bewijzen

Gevorderd25 min

Bewijzen in twee kolommen

Gemiddeld25 min

Bewijzen in alineavorm

Gevorderd30 min

Meetkundige bewijzen

Gevorderd30 min