[论文解读] Dissections of a metal rectangle

Maxim Prasolov, Mikhail Skopenkov|arXiv (Cornell University)|Nov 14, 2010

Advanced Mathematical Theories and Applications被引用 6

一句话总结

本文通过电路类比研究了将矩形剖分成立方体或相似矩形的几何问题。证明了仅当矩形的长宽比为有理数时，才能用正方形进行剖分；且仅当相似矩形的长宽比满足与共轭根正实部相关的特定代数条件时，才能用相似矩形剖分一个正方形。其主要贡献在于通过电阻网络提出了一种新颖的物理解释，以确立这些剖分不可能性定理。

ABSTRACT

In the present popular science paper the following geometric questions are answered: - Which rectangles can be dissected into squares? - When a square can be dissected into rectangles similar to a given rectangle? The proofs are based on a physical interpretation using electrical networks. Only secondary school background is assumed in the paper.

研究动机与目标

• 通过与电路的物理类比，确定哪些矩形可以被剖分为正方形。
• 研究仅使用彼此相似的矩形时，正方形在何种条件下可被剖分。
• 利用代数与电路网络理论，建立此类剖分的必要与充分条件。
• 通过基础物理与线性代数，提供经典剖分定理的直观且易懂的证明。

提出的方法

• 将矩形剖分为更小矩形的过程建模为电路网络，其中每个矩形对应一个电阻。
• 运用基尔霍夫定律，将几何约束（水平与垂直匹配）转化为线性方程组。
• 使用高斯消元法求解由此产生的关于边长的线性方程组。
• 应用代数数论：若一个数 R 是整系数多项式的根，且其所有代数共轭的实部均为正，则 R 可用相似矩形剖分一个正方形。
• 利用正电阻网络中电阻必须为正的物理原理，当共轭根为负时导出矛盾。
• 利用网络在 R 及其共轭处的电阻值必须一致的事实，若共轭的实部为负则导致矛盾。

实验结果

研究问题

• RQ1 哪些矩形可以被剖分为有限个正方形（不一定全等）？
• RQ2 在何种条件下，可以仅使用彼此相似的矩形来剖分一个正方形？
• RQ3 相似矩形的长宽比 R 需满足何种代数条件，才能实现对正方形的剖分？
• RQ4 为何无法用长宽比为 1+√2 及其倒数的矩形来剖分一个正方形？
• RQ5 如何利用欧姆定律与基尔霍夫定律等物理原理来证明几何剖分定理？

主要发现

• 矩形可被剖分为正方形，当且仅当其长宽比为有理数，该结论通过电阻网络的物理解释得以证明。
• 当且仅当 R 是一个正实代数数，且其所有代数共轭的实部均为正时，正方形才能被相似矩形（长宽比为 R）剖分。
• 矩形剖分为正方形的问题可归结为求解由垂直与水平匹配约束导出的线性方程组。
• 无法用长宽比为 1+√2 的矩形剖分正方形的不可能性，通过反证法证明：其共轭根 1−√2 为负，导致对偶网络中出现负有效电阻。
• 该方法在剖分问题、电路网络与代数数论之间建立了深刻联系，为经典结果提供了新的证明方法。
• 本文进一步推广，表明仅当长宽比满足其共轭根实部为正的特定正性条件时，才可能用相似矩形进行剖分，从而扩展了 Laszkovich、Rinne、Sekeres 与 Friedlander 的工作。