Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik...

21
Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis-methoden der Mathematik kennen, gezielt auswählen und anwenden Nr.3- 3.11.2014 1

Transcript of Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik...

Page 1: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Beweisen in der Schule

Bildungsplan 2004 (Zitat:)Begründen

Elementare Regeln und Gesetze der Logik kennen und anwenden

Begründungstypen und Beweis-methoden der Mathematik kennen, gezielt auswählen und anwenden

Nr.3- 3.11.20141

Page 2: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Beweisen in der Schule

Satz: Wenn 6│n, dann 3│n.Beweis: 6│n, also n = 6 k ; Definition „teilt“∙ also n = 2 3 k ; elemen. ∙ ∙Rechnen also n = 3 (2 k); Rechenregeln ∙ ∙ also n = 3 j mit j=2k∙ also 3│n; Definition „teilt“

Nr.3- 3.11.20142

Page 3: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Direkter Beweis

Aussagenlogische Analyse:[A ᴧ (A→B)] → B

Tautologie

Nr.3- 3.11.20143

A B A→B Aᴧ(A→B) Aᴧ(A→B)→BW W W W WW F F F WF W W F WF F W F W

Page 4: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Direkter Beweis

Aussagenlogische Analyse:[A ᴧ (A→B)] → B

Mehrfache Hintereinanderausführung[A ᴧ (A→B)] → B[B ᴧ (B→C)] → C[C ᴧ (C→D)] → D usw.

Nr.3- 3.11.20144

Page 5: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Warum habe ich bewiesen?Wenn 6│n, dann 3│n.

• Weil Sie es vorher nicht wussten?

• Weil man in Mathe alles beweist?

• Weil ich den Satz später brauche?

Nr.3- 3.11.20145

Page 6: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Warum habe ich bewiesen?Wenn 6│n, dann 3│n.

• Weil der Beweis ein geeignetes Bei-spiel für einen direkten Beweis ist.

Hier geeignet weil:• Kein Vorwissen außer Aussagenlogik• Keine spezifischen Schwierigkeiten• Keine geniale Idee• Einfache Begründungsbasis

Nr.3- 3.11.20146

Page 7: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Beispiel aus Klasse 7

Beweise: α+β+γ = 180°

1. Zeichne g││h ; Idee2. β´= α ; Wech.W-Satz3. α´= β ; Wech.W-Satz4. β´+γ+α´= 180°; Neben-W-Satz5. α+β+γ = 180°

Nr.3- 3.11.20147

A B

α β

A B

α β

β´ α´

g

h

Page 8: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Direkt geht nicht? Was tun?

A: Fred hat am 1.11.11. in Stuttgart einen Mord verübtB: Fred war am 1.1.11 in Stuttgart

Gerichtsfeste Logik: 1. A→B ist wahr2. ¬B→¬ A ist wahr

Nr.3- 3.11.20148

A B A→B ¬A ¬B ¬B→¬A

W W W F F W

W F F F W F

F W W W F W

F F W W W W

Page 9: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Kontraposition

1. A→B und ¬B→¬ A sind logisch äquivalent

2. ¬B→¬ A heißt Kontraposition zu A→B

3. Statt A→B zu beweisen ist es gleichwertig ¬B→¬ A zu beweisen.

Beachte: Umkehrung von A→B ist B→A. Das ist nicht die Kontraposition

Nr.3- 3.11.20149

Page 10: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Kontraposition

Zeige: Wenn n² gerade, dann n gerade.Beweis mit Kontraposition. Zu zeigen:Wenn n ungerade, dann n² ungerade.

n ungerade, also n = 2 k+1; Def. ungerade∙ also n² = 4k²+4k+1; Algebra also n² = 2(2k²+2k)+1; Algebra also n² = 2 j+1 mit j=2k²+2k∙ also n² ungerade

Nr.3- 3.11.201410

Page 11: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Beweis durch Widerspruch

Ein historisches Beispiel: Galilei ca.1600Körper K: Masse M Körper k: Masse m<M

Galilei möchte zeigen:A: K fällt nicht schneller als k

Ich nehme an, A ist falsch, also¬A: K fällt schneller als k

Nr.3- 3.11.201411

Page 12: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Beweis durch Widerspruch

Ein historisches Beispiel: Galilei ca.1600Körper K: Masse M Körper k: m<M

Galilei möchte zeigen:A: K fällt nicht schneller als k

Galilei nimmt an, A ist falsch: ¬A: K fällt schneller als kUnd erhält einen Widerspruch.

Nr.3- 3.11.201412

Page 13: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Beweis durch Widerspruch

Aussagenlogische Form:[¬ A→(Bᴧ¬B)] → A ist eine Tautologie*

Aus¬ A folgt Kontradiktion. Es folgt ¬ ¬ A=A

* Beweis mit Wahrheitstafel

Nr.3- 3.11.201413

Page 14: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

In der Schule?

Zeige A: √2 kann man nicht als Bruch a/b schreiben (a,b aus Z)Beweis mit WiderspruchAnnahme ¬ A: √2 = a/b dann 2 = a²/b² dann 2b²=a²Primfaktor 2 in ungerader Anzahl in gerader AnzahlWiderspruch!

Nr.3- 3.11.201414

Page 15: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Didaktische Bewertung

• Vorwissen: Primfaktorzerlegung

• Logische Strategie schwer

• „Unterprozedur“ des Widerspruchs lenkt ab von „Oberprozedur“ ab.

Nr.3- 3.11.201415

Page 16: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

In der Schule

• Unterscheidung: Satz – Definition

• Unterscheidung: Satz - Kehrsatz

• Voraussetzung – Folgerung identifizieren

• Aussage eines Satzes verstehen

Nr.3- 3.11.201416

Page 17: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

In der Schule

• Beweis mit Beispiel bzw. Gegenbeispiel

• Direkte Beweise ab Klasse 7

• Stellenweise: Kontraposition Beweis mit Widerspruch

Nr.3- 3.11.201417

Page 18: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

In der Schule

• Beweis mit Beispiel bzw. Gegenbeispiel

• Direkte Beweise ab Klasse 7

• Stellenweise: Kontraposition Beweis mit Widerspruch

Nr.3- 3.11.201418

Page 19: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Zusatz 1

Zum Bildungswert der Mathematik an der Schule am Beispiel der deduktiven (logischen) Schulung.

Nr.3- 3.11.201419

Page 20: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Zusatz 2

Was leistet ein Beweis?

Mathematischer Satz

Wahr in der Wahr in Mathematik Wirklichkeit?

Bsp: Winkelsumme im Dreieck

Nr.3- 3.11.201420

Page 21: Beweisen in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweis- methoden.

Zusatz 2

Einstein: "Insofern sich die Sätze der Mathematik auf die Wirklichkeit beziehen, sind sie nicht sicher, und insofern sie sicher sind, beziehen sie sich nicht auf die Wirklichkeit".

Nr.3- 3.11.201421