как прямоугольные треугольники с общим острым углом О и равными гипотенузами ОА и ОВ (из условия).
как прямоугольные с равными углами В и А (из пункта 1) и катетами NB и KA.
по трем сторонам (из пунктов 2, 4 и OC - общая сторона). Значит, равны и соответствующие углы, т.е.
, а из этого следует, что ОС является биссектрисой угла О.