Du musst das Lot ja nicht "konstruieren", sondern definieren.
Sei g eine Gerade, die durch P verläuft und AB senkrecht in einem Punkt S schneidet...
Die Dreiecke PAS und PSB stimmen dann überein in
- dem genannten rechten Winkel
- der Strecke PS
- PA=PB
Sie sind damit kongruent nach SsW, also gilt AS=SB, und S ist Mittelpunkt von AB.
Damit ist PS nicht nur Senkrechte von AB, sondern auch Mittelsenkrechte.
Ein anderer Ansatz wäre ein indirekter Beweis. Annahme: Trotz AP=BP liegt P z.B. "links von der Mittelsenkrechten", d.h. PB schneidet die Mittelsenkrechte in einem Punkt D. Offensichtlich gilt dann AD=BD und damit
AD+DP=BD+DP.
Nun ist die rechte Seite gerade die Länge PB, während die linke Seite die Summe von zwei Seiten des entstehenden Dreiecks ADP ist. Diese Summe ist nach Dreiecksungleichung größer als die dritte Seite AP.
Aus der Annahme folgt also PB=AD+DP>AP, kurz: PB > AP. Das steht im Widerspruch zur Voraussetzung AP=BP, also kann P nicht neben der Mittelsenkrechten liegen.