Lösung von Aufgabe 10.2: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: Beweis Versuch 1: VSS: <math> g \subset E </math>, <math>P \in g</math> <br /> Beh: es gibt genau eine Gerade s durch P, die senkrecht auf g steht<br /> EXISTENZ ...)
 
(→‎Beweis Versuch 1 (verbessert):)
 
(10 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
−
[[Beweis Versuch 1:]]
+
==Lösung--[[Benutzer:Schnirch|Schnirch]] 13:00, 21. Jul. 2010 (UTC)==
 +
Voraussetzung: <math> g \subset E </math>, <math>P \in g</math> <br />
 +
Behauptung: es gibt genau eine Gerade <math>\ s</math> durch <math>\ P</math>, die senkrecht auf <math>\ g</math> steht<br />
 +
 
 +
{| class="wikitable "
 +
|+ Beweis
 +
! Nr.
 +
! Beweisschritt
 +
! Begründung
 +
|-
 +
! style="background: #FFDDDD;"|(I)
 +
| <math> \exists A: A\in g \and A \not= P </math>
 +
| Axiom I.2
 +
|-
 +
! style="background: #FFDDDD;"|(II)
 +
| <math> \exists Q: Q\notin g </math>
 +
| Axiom I.3
 +
|-
 +
! style="background: #FFDDDD;"|(III)
 +
| In <math>\ gQ^{+} </math> gibt es genau einen Strahl <math>\ h </math> mit Anfangspunkt <math>\ P </math> derart, dass <math>\ | \angle PA^{+},h| = 90 </math>
 +
| Winkelkonstruktionsaxiom, (I), (II)
 +
|-
 +
! style="background: #FFDDDD;"|(IV)
 +
| Die Gerade <math>\ s </math> für die gilt: <math>\ h \subset s </math> ist die Senkrechte <math>\ s </math> durch <math>\ P </math>
 +
| (III), (IV), Def. Senkrechte
 +
|-
 +
! style="background: #FFDDDD;"|(V)
 +
| Die Senkrechte <math>\ s </math> ist eindeutig
 +
| Eindeutigkeit des Strahls <math>\ h </math>
 +
|}
 +
 
 +
 
 +
==vorangegangene Diskussion==
 +
== Beweis Versuch 1 (verbessert): ==
 +
 
  
 
VSS: <math> g \subset E </math>, <math>P \in g</math> <br />
 
VSS: <math> g \subset E </math>, <math>P \in g</math> <br />
−
Beh: es gibt genau eine Gerade s durch P, die senkrecht auf g steht<br />
+
Beh: es gibt genau eine Gerade <math>s</math> durch <math>P</math>, die senkrecht auf <math>g</math> steht<br />
  
 
EXISTENZ
 
EXISTENZ
Zeile 12: Zeile 46:
 
|-
 
|-
 
! style="background: #FFDDDD;"|(I)
 
! style="background: #FFDDDD;"|(I)
−
| in <math> g </math> gibt es einen Strahl mit <math> {PB^{+}} </math>  
+
| Es existiert ein Punkt <math> B \in E </math>, <math>P</math> ungleich <math>B</math>  
−
| Axiom I.2 und Def. Halbgerade
+
| Axiom I.2  
 
|-
 
|-
 
! style="background: #FFDDDD;"|(II)
 
! style="background: #FFDDDD;"|(II)
−
| es existiert genau ein Strahl <math>{PC^{+}}</math> in der Halbebene  <math>{gC^{+}}</math> mit <math>| \angle CPB| = 90 </math>  
+
| es existiert ein Punkt <math> Q \in E</math>, Q nicht Element g
−
| Winkelkonstruktionsaxiom, (I)
+
|
 +
|-
 +
! style="background: #FFDDDD;"|(II)
 +
| es existiert ein Punkt <math> C\in gQ^{+}: | \angle PB^{+},PC^{+}| = 90 </math>  
 +
| Winkelkonstruktionsaxiom, (I), (II)
 
|-
 
|-
 
! style="background: #FFDDDD;"|(III)
 
! style="background: #FFDDDD;"|(III)
−
| es exisitiert genau eine Gerade s durch <math> C </math> und <math> P </math>, senkrecht auf <math> g </math>  
+
| es exisitiert genau eine Gerade <math> s </math> durch <math> C </math> und <math> P </math>, senkrecht auf <math> g </math>  
 
| Axiom I.1, (II)
 
| Axiom I.1, (II)
 
|}
 
|}
  
 
EINDEUTIGKEIT
 
EINDEUTIGKEIT
−
Da es nach dem Winkelkonstruktionsaxiom genau eine Gerade gibt, die die Eindeutigkeit bereits gezeigt.<br />
+
Da es nach dem Winkelkonstruktionsaxiom genau eine Gerade gibt, ist die Eindeutigkeit bereits gezeigt.<br />
 
qed --[[Benutzer:Löwenzahn|Löwenzahn]] 17:14, 1. Jul. 2010 (UTC)
 
qed --[[Benutzer:Löwenzahn|Löwenzahn]] 17:14, 1. Jul. 2010 (UTC)
 +
 +
== Zweiter Beweisversuch (verbessert) ==
 +
 +
 +
Voraussetzung: g Element E, P Element g
 +
Behauptung: s Element g und s senkrecht auf g
 +
 +
Existenz:
 +
{| class="wikitable center"
 +
|+ Es gibt eine Gerade s Element, die durch den Punkt P geht und senkrecht auf g steht
 +
|- style="background: #DDFFDD;"
 +
!
 +
! Beweisschritt
 +
! Begründung
 +
|-
 +
! style="background: #FFDDDD;"|(I)
 +
| Es existiert ein X Element E mit der Eigenschaft, dass X Element S und X Element PX+
 +
| Axiom I.2 (Gerade hat mindestens 2 Punkte)
 +
|-
 +
! style="background: #FFDDDD;"|(II)
 +
||  Es existieren auf der Geraden g ein Punkt P1 auf PP1+ und ein Punkt P2 auf PP1- <br /> |Winkel(XPP2)| = |Winkel(XPP1)| = |w| mit w = 90
 +
| Definition V.6 (Rechter Winkel),<br />Axiom IV.3 (Winkeladditionsaxiom)
 +
|-
 +
! style="background: #FFDDDD;"|(III)
 +
| s steht senkrecht auf g
 +
| (II), Definition V.8 (Relation senkrecht)
 +
|}
 +
 +
Eindeutigkeit:
 +
Nach Winkelkonstruktionsaxiom IV.2 gibt es in jeder Halbebene genau nur einen Strahl mit|w|=|Winkel(XPP2)| bzw. |w| = |Winkel(XPP1)|
 +
Nach Winkelmaßaxiom IV.1 gibt es für w genau eine reelle Zahl zwischen 0 und 180.
 +
Nach der Definition V.6, Satz V.3 und Satz V.4 gibt es rechte Winkel mit der Größe 90.
 +
Nach Definition V.8 ist eine Gerade dann senkrecht auf der anderen, wenn bei dem Schnitt der beiden rechte Winkel enstehen.
 +
Somit kann es nur einen Strahl geben in jeder Halbebene, der Senkrecht auf g steht und durch den Punkt P geht, da beim Schnitt ein rechter Winkel enstehen muss, der mit der Größe 90 nur einmalig existiert.
 +
 +
Kommentar --[[Benutzer:*m.g.*|*m.g.*]] 13:51, 2. Jul. 2010 (UTC):
 +
 +
# Die Gerade <math>\ s</math> wird mittels des Winkelkonstruktionsaxioms <u>im Laufe des Beweises</u> ''"generiert"''. Dementsprechend sollte die Gerade <math>\ s</math> nicht in den Voraussetzungen auftauchen.
 +
# Nur mittels einer Definition wird man eine Existenzaussage nicht begründen können. Definitionen mögen zwar alles mögliche festlegen können, ob die Dinge dann auch existieren steht auf einem anderen Blatt. Wir hätten sonst auch beweisen können: Behauptung: Es existieren rechte Winkel. Begründung: Weil rechte Winkel definiert wurden müssen sie auch existieren.

Aktuelle Version vom 21. Juli 2010, 14:00 Uhr

Inhaltsverzeichnis

Lösung--Schnirch 13:00, 21. Jul. 2010 (UTC)

Voraussetzung: g \subset E , P \in g
Behauptung: es gibt genau eine Gerade \ s durch \ P, die senkrecht auf \ g steht

Beweis
Nr. Beweisschritt Begründung
(I) \exists A: A\in g \and A \not= P Axiom I.2
(II) \exists Q: Q\notin g Axiom I.3
(III) In \ gQ^{+} gibt es genau einen Strahl \ h mit Anfangspunkt \ P derart, dass \ | \angle PA^{+},h| = 90 Winkelkonstruktionsaxiom, (I), (II)
(IV) Die Gerade \ s für die gilt: \ h \subset s ist die Senkrechte \ s durch \ P (III), (IV), Def. Senkrechte
(V) Die Senkrechte \ s ist eindeutig Eindeutigkeit des Strahls \ h


vorangegangene Diskussion

Beweis Versuch 1 (verbessert):

VSS: g \subset E , P \in g
Beh: es gibt genau eine Gerade s durch P, die senkrecht auf g steht

EXISTENZ

Beweis
Nr. Beweisschritt Begründung
(I) Es existiert ein Punkt B \in E , P ungleich B Axiom I.2
(II) es existiert ein Punkt Q \in E, Q nicht Element g
(II) es existiert ein Punkt C\in gQ^{+}: | \angle PB^{+},PC^{+}| = 90 Winkelkonstruktionsaxiom, (I), (II)
(III) es exisitiert genau eine Gerade s durch C und P , senkrecht auf g Axiom I.1, (II)

EINDEUTIGKEIT Da es nach dem Winkelkonstruktionsaxiom genau eine Gerade gibt, ist die Eindeutigkeit bereits gezeigt.
qed --Löwenzahn 17:14, 1. Jul. 2010 (UTC)

Zweiter Beweisversuch (verbessert)

Voraussetzung: g Element E, P Element g Behauptung: s Element g und s senkrecht auf g

Existenz:

Es gibt eine Gerade s Element, die durch den Punkt P geht und senkrecht auf g steht
Beweisschritt Begründung
(I) Es existiert ein X Element E mit der Eigenschaft, dass X Element S und X Element PX+ Axiom I.2 (Gerade hat mindestens 2 Punkte)
(II) Es existieren auf der Geraden g ein Punkt P1 auf PP1+ und ein Punkt P2 auf PP1-
|Winkel(XPP2)| = |Winkel(XPP1)| = |w| mit w = 90 		Definition V.6 (Rechter Winkel),
Axiom IV.3 (Winkeladditionsaxiom)
(III) s steht senkrecht auf g (II), Definition V.8 (Relation senkrecht)

Eindeutigkeit: Nach Winkelkonstruktionsaxiom IV.2 gibt es in jeder Halbebene genau nur einen Strahl mit|w|=|Winkel(XPP2)| bzw. |w| = |Winkel(XPP1)| Nach Winkelmaßaxiom IV.1 gibt es für w genau eine reelle Zahl zwischen 0 und 180. Nach der Definition V.6, Satz V.3 und Satz V.4 gibt es rechte Winkel mit der Größe 90. Nach Definition V.8 ist eine Gerade dann senkrecht auf der anderen, wenn bei dem Schnitt der beiden rechte Winkel enstehen. Somit kann es nur einen Strahl geben in jeder Halbebene, der Senkrecht auf g steht und durch den Punkt P geht, da beim Schnitt ein rechter Winkel enstehen muss, der mit der Größe 90 nur einmalig existiert.

Kommentar --*m.g.* 13:51, 2. Jul. 2010 (UTC):

  1. Die Gerade \ s wird mittels des Winkelkonstruktionsaxioms im Laufe des Beweises "generiert". Dementsprechend sollte die Gerade \ s nicht in den Voraussetzungen auftauchen.
  2. Nur mittels einer Definition wird man eine Existenzaussage nicht begründen können. Definitionen mögen zwar alles mögliche festlegen können, ob die Dinge dann auch existieren steht auf einem anderen Blatt. Wir hätten sonst auch beweisen können: Behauptung: Es existieren rechte Winkel. Begründung: Weil rechte Winkel definiert wurden müssen sie auch existieren.
Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufgabe_10.2&oldid=3523“