Треугольники ANO и KCO равны по гипотенузе и острому углу (AON=COK - вертикальные) => AN=CK
Треугольники ONB=OKB (OB - общая, ON=OK) => BN=BK
Из всего этого следует, что AN+NB=CR+KB => AB=AC
