九大公理简称:
①直线公理;②线段公理;③过直线外一点有且只有一条直线与已知直线平行;④在同一平面内,过一点只有一条直线与已知直线垂直;⑤两直线平行,同位角相等(反过来的是定理,可以证明);⑥SSS;⑦SAS;⑧ASA;⑨平行线截线段成比例。