Geometrie-Beweis-Rechner

Ein geometrischer Beweis ist eine schrittweise Argumentation, die die Wahrheit einer Aussage mithilfe von Definitionen, Postulaten und zuvor bewiesenen Sätzen demonstriert. Der Geometrie-Beweis-Rechner nimmt eine gegebene Voraussetzung und eine zu beweisende Aussage entgegen und erstellt einen vollständigen Zweispalten-Beweis – Schritt, Begründung, Schritt, Begründung – unter Verwendung der jeweils zutreffenden Postulate und Sätze. Dieses Tutorial erklärt die Struktur eines Zweispalten-Beweises, was als gültige Begründung zählt, und die häufigsten Beweistypen, denen Sie in der Geometrie begegnen werden.

Das Format des Zweispalten-Beweises

Das traditionelle Format für geometrische Beweise in der Oberstufe besteht aus zwei Spalten:

Jeder Schritt muss auf der rechten Seite eine Begründung haben. Akzeptable Begründungen:

• Gegeben — in der Aufgabenstellung genannt
• Definition — gemäß der Definition eines Begriffs (z. B. „Definition der Streckenmitte“)
• Postulat — eine grundlegende Annahme, die nicht bewiesen werden muss (z. B. Kongruenzpostulat SSS)
• Satz — eine zuvor bewiesene Aussage (z. B. „Satz von den Scheitelwinkeln“)
• Eigenschaft — eine algebraische Eigenschaft (Reflexivität, Symmetrie, Transitivität, Substitution, Distributivgesetz)
• KSKSK — Entsprechende Seiten und Winkel kongruenter Dreiecke sind kongruent (wird verwendet, nachdem die Kongruenz zweier Dreiecke bewiesen wurde)

Funktionsweise des Rechners

Im Hintergrund nutzt der Rechner ein großes Sprachmodell, das mit Tausenden geometrischer Beweise trainiert wurde. Sie liefern:

1. Die Gegebenen: Die Bedingungen, von denen Sie ausgehen. Beispiel: „AB = CD, BC = DE, ABCD ist ein Viereck“.
2. Die Zu Beweisende: Die Aussage, die Sie nachweisen möchten. Beispiel: „Dreieck ABE ≅ Dreieck CDE“.
3. Optional: ein Fotografie der Figur. Das KI-Visionssystem kann sowohl das Diagramm als auch gedruckte Beschriftungen lesen.

Die KI:

1. Parsed die gegebenen Bedingungen und das Ziel.
2. Identifiziert, welche Satz(e) sie verbinden.
3. Erstellt die Kette der Aussagen und zitiert jede Begründung.
4. Gibt den Beweis im Zweispaltenformat aus (oder auf Anfrage im Fließtext).

Standard-Beweistypen

Die meisten einführenden geometrischen Beweise fallen in eine dieser Kategorien:

1. Kongruenzbeweise für Dreiecke

Verwenden Sie eines der 5 Kongruenzpostulate (SSS, SWS, WSW, WSW, HS), um die Kongruenz zweier Dreiecke zu beweisen. Verwenden Sie dann KSKSK, um spezifische Entsprechungen herauszuleiten.

Typische Struktur: Gemeinsame Elemente identifizieren (reflexive Seiten, Scheitelwinkel, Wechselwinkel), sie zuordnen, das Postulat anwenden, Kongruenz schlussfolgern.

2. Ähnlichkeitsbeweise für Dreiecke

Verwenden Sie eines der 3 Ähnlichkeitspostulate (WW, SSS-ähn, SWS-ähn), um die Ähnlichkeit zweier Dreiecke nachzuweisen. Leiten Sie dann spezifische Verhältnisse aus der Proportionalität entsprechender Seiten ab.

3. Winkelbeweise bei parallelen Geraden

Nachweisen, dass zwei Geraden parallel sind, indem eine der äquivalenten Winkelbedingungen gezeigt wird (Stufenwinkel gleich, Wechselwinkel gleich, Innenwinkel an einer Transversalen supplementär). Oder bereits parallele Geraden nutzen, um gleiche Winkel abzuleiten.

4. Klassifizierungsbeweise für Vierecke

Nachweisen, dass ein Viereck ein Parallelogramm, Rhombus, Rechteck, Quadrat, Drache oder gleichschenkliges Trapez ist, indem seine definierenden Eigenschaften demonstriert werden.

Beispiel: „Beweise, dass ABCD ein Parallelogramm ist.“ Strategie: Zeige, dass beide Paare gegenüberliegender Seiten parallel sind, ODER beide Paare gegenüberliegender Seiten gleich lang sind, ODER beide Paare gegenüberliegender Winkel gleich groß sind, OPPER Diagonalen sich halbieren — JEDES DAVON ist ausreichend.

5. Kreisbeweise

Satz vom Peripheriewinkel, Eigenschaften von Tangenten, Beziehungen zwischen Sehnen und Bögen, Satzesätze über Sehnenvierecke.

6. Strecken- und Winkelbeweise

Winkelhalbierende, Mittelpunkte, Lote, Winkeladdition/-subtraktion. Oft werden algebraische Eigenschaften (Substitution, Transitivität) zusammen mit geometrischen verwendet.

Was einen Beweis „streng“ macht

Ein Beweis ist streng, wenn jeder Schritt durch eine zuvor etablierte Aussage begründet ist – keine intuitiven Sprünge, kein „offensichtlich wahr“. Standard-Bewertungsrubriken für geometrische Beweise in der Oberstufe erwarten:

• Jeder Schritt ist nummeriert.
• Jeder Schritt wird beim Namen genannt begründet (z. B. „Satz von den Scheitelwinkeln“, nicht „offensichtlich“).
• Der Ablauf ist logisch – jeder Schritt folgt aus den vorherigen über den zitierten Satz/die Eigenschaft.
• Der letzte Schritt stimmt exakt mit der „Zu Beweisenden“ Aussage überein.

Durchgearbeitetes Beispiel

Gegeben: AB ∥ CD; AB = CD.
Zu beweisen: △ABE ≅ △CDE (wobei E der Schnittpunkt der Diagonalen AC und BD ist).

Der Beweis umfasst 5 Zeilen, jede begründet, und führt von der Voraussetzung zur Schlussfolgerung.

Tipps zum handschriftlichen Verfassen von Beweisen

• Mit den gegebenen Angaben beginnen, mit dem Ziel enden. Stellen Sie sicher, dass Schritt 1 eine „Gegebene“ zitiert und der letzte Schritt exakt der „Zu Beweisenden“ Aussage entspricht.
• Gemeinsame Elemente früh identifizieren. Eine gemeinsame Seite oder ein gemeinsamer Winkel (reflexiv) ist oft ein kostenloser Schritt, der die beiden Teile Ihres Beweises verbindet.
• Nach parallelen Linien suchen. Diese liefern Ihnen viele Winkelgleichheiten „gratis“ über die Sätze zu parallelen Geraden.
• Schritte nicht überspringen. Selbst algebraisch offensichtliche Schritte wie Substitution müssen zitiert werden. „A = B, B = C, also A = C“ sind drei Schritte, nicht einer.
• KSKSK schreiben, nicht „entsprechende Teile“. Das Standardakronym ist universell akzeptiert.

Wann KI verwenden vs. von Hand lösen

Die KI ist am schnellsten für:

• Das Überprüfen, ob Sie einen korrekten Beweis gefunden haben (Vergleich Ihrer Arbeit mit der der KI).
• Das Erzeugen eines Beweises, wenn Sie feststecken und eine Startstrategie benötigen.
• Das Übersetzen eines Lehrbuchbeweises vom Fließtext ins Zweispaltenformat (oder umgekehrt).
• Das Ablesen eines Problems von einem Foto und das sofortige Erhalten eines Beweises.

Lösen Sie es von Hand, wenn:

• Es sich um benotete Arbeiten handelt und der Lehrer dies verlangt.
• Sie sich für eine Prüfung vorbereiten (das handschriftliche Verfassen von Beweisen festigt die Muster).
• Der Beweis kurz ist – bei 3-Zeilen-Beweisen ist die KI Overkill.

Einschränkungen

• Die KI kann den falschen Satznamen zitieren. Die Logik ist meist korrekt, aber der explizite Name (z. B. „Satz von den Scheitelwinkeln“ vs. „Satz vom Nebenwinkel“) kann inkonsistent sein. Lesen Sie kritisch.
• Lange mehrstufige Beweise können zusammengefasst werden. Ein Beweis, der 12+ Schritte erfordert, kann auf 6-7 komprimiert werden. Wenn Sie jeden einzelnen Schritt benötigen, bitten Sie um „vollständiger Zweispalten-Beweis, keine zusammengefassten Schritte“.
• Nichteuklidische Geometrie wird nicht unterstützt. Die KI geht von den Standardaxiomen der euklidischen Geometrie aus. Beweise in sphärischer, hyperbolischer oder projektiver Geometrie liegen außerhalb des Anwendungsbereichs.