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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Kopernikus / Just noch ein sailA)
(→‎Kopernikus / Just noch ein sailA)
 
(11 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 7: Zeile 7:
 
(V1) Punkt P<br />
 
(V1) Punkt P<br />
 
(V2) Strecke <math>\overline{AB}</math><br />
 
(V2) Strecke <math>\overline{AB}</math><br />
−
(V3) <math>\left|\overline{PA}\right| = \left|\overline{PB}\right| = \left| d \right|</math>  <br />
+
(V3) <math>\left|PA| = |PB| = \left| d \right|</math>  bzw. <math>\overline {PA} \tilde {=} \overline {PB}</math><br />
 
'''Behauptung:'''<br />
 
'''Behauptung:'''<br />
 
P <math>\in</math> Mittelsenkrechte<math>\overline{AB}</math> <br />
 
P <math>\in</math> Mittelsenkrechte<math>\overline{AB}</math> <br />
  
 
(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} \tilde {=} \overline{MP}</math> // trivial<br />
−
(4) <math>\left|\overline{PA}\right| = \left|\overline{PB}\right|</math> // (V3) <br />
+
(4) <math>\overline {PA} \tilde {=} \overline {PB}</math> // (V3) <br />
−
(5) <math>\left|\overline{AM}\right| = \left|\overline{MB}\right|</math> // (1) <br />
+
(5) <math>\overline {AM} \tilde {=} \overline {MB}</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 />
Zeile 31: Zeile 31:
 
<br />
 
<br />
 
1. <math>\overline{AB}</math> <br />
 
1. <math>\overline{AB}</math> <br />
−
2. <math>\overline{AP} = \overline{PB}</math>  
+
2. <math>\left| AP \right| =\left| BP \right|</math>  
 
<br /><br />
 
<br /><br />
 
''' Beh: '''<br />
 
''' Beh: '''<br />
−
<math>P\in</math> der Mittelsenkrechten von <math>\overline{AB}</math>  
+
<math>P\in</math> Satz III.1: (Existenz und Eindeutigkeit des Mittelpunkte einer Strecke)  von <math>\overline{AB}</math>  
 
<br />
 
<br />
  
Zeile 43: Zeile 43:
 
|-
 
|-
 
| 1
 
| 1
−
| <math>\overline{AP} =\overline{BP}</math>  
+
| <math>\left| AP \right| =\left| BP \right|</math>  
 
| Vor.
 
| Vor.
 
|-
 
|-
 
| 2
 
| 2
 
| <math>\overline{AM} =\overline{MB}</math>  
 
| <math>\overline{AM} =\overline{MB}</math>  
−
| Ex. Eind. der Mittelsenkrechten von <math>\overline{AB}</math>  
+
| Satz III.1: (Existenz und Eindeutigkeit des Mittelpunkte der Strecke <math>\overline{AB}</math>  
 
|-
 
|-
 
| 3
 
| 3
Zeile 71: Zeile 71:
 
|}
 
|}
 
--[[Benutzer:Kopernikus|Kopernikus]] 15:50, 28. Jun. 2012 (CEST)<br /><br />
 
--[[Benutzer:Kopernikus|Kopernikus]] 15:50, 28. Jun. 2012 (CEST)<br /><br />
−
 
−
--[[Benutzer:Just noch ein sailA|Just noch ein sailA]] 15:50, 28. Jun. 2012  (CEST)<br /><br />
 
  
 
== ==
 
== ==
  
 
<math>\overline{AB}</math>
 
<math>\overline{AB}</math>
 +
 +
 +
Lösungsversuch schokomuffin
 +
 +
Vor: <math>|PA| = |PB|</math><br />
 +
Beh: <math>P \in</math> Mittelsenkrechte von <math>\overline{AB}</math> <br />
 +
 +
(1) <math>\exists M \in  \overline{AB}  : \left| AM \right| = \left| MB \right|</math>    Ex. u. Eind. Mittelpunkt, Ax. II/ 2
 +
 +
(2) <math>\exists g : M \in g \  \wedge  P \in g</math>      Ax. I/1
 +
 +
(3) <math>\angle BMP = 90</math>    Ax. IV/2
 +
 +
(4) <math>\angle AMP = \angle BMP</math>    Def. RW, NW, (3)
 +
 +
(5) <math>\ g \perp \ \overline{AB}</math>    (4), (3)
 +
 +
(6) g ist Mittelsenkrechte von <math>\overline{AB}</math>    (4), (1)
 +
 +
--[[schokomuffin]] 14:02 01. Jul. 2012  (CEST)<br /><br />
 +
*Schritt 3 und Schritt 4 kommen mir etwas aus der Luft gegriffen vor. Woher weiß man, dass <math>\angle BMP = 90</math> und <math>\angle AMP = \angle BMP</math> gilt? --[[Benutzer:Andreas|Tutor Andreas]] 20:12, 1. Jul. 2012 (CEST)
 +
[[Kategorie:Einführung_S]]

Aktuelle Version vom 3. Juli 2012, 12:32 Uhr

Lösungsversuch Nummero6/Tchu Tcha Tcha:

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

 bzw. \overline {PA} \tilde {=} \overline {PB}

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} \tilde {=} \overline{MP} // trivial
(4) \overline {PA} \tilde {=} \overline {PB} // (V3)
(5) \overline {AM} \tilde {=} \overline {MB} // (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. \left| AP \right| =\left| BP \right|

Beh:
P\in Satz III.1: (Existenz und Eindeutigkeit des Mittelpunkte einer Strecke) von \overline{AB}

Schritt Beweis Begründung
1 \left| AP \right| =\left| BP \right| Vor.
2 \overline{AM} =\overline{MB} Satz III.1: (Existenz und Eindeutigkeit des Mittelpunkte der Strecke \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)

\overline{AB}


Lösungsversuch schokomuffin

Vor: |PA| = |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)

  • Schritt 3 und Schritt 4 kommen mir etwas aus der Luft gegriffen vor. Woher weiß man, dass \angle BMP = 90 und \angle AMP = \angle BMP gilt? --Tutor Andreas 20:12, 1. Jul. 2012 (CEST)
Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufg._10.2_S&oldid=15888“