Incenter centers known to the ancient Greeks, and the only one that does not in general lie on the Euler line. It is the first listed center, X(1), in Clark Kimberling's Encyclopedia of Triangle Centers, and the identity element of the multiplicative group of triangle centers. For polygons with more than three sides, the incenter only exists for tangential polygons—those that have an incircle that is tangent to each side of the polygon. In this case the incenter is the center of this circle and is equally distant from all sides. It is a theorem in Euclidean geometry that the three
Similarity (geometry) G.D. Birkhoff (see Birkhoff's axioms) the SAS similarity criterion given above was used to replace both Euclid's Parallel Postulate and the SAS axiom which enabled the dramatic shortening of Hilbert's axioms. Similar triangles provide the basis for many synthetic (without the use of coordinates) proofs in Euclidean geometry. Among the elementary results that can be proved this way are: the angle bisector theorem, the geometric mean theorem, Ceva's theorem, Menelaus's theorem and the Pythagorean theorem. Similar triangles also provide the foundations for right triangle trigonometry. The concept of similarity extends to polygons with more than three sides. Given any two