уравнение окружности, с центром в начале координат:

что бы найти радиус, рассмотрим прямоугольный треугольник с катетами 12 и 5 (так как точка лежит на окружности)

радиус окружности равен 13, но так как в формуде он нужен в квадрате, то извлечение не требуется.
Уравнение: 