平行线公理：经过直线外一点，有且只有一条直线与这条直线平行。平行公理的推论：如果两条直线都与第三条直线平行，那么这两条直线也互相平行。平行公理的推论体现了平行线的传递性，它可以作为以后推理的依据......