用向量内积运算,证明勾股定理