求施密特正交化的验证过程
把a1,a2,...ar规范正交化,取b1=a1
b2=a2-[b1,a2]b1/[b1,b1]
...
br=ar-[b1,ar]b1/[b1,b1]-[b2,ar]b2/[b2,b2]-...-[br-1,ar]br-1/[br-1,br-1]
容易验证b1,...br两两正交,且与a1,a2,...ar等价.
验证b1与br的就可以了.