Mathematik-digital/Winkelhalbierende, Mittelsenkrechte, Lot