Centro Radical

Teoría

El centro radical es el punto único asociado a tres circunferencias donde la potencia del punto respecto a las tres circunferencias es igual. Geométricamente, es el punto donde se cruzan los tres ejes radicales de las circunferencias tomadas por pares. Si tienes tres circunferencias $\omega_1, \omega_2, \omega_3$ con centros no colineales, el eje radical de $\omega_1$ y $\omega_2$, el eje radical de $\omega_2$ y $\omega_3$, y el eje radical de $\omega_3$ y $\omega_1$ se cortan en este mismo punto. Si los centros de las tres circunferencias están alineados, los ejes radicales son paralelos y el centro radical no está definido (o puedes considerar que está en el infinito).

Este concepto es una herramienta muy poderosa en la geometría de olimpiadas, especialmente para demostrar que tres rectas pasan por el mismo punto (concurrencia). Como el eje radical es el lugar geométrico de los puntos con la misma potencia, encontrar el centro radical a menudo simplifica problemas complejos de lugares geométricos a solo identificar un punto de intersección. Por ejemplo, si tres circunferencias se cortan entre sí, sus cuerdas comunes son sus ejes radicales; por lo tanto, las tres cuerdas comunes son concurrentes. Esta suele ser la forma más rápida de demostrar que tres rectas se encuentran en un punto en configuraciones complicadas de circunferencias.

Un detalle geométrico clave es que el centro radical es el centro de una única circunferencia (que llamamos circunferencia radical) que corta a las tres circunferencias dadas de forma ortogonal. Esta existe siempre que el centro radical esté fuera de las tres circunferencias (es decir, que la potencia sea positiva). Esta propiedad conecta la potencia de un punto con la geometría de inversión, lo que permite soluciones elegantes para problemas que involucran ortogonalidad y sistemas coaxiales.

Fórmulas Clave

Supón que tienes tres circunferencias $\omega_1, \omega_2, \omega_3$ con centros $O_1, O_2, O_3$ y radios $r_1, r_2, r_3$ respectivamente. Usa $\mathcal{P}(P, \omega)$ para la potencia del punto $P$ respecto a la circunferencia $\omega$, que definimos como $d^2 - r^2$ donde $d$ es la distancia de $P$ al centro.

Definición del Centro Radical $K$: El punto $K$ cumple que: $$ \mathcal{P}(K, \omega_1) = \mathcal{P}(K, \omega_2) = \mathcal{P}(K, \omega_3) $$ $$ KO_1^2 - r_1^2 = KO_2^2 - r_2^2 = KO_3^2 - r_3^2 $$

Circunferencia Radical: Si $k = \mathcal{P}(K, \omega_i) > 0$, la circunferencia con centro en $K$ y radio $R = \sqrt{k}$ es ortogonal a $\omega_1, \omega_2,$ y $\omega_3$.

Coordenadas Cartesianas: Si defines las circunferencias con las ecuaciones $x^2 + y^2 + D_i x + E_i y + F_i = 0$ para $i=1,2,3$, los ejes radicales son ecuaciones lineales que obtienes al restar las ecuaciones de las circunferencias por pares. El centro radical $(x,y)$ es la solución al sistema: $$ (D_1 - D_2)x + (E_1 - E_2)y + (F_1 - F_2) = 0 $$ $$ (D_2 - D_3)x + (E_2 - E_3)y + (F_2 - F_3) = 0 $$

Demostración

Teorema: Los ejes radicales de tres circunferencias con centros no colineales son concurrentes.

Demostración: Toma las tres circunferencias $\omega_1, \omega_2,$ y $\omega_3$. Llama $\ell_{1,2}$ al eje radical de $\omega_1$ y $\omega_2$. Llama $\ell_{2,3}$ al eje radical de $\omega_2$ y $\omega_3$. Llama $\ell_{3,1}$ al eje radical de $\omega_3$ y $\omega_1$.

Paso 1: Existencia de la intersección El eje radical de dos circunferencias es una recta perpendicular a la línea que une sus centros. Así que, $\ell_{1,2} \perp O_1O_2$ y $\ell_{2,3} \perp O_2O_3$. Como los centros $O_1, O_2, O_3$ no son colineales, las rectas $O_1O_2$ y $O_2O_3$ no son paralelas. Por lo tanto, sus perpendiculares $\ell_{1,2}$ y $\ell_{2,3}$ tampoco son paralelas y tienen que cortarse en un único punto $K$.

Paso 2: Igualdad de potencias Como $K$ está en el eje radical $\ell_{1,2}$, la potencia de $K$ respecto a $\omega_1$ es igual a la potencia de $K$ respecto a $\omega_2$: $$ \mathcal{P}(K, \omega_1) = \mathcal{P}(K, \omega_2) $$

Como $K$ está en el eje radical $\ell_{2,3}$, la potencia de $K$ respecto a $\omega_2$ es igual a la potencia de $K$ respecto a $\omega_3$: $$ \mathcal{P}(K, \omega_2) = \mathcal{P}(K, \omega_3) $$

Paso 3: Transitividad Por la propiedad transitiva de la igualdad, si juntas los resultados del Paso 2 tienes que: $$ \mathcal{P}(K, \omega_1) = \mathcal{P}(K, \omega_3) $$

Paso 4: Conclusión El lugar geométrico de los puntos $X$ tales que $\mathcal{P}(X, \omega_1) = \mathcal{P}(X, \omega_3)$ es, por definición, el eje radical $\ell_{3,1}$. Como $\mathcal{P}(K, \omega_1) = \mathcal{P}(K, \omega_3)$, el punto $K$ a fuerza tiene que estar en $\ell_{3,1}$.

Por lo tanto, los tres ejes radicales $\ell_{1,2}, \ell_{2,3},$ y $\ell_{3,1}$ son concurrentes en el punto $K$. $\square$