ВС=АВ=А1В1=В1С1 отсюда
ВС=В1С1; АВ=А1В1
Теперь рассмотрим треугольники АВН и А1В1Н1
АВ=А1В1
НВ=ВС:2=В1С1:2=В1С1
АН=А1Н1
Следовательно АВН=А1В1С1 => угВ=угВ1
Вернемся к АВС И А1В1С1
имеем
АВ=А1В1
ВС=В1С1
угИ=угВ1
Следовательно АВС=А1В1С1 по двусм сторонам и углу меж ними