Sejam P e C pontos num plano e tome um círculo de centro
em C tal que P encontra-se fora do círculo. A distância de P até
o círculo (ou seja, o comprimento do trajeto mais curto de P a
um ponto do círculo) é obtida calculando-se o comprimento do
seguimento de reta: