Problem #DES-270124

Descriptions

Problem

In a lot of geometric problems the main idea is to find congruent figures. We call two polygons congruent if all their corresponding sides and angles are equal. Triangles are the easiest sort of polygons to deal with. Assume we are given two triangles \(ABC\) and \(A_1B_1C_1\) and we need to check whether they are congruent or not, some rules that help are:

  • If all three corresponding sides of the triangles are equal, then the triangles are congruent.

  • If, in the given triangles \(ABC\) and \(A_1B_1C_1\), two corresponding sides \(AB=A_1B_1\), \(AC=A_1C_1\) and the angles between them \(\angle BAC = \angle B_1A_1C_1\) are equal, then the triangles are congruent.

  • If the sides \(AB=A_1B_1\) and pairs of the corresponding angles next to them \(\angle CAB = \angle C_1A_1B_1\) and \(\angle CBA = \angle C_1B_1A_1\) are equal, then the triangles are congruent.

At a previous geometry lesson we have derived these rules from the axioms of Euclidean geometry, so now we can just use them.