Пусть Д - точка пересечения ОВ и АС. Треугольник АОС равнобедренный,
т.к. АО=ОС=радиус. Тогда ОД - не только высота, но и биссектриса, т.е.
углы АОВ и ВОС равны. ВО- отщая сторона. Тогда треугольники АВО и ВОС
равны по 2-м сторонам и углу между ними. Тогда АВ=ВС