a1,a2,an是欧式空间的一组基[b,ai]=0,证明b=0