设A是反对称矩阵,B实对称矩阵,试证:AB是反对称矩阵的充分必要条件为AB=BA.求证