Difference between revisions of "Congruent (geometry)"

(intro)
Line 3: Line 3:
  
 
Two [[geometry | geometric]] [[figure]]s are congruent if one of them can be turned and/or flipped and placed exactly on top of the other, with all parts lining up perfectly with no parts on either figure left over.  In plain language, two objects are congruent if they have the same size and shape.
 
Two [[geometry | geometric]] [[figure]]s are congruent if one of them can be turned and/or flipped and placed exactly on top of the other, with all parts lining up perfectly with no parts on either figure left over.  In plain language, two objects are congruent if they have the same size and shape.
 
  
 
[[Image:reflection.PNG|thumb|right|100px|100px|A collection of isometries.]]
 
[[Image:reflection.PNG|thumb|right|100px|100px|A collection of isometries.]]
Line 10: Line 9:
  
 
Two [[geometry | geometric]] objects are '''congruent''' if one can be transformed into the other by an [[isometry]], such as a [[translation]], [[rotation]], [[reflection]] or some combination thereof.
 
Two [[geometry | geometric]] objects are '''congruent''' if one can be transformed into the other by an [[isometry]], such as a [[translation]], [[rotation]], [[reflection]] or some combination thereof.
 +
 +
== Axioms ==
 +
 +
'''IV, I.''' If <math>A</math>, <math>B</math> are two points on a straight line <math>a</math>, and if <math>A'</math> is a point upon the same or another straight line <math>a'</math>, then, upon a given side of <math>A'</math> on the straight line <math>a'</math>, we can always find one and only one point <math>B'</math> so that the segment <math>AB</math> (or <math>BA</math>) is congruent to the segment <math>A'B'</math>. We indicate this relation by writing
 +
<cmath>\overline{AB}\cong\overline{A'B'}.</cmath>
 +
Every segment is congruent to itself; that is, we always have
 +
<cmath>\overline{AB}\cong\overline{AB}.</cmath>
 +
 +
'''IV, 2.''' If a segment <math>\overline{AB}</math> is congruent to the segment <math>\overline{A'B'}</math> and also to the segment <math>\overline{A''B''}</math>, then the segment <math>\overline{A'B'}</math> is congruent to the segment <math>\overline{A''B''}</math>; that is, if <math>\overline{AB}\cong\overline{A'B}</math> and <math>\overline{AB}\cong\overline{A''B''}</math>, then <math>\overline{A'B'}\cong\overline{A''B''}</math>.
 +
 +
'''IV, 3.''' Let <math>\overline{AB}</math> and <math>\overline{BC}</math> be two segments of a straight line <math>a</math> which have no points in common aside from the point <math>B</math>, and, furthermore, let <math>\overline{A'B'}</math> and <math>\overline{B'C'}</math> be two segments of the same or of another straight line <math>a'</math> having, likewise, no point other than <math>B'</math> in common.  Then, if <math>\overline{AB}\cong\overline{A'B'}</math> and <math>\overline{BC}\cong\overline{B'C'}</math>, we have <math>\overline{AC}\cong\overline{A'C'}</math>.
 +
 +
'''IV, 4.''' Let an angle <math>(h,k)</math> be given in the plane <math>\alpha</math> and let a straight line <math>a'</math> be given in a plane <math>\alpha'</math>. Suppose also that, in the plane <math>\alpha</math>, a definite side of the straight line <math>a'</math> be assigned. Denote by <math>h'</math> a half-ray of the straight line <math>a'</math> emanating from a point <math>O'</math> of this line. Then in the plane <math>\alpha'</math> there is one and only one half-ray <math>k'</math> such that the angle <math>(h,k)</math>, or <math>(k,h)</math>, is congruent to the angle <math>(h',k')</math> and at the same time all interior points of the angle <math>(h',k')</math> lie upon the given side of <math>a'</math>. We express this relation by means of the notation
 +
<cmath>\angle (h,k) \cong \angle (h',k')</cmath>
 +
Every angle is congruent to itself; that is,
 +
<cmath>\angle (h,k) \cong \angle (h,k)</cmath>
 +
or
 +
<cmath>\angle (h,k) \cong \angle (k,h)</cmath>
 +
 +
'''IV, 5.''' If the angle <math>(h,k)</math> is congruent to the angle <math>(h',k')</math> and to the angle <math>(h'',k'')</math>, then the angle <math>(h',k')</math> is congruent to the angle <math>(h'',k'')</math>; that is to say, if <math>\angle (h, k) \cong \angle (h', k')</math> and
 +
<math>\angle (h, k) \equiv \angle (h'',k'')</math>, then <math>\angle (h',k') \cong \angle (h'',k'')</math>.
 +
 +
'''IV, 6.''' If, in the two triangles <math>ABC</math> and <math>A'B'C'</math> the congruences
 +
<cmath>\overline{AB}\cong\overline{A'B'}, \: \overline{AC}\cong\overline{A'C'}, \: \angle BAC\cong\angle B'A'C'</cmath>
 +
hold, then the congruences
 +
<cmath>\angle ABC\cong\angle A'B'C' \:\mbox{and}\; \angle ACB\cong\angle A'C'B'</cmath>
 +
also hold.
  
 
== See also ==
 
== See also ==

Revision as of 23:09, 14 November 2012

Congruency is a property of multiple geometric figures.

Intuitive Definition

Two geometric figures are congruent if one of them can be turned and/or flipped and placed exactly on top of the other, with all parts lining up perfectly with no parts on either figure left over. In plain language, two objects are congruent if they have the same size and shape.

A collection of isometries.

Technical Definition

Two geometric objects are congruent if one can be transformed into the other by an isometry, such as a translation, rotation, reflection or some combination thereof.

Axioms

IV, I. If $A$, $B$ are two points on a straight line $a$, and if $A'$ is a point upon the same or another straight line $a'$, then, upon a given side of $A'$ on the straight line $a'$, we can always find one and only one point $B'$ so that the segment $AB$ (or $BA$) is congruent to the segment $A'B'$. We indicate this relation by writing \[\overline{AB}\cong\overline{A'B'}.\] Every segment is congruent to itself; that is, we always have \[\overline{AB}\cong\overline{AB}.\]

IV, 2. If a segment $\overline{AB}$ is congruent to the segment $\overline{A'B'}$ and also to the segment $\overline{A''B''}$, then the segment $\overline{A'B'}$ is congruent to the segment $\overline{A''B''}$; that is, if $\overline{AB}\cong\overline{A'B}$ and $\overline{AB}\cong\overline{A''B''}$, then $\overline{A'B'}\cong\overline{A''B''}$.

IV, 3. Let $\overline{AB}$ and $\overline{BC}$ be two segments of a straight line $a$ which have no points in common aside from the point $B$, and, furthermore, let $\overline{A'B'}$ and $\overline{B'C'}$ be two segments of the same or of another straight line $a'$ having, likewise, no point other than $B'$ in common. Then, if $\overline{AB}\cong\overline{A'B'}$ and $\overline{BC}\cong\overline{B'C'}$, we have $\overline{AC}\cong\overline{A'C'}$.

IV, 4. Let an angle $(h,k)$ be given in the plane $\alpha$ and let a straight line $a'$ be given in a plane $\alpha'$. Suppose also that, in the plane $\alpha$, a definite side of the straight line $a'$ be assigned. Denote by $h'$ a half-ray of the straight line $a'$ emanating from a point $O'$ of this line. Then in the plane $\alpha'$ there is one and only one half-ray $k'$ such that the angle $(h,k)$, or $(k,h)$, is congruent to the angle $(h',k')$ and at the same time all interior points of the angle $(h',k')$ lie upon the given side of $a'$. We express this relation by means of the notation \[\angle (h,k) \cong \angle (h',k')\] Every angle is congruent to itself; that is, \[\angle (h,k) \cong \angle (h,k)\] or \[\angle (h,k) \cong \angle (k,h)\]

IV, 5. If the angle $(h,k)$ is congruent to the angle $(h',k')$ and to the angle $(h'',k'')$, then the angle $(h',k')$ is congruent to the angle $(h'',k'')$; that is to say, if $\angle (h, k) \cong \angle (h', k')$ and $\angle (h, k) \equiv \angle (h'',k'')$, then $\angle (h',k') \cong \angle (h'',k'')$.

IV, 6. If, in the two triangles $ABC$ and $A'B'C'$ the congruences \[\overline{AB}\cong\overline{A'B'}, \: \overline{AC}\cong\overline{A'C'}, \: \angle BAC\cong\angle B'A'C'\] hold, then the congruences \[\angle ABC\cong\angle A'B'C' \:\mbox{and}\; \angle ACB\cong\angle A'C'B'\] also hold.

See also