Polar de un Punto

Teoría

La polar de un punto $P$ con respecto a una circunferencia $\omega$ (o más generalmente, una sección cónica) es una recta única $p$ que codifica la relación geométrica entre $P$ y $\omega$. Geométricamente, si $P$ está afuera de la circunferencia, la recta polar une los dos puntos de tangencia formados por las rectas trazadas desde $P$ a $\omega$. Si $P$ está sobre la circunferencia, la polar es simplemente la recta tangente en $P$. Si $P$ está adentro de la circunferencia, la polar es una recta que queda afuera de la circunferencia, perpendicular al radio que pasa por $P$.

Este concepto es fundamental en la geometría proyectiva porque establece una dualidad entre puntos y rectas. El mapeo $P \to p$ te permite traducir problemas que involucran puntos colineales en problemas de rectas concurrentes, y viceversa. Una propiedad crucial de esta transformación es que preserva la incidencia: si un punto $A$ está en la polar de $B$, entonces $B$ tiene que estar en la polar de $A$ (Teorema de La Hire). Esta simetría es una herramienta muy potente en la geometría de olimpiada para resolver problemas de configuración complejos con cuadriláteros cíclicos y ortocentros.

La definición más rigurosa de la polar involucra la división armónica. Si tienes un punto $P$ y una circunferencia $\omega$, una recta que pase por $P$ corta a $\omega$ en los puntos $A$ y $B$. El lugar geométrico de todos los puntos $Q$ en esas rectas que cumplen la condición armónica $(P, Q; A, B) = -1$ es una línea recta. Esta recta es la polar de $P$. Esta definición unifica los casos donde $P$ está adentro, afuera o sobre la circunferencia.

Fórmulas Clave

1. Definición Geométrica (Inversión) Sea $\omega$ una circunferencia con centro $O$ y radio $R$. Sea $P$ el polo ($P \neq O$). La polar de $P$ es la recta perpendicular a $OP$ que pasa por el punto $P'$ en el rayo $OP$ tal que: $$OP \cdot OP' = R^2$$ Aquí, $P'$ es el inverso geométrico de $P$ con respecto a $\omega$.

2. Coordenadas Cartesianas Si $\omega$ es la circunferencia $x^2 + y^2 = R^2$ y $P$ tiene coordenadas $(x_0, y_0)$, la ecuación de la recta polar es: $$x_0x + y_0y = R^2$$ Esta fórmula se generaliza para cónicas en general. Por ejemplo, para la elipse $\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$, la polar de $(x_0, y_0)$ es $\frac{x_0x}{a^2} + \frac{y_0y}{b^2} = 1$.

3. Teorema de La Hire (Reciprocidad) Sea $p(P)$ la polar del punto $P$. $$A \in p(B) \iff B \in p(A)$$

4. Propiedad Armónica Si una recta que pasa por $P$ corta a $\omega$ en $A$ y $B$, y corta a la polar de $P$ en $Q$, entonces ${P, Q; A, B}$ es un haz armónico: $$\frac{PA}{PB} \cdot \frac{QB}{QA} = 1 \quad \text{o} \quad (P, Q; A, B) = -1$$ Usando segmentos dirigidos con respecto al punto medio $M$ de $AB$: $$MA^2 = \overline{MP} \cdot \overline{MQ}$$

Demostración

Teorema: Sea $\omega$ una circunferencia con centro $O$ y radio $R$. Sea $P$ un punto distinto de $O$. Sea $P'$ el punto en el rayo $OP$ tal que $OP \cdot OP' = R^2$. La recta $l$ que pasa por $P'$ y es perpendicular a $OP$ es el lugar geométrico de los conjugados armónicos de $P$ con respecto a los puntos de intersección de las secantes que pasan por $P$.

Demostración:

1. Configuración: Toma una recta que pase por $P$ y que corte a la circunferencia $\omega$ en dos puntos distintos $A$ y $B$. Haz que esta recta corte a la posible recta polar $l$ en el punto $Q$. Sea $M$ el punto medio de la cuerda $AB$.

2. Cuadrilátero Cíclico: Como $M$ es el punto medio de la cuerda $AB$, $OM \perp AB$, así que $\angle PMO = 90^\circ$. Por la definición de la recta $l$, $OP \perp P'Q$, así que $\angle PP'Q = 90^\circ$. Como $\angle PMO = \angle PP'Q = 90^\circ$, los puntos $M, P', Q, O$ están en una circunferencia con diámetro $OQ$.

3. Potencia de un Punto: Considera la potencia del punto $P$ con respecto a esta nueva circunferencia que pasa por $M, P', Q, O$. $$\overline{PM} \cdot \overline{PQ} = \overline{PP'} \cdot \overline{PO}$$

4. Relación con el Radio $R$: Analiza el término $\overline{PP'} \cdot \overline{PO}$. Como $P'$ está en el segmento $OP$ (o rayo), puedes escribir vectores o longitudes dirigidas con respecto a $O$. Usando distancias dirigidas desde $O$: $\overline{PP'} = \overline{OP'} - \overline{OP}$. Entonces: $$ \overline{PM} \cdot \overline{PQ} = (\overline{OP'} - \overline{OP}) \cdot (-\overline{OP}) = \overline{OP}^2 - \overline{OP} \cdot \overline{OP'} $$ Por la definición de $P'$, sabes que $\overline{OP} \cdot \overline{OP'} = R^2$. $$ \overline{PM} \cdot \overline{PQ} = OP^2 - R^2 $$ Nota que $OP^2 - R^2$ es exactamente la potencia del punto $P$ con respecto a $\omega$, que es $\overline{PA} \cdot \overline{PB}$.

5. Relación de Newton para Haz Armónicos: Ya quedó establecido que $\overline{PM} \cdot \overline{PQ} = \overline{PA} \cdot \overline{PB}$. Vamos a verificar la condición armónica. Como $M$ es el punto medio de $AB$, sea $a$ la longitud $MA = MB$. En coordenadas a lo largo de la recta con $M$ en el origen: $A = -a$, $B = a$. La potencia de $P$ es $(p - (-a))(p - a) = p^2 - a^2$. Así que $p \cdot q = p^2 - a^2$. $$ a^2 = p^2 - pq = p(p-q) $$ Como $M$ es el origen, $p-q$ representa la distancia $QP$ (o $-PQ$). Esto se simplifica a $MA^2 = \overline{MP} \cdot \overline{MQ}$.

   Esta es la relación de Newton estándar para una cuaterna armónica $(P, Q; A, B) = -1$.

6. Conclusión: Como la elección de la secante $PAB$ fue arbitraria, cada punto $Q$ que forma una cuaterna armónica con $P$ y los puntos de intersección de la circunferencia está en la recta $l$. Por lo tanto, $l$ es la polar de $P$. $\square$