证明aat为正定矩阵