a,b为其中的向量，则a,b正交的充要条件是：||a||2+||b||2=||a-b||2;
就是a的范数平方加上b的范数平方等于a-b的范数平方。
这是普通勾股定理即2维欧几里得空间且向量a的范数定义为
||a||=(x2+y2)1/2（或者||a||=（ata）1/2(列向量a的转置与a的矩阵乘积的1/2次方）的推广。