证明:如果A与B都是n级正定矩阵,那么AB是正定矩阵的充分必要条件是AB=BA。