Congruent (geometry)
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.
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 ,
are two points on a straight line
, and if
is a point upon the same or another straight line
, then, upon a given side of
on the straight line
, we can always find one and only one point
so that the segment
(or
) is congruent to the segment
. We indicate this relation by writing
Every segment is congruent to itself; that is, we always have
IV, 2. If a segment is congruent to the segment
and also to the segment
, then the segment
is congruent to the segment
; that is, if
and
, then
.
IV, 3. Let and
be two segments of a straight line
which have no points in common aside from the point
, and, furthermore, let
and
be two segments of the same or of another straight line
having, likewise, no point other than
in common. Then, if
and
, we have
.
IV, 4. Let an angle be given in the plane
and let a straight line
be given in a plane
. Suppose also that, in the plane
, a definite side of the straight line
be assigned. Denote by
a half-ray of the straight line
emanating from a point
of this line. Then in the plane
there is one and only one half-ray
such that the angle
, or
, is congruent to the angle
and at the same time all interior points of the angle
lie upon the given side of
. We express this relation by means of the notation
Every angle is congruent to itself; that is,
or
IV, 5. If the angle is congruent to the angle
and to the angle
, then the angle
is congruent to the angle
; that is to say, if
and
, then
.
IV, 6. If, in the two triangles and
the congruences
hold, then the congruences
also hold.