Congruence (geometry)
From Wikipedia, the free encyclopedia
| This article does not cite any references or sources. (April 2008) Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed. |
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).
Contents |
[edit] Definition of congruence in analytic geometry
In a Euclidean system, congruence is fundamental; it is the counterpart of equality for numbers. In analytic geometry, congruence may be defined intuitively thus: two mappings of figures onto one Cartesian coordinate system are congruent if and only if, for any two points in the first mapping, the Euclidean distance between them is equal to the Euclidean distance between the corresponding points in the second mapping.
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.
[edit] Congruence of triangles
Two triangles are congruent if their corresponding sides and angles are equal. Usually it is sufficient to establish the equality of three corresponding parts and use one of the following results to conclude the congruence of the two triangles.
[edit] SAS, SSS, ASA, and AAS
SAS (Side-Angle-Side): Two triangles are congruent if a pair of corresponding sides and the included angle are equal.
SSS (Side-Side-Side): Two triangles are congruent if their corresponding sides are equal.
ASA (Angle-Side-Angle): Two triangles are congruent if a pair of corresponding angles and the included side are equal. The ASA Postulate was contributed by Thales of Miletus (Greek).
In most system of axioms, the three criteria — SAS, SSS and ASA — are established as theorems. In the School Mathematics Study Group system SAS is taken as one (#15) of 22 postulates.
AAS (Angle-Angle-Side): Two triangles are congruent if a pair of corresponding angles and a not-included side are equal, since the 3rd angle would have to be equal, and therefore the side would be included. This one is valid only in Euclidean geometry.
[edit] SSA: The potentially ambiguous case
The SSA condition (Side-Side-Angle) which specifies two sides and a non-included angle (also known as ASS (Angle-Side-Side)) does not always prove congruence.
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.
[edit] AAA
AAA (Angle-Angle-Angle) says nothing about the size of the two triangles and hence shows only similarity and not congruence. However, in spherical geometry and hyperbolic geometry this is sufficient for congruence.
[edit] See also
[edit] External links
- The SSS
- The SSA
- Interactive animations demonstrating Congruent angles, Congruent line segments, Congruent triangles, Congruent polygons

