设α1,α2,…,αm为n维向量,定义(αi,αj)=αi^T*αj,证明(问题补充)