Congruence (geometry)

Last updated May 15, 2024

In geometry, two figures or objects are congruent if they have the same shape and size, or if one has the same shape and size as the mirror image of the other.^[1]

More formally, two sets of points are called congruent if, and only if, one can be transformed into the other by an isometry, i.e., a combination of rigid motions, namely a translation, a rotation, and a reflection. This means that either object can be repositioned and reflected (but not resized) so as to coincide precisely with the other object. Therefore two distinct plane figures on a piece of paper are congruent if they can be cut out and then matched up completely. Turning the paper over is permitted.

In elementary geometry the word congruent is often used as follows.^[2] The word equal is often used in place of congruent for these objects.

Two line segments are congruent if they have the same length.
Two angles are congruent if they have the same measure.
Two circles are congruent if they have the same diameter.

In this sense, two plane figures are congruent implies that their corresponding characteristics are "congruent" or "equal" including not just their corresponding sides and angles, but also their corresponding diagonals, perimeters, and areas.

The related concept of similarity applies if the objects have the same shape but do not necessarily have the same size. (Most definitions consider congruence to be a form of similarity, although a minority require that the objects have different sizes in order to qualify as similar.)

Determining congruence of polygons

For two polygons to be congruent, they must have an equal number of sides (and hence an equal number—the same number—of vertices). Two polygons with n sides are congruent if and only if they each have numerically identical sequences (even if clockwise for one polygon and counterclockwise for the other) side-angle-side-angle-... for n sides and n angles.

Congruence of polygons can be established graphically as follows:

First, match and label the corresponding vertices of the two figures.
Second, draw a vector from one of the vertices of one of the figures to the corresponding vertex of the other figure. Translate the first figure by this vector so that these two vertices match.
Third, rotate the translated figure about the matched vertex until one pair of corresponding sides matches.
Fourth, reflect the rotated figure about this matched side until the figures match.

If at any time the step cannot be completed, the polygons are not congruent.

Congruence of triangles

Two triangles are congruent if their corresponding sides are equal in length, and their corresponding angles are equal in measure.

Symbolically, we write the congruency and incongruency of two triangles $△ ABC$ and $△ A'B'C'$ as follows:

ABC\cong A'B'C'

ABC\ncong A'B'C'

In many cases it is sufficient to establish the equality of three corresponding parts and use one of the following results to deduce the congruence of the two triangles.

Determining congruence

Sufficient evidence for congruence between two triangles in Euclidean space can be shown through the following comparisons:

SAS (side-angle-side): If two pairs of sides of two triangles are equal in length, and the included angles are equal in measurement, then the triangles are congruent.
SSS (side-side-side): If three pairs of sides of two triangles are equal in length, then the triangles are congruent.
ASA (angle-side-angle): If two pairs of angles of two triangles are equal in measurement, and the included sides are equal in length, then the triangles are congruent.

The ASA postulate is attributed to Thales of Miletus. In most systems 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): If two pairs of angles of two triangles are equal in measurement, and a pair of corresponding non-included sides are equal in length, then the triangles are congruent. AAS is equivalent to an ASA condition, by the fact that if any two angles are given, so is the third angle, since their sum should be 180°. ASA and AAS are sometimes combined into a single condition, AAcorrS – any two angles and a corresponding side.^[3]
RHS (right-angle-hypotenuse-side), also known as HL (hypotenuse-leg): If two right-angled triangles have their hypotenuses equal in length, and a pair of other sides are equal in length, then the triangles are congruent.

Side-side-angle

The SSA condition (side-side-angle) which specifies two sides and a non-included angle (also known as ASS, or angle-side-side) does not by itself prove congruence. In order to show congruence, additional information is required such as the measure of the corresponding angles and in some cases the lengths of the two pairs of corresponding sides. There are a few possible cases:

If two triangles satisfy the SSA condition and the length of the side opposite the angle is greater than or equal to the length of the adjacent side (SSA, or long side-short side-angle), then the two triangles are congruent. The opposite side is sometimes longer when the corresponding angles are acute, but it is always longer when the corresponding angles are right or obtuse. Where the angle is a right angle, also known as the hypotenuse-leg (HL) postulate or the right-angle-hypotenuse-side (RHS) condition, the third side can be calculated using the Pythagorean theorem thus allowing the SSS postulate to be applied.

If two triangles satisfy the SSA condition and the corresponding angles are acute and the length of the side opposite the angle is equal to the length of the adjacent side multiplied by the sine of the angle, then the two triangles are congruent.

If two triangles satisfy the SSA condition and the corresponding angles are acute and the length of the side opposite the angle is greater than the length of the adjacent side multiplied by the sine of the angle (but less than the length of the adjacent side), then the two triangles cannot be shown to be congruent. This is the ambiguous case and two different triangles can be formed from the given information, but further information distinguishing them can lead to a proof of congruence.

Angle-angle-angle

In Euclidean geometry, AAA (angle-angle-angle) (or just AA, since in Euclidean geometry the angles of a triangle add up to 180°) does not provide information regarding the size of the two triangles and hence proves only similarity and not congruence in Euclidean space.

However, in spherical geometry and hyperbolic geometry (where the sum of the angles of a triangle varies with size) AAA is sufficient for congruence on a given curvature of surface.^[4]

CPCTC

This acronym stands for Corresponding Parts of Congruent Triangles are Congruent, which is an abbreviated version of the definition of congruent triangles.^[5]^[6]

In more detail, it is a succinct way to say that if triangles $ABC$ and $DEF$ are congruent, that is,

\triangle ABC\cong \triangle DEF,

with corresponding pairs of angles at vertices $A$ and $D$ ; $B$ and $E$ ; and $C$ and $F$ , and with corresponding pairs of sides $AB$ and $DE$ ; $BC$ and $EF$ ; and $CA$ and $FD$ , then the following statements are true:

{\overline {AB}}\cong {\overline {DE}}

{\overline {BC}}\cong {\overline {EF}}

{\overline {AC}}\cong {\overline {DF}}

\angle BAC\cong \angle EDF

\angle ABC\cong \angle DEF

\angle BCA\cong \angle EFD.

The statement is often used as a justification in elementary geometry proofs when a conclusion of the congruence of parts of two triangles is needed after the congruence of the triangles has been established. For example, if two triangles have been shown to be congruent by the SSS criteria and a statement that corresponding angles are congruent is needed in a proof, then CPCTC may be used as a justification of this statement.

A related theorem is CPCFC, in which "triangles" is replaced with "figures" so that the theorem applies to any pair of polygons or polyhedrons that are congruent.

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 states that two subsets A and B of Euclidean space Rⁿ are called congruent if there exists an isometry f : Rⁿ → Rⁿ (an element of the Euclidean group E(n)) with f(A) = B. Congruence is an equivalence relation.

Congruent conic sections

Two conic sections are congruent if their eccentricities and one other distinct parameter characterizing them are equal. Their eccentricities establish their shapes, equality of which is sufficient to establish similarity, and the second parameter then establishes size. Since two circles, parabolas, or rectangular hyperbolas always have the same eccentricity (specifically 0 in the case of circles, 1 in the case of parabolas, and ${\sqrt {2}}$ in the case of rectangular hyperbolas), two circles, parabolas, or rectangular hyperbolas need to have only one other common parameter value, establishing their size, for them to be congruent.

Congruent polyhedra

For two polyhedra with the same combinatorial type (that is, the same number E of edges, the same number of faces, and the same number of sides on corresponding faces), there exists a set of E measurements that can establish whether or not the polyhedra are congruent.^[7]^[8] The number is tight, meaning that less than E measurements are not enough if the polyhedra are generic among their combinatorial type. But less measurements can work for special cases. For example, cubes have 12 edges, but 9 measurements are enough to decide if a polyhedron of that combinatorial type is congruent to a given regular cube.

Congruent triangles on a sphere

As with plane triangles, on a sphere two triangles sharing the same sequence of angle-side-angle (ASA) are necessarily congruent (that is, they have three identical sides and three identical angles).^[9] This can be seen as follows: One can situate one of the vertices with a given angle at the south pole and run the side with given length up the prime meridian. Knowing both angles at either end of the segment of fixed length ensures that the other two sides emanate with a uniquely determined trajectory, and thus will meet each other at a uniquely determined point; thus ASA is valid.

The congruence theorems side-angle-side (SAS) and side-side-side (SSS) also hold on a sphere; in addition, if two spherical triangles have an identical angle-angle-angle (AAA) sequence, they are congruent (unlike for plane triangles).^[9]

The plane-triangle congruence theorem angle-angle-side (AAS) does not hold for spherical triangles.^[10] As in plane geometry, side-side-angle (SSA) does not imply congruence.

Notation

A symbol commonly used for congruence is an equals symbol with a tilde above it, $≅$ , corresponding to the Unicode character 'approximately equal to' (U+2245). In the UK, the three-bar equal sign $\equiv$ (U+2261) is sometimes used.

Related Research Articles

In geometry, a bipyramid, dipyramid, or double pyramid is a polyhedron formed by fusing two pyramids together base-to-base. The polygonal base of each pyramid must therefore be the same, and unless otherwise specified the base vertices are usually coplanar and a bipyramid is usually symmetric, meaning the two pyramids are mirror images across their common base plane. When each apex of the bipyramid is on a line perpendicular to the base and passing through its center, it is a right bipyramid; otherwise it is oblique. When the base is a regular polygon, the bipyramid is also called regular.

<span class="mw-page-title-main">Circle</span> Simple curve of Euclidean geometry

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius.

Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry, Elements. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated earlier, Euclid was the first to organize these propositions into a logical system in which each result is proved from axioms and previously proved theorems.

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. The triangle's interior is a two-dimensional region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex.

<span class="mw-page-title-main">Similarity (geometry)</span> Property of objects which are scaled or mirrored versions of each other

In Euclidean geometry, two objects are similar if they have the same shape, or if one has the same shape as the mirror image of the other. More precisely, one can be obtained from the other by uniformly scaling, possibly with additional translation, rotation and reflection. This means that either object can be rescaled, repositioned, and reflected, so as to coincide precisely with the other object. If two objects are similar, each is congruent to the result of a particular uniform scaling of the other.

<span class="mw-page-title-main">Triangle inequality</span> Property of geometry, also used to generalize the notion of "distance" in metric spaces

In mathematics, the triangle inequality states that for any triangle, the sum of the lengths of any two sides must be greater than or equal to the length of the remaining side. This statement permits the inclusion of degenerate triangles, but some authors, especially those writing about elementary geometry, will exclude this possibility, thus leaving out the possibility of equality. If $x$ , $y$ , and $z$ are the lengths of the sides of the triangle, with no side being greater than $z$ , then the triangle inequality states that

In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal ; or a parallelogram containing a right angle. A rectangle with four sides of equal length is a square. The term "oblong" is used to refer to a non-square rectangle. A rectangle with vertices ABCD would be denoted as ABCD.

<span class="mw-page-title-main">Perpendicular</span> Relationship between two lines that meet at a right angle (90 degrees)

In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.

<span class="mw-page-title-main">Kite (geometry)</span> Quadrilateral symmetric across a diagonal

In Euclidean geometry, a kite is a quadrilateral with reflection symmetry across a diagonal. Because of this symmetry, a kite has two equal angles and two pairs of adjacent equal-length sides. Kites are also known as deltoids, but the word deltoid may also refer to a deltoid curve, an unrelated geometric object sometimes studied in connection with quadrilaterals. A kite may also be called a dart, particularly if it is not convex.

<span class="mw-page-title-main">Parallelogram</span> Quadrilateral with two pairs of parallel sides

In Euclidean geometry, a parallelogram is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

<span class="mw-page-title-main">Equilateral triangle</span> Shape with three equal sides

In geometry, an equilateral triangle is square in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. It is also a regular polygon, so it is also referred to as a regular triangle.

<span class="mw-page-title-main">Isosceles triangle</span> Triangle with at least two sides congruent

In geometry, an isosceles triangle is a triangle that has two sides of equal length. Sometimes it is specified as having exactly two sides of equal length, and sometimes as having at least two sides of equal length, the latter version thus including the equilateral triangle as a special case. Examples of isosceles triangles include the isosceles right triangle, the golden triangle, and the faces of bipyramids and certain Catalan solids.

<span class="mw-page-title-main">Incenter</span> Center of the inscribed circle of a triangle

In geometry, the incenter of a triangle is a triangle center, a point defined for any triangle in a way that is independent of the triangle's placement or scale. The incenter may be equivalently defined as the point where the internal angle bisectors of the triangle cross, as the point equidistant from the triangle's sides, as the junction point of the medial axis and innermost point of the grassfire transform of the triangle, and as the center point of the inscribed circle of the triangle.

Taxicab geometry or Manhattan geometry is geometry where the familiar Euclidean distance is ignored, and the distance between two points is instead defined to be the sum of the absolute differences of their respective Cartesian coordinates, a distance function called the taxicab distance, Manhattan distance, or city block distance. The name refers to the island of Manhattan, or generically any planned city with a rectangular grid of streets, in which a taxicab can only travel along grid directions. In taxicab geometry, the distance between any two points equals the length of their shortest grid path. This different definition of distance also leads to a different definition of the length of a curve, for which a line segment between any two points has the same length as a grid path between those points rather than its Euclidean length.

<span class="mw-page-title-main">Concyclic points</span> Points on a common circle

In geometry, a set of points are said to be concyclic if they lie on a common circle. A polygon whose vertices are concyclic is called a cyclic polygon, and the circle is called its circumscribing circle or circumcircle. All concyclic points are equidistant from the center of the circle.

In geometry, the semiperimeter of a polygon is half its perimeter. Although it has such a simple derivation from the perimeter, the semiperimeter appears frequently enough in formulas for triangles and other figures that it is given a separate name. When the semiperimeter occurs as part of a formula, it is typically denoted by the letter $s$ .

In hyperbolic geometry, a hyperbolic triangle is a triangle in the hyperbolic plane. It consists of three line segments called sides or edges and three points called angles or vertices.

Tarski's axioms are an axiom system for Euclidean geometry, specifically for that portion of Euclidean geometry that is formulable in first-order logic with identity. As such, it does not require an underlying set theory. The only primitive objects of the system are "points" and the only primitive predicates are "betweenness" and "congruence". The system contains infinitely many axioms.

<span class="mw-page-title-main">Pythagorean theorem</span> Relation between sides of a right triangle

In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse is equal to the sum of the areas of the squares on the other two sides.

In spherical geometry, Lexell's theorem holds that every spherical triangle with the same surface area on a fixed base has its apex on a small circle, called Lexell's circle or Lexell's locus, passing through each of the two points antipodal to the two base vertices.

References

↑ Clapham, C.; Nicholson, J. (2009). "Oxford Concise Dictionary of Mathematics, Congruent Figures" (PDF). Addison-Wesley. p. 167. Archived from the original on 29 October 2013. Retrieved 2 June 2017.{{cite web}}: CS1 maint: bot: original URL status unknown (link)
↑ "Congruence". Math Open Reference. 2009. Retrieved 2 June 2017.
↑ Parr, H. E. (1970). Revision Course in School mathematics. Mathematics Textbooks Second Edition. G Bell and Sons Ltd. ISBN 0-7135-1717-4.
↑ Cornel, Antonio (2002). Geometry for Secondary Schools. Mathematics Textbooks Second Edition. Bookmark Inc. ISBN 971-569-441-1.
↑ Jacobs, Harold R. (1974), Geometry, W.H. Freeman, p. 160, ISBN 0-7167-0456-0 Jacobs uses a slight variation of the phrase
↑ "Congruent Triangles". Cliff's Notes. Retrieved 2014-02-04.
↑ Borisov, Alexander; Dickinson, Mark; Hastings, Stuart (March 2010). "A Congruence Problem for Polyhedra". American Mathematical Monthly . 117 (3): 232–249. arXiv: 0811.4197 . doi:10.4169/000298910X480081. S2CID 8166476.
↑ Creech, Alexa. "A Congruence Problem" (PDF). Archived from the original (PDF) on November 11, 2013.
1 2 Bolin, Michael (September 9, 2003). "Exploration of Spherical Geometry" (PDF). pp. 6–7. Archived (PDF) from the original on 2022-10-09.
↑ Hollyer, L. "Slide 89 of 112".

External links

The SSS at Cut-the-Knot
The SSA at Cut-the-Knot
Interactive animations demonstrating Congruent polygons, Congruent angles, Congruent line segments, Congruent triangles at Math Open Reference

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Clapham, C.; Nicholson, J. (2009). "Oxford Concise Dictionary of Mathematics, Congruent Figures" (PDF). Addison-Wesley. p. 167. Archived from the original on 29 October 2013. Retrieved 2 June 2017.{{cite web}}: CS1 maint: bot: original URL status unknown (link)

[2] "Congruence". Math Open Reference. 2009. Retrieved 2 June 2017.

[3] Parr, H. E. (1970). Revision Course in School mathematics. Mathematics Textbooks Second Edition. G Bell and Sons Ltd. ISBN 0-7135-1717-4.

[4] Cornel, Antonio (2002). Geometry for Secondary Schools. Mathematics Textbooks Second Edition. Bookmark Inc. ISBN 971-569-441-1.

[5] Jacobs, Harold R. (1974), Geometry, W.H. Freeman, p. 160, ISBN 0-7167-0456-0 Jacobs uses a slight variation of the phrase

[6] "Congruent Triangles". Cliff's Notes. Retrieved 2014-02-04.

[7] Borisov, Alexander; Dickinson, Mark; Hastings, Stuart (March 2010). "A Congruence Problem for Polyhedra". American Mathematical Monthly . 117 (3): 232–249. arXiv: 0811.4197 . doi:10.4169/000298910X480081. S2CID 8166476.

[8] Creech, Alexa. "A Congruence Problem" (PDF). Archived from the original (PDF) on November 11, 2013.

[Bolin-9] 1 2 Bolin, Michael (September 9, 2003). "Exploration of Spherical Geometry" (PDF). pp. 6–7. Archived (PDF) from the original on 2022-10-09.

[10] Hollyer, L. "Slide 89 of 112".

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]