大家看看我这个矩阵的证明哪里有问题