展开 a与b相互独立的充分必要条件证明