平行公理：经过直线外一点，有且只有一条直线与已知直线平行。（为什么叫平行公理而不叫平行线的性质？因为还有更重要、更常用的性质，后面马上就会学到）
这里解释下什么叫公理，公理就是基本事实，显而易见，无需证明。为什么就无需证明呢？因为通过旋转木条就可以明显看出来。（这里不能死扣，实在理解不了就把它当成“龟腚”好了。）
平行公理的推论：如果两条直线都与第三条直线平行，那么这两条直线也互相平行。
为什么叫平行公理的推论？怎么由平行公理推导出来？
假设a与b不平行，a与b必然相交于一点，这与平行公理经过直线外一点，有且只有一条直线与这条直线平行矛盾，所以a∥b。
