Vollständige Induktion

Ähnliche Dokumente
Vollständige Induktion

Vollständige Induktion

Vorkurs Beweisführung

Induktion und Rekursion

Angewandte Mathematik und Programmierung

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

Vorkurs Mathematik für Informatiker 6 Logik, Teil 2

mathe plus Aussagenlogik Seite 1

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

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

Inhaltsverzeichnis. Inhaltsverzeichnis

Fachwissenschaftliche Grundlagen

WS 2009/10. Diskrete Strukturen

Vollständige Induktion

Rechenregeln für Summen

: das Bild von ) unter der Funktion ist gegeben durch

3 Vom Zählen zur Induktion

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

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

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

Themen: Kubische Gleichungen, Ungleichungen, Induktion

Induktion und Rekursion

Mathematik und Logik

Mathematischer Vorkurs

Vollständige Induktion

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken

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

Grundlagen der Mathematik

Handout zu Beweistechniken

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

1 Übersicht Induktion

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

Tutoraufgabe 1 (Suchen in Graphen):

Mathematik für Informatiker 1 Wintersemester 2013/14 Übungsblatt 6

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

Theorie der Informatik

Reihen/Partialsummenfolgen und vollständige Induktion. Robert Klinzmann

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

Kapitel 1. Grundlegendes

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

Fachwissenschaftliche Grundlagen

Vollständige Induktion

Technische Universität München Zentrum Mathematik Propädeutikum Diskrete Mathematik. Weihnachtsblatt

Informationsblatt Induktionsbeweis

Vollständige Induktion

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

Analysis I. Vorlesung 1. Mengen

2 Klassische Induktion über natürliche Zahlen

1 Das Prinzip der vollständigen Induktion

Logik für Informatiker

Brückenkurs Mathematik

Mathematik 1 für Wirtschaftsinformatik

Lineare Algebra I. Probeklausur - Lösungshinweise

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

3 Vollständige Induktion

Vollständige Induktion

Elementare Beweistechniken

Vorkurs: Mathematik für Informatiker

Klausur HM I H 2005 HM I : 1

Elementare Beweismethoden

( )= c+t(n-1) n>1. Stand der Vorlesung Komplexität von Algorithmen (Kapitel 3)

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

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

Stand der Vorlesung Komplexität von Algorithmen (Kapitel 3)

ANALYSIS I FÜR TPH WS 2016/17 1. Übung Übersicht

Formale Sprachen und Automaten

= =

Diskrete Strukturen Kapitel 2: Grundlagen (Beweise)

Surjektive, injektive und bijektive Funktionen.

Lösung zur Übung für Analysis einer Variablen WS 2016/17

TU8 Beweismethoden. Daniela Andrade

Logik/Beweistechniken

Klausurvorbereitungsblatt Lineare Algebra

Lösungen 4.Übungsblatt

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

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

Brückenkurs Mathematik. Dienstag Freitag

Brückenkurs Mathematik

Zahlenmengen. Bemerkung. R Menge aller Dezimalbrüche: reelle Zahlen, C = {a + i b : a, b R} mit i 2 = 1 komplexe Zahlen.

Grundkurs Mathematik I

Diskrete Mathematik 1

Satz 7. A sei eine Teilmenge des nichttrivialen Vektorraums (V,+, ). Dann sind die folgende Aussagen äquivalent.

Vorlesung. Vollständige Induktion 1

3. Vortrag: Arithmetische Relationen und Gödelisierung

Analysis I für Studierende der Ingenieurwissenschaften

Ferienkurs Analysis 1: Übungsblatt 1

TECHNISCHE UNIVERSITÄT MÜNCHEN

Grundlagen der Mathematik

5 Diagonalisierbarkeit

Lösungen zu Ungerade Muster in Pyramiden. Muster: Die Summe der ungeraden Zahlen (in jeder Teilpyramide) ist stets eine Quadratzahl.

Theoretische Informatik SS 03 Übung 3

Schäfchen zählen von Uwe Walter (2008)

8 Summen von Quadraten

Transkript:

Vollständige Induktion Aussageformen mit natürlichen Zahlen als Parametern kann man mit vollständiger Induktion beweisen. Ist A(n) eine von n N abhängige Aussage, so sind dazu die folgenden beiden Beweisschritte durchzuführen. Induktionsanfang: Man zeigt, dass A(1) richtig ist. Induktionsschluss: Man zeigt, dass aus der Annahme, dass A(n) richtig ist (Induktionsvoraussetzung), folgt, dass auch A(n + 1) richtig ist, d.h. A(n) = A(n + 1). Dann ist gewährleistet, dass A(n) für alle n N gilt. Vollständige Induktion 1-1

Vollständige Induktion Aussageformen mit natürlichen Zahlen als Parametern kann man mit vollständiger Induktion beweisen. Ist A(n) eine von n N abhängige Aussage, so sind dazu die folgenden beiden Beweisschritte durchzuführen. Induktionsanfang: Man zeigt, dass A(1) richtig ist. Induktionsschluss: Man zeigt, dass aus der Annahme, dass A(n) richtig ist (Induktionsvoraussetzung), folgt, dass auch A(n + 1) richtig ist, d.h. A(n) = A(n + 1). Dann ist gewährleistet, dass A(n) für alle n N gilt. Bei einem Induktionsbeweis wird sukzessive das Nächste aus dem Vorherigen gefolgert. Wird der Induktionsanfang nicht für n 0 = 1, sondern für ein n 0 > 1 durchgeführt, so gilt die Aussage nur für alle n n 0. Vollständige Induktion 1-2

Beweis der Formel für die Summe der Quadratzahlen, A(n) : n k=1 k 2 = 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1), 6 mit vollständiger Induktion Vollständige Induktion 2-1

Beweis der Formel für die Summe der Quadratzahlen, A(n) : n k=1 k 2 = 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1), 6 mit vollständiger Induktion Induktionsanfang (A(1)): 1 k=1 k 2 = 1 2 = 1 2 3 6 Vollständige Induktion 2-2

Vollständige Induktion 2-3

Induktionsschluss (A(n) = A(n + 1)): n+1 k 2 = k=1 n k 2 + (n + 1) 2 = k=1 n(n + 1)(2n + 1) 6 } {{ } A(n) = (n + 1)[ n(2n + 1) + 6(n + 1) ] 6 = +(n + 1) 2 (n + 1)(n + 2)(2n + 3) 6 Vollständige Induktion 2-4

Induktionsschluss (A(n) = A(n + 1)): n+1 k 2 = k=1 n k 2 + (n + 1) 2 = k=1 n(n + 1)(2n + 1) 6 } {{ } A(n) = (n + 1)[ n(2n + 1) + 6(n + 1) ] 6 = +(n + 1) 2 (n + 1)(n + 2)(2n + 3) 6 Verwendung der Induktionsvoraussetzung bei der zweiten Gleichheit Vollständige Induktion 2-5

Anzahl der Spiele bei einem Tennis-Turnier (K.O.-System) mit 2 n Teilnehmern 2 n 1 (n = 7 bei einem Grand-Slam) Vollständige Induktion 3-1

Anzahl der Spiele bei einem Tennis-Turnier (K.O.-System) mit 2 n Teilnehmern 2 n 1 (n = 7 bei einem Grand-Slam) (i) Beweis mit vollständiger Induktion: Vollständige Induktion 3-2

Anzahl der Spiele bei einem Tennis-Turnier (K.O.-System) mit 2 n Teilnehmern 2 n 1 (n = 7 bei einem Grand-Slam) (i) Beweis mit vollständiger Induktion: Induktionsanfang (n = 1): 2 = 2 1 Teilnehmer 1 = 2 1 1 Spiele Vollständige Induktion 3-3

Anzahl der Spiele bei einem Tennis-Turnier (K.O.-System) mit 2 n Teilnehmern 2 n 1 (n = 7 bei einem Grand-Slam) (i) Beweis mit vollständiger Induktion: Induktionsanfang (n = 1): 2 = 2 1 Teilnehmer 1 = 2 1 1 Spiele Induktionsschluss (n n + 1): Vollständige Induktion 3-4

Anzahl der Spiele bei einem Tennis-Turnier (K.O.-System) mit 2 n Teilnehmern 2 n 1 (n = 7 bei einem Grand-Slam) (i) Beweis mit vollständiger Induktion: Induktionsanfang (n = 1): 2 = 2 1 Teilnehmer 1 = 2 1 1 Spiele Induktionsschluss (n n + 1): 2 n+1 Teilnehmer zwei Gruppen mit je 2 n Teilnehmern Vollständige Induktion 3-5

Anzahl der Spiele bei einem Tennis-Turnier (K.O.-System) mit 2 n Teilnehmern 2 n 1 (n = 7 bei einem Grand-Slam) (i) Beweis mit vollständiger Induktion: Induktionsanfang (n = 1): 2 = 2 1 Teilnehmer 1 = 2 1 1 Spiele Induktionsschluss (n n + 1): 2 n+1 Teilnehmer zwei Gruppen mit je 2 n Teilnehmern Induktionsvoraussetzung = [2 n 1] Spiele in jeder Gruppe Vollständige Induktion 3-6

Anzahl der Spiele bei einem Tennis-Turnier (K.O.-System) mit 2 n Teilnehmern 2 n 1 (n = 7 bei einem Grand-Slam) (i) Beweis mit vollständiger Induktion: Induktionsanfang (n = 1): 2 = 2 1 Teilnehmer 1 = 2 1 1 Spiele Induktionsschluss (n n + 1): 2 n+1 Teilnehmer zwei Gruppen mit je 2 n Teilnehmern Induktionsvoraussetzung = [2 n 1] Spiele in jeder Gruppe zusätzliches letztes Spiel für die Sieger der beiden Gruppen Spiele bei 2 n+1 Teilnehmern 2 [2 n 1] + 1 = 2 n+1 1 Vollständige Induktion 3-7

(ii) einfachere Argumentation ohne vollständige Induktion: Vollständige Induktion 3-8

(ii) einfachere Argumentation ohne vollständige Induktion: Beim K.O.-System verliert bis auf den Gewinner jeder Teilnehmer genau einmal; jedes Spiel hat genau einen Verlierer. Vollständige Induktion 3-9

(ii) einfachere Argumentation ohne vollständige Induktion: Beim K.O.-System verliert bis auf den Gewinner jeder Teilnehmer genau einmal; jedes Spiel hat genau einen Verlierer. ein Spiel weniger als die Teilnehmerzahl Vollständige Induktion 3-10

(ii) einfachere Argumentation ohne vollständige Induktion: Beim K.O.-System verliert bis auf den Gewinner jeder Teilnehmer genau einmal; jedes Spiel hat genau einen Verlierer. ein Spiel weniger als die Teilnehmerzahl Alternativbeweis auch bei Teilnehmerfeldern beliebiger Größe anwendbar (z.b. bei Freilosen) Vollständige Induktion 3-11

letzte 3 Runden des Wimbledon-Turniers von 1985 ÙÒØ Ö Ø ¾ Â ÖÖÝ Â ÖÖÝ ¾ Ö Ä ÓÒØ Ö Ö Ö Å ÒÖÓ ¾ ¾ ÙÖÖ Ò ÙÖÖ Ò ¾ ¾ ½ ÙÖÖ Ò ÓÒÒÓÖ ½ ¾ ÓÒÒÓÖ ÙÒ Vollständige Induktion 3-12

falsche Aussage Alle Mäuse sind grau Vollständige Induktion 4-1

falsche Aussage Beweis mit vollständiger Induktion Alle Mäuse sind grau Vollständige Induktion 4-2

falsche Aussage Beweis mit vollständiger Induktion Induktionsschluss (n n + 1): Alle Mäuse sind grau Vollständige Induktion 4-3

falsche Aussage Beweis mit vollständiger Induktion Induktionsschluss (n n + 1): n + 1 Mäuse: M 1,..., M n+1 Alle Mäuse sind grau Vollständige Induktion 4-4

falsche Aussage Beweis mit vollständiger Induktion Alle Mäuse sind grau Induktionsschluss (n n + 1): n + 1 Mäuse: M 1,..., M n+1 M 1,..., M n und M 2,..., M n+1 jeweils grau nach Induktionsvoraussetzung Vollständige Induktion 4-5

falsche Aussage Beweis mit vollständiger Induktion Alle Mäuse sind grau Induktionsschluss (n n + 1): n + 1 Mäuse: M 1,..., M n+1 M 1,..., M n und M 2,..., M n+1 jeweils grau nach Induktionsvoraussetzung = n + 1 Mäuse grau Vollständige Induktion 4-6

falsche Aussage Beweis mit vollständiger Induktion Alle Mäuse sind grau Induktionsschluss (n n + 1): n + 1 Mäuse: M 1,..., M n+1 M 1,..., M n und M 2,..., M n+1 jeweils grau nach Induktionsvoraussetzung = n + 1 Mäuse grau Grund für den Widerspruch: fehlender Induktionsanfang Vollständige Induktion 4-7