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

Lösung 2