Постоянство суммы расстояний от точки

внутри окружности до окружности и до другой точки

равносильно постоянству разности расстояний от точки

до центра окружности

и до точки

. Т.е. внутри окружности должна наблюдаться часть одной из ветвей гиперболы, чьи фокусы находятся в точках

и

.