Quelltext der Seite Tut Aufgabe 8.2.(SoSe 11)

Im Tutorium (von Tutorin_Anne) fragten wir uns heute, wie genau ein Beweis geführt werden muss. <br />Hier mal eine sehr kleinschrittige Aufführungen:


'''Satz: Es existieren min. 6 paarweise verschiedene Geraden.<br />'''

Vor.: geltende Inzidenzaxiome<br />
Beh.: A. Es existieren 6 Geraden und B. diese sind paarweise verschieden.

A. 
{| class="wikitable" 
|- 
| Beweisschritt || Begründung
|- 
| 1) Es gibt vier Punkte A,B,C,D, <br />für die gilt nkomp(A,B,C,D). || Axiom I.7
|- 
| 2) Es exisiteren folgende Geraden:<br /> AB, BC, CD, DA, AC, BD || Axiom I.1 und 1)
|}

B. indirekter Beweis<br />
Annahme: Wir nehmen an,(min.) zwei Geraden sind identisch. o.B.d.A AB=BC
 
{| class="wikitable" 
|- 
| Beweisschritt || Begründung
|- 
| 1) koll(A,B,C) || Annahme, Def. kollinear
|-
| 2) Es exisitert eine Ebene E,<br />die A,B und D enthält.  || Axiom I,4 und nkoll (A,B,D)*
|- 
| 3) C <math>\in</math> AB || 1)
|-
| 4) C <math>\in</math> E || 2) und 3) Axiom I.5
|-
| 5) komp (A,B,C,D) || 2) und 4) Def. komplanar
|-
|Widerspruch zum Schritt A.1 || Die Annahme ist zu verwerfen!
|}
*oder falls koll(A,B,D)
{| class="wikitable" 
|- 
| Beweisschritt || Begründung
|- 
| 1) koll(A,B,C) und koll (A,B,D) || Fall2
|-
| 2) koll (A,B,C,D) || 1)
|- 
| 3) Es exisitert ein Punkt F für den gilt: nkoll(A,B,F) || I.3
|-
| 4) Es existiert ein Ebene H, die A,B,F enthält. || Axiom I.4
|-
| 5) C,D <math>\in</math> H || 2) und 4) 
|-
| 6) komp (A,B,C,D) || 2) und 4)
|-
|Widerspruch zum Schritt A.1 || Die Annahme ist zu verwerfen!
|}

Es exisiteren 6 paarweise verschiedene Geraden.
q.e.d.

Die Fragen waren nun: Reicht es denn 3.Teil mit trivial abzustempeln? NEIN<br />
Es muss für einen korrekten vollständigen Beweis so vorgegangen werden, allerdings wird ein so verschachtelter und ausführlicher Beweis nicht in der Klausur abgefragt. Trotzdem ist er eine gute Übung, um beweisen an sich zu lernen. (Antwort nach Rücksprache mit Herr Schnirch)--[[Benutzer:Tutorin Anne|Tutorin Anne]] 12:34, 11. Jun. 2011 (CEST)