Так как ∠ А = ∠ А1, то треугольник ABC можно наложить на треугольник А1В1С1 так, что вершина А совместится с вершиной А1, а стороны АВ и АС наложатся соответственно на лучи А1В1 и A1C1. Поскольку АВ = A1B1, АС = А1С1, то сторона АВ совместится со стороной А1В1 а сторона АС — со стороной А1C1; в частности, совместятся точки В и В1, С и C1. Следовательно, совместятся стороны ВС и В1С1. Итак, треугольники ABC и А1В1С1 полностью совместятся, значит, они равны. Что и требовалось доказать.
