Sätze und Beweise SoSe 11: Unterschied zwischen den Versionen
(→Aufbau eines mathematischen Satzes) |
(→Implikationen) |
||
(3 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt) | |||
Zeile 23: | Zeile 23: | ||
Die beiden folgenden Winkel <math>\ \alpha</math> und <math>\ \beta</math> sind als Scheitelwinkel immer kongruent zueinander. Wo sind die geschnittenen Parallelen?--[[Benutzer:*m.g.*|*m.g.*]] 13:57, 18. Apr. 2011 (CEST)<br /> | Die beiden folgenden Winkel <math>\ \alpha</math> und <math>\ \beta</math> sind als Scheitelwinkel immer kongruent zueinander. Wo sind die geschnittenen Parallelen?--[[Benutzer:*m.g.*|*m.g.*]] 13:57, 18. Apr. 2011 (CEST)<br /> | ||
+ | Wenn nur Wechselwinkel kongruente Winkel zueinander wären, bräuchte man keine begriffliche Differenzierung vornehmen. Wer hat den behauptet, dass es keine kongruenten Winkel gibt, die nicht an geschnittenen Parallelen liegen? :-) --[[Benutzer:HecklF|HecklF]] 10:50, 22. Apr. 2011 (CEST)<br /> | ||
+ | Hier kann man sich zunächst fragen, sind Scheitelwinkel nicht auch Wechselwinkel? <br />Wenn ja, sind sie in dem oben formulierten Kriterium enthalten? --[[Benutzer:Tutorin Anne|Tutorin Anne]] 20:39, 25. Apr. 2011 (CEST)<br /> | ||
<ggb_applet width="427" height="289" version="3.2" ggbBase64="UEsDBBQACAAIAE9ukj4AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VjbbuM2EH3ufgWh9zgidTVgZ6EkGyBA2i027T70jZJom40uLkUltv+q+yH9pg5JyZbsxInjBEiBBgEkDUfDmXPmQnn0eZFn6J6JipfF2MID20KsSMqUF9OxVcvJSWh9Pvs0mrJyymJB0aQUOZVjyxkQS8lrfvbpp1E1Kx8QzbTKd84extaEZhWzUDUXjKbVjDHZk9N6wTNOxfJr/CdLZLVZMEaui3kNu0hRgyzJ0xtetY+nesN5xuUlv+cpEygrk7Hle+A63H1nQvKEZmPLtY2EjC2ytQgiR63OSsFXZSGV+sb4BCQIVXzFABGiZKNTHeiI1UnGU04LFYz2A5QQeuCpnMGGJACTjE9n4CsJA2MtKUuR3i4ryXK0+IOJEtawp4BemifHPFXgF2zo2Xqp+6TNsPtbJiXQUiG6YBvApoKnvYfr6rzMNqJ5yQt5QeeyFppTpxHdyqXaAPYSyuGomGaskRGAfMaSu7hc3BoQHGP6t+Vcv6IdiqcXZVYKJBS8Hig019hctY7ydK1lax1bazQ2lNH1Oh4SraGvsblqrYwXxrUmctxGje12G14hJVAwQiqug89ozIBaC9UFlzftA6TAXRMqNi/8Uucx1EA3CdY28VvZHJ1upc/ojomCZSZJCuC2LusK3atkNHtpR1KW8BwezUIDCVV0/Q4OGGnKpoK1jpsKMoDpVbubiFvi0WnrhPKhAl8TCa0A4pEqFlWpEqpE3aVUKokqg4zlDGpE6nzQ6bTG5au1bgilru22ipv1DcKw/Ghu6Cyi2XxGQdKmf0aXUOndcLS9n8u0HyQtACwdARTcXBlQdMwZM0zKJoPRHAzqeuggrQGq0GJsndgD34UqNH0OrUxn1EqmeFTZ622dhlmDyA42RZ0zwZN19EKjA2/WzfuktdtDrJ9qz0NmdwDDLwQMHwtYN+qkzHNapKigOahfcJFkTIfKVSNH1FaJgShWCJhIatkuJMZYY2IHQkjLDoCJ1e8IcgaFV7Cq0m1LdhvUmyF6YAq+yDmYEqy4B9dKUSG0sJvZu7TNhmjVShZYp6Naw41ohTv5COQJvkBRqx+1WhEMOR/SeOjb6z8gNHKaHSJX3ag0jzzYQiW68eyvwnhfmXYGuZDwCU/2U/6rbgJ9xpMdqqP9VPc7SfSqToKJmUX6+jG6iT0IAxIQ33Hdoe2SMPR0a3EHnh06thP6Xug72A/dwzrNawg4P4SA810C+mXUifaDU3CCBw7xAxJ6vh8Evu2HQ80BnLyC0LVd3x5iQoLAO4aCGyj8x5tetEME3U+E6iFrmOkre16vWp7g6o16Xh/pflo7Gmk88PB2EQDUJ97AD0LQDgIgwscePqSJbrUqnsNnQcLla2k636EpPoCm+D9GU7id+Utz8Am362SldhoOPccjru+Ergv/zrvTpL9ItniKDE+KLvIYXf/8vZ8vfWxeYw3aW6cxPCB2SByCCXYgVN8jz/G17ySB7aNPZy/Cl4pk06O8Vphl5cM3NsnYQiO5813BcnBJfb9+W3//bek8zc11IeHTBtDYGTiaH7pDzIVZuDxk/Fw8M/+fKBV1opmaS2wux1fLO03wfdFfvnL4vkf4J2SAvV78ftPTwyH2hz4UC3ag0eOjxuczSRXvJNUXs3B1SFJ9+Uiwvs+hZF/4Vx8ofHjV7UUfOG1aQQf2YN4MbTgWEHJUVj02Ri57Y+Rqd4z8OGiM/Hh2jPw/RQw1p93fmPTPqs3vymf/AlBLBwhU7x/8FAUAAIkWAABQSwECFAAUAAgACABPbpI+VO8f/BQFAACJFgAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAAE4FAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" /> | <ggb_applet width="427" height="289" version="3.2" ggbBase64="UEsDBBQACAAIAE9ukj4AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s7VjbbuM2EH3ufgWh9zgidTVgZ6EkGyBA2i027T70jZJom40uLkUltv+q+yH9pg5JyZbsxInjBEiBBgEkDUfDmXPmQnn0eZFn6J6JipfF2MID20KsSMqUF9OxVcvJSWh9Pvs0mrJyymJB0aQUOZVjyxkQS8lrfvbpp1E1Kx8QzbTKd84extaEZhWzUDUXjKbVjDHZk9N6wTNOxfJr/CdLZLVZMEaui3kNu0hRgyzJ0xtetY+nesN5xuUlv+cpEygrk7Hle+A63H1nQvKEZmPLtY2EjC2ytQgiR63OSsFXZSGV+sb4BCQIVXzFABGiZKNTHeiI1UnGU04LFYz2A5QQeuCpnMGGJACTjE9n4CsJA2MtKUuR3i4ryXK0+IOJEtawp4BemifHPFXgF2zo2Xqp+6TNsPtbJiXQUiG6YBvApoKnvYfr6rzMNqJ5yQt5QeeyFppTpxHdyqXaAPYSyuGomGaskRGAfMaSu7hc3BoQHGP6t+Vcv6IdiqcXZVYKJBS8Hig019hctY7ydK1lax1bazQ2lNH1Oh4SraGvsblqrYwXxrUmctxGje12G14hJVAwQiqug89ozIBaC9UFlzftA6TAXRMqNi/8Uucx1EA3CdY28VvZHJ1upc/ojomCZSZJCuC2LusK3atkNHtpR1KW8BwezUIDCVV0/Q4OGGnKpoK1jpsKMoDpVbubiFvi0WnrhPKhAl8TCa0A4pEqFlWpEqpE3aVUKokqg4zlDGpE6nzQ6bTG5au1bgilru22ipv1DcKw/Ghu6Cyi2XxGQdKmf0aXUOndcLS9n8u0HyQtACwdARTcXBlQdMwZM0zKJoPRHAzqeuggrQGq0GJsndgD34UqNH0OrUxn1EqmeFTZ622dhlmDyA42RZ0zwZN19EKjA2/WzfuktdtDrJ9qz0NmdwDDLwQMHwtYN+qkzHNapKigOahfcJFkTIfKVSNH1FaJgShWCJhIatkuJMZYY2IHQkjLDoCJ1e8IcgaFV7Cq0m1LdhvUmyF6YAq+yDmYEqy4B9dKUSG0sJvZu7TNhmjVShZYp6Naw41ohTv5COQJvkBRqx+1WhEMOR/SeOjb6z8gNHKaHSJX3ag0jzzYQiW68eyvwnhfmXYGuZDwCU/2U/6rbgJ9xpMdqqP9VPc7SfSqToKJmUX6+jG6iT0IAxIQ33Hdoe2SMPR0a3EHnh06thP6Xug72A/dwzrNawg4P4SA810C+mXUifaDU3CCBw7xAxJ6vh8Evu2HQ80BnLyC0LVd3x5iQoLAO4aCGyj8x5tetEME3U+E6iFrmOkre16vWp7g6o16Xh/pflo7Gmk88PB2EQDUJ97AD0LQDgIgwscePqSJbrUqnsNnQcLla2k636EpPoCm+D9GU7id+Utz8Am362SldhoOPccjru+Ergv/zrvTpL9ItniKDE+KLvIYXf/8vZ8vfWxeYw3aW6cxPCB2SByCCXYgVN8jz/G17ySB7aNPZy/Cl4pk06O8Vphl5cM3NsnYQiO5813BcnBJfb9+W3//bek8zc11IeHTBtDYGTiaH7pDzIVZuDxk/Fw8M/+fKBV1opmaS2wux1fLO03wfdFfvnL4vkf4J2SAvV78ftPTwyH2hz4UC3ag0eOjxuczSRXvJNUXs3B1SFJ9+Uiwvs+hZF/4Vx8ofHjV7UUfOG1aQQf2YN4MbTgWEHJUVj02Ri57Y+Rqd4z8OGiM/Hh2jPw/RQw1p93fmPTPqs3vymf/AlBLBwhU7x/8FAUAAIkWAABQSwECFAAUAAgACABPbpI+VO8f/BQFAACJFgAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAAE4FAAAAAA==" framePossible = "false" showResetIcon = "true" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" /> | ||
Aktuelle Version vom 25. April 2011, 20:39 Uhr
Implikationen
Im einführenden Beispiel haben wir bereits einen mathematischen Satz, den so genannten Wechselwinkelsatz kennengelernt.
Wechselwinkelsatz:
Wechselwinkel an geschnittenen Parallelen sind kongruent zueinander.
Betrachten wir diesen Satz etwas genauer: Es wird hier behauptet, dass Wechselwinkel kongruent zueinander sind (Behauptung), unter der Bedingung, dass die Wechselwinkel an geschnittenen parallelen Geraden betrachtet werden (Voraussetzung). Wir können den Satz also in eine Voraussetzung (A) und eine Behauptung (B) aufteilen.
In der Mathematik gehen wir davon aus, dass Sätze wahr sind, d. h. wenn die Voraussetzung erfüllt ist, muss auch die Behauptung notwendigerweise wahr sein.
Aussagenlogisch haben wir es somit mit einer Implikation zu tun:
formal:
Wir können aus jedem Satz auch eine Umkehrung bilden (die nicht unbedingt wahr sein muss), d. h. wir formulieren die Behauptung als Voraussetzung und die Vorausetzung als Behauptung:
formal:
Aufgabe: Formulieren Sie hier die Umkehrung des Wechselwinkelsatzes:
Lösung von Studierenden (bitte Signatur mit angeben--Schnirch 19:40, 17. Apr. 2011 (CEST)):
Wenn zwei Wechselwinkel kongruent zueinander sind, dann sind die geschnittenen Geraden parallel zueinander.
Ist ein Satz und seine Umkehrung wahr, dann sind Voraussetzung und Behauptung äquivalent, formal kann man dann schreiben:
Aufgabe: Formulieren Sie den Wechselwinkelsatz und seine Umkehrung in einem Satz als Äquivalenz:
Lösung von Studierenden (bitte Signatur mit angeben--Schnirch 19:40, 17. Apr. 2011 (CEST)):
Zwei Winkel sind genau dann Wechselwinkel an geschnittenen Parallelen, wenn sie kongruent zueinander sind.
Die beiden folgenden Winkel und
sind als Scheitelwinkel immer kongruent zueinander. Wo sind die geschnittenen Parallelen?--*m.g.* 13:57, 18. Apr. 2011 (CEST)
Wenn nur Wechselwinkel kongruente Winkel zueinander wären, bräuchte man keine begriffliche Differenzierung vornehmen. Wer hat den behauptet, dass es keine kongruenten Winkel gibt, die nicht an geschnittenen Parallelen liegen? :-) --HecklF 10:50, 22. Apr. 2011 (CEST)
Hier kann man sich zunächst fragen, sind Scheitelwinkel nicht auch Wechselwinkel?
Wenn ja, sind sie in dem oben formulierten Kriterium enthalten? --Tutorin Anne 20:39, 25. Apr. 2011 (CEST)
notwendige und hinreichende Bedingung
An dieser Stelle ist es sinnvoll zwei wichtige Begriffe der mathematischen Logik einzuführen: hinreichende und notwendige Bedingung
Lassen Sie uns die Begriffe an einem alltäglichen Beispiel erläutern:
Wir nehmen mal den folgenden Satz: Wenn die Deckenlampe leuchtet, dann ist das Zimmer hell.
Es handelt sich hierbei um eine Implikation in der Form: Voraussetzung (Die Deckenlampe leuchtet) Behauptung (Das Zimmer ist hell).
Die Voraussetzung ist dabei die hinreichende Bedingung für die Behauptung, denn es genügt, für die Zimmerhelligkeit die Deckenbeleuchtung einzuschalten, man könnte das Zimmer aber z. B. ja auch durch eine Kerze beleuchten. Es ist also nicht unbedingt notwendig die Deckenlampe einzuschalten um das Zimmer hell zu bekommen. Umgekehrt ist die Behauptung notwendige Bedingung der Voraussetzung, denn wenn die Deckenlampe leuchtet, dann wird notwendigerweise das Zimmer hell.
Diesen Zusammenhang zwischen hinreichender Bedingung und Voraussetzung bzw. notwendiger Bedingung und Behauptung einer Implikation trifft auf alle Implikationen zu.
Ist nun auch die Umkehrung einer Implikation wahr, dann wird in der Umkehrung aus der Voraussetzung die Behauptung und aus der Behauptung die Voraussetzung. Damit tauschen sich aber dann auch jeweils die hinreichende und notwendige Bedingung, so dass jeweils die eine Teilaussage des Satzes sowohl hinreichende als auch notwendige Bedingung für die zweite Teilaussage ist. Die Voraussetzung ist dann also hinreichende als auch notwendige Bedingung für die Behauptung und die Behauptung hinreichende und notwendige Bedingung für die Voraussetzung.
Wir können damit die Implikation und ihre Umkehrung in einem neuen Satz als Äquivalenzaussage formulieren und haben zugleich ein so genanntes Kriterium (hinreichende und notwendige Bedingung) gefunden.
Beweise
Mathematische Sätze lassen sich im Unterschied zu Definitionen beweisen. Um einen Satz zu beweisen können verschiedene Beweistechniken angewendet werden.
Grundsätzlich unterscheidet man direkte von indirekten Beweisen. Außerdem gibt es noch so genannte Induktionsbeweise (vollständige Induktion, Wohlordnungsprinzip).
Direkter Beweis
Die Voraussetzung (A) eines Satzes wird solange durch Implikationen umgeformt, bis die Behauptung (B) herauskommt, z.B.:
Indirekter Beweis
Beim indirekten Beweisen unterscheidet man Widerspruchsbeweise (1) von Beweisen durch Kontraposition (2).
- Widerspruchsbeweis:
Beim Widerspruchsbeweis nimmt man das Gegenteil der Behauptung an (Annahme) und führt diese Annahme zu einem Widerspruch (meist zur Voraussetzung oder zu einem bereits bewiesenen Satz).
(warum dieser Zusammenhang gilt können Sie sich durch Aussagenlogik klar machen. (siehe auch: Gorski, Müller-Philipp: Leitfaden Arithmetik). - Beweis durch Kontraposition:
Beim Beweisen durch Kontraposition nutzt man den folgenden Zusammenhang aus:
(warum dieser Zusammenhang gilt können Sie sich durch Aussagenlogik klar machen. (siehe auch: Gorski, Müller-Philipp: Leitfaden Arithmetik).
Wenn man also die Behauptung negiert und daraus zeigen kann, dass die negierte Voraussetzung wahr ist, dann hat man auch den ursprünglichen Satz bewiesen.
Frage: Muss die Kontraposition immer wahr sein? - Ja, die Kontraposition ist äquivalent zum Satz. Siehe Aussagenlogik (genannt einige Zeilen zuvor).--Tutorin Anne 13:15, 15. Apr. 2011 (CEST)
Aufgabe:
Formulieren Sie die Kontraposition des Wechselwinkelsatzes.
Nicht kongruente Wechselwinkel liegen nicht an geschnittenen Parallelen
oder besser: Wechselwinkel die nicht kongruent sind liegen nicht an geschnittenen Parallelen?--).--Mml123 19:57, 17. Apr. 2011 (CEST)