(дополнительное построение)

в треугольнике АОС проведем высоту ОL к АС

OL⊥AC

поскольку АО = ОС то есть треугольник АОС равнобедренный

=>

OL будет и биссектрисой

Вписанный угол АВС равен половине центрального угла АОС (или дуги АС)

и равен углу АОL

∠АВС = 1/2 ∠АОС

=>

прямоугольные треугольники АВН и АОL имеют по одному равному острому углу

=>

равны и вторые острые углы