设ab都为n阶方阵且ab正定