ボヤイの定理とは？わかりやすく解説

分割された等積多角形の例（デュードニーの『カンタベリー・パズル』より「正三角形と正方形」^[1]）

ボヤイの定理（ボヤイのていり、英: Bolyai's theorem）またはボヤイ＝ゲルヴィンの定理 (Bolyai–Gerwien theorem）、ウォレス＝ボヤイ＝ゲルヴィンの定理（Wallace–Bolyai–Gerwien theorem^[2]）は、ボーヤイ・ファルカシュ（1832, 1833年）、P・ゲルヴィン（1833^[3], 1835年）によって示された^[4]『面積の等しい二つの多角形 $A$ , $B$ が存在した時、 $A$ を有限回分割し組みなおすことで、 $B$ と合同な図形を作ることが出来る』という定理である。

1807, 8年頃にはウィリアム・ウォレスが証明していたとも言われている^[4]。

定式化

定理の定式化にはいくつかの方法があるが、最もポピュラーなものは多角形の分解合同性^[5]（equidecomposability、分割合同^[6]、分割同値性^[7]とも）によるものである。2つの多角形を有限個の三角形に分割する。このとき、一方の多角形を分割してできた三角形が、もう一方の多角形を分割してできた三角形とそれぞれすべて合同であるとき、この性質を2つの多角形の分解合同性という。ボヤイの定理は2つの多角形が等積ならば分解合同性を持つことを主張する^[8]。

他の定式化に分割合同（scissors-congruent、ハサミ合同^[9]とも）を使うものがある。2つの図形が、有限個の合同な多角形に分割できることを分割合同という。分割合同は同値関係である。分割合同の同値類には、まさに、2つの多角形が等積であることが含まれている^[2]。

証明の概要

まず、任意の多角形は三角形に分割することができることを考える。凸多角形はある1つの頂点と他の頂点を結ぶ対角線で切ることで分割可能だが、凹多角形の場合は少し注意が必要である。単純でない多角形にも有効なアプローチとして、多角形のどの線にも平行でない直線を取って、各頂点を通るこの直線に平行な直線を引く。すると多角形は台形に分割されるので、更に三角形に分割することができる^[10]。

次にこれらの三角形を直角三角形あるいは平行四辺形に等積変形し、そして幅が1の長方形に等積変形することを考える。この操作によって、多角形は幅が1で、高さが多角形の面積に等しい長方形に変換される^[10]。

等積な2つの多角形を等積変形してできた幅が1の長方形は合同であるため、この長方形を中継して、ボヤイの定理の述べるところが証明される^[11]。

証明の備考

第一に、この証明には中継する図形が必要である。分割合同による定理の定式化においては、分割合同が推移的であることを利用して、中間物の使用を再定式化できる。中間物に分割合同であるので、もとの2つの図形は分割合同である^[10]。

ボヤイの定理の証明は建設的なもので、タルスキの円積問題（英語版）の様な同分野の問題とは異なり^[12]、選択公理を必要としない。分割と再構成は"物理的に"実行できる、つまり紙をはさみで切って実現することも可能である。

しかし、この手順で再構成を実現する際に用いる多角形の破片の個数は、その最小値を優に超える^[13]。

分解の度合い

等積な多角形 $P, Q$ について、 $P$ を $n$ 個の欠片に分解して $Q$ を構成するとき、 $n$ の最小値を $σ (P, Q)$ で表す。

図形によっては $σ (P, Q)$ の上界と下界を推定することができる。多角形 $P$ の直径（英語版）を $d (P)$ で与える。アルフレト・タルスキは $P$ が凸ならば $σ (P, Q) ≧ d (P) / d (Q)$ であることを証明した^[14]。

底辺と高さがそれぞれ $ax, a / x$ （ $x > 0$ ）である長方形を $P x$ 、一辺が $a$ の正方形を $Q$ とする。 $P x, Q$ は等積である。今、 $x ≧ 1$ であるとき、

\sigma (P_{x},Q)\leq 2+\left\lceil {\sqrt {x^{2}-1}}\right\rceil

が成立する。 $x ≦ 1$ の場合は、 $P x$ と $P 1 / x$ が合同であることより

\sigma \left(P_{\frac {1}{x}},Q\right)\leq 2+\left\lceil {\frac {\sqrt {1-x^{2}}}{x}}\right\rceil

が成立する^[14]。

一般化

この問題を三次元に拡張した予想がヒルベルトの23の問題の第3問題に挙げられていたが、1900年にマックス・デーンによって否定的に解決された。双曲平面や球面でもボヤイの定理の類似物が成立するが、双曲空間などにおいて成立するかどうかは未解決である^[15]。

直線に沿って分割するという制限を緩和するとバナッハ＝タルスキーのパラドックスのような非自明な結果が得られる^[16]。

脚注

[脚注の使い方]

^ H.E.デュードニー『パズルの王様』ダイヤモンド社、1965年、98頁。NDLJP:1381352。
^ ^a ^b Gardner, R. J. (1985-02-01). “A problem of Sallee on equidecomposable convex bodies” (英語). Proceedings of the American Mathematical Society 94 (2): 329–332. doi:10.1090/S0002-9939-1985-0784187-9. ISSN 0002-9939. JSTOR 2045399.
^ Gerwien, P. (1833). “Zerschneidung jeder beliebigen Menge verschieden gestalteter Figuren von gleichem Inhalt auf der Kugelfläche in dieselben Stücke.”. Journal für die reine und angewandte Mathematik 10: 235–240. ISSN 0075-4102. https://eudml.org/doc/146834.
^ ^a ^b Bogomolny, Alexander. “Wallace-Bolyai-Gerwien Theorem”. Cut the knot. 2025年5月3日閲覧。
^ 工藤, 研二「擬ブール代数における分解合同と補充合同」『茨城大学教育学部紀要自然科学』第41号、1992年、23–28頁、 ISSN 0386-7668。
^ 佐藤, 史弥「四角形の切り貼りとその合同類」『結び目の数理 IV』2022年1月31日。
^ 徳山, 豪. “博士たちの愛する幾何”. 京都大学. 2025年8月20日閲覧。
^ Andras, Szilard; Tamasi, Csaba. “Teaching geometry through play”. 2025年5月3日閲覧。
^ 渕野, 昌 (2012年). “研究室紹介と模擬講義”. 2025年8月20日閲覧。
^ ^a ^b ^c Abbott, Timothy G.; Abel, Zachary Ryan; Charlton, David; Demaine,, Erik D.; Demaine, Martin L.; Kominers, Scott Duke. “Hinged Dissections Exist”. Discrete and Computational Geometry. http://hdl.handle.net/1721.1/62808.
^ Erickson, Martin J. (2009). Aha! Solutions. Internet Archive. [Washington, D.C.] : Mathematical Association of America. ISBN 978-0-88385-829-5
^ Tomkowicz, Grzegorz; Wagon, Stan (2016-06-14) (英語). The Banach–Tarski Paradox. Cambridge University Press. ISBN 978-1-316-57155-2
^ Weisstein, Eric W. “Dissection”. mathworld.wolfram.com (英語).
^ ^a ^b McFarland, Andrew; McFarland, Joanna; Smith, James T. (2014) (英語). Alfred Tarski. Birkhäuser, New York, NY. pp. 77–91. doi:10.1007/978-1-4939-1474-6_5. ISBN 9781493914739
^ Senechal, Marjorie, ed (2013). “Shaping Space” (英語). SpringerLink. doi:10.1007/978-0-387-92714-5.
^ Byer, Owen; Lazebnik, Felix; Smeltzer, Deirdre L. (2010-12-31) (英語). Methods for Euclidean Geometry. American Mathematical Soc.. ISBN 978-0-88385-763-2

外部リンク

Bolyai-Gerwien theorem - PlanetMath.（英語）
“Who was Paul Gerwien?”. Stack Exchange. 2025年8月20日閲覧。

[1] H.E.デュードニー『パズルの王様』ダイヤモンド社、1965年、98頁。NDLJP:1381352。

[Gardner-2] Gardner, R. J. (1985-02-01). “A problem of Sallee on equidecomposable convex bodies” (英語). Proceedings of the American Mathematical Society 94 (2): 329–332. doi:10.1090/S0002-9939-1985-0784187-9. ISSN 0002-9939. JSTOR 2045399.

[3] Gerwien, P. (1833). “Zerschneidung jeder beliebigen Menge verschieden gestalteter Figuren von gleichem Inhalt auf der Kugelfläche in dieselben Stücke.”. Journal für die reine und angewandte Mathematik 10: 235–240. ISSN 0075-4102. https://eudml.org/doc/146834.

[CtN-4] Bogomolny, Alexander. “Wallace-Bolyai-Gerwien Theorem”. Cut the knot. 2025年5月3日閲覧。

[5] 工藤, 研二「擬ブール代数における分解合同と補充合同」『茨城大学教育学部紀要自然科学』第41号、1992年、23–28頁、 ISSN 0386-7668。

[6] 佐藤, 史弥「四角形の切り貼りとその合同類」『結び目の数理 IV』2022年1月31日。

[7] 徳山, 豪. “博士たちの愛する幾何”. 京都大学. 2025年8月20日閲覧。

[8] Andras, Szilard; Tamasi, Csaba. “Teaching geometry through play”. 2025年5月3日閲覧。

[9] 渕野, 昌 (2012年). “研究室紹介と模擬講義”. 2025年8月20日閲覧。

[Discrete-10] Abbott, Timothy G.; Abel, Zachary Ryan; Charlton, David; Demaine,, Erik D.; Demaine, Martin L.; Kominers, Scott Duke. “Hinged Dissections Exist”. Discrete and Computational Geometry. http://hdl.handle.net/1721.1/62808.

[11] Erickson, Martin J. (2009). Aha! Solutions. Internet Archive. [Washington, D.C.] : Mathematical Association of America. ISBN 978-0-88385-829-5

[12] Tomkowicz, Grzegorz; Wagon, Stan (2016-06-14) (英語). The Banach–Tarski Paradox. Cambridge University Press. ISBN 978-1-316-57155-2

[13] Weisstein, Eric W. “Dissection”. mathworld.wolfram.com (英語).

[:0-14] McFarland, Andrew; McFarland, Joanna; Smith, James T. (2014) (英語). Alfred Tarski. Birkhäuser, New York, NY. pp. 77–91. doi:10.1007/978-1-4939-1474-6_5. ISBN 9781493914739

[15] Senechal, Marjorie, ed (2013). “Shaping Space” (英語). SpringerLink. doi:10.1007/978-0-387-92714-5.

[16] Byer, Owen; Lazebnik, Felix; Smeltzer, Deirdre L. (2010-12-31) (英語). Methods for Euclidean Geometry. American Mathematical Soc.. ISBN 978-0-88385-763-2

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

ボヤイの定理とは？わかりやすく解説