Расстоянием от точки до прямой является длина перпендикуляра, проведенного к прямой. Поэтому, OE перпендикулярен AB, а OF перпендикулярен CD. Точки E и F делят свои хорды пополам (по свойству хорды)
Получается, что треугольники OEB и OCF - прямоугольные, EB=AB/2 и CF=CD/2.
По теореме Пифагора: