Lösung von Aufg. 10.3 S: Unterschied zwischen den Versionen
(→Kopernikus / Just noch ein sailA) |
|||
Zeile 57: | Zeile 57: | ||
== == | == == | ||
+ | |||
+ | |||
+ | Lösungsversuch schokomuffin | ||
+ | |||
+ | Vor<math>P \in m</math> : m = Mittelsenkrechte von <math>\overline{AB}</math> | ||
+ | |||
+ | Beh: <math>\left| PA \right| = \left| PB \right|</math> | ||
+ | |||
+ | |||
+ | (1) <math>\exists M \in \overline{AB} : \left| AM \right| = \left| MB \right|</math> // Ex.Eind. Mittelpunkt, Ax II.2 | ||
+ | |||
+ | (2) <math>\overline{PM}</math> // Vor | ||
+ | |||
+ | (3) <math>\overline{AP}</math> // Ax. vom Lineal | ||
+ | |||
+ | (4) <math>\overline{BP}</math> // Ax. vom Lineal | ||
+ | |||
+ | (5) <math>\overline{PM} = \overline{MP}</math> // trivial | ||
+ | |||
+ | (6) <math>\left| \angle BMP \right| = \left| \angle AMP \right|</math> // Der. RW, NW, Vor | ||
+ | |||
+ | (7) <math>\overline{AMP} \tilde {=} \overline{BMP} </math> // SWS (1), (5), (6) | ||
+ | |||
+ | (8) <math>\left| AP \right| = \left| BP \right|</math> // Def. Dreieckskongurenz, (7) | ||
+ | |||
+ | |||
+ | --[[schokomuffin]] 14:23, 01. Jul. 2012 (CEST) |
Version vom 1. Juli 2012, 13:23 Uhr
Kopernikus / Just noch ein sailA
Beweisen Sie Satz VII.6 b
Wenn ein Punkt zur Mittelsenkrechten der Strecke gehört, dann hat er zu den Punkten und ein und denselben Abstand.
Vor:
1. ist Mittelsenkrechte von
2.
3.
Beh:
Schritt | Beweis | Begründung |
---|---|---|
1 | Vor; Def. Mittelsenkrechte. | |
2 | Axiom IV.4, Def. V.7 | |
3 | trivial | |
4 | Axiom V, SWS | |
5 |
--Kopernikus 15:21, 28. Jun. 2012 (CEST)
--Just noch ein sailA 15:21, 28. Jun. 2012 (CEST)
Lösungsversuch Nummero6/Tchu Tcha Tcha:
Vor.:
Beh.:
(1) // Vor., Def. Mittelsenkrechte
(2) // trivial
(3) // Vor., Def. Mittelsenkrechte
(4)
(5) // (4), Dreieckskongruenz
qed
--Tchu Tcha Tcha 12:24, 30. Jun. 2012 (CEST)
Lösungsversuch schokomuffin
Vor : m = Mittelsenkrechte von
Beh:
(1) // Ex.Eind. Mittelpunkt, Ax II.2
(2) // Vor
(3) // Ax. vom Lineal
(4) // Ax. vom Lineal
(5) // trivial
(6) // Der. RW, NW, Vor
(7) // SWS (1), (5), (6)
(8) // Def. Dreieckskongurenz, (7)
--schokomuffin 14:23, 01. Jul. 2012 (CEST)