1．所谓充分性，是从后往前证，即由AB=BA来证明AB为对称阵 必要性从前往后正，由AB是对称阵证AB=BA。
2．正推成立是充分，反推成立是必要。若有A推到B，则B为必要条件，即被推导出来的就是必要条件，不需要把两个一次性全部分辨出来，只要记准那个是必要条件就行了，因为另一个肯定就是充分条件。
