Дано:
∠A=∠A1,∠B=∠B1
BC=B1C1
Доказательство:
На луче BA отложим BD=B1A1
в △DBC и △A1B1C1:BD=B1A1,
BC=B1C1,∠B=∠B1⇒равны (1-й пр.)
⇒∠BDC=∠A1=∠A
Пусть D=A. Два случая:
1) D между B и A:∠BDC — смежный с ∠ADC
в △ADC⇒∠BDC>∠A(задача 178)−−противоречие
2) A между B и D:∠A — смежный с ∠DAC
⇒∠A>∠ADC=∠BDC=∠A−−противоречие
⇒D совпадает с A⇒AB=A1B1
⇒△ABC=△A1B1C1
Что и требовалось доказать: △ABC=△A1B1C1.