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

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ボヤイの定理の意味・解説 

ボヤイの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/05/02 20:17 UTC 版)

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

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

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

定式化

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

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

証明の概要

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

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

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

証明の備考

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

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

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

分解の度合い

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

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

底辺と高さがそれぞれax, a/xx > 0)である長方形Px、一辺がa正方形Qとする。Px, Qは等積である。今、x ≧ 1であるとき、

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

が成立する[9]

一般化

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

脚注

  1. ^ H.E.デュードニー『パズルの王様』ダイヤモンド社、1965年、98頁。NDLJP:1381352 
  2. ^ 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. http://www.ams.org/jourcgi/jour-getitem?pii=S0002-9939-1985-0784187-9. 
  3. ^ Bogomolny, Alexander. “Wallace-Bolyai-Gerwien Theorem”. Cut the knot. 2025年5月3日閲覧。
  4. ^ Andras, Szilard; Tamasi, Csaba. “Teaching geometry through play”. 2025年5月3日閲覧。
  5. ^ 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. 
  6. ^ Erickson, Martin J. (2009). Aha! Solutions. Internet Archive. [Washington, D.C.] : Mathematical Association of America. ISBN 978-0-88385-829-5. https://archive.org/details/ahasolutions0000eric 
  7. ^ Tomkowicz, Grzegorz; Wagon, Stan (2016-06-14) (英語). The Banach–Tarski Paradox. Cambridge University Press. ISBN 978-1-316-57155-2. https://books.google.co.jp/books/about/The_Banach_Tarski_Paradox.html?id=i21eDAAAQBAJ&redir_esc=y 
  8. ^ Weisstein, Eric W. "Dissection". mathworld.wolfram.com (英語).
  9. ^ 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 
  10. ^ Senechal, Marjorie, ed (2013). “Shaping Space” (英語). SpringerLink. doi:10.1007/978-0-387-92714-5. https://link.springer.com/book/10.1007/978-0-387-92714-5. 

関連項目




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ボヤイの定理」の関連用語

ボヤイの定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ボヤイの定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのボヤイの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS