Lösung von Aufg. 10.2 S: Unterschied zwischen den Versionen
(→Kopernikus / Just noch ein sailA) |
|||
| Zeile 77: | Zeile 77: | ||
<math>\overline{AB}</math> | <math>\overline{AB}</math> | ||
| + | |||
| + | |||
| + | Lösungsversuch schokomuffin | ||
| + | |||
| + | Vor: Abstand PA = Abstand PB | ||
| + | Beh: <math>P \in</math> Mittelsenkrechte von <math>\overline{AB}</math> | ||
| + | |||
| + | (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) | ||
Version vom 1. Juli 2012, 13:01 Uhr
Lösungsversuch Nummero6/Tchu Tcha Tcha:
Skizze:
Voraussetzung:
(V1) Punkt P
(V2) Strecke 
(V3)
Behauptung:
P
Mittelsenkrechte
(1)
// (V2), Ex. & Eind. Mittelpkt. einer Strecke
(2)
// (V1), (1), Axiom I.1
(3)
// trivial
(4)
// (V3)
(5)
// (1)
(6)
// (3-5), SSS
(7)
// (6)
(8)
// (7), Def. NW, Def. suppl., Supplementaxiom, Def. rechter Winkel, Def. senkrecht
(9)
also auch
// (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
zu den Endpunkten der Strecke
jeweils ein und denselben Abstand hat, so ist er ein Punkt der Mittelsenkrechten von
.
Vor:
1.
2.
Beh:
der Mittelsenkrechten von
| Schritt | Beweis | Begründung |
|---|---|---|
| 1 |
|
Vor. |
| 2 |
|
Ex. Eind. der Mittelsenkrechten von
|
| 3 |
|
trivial |
| 4 |
|
Kong. Satz SSS, 1,2,3 |
| 5 |
|
4, Dreieckskongruenz |
| 6 | der Mittelsenkrechten von
|
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)
Lösungsversuch schokomuffin
Vor: Abstand PA = Abstand PB
Beh:
Mittelsenkrechte von
(1)
Ex. u. Eind. Mittelpunkt, Ax. II/ 2
(2)
Ax. I/1
(3)
Ax. IV/2
(4)
Def. RW, NW, (3)
(5)
(4), (3)
(6) g ist Mittelsenkrechte von
(4), (1)

