Polaridad respecto a una circunferencia

La recta polar p de un punto P respecto de una circunferencia ω de centro O es la recta perpendicular a OP que pasa por el inverso P' de P respecto de ω. Recíprocamente, P es el polo de p. Por tanto, si P es exterior, p es secante, si P es interior p es exterior, y si P está en ω, p es la tangente en P. La polar del centro O es la línea del infinito, l, y el polo de cualquier recta p que pase por O es el la intersección de l con una perpendicular a p. Se trata por tanto de una correspondencia biunívoca entre los puntos y las rectas del plano proyectivo, que establece una dualidad entre ellos. De esta forma, en teoremas puramente de incidencia se pueden reemplazar los polos por sus polares y viceversa, y las relaciones 'pasa por' con 'está en'. Si P es exterior a ω, p pasa por los puntos de tangencia T y T'.
La polaridad es recíproca: Si Q esta en la polar de P, P está en la polar de Q. En un triángulo autopolar, cada lado es la polar del vértice opuesto. Siempre tienen un ángulo obtuso, que corresponde al único vértice interior a ω. El centro O de ω es su ortocentro, de manera que los cuatro forman un cuadrivértice ortocéntrico.