圆的反演

定义

设原点为反演中心，同时还有一个反演半径$r$。

设点$P_1,P_2$，$P_2$为$P_1$反演后对应的点。则满足
$|OP_1|*|OP_2| = r^2$

很显然除原点外，每个点都有唯一对应点。并且将一个坐标系反演再反演还是原坐标系。

性质

一个过原点的圆的反形是一条不过原点的直线。

一条不过原点的直线的反形是一个过原点的圆。

一个不过原点的圆的反形仍然是一个不过原点的圆。

…

少许计算

比如说怎么求一个不过原点的圆的反形？

由于依然为一个圆，所以只需要求出圆心与半径即可。设原来的圆的圆心为$O_1$，半径为$R_1$，新圆心为$O_2$，半径为$R_2$。

连接$OO_1$，设交$\bigodot O_1$于$A_1,B_1$两点，$\bigodot O_2$于$A_2,B_2$两点。

且满足$OA_1 < OB_1,OA_2 < OB_2$。

那么显然
$OA_1 = OO_1 - R_1,OB_1 = OO_1 + R_1,OA_2 = OO_2 - R_2,OB_2 = OO_2 + R_2$

并且$A_1,B_2$为对应点，$A_2,B_1$为对应点。

则$OA_1 * OB_2 = r^2,OB_1 * OA_2 = r^2$
$(OO_1 - R_1)(OO_2+R_2) = r^2$
$(OO_1 + R_1)(OO_2-R_2) = r^2$

化简一下可得：$2 * R_2 = (\frac{1}{OO_1 - R_1}-\frac{1}{OO_1+R_1}) * r^2$

设$O_2$坐标为$(x_2,y_2)$，$O_1$坐标为$(x_1,y_1)$。

那么$x_2 = x_1 * \frac{R_2}{R_1},y_2 = y_1 * \frac{R_2}{R_1}$