M9 E - Digitale Experimente von mathematischen Beweisen unterscheiden

Einleitung

Digitale Werkzeuge können in Sekunden sehr viele Beispiele erzeugen. Das ist stark zum Entdecken, aber noch kein allgemeingültiger Beweis.

Mini-Regel: Viele passende Beispiele machen eine Vermutung plausibel. Ein Beweis erklärt, warum die Aussage für alle zugelassenen Fälle gilt. Ein einziges Gegenbeispiel kann eine allgemeine Behauptung widerlegen.

Denkfrage zum Bild: Die Animation sieht überzeugend aus. Welche Eigenschaft müsste unabhängig von der gewählten Dreiecksgröße gelten, damit daraus ein Beweis wird?

Lernziele

Nach diesem aiMOOC kannst Du

1. Vermutungen aus digitalen Experimenten formulieren, aber nicht vorschnell als Beweis bezeichnen.
2. Gegenbeispiele gezielt suchen und allgemeine Aussagen damit widerlegen.
3. Parameter systematisch verändern und Ergebnisse kritisch prüfen.
4. einen geometrischen Zusammenhang erst experimentell untersuchen und anschließend allgemein begründen.
5. Rechenweg, Darstellung und Begründung so notieren, dass andere sie nachvollziehen können.
6. Ergebnisse aus Software oder KI prüfen; eine Ausgabe ersetzt keinen mathematischen Beweis.

Vorwissen-Check

1. Gerade oder ungerade?

$7\cdot 8=56$

Welche Eigenschaft fällt Dir auf? Reicht dieses Beispiel schon für die Aussage „Das Produkt zweier aufeinanderfolgender natürlicher Zahlen ist immer gerade“?

Lösung: Das Ergebnis ist gerade. Ein einzelnes Beispiel beweist die allgemeine Aussage nicht.

2. Winkelwissen

In einem Dreieck gilt:

$\alpha +\beta +\gamma =180^{\circ }$

Check: Du brauchst außerdem die Eigenschaft gleichschenkliger Dreiecke: Ihre Basiswinkel sind gleich groß.

3. Allgemeine Aussage

„Für alle natürlichen Zahlen $n$ gilt ...“ ist stärker als „Für $n=1,2,3,4$ hat es funktioniert“.

Merke: Das Wort alle verlangt eine allgemeine Begründung oder einen gültigen Beweis.

Digitale Experimente und Beweise unterscheiden

Digitale Beobachtung	Mathematischer Beweis
prüft einzelne oder viele Fälle	deckt alle zugelassenen Fälle ab
kann eine Vermutung stützen	leitet die Aussage aus bekannten Regeln her
kann Rundungs- oder Darstellungsfehler enthalten	macht Voraussetzungen und Schlussfolgerungen nachvollziehbar
findet oft Gegenbeispiele schnell	erklärt die Allgemeingültigkeit

Kurzform:

Viele Beispiele sind nicht dasselbe wie ein Beweis.

Ein gültiges Gegenbeispiel widerlegt eine allgemeine Behauptung.

Parameterexperiment 1: Aufeinanderfolgende Zahlen

Teste digital für viele natürliche Zahlen $n$:

$P(n)=n(n+1)$

$n$	$P(n)$
$2$	$2\cdot 3=6$
$7$	$7\cdot 8=56$
$20$	$20\cdot 21=420$
$101$	$101\cdot 102=10302$

Beobachtung: Alle getesteten Ergebnisse sind gerade.

Vermutung: Für jedes $n\in \mathbb{N}$ ist $n(n+1)$ gerade.

Beweisidee: Von zwei aufeinanderfolgenden ganzen Zahlen ist immer genau eine gerade. Deshalb enthält das Produkt immer den Faktor $2$.

Formal:

$n=2k\Rightarrow n(n+1)=2k(n+1)$

oder

$n=2k+1\Rightarrow n+1=2(k+1)$

Damit ist $n(n+1)$ in beiden Fällen durch $2$ teilbar.

Urteil: Die Tabelle war ein Experiment. Die Fallbegründung liefert den allgemeinen Nachweis.

Parameterexperiment 2: Die Falle der vielen Treffer

Untersuche

$p(n)=n^2+n+41$

Für viele kleine natürliche Zahlen erhältst Du Primzahlen. Das kann sehr überzeugend wirken.

Aber bei $n=40$ gilt:

$p(40)=40^2+40+41=1681=41^2$

Also ist $p(40)$ keine Primzahl.

Folgerung: Auch sehr viele passende Beispiele reichen nicht für die Aussage „Für alle $n$ ist $p(n)$ prim“. Das Gegenbeispiel $n=40$ widerlegt sie.

Visuelles Beispiel: Ein Muster wird zum Beweis

Datei:01-pyramiden-v3.webm

Das Video zeigt geometrisch, wie aus einem Muster eine allgemeine Begründung für eine Zahlenbeziehung entstehen kann. Entscheidend ist nicht die Zahl der gezeichneten Fälle, sondern die nachvollziehbare Struktur hinter allen Schritten.

Dynamische Geometrie: Experiment zuerst, Beweis danach

Satz des Thales als digitales Experiment

Verschiebe in der folgenden dynamischen Konstruktion den Punkt $C$ auf dem Halbkreis. Beobachte den Winkel $\mathrm{\angle }ACB$.

Datenschutz: Nutze externe Werkzeuge ohne Namen, Konten oder andere personenbezogene Daten.

Experimentelle Beobachtung:

Bei allen ausprobierten Positionen gilt näherungsweise $\mathrm{\angle }ACB\approx 90^{\circ }$.

Aber: Messen oder Ziehen allein beweist den Satz noch nicht. Messwerte können gerundet sein, und Du hast nicht unendlich viele Positionen geprüft.

Beweis des Satzes von Thales

Sei $M$ der Mittelpunkt des Kreises.

Da $MA$, $MB$ und $MC$ Radien sind, gilt:

$MA=MB=MC$

Damit sind die Dreiecke $AMC$ und $BMC$ gleichschenklig.

Setze

$\mathrm{\angle }MAC=\mathrm{\angle }ACM=\alpha$

und

$\mathrm{\angle }CBM=\mathrm{\angle }MCB=\beta$.

Dann ist

$\mathrm{\angle }ACB=\alpha +\beta$.

Mit der Winkelsumme im Dreieck $ABC$:

$\alpha +(\alpha +\beta )+\beta =180^{\circ }$

$2\alpha +2\beta =180^{\circ }$

$\alpha +\beta =90^{\circ }$

also

$\mathrm{\angle }ACB=90^{\circ }$.

Das ist die allgemeine Begründung. Sie hängt nicht von einer einzelnen gemessenen Position von $C$ ab.

Video laden

YouTube

YouTube sammelt möglicherweise persönliche Daten. Datenschutzrichtlinie

Fortfahren Ausblenden

Konstruktion ist nicht automatisch Beweis

Eine digitale Konstruktion kann zeigen, was vermutlich gilt. Für einen Beweis musst Du zusätzlich erklären, warum die verwendeten Konstruktionsschritte die Behauptung für alle passenden Figuren sichern.

Animierte Beweise kritisch lesen

Datei:Satz des Pythagoras – Beweis mit Scherung.webm

Eine Animation kann eine Beweisidee hervorragend sichtbar machen. Prüfe trotzdem:

1. Welche Figuren bleiben flächengleich?
2. Welche Verschiebung, Zerlegung oder Scherung wird verwendet?
3. Gilt der Schritt für jedes rechtwinklige Dreieck?
4. Ist jede Voraussetzung genannt?

Video laden

YouTube

YouTube sammelt möglicherweise persönliche Daten. Datenschutzrichtlinie

Fortfahren Ausblenden

Eine sichere Beweisstruktur

Für Klasse 9 E-Niveau ist folgende Reihenfolge besonders hilfreich:

Voraussetzungen → bekannte Regeln → Zwischenschritte → Behauptung

Beispiel:

$n\in \mathbb{Z}$

$n$ und $n+1$ sind aufeinanderfolgend.

Daher ist eine der beiden Zahlen gerade.

$\Rightarrow 2\mid n(n+1)$

Also ist $n(n+1)$ gerade.

Digitale Ergebnisse kritisch prüfen

Bei einem digitalen Ergebnis fragst Du:

1. Wurde nur gerundet?
2. Wurde nur ein begrenzter Wertebereich getestet?
3. Sind Sonderfälle ausgeschlossen?
4. Wurde die richtige Voraussetzung eingegeben?
5. Ist die Aussage wirklich allgemein oder nur für die getesteten Fälle plausibel?
6. Kann ein Gegenbeispiel gefunden werden?

KI-Regel: Eine KI kann Beweisideen, Beispiele oder Gegenbeispiele vorschlagen. Du musst jeden Rechenschritt und jede Schlussfolgerung prüfen. Eine KI-Ausgabe ist kein Beweis, solange die mathematische Begründung nicht nachvollziehbar geprüft ist.

Übungen mit Hilfestufen und Feedback

Übung 1: Experiment oder Beweis?

Jemand testet mit Software für $n=1$ bis $n=10000$, dass $n^2+n$ gerade ist, und schreibt: „Damit ist es bewiesen.“

Aufgabe: Beurteile die Aussage und ergänze einen echten Beweis.

Hilfestufe 1: Faktorisiere $n^2+n$.

Hilfestufe 2: Es gilt $n^2+n=n(n+1)$.

Feedback: Die 10000 Tests sind starke Evidenz, aber kein allgemeiner Beweis. Der Beweis folgt daraus, dass von $n$ und $n+1$ immer eine Zahl gerade ist.

Übung 2: Suche ein Gegenbeispiel

Behauptung: „Wenn $a^2>b^2$, dann ist $a>b$.“

Hilfestufe 1: Probiere auch negative Zahlen.

Hilfestufe 2: Vergleiche $a=-5$ und $b=4$.

Feedback: $(-5{)}^2=25>16=4^2$, aber $-5<4$. Die Behauptung ist widerlegt.

Übung 3: Geometrische Messung prüfen

Du misst in einer dynamischen Konstruktion zehnmal $\mathrm{\angle }ACB=90.0^{\circ }$.

Aufgabe: Formuliere zwei Gründe, warum die Messung allein kein Beweis ist.

Hilfestufe: Denke an endlich viele Tests und Rundung.

Feedback: Du hast nur endlich viele Fälle geprüft, und digitale Winkelanzeigen können runden. Für einen Beweis brauchst Du eine allgemeine geometrische Herleitung.

Typische Fehler

1. Fehler: „Es hat 1000-mal funktioniert, also gilt es immer.“ – Korrektur: Viele Treffer stützen nur eine Vermutung.
2. Fehler: Ein Bild wird als Beweis bezeichnet. – Korrektur: Erkläre die allgemeingültige Beziehung hinter dem Bild.
3. Fehler: Ein Gegenbeispiel wird ignoriert. – Korrektur: Ein gültiges Gegenbeispiel widerlegt eine All-Aussage.
4. Fehler: Softwarewerte werden ungeprüft übernommen. – Korrektur: Eingaben, Genauigkeit, Rundung und Sonderfälle prüfen.
5. Fehler: Eine KI-Antwort wird kopiert. – Korrektur: Jeden Schritt selbst nachvollziehen und mathematisch begründen.

Selbstkontrolle

Kannst Du diese vier Sätze sicher erklären?

1. Ein digitales Experiment kann eine Vermutung erzeugen.
2. Ein Gegenbeispiel kann eine allgemeine Behauptung widerlegen.
3. Ein Beweis braucht eine allgemeine Begründung.
4. Eine digitale oder KI-gestützte Ausgabe muss mathematisch geprüft werden.

Wenn Du einen Satz noch nicht erklären kannst, gehe zum passenden Beispiel zurück und formuliere ihn mit einem eigenen Beispiel.

Transfer

Untersuche die Behauptung:

Für jede ganze Zahl $n$ ist $n^2-n$ gerade.

Experiment: Teste positive, negative und große Werte.

Verallgemeinerung:

$n^2-n=n(n-1)$

Die Faktoren $n$ und $n-1$ sind aufeinanderfolgende ganze Zahlen. Einer davon ist gerade. Daher ist das Produkt gerade.

Transferfrage: Welche Rolle spielte das Experiment, und welcher Schritt machte daraus einen Beweis?

Kompetenzcheck

1. Du erhältst 5000 passende Rechnerwerte. Erkläre, was Du daraus schließen darfst und was nicht.
2. Formuliere zu einer falschen All-Aussage ein Gegenbeispiel.
3. Erkläre beim Satz des Thales den Unterschied zwischen Ziehversuch und Beweis.
4. Prüfe einen KI-generierten Beweis auf Voraussetzungen, Schlussregeln und Sonderfälle.
5. Entwickle zu einer Zahlenvermutung zuerst ein Parameterexperiment und danach eine allgemeine Herleitung.

Reflexion

Denkfrage: Wann hat Dir ein digitales Bild oder Experiment geholfen, die Beweisidee zu finden, obwohl es selbst noch kein Beweis war?

Denkfrage: Welche Art von Fehler findest Du leichter mit Software, und welche nur durch logisches Prüfen?

Folgekurs

Als Übergang in Klasse 10 kannst Du Beweise stärker systematisieren: direkte Beweise, Fallunterscheidungen, Widerspruchsideen und später vollständige Induktion.

Die Animation kann eine Idee veranschaulichen. Auch hier gilt: Erst die formal begründete Struktur macht aus der Anschauung einen Beweis.

Interaktive Aufgaben

Quiz: Teste Dein Wissen

Was zeigen viele passende digitale Beispiele sicher? (Sie machen eine Vermutung plausibler) (!Sie beweisen jede allgemeine Aussage) (!Sie ersetzen eine mathematische Begründung) (!Sie schließen alle Gegenbeispiele aus)

Was reicht aus, um eine allgemeine mathematische Behauptung zu widerlegen? (Ein gültiges Gegenbeispiel) (!Tausend passende Beispiele) (!Eine gerundete Messung) (!Eine Zeichnung ohne Begründung)

Warum ist eine Winkelmessung in dynamischer Geometrie allein kein Beweis? (Sie prüft nur ausgewählte Fälle und kann runden) (!Winkel dürfen digital nicht dargestellt werden) (!Geometrie kann grundsätzlich nicht bewiesen werden) (!Messungen sind immer falsch)

Welche Aussage beschreibt einen mathematischen Beweis am besten? (Eine allgemeine Herleitung aus Voraussetzungen und bekannten Regeln) (!Eine lange Liste richtiger Beispiele) (!Eine besonders genaue Zeichnung) (!Ein Ergebnis aus einer Tabellenkalkulation)

Was passiert beim Polynom n Quadrat plus n plus 41 bei n gleich 40? (Das Ergebnis ist keine Primzahl) (!Das Ergebnis ist gleich 41) (!Das Ergebnis ist negativ) (!Das Ergebnis ist gleich null)

Welche Rolle hat ein Parameterexperiment? (Es hilft Muster und mögliche Gegenbeispiele zu entdecken) (!Es ersetzt jeden Beweis) (!Es macht Voraussetzungen überflüssig) (!Es garantiert fehlerfreie Eingaben)

Was muss bei einer KI-generierten Begründung geschehen? (Jeder mathematische Schritt muss geprüft werden) (!Die Ausgabe gilt automatisch als Beweis) (!Nur das Endergebnis muss gelesen werden) (!Gegenbeispiele dürfen ignoriert werden)

Warum ist das Produkt zweier aufeinanderfolgender ganzer Zahlen gerade? (Eine der beiden Zahlen ist immer gerade) (!Beide Zahlen sind immer gerade) (!Beide Zahlen sind immer ungerade) (!Das Produkt ist immer eine Primzahl)

Was unterscheidet beim Satz des Thales das Experiment vom Beweis? (Der Beweis erklärt die Aussage für jede zulässige Lage) (!Das Experiment verwendet keine Geometrie) (!Der Beweis benötigt zwingend eine Messsoftware) (!Das Experiment ist immer genauer als Mathematik)

Welche Reihenfolge passt zu einer nachvollziehbaren Begründung? (Voraussetzungen dann Regeln dann Zwischenschritte dann Behauptung) (!Behauptung dann Zufallsbeispiel dann Vermutung dann Ende) (!Messwert dann Bild dann Behauptung dann Schätzung) (!Softwareausgabe dann Kopieren dann Abschluss dann Beweis)

Memory

Digitales Experiment	prüft konkrete Fälle
Beweis	allgemeine Herleitung
Gegenbeispiel	widerlegt eine All-Aussage
Parameter	veränderbare Größe
Vermutung	aus Beobachtungen entwickelte Aussage
Voraussetzung	Ausgangsbedingung eines Beweises

Drag and Drop

Ordne die richtigen Begriffe zu.	Thema
Vermutung	entsteht aus einem erkannten Muster
Gegenbeispiel	widerlegt eine allgemeine Aussage
Beweis	gilt für alle zugelassenen Fälle
Parameterexperiment	verändert eine Größe systematisch
Rundung	kann digitale Messwerte verfälschen

Kreuzworträtsel

Beweis	Wie heißt eine allgemeine mathematische Herleitung?
Vermutung	Wie heißt eine noch zu begründende Aussage aus Beobachtungen?
Gegenbeispiel	Wie heißt ein einzelner Fall, der eine All-Aussage widerlegt?
Parameter	Wie heißt eine systematisch veränderbare Größe?
Thales	Nach welchem Mathematiker ist der bekannte Halbkreissatz benannt?
Radius	Wie heißt die Strecke vom Kreismittelpunkt zum Kreisrand?

Lückentext

Vervollständige den Text.

Viele digitale Beispiele stützen zunächst eine . Eine allgemeine mathematische Herleitung heißt . Ein einziger widerlegender Fall ist ein . Eine systematisch veränderte Größe nennt man . Digitale Messwerte können durch beeinflusst sein. Eine KI-Ausgabe muss mathematisch werden. Beim Satz des Thales liefert das Verschieben eines Punktes eine Beobachtung, während die Winkelrechnung die allgemeine liefert.

Offene Aufgaben

Leicht

1. Vermutung: Finde mit einem Taschenrechner fünf Beispiele für eine Zahlenvermutung und notiere ausdrücklich, warum sie noch nicht bewiesen ist.
2. Gegenbeispiel: Erfinde eine falsche All-Aussage über ganze Zahlen und finde ein Gegenbeispiel.
3. Parameterexperiment: Verändere in einer Tabellenkalkulation einen Parameter und dokumentiere ein Muster mit einer kleinen Wertetabelle.
4. Beweis: Schreibe in eigenen Worten, warum $n(n+1)$ immer gerade ist.

Standard

1. Satz des Thales: Erstelle eine dynamische Konstruktion, verschiebe den Punkt $C$ und trenne Beobachtung und Beweis in zwei Abschnitte.
2. Satz des Pythagoras: Analysiere eine Beweisanimation und benenne jeden flächenerhaltenden Schritt.
3. Digitale Geometrie: Konstruiere eine Figur, formuliere eine Vermutung und suche anschließend nach einer allgemeinen Begründung.
4. Fehleranalyse: Lass Dir von einer KI eine Begründung erzeugen und markiere Voraussetzungen, korrekte Schritte und mögliche Lücken. Verwende keine personenbezogenen Daten.

Schwer

1. Verallgemeinerung: Untersuche $n^2-n$ digital und entwickle danach einen formalen Beweis für alle ganzen Zahlen.
2. Gegenbeispielsuche: Entwickle eine Strategie, mit der Du falsche Aussagen über Quadrate ganzer Zahlen systematisch auf Gegenbeispiele prüfst.
3. Beweiskritik: Vergleiche einen visuellen und einen algebraischen Beweis desselben Satzes. Erkläre, welche allgemeinen Eigenschaften jeweils benutzt werden.
4. Mathematisches Modell: Entwickle ein digitales Modell mit Parameter, formuliere eine Vermutung, teste Randfälle und entscheide anschließend, welche zusätzliche Begründung für einen Beweis nötig wäre.

Lernkontrolle

1. Beispiel und Beweis: Eine Software bestätigt eine Aussage für eine Million Werte. Begründe präzise, warum daraus nicht automatisch Allgemeingültigkeit folgt, und beschreibe, was zusätzlich nötig wäre.
2. Gegenbeispiel und Verallgemeinerung: Erhalte eine falsche All-Aussage, finde ein Gegenbeispiel und formuliere danach eine korrigierte Aussage mit passender Voraussetzung.
3. Dynamische Geometrie: Analysiere eine bewegliche Konstruktion und trenne Messbeobachtung, Vermutung und Beweisidee.
4. Beweisstruktur: Ordne einen gegebenen Beweis in Voraussetzungen, bekannte Regeln, Zwischenschritte und Schlussfolgerung.
5. Digitale Fehlerprüfung: Ein Computer liefert einen gerundeten Wert. Entwickle eine Prüfung, die entscheidet, ob der beobachtete Zusammenhang exakt oder nur näherungsweise gilt.
6. KI und Mathematik: Prüfe eine KI-generierte Begründung auf logische Lücken und verbessere sie zu einer nachvollziehbaren mathematischen Argumentation.

Lernnachweis

Für einen Lernnachweis zu diesem Thema ist wichtig:

1. Du unterscheidest sicher zwischen Beobachtung, Vermutung, Gegenbeispiel und Beweis.
2. Du kannst ein Parameterexperiment planen und Ergebnisse kritisch prüfen.
3. Du kannst eine All-Aussage mit einem Gegenbeispiel widerlegen.
4. Du kannst mindestens einen allgemeinen algebraischen Beweis nachvollziehbar darstellen.
5. Du kannst beim Satz des Thales Experiment und Beweis unterscheiden.
6. Du begründest Rechenwege und geometrische Schritte statt nur Ergebnisse anzugeben.
7. Du prüfst digitale und KI-generierte Resultate selbstständig und verwendest dabei keine personenbezogenen Daten.

OERs zum Thema

Weitere freie bzw. schulische Materialien:

1. Bildungsplan Baden-Württemberg: Mathematisch argumentieren und beweisen
2. Bildungsplan Baden-Württemberg: Mit Medien mathematisch arbeiten
3. Landesbildungsserver Baden-Württemberg: Geometrische Beweise
4. Universität Stuttgart: Logik und Beweise für Schülerinnen und Schüler
5. Wikimedia Commons: freie Mediendateien

Medienhinweis: Prüfe beim Weiterverwenden die jeweilige Dateiseite auf Wikimedia Commons auf Lizenz und erforderliche Namensnennung. Externe Videos und Applets sollen nur datenschutzkonform geöffnet werden.

Verknüpfte Lernbereiche

Mathematisches Argumentieren und Beweisen Vermutung Gegenbeispiel Parameter Digitale Mathematikwerkzeuge Satz des Thales Satz des Pythagoras