展开 已知事件ab相互独立,求证