Vollständige Induktion

Ähnliche Dokumente
Vollständige Induktion

Reihen/Partialsummenfolgen und vollständige Induktion. Robert Klinzmann

3 Vollständige Induktion

: das Bild von ) unter der Funktion ist gegeben durch

Vollständige Induktion. Analysis I. Guofang Wang. Universität Freiburg

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6.

Vollständige Induktion

Vorkurs: Mathematik für Informatiker

Fachwissenschaftliche Grundlagen

Vorlesung. Vollständige Induktion 1

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.

Vollständige Induktion

Induktion und Rekursion

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den

Rechenregeln für Summen

Vorkurs: Mathematik für Informatiker

WS 2009/10. Diskrete Strukturen

Kapitel 1. Grundlegendes

Vollständige Induktion

Vollständige Induktion

Angewandte Mathematik und Programmierung

Kapitel 3. Natürliche Zahlen und vollständige Induktion

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion

1 Übersicht Induktion

Vollständige Induktion

Ferienkurs Analysis 1: Übungsblatt 1

Elementare Beweismethoden

1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente:

3 Primzahlen. j,... stets Primzahlen. 3.1 Satz. Jedes a > 1 ist als Produkt von Primzahlen darstellbar (Primfaktorzerlegung. n=1

Mathematik 1 für Wirtschaftsinformatik

Beispiel 27 (Beweis durch Widerspruch) Satz 28 3 ist irrational, d. h. Beweis: Widerspruchsannahme: 3 Q.

3 Vom Zählen zur Induktion

Denition 1 (Die Peanoschen Axiome). Es gibt eine Menge N und eine sogenannte Nachfolgefunktion S mit folgenden Eigenschaften.

Grundlagen der Mathematik

Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 2. Jeder Frosch ist glücklich, wenn alle seiner Kinder quaken können.

aus der Bedingung/Annahme A folgt ein Widerspruch ), so ist A falsch!

Induktion und Rekursion

Lösungen 4.Übungsblatt

Vorkurs Beweisführung

Logik für Informatiker. 1. Grundlegende Beweisstrategien. Viorica Sofronie-Stokkermans Universität Koblenz-Landau

Grundlagen der Mathematik

Serie 4 2 = 10. ) ist). Dann gilt für alle n n 0

5.1 Drei wichtige Beweistechniken Erklärungen zu den Beweistechniken... 56

Kapitel III. Aufbau des Zahlensystems

1 Das Prinzip der vollständigen Induktion

Dezimaldarstellung ganzer Zahlen (Division mit Rest) 1 Division mit Rest in der Hochschule

Kapitel 11 Beweisführung. Mathematischer Vorkurs TU Dortmund Seite 125 / 254

Fachwissenschaftliche Grundlagen

Informationsblatt Induktionsbeweis

b liegt zwischen a und c.

Theorie der Informatik

Inhaltsverzeichnis. Inhaltsverzeichnis

Brückenkurs Mathematik. Dienstag Freitag

Lineare Algebra I. Probeklausur - Lösungshinweise

Übungen Mathematik I, M

A N A L Y S I S I F Ü R T P H, U E ( ) 1. Übungstest (FR, ) (mit Lösung )

Technische Universität München Zentrum Mathematik Mathematik 1 (Elektrotechnik) Übungsblatt 1

Übung zur Vorlesung Berechenbarkeit und Komplexität

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken

Analysis für Ingenieure

Grundkurs Mathematik I

Schnupperkurs: Ausgewählte Methoden zur Aufgabenlösung

Höhere Mathematik I für die Fachrichtung Informatik. Lösungsvorschläge zum 4. Übungsblatt

Diskrete Strukturen Kapitel 2: Grundlagen (Beweise)

Kapitel 1 Die natürlichen und die ganze Zahlen

Elemente der Algebra und Zahlentheorie Musterlösung, Serie 3, Wintersemester vom 15. Januar 2006

Einführung in die mathematische Logik

Vorlesung Diskrete Strukturen Die natürlichen Zahlen

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken

Mathematik I 1. Scheinklausur

Mathematischer Vorkurs

mathe plus Aussagenlogik Seite 1

Themen: Kubische Gleichungen, Ungleichungen, Induktion

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017

Lösung zu Aufgabe 4 auf Blatt 1 zur Linearen Algebra 1

Grundkurs Mathematik I

Brückenkurs Mathematik

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015

Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 1

Vorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG

Logik/Beweistechniken

8 Summen von Quadraten

Musterlösung zum Weihnahchtsübungsblatt. Teil 1 von Martin Fabricius. Aufgabe 1

Datenstrukturen & Algorithmen Lösungen zu Blatt 4 FS 15

Induktive Beweise und rekursive Definitionen

Lösungen. 1. Klausur zur MIA: Analysis I für Mathematiker

Also kann nur A ist roter Südler und B ist grüner Nordler gelten.

= =

Universität Basel Wirtschaftswissenschaftliches Zentrum. Kombinatorik. Dr. Thomas Zehrt. Inhalt: 1. Endliche Mengen 2. Einfache Urnenexperimente

Theoretische Informatik SS 03 Übung 3

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier

Mathematik und Logik

Grundkurs Mathematik I

Transkript:

30. September 008

Gliederung 1 3 4

Gliederung 1 3 4

Gliederung 1 3 4

Gliederung 1 3 4

Die Peano Axiome für die Menge der Natürlichen Zahlen N I. 0 ist eine natürliche Zahl, d.h. 0 N. II. Jede natürliche Zahl hat genau einen Nachfolger d.h. n : (n N! n N) III. 0 ist nicht Nachfolger einer natürlichen Zahl d.h. n (n = 0) IV. Verschiedene natürliche Zahlen besitzen verschiedene Nachfolger d.h. n, m N : (n = m m = n) V. Besitzt eine Menge S N die zwei folgenden Eigenschaften: 0 S und n N : n S n S so gilt S = N (Induktionsprinzip).

Addition und Multiplikation Die Addition kann folgendermassen definiert werden. n + 0 := n n + m := (n + m) Die Multiplikation kann folgendermassen definiert werden. n 0 := 0 n m := (n m) + n Das Induktionsaxiom garantiert jeweils, dass Addition und Multiplikation wohldefiniert sind. Setzt man nun noch 1 = 0, ergibt sich n = n + 1.

Addition und Multiplikation Die Addition kann folgendermassen definiert werden. n + 0 := n n + m := (n + m) Die Multiplikation kann folgendermassen definiert werden. n 0 := 0 n m := (n m) + n Das Induktionsaxiom garantiert jeweils, dass Addition und Multiplikation wohldefiniert sind. Setzt man nun noch 1 = 0, ergibt sich n = n + 1.

Addition und Multiplikation Die Addition kann folgendermassen definiert werden. n + 0 := n n + m := (n + m) Die Multiplikation kann folgendermassen definiert werden. n 0 := 0 n m := (n m) + n Das Induktionsaxiom garantiert jeweils, dass Addition und Multiplikation wohldefiniert sind. Setzt man nun noch 1 = 0, ergibt sich n = n + 1.

Das Beweisverfahren der vollständigen Induktion beruht auf dem 5. Peano-Axiom für die Menge der natürlichen Zahlen N, dem Induktionsaxiom. Die vollständige Induktion dient dazu, eine Aussage der Form p(n) mit n N für alle Natürlichen Zahlen zu beweisen.

Das Beweisverfahren Um zu Beweisen, dass eine Aussage der Form p(n) für alle Natürlichen Zahlen gilt, sind die folgenden drei Schritte notwendig: Induktionsanfang: Es muss gezeigt werden, dass die Aussage p(n) für n = 0 (oder n = 1) wahr ist. Induktionsannahme: Man nimmt an, dass die Aussage für n gültig ist. Induktionsschluss: Man muss beweisen, dass wenn die Aussage für n gültig ist, sie auch für n + 1 gültig sein muss. Das 5. Peano Axiom sagt nun aus, dass die Aussage für alle n N gültig ist.

Beispiel 1 Behauptung: n i = n (n + 1) Induktionsanfang n = 1: 1 i = 1 (1 + 1) = 1 Induktionsannahme: Die Aussage gilt für n.

Beispiel 1 () Induktionsschluss: Die Aussage gilt für n + 1 n+1 i = n i + (n + 1)

Beispiel 1 () Induktionsschluss: Die Aussage gilt für n + 1 n+1 i = = n i + (n + 1) n (n + 1) + (n + 1) Induktionsannahme

Beispiel 1 () Induktionsschluss: Die Aussage gilt für n + 1 n+1 i = = n i + (n + 1) n (n + 1) + (n + 1) Induktionsannahme = (n + 1)( n + 1) ausklammern

Beispiel 1 () Induktionsschluss: Die Aussage gilt für n + 1 n+1 i = = n i + (n + 1) n (n + 1) + (n + 1) Induktionsannahme = (n + 1)( n + 1) ausklammern = (n + 1)( n + ) Gleichnamigmachen

Beispiel 1 () Induktionsschluss: Die Aussage gilt für n + 1 n+1 i = = n i + (n + 1) n (n + 1) + (n + 1) Induktionsannahme = (n + 1)( n + 1) ausklammern = (n + 1)( n + ) Gleichnamigmachen (n + 1)((n + 1) + 1) = q.e.d.

Beispiel Behauptung: n N : n + n ist eine gerade Zahl (durch teilbar) Induktionsanfang n = 0: 0 + 0 = 0 O.K. Null ist eine gerade Zahl. Induktionsannahme: Die Aussage gilt für n.

Beispiel () Induktionsschluss: Die Aussage gilt für n + 1 (n + 1) + (n + 1) = n + n + 1 + n + 1

Beispiel () Induktionsschluss: Die Aussage gilt für n + 1 (n + 1) + (n + 1) = n + n + 1 + n + 1 = (n + n) + ( n + )

Beispiel () Induktionsschluss: Die Aussage gilt für n + 1 (n + 1) + (n + 1) = n + n + 1 + n + 1 = (n + n) + ( n + ) = (n + n) + (n + 1)

Beispiel () Induktionsschluss: Die Aussage gilt für n + 1 (n + 1) + (n + 1) = n + n + 1 + n + 1 = (n + n) + ( n + ) = (n + n) + (n + 1) Nach Induktionsannahme ist n + n gerade und (n + 1) ist auch gerade. q.e.d.

Beispiel 3 Behauptung: Die Summe aller ungeraden Zahlen von 1 bis n 1 ist gleich dem Quadrat von n. Genauer gesagt: n ( i 1) = n Induktionsanfang n = 1: 1 ( i 1) = 1 O.K. Die Aussage stimmt. Induktionsannahme: Die Aussage gilt für n.

Beispiel 3 () Induktionsschluss: Die Aussage gilt für n + 1 n+1 ( i 1) = n ( i 1) + (n + 1) 1

Beispiel 3 () Induktionsschluss: Die Aussage gilt für n + 1 n+1 n ( i 1) = ( i 1) + (n + 1) 1 = n + n + 1 Induktionsannahme

Beispiel 3 () Induktionsschluss: Die Aussage gilt für n + 1 n+1 n ( i 1) = ( i 1) + (n + 1) 1 = n + n + 1 Induktionsannahme = (n + 1) erste binomische Formelq.e.d.

Kein Induktionsanfang Behauptung: n i = n(n + 1) + 7 Wir nehmen an, dass die Aussage für n gilt. Dann gilt sie auch für n + 1 Beweis: n+1 n i = i + (n + 1)

Kein Induktionsanfang Behauptung: n i = n(n + 1) + 7 Wir nehmen an, dass die Aussage für n gilt. Dann gilt sie auch für n + 1 Beweis: n+1 n i = i + (n + 1) = n (n + 1) + 7 + (n + 1) Induktionsannahme

Kein Induktionsanfang Behauptung: n i = n(n + 1) + 7 Wir nehmen an, dass die Aussage für n gilt. Dann gilt sie auch für n + 1 Beweis: n+1 n i = i + (n + 1) = n (n + 1) + 7 + (n + 1) Induktionsannahme = (n + 1)( n + 1) + 7 ausklammern

Kein Induktionsanfang Behauptung: n i = n(n + 1) + 7 Wir nehmen an, dass die Aussage für n gilt. Dann gilt sie auch für n + 1 Beweis: n+1 n i = i + (n + 1) = n (n + 1) + 7 + (n + 1) Induktionsannahme = (n + 1)( n + 1) + 7 ausklammern (n + 1)((n + 1) + 1) = + 7 q.e.d.

Kein Induktionsanfang () Im obigen Beispiel kann der Induktionsschluss bewiesen werden. Dies nützt aber nichts, da wir kein n N finden können, für das die Formel n i = n(n + 1) + 7 gültig ist.

Falscher Induktionsschluss Behauptung: Wenn sich unter n Tieren ein Elefant befindet, dann sind alle diese Tiere Elefanten. Induktionsanfang: n = 1 : Wenn von einem Tier eines ein Elefant ist, dann sind alle diese Tiere Elefanten. Induktionsvorausetzung: Die Behauptung sei richtig für alle natürlichen Zahlen kleiner oder gleich n.

Falscher Induktionsschluss () Induktionsschluss: Die Aussage gilt für n + 1 1 Sei unter n + 1 Tieren eines ein Elefant. Wir stellen die Tiere so in eine Reihe, dass sich dieser Elefant unter den ersten n Tieren befindet. Nach Induktionsannahme sind dann alle diese ersten n Tiere Elefanten. 3 Damit befindet sich aber auch unter den letzten n Tieren ein Elefant, womit diese auch alle Elefanten sein müssen. Also sind alle n + 1 Tiere Elefanten. 4 q.e.d.

Falscher Induktionsschluss () Induktionsschluss: Die Aussage gilt für n + 1 1 Sei unter n + 1 Tieren eines ein Elefant. Wir stellen die Tiere so in eine Reihe, dass sich dieser Elefant unter den ersten n Tieren befindet. Nach Induktionsannahme sind dann alle diese ersten n Tiere Elefanten. 3 Damit befindet sich aber auch unter den letzten n Tieren ein Elefant, womit diese auch alle Elefanten sein müssen. Also sind alle n + 1 Tiere Elefanten. 4 q.e.d.

Falscher Induktionsschluss () Induktionsschluss: Die Aussage gilt für n + 1 1 Sei unter n + 1 Tieren eines ein Elefant. Wir stellen die Tiere so in eine Reihe, dass sich dieser Elefant unter den ersten n Tieren befindet. Nach Induktionsannahme sind dann alle diese ersten n Tiere Elefanten. 3 Damit befindet sich aber auch unter den letzten n Tieren ein Elefant, womit diese auch alle Elefanten sein müssen. Also sind alle n + 1 Tiere Elefanten. 4 q.e.d.

Falscher Induktionsschluss () Induktionsschluss: Die Aussage gilt für n + 1 1 Sei unter n + 1 Tieren eines ein Elefant. Wir stellen die Tiere so in eine Reihe, dass sich dieser Elefant unter den ersten n Tieren befindet. Nach Induktionsannahme sind dann alle diese ersten n Tiere Elefanten. 3 Damit befindet sich aber auch unter den letzten n Tieren ein Elefant, womit diese auch alle Elefanten sein müssen. Also sind alle n + 1 Tiere Elefanten. 4 q.e.d.

Falscher Induktionsschluss (3) Was daran falsch ist? Im Fall n + 1 = kann man den Elefanten zwar so stellen, dass er bei den ersten n = 1 Tieren steht. Folglich sind alle Tiere unter den ersten n = 1 Tieren Elefanten. In diesem Fall befindet sich unter den letzten n Tieren nicht notwendigerweise ein Elefanten. Der Induktionsschluss funktioniert nur für n > 1, denn nur dann können aus einem Elefanten zwei (oder mehr) werden und ist damit auch ein Elefant unter den letzten n Tieren. Die Induktionsvoraussetzung war aber für n = 1 gezeigt.

Falscher Induktionsschluss (3) Was daran falsch ist? Im Fall n + 1 = kann man den Elefanten zwar so stellen, dass er bei den ersten n = 1 Tieren steht. Folglich sind alle Tiere unter den ersten n = 1 Tieren Elefanten. In diesem Fall befindet sich unter den letzten n Tieren nicht notwendigerweise ein Elefanten. Der Induktionsschluss funktioniert nur für n > 1, denn nur dann können aus einem Elefanten zwei (oder mehr) werden und ist damit auch ein Elefant unter den letzten n Tieren. Die Induktionsvoraussetzung war aber für n = 1 gezeigt.

Falscher Induktionsschluss (3) Was daran falsch ist? Im Fall n + 1 = kann man den Elefanten zwar so stellen, dass er bei den ersten n = 1 Tieren steht. Folglich sind alle Tiere unter den ersten n = 1 Tieren Elefanten. In diesem Fall befindet sich unter den letzten n Tieren nicht notwendigerweise ein Elefanten. Der Induktionsschluss funktioniert nur für n > 1, denn nur dann können aus einem Elefanten zwei (oder mehr) werden und ist damit auch ein Elefant unter den letzten n Tieren. Die Induktionsvoraussetzung war aber für n = 1 gezeigt.

Falscher Induktionsschluss (3) Was daran falsch ist? Im Fall n + 1 = kann man den Elefanten zwar so stellen, dass er bei den ersten n = 1 Tieren steht. Folglich sind alle Tiere unter den ersten n = 1 Tieren Elefanten. In diesem Fall befindet sich unter den letzten n Tieren nicht notwendigerweise ein Elefanten. Der Induktionsschluss funktioniert nur für n > 1, denn nur dann können aus einem Elefanten zwei (oder mehr) werden und ist damit auch ein Elefant unter den letzten n Tieren. Die Induktionsvoraussetzung war aber für n = 1 gezeigt.

1 n 3 + n ist durch 3 teilbar 7 n n ist durch 47 teilbar 3 Für a, n 1 N gilt: an 1 a 1 4 n i = n(n+1)(n+1) 6 5 n n 1 > 0 für n 3 = n 1 i=0 ai 6 n Elemente kann man auf n verschiedene Arten anordnen.