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

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

Vorlesung. Vollständige Induktion 1

Induktion und Rekursion

Vorkurs Beweisführung

2. Grundlagen. A) Mengen

Der mathematische Beweis

Grundlagen der Mathematik

Angewandte Mathematik und Programmierung

Hausaufgaben. zur Vorlesung. Vollständige Induktion. 1. Beweist folgende Formeln (zu beweisen ist nur die Gleichheit mit dem. i=1 (4 + i)!

Vollständige Induktion

Vollständige Induktion

Grundlagen der Mathematik

Vollständige Induktion

Fachwissenschaftliche Grundlagen

Dr. Regula Krapf Sommersemester Beweismethoden

Vorkurs Beweisen

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

Indexmengen. Definition. n n n. i=1 A i := A 1... A n

Induktion und Rekursion

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

Grundlagen der Mathematik

Logik/Beweistechniken

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken

3 Vollständige Induktion

Elementare Beweismethoden

mathe plus Aussagenlogik Seite 1

DIREKTER BEWEIS. Bei der direkten Beweismethode wird versucht, die Aussage direkt mit einem Beweis zu untermauern. n = 2k

WS 2009/10. Diskrete Strukturen

Vollständige Induktion

Mengenlehre und vollständige Induktion

Brückenkurs Mathematik

Vorkurs Mathematik - SoSe 2017

Vorkurs: Mathematik für Informatiker

3 Vom Zählen zur Induktion

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

1. Übungsblatt zur Analysis I. Gruppenübungen

Reihen/Partialsummenfolgen und vollständige Induktion. Robert Klinzmann

Elementare Beweistechniken

Einführung, III: Verschiedenes

Induktion und Rekursion

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009

1 Das Prinzip der vollständigen Induktion

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

Brückenkurs Mathematik. Dienstag Freitag

Vorkurs: Mathematik für Informatiker

Theorie der Informatik

Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark Dr. Markus Lange. Analysis 1. Aufgabenzettel 4

Universität Innsbruck WS 2013/2014. Brückenkurs. Formale Konzepte. 3. Auflage. Harald Zankl. 15. Januar 2014

Tutorium: Diskrete Mathematik

Kapitel 1. Grundlegendes

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen

Formale Methoden II. Gerhard Jäger. SS 2005 Universität Bielefeld. Teil 3, 12. Mai Formale Methoden II p.1/23

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen

Fachwissenschaftliche Grundlagen

Diskrete Strukturen Kapitel 2: Grundlagen (Beweise)

Brückenkurs Mathematik. Dienstag Freitag

Schnupperkurs: Ausgewählte Methoden zur Aufgabenlösung

Hinweis: Aus Definition 1 und 2 folgt, dass die Zahl 0 zu den geraden Zahlen zählt.

Summenzeichen. Gymnasium Immensee Vertiefungskurs Mathematik. Bettina Bieri

Mengenlehre: Mengen und Zahlen

Analysis I für Studierende der Ingenieurwissenschaften

Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 1

II. Wissenschaftliche Argumentation

Logik für Informatiker

IV Beweise in der Mathematik

Vorkurs: Mathematik für Informatiker

Vertiefungskurs Mathematik

Vorkurs Mathematik im Sommersemester 2018

Vorkurs: Mathematik für Informatiker

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

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

2.1 Direkter Beweis. Theorie der Informatik. Theorie der Informatik. 2.1 Direkter Beweis. 2.2 Indirekter Beweis

Paare und Kartesische Produkte

WS 2013/14. Diskrete Strukturen

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

Beweistechniken. Vorkurs Informatik - SoSe April 2014

Analysis I für Studierende der Ingenieurwissenschaften

Vertiefungskurs Mathematik. Anforderungen für das Universitäts-Zertifikat zum Schuljahr 2016/17 (unverändert seit 2012/13)

schreiben, wobei p und q ganze Zahlen sind.

Grundlegendes der Mathematik

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

Vollständige Induktion

VORKURS MATHEMATIK. 0 a + 1 b = ( 4/7)c. und addiere die zweite Gleichung zur Ersten: 1 a + 0 b = (3/7)c

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

Mathematik für Informatiker I, WS 2007/08 Musterlösung zur freiwilligen Zwischenklausur vom 4. Dezember 2007

Vorkurs: Mathematik für Informatiker

Einführung in die Diskrete Mathematik

Themen: Kubische Gleichungen, Ungleichungen, Induktion

Übungen zur Vorlesung Einführung in die Mathematik

Vorkurs Mathematik für Informatiker 6 Logik, Teil 2

Alternativ kann man auch die Differenz a n+1 a n betrachten:

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

Zusammenfassung: Beweisverfahren

Mathematik I 1. Scheinklausur

Beweise. Gymnasium Immensee SPF PAM: Basiskurs Mathematik. Bettina Bieri

Mathematische Grundlagen (01141) SoSe 2010

Rhetorik und Argumentationstheorie.

40. Österreichische Mathematik-Olympiade Kurswettbewerb Lösungen

Transkript:

Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den 8.9.011 Vorkurs Mathematik WS 011/1 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht man die richtige Idee, um die Lösung zu finden. Bitte bearbeiten Sie die anderen Aufgaben zuerst. Aufgabe 1: Zeigen Sie direkt die folgende Aussage über reelle Zahlen: Wenn x > 1, so ist x + 3 > 3x +. Lösung: Wir formen die Voraussetzung um: x > 1 3x > 3 3x + 3 > x + 3 > 3x + Damit ist die Behauptung bewiesen. Aufgabe *: Zeigen Sie die Formel für die Summe der ersten n N natürlichen Zahlen direkt: k n(n + 1 Lösung: Wir benutzen einen Trick, indem wir das Doppelte der Summe berechnen und in unterschiedlicher Reihenfolge summieren. Es gilt also ( k 1 k + k ( 1 k + n k + 1 ( 1 k + n k + 1 ( 1 n + 1 1 n(n + 1. Universität Hamburg Tor zur Welt der Wissenschaft A. Posingies, S. Müller www.math.uni-hamburg.de/home/js.mueller/vorkurs011.html

Aufgabe 3: Zeigen Sie indirekt, dass, wenn das Quadrat einer natürlichen Zahl gerade ist, so auch die Zahl selbst. Also n N : n n. Lösung: Da wir die Behauptung indirekt zeigen wollen, zeigen wir n n. Sei also n, d.h. n ist ungerade. Dann gibt es k N 0 mit n k + 1. Damit gilt n (k + 1 4k + 4k + 1 (k + k + 1 l + 1, wobei l k + k. Also ist n ungerade und die Behauptung ist gezeigt. Aufgabe 4: Zeigen Sie durch Widerspruch, dass gilt. a, b R + ab a + b Lösung: Wir beweisen die Behauptung durch Widerspruch. Nehmen wir also an, dass die Behauptung nicht gilt, d.h. es gibt zwei positive reelle Zahlen a, b mit ab > a+b. Wir formen um: a + b ab > (a + b ab > 4 4ab >a + ab + b 0 >a ab + b 0 >(a b Die letzte Ungleichung steht aber im Widerspruch zu der Tatsache, dass Quadrate reeller Zahlen nicht negativ sind: a R a R + 0. Also kann die Annahme nicht gelten und die Behauptung ist bewiesen. Aufgabe 5: Zeigen Sie mit vollständiger Induktion folgende Formel für die Summe der ersten n Quadrate: k n(n + 1(n + 1

Lösung: Beweis durch vollständige Induktion über n: Induktionsanfang: Für n 1 gilt: 1 k 1 1 1(1 + 1( + 1 Induktionsschritt: Wir schließen von n auf n + 1. Induktionsvoraussetzung: Für n gilt k Induktionsbehauptung: Für n + 1 gilt n+1 k n(n + 1(n + 1. n(n + 1(n + 1 (n + 1((n + 1 + 1((n + 1 + 1. Beweis der Induktionsbehauptung mit Hilfe der Induktionsvoraussetzung: n+1 k k + (n + 1 n(n + 1(n + 1 (mit Induktionsvoraussetzung + (n + 1 n(n + 1(n + 1 (n + 1 + n(n + 1(n + 1 + (n + 1 (n + 1(n(n + 1 + (n + 1 (n + 1(n + 7n + (n + 1(n + (n + 3 (n + 1((n + 1 + 1((n + 1 + 1 Wir haben Induktionsvoraussetzung und Induktionsschritt erfolgreich etabliert und die Behauptung somit bewiesen. Aufgabe *: Sei M eine Menge mit endlich vielen Elementen: #M n, n N 0. Erinnern Sie sich an die Potenzmenge P(M {A A M}, die Menge, die alle Teilmengen von M enthält (inklusive M und. Beweisen Sie mit vollständiger Induktion: #P(M n 3

Lösung: Wir beweisen die Behauptung durch vollständige Induktion über n #M. Induktionsanfang: Für n 0 gilt, dass M. Also ist #P(M #{ } 1 0. Induktionsschritt: Wir schließen von n auf n + 1. Induktionsvoraussetzung: Für eine Menge M mit n Elementen gilt #P(M n. Induktionsbehautung: Für eine Menge M mit n + 1 Elementen gilt #P(M n+1. Beweis der Induktionsbehauptung mit Hilfe der Induktionsvoraussetzung: Sei M eine Menge mit n + 1 Elementen und sei a M eines dieser Elemente. Dann gilt P(M {A A M a A} {A A M a A} {A A M \ {a}} {A A M a A} P(M \ {a} {A A M a A} P(M \ {a} {A {a} A P(M \ {a}} Wir wissen nach Induktionsvoraussetzung #P(M \ {a} n, da #M \ {a} n. Also folgt #P(M #P(M \ {a} + #{A {a} A P(M \ {a}} (#P(M \ {a} n n+1 Wir haben Induktionsvoraussetzung und Induktionsschritt erfolgreich etabliert und die Behauptung somit bewiesen. Aufgabe 7: Finden Sie den Fehler in folgendem Beweis: Behauptung: Alles was nicht rot ist, ist blau. Beweis: Wir werden die Behauptung durch Widerspruch beweisen. Nehmen wir also die Negation der Behauptung an: Alles was rot ist, ist blau. Dies ist aber ein Widerspruch zur Eindeutigkeit der Farbe. Also kann die Annahme nicht gelten und die Behauptung ist bewiesen. Lösung: Hier wird die Verneinung falsch gebildet: Die Negation von Alles was nicht rot ist, ist blau. ist Es gibt Dinge, die weder rot noch blau sind. Aufgabe 8: Finden Sie den Fehler in folgendem Beweis: Behauptung: Die Summe von zwei ganzen Zahlen ist Null. Beweis: Zu zeigen ist also: a, b Z a + b 0. Seien also a und b beliebige ganze 4

Zahlen und c a + b ihre Summe. a + b c ac + bc c ac + bc + a + ab c + a + ab ac + bc + a + ab c a + ab c(a + b c + a + ab a + ab c(a + b c + a + ab ac a + ab ac c(a + b c + a(a + b c a(a + b c c + a a c 0 Lösung: In der dritten Zeile von unten wird durch Null geteilt: a + b c 0, da nach Voraussetzung a + b c ist. Dies ist keine Äquivalenzumformung. Man kann noch ein paar weitere Dinge anmerken: Gleich in der zweiten Zeile wird mit c multipliziert. Dies ist nur dann eine Äquivalenzumformung, wenn c 0. Außerdem ist das Addieren von a +ab in Zeile drei und ac in Zeile sechs offensichtlich nur zur Verwirrung des Lesers da: Im Beweis wird dadurch kein Fortschritt erzielt. Aufgabe 9: Finden Sie den Fehler in folgendem Beweis: Behauptung: Ein Krokodil ist länger als breit. Beweis: Wir zeigen die Behauptung in zwei Schritten. (1 Ein Krokodil ist länger als grün: Das Krokodil ist oben und unten lang, aber nur oben grün. ( Ein Krokodil ist grüner als breit: Das Krokodil ist grün entlang der Länge und der Breite, aber nur breit entlang der Breite. Da das Krokodil nun länger als grün und grüner als breit ist, ist es länger als breit und die Behauptung ist bewiesen. Lösung: Dieser Beweis ist dermaßen absurd, dass man kaum sagen kann, wo das Problem genau liegt. Eine Erkenntnis aus diesem Beweis soll sein: Nur weil die Argumentationsfolge auf eine wahre Aussage führt, sind die einzelnen Schritte noch nicht korrekt. Man kann also auf falsche Art und Weise eine richtige Aussage herleiten. Ein Beweis ist das dann nicht. Auf der formalen Ebene ist zu sagen: Man kann Grünheit (von dem auch unklar ist, was es genau ist sicher nicht vernünftig mit Länge und Breite vergleichen. Also ist der Satz: 5

Ein Krokodil ist länger als grün. gar keine Aussage im Sinne der Aussagenlogik; er hat keinen bestimmbaren Wahrheitswert. Außerdem sollen einen ins Stutzen bringen, dass man mit der selben Methode auch das Gegenteil beweisen kann: Ein Krokodil ist breiter als lang. Die beiden Aussagen können nicht beide wahr sein. Zum zweiten Beweis: (1 Ein Krokodil ist breiter als grün: Das Krokodil ist oben und unten breit, aber nur oben grün. ( Ein Krokodil ist grüner als lang: Das Krokodil ist grün entlang der Länge und der Breite, aber nur lang entlang der Länge. Also ist ein Krokodil breiter als lang.