展开 证明a,b相互独立的充要条件