反证法啦,假设AC、BD在同一平面上,也即A、B、C、D共面,进而推出AB、CD共面,与已知矛盾,所以假设不成立.