geometric congruence (original) (raw)

Two geometrical constructs are congruent if there is a finite sequencePlanetmathPlanetmath of geometric transformations mapping each one into the other. In this entry, we discuss three types of geometric congruences: congruencePlanetmathPlanetmath (the usual congruence), affine congruence, and projective congruence. After discussing congruence, we will briefly discuss congruence in Non-Euclidean geometry before moving on to affine congruence.

Euclidean Congruence

In a less formal sense, saying two constructs are congruent amounts to saying that the two constructs are essentially “the same” under the geometryMathworldPlanetmathPlanetmath that is being used.

The following are criteria that indicate that two given trianglesMathworldPlanetmath are congruent:

Congruence in Non-Euclidean Geometry

Note that the criteria listed above are also valid in hyperbolic geometry (and therefore in neutral geometry). Also note that AAS is not valid in spherical geometry, but all of the other criteria are. On the other hand, in both hyperbolic geometry and spherical geometry, AAA is a criterion that indicates that two given triangles are congruent.

Affine Congruence

Two geometric figures in an affine spacePlanetmathPlanetmath are affine congruent if there is an affine transformation mapping one figure to another. Since lengths and angles are not preserved by affine transformations, the class of specific geometric configurationsPlanetmathPlanetmathPlanetmath is wider than that of the class of the same geometric configuration under Euclidean congruence. For example, all triangles are affine congruent, whereas Euclidean congruent triangles are confined only to those that are SSS, SAS, or ASA. Another example is found in the class of ellipsesMathworldPlanetmathPlanetmath, which contains ellipses of all sizes and shapes, including circles. However, in Euclidean congruence, circles are only congruent to circles of the same radius.

Projective Congruence