证明laplacian矩阵半正定