Lösung von Zusatzaufgabe 3.4 (SoSe 12): Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „== Aufgabe 4== Beweisen Sie die Äquvalenzaussage '''Für alle n <math>\epsilon</math> <math>\mathbb{N}</math> gilt: n ist gerade <math>\Leftrightarrow</math> n…“) |
(→Aufgabe 4) |
||
Zeile 2: | Zeile 2: | ||
Beweisen Sie die Äquvalenzaussage | Beweisen Sie die Äquvalenzaussage | ||
'''Für alle n <math>\epsilon</math> <math>\mathbb{N}</math> gilt: n ist gerade <math>\Leftrightarrow</math> n<sup>2</sup> ist gerade.'''<br /> | '''Für alle n <math>\epsilon</math> <math>\mathbb{N}</math> gilt: n ist gerade <math>\Leftrightarrow</math> n<sup>2</sup> ist gerade.'''<br /> | ||
+ | <br /> | ||
+ | <u>Implikation:</u> Wenn <math>n\in N</math> gerade ist, dann ist auch <math>n^{2}</math> gerade.<br /> | ||
+ | <u>Umkehrung:</u> Wenn <math>n^{2}</math> gerade ist, dann ist auch <math>n\in N</math> gerade. | ||
+ | |||
+ | '''Beweis Implikation:'''<br /> | ||
+ | Voraussetzung: <math>n\in N</math> gerade<br /> | ||
+ | Behauptung:<math>n^{2}</math> gerade<br /> | ||
+ | Annahme: <math>n^{2}</math> ungerade | ||
+ | |||
+ | (1) <math>n\in N</math> gerade / Vor.<br /> | ||
+ | (2) <math>n^{2}</math> kann nur ungerade sein, wenn man zwei ungerade Zahlen miteinander multipliziert. / trivial, Widerspruch zur Vor.<br /> | ||
+ | (3) Annahme zu verwerfen. / (2)<br /> | ||
+ | (4) Behauptung stimmt / (3)<br /> | ||
+ | q.e.d.<br /><br /> | ||
+ | |||
+ | '''Beweis Umkehrung:'''<br /> | ||
+ | Voraussetzung: <math>n^{2}</math> gerade<br /> | ||
+ | Behauptung: <math>n\in N</math> gerade<br /> | ||
+ | Annahme: <math>n\in N</math> ungerade | ||
+ | |||
+ | (1) <math>n^{2}</math> gerade / Vor.<br /> | ||
+ | (2) <math>n\in N</math> kann nur gerade sein, wenn die Quadratwurzel (nach Vor.) gerade ist. / trivial, Widerspruch zur Vor.<br /> | ||
+ | (3) Annahme zu verwerfen. / (2)<br /> | ||
+ | (4) Behauptung stimmt / (3)<br /> | ||
+ | q.e.d.<br /> | ||
+ | --[[Benutzer:Nummero6|Tchu Tcha Tcha]] 10:30, 8. Jun. 2012 (CEST) | ||
+ | |||
[[Kategorie: Einführung_S]] | [[Kategorie: Einführung_S]] |
Version vom 8. Juni 2012, 09:30 Uhr
Aufgabe 4
Beweisen Sie die Äquvalenzaussage
Für alle n gilt: n ist gerade n2 ist gerade.
Implikation: Wenn gerade ist, dann ist auch gerade.
Umkehrung: Wenn gerade ist, dann ist auch gerade.
Beweis Implikation:
Voraussetzung: gerade
Behauptung: gerade
Annahme: ungerade
(1) gerade / Vor.
(2) kann nur ungerade sein, wenn man zwei ungerade Zahlen miteinander multipliziert. / trivial, Widerspruch zur Vor.
(3) Annahme zu verwerfen. / (2)
(4) Behauptung stimmt / (3)
q.e.d.
Beweis Umkehrung:
Voraussetzung: gerade
Behauptung: gerade
Annahme: ungerade
(1) gerade / Vor.
(2) kann nur gerade sein, wenn die Quadratwurzel (nach Vor.) gerade ist. / trivial, Widerspruch zur Vor.
(3) Annahme zu verwerfen. / (2)
(4) Behauptung stimmt / (3)
q.e.d.
--Tchu Tcha Tcha 10:30, 8. Jun. 2012 (CEST)