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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 11: Zeile 11:
 
<p>'''Behauptung:''' <math>P \in m</math> , m ist Mittelsenkrechte von <math>\overline{AB}</math></p><br />
 
<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 />
+
<p>Fall 1: koll(A,B,P)[[Bild:PMPAB.JPG]]<br />Fall 2: nkoll(A,B,P)[[Bild:PAcongPB113.JPG]]</p><br />
  
  
Zeile 45: Zeile 45:
 
|-
 
|-
 
! style="background: #EEE685;"|(II)
 
! style="background: #EEE685;"|(II)
| <math>\angle PAB \cong \angle BAP</math>  
+
| <math>\angle PBA \cong \angle BAP</math>  
 
| I, Satz VII.5 (Basiswinkelsatz)
 
| I, Satz VII.5 (Basiswinkelsatz)
 
|-
 
|-

Version vom 18. Januar 2011, 19:21 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)PMPAB.JPG
Fall 2: nkoll(A,B,P)PAcongPB113.JPG




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 PBA \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)

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