圆的反演学习笔记（含证明）

证明由我和konjak_ldx共同完成（其实绝大部分是ldx证的）

一.定义

这些定义并不是很严谨
定义一个任意的常数k，设两个点$(x_1,y_1)$，$(x_2,y_2)$，若满足过两点的直线经过原点且$\sqrt{{x_1}^2+{y_1}^2}\ast \sqrt{{x_2}^2+{y_2}^2}=k$（即两个点到原点的距离乘积），则称它们互为反演点
对于平面直角坐标系内的一个图形，它上面所有点的反演点组成另一个图形，这两个图形互为反象
一个过原点的圆的反象是一条不过原点的直线，一条不过原点的直线的反象是一个过原点的圆
一个不过原点的圆的反象是一个不过原点的圆

二.证明

这些证明均为解析几何证明，平面几何证明大概可以通过相似来证明，这里只给出解析几何证明（才不是因为懒得再用平面几何证明一遍呢 ）
1.一条不过原点的直线的反象是一个过原点的圆：
证明：
       设直线上有一点$(x_0,y_0)$，它的反演点是$(x^{\prime },y^{\prime })$，常数为k，设$x^{\prime }=t{x}_0,y^{\prime }=t{y}_0$
       设直线解析式为$ax+by+c=0$，则有$a{x}_0+b{y}_0=-c$
       两边同时乘$\frac{kt}{c}$得
       $\frac{k}{c}(a{x}^{\prime }+b{y}^{\prime })=-kt\dots \dots ①$
       又因为$\sqrt{{x_0}^2+{y_0}^2}\ast \sqrt{{x^{\prime }}^2+{y^{\prime }}^2}=k$即$\sqrt{{x_0}^2+{y_0}^2}\ast t\sqrt{{x_0}^2+{y_0}^2}=k$
       得${x_0}^2+{y_0}^2=\frac{k}{t}$
       两边同时乘$t^2$得${x^{\prime }}^2+{y^{\prime }}^2=kt\dots \dots ②$
       $①+②$得${x^{\prime }}^2+{y^{\prime }}^2+\frac{ka}{c}{x}^{\prime }+\frac{kb}{c}{y}^{\prime }=0$
       则根据圆的方程解出圆心为$(-\frac{ka}{2c},-\frac{kb}{2c})$，半径为$\frac{k\sqrt{a^2+b^2}}{2|c|}$
       这个圆的方程为$(x+\frac{ka}{2c}{)}^2+(y+\frac{kb}{2c}{)}^2=\frac{k^2(a^2+b^2)}{4c^2}$
       且c作分母，直线不过原点，$c≠0$
       将$(0,0)$代入圆的方程得$(\frac{ka}{2c}{)}^2+(\frac{kb}{2c}{)}^2=\frac{k^2(a^2+b^2)}{4c^2}$，圆过原点
       证毕

2.一个过原点的圆的反象是一条不过原点的直线：
证明：
       设圆线上有一点$(x_0,y_0)$，它的反演点是$(x^{\prime },y^{\prime })$，常数为k，设$x^{\prime }=t{x}_0,y^{\prime }=t{y}_0$
       设圆解析式为$(x-a{)}^2+(y-b{)}^2=r^2$，且$a^2+b^2=r^2$，则有${x_0}^2+{y_0}^2-2a{x}_0-2a{y}_0=0\dots \dots ①$
       同上，有${x_0}^2+{y_0}^2=\frac{k}{t}\dots \dots ②$
       $①$代入$②$得$\frac{k}{t}-2a{x}_0-2a{y}_0=0$
       两边同时乘$t$得到直线的解析式为$2ax+2by-k=0$
       且$k≠0$，直线不过原点
       证毕

3.一个不过原点的圆的反象是一个不过原点的圆：
证明：
       设圆上有一点$(x_0,y_0)$，它的反演点是$(x^{\prime },y^{\prime })$，常数为k，设$x^{\prime }=t{x}_0,y^{\prime }=t{y}_0$
       设圆解析式为$(x-a{)}^2+(y-b{)}^2=a^2+b^2+S$，$S≠0$，$a^2+b^2+S>0$则有${x_0}^2+{y_0}^2-2a{x}_0-2a{y}_0=S\dots \dots ①$
       同上，有${x^{\prime }}^2+{y^{\prime }}^2=kt$
       则有$S{x^{\prime }}^2+S{y^{\prime }}^2=Skt\dots \dots ①$
       同上，有$2a{x}^{\prime }+2b{y}^{\prime }+St=k\dots \dots ②$
       $①$代入$②$得$2a{x}^{\prime }+2b{y}^{\prime }+\frac{S}{k}{x}^{\prime 2}+\frac{S}{k}{y}^{\prime 2}=k$
       则根据圆的方程解出圆心为$(-\frac{ka}{S},-\frac{kb}{S})$，半径为$\sqrt{k+\frac{k^2(a^2+b^2)}{S^2}}$
       圆的方程为$(x+\frac{ak}{S}{)}^2+(y+\frac{bk}{S}{)}^2=k+\frac{k^2(a^2+b^2)}{S^2}$
       将$(0,0)$代入不成立，所以这个圆不过原点
       证毕

三.性质

关于反演比例k和圆的圆心、半径，直线的解析式的关系见证明过程
相切：若一个过原点的圆与一个不过原点的圆相切，则反演过后的圆与直线相切
相交：若一个过原点的圆与一个不过原点的圆相交，则反演过后的圆与直线相交
相离：若一个过原点的圆与一个不过原点的圆相离，则反演过后的圆与直线相离

四.例

给定两个圆，已知他们在一点相切，求在右边的月牙形中塞进一个最大的圆的方案，输出这个圆的圆心和半径，然后在剩下的部分再塞入一个最大的圆。。。以此类推
解法：把两个大圆反演成两条平行直线，然后塞入一个圆时，它反演之后变为另外一个圆，根据相切，它会夹在这两条平行直线之间，那么就这样一直加入就行了