Для доказательства равенства OH и OS, рассмотрим треугольники OKL и OMN.
Следовательно, треугольники OKL и OMN равны по трем сторонам (III признак равенства треугольников).
Из равенства треугольников OKL и OMN следует равенство углов между радиусами и хордами: ∠OKL = ∠OMN и ∠OLK = ∠ONM.
Теперь рассмотрим треугольники OKH и OOS. OH и OS - перпендикуляры, опущенные на хорды KL и MN соответственно, а значит, они являются высотами в треугольниках OKL и OMN. Поскольку треугольники OKL и OMN равны, и высоты, проведенные к соответствующим сторонам, также равны, то OH = OS.
Отсюда следует, что OH = OS.