Треугольники ANO и KCO равны по гипотенузе и острому углу (AON=COK - вертикальные) => AN=CK

Треугольники ONB=OKB (OB - общая, ON=OK) => BN=BK

Из всего этого следует, что AN+NB=CR+KB => AB=AC