А 16;3 это что? Я немного не понимаю
Использована формула длины отрезка через координаты его концов, условие перпендикулярности векторов