那个矩阵乘法，有点像线性代数里面的题目，用正交化