证明两条线是平行线的那几个公式