Version vom 21. Juni 2018, 14:08 Uhr

Lösung 1

V: P Element von Mittelsenkrechte m von AB

B: PA=PB

Beweis:

1. P Element von m	V
2. AS=BS	Mittelsenkrechte, Mittelpunkt S von AB (weil S Schnittpunkt von Strecke AB und m)
3. Wi ASP = Wi BSP	(Wi=Winkel), Mittelsenkrechte, rechter Winkel
4. PS=PS	trivial
5. ASP = BSP	1, 2, 3, 4,
6. AP = BP	5

@@ Zeile 6: / Zeile 6: @@
 =Lösung 1=
+V: P Element von Mittelsenkrechte m von AB
+B: PA=PB
+Beweis:
+{| class="wikitable"
+|-
+|1. P Element von m  ||  V
+|-
+|2. AS=BS   || Mittelsenkrechte, Mittelpunkt S von AB (weil S Schnittpunkt von Strecke AB und m)
+|-
+|3. Wi ASP = Wi BSP  || (Wi=Winkel), Mittelsenkrechte, rechter Winkel
+|-
+| 4. PS=PS   ||trivial
+|-
+|  5. ASP = BSP  || 1, 2, 3, 4,
+|-
+|  6. AP = BP  || 5
+|}
 =Lösung 2=