两直线被第三条直线所截，如果同位角相等那么这两条直线平行，两条平行线被第三条直线所截同位角相等，两边和夹角对应相等的两个三角形全等，角及其夹边对应相等的两个三角形全等，三边对应相等的两个三角形全等，全等三角形的对应边相等，对应角相等。

线段公理，两点之间，线段最短。直线公理，过两点有且只有一条直线。

平行公理，过直线外一点有且只有一条直线与已知直线平行。