Docentenhandleiding: Introductie tot wiskundige bewijzen

Leer de grondbeginselen van wiskundige bewijzen en hoe je logische argumenten opbouwt.

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

Het doel en de structuur van een wiskundig bewijs uitleggen
Directe bewijzen construeren met definities en logisch redeneren
Bewijs uit het ongerijmde toepassen om aan te tonen dat beweringen waar zijn
Veelvoorkomende logische fouten in wiskundige argumenten identificeren
Elke stap van een bewijs rechtvaardigen met passende redenering

Vereisten

• Begrip van basale algebraïsche bewerkingen
• Bekendheid met gehele getallen, even en oneven getallen
• Basisbegrip van logische connectieven (en, of, als-dan)

Discussiestarters

1. Waarom eisen wiskundigen bewijzen in plaats van patronen gewoon te accepteren?
2. Kun je een patroon bedenken dat waar lijkt maar faalt voor grote getallen?
3. Hoe verschilt een wiskundig bewijs van wetenschappelijk bewijs?
4. Waarom zou het aannemen van het tegenovergestelde een nuttige strategie kunnen zijn bij het oplossen van problemen?

Veelvoorkomende misvattingen

Meerdere voorbeelden bewijzen dat een bewering altijd waar is

Bewijs uit het ongerijmde werkt altijd

Variabelen maken bewijzen moeilijker, niet gemakkelijker

DifferentiatieIdeeën

Voor leerlingen met moeite:

• Bewijssjablonen met lege plekken om in te vullen verstrekken
• Beginnen met zeer eenvoudige bewijzen over even/oneven getallen
• Kleurcodering gebruiken om hypothese, stappen en conclusie te onderscheiden

Voor leerlingen op niveau:

• Directe bewijzen oefenen met getaleigenschappen
• Bewijs uit het ongerijmde introduceren met begeleide voorbeelden
• Leerlingen de rechtvaardiging van elke stap laten uitleggen

Voor gevorderde leerlingen:

• Bewijs door wiskundige inductie verkennen
• Eigenschappen van priemgetallen bewijzen
• Complexe bewijzen analyseren en bekritiseren op geldigheid

Standaarduitlijning

HSG-CO.C.9 (CCSS.MATH.CONTENT.HSG.CO.C.9)
Stellingen over lijnen en hoeken bewijzen
MP3 (CCSS.MATH.PRACTICE.MP3)
Levensvatbare argumenten construeren en de redenering van anderen bekritiseren

Lesbronnen

visualBewijsstructuur-diagram
Visuele uitsplitsing van bewijscomponenten
activityVind de fout
Leerlingen identificeren gebreken in ongeldige bewijzen
worksheetOefening direct bewijs
Begeleide oefening met getaltheoretische bewijzen

Lesinhoud

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

Definitie

Een wiskundig bewijs is een logisch argument dat aantoont waarom een wiskundige bewering waar moet zijn. Bewijzen gebruiken vastgestelde feiten, definities en logische regels om tot een onweerlegbare conclusie te komen.

Een bewijs bestaat uit:

Gegeven informatie (premissen of hypothesen)
Logische stappen (elk gerechtvaardigd door een regel of eerder bewezen feit)
Conclusie (de te bewijzen bewering)

De structuur van een eenvoudig bewijs:

Waarbij onze beginaanname is en wat we willen bewijzen.

Uitgewerkte voorbeelden

Bewijs dat de som van twee even getallen even is.

Definieer wat even betekent

Een getal is even als voor een geheel getal → Definitie vastgesteld

Laat en twee even getallen zijn

Volgens definitie: en waarbij gehele getallen zijn → Uitdrukken met definitie

Tel de twee getallen op

→ Factor 2 buiten haakjes

Identificeer de vorm

is , wat de definitie van even is → Komt overeen met definitie

Formuleer de conclusie

Dus is even → QED

Antwoord: De som van twee even getallen is altijd even omdat , wat 2 keer een geheel getal is.

Veelgemaakte fouten

Specifieke voorbeelden gebruiken in plaats van een algemeen bewijs

Waarom het fout is: Aantonen dat even is bewijst alleen ÉÉN geval, niet ALLE gevallen.

Correct: Gebruik variabelen () om WILLEKEURIGE twee even getallen voor te stellen.

Aannemen wat je wilt bewijzen

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

Ontbrekende rechtvaardiging voor stappen

Waarom het fout is: Elke stap moet gerechtvaardigd worden door een definitie, axioma of eerder bewezen stelling.

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

Implicatierichting verwarren

Waarom het fout is: Als , vertelt weten dat ons NIET dat waar is.

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

Waarom het belangrijk is

Wiskundige bewijzen vormen de basis van alle wiskunde en kritisch denken:

Zekerheid: In tegenstelling tot wetenschap die steunt op bewijs, bieden bewijzen absolute zekerheid
Informatica: Programmaverificatie en algoritme-correctheid steunen op bewijzen
Recht: Juridische argumenten volgen vergelijkbare logische structuren
Filosofie: Logisch redeneren is essentieel voor filosofische argumenten
Probleemoplossing: Leren bewijzen ontwikkelt systematisch denken

Elke stelling die je in wiskunde gebruikt, is door iemand bewezen met deze technieken!

Toepassingen in de echte wereld

Informatica: Algoritme-correctheid

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

Voorbeeld:

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

1Probeer het zelf

Een lus herhaalt keer. Elke iteratie verdubbelt een teller die begint bij 1.

Bewijs dat de eindwaarde is.

Stap 1: Schrijf de wiskundige uitdrukking

Na iteraties is de waarde:

Cryptografie: Beveiligingsbewijzen

Moderne encryptie steunt op wiskundige bewijzen om veiligheid te garanderen.

Voorbeeld:

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

2Probeer het zelf

Als je het product van twee priemgetallen kunt ontbinden, kun je de code breken.

Waarom is 15 gemakkelijker te ontbinden dan 437?

Stap 1: Schrijf de wiskundige uitdrukking

Vergelijk het aantal te controleren factoren:

Juridisch redeneren: Argumenten opbouwen

Advocaten bouwen logische argumenten op vergelijkbaar met wiskundige bewijzen.

Voorbeeld:

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

3Probeer het zelf

Regel: Alle contracten vereisen een tegenprestatie (uitwisseling van waarde). Persoon A heeft een document ondertekend maar niets ontvangen.

Is dit een geldig contract?

Stap 1: Schrijf de wiskundige uitdrukking

Pas de logische regel toe:

Belangrijke punten

1Een wiskundig bewijs is een logisch argument dat aantoont waarom een bewering waar moet zijn
2Direct bewijs: neem de hypothese aan, leid de conclusie stap voor stap af
3Bewijs uit het ongerijmde: neem het tegenovergestelde aan, bereik een tegenspraak
4Elke stap moet gerechtvaardigd worden door een definitie, axioma of bewezen stelling
5Bewijzen moeten werken voor ALLE gevallen, niet alleen specifieke voorbeelden

Veelgestelde vragen

Wat is het verschil tussen een stelling en een axioma?

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.

Waarom hebben we bewijzen nodig als we voorbeelden kunnen testen?

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.

Wat betekent QED?

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

Woordenlijst

Bewijs: Een logisch argument dat aantoont dat een wiskundige bewering waar is
Stelling: Een wiskundige bewering waarvan is bewezen dat deze waar is
Axioma: Een bewering die zonder bewijs als waar wordt aangenomen; een startpunt voor redeneren
Hypothese: De beginaanname in een voorwaardelijke bewering (het 'als'-deel)
Conclusie: Het resultaat dat volgt uit de hypothese (het 'dan'-deel)
Tegenspraak: Een logische onmogelijkheid; twee beweringen die niet beide waar kunnen zijn
QED: Afkorting die het einde van een bewijs markeert (quod erat demonstrandum)

Meer over dit onderwerp

Direct bewijs

Gevorderd25 min