反证法---证明唯一性假设有两条公垂线,则他们都与异面直线相交（公垂线的定义）所以两公垂线确定一个平面A（公理3）所以4个交点共面A因为每条异面直线都有两个点在平面A上所以每条异面直线都在平面A上（公理2）所以...