Question

откуда берётся обведённая формула?

Answer 1

АС касается окружности в точке Р.
СР+СК=АС+СД-(АР+ДК)
Касательные к окружности, проведённые из одной точки, равны.
СР=СК, АР=АФ, ДФ=ДК.
АД=АФ+ДФ=АР+ДК, следовательно СК=(АС+СД-АД)/2