为什么 a⊥b等价于a1b1+a2b2+a3b3?空间向量里的