Рассмотрим треугольники АВС и А1В1С1, у которых АВ=А1В1, угол А= углу А1, угол В=углу В1. Докажем, что треугольник АВС=треугольнику А1В1С1.
Наложим треугольник АВС на треугольник А1В1С1, так, чтобы вершина А совместилась с вершиноу А1, сторона АВ совместилась с равной ей стороной А1В1, а вершины С и С1 оказались по одну сторону от прямой А1В1.
Так как угол А= углу А1 и угол В=углу В1, то сторона АС наложится на луч А1С1, а сторона ВС- на луч В1С1. Поэтому вершина С - общая точка сторон АС и ВС - окажется лежащей как на луче А1С1, так и на луче В1С1 и, следовательно, совместятся с общей точкой этих лучей - вершиной С. Значит совместятся стороны АС и А1С1, АС и В1С1.
Итак, треугольник АВС и А1В1С1 полностью совместятся, поэтому они равны. Теорема доказана.