Euclidean geometry, elementary geometry of two and three dimensions (plane and solid geometry), is based largely on the Elements of the Greek mathematician Euclid (fl. c.300 B.C.). In 1637, René Descartes showed how numbers can be used to describe points in a plane or in space and to express geometric relations in algebraic form, thus founding analytic geometry, of which algebraic geometry is a further development (see Cartesian coordinates). The problem of representing three-dimensional objects on a two-dimensional surface was solved by Gaspard Monge, who invented descriptive geometry for this purpose in the late 18th cent. differential geometry, in which the concepts of the calculus are applied to curves, surfaces, and other geometrical objects, was founded by Monge and C. F. Gauss in the late 18th and early 19th cent. The modern period in geometry begins with the formulations of projective geometry by J. V. Poncelet (1822) and of non-Euclidean geometry by N. I. Lobachevsky (1826) and János Bolyai (1832). Another type of non-Euclidean geometry was discovered by Bernhard Riemann (1854), who also showed how the various geometries could be generalized to any number of dimensions.
The different geometries are classified and related to one another in various ways. The non-Euclidean geometries are exactly analogous to the geometry of Euclid, except that Euclid's postulate regarding parallel lines is replaced and all theorems depending on this postulate are changed accordingly. Both Euclidean and non-Euclidean geometry are types of metric geometry, in which the lengths of line segments and the sizes of angles may be measured and compared. Projective geometry, on the other hand, is more general and includes the metric geometries as a special case; pure projective geometry makes no reference to lengths or angle measurements.
The general metric geometry consisting of all of Euclidean geometry except that part dependent on the parallel postulate is called absolute geometry; its propositions are valid for both Euclidean and non-Euclidean geometry. Another type of geometry, called affine geometry, includes Euclid's parallel postulate but disregards two other postulates concerning circles and angle measurement; the propositions of affine geometry are also valid in the four-dimensional geometry of space-time used in the theory of relativity. Ordered geometry consists of all propositions common to both absolute geometry and affine geometry; this geometry includes the notion on intermediacy ("betweenness") but not that of measurement.
An important step in recognizing the connections between the different types of geometry was the Erlangen program, proposed by the German Felix Klein in his inaugural address at the Univ. of Erlangen (1872), according to which geometries are classified with respect to the geometrical properties that are left unchanged (invariant) under a given group of transformations. For example, Euclidean geometry is the study of properties unchanged by similarity transformations, affine geometry is concerned with properties invariant under the linear transformations (affine collineations) that preserve parallelism, and projective geometry studies invariants under the more general projective transformations (collineations and correlations). Topology, perhaps the most general type of geometry although often considered a separate branch of mathematics, is concerned with properties invariant under continuous transformations, which carry neighborhoods of points into neighborhoods of their images.
Euclid's Elements organized the geometry then known into a systematic presentation that is still used in many texts. Euclid first defined his basic terms, such as point and line, then stated without proof certain axioms and postulates about them that seemed to be self-evident or obvious truths, and finally derived a number of statements (theorems) from the postulates by means of deductive logic. This axiomatic method has since been adopted not only throughout mathematics but in many other fields as well. The close examination of the axioms and postulates of Euclidean geometry during the 19th cent. resulted in the realization that the logical basis of geometry was not as firm as had previously been supposed. New axiom and postulate systems were developed by various mathematicians, notably David Hilbert (1899).
See H. G. Forder, The Foundations of Euclidean Geometry (1927); H. S. M. Coxeter, Introduction to Geometry (2d ed. 1969).
In geometry, two sets of points are called congruent if one can be transformed into the other by an isometry, i.e., a combination of translations, rotations and reflections. Less formally, two figures are congruent if they have the same shape and size, but are in different positions (for instance one may be rotated, flipped, or simply placed somewhere else).
A more formal definition: two subsets A and B of Euclidean space Rn are called congruent if there exists an isometry f : Rn → Rn (an element of the Euclidean group E(n)) with f(A) = B. Congruence is an equivalence relation.
If triangle ABC is congruent to triangle DEF, the relationship can be written mathematically as:
Specifically, SSA does not prove congruence when the angle is acute and the opposite side is shorter or equal to the adjacent side but longer than the sine of the angle times the adjacent side. This is the ambiguous case. In all other cases, SSA proves congruence. Notice that the opposite side cannot be smaller than the adjacent side times the sine of the angle as this could not describe a triangle.
The SSA condition proves congruence if the angle is obtuse or right. In the case of the right angle (also known as the HL (Hypotenuse-Leg) condition), we can calculate the third side and fall back on SSS.
The SSA condition proves congruence if the angle is acute and the opposite side either equals the adjacent side times the sine of the angle (right triangle) or is longer than the adjacent side.