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

De volgorde van stappen maakt niet uit

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 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. Aannemen dat de hypothese waar is 2. Toepassen van definities, axioma's en stellingen 3. Afleiden van de conclusie door logisch redeneren

Als we willen bewijzen "Als , dan " (geschreven ):

Begin met aan te nemen dat waar is
Gebruik logische deducties om te tonen dat ook waar moet zijn

Uitgewerkte voorbeelden

Bewijs: Als en even gehele getallen zijn, dan is even.

Formuleer de hypothese

Stel dat en even gehele getallen zijn → Gegeven: en zijn even

Pas de definitie van even toe

Een even geheel getal kan worden geschreven als voor een geheel getal → en voor gehele getallen

Tel de twee getallen op

→

Haal de gemeenschappelijke factor buiten haakjes

→

Pas de definitie van even opnieuw toe

Aangezien een geheel getal is, is per definitie even → is even

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

Veelgemaakte fouten

Specifieke voorbeelden gebruiken in plaats van een algemeen bewijs

Waarom het fout is: Aantonen dat (even) bewijst niets over ALLE even getallen. Een bewijs moet werken voor elk mogelijk geval.

Correct: Gebruik variabelen en definities. Schrijf 'Stel voor een geheel getal ' 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 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: Schrijf de wiskundige uitdrukking

Als , dan

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: Schrijf de wiskundige uitdrukking

Structureer het logische argument

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 = )
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