平面直角坐标系

平面上的向量满足勾股定理。在平面上，假定已经存在一个由相互垂直的向量构成的直角坐标系。根据勾股定理，一个向量的长度的平方 等于它在X轴的投影的长度的平方( )加上它在Y轴的投影的长度的平方( )，如图1。

实际上，整个平面上的每一个向量都可以由这两个相互垂直的单位向量的有限线性组合表示。这样的一组相互垂直的向量被称为是这个平面里的一组完全规范。

正交向量：每个向量都可以被这一组向量的有限线性组合作任意程度的逼近（事实上是等于）。

三维空间中的平面投影

当向量是在三维欧几里得空间中时，对于一个平面（比如说xOy平面）以及平面上的一个由相互垂直的向量（Ox 方向上的 和Oy 方向上的 ）构成的直角坐标系，向量的长度的平方会比它在X轴的投影的长度平方加上它在Y轴的投影的长度平方之和还要大。实际上，这个平方和正是向量在xOy平面上的投影的长度的平方。而原来的向量的长度的平方是这个投影长度的平方加上它在Z轴的投影的长度平方。

这个事实说明，向量 和 不是三维欧几里得空间里的一组完全正交向量。

证明的思路是利用一般希尔伯特空间中的“勾股定理”：如果两个向量垂直，那么它们的和的长度平方等于它们两个的长度的平方和。首先考虑规范正交向量序列有限时的情形：设序列的长度是n，序列中的元素是：

设一个向量x在这个规范正交序列上的投影为向量： ，而x与它的投影的差则是向量： 。这两个向量的内积等于：

也就是说，x在这个规范正交序列上的投影垂直于x与它的投影的差。所以根据勾股定理，有：

即使规范正交向量序列是无限的，只要它是可数的，就会有相同的不等式。实际上，只需要考虑这个无穷（可数个）序列中的前面n项。根据有限序列时的情形，可以证明一个元素x在规范正交向量序列的前n项上的投影的长度平方和 小于等于x的长度平方。这个平方和实际上是正项无穷级数的前n项部分和，所以这个无穷级数收敛，并且其极限 也小于等于x的长度平方。换句话说，向量序列 在 上收敛。