性质 2.1.
对于任意的向量 ,以及任意实数 ,有
- 若 ,则 ;
- ;
- .
\begin{proof}
由内积的定义容易验证 (1), (2) 和 (3) 成立, 下面证明 (4) 也成立.
当 时,(4) 显然成立.
当 时,由向量投影的性质可得
因此 (4) 成立.
\end{proof}
性质 2.1.
对于任意的向量 ,以及任意实数 ,有
- 若 ,则 ;
- ;
- .
\begin{proof}
由内积的定义容易验证 (1), (2) 和 (3) 成立, 下面证明 (4) 也成立.
当 时,(4) 显然成立.
当 时,由向量投影的性质可得
因此 (4) 成立.
\end{proof}