设AB都是n阶正定矩阵证明AB是正定矩阵当且仅当AB=BA