展开 ab相互独立的充分必要条件