Ну если

, то да, вектор.
Ну что фактически значит, что скалярное произведение равно нулю? Вот есть вектор

. Множество всех векторов, ортогональных ему составляют линейное подпространство. Возьмем оттуда любой нетривиальный вектор,

. Значит

и значит можно взять

. Все. Если хотите, собственно, вид этого вектора в обозначениях

, то его не сложно придумать.
Пусть, например,

. Тогда подходит

. Если

, то подходит

, или

и т.д. и т.п. Ну и их линейные комбинации тоже подходят (ну главное, чтобы

). Легко догадаться, как это будет выглядеть в случае произвольного

.