![d73778de6744f9636ca3419ac5d48576.png](https://i-blog.csdnimg.cn/blog_migrate/597ce6d7721922043aeb210d494bc6eb.jpeg)
平面几何中有“关于点对称”和“关于直线对称”的变换,那么有“关于圆对称”的变换吗?
虽然没有“关于圆对称”的正式说法,但是的确有一种变换能够产生类似的效果——反演变换。它不仅是平面几何中的一个强力工具,还在复分析和双曲几何等领域占据一定地位。
这篇文章就来说说平面几何中的反演变换。
注:严格地说,文中讨论的只是平面几何中反演变换的一类——正幂反演,但是为了方便,下文将它统称“反演变换”。
一、反演变换是什么?
假设平面内有一个半径为
![7dff39a0ec8ec70c47403c352c0d2184.png](https://i-blog.csdnimg.cn/blog_migrate/c718f5f3bb86d8a51167e463cc0f4c94.jpeg)
定义很简练,但是有缺陷:对于反演中心
为了给反演中心找一个伴侣(更重要的是为了保持反演变换的良好性质),我们引入一个假想的无穷远点
- 所有直线都经过
,所以
;
- 由于
的存在,直线无限延伸的两端最终会交汇。从这个意义上说,
现在回头琢磨之前的定义,不难发现反演变换的一些基本性质:
- 经过反演变换后,圆内的点变换至圆外,圆外的点变换至圆内,圆上的点保持不变;
- 点
与点
关于圆
互为反点;
- 反演变换的逆变换就是自身(上一条性质的推广)。
圆内与圆外的点互反,圆上的点保持不变,再加上自逆性——以上性质和点对称/轴对称实在是太相似了,这就是为什么反演变换可以视作一个“关于圆对称”的变换。
可是,如果随意拿一个几何图形,做一次反演变换,结果嘛......
![f8bbefeb6abd41ff7936066ee6265334.png](https://i-blog.csdnimg.cn/blog_migrate/873d90205dcf3afd97c15fcbc3f7947b.jpeg)
虽然谈不上面目全非,但是反演变换后的图形(又称反形)的长相确实大变样了,和点对称/轴对称完全不一样!这样看来,反演变换似乎就是为了构造“关于圆对称”而生的,它究竟有什么用呢?
二、反演变换有什么特殊性质?
对于大多数几何图形来说,反演变换确实会改变它们的形状,但总是有幸运的家伙能逃过一劫,比如过反演中心的直线,它的反形还是自身:
![56ad0b2d248480c533e3c54bb273c3c6.png](https://i-blog.csdnimg.cn/blog_migrate/00d97efbccd3828c66ebc83ca0fb58f1.jpeg)
有一点需要注意:对于直线在圆内的部分,它们在反演后会跑到圆外,甚至直接映射到
目前,我们得到了反演变换的一个性质:经过反演中心的直线
![8990e49040956ec9220387f7053a4062.png](https://i-blog.csdnimg.cn/blog_migrate/9b256dffcdf94c127c2eb94031a5e2b0.jpeg)
看上去,它的反形似乎是一个经过反演中心的圆。如何证明呢?
首先,过反演中心
更重要的是,由于之前补上了
由于反演变换的自逆性,经过反演中心的圆
在上面的证明中,我们用到了相似三角形。实际上,如果有任意两组不同的反点对,比如点对
![5df0c8cbb17a705fccf856ba263e7346.png](https://i-blog.csdnimg.cn/blog_migrate/5f28d6def0e0ee3a469f8c4b36b6025d.jpeg)
据此,这条性质同样成立:不经过反演中心的圆
![fb8be9037db411f84fe4cd828ec360fc.png](https://i-blog.csdnimg.cn/blog_migrate/f66376a1fe787c7261997dc54306bac7.jpeg)
除了相似三角形的性质之外,以下是刚才探索的反演变换对几何图形的作用:
- 经过反演中心的直线
- 不经过反演中心的直线
- 经过反演中心的圆
- 不经过反演中心的圆
内容有些杂,那就概括一下:如果把直线(“半径无穷大的圆”)囊括进来,将“圆”的概念拓展为“广义圆”,那么上面四条性质其实叙述了同样一件事:在反演变换下,广义圆
需要注意的是,反演变换虽然保圆,但是不保圆心,原像的圆心与反形的圆心并不是互反的!
![19105a490ffef87f9bf94022c5423e58.png](https://i-blog.csdnimg.cn/blog_migrate/ae9548511ac2dffedf471cf2becf48fa.jpeg)
既然提到了保圆性,就不得不提反演变换的另外两条性质,它们都可以由之前使用的相似三角形性质迅速导出,读者不妨尝试证明一下:
- 保角性:反演变换保持平面内两条曲线的夹角大小不变(但是角的定向会发生反转);
- 保交比性:假设平面内有四组互反点对
,
,
和
,以下关系成立:
虽然反演变换不能完美复制大多数几何图形,但是它最起码能够保证广义圆不发生形状改变。而且正是“广义”的存在,反演变换能够实现圆与直线之间的自由转化。接下来,我们就看一个经典不等式的证明,体会反演变换带来的视角转变。
三、反演变换的应用——证明托勒密不等式
托勒密不等式的内容如下:
任一凸四边形两组对边长度乘积的和大于等于对角线长度乘积,即
当且仅当
四点共圆时取等号。
下面的动画是托勒密不等式的简单演示,其中
![7d9b821511d03528f3c0eec35f40ae33.png](https://i-blog.csdnimg.cn/blog_migrate/fed534c33342b7f5ccdeeeb9f03a544f.jpeg)
托勒密不等式中涉及了
遵循这个思路,对于凸四边形
![938f28af9f54969cdf5dcade10de287a.png](https://i-blog.csdnimg.cn/blog_migrate/0044f437e4e9ce273367cca4bd5ff7ac.png)
在上图中,我还做出了经过
利用反演变换能产生相似三角形的特点,我们可以得到三组相似三角形:
从托勒密不等式出发,我们还可以导出勾股定理:当四边形
四、And more...?
作为平面几何的重要基础变换之一,反演变换的威力绝不仅限于此。就拿保圆性来说,我们目前只关注了广义圆形状上的变化,但是如果深究大小和位置等细节,还能挖掘出更多有趣的结论。下篇文章中,你将会看到如何用反演变换证明笛卡尔定理。
Solara570:四圆相切与笛卡尔定理(上篇)zhuanlan.zhihu.com![9643f6b1cd2a913edc3fa38304abbc00.png](https://i-blog.csdnimg.cn/blog_migrate/7659230e32ffd78e82db7d2f8a6cc126.jpeg)
参考资料
- Cut the Knot! - Inversion(网站,作者Alexander Bogomolny)
- 实打实的干货,内容详实而且可交互,感兴趣的朋友一定要看到页面结尾。
- Inversion in a Circle(文章,作者Tom Davis)
- 同样是实打实的干货,也包含不少用反演解决的定理或问题,唯一的瑕疵在于四则运算做错(笑)
- Chapter 5: Inversion(教案,作者John E. Gilbert)
- 前半部分讲反演,末尾延伸到双曲几何,可以看看。
- Sacred Mathematics - Japanese Temple Geometry(书籍,作者Fukagawa Hidetoshi, Tony Rothman)
- 关于日本算額(Sangaku)的书,可以说是“奇怪几何问题习题集”。第十章是反演的简介,里面的问题也很有趣。
最后说件有意思的事。这篇文章从去年10月开始躺在草稿箱里,偶尔拉出来补点字。刚巧这几天不能出门,我打算静下心来把它写完。然而,今天(2020.2.10)看到Numberphile频道的推送(2020.2.9)之后,我感到异常绝望……如果你看了那期视频,会发现上面的内容和它出奇地一致,但是我可以保证:这篇文章是独立完成的,文字和动画全部亲手搞定。
至于为什么看到了类似的内容,我还要执意把它发出来,原因有三:
- 我需要有自己的文章介绍反演变换的基本知识,为下篇(笛卡尔定理及其证明和应用)做铺垫;
- Numberphile推送时,工程量已过大半——文字完成50%、动画完成80%;
- 像托勒密不等式这样优秀的例子实在是不好找……
总之,还望见谅。