Definition
Let : Nonzero vectors in
If
Then we say an are orthogonal (or perpendicular).
Remark
Notice that by definition, the zero vector in is orthogonal to every vector in .
Also, recall that the angle between two nonzero vectors in in is defined by
It follows that .