Теорема. Для перпендикулярности прямых a и b необходимо и достаточно, чтобы направляющий вектор прямой a был перпендикулярен направляющему вектору прямой b. Доказательство этого условия перпендикулярности прямых основано на определении направляющего вектора прямой и на определении перпендикулярных прямых.