ABI - Gegenbeispiele gezielt einsetzen

aiMOOC

ABI - Gegenbeispiele gezielt einsetzen

QR-Code

ABI - Gegenbeispiele gezielt einsetzen

Mini-Beschreibung: Widerlege falsche allgemeine mathematische Aussagen mit geeigneten Gegenbeispielen und erkläre, warum ein einzelnes Beispiel eine allgemeine Aussage nicht beweist.

Zielgruppe: Kursstufe, Mathematik-Abitur Baden-Württemberg; gemeinsamer Kurs für Basisfach und Leistungsfach.

Einleitung

Ein einziges passendes Gegenbeispiel kann eine allgemeine Aussage zu Fall bringen. Umgekehrt beweist ein einzelnes passendes Beispiel eine allgemeine Aussage normalerweise nicht.

$\mathrm{\neg }(\mathrm{\forall }x\in D:P(x))⟺\mathrm{\exists }x\in D:\mathrm{\neg }P(x)$

Dagegen folgt aus

$P(a)$

für ein einzelnes $a$ noch nicht

$\mathrm{\forall }x\in D:P(x)$.

Merksatz: Ein Gegenbeispiel widerlegt eine Allaussage. Ein einzelnes bestätigendes Beispiel beweist höchstens eine Existenzaussage, aber keine Allaussage.

Die Grafik zeigt Gegenbeispiele zu naheliegenden, aber nicht allgemein gültigen Aussagen über Bilder und Urbilder von Mengen. Nutze sie als Erinnerung: Eine plausible Skizze ersetzt keine Prüfung der Voraussetzungen.

Video laden

YouTube

YouTube sammelt möglicherweise persönliche Daten. Datenschutzrichtlinie

Fortfahren Ausblenden

Das Video zeigt an Vektorraum-Beispielen, wie man zwischen Beweis und Gegenbeispiel unterscheidet.

Lernziele

Nach diesem aiMOOC kannst Du:

1. Allaussagen formal erkennen und gezielt negieren.
2. ein Gegenbeispiel so wählen, dass alle Voraussetzungen erfüllt sind und die Behauptung scheitert.
3. Gegenbeispiele aus Analysis, Analytische Geometrie und Stochastik nachvollziehbar prüfen.
4. erklären, warum ein einzelnes bestätigendes Beispiel keinen allgemeinen Beweis liefert.
5. digitale Werkzeuge und KI-Ausgaben als Kontrolle nutzen, Ergebnisse aber mathematisch eigenständig prüfen.
6. im Basisfach anschaulich argumentieren und im Leistungsfach zusätzlich Quantoren, Bedingungen und Gegenbeweis formal sauber verwenden.

Abitur Baden-Württemberg: Prüfungsbezug 2027

Dieser Kurs orientiert sich am Prüfungsjahrgang 2027, Facherlass Stand 9. September 2025. Im Leistungsfach umfasst die schriftliche Prüfung Analysis, Analytische Geometrie und Stochastik; Teil A wird ohne Formeldokument und wissenschaftlichen Taschenrechner bearbeitet, nach spätestens 110 Minuten abgegeben und anschließend folgt Teil B mit den zugelassenen Hilfsmitteln. Die Gesamtbearbeitungszeit beträgt 300 Minuten einschließlich Auswahlzeit.

Im Basisfach ist Mathematik mündliches Prüfungsfach. Die Prüfung verbindet Analysis mit Analytischer Geometrie oder Stochastik, umfasst einen etwa zehnminütigen Vortrag nach etwa 20 Minuten Vorbereitung und ein anschließendes etwa zehnminütiges Prüfungsgespräch. Beide Prüfungsteile sind hilfsmittelfrei.

Wichtig: GeoGebra, LearningApps, Videos und KI sind Übungswerkzeuge. Sie sind nicht automatisch zugelassene Prüfungshilfsmittel. Prüfe für Deinen Prüfungsjahrgang stets den aktuellen Facherlass und die Hinweise Deiner Schule.

Offizielle Informationen zum Abitur in Baden-Württemberg

Vorwissen-Check

Prüfe Dich ohne Hilfsmittel.

1. Kannst Du den Unterschied zwischen $\mathrm{\forall }$ und $\mathrm{\exists }$ erklären?
2. Kannst Du einen Funktionswert, eine Ableitung und ein Skalarprodukt berechnen?
3. Kannst Du zwei Vektoren auf Parallelität prüfen?
4. Kannst Du bei Ereignissen $P(A\cap B)$ und $P(A)\cdot P(B)$ vergleichen?
5. Kannst Du eine Behauptung in Voraussetzungen und Schluss zerlegen?

Kurzlösung anzeigen

1. $\mathrm{\forall }$ bedeutet „für alle“, $\mathrm{\exists }$ bedeutet „es gibt mindestens ein“.
2. Bei einem Gegenbeispiel müssen zuerst alle Voraussetzungen erfüllt sein.
3. Parallelität verlangt bei geeigneten Vektoren einen gemeinsamen Skalarfaktor.
4. Unabhängigkeit verlangt $P(A\cap B)=P(A)\cdot P(B)$.
5. Eine Behauptung der Form „Wenn A, dann B“ wird widerlegt durch einen Fall mit A wahr und B falsch.

Grundidee: Was ein Gegenbeispiel leisten muss

Betrachte die falsche Aussage:

$\mathrm{\forall }x\in ℝ:x^2\ge x$.

Das Beispiel $x=2$ bestätigt die Aussage:

$2^2=4\ge 2$.

Aber daraus folgt nichts für alle reellen Zahlen.

Ein Gegenbeispiel ist

$x=\frac{1}{2}$,

denn

${\left(\frac{1}{2}\right)}^2=\frac{1}{4}<\frac{1}{2}$.

Damit ist die Allaussage widerlegt.

Strategie: Suche zuerst nach einfachen Sonderfällen: $0$, $1$, negative Werte, Brüche, Randfälle, Symmetrien, Einheitsvektoren oder kleine Ergebnisräume.

Visueller Test mit Funktionsgraphen

Vergleiche $y=x^2$ mit $y=x$. Die Aussage $x^2\ge x$ scheitert genau dort, wo der Parabelgraph unter der Geraden liegt.

Arbeitsauftrag: Zeichne $f(x)=x^2$ und $g(x)=x$. Nutze den Schnitt der Graphen, um einen Bereich für Gegenbeispiele zu finden. Bestätige anschließend rechnerisch einen konkreten Wert.

Interaktive Beispiele

Beispiel 1: Analysis – notwendige Bedingung ist nicht hinreichend

Falsche Aussage: Wenn $f^{\prime }(x_0)=0$, dann besitzt $f$ bei $x_0$ eine Extremstelle.

Wähle

$f(x)=x^3$.

Dann gilt

$f^{\prime }(x)=3x^2$

und damit

$f^{\prime }(0)=0$.

Trotzdem ist $x_0=0$ keine Extremstelle, denn $f$ ist in einer Umgebung von $0$ streng steigend.

Schritt-für-Schritt-Kontrolle

1. Voraussetzung prüfen: $f^{\prime }(0)=0$.
2. Werte links prüfen: $f(-1)=-1$.
3. Wert im Kandidaten: $f(0)=0$.
4. Werte rechts prüfen: $f(1)=1$.
5. Schluss: Kein lokales Maximum und kein lokales Minimum.

Feedback: Das Gegenbeispiel greift die Behauptung nicht irgendwo an, sondern erfüllt bewusst die Voraussetzung $f^{\prime }(x_0)=0$.

Beispiel 2: Analysis – zweite Ableitung

Falsche Aussage: Aus $f^{″}(x_0)=0$ folgt immer eine Wendestelle.

Wähle

$f(x)=x^4$.

Dann ist

$f^{″}(x)=12x^2$

und somit

$f^{″}(0)=0$.

Für $x\ne 0$ gilt aber

$f^{″}(x)>0$.

Es gibt keinen Vorzeichenwechsel der Krümmung bei $0$. Also liegt dort keine Wendestelle vor.

Leistungsfach: Formuliere präzise, welche zusätzliche Bedingung eine Wendestelle sichert, und unterscheide notwendige von hinreichenden Bedingungen.

Beispiel 3: Vektoren – gleiche Länge bedeutet nicht parallel

Falsche Aussage: Zwei von Null verschiedene Vektoren mit gleicher Länge sind parallel.

Wähle

$\overrightarrow{a}=\left(\begin{array}{c}1\\ 0\\ 0\end{array}\right)$

und

$\overrightarrow{b}=\left(\begin{array}{c}0\\ 1\\ 0\end{array}\right)$.

Dann gilt

$|\overrightarrow{a}|=|\overrightarrow{b}|=1$.

Für Parallelität müsste es ein $\lambda \in ℝ$ geben mit

$\overrightarrow{a}=\lambda \overrightarrow{b}$.

Das ist unmöglich. Zusätzlich gilt

$\overrightarrow{a}\cdot \overrightarrow{b}=0$,

also stehen die Vektoren sogar senkrecht aufeinander.

Arbeitsauftrag: Lege zwei Einheitsvektoren an und drehe einen davon. Beobachte: Die Länge bleibt gleich, obwohl sich die Richtung ändert.

Video laden

YouTube

YouTube sammelt möglicherweise persönliche Daten. Datenschutzrichtlinie

Fortfahren Ausblenden

Beispiel 4: Geraden im Raum – nicht parallel heißt nicht automatisch Schnitt

Falsche Aussage: Zwei Geraden im Raum, die nicht parallel sind, schneiden sich.

Betrachte

$g:\overrightarrow{x}=\left(\begin{array}{c}0\\ 0\\ 0\end{array}\right)+t\left(\begin{array}{c}1\\ 0\\ 0\end{array}\right)$

und

$h:\overrightarrow{x}=\left(\begin{array}{c}0\\ 1\\ 1\end{array}\right)+s\left(\begin{array}{c}0\\ 1\\ 0\end{array}\right)$.

Die Richtungsvektoren sind nicht parallel. Für einen Schnitt müsste gelten:

$\left(\begin{array}{c}t\\ 0\\ 0\end{array}\right)=\left(\begin{array}{c}0\\ 1+s\\ 1\end{array}\right)$.

Die dritte Koordinate würde $0=1$ verlangen. Das ist unmöglich.

Ergebnis: Die Geraden sind windschief.

Feedback: Ein gutes Gegenbeispiel zeigt nicht nur „kein Schnitt“, sondern überprüft zugleich, dass die Voraussetzung „nicht parallel“ erfüllt ist.

Beispiel 5: Stochastik – gleiche Wahrscheinlichkeit bedeutet nicht unabhängig

Falsche Aussage: Haben zwei Ereignisse dieselbe Wahrscheinlichkeit, dann sind sie unabhängig.

Bei einem fairen Würfel sei

$A=\{1,2,3\}$

und

$B=\{1,2,4\}$.

Dann gilt

$P(A)=P(B)=\frac{1}{2}$.

Aber

$A\cap B=\{1,2\}$

und daher

$P(A\cap B)=\frac{1}{3}$.

Für Unabhängigkeit müsste gelten

$P(A)\cdot P(B)=\frac{1}{4}$.

Da

$\frac{1}{3}\ne \frac{1}{4}$,

sind $A$ und $B$ nicht unabhängig.

Basisfach: Erkläre den Widerspruch in Worten.

Leistungsfach: Formuliere das Unabhängigkeitskriterium formal und erkläre, warum gleiche Randwahrscheinlichkeiten dafür nicht genügen.

Beispiel 6: Erwartungswert – nicht jeder Erwartungswert ist ein mögliches Ergebnis

Falsche Aussage: Der Erwartungswert einer Zufallsgröße muss als einzelnes Ergebnis auftreten können.

Beim fairen Würfel mit $X\in \{1,2,3,4,5,6\}$ gilt

$E(X)=\frac{1+2+3+4+5+6}{6}=\mathrm{3,5}$.

Der Wert $\mathrm{3,5}$ kann bei einem einzelnen Wurf nicht auftreten.

Merke: Der Erwartungswert beschreibt einen langfristigen Mittelwert, nicht zwingend einen möglichen Einzelwert.

Gegenbeispiele gezielt finden

1. Sonderfall: Teste $0$, $1$, negative Werte oder einfache Brüche.
2. Randfall: Prüfe Stellen, an denen eine Voraussetzung gerade noch erfüllt ist.
3. Symmetrie: Nutze Vorzeichenwechsel oder achsensymmetrische Funktionen.
4. Vektor: Wähle Einheitsvektoren oder Standardbasisvektoren.
5. Stochastik: Verwende kleine Ergebnisräume, damit Schnittmengen sichtbar bleiben.
6. Kontrolle: Prüfe zuerst die Voraussetzungen und erst dann das Scheitern der Folgerung.

Gegenbeispiel oder nur Beispiel?

Behauptung: Jede ganzrationale Funktion dritten Grades hat mindestens eine reelle Nullstelle.

Das Beispiel $f(x)=x^3$ hat eine Nullstelle. Es beweist die allgemeine Aussage nicht.

Für einen Beweis braucht man eine allgemeine Argumentation, die für jede Funktion dritten Grades gilt. Ein einzelner Spezialfall reicht nicht.

Denkfrage: Warum kann dagegen ein einziges Gegenbeispiel genügen, um eine Allaussage zu widerlegen?

Feedback Eine Allaussage behauptet, dass kein Ausnahmefall existiert. Sobald Du einen einzigen gültigen Ausnahmefall gefunden hast, ist genau diese Behauptung falsch.

Fehleranalyse

Fehler 1: Voraussetzung nicht geprüft

Behauptung: „Wenn eine Funktion an $x_0$ differenzierbar ist und $f^{\prime }(x_0)=0$, dann liegt dort ein Extremum.“

Ein Lernender nennt $f(x)=|x|$ bei $x_0=0$ als Gegenbeispiel.

Fehler: $f$ ist bei $0$ nicht differenzierbar. Das Beispiel erfüllt die Voraussetzung nicht.

Besser: $f(x)=x^3$.

Fehler 2: Nur ein bestätigendes Beispiel

Behauptung: „Für alle $x>0$ gilt $x+\frac{1}{x}\ge 2$.“

Der Nachweis

$1+\frac{1}{1}=2$

ist kein allgemeiner Beweis.

Feedback: Für eine Allaussage brauchst Du eine allgemeine Begründung, etwa über eine bekannte Ungleichung oder eine geeignete Umformung.

Fehler 3: Rechner oder KI als Beweisersatz

Ein digitales System prüft 100 Werte und findet kein Gegenbeispiel.

Daraus folgt nicht, dass die Aussage für alle Werte gilt.

Merksatz: Numerische Tests können Gegenbeispiele finden. Sie ersetzen bei unendlich vielen Fällen keinen Beweis.

Bei KI-Ausgaben gilt zusätzlich: Prüfe Voraussetzungen, Rechenwege und Schlussfolgerungen selbst. Gib keine personenbezogenen Daten ein.

Selbstkontrolle

Ordne jeder Aussage zu: „allgemein beweisen“, „durch Gegenbeispiel widerlegen“ oder „durch ein Beispiel beweisbar“.

1. „Es gibt eine reelle Zahl $x$ mit $x^2=9$.“
2. „Für alle reellen Zahlen gilt $x^2\ge 0$.“
3. „Jede Funktion mit $f^{\prime }(0)=0$ hat bei $0$ ein Extremum.“
4. „Es gibt zwei gleich lange, nicht parallele Vektoren.“
5. „Gleiche Ereigniswahrscheinlichkeiten erzwingen Unabhängigkeit.“

Lösung

1. Durch ein Beispiel beweisbar, etwa $x=3$.
2. Allgemein beweisen.
3. Durch Gegenbeispiel widerlegen, etwa $f(x)=x^3$.
4. Durch ein Beispiel beweisbar, etwa zwei verschiedene Einheitsvektoren.
5. Durch Gegenbeispiel widerlegen.

Transfer

Transfer A – Funktion: Entwickle selbst eine falsche Aussage über Nullstellen, Extremstellen oder Wendestellen und konstruiere ein Gegenbeispiel.

Transfer B – Vektoren: Verändere ein wahres Kriterium für Parallelität so, dass eine falsche Aussage entsteht. Widerlege sie mit möglichst einfachen Vektoren.

Transfer C – Stochastik: Erfinde zwei Ereignisse in einem kleinen Ergebnisraum mit gleicher Wahrscheinlichkeit, die nicht unabhängig sind.

Transfer D – KI-Prüfung: Lass ein KI-System eine allgemeine mathematische Behauptung formulieren. Übernimm sie nicht ungeprüft. Suche systematisch nach einem Gegenbeispiel oder gib eine allgemeine Begründung. Dokumentiere jede Prüfung ohne personenbezogene Daten.

Kompetenzcheck

Du bist sicher, wenn Du diese vier Schritte ohne Hilfe durchführen kannst:

1. Aussage strukturieren: Was ist Voraussetzung, was ist Folgerung?
2. Quantor erkennen: Handelt es sich um „für alle“ oder „es gibt“?
3. Gegenbeispiel prüfen: Sind alle Voraussetzungen erfüllt?
4. Schluss formulieren: Welche konkrete Rechnung widerlegt die Behauptung?

Basisfach: Du erläuterst die Logik anschaulich und verständlich.

Leistungsfach: Du formulierst zusätzlich formal, zum Beispiel

$\mathrm{\neg }(\mathrm{\forall }x\in D:P(x))⟺\mathrm{\exists }x\in D:\mathrm{\neg }P(x)$

und unterscheidest notwendige, hinreichende und äquivalente Bedingungen.

Reflexion

1. Welche Gegenbeispiel-Strategie funktioniert bei Dir am schnellsten?
2. Bei welcher Art von Aussage verwechselst Du häufig notwendige und hinreichende Bedingungen?
3. Wann hilft eine Skizze, und wann brauchst Du zwingend eine Rechnung?
4. Wie kannst Du verhindern, dass ein Rechnerfund oder eine KI-Antwort vorschnell als Beweis gilt?

Folgekurs

Als nächstes eignet sich ABI - Beweise strukturiert aufbauen oder ein Vertiefungskurs zu notwendigen und hinreichenden Bedingungen. Für die Prüfungsvorbereitung kannst Du außerdem die drei Bereiche Analysis, Analytische Geometrie und Stochastik getrennt mit Gegenbeispiel-Aufgaben trainieren.

Medien und interaktive Modelle

Die Grafik visualisiert Wahrscheinlichkeitsentwicklungen bei wiederholten Bernoulli-Versuchen. Nutze solche Diagramme, um Vermutungen zu erzeugen, nicht um allgemeine Aussagen allein aus einem Bild zu beweisen.

Video laden

YouTube

YouTube sammelt möglicherweise persönliche Daten. Datenschutzrichtlinie

Fortfahren Ausblenden

Das Video behandelt Beweis- oder Gegenbeispiel-Fragen bei linearen Abbildungen und eignet sich als Leistungsfach-Vertiefung.

Interaktives Labor:

1. Funktionen: Suche graphisch einen Bereich, in dem eine Allaussage scheitert, und bestätige ein konkretes Gegenbeispiel rechnerisch.
2. 3D-Geometrie: Erzeuge zwei nicht parallele Geraden ohne Schnittpunkt.
3. Stochastik: Nutze den Wahrscheinlichkeitsrechner zur Kontrolle von Verteilungen, begründe Unabhängigkeit aber über die passende Gleichung.

Medienhinweis: Die eingebundenen Grafiken stammen von Wikimedia Commons; Urheberschaft und freie Lizenz sind auf den jeweiligen Dateiseiten dokumentiert. YouTube- und GeoGebra-Inhalte werden nur eingebettet. Prüfe bei Weiterverwendung die jeweiligen Lizenz- und Datenschutzangaben.

Interaktive Aufgaben

Quiz: Teste Dein Wissen

Welche Aussage beschreibt die Rolle eines Gegenbeispiels korrekt? (Ein gültiges Gegenbeispiel widerlegt eine Allaussage) (!Ein Gegenbeispiel beweist jede Existenzaussage) (!Ein Gegenbeispiel ersetzt jede Rechnung) (!Ein Gegenbeispiel muss viele Fälle enthalten)

Was musst Du bei einem Gegenbeispiel zuerst prüfen? (Ob alle Voraussetzungen der Behauptung erfüllt sind) (!Ob der Zahlenwert möglichst groß ist) (!Ob ein Taschenrechner benutzt wurde) (!Ob das Beispiel aus einem Diagramm stammt)

Welche Funktion widerlegt die Aussage f Strich von x null gleich null bedeutet immer Extremstelle? (f von x gleich x hoch drei) (!f von x gleich x hoch zwei) (!f von x gleich minus x hoch zwei) (!f von x gleich x hoch vier plus eins)

Warum beweist x gleich zwei die Aussage x Quadrat größer gleich x nicht allgemein? (Weil ein einzelner bestätigender Wert keine Allaussage beweist) (!Weil zwei keine reelle Zahl ist) (!Weil Quadrate nie positiv sind) (!Weil man nur negative Werte prüfen darf)

Welche Bedingung kennzeichnet parallele von Null verschiedene Vektoren? (Ein Vektor ist ein skalares Vielfaches des anderen) (!Die Vektoren haben dieselbe Länge) (!Das Skalarprodukt ist immer null) (!Die erste Komponente stimmt überein)

Was zeigt bei zwei nicht parallelen Geraden im Raum ein Widerspruch im Gleichungssystem? (Die Geraden haben keinen gemeinsamen Punkt) (!Die Geraden sind automatisch parallel) (!Die Geraden sind identisch) (!Die Richtungsvektoren sind null)

Welches Kriterium prüft die Unabhängigkeit zweier Ereignisse? (P von A Schnitt B gleich P von A mal P von B) (!P von A gleich P von B) (!P von A plus P von B gleich eins) (!P von A Schnitt B gleich null)

Was zeigt der Erwartungswert drei Komma fünf beim fairen Würfel? (Ein Erwartungswert muss kein mögliches Einzelergebnis sein) (!Jeder Wurf ergibt drei Komma fünf) (!Der Würfel ist nicht fair) (!Nur ganze Erwartungswerte sind erlaubt)

Welche logische Form ist die Negation einer Allaussage? (Es existiert mindestens ein Fall in dem die Aussage nicht gilt) (!Die Aussage gilt für keinen Fall) (!Die Aussage gilt für genau zwei Fälle) (!Die Aussage gilt für fast alle Fälle)

Welche Aussage zu digitalen Werkzeugen ist korrekt? (Sie können beim Finden und Prüfen helfen ersetzen aber keinen allgemeinen Beweis) (!Hundert getestete Werte beweisen jede Allaussage) (!Eine KI Antwort gilt automatisch als Beweis) (!Ein Graph ersetzt immer die algebraische Begründung)

Memory

Allaussage	Gegenbeispiel kann sie widerlegen
Existenzaussage	Ein passendes Beispiel kann genügen
Stationäre Stelle	Erste Ableitung ist null
Parallelität	Skalares Vielfaches
Unabhängigkeit	Produktregel für Ereignisse
Erwartungswert	Langfristiger Mittelwert

Drag and Drop

Ordne die richtigen Begriffe zu.	Thema
Allaussage	Prüfe auf Gegenbeispiel
Voraussetzung	Muss im Gegenbeispiel erfüllt sein
Funktion x hoch drei	Stationäre Stelle ohne Extremum
Einheitsvektoren	Gleiche Länge ohne Parallelität
Würfelereignisse	Gleiche Wahrscheinlichkeit ohne Unabhängigkeit

Kreuzworträtsel

Quantor	Welcher Fachbegriff beschreibt Zeichen wie für alle oder es gibt?
Extremum	Welche Art von Stelle folgt nicht allein aus einer verschwindenden ersten Ableitung?
Parallel	Wie heißen Vektoren, wenn einer ein skalares Vielfaches des anderen ist?
Windschief	Wie heißen nicht parallele Geraden im Raum ohne Schnittpunkt?
Schnittmenge	Welcher Begriff gehört zu A geschnitten B?
Erwartungswert	Welcher Kennwert kann beim Würfel den Wert drei Komma fünf haben?

Lückentext

Vervollständige den Text.

Eine Aussage mit dem Quantor für alle heißt . Um sie zu widerlegen genügt ein gültiges . Dabei müssen zunächst alle erfüllt sein. Aus einer verschwindenden ersten Ableitung folgt nicht automatisch ein . Zwei gleich lange Vektoren müssen nicht sein. Für unabhängige Ereignisse gilt die Produktbeziehung mit der . Ein einzelnes bestätigendes Beispiel ersetzt keinen allgemeinen .

Übungen mit Hilfen und Feedback

Übung A: Funktion

Behauptung: Jede Funktion mit $f^{″}(0)=0$ hat bei $0$ eine Wendestelle.

Auftrag: Finde ein Polynom als Gegenbeispiel.

Hilfe 1 Teste gerade Potenzen.

Hilfe 2 Untersuche $f(x)=x^4$.

Feedback $f^{″}(x)=12x^2$ hat bei $0$ keinen Vorzeichenwechsel. Damit ist $f(x)=x^4$ ein gültiges Gegenbeispiel.

Übung B: Vektoren

Behauptung: Wenn $\overrightarrow{a}\cdot \overrightarrow{b}=0$, dann haben $\overrightarrow{a}$ und $\overrightarrow{b}$ dieselbe Länge.

Hilfe Wähle zwei Achsenrichtungen mit unterschiedlichen Längen.

Feedback Zum Beispiel

$\overrightarrow{a}=\left(\begin{array}{c}2\\ 0\\ 0\end{array}\right)$, $\overrightarrow{b}=\left(\begin{array}{c}0\\ 1\\ 0\end{array}\right)$.

Dann ist $\overrightarrow{a}\cdot \overrightarrow{b}=0$, aber $|\overrightarrow{a}|=2$ und $|\overrightarrow{b}|=1$.

Übung C: Stochastik

Behauptung: Wenn $P(A)=P(B)$, dann gilt $A=B$.

Hilfe Nutze einen fairen Würfel und wähle zwei verschiedene Ereignisse mit gleich vielen Ergebnissen.

Feedback Zum Beispiel $A=\{1,2\}$ und $B=\{5,6\}$. Beide haben Wahrscheinlichkeit $\frac{1}{3}$, sind aber verschiedene Ereignisse.

Offene Aufgaben

Leicht

1. Gegenbeispiel-Sammlung: Erstelle zu fünf falschen Allaussagen jeweils ein möglichst einfaches Gegenbeispiel.
2. Graphische Kontrolle: Zeichne zwei Funktionen, bei denen eine vermutete Ungleichung nur auf einem Teil des Definitionsbereichs gilt, und markiere einen Gegenbeispielbereich.
3. Vektor-Paare: Konstruiere drei Paare gleich langer Vektoren, die nicht parallel sind, und prüfe jedes Paar rechnerisch.
4. Würfelereignisse: Erfinde zwei verschiedene Ereignisse mit gleicher Wahrscheinlichkeit und stelle sie als Mengen dar.

Standard

1. Fehlerdiagnose: Analysiere drei vorgegebene „Gegenbeispiele“ und entscheide jeweils, ob wirklich alle Voraussetzungen erfüllt sind.
2. Stationär ohne Extremum: Finde zwei verschiedene Funktionen mit $f^{\prime }(0)=0$, aber ohne Extremstelle bei $0$, und vergleiche ihre Graphen.
3. Windschiefe Geraden: Konstruiere zwei Geraden im Raum, die weder parallel sind noch einen Schnittpunkt besitzen, und belege beides rechnerisch.
4. Unabhängigkeit: Entwickle einen kleinen Ergebnisraum mit zwei Ereignissen gleicher Wahrscheinlichkeit, die abhängig sind, und prüfe die Produktbedingung.

Schwer

1. Quantoren umformen: Formuliere fünf mathematische Allaussagen und jeweils ihre exakte logische Negation.
2. Bedingungen analysieren: Wähle ein Kriterium aus Analysis oder Vektorgeometrie und unterscheide notwendige und hinreichende Bedingung mit Beispiel und Gegenbeispiel.
3. KI-Prüfprotokoll: Lass eine KI drei mathematische Allaussagen erzeugen. Prüfe jede Aussage selbst, dokumentiere Gegenbeispiel oder Beweisidee und kennzeichne Fehler der KI. Verwende keine personenbezogenen Daten.
4. Abitur-Transfer: Entwirf eine kurze mündliche Prüfungsaufgabe, in der eine falsche Aussage aus Analysis mit einer zweiten Aufgabe aus Geometrie oder Stochastik verbunden wird. Ergänze Erwartungshorizont und typische Fehlvorstellung.

Lernkontrolle

1. Begründung statt Probe: Erkläre an einem selbst gewählten Beispiel, warum fünf bestätigende Werte eine Allaussage nicht beweisen, aber ein einziger Gegenfall sie widerlegt.
2. Voraussetzungen prüfen: Eine Person nutzt $f(x)=|x|$ bei $0$ als Gegenbeispiel zur Aussage „Aus $f^{\prime }(0)=0$ folgt ein Extremum“. Analysiere präzise, warum dieses Gegenbeispiel ungültig ist, und ersetze es durch ein gültiges.
3. Darstellungswechsel: Widerlege die Aussage $x^2\ge x$ für alle reellen $x$ einmal grafisch und einmal rechnerisch. Erkläre, welche Darstellung welche Information liefert.
4. Geometrischer Transfer: Begründe, warum „nicht parallel“ bei Geraden im Raum nicht genügt, um einen Schnitt zu garantieren. Konstruiere ein eigenes Beispiel und löse das zugehörige Gleichungssystem.
5. Stochastischer Transfer: Entwickle zwei Ereignisse mit $P(A)=P(B)$, die nicht unabhängig sind. Prüfe die Unabhängigkeit rechnerisch und erläutere das Ergebnis in Worten.
6. Beweis oder Gegenbeispiel: Entscheide für drei selbst gewählte Aussagen, ob ein Gegenbeispiel, ein Existenzbeispiel oder ein allgemeiner Beweis die passende Strategie ist. Begründe Deine Wahl.
7. Werkzeugkritik: Ein Computerprogramm prüft 100000 Werte einer Behauptung ohne Gegenbeispiel. Erkläre, warum das noch kein Beweis sein muss, und beschreibe, wie ein mathematisch belastbarer Nachweis aussehen könnte.

Lernnachweis

Für einen Lernnachweis solltest Du zeigen, dass Du:

1. Allaussagen, Existenzaussagen und ihre logische Rolle unterscheiden kannst.
2. ein Gegenbeispiel nur dann akzeptierst, wenn alle Voraussetzungen erfüllt sind.
3. Funktionsbeispiele mit Ableitungen rechnerisch prüfst.
4. Vektorbeispiele mit Länge, Skalarprodukt und Parallelitätskriterium untersuchst.
5. stochastische Aussagen mit Mengen und Wahrscheinlichkeiten kontrollierst.
6. den Unterschied zwischen numerischer Evidenz und mathematischem Beweis erklären kannst.
7. digitale Werkzeuge und KI-Ergebnisse eigenständig kontrollierst.
8. im Basisfach verständig argumentierst und im Leistungsfach zusätzlich formal sauber begründest.

Verknüpfte Lernbereiche

Gegenbeispiel Aussage Quantor Mathematischer Beweis Notwendige und hinreichende Bedingung Analysis Analytische Geometrie Stochastik Unabhängigkeit stochastischer Ereignisse