性质 2.1.

对于任意的向量 ,以及任意实数 ,有

  1. ,则 ;
  2. ;
  3. .

\begin{proof} 由内积的定义容易验证 (1), (2) 和 (3) 成立, 下面证明 (4) 也成立.

时,(4) 显然成立.

时,由向量投影的性质可得

因此 (4) 成立. \end{proof}