两条异面直线的公垂线怎么找?如何证明?