Part0
点的反演:
本质上是点与点的映射。
是一个点 ( x , y ) (x,y) (x,y)根据另一个定点 ( a , b ) (a,b) (a,b)(一般取原点)和一个常数 k k k,进行变换得到一个新点 ( x ′ , y ′ ) (x',y') (x′,y′),满足 ( x , y ) , ( x ′ , y ′ ) , ( a , b ) (x,y),(x',y'),(a,b) (x,y),(x′,y′),(a,b)三点共线且 ( x , y ) , ( x ′ , y ′ ) (x,y),(x',y') (x,y),(x′,y′)在 ( a , b ) (a,b) (a,b)的同一侧且 d i s t ( ( x , y ) , ( a , b ) ) ∗ d i s t ( ( x ′ , y ′ ) , ( a , b ) ) = k dist((x,y),(a,b))*dist((x',y'),(a,b))=k dist((x,y),(a,b))∗dist((x′,y′),(a,b))=k
现在有如下几个 s b sb sb定理要证明:
- 一条不过原点的直线的反象是一个过原点的圆
- 一条过原点的直线的反象是一条过原点的直线(这个不证了 笑哭)
- 一个过原点的圆的反象是一条不过原点的直线
- 一个不过原点的圆的反象是一个不过原点的圆
在下述证明过程中我们令 ( a , b ) (a,b) (a,b)等于原点,由于 ( x ′ , y ′ ) (x',y') (x′,y′)在直线 x 0 y + y 0 x = 0 x_0y+y_0x=0 x0y+y0x=0上那么不妨设 ( x ′ , y ′ ) = t ( x , y ) (x',y')=t(x,y) (x′,y′)=t(x,y)。
Part1
一条不过原点的直线的反象是一个过原点的圆:
证明:
设直线解析式为 a x + b y + c = 0 ax+by+c=0 ax+by+c=0,则有 a x 0 + b y 0 = − c ax_0+by_0=-c ax0+by0=−c
两边同时乘 k t c \frac{kt}{c} ckt得
k c ( a x ′ + b y ′ ) = − k t … … ① \frac{k}{c}(ax'+by')=-kt……① ck(ax′+by