A是实对称矩阵B是反对称矩阵,证明A B的行列式大于零