Для доказательства равенства треугольников ( ABC ) и ( A_1B_1C_1 ) по данным ( \angle A = \angle A_1 ), ( AB = A_1B_1 ) и ( AC = A_1C_1 ), мы можем использовать признак равенства треугольников по двум сторонам и углу между ними. Так как угол ( A ) равен углу ( A_1 ), и стороны ( AB ) и ( AC ) соответственно равны сторонам ( A_1B_1 ) и ( A_1C_1 ), то треугольник ( ABC ) равен треугольнику ( A_1B_1C_1 ).
Теперь рассмотрим точки ( K ) и ( K_1 ), отмеченные на сторонах ( BC ) и ( B_1C_1 ) соответственно, такие что ( CK = C_1K_1 ). Ввиду равенства треугольников ( ABC ) и ( A_1B_1C_1 ), соответствующие стороны этих треугольников равны. Следовательно, ( BC = B_1C_1 ). Так как ( CK = C_1K_1 ), то и ( BK = B_1K_1 ) (поскольку ( BC - CK = B_1C_1 - C_1K_1 )).
Теперь у нас есть, что в треугольниках ( ABK ) и ( A_1B_1K_1 ) выполнены следующие равенства: ( AB = A_1B_1 ), ( BK = B_1K_1 ), и углы ( \angle ABK = \angle A_1B_1K_1 ), так как они равны углам ( \angle ABC ) и ( \angle A_1B_1C_1 ), которые равны, поскольку треугольники ( ABC ) и ( A_1B_1C_1 ) равны.
Таким образом, треугольники ( ABK ) и ( A_1B_1K_1 ) равны по двум сторонам и углу между ними, что и требовалось доказать.