任意四边形边上作正方形，为什么会出现垂直等长交线？

luyuanhong

任意四边形边上作正方形，为什么会出现垂直等长交线？

原创  MoMo 酱的 PA  数学猫 MoMo 酱  2026 年 6 月 13 日 09:00  上海



题目来源

本文讨论 Tristan Needham, Visual Complex Analysis, Chapter 1, Exercises 21 and 22。

这两道题围绕一个非常漂亮的几何事实：

在任意四边形的四条边上作正方形，连接两组对边上正方形的中心，得到的两条线段互相垂直，并且长度相等。

这个结论通常被称为 Van Aubel theorem 的一种形式。它看起来像欧氏几何中的“小奇迹”：原来的四边形可以很歪，可以不是平行四边形，可以没有任何明显对称性；可是四个正方形中心之间，竟然稳定地冒出一个直角和一对相等长度。

如果用传统几何做，当然也能证明。但复数给出的解释特别干净：

                   作正方形 <=> 乘以 i

也就是说，整个定理背后只有一句话：边向量转 90° 之后，与原来的边向量线性叠加；四边形闭合时，那些看似杂乱的项会自动抵消。

这正是 Needham 第 1 章反复强调的主题：复数不是把几何翻译成代数，而是把几何动作本身写成最短的语言。

1. 英文原题摘录与题意说明

由于原题依赖教材图 [1.12a] 和 [1.12b]，这里先保留关键英文原文短引，再把题意完整说明清楚。





2. 先把图形翻译成复数



3. 两条神秘线段其实只差一个



4. 这个证明为什么这么舒服？



5. 向内作正方形时，结论为什么还在？



6. Needham 的几何提示在说什么？



7. 为什么任意四边形都可以？



8. 这题里的 ，不是虚数，而是一个动作



9. 一个容易犯的错误：只证明长度，忘了方向



10. 一个更深的读法：这其实是“复数线性性”的胜利



11. 这道题真正训练的是什么？



12. 小结



13. 核心英文名词与标准中文翻译



数学猫 MoMo 酱