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

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

, при этом 

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

 (

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