设A,B为实对称矩阵,且B正定,则存在S及对称矩阵D,使得