Проверил непосредственным вычислением. Всё сошлось. В процессе вычислений бросилось в глаза следующее: точка

не зависит от положения точки

, при этом

равен утроенному

(

--- центр данной окружности). Скорее всего, это можно обнаружить и геометрически, но это уже для любителей геометрии.