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)

