Lösung von Zusatzaufgabe 3.4 (SoSe 12): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(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, 10:30 Uhr

Aufgabe 4

Beweisen Sie die Äquvalenzaussage Für alle n \epsilon \mathbb{N} gilt: n ist gerade \Leftrightarrow n2 ist gerade.

Implikation: Wenn n\in N gerade ist, dann ist auch n^{2} gerade.
Umkehrung: Wenn n^{2} gerade ist, dann ist auch n\in N gerade.

Beweis Implikation:
Voraussetzung: n\in N gerade
Behauptung:n^{2} gerade
Annahme: n^{2} ungerade

(1) n\in N gerade / Vor.
(2) n^{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: n^{2} gerade
Behauptung: n\in N gerade
Annahme: n\in N ungerade

(1) n^{2} gerade / Vor.
(2) n\in N 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)