Terug naar les

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

Les presenterenDelen in ClassroomStudentpagina bekijken

Gebruik deze les in de klas

Gratis, leerlingen hebben geen account nodig.

Delen met leerlingen

Leerlingen openen de les en oefenen met directe feedback.

Werkblad om te printen

Alle oefenopgaven op papier, met een apart antwoordblad.

Werkblad Antwoorden

Klassenquiz

10 vragen over Wiskundige bewijzen. Leerlingen doen mee met een naam, jij ziet alle scores.

Voor docenten

Leerdoelen
  • Identificeer de hypothese en conclusie in een conditionele uitspraak
  • Construeer een direct bewijs met definities en algebraïsche manipulatie
  • Schrijf duidelijke, logische stappen die de hypothese met de conclusie verbinden
  • Pas direct bewijs toe op uitspraken uit de getaltheorie
Vereisten
  • • Begrip van conditionele uitspraken (als-dan)
  • • Basisalgebra en variabele manipulatie
  • • Bekendheid met definities van even en oneven getallen
  • • Kennis van eigenschappen van gehele getallen
Discussiestarters
  • 1. Waarom is het controleren van een paar voorbeelden niet hetzelfde als een bewijs?
  • 2. Kun je een uitspraak bedenken die waar lijkt maar moeilijk direct te bewijzen zou zijn?
  • 3. Hoe verschilt wiskundig bewijs van wetenschappelijk bewijs?
  • 4. Wat maakt een bewijs overtuigend?
Veelvoorkomende misvattingen

Het controleren van meerdere voorbeelden bewijst een uitspraak

Herstel: Toon een tegenvoorbeeld: 'Alle getallen kleiner dan 10 zijn geen priemgetallen' is onwaar (2, 3, 5, 7 zijn priemgetallen). Zelfs 1000 voorbeelden kunnen geen universele uitspraak bewijzen.

De volgorde van stappen maakt niet uit

Herstel: Laat leerlingen proberen een bewijs achterstevoren te lezen. De logische stroom breekt. Elke stap hangt af van vorige stappen.

DifferentiatieIdeeën

Voor leerlingen met moeite:

  • • Geef bewijssjablonen met invuloefeningen
  • • Focus eerst op één type bewijs (even/oneven getallen) voordat je diversifieert
  • • Sta toe dat leerlingen in tweetallen werken om elke stap te bespreken

Voor leerlingen op niveau:

  • • Bewijs uitspraken over sommen en producten van even/oneven getallen
  • • Schrijf bewijzen zonder sjablonen
  • • Identificeer fouten in gebrekkige bewijzen

Voor gevorderde leerlingen:

  • • Bewijs uitspraken over deelbaarheid en priemgetallen
  • • Vergelijk direct bewijs met bewijs uit het ongerijmde
  • • Creëer eigen vermoedens en bewijs ze
Standaarduitlijning
  • HSN-CN.A.2 (CCSS.MATH.CONTENT.HSN.CN.A.2)

    Gebruik de relatie i2=−1i^2 = -1 en de commutatieve, associatieve en distributieve eigenschappen om complexe getallen op te tellen, af te trekken en te vermenigvuldigen

  • HSA-APR.C.4 (CCSS.MATH.CONTENT.HSA.APR.C.4)

    Bewijs polynomiale identiteiten en gebruik ze om numerieke relaties te beschrijven

  • MP3 (CCSS.MATH.PRACTICE.MP3)

    Construeer haalbare argumenten en bekritiseer de redenering van anderen

Lesbronnen
  • visualBewijsstructuurdiagram

    Toont de stroom van hypothese naar conclusie

  • activityInvulbewijs

    Leerlingen vullen ontbrekende stappen in een bewijs aan

  • worksheetOefeningen direct bewijs

    Vijf stellingen om te bewijzen met direct bewijs

Lesinhoud

Alles wat leerlingen zien: definitie, voorbeelden, veelgemaakte fouten, toepassingen. Tik om te openen.

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}

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.

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

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

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.

Wat betekent QED?

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.

Hoe gedetailleerd moeten mijn stappen zijn?

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

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