M8 E - KI-Begründungen von mathematischen Beweisen unterscheiden

aiMOOC

M8 E - KI-Begründungen von mathematischen Beweisen unterscheiden

QR-Code

M8 E - KI-Begründungen von mathematischen Beweisen unterscheiden

Mini-Beschreibung: Prüfe, ob eine KI-Antwort wirklich eine allgemeingültige mathematische Begründung liefert oder nur Beispiele, Vermutungen oder plausible Aussagen nennt. Du arbeitest auf E-Niveau mit Geometrie, Termidentitäten, Gegenbeispielen und mehrschrittigen Begründungen.

Niveau: Mathematik Klasse 8, Baden-Württemberg, E-Niveau.

Einleitung

Eine KI kann eine überzeugend klingende Antwort erzeugen, ohne etwas bewiesen zu haben. In Mathematik zählt nicht, wie sicher ein Text klingt, sondern ob jeder Schritt nachvollziehbar ist und die Aussage für alle zulässigen Fälle gilt.

Prüffrage: Zeigt die Antwort nur Beispiele – oder erklärt sie, warum die Aussage immer gelten muss?

Die Animation zeigt die Idee hinter einem Beweis der Winkelsumme im Dreieck. Ein Bild kann eine Begründung unterstützen, ersetzt aber nicht die logische Kette.

Video laden

YouTube

YouTube sammelt möglicherweise persönliche Daten. Datenschutzrichtlinie

Fortfahren Ausblenden

Lernziele

Nach diesem aiMOOC kannst Du

1. Beweise von Beispielen, Vermutungen und Plausibilitätsargumenten unterscheiden.
2. allgemeine Aussagen mit einem Gegenbeispiel widerlegen.
3. bei KI-Ausgaben Voraussetzung, Behauptung, Begründungsbasis und Schlusskette markieren.
4. Termidentitäten durch zulässige Umformungen begründen.
5. geometrische Aussagen mit bekannten Winkelsätzen und Konstruktionen begründen.
6. mehrschrittige Argumentationen selbstständig prüfen, verbessern und verallgemeinern.
7. digitale Ergebnisse kritisch prüfen und dabei keine personenbezogenen Daten eingeben.

Vorwissen-Check

Prüfe Dich kurz. Schreibe erst eine eigene Antwort und vergleiche danach.

1. Distributivgesetz: $a(b+c)=ab+ac$
2. Quadrat einer Summe: $(a+b{)}^2=(a+b)(a+b)$
3. Gestreckter Winkel: $180^{\circ }$
4. Gegenbeispiel: Ein einziger zulässiger Fall, in dem eine allgemeine Behauptung falsch ist, genügt zur Widerlegung.

Wenn Dir Punkt 1 oder 3 unsicher ist, wiederhole zuerst Distributivgesetz und Winkel an Geraden.

Beweisschema: KI-Antworten prüfen

Nutze dieses Schema bei jeder mathematischen KI-Ausgabe:

1. Voraussetzung → Was ist gegeben?

2. Behauptung → Was soll für alle zulässigen Fälle gelten?

3. Begründungsbasis → Welche Definitionen, Rechengesetze oder bereits bekannten Sätze werden benutzt?

4. Schlusskette → Folgt jeder Schritt aus dem vorherigen?

5. Allgemeingültigkeit → Werden Variablen allgemein behandelt oder nur einzelne Zahlen eingesetzt?

6. Gegenprobe → Kann ein Gegenbeispiel die Behauptung widerlegen?

Merksatz: Viele richtige Beispiele machen eine allgemeine Aussage plausibel, aber sie beweisen sie nicht.

Interaktives Beispiel 1: Geometrie

Behauptung: In jedem Dreieck gilt

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

KI-Antwort A: „Beim Dreieck mit $30^{\circ }$, $60^{\circ }$ und $90^{\circ }$ stimmt es. Beim Dreieck mit $50^{\circ }$, $60^{\circ }$ und $70^{\circ }$ auch. Also stimmt es immer.“

Prüfung: Das sind nur zwei Beispiele. Die Antwort zeigt nicht, warum jedes Dreieck die Eigenschaft besitzt. Kein Beweis.

Beweisidee mit Parallelengerade:

Gegeben ist ein Dreieck $ABC$. Durch $C$ wird eine Gerade parallel zu $AB$ gezeichnet.

1. Wegen der Parallelität ist der an $C$ entstehende Wechselwinkel gleich $\alpha$.
2. Der andere Wechselwinkel ist gleich $\beta$.
3. Diese beiden Winkel und $\gamma$ bilden an der Geraden durch $C$ einen gestreckten Winkel.
4. Daher gilt $\alpha +\beta +\gamma =180^{\circ }$.

Urteil: Die Schlusskette verwendet allgemeine Winkelsätze und gilt für jedes Dreieck. Das ist eine mathematische Begründung.

Denkfrage: Welche Zeile wäre unzulässig, wenn die Gerade durch $C$ nicht parallel zu $AB$ wäre?

Interaktives Beispiel 2: Termidentität

Behauptung: Für alle reellen Zahlen $a$ und $b$ gilt

$(a+b{)}^2=a^2+2ab+b^2$.

KI-Antwort B: „Für $a=2$ und $b=3$ ist links $25$ und rechts ebenfalls $25$. Die Formel ist also bewiesen.“

Prüfung: Ein Zahlenbeispiel prüft nur einen Fall. Kein Beweis.

Allgemeine Rechnung:

$(a+b{)}^2=(a+b)(a+b)$

$=a(a+b)+b(a+b)$

$=a^2+ab+ab+b^2$

$=a^2+2ab+b^2$

Jeder Schritt folgt aus dem Distributivgesetz und dem Zusammenfassen gleichartiger Terme. Weil $a$ und $b$ nicht auf einzelne Zahlen festgelegt sind, ist die Begründung allgemein.

Video laden

YouTube

YouTube sammelt möglicherweise persönliche Daten. Datenschutzrichtlinie

Fortfahren Ausblenden

Interaktives Beispiel 3: Gegenbeispiel statt langer Diskussion

Eine KI behauptet:

$(a+b{)}^2=a^2+b^2$ für alle reellen $a,b$.

Setze $a=1$ und $b=1$:

$(1+1{)}^2=4$

aber

$1^2+1^2=2$.

Da $4\ne 2$, ist die allgemeine Behauptung widerlegt.

Wichtig: Ein Beispiel kann eine allgemeine Aussage normalerweise nicht beweisen. Ein einziges Gegenbeispiel kann sie aber widerlegen.

Interaktives Beispiel 4: Zwei Darstellungen prüfen

Behauptung:

$(a+b)(a-b)=a^2-b^2$.

Algebraischer Weg:

$(a+b)(a-b)=a^2-ab+ab-b^2=a^2-b^2$.

Geometrischer Weg: Eine passende Flächenzerlegung kann denselben Zusammenhang sichtbar machen.

Prüfkriterium: Eine Zeichnung ist dann besonders stark, wenn klar ist, welche Flächen gleich groß sind und warum die Zerlegung für beliebige zulässige Seitenlängen funktioniert.

Übungen mit Hilfestufen und Feedback

Übung 1: KI-Antwort klassifizieren

Aussage: $3(n+2)=3n+6$ für alle reellen $n$.

KI-Antwort: „Für $n=1$, $n=2$ und $n=10$ stimmt es. Also stimmt es immer.“

Aufgabe: Entscheide: Beweis, Plausibilitätsprüfung oder Widerlegung?

Hilfe 1: Werden alle Werte von $n$ erfasst?

Hilfe 2: Forme die linke Seite mit einem Rechengesetz um.

Feedback: Es ist nur eine Plausibilitätsprüfung. Ein Beweis ist kurz möglich: $3(n+2)=3n+6$ durch das Distributivgesetz.

Übung 2: Fehlenden Beweisschritt finden

Eine KI schreibt:

$(x+4{)}^2=x^2+16$.

Aufgabe: Finde den Fehler und verbessere die Rechnung.

Hilfe 1: Schreibe das Quadrat als Produkt.

Hilfe 2: $(x+4{)}^2=(x+4)(x+4)$.

Feedback:

$(x+4{)}^2=x^2+4x+4x+16=x^2+8x+16$.

Der Mittelterm fehlte.

Übung 3: Geometrische Begründung prüfen

Eine KI sagt: „Die Winkelsumme im Dreieck ist $180^{\circ }$, weil das in jeder Zeichnung so aussieht.“

Aufgabe: Formuliere zwei Sätze, die daraus eine mathematische Begründung machen.

Hilfe 1: Zeichne durch einen Eckpunkt eine Parallele zur gegenüberliegenden Seite.

Hilfe 2: Nutze Wechselwinkel und den gestreckten Winkel.

Feedback: Entscheidend sind die begründeten Winkelgleichheiten und der gestreckte Winkel, nicht das Aussehen der Zeichnung.

Übung 4: Gegenbeispiel finden

Prüfe die Behauptung:

$x^2>x$ für alle reellen $x$.

Hilfe 1: Teste Werte zwischen $0$ und $1$.

Feedback: Zum Beispiel $x=\mathrm{0,5}$: $\mathrm{0,25}<\mathrm{0,5}$. Damit ist die Behauptung widerlegt.

Typische Fehler

1. Beispiel = Beweis: Falsch. Einzelne Fälle zeigen höchstens Plausibilität.
2. Viele Beispiele = sicher: Falsch. Auch tausend geprüfte Fälle erfassen nicht automatisch alle Fälle.
3. Bild sieht richtig aus: Eine Zeichnung kann täuschen; Winkel und Längen müssen begründet werden.
4. KI klingt sicher: Sprachliche Sicherheit ist kein mathematisches Kriterium.
5. Umformung ohne Gesetz: Prüfe, ob jeder Schritt aus Rechengesetzen folgt.
6. Gegenbeispiel falsch gewählt: Es muss die Voraussetzungen erfüllen.
7. Persönliche Daten im Prompt: Nicht nötig. Nutze neutrale mathematische Angaben ohne Namen, Kontaktdaten oder andere personenbezogene Informationen.

Selbstkontrolle

Markiere für eine KI-Antwort jeweils Ja oder Noch nicht:

1. Ich kann Voraussetzung und Behauptung trennen.
2. Ich erkenne, ob nur Beispiele geprüft wurden.
3. Ich kann jeden Rechenschritt mit einem Gesetz begründen.
4. Ich kann bei einer falschen Allaussage ein Gegenbeispiel suchen.
5. Ich kann erklären, warum eine geometrische Konstruktion allgemein funktioniert.
6. Ich kann eine KI-Antwort verbessern, ohne ihre Formulierungen ungeprüft zu übernehmen.

Transfer

Ein quadratischer Gartenweg wird modelliert: Ein Quadrat mit Seitenlänge $x+3$ hat die Fläche

$A=(x+3{)}^2$.

Eine KI behauptet:

$A=x^2+9$.

Auftrag: Prüfe die Behauptung auf zwei Arten.

Weg 1 – algebraisch:

$(x+3{)}^2=x^2+6x+9$.

Weg 2 – geometrisch: Zerlege das Quadrat in ein Quadrat $x\times x$, zwei Rechtecke $x\times 3$ und ein Quadrat $3\times 3$.

Ergebnis:

$A=x^2+3x+3x+9=x^2+6x+9$.

Die Modellierung zeigt: Ein fehlender Mittelterm verändert die berechnete Fläche.

Kompetenzcheck

Bearbeite ohne KI und nutze anschließend eine KI nur als zu prüfende zweite Lösung.

1. Begründe allgemein: $5(x-2)=5x-10$.
2. Widerlege: $(a-b{)}^2=a^2-b^2$ für alle reellen $a,b$.
3. Erkläre, warum zwei Beispielrechnungen keinen Beweis einer Termidentität liefern.
4. Rekonstruiere den Winkelsummenbeweis im Dreieck mit einer Parallelengeraden.
5. Prüfe eine mehrschrittige KI-Lösung Zeile für Zeile und markiere den ersten nicht begründeten Schritt.

E-Niveau erreicht: Du untersuchst selbstständig, verallgemeinerst, begründest, findest Gegenbeispiele und verbindest mehrere Darstellungen.

Reflexion

1. Welche Formulierung einer KI hat Dich zuerst überzeugt, obwohl sie kein Beweis war?
2. Woran erkennst Du heute schneller den Unterschied zwischen „stimmt bei Beispielen“ und „gilt allgemein“?
3. Welche Begründungsbasis nutzt Du sicherer: Rechengesetze oder geometrische Winkelsätze?
4. Wann ist ein Gegenbeispiel die schnellste Strategie?

Folgekurs

Als nächster Schritt passt M8 E - Mathematische Beweise selbst formulieren und KI-Ausgaben prüfen. Dort entwickelst Du eigene Beweisideen, vergleichst mehrere Beweiswege und überarbeitest fehlerhafte digitale Lösungen.

Interaktive Aufgaben

Quiz: Teste Dein Wissen

Warum beweisen drei passende Zahlenbeispiele keine Termidentität? (Weil sie nur einzelne Fälle prüfen) (!Weil Zahlen in Beweisen verboten sind) (!Weil Termidentitäten nur für positive Zahlen gelten) (!Weil eine KI keine Zahlen berechnen darf)

Was genügt, um eine allgemeine falsche Aussage zu widerlegen? (Ein zulässiges Gegenbeispiel) (!Zehn passende Beispiele) (!Eine besonders genaue Zeichnung) (!Eine lange KI-Erklärung)

Welches Gesetz begründet den Schritt von a mal Klammer b plus c zu ab plus ac? (Das Distributivgesetz) (!Der Satz des Pythagoras) (!Der Winkelsummensatz) (!Das Kommutativgesetz allein)

Welcher Term gehört in die erste binomische Formel? (2ab) (!ab) (!a plus b) (!2a plus 2b)

Was macht den Winkelsummenbeweis im Dreieck allgemein? (Die Begründung mit Parallelität Wechselwinkeln und gestrecktem Winkel) (!Das Nachmessen eines gezeichneten Dreiecks) (!Das Prüfen eines rechtwinkligen Dreiecks) (!Die Behauptung dass es immer so ist)

Wie ist die Aussage Das ist offensichtlich mathematisch zu bewerten? (Sie ersetzt keine Begründung) (!Sie ist automatisch ein Beweis) (!Sie ist stärker als ein Gegenbeispiel) (!Sie gilt nur bei Geometrie)

Welche Aussage beschreibt eine Termidentität am besten? (Sie gilt für alle zulässigen Werte der Variablen) (!Sie gilt für genau einen eingesetzten Wert) (!Sie gilt nur wenn eine KI sie bestätigt) (!Sie gilt nur für ganze Zahlen)

Welche Gleichung ist eine korrekte Identität? (x plus 2 mal x minus 2 ist gleich x Quadrat minus 4) (!x plus 2 zum Quadrat ist gleich x Quadrat plus 4) (!x minus 2 zum Quadrat ist gleich x Quadrat minus 4) (!x plus 2 mal x minus 2 ist gleich x Quadrat plus 4)

Welcher Wert widerlegt die Behauptung x Quadrat ist größer als x für alle reellen x? (x gleich 0 Komma 5) (!x gleich 2) (!x gleich 3) (!x gleich 10)

Was solltest Du beim Arbeiten mit einer KI zusätzlich beachten? (Keine personenbezogenen Daten eingeben) (!Jede KI-Antwort ungeprüft übernehmen) (!Nur Ergebnisse ohne Rechenweg speichern) (!Gegenbeispiele grundsätzlich vermeiden)

Memory

Beispielprüfung	zeigt Plausibilität
Gegenbeispiel	widerlegt allgemeine Aussage
Termidentität	gilt für alle zulässigen Variablenwerte
Beweis	Kette zulässiger Schlüsse
Voraussetzung	Ausgangsbedingung
Behauptung	zu zeigende Aussage

Drag and Drop

Ordne die richtigen Begriffe zu.	Bedeutung
Einzelbeispiel	Plausibilität
Gegenbeispiel	Widerlegung
Distributivgesetz	Umformungsgesetz
Parallelengerade	Winkelsummenbeweis
Ungeprüfte KI-Aussage	Behauptung

Kreuzworträtsel

Beweis	Wie heißt eine allgemeingültige mathematische Herleitung?
Gegenbeispiel	Was widerlegt eine Allaussage durch einen passenden Einzelfall?
Identität	Wie heißt eine Gleichheit die für alle zulässigen Variablenwerte gilt?
Distributivgesetz	Welches Rechengesetz begründet das Ausmultiplizieren?
Wechselwinkel	Welche Winkelart wird beim Winkelsummenbeweis an Parallelen genutzt?
Behauptung	Wie heißt der Teil einer Aussage der gezeigt werden soll?

Lückentext

Vervollständige den Text.

Ein mathematischer erklärt, warum eine Aussage allgemein gilt. Mehrere passende Beispiele zeigen zunächst nur . Eine falsche allgemeine Aussage kann durch ein widerlegt werden. Bei einer Termidentität müssen die Umformungen aus gültigen folgen. Beim Winkelsummenbeweis im Dreieck kann eine verwendet werden. Eine KI-Antwort muss deshalb Schritt für Schritt auf ihre geprüft werden. Sprachliche Sicherheit ersetzt keine . Beim Arbeiten mit digitalen Werkzeugen gibst Du keine ein.

Offene Aufgaben

Leicht

1. Beispiel oder Beweis: Sammle drei kurze Aussagen und kennzeichne, ob sie Beispiel, Vermutung oder Begründung sind.
2. Gegenbeispiel: Finde ein Gegenbeispiel zu $(x+1{)}^2=x^2+1$ und erkläre in zwei Sätzen, warum es genügt.
3. Beweisbausteine: Schreibe Voraussetzung, Behauptung und Begründungsbasis für $2(x+3)=2x+6$ auf.
4. Digitale Prüfung: Formuliere einen neutralen KI-Prompt zu einer Termidentität, ohne personenbezogene Daten zu verwenden.

Standard

1. Fehleranalyse: Erfinde eine plausible, aber falsche KI-Begründung zur ersten binomischen Formel und markiere den ersten Fehler.
2. Winkelsumme im Dreieck: Zeichne den Parallelengeraden-Beweis und beschrifte jeden Schluss mit dem verwendeten Winkelsatz.
3. Zwei Darstellungen: Begründe $(a+b{)}^2=a^2+2ab+b^2$ einmal algebraisch und einmal mit Flächen.
4. KI-Vergleich: Lass ein digitales Werkzeug zwei Lösungswege zu derselben Aufgabe erzeugen und prüfe beide mit dem Beweisschema.

Schwer

1. Allgemeingültigkeit: Untersuche die Behauptung $(x+y{)}^2\ge x^2+y^2$ für reelle Zahlen. Finde Bedingungen, Gegenbeispiele und eine korrekte verallgemeinerte Aussage.
2. Mehrschrittiger Beweis: Begründe $(a+b)(a-b)=a^2-b^2$ algebraisch und erkläre anschließend die geometrische Darstellung.
3. Modellieren mit Termen: Entwickle ein Flächenmodell, in dem ein fehlerhafter KI-Term zu einer falschen Flächenberechnung führt, und korrigiere ihn.
4. Beweisqualität: Erstelle ein eigenes Prüfraster mit mindestens fünf Kriterien und teste es an einer KI-Antwort aus Geometrie und einer aus Algebra.

Lernkontrolle

1. Beweisdiagnose: Du erhältst eine KI-Lösung mit fünf Schritten. Markiere den ersten Schritt, der nicht aus der Begründungsbasis folgt, und repariere die Argumentationskette.
2. Transfer Geometrie: Übertrage die Idee „Hilfslinie plus bekannter Winkelsatz“ auf eine neue geometrische Situation und erkläre, welche Zusatzkonstruktion hilfreich ist.
3. Transfer Algebra: Entwickle aus einem Rechteck mit Seiten $x+2$ und $x+5$ zwei gleichwertige Flächenterme und begründe ihre Gleichheit.
4. Widerlegen und Verbessern: Widerlege eine falsche Allaussage durch ein Gegenbeispiel und formuliere anschließend eine möglichst ähnliche wahre Aussage.
5. Darstellungswechsel: Wandle eine algebraische Begründung in eine Flächenargumentation oder eine geometrische Begründung in eine klar nummerierte Schlusskette um.
6. KI-Kritik: Vergleiche zwei digitale Erklärungen danach, welche Voraussetzungen genannt, welche Schritte begründet und welche Aussagen nur behauptet werden.

Lernnachweis

Für einen Lernnachweis solltest Du zeigen, dass Du

1. zwischen Beispiel, Vermutung, Gegenbeispiel und Beweis sicher unterscheidest.
2. eine allgemeine Behauptung präzise formulierst.
3. Begründungsbasis und Schlusskette nachvollziehbar dokumentierst.
4. Termidentitäten mit Rechengesetzen begründest.
5. geometrische Beweise mit passenden Sätzen und Hilfslinien nachvollziehst.
6. falsche Allaussagen mit gültigen Gegenbeispielen widerlegst.
7. KI-Ausgaben kritisch prüfst und Fehler fachlich korrigierst.
8. digitale Werkzeuge datensparsam und ohne personenbezogene Daten nutzt.

OERs zum Thema

Weitere freie und schulnahe Quellen:

1. Bildungsplan Baden-Württemberg: Mathematisch argumentieren und beweisen
2. Landesbildungsserver Baden-Württemberg: Binomische Formeln
3. Wikimedia Commons: Triangle angle sum.svg
4. Wikimedia Commons: erste binomische Formel
5. Wikimedia Commons: dritte binomische Formel

Medienhinweis: Die eingebundenen Wikimedia-Commons-Dateien besitzen auf ihren Dateiseiten ausgewiesene freie Lizenzen beziehungsweise Public-Domain-Freigaben. YouTube-Videos werden nur eingebettet und nicht kopiert. Prüfe bei Weiterverwendung immer die jeweilige Lizenzangabe an der Originalquelle.

Verknüpfte Lernbereiche

Mathematisch argumentieren und beweisen Termumformung Binomische Formeln Distributivgesetz Winkelsumme im Dreieck Gegenbeispiel Künstliche Intelligenz im Mathematikunterricht