[論文レビュー] 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 が負であるため、双対ネットワークにおける等価抵抗が負になる。
• この手法により、タイリング問題、電気ネットワーク、代数的数論の間に深い関係が確立され、古典的結果に対する新しい証明技法が得られた。
• 本研究は一般化され、類縁長方形によるタイリングが可能となるのは、縦横比がその共役に対して特定の正の性質を満たす場合に限ることを示し、ラスツコビッチ、リーネ、セケレス、フリードランダーらの研究を拡張した。