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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: Beweisen Sie Satz VII.6 a: ::Wenn ein Punkt <math>\ P</math> zu den Endpunkten der Strecke <math>\overline{AB}</math> jeweils ein und denselben Abstand hat, so ist er ...)
 
Zeile 4: Zeile 4:
  
 
[[Category:Einführung_Geometrie]]
 
[[Category:Einführung_Geometrie]]
 +
 +
<p>--------------------------------------------------------------------</p>
 +
 +
'''Voraussetzung:'''Es sei eine Strecke <math> \overline{AB} </math> und ein Punkt P mit <math> \overline{PA} \cong \overline{PB} </math><br />
 +
 +
<br />'''Behauptung:''' <math>P \in m</math> , m ist Mittelsenkrechte von <math>\overline{AB}</math>
 +
 +
 +
 +
{| class="wikitable "
 +
|+ Beweis
 +
! style="background: #A2CD5A;" |Nr.
 +
! style="background: #A2CD5A;" |Beweisschritt
 +
! style="background: #A2CD5A;" |Begründung
 +
|-
 +
! style="background: #EEE685;"|(I)
 +
| <math>\triangle ABP</math> ist gleichschenklig
 +
| Vor.(<math> \overline{PA} \cong \overline{PB} </math>), Def.VII.4 (gleichschenkliges Dreieck)
 +
|-
 +
! style="background: #EEE685;"|(II)
 +
| <math>\angle PAB \cong \angle BAP</math>
 +
| I, Satz VII.5 (Basiswinkelsatz)
 +
|-
 +
! style="background: #EEE685;"|(III)
 +
| <math>\exists M \in \overline{AB} : \overline{MA} \cong \overline{MB}</math>
 +
| Def.III.1 (Mittelpunkt)
 +
|-
 +
! style="background: #EEE685;"|(IV)
 +
| <math>\triangle AMP \cong \triangle MBP</math>
 +
| II, III, Vor.(<math> \overline{PA} \cong \overline{PB} </math>), Axiom V (SWS)
 +
|-
 +
! style="background: #EEE685;"|(V)
 +
| <math>\angle PMA \cong \angle BMP</math> 
 +
| IV, Def.VII.3 (Dreieckskongruenz)
 +
|-
 +
! style="background: #EEE685;"|(VI)
 +
| <math>\angle PMA , \angle BMP</math> sind Nebenwinkel
 +
| IV, Def.V.4 (Nebenwinkel)
 +
|-
 +
! style="background: #EEE685;"|(VII)
 +
| <math>| \angle PMA | = | \angle BMP | = 90^{\circ}</math> 
 +
| V, VI, Def V.6 (rechter Winkel)
 +
|-
 +
! style="background: #EEE685;"|(VIII)
 +
| <math>\overline{MP} \bot \overline{AB}</math> 
 +
| VII, Def.V.9 (noch mehr Senkrecht)
 +
|-
 +
! style="background: #EEE685;"|(IX)
 +
| <math>\overline{MP} \subset m</math> 
 +
| III, VIII, Def.VI.1 (Mittelsenkrechte)
 +
|-
 +
! style="background: #EEE685;"|(X)
 +
| <math>P \in m</math> 
 +
| IX
 +
|-
 +
 +
|}
 +
 +
'''qed.'''<br />
 +
 +
--[[Benutzer:Studentxyz|Studentxyz]] 17:58, 17. Jan. 2011 (UTC)
 +
<p>--------------------------------------------------------------------</p>

Version vom 17. Januar 2011, 19:58 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}


Beweis
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} 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)

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