Lösung von Aufg. 7.1: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
 
(Eine dazwischenliegende Version von einem Benutzer wird nicht angezeigt)
Zeile 16: Zeile 16:
 
  Die Lösung von Engel82 ist korrekt, prima!--[[Benutzer:Schnirch|Schnirch]] 13:40, 9. Dez. 2010 (UTC)
 
  Die Lösung von Engel82 ist korrekt, prima!--[[Benutzer:Schnirch|Schnirch]] 13:40, 9. Dez. 2010 (UTC)
  
−
Warum ist g Obermenge von E? Müsste es in Punkt 4) nicht entweder <math> g \subset E </math> oder <math> g \in E </math> heißen? --[[Benutzer:Studentxyz|Studentxyz]] 12:38, 16. Jan. 2011 (UTC)
+
In Punkt 4) müsste es <math> g \subset E </math> heißen. --[[Benutzer:Studentxyz|Studentxyz]] 12:38, 16. Jan. 2011 (UTC)
  
 
Lösungsvorschlag 2
 
Lösungsvorschlag 2
Zeile 31: Zeile 31:
 
<p>
 
<p>
 
'''Voraussetzung:'''Es sei eine Gerade g und ein Punkt P, <math>P \notin g </math><br /><math>\varepsilon </math> sei die Menge aller Ebenen. <br />
 
'''Voraussetzung:'''Es sei eine Gerade g und ein Punkt P, <math>P \notin g </math><br /><math>\varepsilon </math> sei die Menge aller Ebenen. <br />
−
<br />'''Behauptung:''' <math>\exists ! E \in \varepsilon := g \in E \and P \in E</math>  
+
<br />'''Behauptung:''' <math>\exists ! E \in \varepsilon := g \subset E \and P \in E</math>  
  
  
Zeile 54: Zeile 54:
 
|-
 
|-
 
! style="background: #EEE685;"|(IV)
 
! style="background: #EEE685;"|(IV)
−
| <math>g \in E</math>  
+
| <math>g \subset E</math>  
 
| I, III, Axiom I.5
 
| I, III, Axiom I.5
 
|-
 
|-
 
! style="background: #EEE685;"|(V)
 
! style="background: #EEE685;"|(V)
−
| <math>\exists ! E \in \varepsilon := g \in E \and P \in E</math>   
+
| <math>\exists ! E \in \varepsilon := g \subset E \and P \in E</math>   
 
| III, IV
 
| III, IV
 
|-
 
|-
Zeile 69: Zeile 69:
  
 
</p>--[[Benutzer:Studentxyz|Studentxyz]] 13:25, 16. Jan. 2011 (UTC)
 
</p>--[[Benutzer:Studentxyz|Studentxyz]] 13:25, 16. Jan. 2011 (UTC)
 +
 +
nur :

Aktuelle Version vom 9. Februar 2011, 17:11 Uhr

Es sei \ g eine Gerade und \ P ein Punkt, der nicht zu \ g gehört. Beweisen Sie mittels der Axiome der Inzidenz: Es gibt genau eine Ebene \ \Epsilon, die sowohl alle Punkte von \ g als auch den Punkt \ P enthält.


Vor: g, P ist nicht Element g
Beh: Es existiert genau eine Ebene E, g\subset E, P \in E

1) A,B \in g_____Axiom I/1
2) nkoll(A,P,B)_______________laut Vor und 1)
3) zu drei nkoll(A,P,B)________Axiom I/4 und 2)
gibt es genau eine Ebene E
4)g\supset E _________Axiom I/5
5) Behauptung stimmt

Die Eindeutigkeit das genau eine Ebene E existiert, lässt sich auf das Axiom I/4 zurückführen --Engel82 17:11, 23. Nov. 2010 (UTC)

Die Lösung von Engel82 ist korrekt, prima!--Schnirch 13:40, 9. Dez. 2010 (UTC)

In Punkt 4) müsste es g \subset E heißen. --Studentxyz 12:38, 16. Jan. 2011 (UTC)

Lösungsvorschlag 2

Scannen0006.jpg 

vielen Dank für dieses gescannte Bild. Schritt 2 können Sie weglassen und den ersten Teil in Schritt 4 auch,
ansonsten ist alles korrekt!--Schnirch 13:40, 9. Dez. 2010 (UTC)

-----------------------------------------------------------------------------------------------

Lösungsvorschlag 3:

Voraussetzung:Es sei eine Gerade g und ein Punkt P, P \notin g
\varepsilon sei die Menge aller Ebenen.

Behauptung: \exists ! E \in \varepsilon := g \subset E \and P \in E

Beweis
Nr. Beweisschritt Begründung
(I) \exists A,B \in g , A \not= B Axiom I.2
(II) nkoll(A,B,P) I, Vor. (P \notin g ), Def I.2 (kollinear)
(III) \exists ! E \in \varepsilon := A,B,P \in E II, Axiom I.4
(IV) g \subset E I, III, Axiom I.5
(V) \exists ! E \in \varepsilon := g \subset E \and P \in E III, IV

qed.

Stimmt das mit dem := in III und V oder müsste man nur : schreiben, wie im vorigen Lösungsvorschlag?

--Studentxyz 13:25, 16. Jan. 2011 (UTC)

nur :

Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufg._7.1&oldid=6347“