Problema Inciante
Sejam e
os pontos de interseção de
com a circunferência, onde
está entre
e
. Considere também, sem perda de generalidade
entre
e
.
Do quadrilátero ser inscritível, temos que
e daí os os triângulos
e
são semelhantes pois têm dois pares de ângulos iguais, o que implica em
. Agora ficou um pouco melhor, pois devemos calcular
e os dois termo dependem visivelmente de
e
.
Temos e
e daí
como queríamos.
O caso para quando o ponto está dentro da circunferência é extremamente similar, então o deixaremos para você treinar.
Problema Intermediário
Antes vamos ver um fato sobre... triângulos! Seja um triângulo e
o pé da perpendicular de
ao lado
. Veja que, por Pitágoras:
Subtraindo as duas equações ficamos com . Interpretando essa informação de um jeito interessante, vemos que, a diferença entre os quadrados das distâncias de
até
e até
só depende de onde está o pé da perpendicular baixada
à reta
. Desse modo, se dois pontos
têm todos a mesma diferença das distâncias ao quadrado até os pontos
e
(seja ela
) então todos pertencem à reta perpendicular ao lado
que passa pelo ponto
dessa reta tal que
.
Agora já podemos terminar o problema intermediário, pois, o que significa um ponto ter a mesma potência de ponto em relação a e a
? Significa que, sendo
e
os respectivos centros dessas circunferências e
e
os respectivos raios, o ponto
está no eixo radical se, e somente se,
. Logo, o lugar geométrico dos pontos com mesma potência de ponto relativa às duas circunferências é a reta perpendicular à reta
e que passa pelo ponto
sobre essa reta que satisfaz
, que é ainda um pouco mais específico do que o que queríamos provar.
Problema Avançado
Aqui cabe uma correção: Tal proposição é para o caso em que as três circunferências não têm seus centros colineares.
Talvez esse seja o problema mais rápido, pois é nada mais nada menos do que uma aplicação imediata dos problemas anteriores. Seja a interseção dos eixos radicais de {
} com {
}. Sabemos que tal interseção é de fato um ponto pois os dois eixos radicais são retas não paralelas (dado que os centros das circunferências não são colineares e que um eixo radical é perpendicular ao seu par de centros).
De estar no eixo radical de {
}, a potencia de ponto de
relativa a
e
é a mesma
De estar no eixo radical de {
}, a potencia de ponto de
relativa a
e
é a mesma
De e
, a a potencia de ponto de
relativa a
e
é a mesma
está no eixo radical de {
} e enfim concluímos que os três eixos radicais concorrem!