Basic fact 2: The line segment between two points is the shortest.

Basic fact 3: There is one and only one straight line perpendicular to this straight line.

Basic fact 4: Two straight lines are cut by a third straight line. If congruent angles are equal, two straight lines are parallel.

Basic fact 5: At a point outside a straight line, there is one and only one straight line parallel to it.

Basic fact 6: Two triangles with equal sides have equal angles.

Basic fact 7: Two triangles with equal angles have equal sides.

Basic fact 8: A triangle with two equal sides is congruent.

Basic fact 9: Two straight lines are cut by a set of parallel lines, and the corresponding line segments are proportional.

Extended data

Now the word "axiom" is no longer used in graphics and geometry, and now "basic facts" are used.

And "axiom" refers to propositions and principles that have been tested by repeated human practice for a long time, and no other judgment is needed to prove them. The initial proposition of deductive system. Such a proposition does not need to be proved by other propositions in this system, and it is the basic proposition to deduce other propositions in this system.