nLab congruence in geometry

Two triangles in Eucledean plane are said to be congruent if their corresponding sides are equal, a=aa' = a, b=bb' = b, c=cc' = c, and the corresponding angles are also equal, α=α\alpha'=\alpha, β=β\beta' = \beta i γ=γ\gamma' = \gamma.

It appears that two triangles are congruent iff there is an isometry of the plane which sends one onto another bijectively (for this it is sufficient to send the vertices to vertices, as every isometry is a bijection and it sends convex hulls onto convex hulls). Such an isometry is unique because if there are two, say gg and hh then h 1gh^{-1}\circ g is an isometry fixing the first triangle and the only isometry of the plane fixing three noncolinear points is the identity.

This motivates how to define congruence of more complicated figures: two plane figures are congruent if there is an isometry sending one onto another bijectively; similarly for angles. For oriented angles and oriented figures we need to consider just isometries preserving orientation. In the plane these are isometries which can be represented as a composition of an even number of reflections.

Related pages: axioms of plane geometry

category: geometry

Created on April 27, 2016 at 23:04:18. See the history of this page for a list of all contributions to it.