设A,B均为正定矩阵,则AB正定当且仅当AB=BA