Informationsblatt Induktionsbeweis



Ähnliche Dokumente
Lineargleichungssysteme: Additions-/ Subtraktionsverfahren

Primzahlen und RSA-Verschlüsselung

Grundbegriffe der Informatik

Professionelle Seminare im Bereich MS-Office

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

Skript und Aufgabensammlung Terme und Gleichungen Mathefritz Verlag Jörg Christmann Nur zum Privaten Gebrauch! Alle Rechte vorbehalten!

7 Rechnen mit Polynomen

a n auf Konvergenz. Berechnen der ersten paar Folgenglieder liefert:

50. Mathematik-Olympiade 2. Stufe (Regionalrunde) Klasse Lösung 10 Punkte

Info zum Zusammenhang von Auflösung und Genauigkeit

Wir machen neue Politik für Baden-Württemberg

Prozentrechnung. Wir können nun eine Formel für die Berechnung des Prozentwertes aufstellen:

Abschlussprüfung Realschule Bayern II / III: 2009 Haupttermin B 1.0 B 1.1

1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage:

Analysis I für Studierende der Ingenieurwissenschaften

Lernerfolge sichern - Ein wichtiger Beitrag zu mehr Motivation

Das sogenannte Beamen ist auch in EEP möglich ohne das Zusatzprogramm Beamer. Zwar etwas umständlicher aber es funktioniert

Approximation durch Taylorpolynome

sondern alle Werte gleich behandelt. Wir dürfen aber nicht vergessen, dass Ergebnisse, je länger sie in der Vergangenheit

Musterlösungen zur Linearen Algebra II Blatt 5

ONLINE-AKADEMIE. "Diplomierter NLP Anwender für Schule und Unterricht" Ziele

Repetitionsaufgaben Wurzelgleichungen

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

Erfahrungen mit Hartz IV- Empfängern

ES GEHT NICHTS ÜBER EX-AZUBIS, Leiter der Fertigung, Produktbereich Blech, bei

1 topologisches Sortieren

Persönliche Zukunftsplanung mit Menschen, denen nicht zugetraut wird, dass sie für sich selbst sprechen können Von Susanne Göbel und Josef Ströbl

Was bedeutet Inklusion für Geschwisterkinder? Ein Meinungsbild. Irene von Drigalski Geschäftsführerin Novartis Stiftung FamilienBande.

Grundlagen der Theoretischen Informatik, SoSe 2008

Korrigenda Handbuch der Bewertung

Modellbildungssysteme: Pädagogische und didaktische Ziele

Zahlenwinkel: Forscherkarte 1. alleine. Zahlenwinkel: Forschertipp 1

Alle Schlüssel-Karten (blaue Rückseite) werden den Schlüssel-Farben nach sortiert und in vier getrennte Stapel mit der Bildseite nach oben gelegt.

4.4 AnonymeMärkteunddasGleichgewichtder"vollständigen Konkurrenz"

der Eingabe! Haben Sie das Ergebnis? Auf diesen schwarzen Punkt kommen wir noch zu sprechen.

Anleitung über den Umgang mit Schildern

Statuten in leichter Sprache

Zwischenablage (Bilder, Texte,...)

Qualität und Verlässlichkeit Das verstehen die Deutschen unter Geschäftsmoral!

Was meinen die Leute eigentlich mit: Grexit?

1: 9. Hamburger Gründerpreis - Kategorie Existenzgründer :00 Uhr

Kreativ visualisieren

Südbaden-Cup. Ausstieg Champions

LU-Zerlegung. Zusätze zum Gelben Rechenbuch. Peter Furlan. Verlag Martina Furlan. Inhaltsverzeichnis. 1 Definitionen.

Grundlagen der höheren Mathematik Einige Hinweise zum Lösen von Gleichungen

1 Mathematische Grundlagen

Markus 13, Wie ist es, wenn die Welt aufhört? Und wenn die neue Welt von Gott anfängt.

Gutes Leben was ist das?

Was ist das Budget für Arbeit?

D.E.O. Die Erwachsene Organisation. Lösungen für eine synergetische Arbeitswelt

EINFACHES HAUSHALT- KASSABUCH

Media Teil III. Begriffe, Definitionen, Übungen

Daten sammeln, darstellen, auswerten

Ergebnis und Auswertung der BSV-Online-Umfrage zur dienstlichen Beurteilung

Schrittweise Anleitung zur Erstellung einer Angebotseite 1. In Ihrem Dashboard klicken Sie auf Neu anlegen, um eine neue Seite zu erstellen.

Lineare Gleichungssysteme

Erfüllbarkeit und Allgemeingültigkeit

- mit denen Sie Ihren Konfliktgegner in einen Lösungspartner verwandeln

Berechnung der Erhöhung der Durchschnittsprämien

Versetzungsgefahr als ultimative Chance. ein vortrag für versetzungsgefährdete

Platinen mit dem HP CLJ 1600 direkt bedrucken ohne Tonertransferverfahren

Papa - was ist American Dream?

Aber zuerst: Was versteht man unter Stromverbrauch im Standby-Modus (Leerlaufverlust)?

geben. Die Wahrscheinlichkeit von 100% ist hier demnach nur der Gehen wir einmal davon aus, dass die von uns angenommenen

Erstellen einer Collage. Zuerst ein leeres Dokument erzeugen, auf dem alle anderen Bilder zusammengefügt werden sollen (über [Datei] > [Neu])

Physik 4, Übung 11, Prof. Förster

Simulation LIF5000. Abbildung 1

0, v 6 = , v 4 = span(v 1, v 5, v 6 ) = span(v 1, v 2, v 3, v 4, v 5, v 6 ) 4. span(v 1, v 2, v 4 ) = span(v 2, v 3, v 5, v 6 )

Gleichungen Lösen. Ein graphischer Blick auf Gleichungen

Serienbriefe mit Word. [Geben Sie den Untertitel des Dokuments ein] Computeria Rorschach

Berechnungen in Access Teil I

Gesprächsführung für Sicherheitsbeauftragte Gesetzliche Unfallversicherung

Die SPD und die Grünen machen im Niedersächsischen Landtag. Alle Menschen sollen in der Politik mitmachen können.

8. Berechnung der kalkulatorischen Zinsen

V 2 B, C, D Drinks. Möglicher Lösungsweg a) Gleichungssystem: 300x y = x + 500y = 597,5 2x3 Matrix: Energydrink 0,7 Mineralwasser 0,775,

Chemie Zusammenfassung KA 2

Beispiellösungen zu Blatt 111

Logische Folgerung. Definition 2.11

WinVetpro im Betriebsmodus Laptop

Mit dem Tool Stundenverwaltung von Hanno Kniebel erhalten Sie die Möglichkeit zur effizienten Verwaltung von Montagezeiten Ihrer Mitarbeiter.

Formale Systeme, WS 2012/2013 Lösungen zu Übungsblatt 4

Bernadette Büsgen HR-Consulting

Aufgaben Leiten Sie die Formeln (9) und (10) her! Vorbetrachtungen. Der High-Fall

Monatstreff für Menschen ab 50 Temporäre Dateien / Browserverlauf löschen / Cookies

Schnellstart - Checkliste

AutoCAD Dienstprogramm zur Lizenzübertragung

Wichtiges Thema: Ihre private Rente und der viel zu wenig beachtete - Rentenfaktor

VibonoCoaching Brief -No. 18

TESTEN SIE IHR KÖNNEN UND GEWINNEN SIE!

Mind Mapping am PC. für Präsentationen, Vorträge, Selbstmanagement. von Isolde Kommer, Helmut Reinke. 1. Auflage. Hanser München 1999

HIER GEHT ES UM IHR GUTES GELD ZINSRECHNUNG IM UNTERNEHMEN

Übungsaufgaben Tilgungsrechnung

Mathematischer Vorbereitungskurs für Ökonomen

Arbeitspunkt einer Diode

ACDSee 10. ACDSee 10: Fotos gruppieren und schneller durchsuchen. Was ist Gruppieren? Fotos gruppieren. Das Inhaltsverzeichnis zum Gruppieren nutzen

Die Post hat eine Umfrage gemacht

Toolbeschreibung: EVERNOTE

Würfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!.

Welche Gedanken wir uns für die Erstellung einer Präsentation machen, sollen Ihnen die folgende Folien zeigen.

Leit-Bild. Elbe-Werkstätten GmbH und. PIER Service & Consulting GmbH. Mit Menschen erfolgreich

Transkript:

Sommer 015 Informationsblatt Induktionsbeweis 31. März 015 Motivation Die vollständige Induktion ist ein wichtiges Beweisverfahren in der Informatik. Sie wird häufig dazu gebraucht, um mathematische Formeln zu vereinfachen. Zum Beispiel werden Summen über Laufvariablen ( i...) in eine geschlossene, einfachere Form ohne Summenzeichen gebracht. Aber nicht nur mathematische sondern auch strukturelle Eigenschaften von zum Beispiel Bäumen und Graphen können mit vollständiger Induktion gezeigt werden. Bei einem Induktionsbeweis setzt man sich mit der Struktur eines Problems auseinander und entwickelt damit ein tiefes Verständnis für dieses Problem. Im Folgenden erklären wir kurz das Induktionsprinzip und zeigen am klassischen Beispiel der Summenregel von Gauß, wie man mit der vollständigen Induktion Aussagen beweisen kann. Ziel ist, dass Sie das Prinzip der vollständigen Induktion verstehen und vorbereitet sind, andere Anwendungen der vollständigen Induktion schneller zu erfassen. Induktionsprinzip Häufig wollen wir Behauptungen formulieren in der Art Für alle ganzen Zahlen n gilt die Aussage P (n) und diese Behauptung dann auch beweisen. Wenn wir diese Aussage nur für endlich viele n beweisen wollten, dann könnten wir auch einfach nur alle Fälle komplett durchspielen (auch dies ist je nach Anzahl der Fälle recht aufwendig). In den meisten Fällen wollen wir aber die Aussage für alle möglichen n also unendlich viele beweisen. Je nach Art der Aussage P ist eine Möglichkeit P (n) für alle ganze Zahlen n (n N) zu beweisen die vollständige Induktion. Dazu müssen wir erst die Aussage für den Grundfall beweisen den Induktionsanfang das ist meistens P (1). Man macht dies durch Einsetzen und Überprüfen. Dann machen wir eine Induktionsannahme und tun einfach mal so als würde P (n) gelten. Wenn wir unter der Annahme, dass P (n) gilt, die Aussage P (n1) zeigen können der Induktionsschritt dann haben wir P (n) für alle n N gezeigt. Warum? Wir haben ja schon P (1) gezeigt und wir wissen, dass wenn P (n) gilt, dass dann P (n 1) gilt. Also gilt zumindest P (). Wenn aber P () gilt, dann muss mit derselben Logik auch P (3) gelten. Dann ja aber auch P (4). Und P (5). Und so weiter.... Also gilt P (n) für alle n N. Der kleine Gauß Ein Mathematiklehrer soll die folgende Aufgabe an seine Schüler in der Grundschule gestellt haben: Berechnen Sie die Summe der Zahlen von 1 bis 100. 1

Sommer 015 Unter den Schülern saß der kleine Gauß der später ein sehr berühmter Mathematiker werden sollte. Der Lehrer hatte wohl mit einer ruhigen Stunde gerechnet, allerdings nicht mit dem kleinen Gauß, der ihm schon nach kurzer Zeit das Ergebnis 5050 mitteilte. Zu der Überraschung des Lehrers war das Ergebnis richtig und sehr schnell berechnet. Während die anderen Schüler begonnen haben die Zahlen von vorne schrittweise zu addieren, also 1 3 4 100 nach und nach zusammen zu rechnen, 1 3 4 100 3 3 4 100 6 4 100 hat der kleine Gauß erst mal nachgedacht 1. Statt von links nach rechts zusammenzufassen ist ihm aufgefallen, dass er wenn er die erste Zahl, die 1, und die letzte Zahl, die 100, zusammenzählt auf 101 kommt, da 100 1 101. Wenn er dasselbe für die zweite Zahl, die, und die vorletzte Zahl, die 99, tut, dann kommt auch 101 raus, da 99 101. Das kann er tun bis er bei 50 und 51 ankommt und auch hier 101 erhält, da 50 51 101. Er hat also 50 mal eine solche Ersetzung durchgeführt und kann so das Problem vereinfachen zu Dies entspricht aber gerade 1 3 4 100 50 mal { }} { 101 101. 50 101 5050 und so ist das Ergebnis schnell berechnet. Interessanterweise kann man das für alle möglichen Summen von ganzen Zahlen von 1 bis n tun. Die Summe der Zahlen von 1 bis 100 ist ja mit Summenzeichen dargestellt 1 meistens ein guter Ansatz 100. i 5050..

Sommer 015 Was ist also im allgemeinen Fall mit n statt 100 i? Aus obigen Beispiel sehen wir, dass 50 die Hälfte von 100 ist. Und 101 ist 100 1. Ganz naiv könnten wir vermuten, dass i? n (n 1) ist. Für n 100 ist das richtig. Aber den allgemeinen Fall (etwas anders aufgeschrieben) i? müssen wir zeigen. Wir tun das mit vollständiger Induktion. Ein Induktionsbeweis Wir zeigen nun obige Aussage formal als Induktionsbeweis. Satz: Für alle ganzen Zahlen n, die größer oder gleich 1 sind, ist die Summe der Zahlen von 1 bis n gleich /. n N n 1 : Beweis: Vollständige Induktion über n i Induktionsanfang: n 1 : P (1) Wir müssen zeigen, dass die Aussage für n 1 gilt. Wir setzen n auf 1 und rechnen nach. Die Summe der Zahlen von 1 bis 1 ist genau 1. Wenn wir in die Formel / für n die Zahl 1 einsetzen erhalten wir 1 (1 1)/. Das ist aber 1 / 1 1 1. Die Formel stimmt für n 1. 1 i 1 1 1 1 1 (1 1) 3

Sommer 015 Induktionsschritt: n n 1 : P (n) P (n 1) Wir müssen nun zeigen, dass wenn die Formel für n gilt, dann gilt sie auch für n1. Induktionsannahme (IA): P (n) Wir nehmen an, dass die Summe der Zahlen von 1 bis n gleich dem Ausdruck / ist. i Wir werden die Induktionsannahme später nutzen. Zu zeigen: P (n 1) Wir müssen nun zeigen, dass die Summe der Zahlen von 1 bis n 1 gleich dem Ausdruck (n 1) ((n 1) 1)/ ist. In dem Ausdruck haben wir jeweils n durch n 1 ersetzt. i? (n 1) (n ) Beweis: Wir formen die linke Seite so um, dass wir die Induktionsannahme einsetzen können. Die Summe der Zahlen von 1 bis n 1 ist gleich der Summe der Zahlen von 1 bis n plus die Zahl n 1. i ( i) (n 1) Da die Induktionsannahme gilt, können wir jetzt die Summe n i ersetzen durch /. ( i) (n 1) IA (n 1) Wir drücken mit IA aus, dass wir die Induktionsannahme verwendet haben. Wir formen n 1 um zu (n 1)/ um zu dem gemeinsamen Teiler zu kommen (n 1) und fassen zusammen (n 1) (n 1) (n 1) Jetzt haben wir zwei mal n 1 und noch einmal n mal n 1. Das heißt zusammen haben wir n (oder n ) mal n 1. (n 1) (n ) (n 1) 4

Sommer 015 Wir sortieren richtig und erhalten Zusammengefasst: (n ) (n 1) i (n 1) (n ) (n 1) (n ) i ( i) (n 1) IA (n 1) (n 1) (n 1) (n ) (n 1) (n 1) (n ) Da wir für den Beweis nur P (n) verwendet haben und daraus P (n 1) gefolgert haben, gilt P (n) für alle ganzen Zahlen größer oder gleich 1. n N n 1 : i 5