Lösung von Aufg. 10.2 S: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 12: Zeile 12:
  
 
(1) <math>\exist M\in \overline{AB} : \left| AM \right| = \left| MB \right|</math> // (V2), Ex. & Eind. Mittelpkt. einer Strecke<br />
 
(1) <math>\exist M\in \overline{AB} : \left| AM \right| = \left| MB \right|</math> // (V2), Ex. & Eind. Mittelpkt. einer Strecke<br />
−
(2) <math>\exists m \in E : \ MP</math> // (V1), (1), Axiom I.1<br />
+
(2) <math>\exists m \in E : \ M,P \in m</math> // (V1), (1), Axiom I.1<br />
 
(3) <math>\overline{MP} = \overline{MP}</math> // trivial<br />
 
(3) <math>\overline{MP} = \overline{MP}</math> // trivial<br />
−
(4) <math>\left|\overline{PA}\right| = \left|\overline{PB}\right|</math> // (V3) <br />
+
(4) <math>\left\overline{PA}\right \tilde {=} \left\overline{PB}\right</math> // (V3) <br />
−
(5) <math>\left|\overline{AM}\right| = \left|\overline{MB}\right|</math> // (1) <br />
+
(5) <math>\left\overline{AM}\right| \tilde {=} \left\overline{MB}\right</math> // (1) <br />
−
(6) <math>\overline{AMP} kongruent \overline{BMP}</math> // (3-5), SSS <br />
+
(6) <math>\overline{AMP} \tilde {=} \overline{BMP}</math> // (3-5), SSS <br />
−
(7) <math>\angle AMP kongruent \angle BMP </math> // (6) <br />
+
(7) <math>\angle AMP \tilde {=} \angle BMP </math> // (6) <br />
 
(8) <math>\ m \perp \overline{AB}</math> // (7), Def. NW, Def. suppl., Supplementaxiom, Def. rechter Winkel, Def. senkrecht <br />
 
(8) <math>\ m \perp \overline{AB}</math> // (7), Def. NW, Def. suppl., Supplementaxiom, Def. rechter Winkel, Def. senkrecht <br />
 
(9) <math>P \in m</math> also auch <math>P \in Mittelsenkrechte \overline{AB}</math> // (2)<br />
 
(9) <math>P \in m</math> also auch <math>P \in Mittelsenkrechte \overline{AB}</math> // (2)<br />

Version vom 1. Juli 2012, 20:01 Uhr

Lösungsversuch Nummero6/Tchu Tcha Tcha:

Skizze:
Übung 10.2neu.png
Voraussetzung:
(V1) Punkt P
(V2) Strecke \overline{AB}
(V3) \left|\overline{PA}\right| = \left|\overline{PB}\right| = \left| d \right|
Behauptung:
P \in Mittelsenkrechte\overline{AB}

(1) \exist M\in \overline{AB} : \left| AM \right| = \left| MB \right| // (V2), Ex. & Eind. Mittelpkt. einer Strecke
(2) \exists m \in E : \ M,P \in m // (V1), (1), Axiom I.1
(3) \overline{MP} = \overline{MP} // trivial
(4) Fehler beim Parsen(Syntaxfehler): \left\overline{PA}\right \tilde {=} \left\overline{PB}\right 

// (V3)

(5) Fehler beim Parsen(Syntaxfehler): \left\overline{AM}\right| \tilde {=} \left\overline{MB}\right 

// (1)

(6) \overline{AMP} \tilde {=} \overline{BMP} // (3-5), SSS
(7) \angle AMP \tilde {=} \angle BMP // (6)
(8) \ m \perp \overline{AB} // (7), Def. NW, Def. suppl., Supplementaxiom, Def. rechter Winkel, Def. senkrecht
(9) P \in m also auch P \in Mittelsenkrechte \overline{AB} // (2)
qed
--Tchu Tcha Tcha 18:58, 27. Jun. 2012 (CEST)

Kopernikus / Just noch ein sailA

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}.

Vor:
1. \overline{AB}
2. \overline{AP} = \overline{PB}

Beh:
P\in der Mittelsenkrechten von \overline{AB}

Schritt Beweis Begründung
1 \overline{AP} =\overline{BP} Vor.
2 \overline{AM} =\overline{MB} Ex. Eind. der Mittelsenkrechten von \overline{AB}
3 \overline{MP} =\overline{PM} trivial
4 \overline{AMP} \tilde {=} \overline{BMP} Kong. Satz SSS, 1,2,3
5 \angle AMP =\angle PMB 4, Dreieckskongruenz
6 P\in der Mittelsenkrechten von \overline{AB} 2,5, Def. VI.1 (Mittelsenkrechte)
7 Beh. stimmt q.e.d 6, Beh.

--Kopernikus 15:50, 28. Jun. 2012 (CEST)

--Just noch ein sailA 15:50, 28. Jun. 2012 (CEST)

\overline{AB}


Lösungsversuch schokomuffin

Vor: Abstand PA = Abstand PB Beh: P \in Mittelsenkrechte von \overline{AB}

(1) \exists M \in \overline{AB}  : \left| AM \right| = \left| MB \right| Ex. u. Eind. Mittelpunkt, Ax. II/ 2

(2) \exists g : M \in g \ \wedge P \in g Ax. I/1

(3) \angle BMP = 90 Ax. IV/2

(4) \angle AMP = \angle BMP Def. RW, NW, (3)

(5) \ g \perp \ \overline{AB} (4), (3)

(6) g ist Mittelsenkrechte von \overline{AB} (4), (1)

--schokomuffin 14:02 01. Jul. 2012 (CEST)

Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufg._10.2_S&oldid=15826“