结构推理 如果是正定矩阵，那么，那么当且仅当为对角线形时等号成立。