Векторы перепендикулярны, когда их скалярное произведение равно нулю. Выразим его через координаты:
Возведём в квадрат: