hermite矩阵的性质证明