Rolle theorem
Lagrange mean value theorem
Taylor mean value theorem
Axiom 1: If two points on a straight line are in a plane, then all points on this straight line are in this plane.
Axiom 2: If two planes have a common point, then they have only one common straight line passing through this point.
Axiom 3: Through three points that are not on the same straight line, there is one and only one plane.
① Two lines parallel to the same line are parallel (parallel axiom).
② The straight line is parallel to the plane, and the intersection line between the plane passing through this straight line and the original plane is parallel to this straight line;
③ The two planes are parallel, and the two intersecting lines cut from the third plane are parallel to each other;
④ Two straight lines perpendicular to the same plane are parallel.
① The included angle is perpendicular to two straight lines at right angles;
② If a straight line is vertical, it is perpendicular to any straight line in this plane;
③ Three Vertical Theorems and Inverse Theorems.
Projective theorem and so on