# inversion of plane

Let $c$ be a fixed circle in the Euclidean plane  with center $O$ and radius $r$. Set for any point $P\neq O$ of the plane a corresponding point $P^{\prime}$, called the inverse point  of $P$ with respect to $c$, on the closed ray from $O$ through $P$ such that the product  $P^{\prime}O\cdot PO$

has the value $r^{2}$. This mapping$P\mapsto P^{\prime}$  of the plane interchanges the inside and outside of the base circle $c$. The point $O^{\prime}$ is the “infinitely distant point” of the plane.

The following is an illustration of how to obtain $P^{\prime}$ for a given circle $c$ and point $P$ outside of $c$. The restricted tangent from $P$ to $c$ is drawn in blue, the line segment  that determines $P^{\prime}$ (perpendicular   to $\overline{OP}$, having an endpoint on $\overline{OP}$, and having its other endpoint at the point of tangency $T$ of the circle and the tangent line) is drawn in red, and the radius $\overline{OT}$ is drawn in green.

The picture justifies the correctness of $P^{\prime}$, since the triangles  $\triangle OPT$ and $\triangle OTP^{\prime}$ are similar   , implying the proportion  $PO:TO=TO:P^{\prime}O$  whence  $P^{\prime}O\cdot PO=(TO)^{2}=r^{2}$.  Note that this same holds if $P$ and $P^{\prime}$ were swapped in the picture.

Inversion formulae.  If $O$ is chosen as the origin of $\mathbb{R}^{2}$ and  $P=(x,\,y)$  and  $P^{\prime}=(x^{\prime},\,y^{\prime})$,  then

 $x^{\prime}=\frac{rx}{x^{2}+y^{2}},\qquad y^{\prime}=\frac{ry}{x^{2}+y^{2}};% \qquad x=\frac{rx^{\prime}}{x^{\prime\,2}+y^{\prime\,2}},\qquad y=\frac{ry^{% \prime}}{x^{\prime\,2}+y^{\prime\,2}}.$

Note.  Determining inverse points can also be done in the complex plane.  Moreover, the mapping $P\mapsto P^{\prime}$ is always a Möbius transformation   .  For example, if  $c=\{z\in\mathbb{Z}\,\vdots\;\,|z|=1\}$,  i.e. (http://planetmath.org/Ie)  $O=0$  and  $r=1$, then the mapping  $P\mapsto P^{\prime}$  is given by $f\colon\mathbb{C}\cup\{\infty\}\to\mathbb{C}\cup\{\infty\}$  defined by  $\displaystyle f(z)=\frac{1}{z}$.

## References

• 1 E. J. Nyström: Korkeamman geometrian alkeet sovellutuksineen.  Kustannusosakeyhtiö Otava, Helsinki (1948).
 Title inversion of plane Canonical name InversionOfPlane Date of creation 2015-06-14 18:40:35 Last modified on 2015-06-14 18:40:35 Owner pahio (2872) Last modified by pahio (2872) Numerical id 24 Author pahio (2872) Entry type Topic Classification msc 51K99 Classification msc 53A30 Classification msc 30E20 Synonym mirroring in circle Synonym circle inversion Related topic MobiusTransformation Related topic PowerOfPoint Defines inverse point Defines inversion Defines inversion formulae Defines involutory