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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 7: Zeile 7:
 
<p>--------------------------------------------------------------------</p>
 
<p>--------------------------------------------------------------------</p>
  
'''Voraussetzung:'''Es sei eine Strecke <math> \overline{AB} </math> und ein Punkt P mit <math> \overline{PA} \cong \overline{PB} </math><br />
+
<p>'''Voraussetzung:'''Es sei eine Strecke <math> \overline{AB} </math> und ein Punkt P mit <math> \overline{PA} \cong \overline{PB} </math></p><br />
  
<br />'''Behauptung:''' <math>P \in m</math> , m ist Mittelsenkrechte von <math>\overline{AB}</math>
+
<p>'''Behauptung:''' <math>P \in m</math> , m ist Mittelsenkrechte von <math>\overline{AB}</math></p><br />
  
 +
<p>Fall 1: koll(A,B,P)<br />Fall 2: nkoll(A,B,P)</p><br />
  
 +
 +
 +
 +
{| class="wikitable "
 +
|+ Beweis zu Fall 1
 +
! style="background: #A2CD5A;" |Nr.
 +
! style="background: #A2CD5A;" |Beweisschritt
 +
! style="background: #A2CD5A;" |Begründung
 +
|-
 +
! style="background: #EEE685;"|(I)
 +
| P ist Mittelpunkt von <math>\overline{AB}</math>
 +
| Vor.(<math> \overline{PA} \cong \overline{PB} </math>),Def.III.1 (Mittelpunkt)
 +
|-
 +
! style="background: #EEE685;"|(II)
 +
| <math>P \in m</math>
 +
| I, Def VI.1(Mittelsenkrechte)
 +
|-
 +
 +
 +
|}
  
 
{| class="wikitable "
 
{| class="wikitable "
|+ Beweis  
+
|+ Beweis zu Fall 2
 
! style="background: #A2CD5A;" |Nr.
 
! style="background: #A2CD5A;" |Nr.
 
! style="background: #A2CD5A;" |Beweisschritt
 
! style="background: #A2CD5A;" |Beweisschritt
Zeile 28: Zeile 49:
 
|-
 
|-
 
! style="background: #EEE685;"|(III)
 
! style="background: #EEE685;"|(III)
| <math>\exists M \in \overline{AB} : \overline{MA} \cong \overline{MB}</math>  
+
| <math>\exists ! M \in \overline{AB} : \overline{MA} \cong \overline{MB}</math>  
| Def.III.1 (Mittelpunkt)
+
| Satz III.1(Existenz und Eindeutigkeit des Mittelpunkts), Def.III.1 (Mittelpunkt)
 
|-
 
|-
 
! style="background: #EEE685;"|(IV)
 
! style="background: #EEE685;"|(IV)

Version vom 18. Januar 2011, 18:53 Uhr

Beweisen Sie Satz VII.6 a:

Wenn ein Punkt \ P zu den Endpunkten der Strecke \overline{AB} jeweils ein und denselben Abstand hat, so ist er ein Punkt der Mittelsenkrechten von \overline{AB}.

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

Voraussetzung:Es sei eine Strecke  \overline{AB} und ein Punkt P mit  \overline{PA} \cong \overline{PB}


Behauptung: P \in m , m ist Mittelsenkrechte von \overline{AB}


Fall 1: koll(A,B,P)
Fall 2: nkoll(A,B,P)




Beweis zu Fall 1
Nr. Beweisschritt Begründung
(I) P ist Mittelpunkt von \overline{AB} Vor.( \overline{PA} \cong \overline{PB} ),Def.III.1 (Mittelpunkt)
(II) P \in m I, Def VI.1(Mittelsenkrechte)
Beweis zu Fall 2
Nr. Beweisschritt Begründung
(I) \triangle ABP ist gleichschenklig Vor.( \overline{PA} \cong \overline{PB} ), Def.VII.4 (gleichschenkliges Dreieck)
(II) \angle PAB \cong \angle BAP I, Satz VII.5 (Basiswinkelsatz)
(III) \exists ! M \in \overline{AB} : \overline{MA} \cong \overline{MB} Satz III.1(Existenz und Eindeutigkeit des Mittelpunkts), Def.III.1 (Mittelpunkt)
(IV) \triangle AMP \cong \triangle MBP II, III, Vor.( \overline{PA} \cong \overline{PB} ), Axiom V (SWS)
(V) \angle PMA \cong \angle BMP IV, Def.VII.3 (Dreieckskongruenz)
(VI) \angle PMA , \angle BMP sind Nebenwinkel IV, Def.V.4 (Nebenwinkel)
(VII) | \angle PMA | = | \angle BMP | = 90^{\circ} V, VI, Def V.6 (rechter Winkel)
(VIII) \overline{MP} \bot \overline{AB} VII, Def.V.9 (noch mehr Senkrecht)
(IX) \overline{MP} \subset m III, VIII, Def.VI.1 (Mittelsenkrechte)
(X) P \in m IX

qed.

--Studentxyz 17:58, 17. Jan. 2011 (UTC)

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