Докажем, что прямые ОК и АВ параллельны, используя свойства биссектрисы треугольника.
Так как ОК является биссектрисой угла ВОС, то угол ВОК равен углу ВОС.
Также, так как AO = OK, то по свойству биссектрисы угла ВАО угол ВАО равен углу ОАК.
Из этих двух равенств следует, что угол ВАО равен углу ВОК.
По свойству параллельных прямых, если у двух прямых АВ и ОК соответствующие углы равны, то эти прямые параллельны.
Таким образом, прямые ОК и АВ параллельны.
