Congruence (geometry)

Last updated

An example of congruence. The two triangles on the left are congruent, while the third is similar to them. The last triangle is neither congruent nor similar to any of the others. Congruence permits alteration of some properties, such as location and orientation, but leaves others unchanged, like distances and angles. The unchanged properties are called invariants. Congruent non-congruent triangles.svg
An example of congruence. The two triangles on the left are congruent, while the third is similar to them. The last triangle is neither congruent nor similar to any of the others. Congruence permits alteration of some properties, such as location and orientation, but leaves others unchanged, like distances and angles. The unchanged properties are called invariants.

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]

Contents

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.

This diagram illustrates the geometric principle of angle-angle-side triangle congruence: given triangle ABC and triangle A'B'C', triangle ABC is congruent with triangle A'B'C' if and only if: angle CAB is congruent with angle C'A'B', and angle ABC is congruent with angle A'B'C', and BC is congruent with B'C'. Note hatch marks are used here to show angle and side equalities. Angle-angle-side triangle congruence.svg
This diagram illustrates the geometric principle of angle-angle-side triangle congruence: given triangle ABC and triangle A'B'C', triangle ABC is congruent with triangle A'B'C' if and only if: angle CAB is congruent with angle C'A'B', and angle ABC is congruent with angle A'B'C', and BC is congruent with B'C'. Note hatch marks are used here to show angle and side equalities.

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.

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

The orange and green quadrilaterals are congruent; the blue is not congruent to them. All three have the same perimeter and area. (The ordering of the sides of the blue quadrilateral is "mixed" which results in two of the interior angles and one of the diagonals not being congruent.) Quadrilateral congruence.png
The orange and green quadrilaterals are congruent; the blue is not congruent to them. All three have the same perimeter and area. (The ordering of the sides of the blue quadrilateral is "mixed" which results in two of the interior angles and one of the diagonals not being congruent.)

For two polygons to be congruent, they must have an equal number of sides (and hence an equal numberthe same numberof 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:

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:

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.

The shape of a triangle is determined up to congruence by specifying two sides and the angle between them (SAS), two angles and the side between them (ASA) or two angles and a corresponding adjacent side (AAS). Specifying two sides and an adjacent angle (SSA), however, can yield two distinct possible triangles. Congruent triangles.svg
The shape of a triangle is determined up to congruence by specifying two sides and the angle between them (SAS), two angles and the side between them (ASA) or two angles and a corresponding adjacent side (AAS). Specifying two sides and an adjacent angle (SSA), however, can yield two distinct possible triangles.

Determining congruence

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

The ASA postulate was contributed by Thales of Miletus (Greek). 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.

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,

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:

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 Rn are called congruent if there exists an isometry f : RnRn (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 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 (U+2261) is sometimes used.

See also

Related Research Articles

<span class="mw-page-title-main">Angle</span> Figure formed by two rays meeting at a common point

In Euclidean geometry, an angle is the figure formed by two rays, called the sides of the angle, sharing a common endpoint, called the vertex of the angle. Angles formed by two rays lie in the plane that contains the rays. Angles are also formed by the intersection of two planes. These are called dihedral angles. Two intersecting curves may also define an angle, which is the angle of the rays lying tangent to the respective curves at their point of intersection.

<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. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is constant. The distance between any point of the circle and the centre is called the radius. Usually, the radius is required to be a positive number. A circle with is a degenerate case. This article is about circles in Euclidean geometry, and, in particular, the Euclidean plane, except where otherwise noted.

<span class="mw-page-title-main">Euclidean geometry</span> Mathematical model of the physical space

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.

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

A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices A, B, and C is denoted .

<span class="mw-page-title-main">Similarity (geometry)</span> Same shape, up to a scaling

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

<span class="mw-page-title-main">Rectangle</span> Quadrilateral with four right angles

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 occasionally 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 elementary 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">Ceva's theorem</span> Geometric relation between line segments from a triangles vertices and their intersection

In Euclidean geometry, Ceva's theorem is a theorem about triangles. Given a triangle ABC, let the lines AO, BO, CO be drawn from the vertices to a common point O, to meet opposite sides at D, E, F respectively. Then, using signed lengths of segments,

<span class="mw-page-title-main">Altitude (triangle)</span> Perpendicular line segment from a triangles side to opposite vertex

In geometry, an altitude of a triangle is a line segment through a vertex and perpendicular to a line containing the base. This line containing the opposite side is called the extended base of the altitude. The intersection of the extended base and the altitude is called the foot of the altitude. The length of the altitude, often simply called "the altitude", is the distance between the extended base and the vertex. The process of drawing the altitude from the vertex to the foot is known as dropping the altitude at that vertex. It is a special case of orthogonal projection.

<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.

<span class="mw-page-title-main">Taxicab geometry</span> Type of metric geometry

A taxicab geometry or a Manhattan geometry is a geometry whose usual distance function or metric of Euclidean geometry is replaced by a new metric in which the distance between two points is the sum of the absolute differences of their Cartesian coordinates. The taxicab metric is also known as rectilinear distance, L1 distance, L1 distance or norm, snake distance, city block distance, Manhattan distance or Manhattan length. The latter names refer to the rectilinear street layout on the island of Manhattan, where the shortest path a taxi travels between two points is the sum of the absolute values of distances that it travels on avenues and on streets.

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.

<span class="mw-page-title-main">Hyperbolic triangle</span> Triangle in hyperbolic geometry

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.

<span class="mw-page-title-main">Circumscribed circle</span> Circle that passes through all the vertices of a polygon

In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.

Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry that is formulable in first-order logic with identity, and requiring no set theory. Other modern axiomizations of Euclidean geometry are Hilbert's axioms and Birkhoff's axioms.

The exterior angle theorem is Proposition 1.16 in Euclid's Elements, which states that the measure of an exterior angle of a triangle is greater than either of the measures of the remote interior angles. This is a fundamental result in absolute geometry because its proof does not depend upon the parallel postulate.

<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. This theorem can be written as an equation relating the lengths of the sides a, b and the hypotenuse c, often called the Pythagorean equation:

References

  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.
  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".