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

ボヤイの定理(ボヤイのていり、英: 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について、Pをn個の欠片に分解してQを構成するとき、nの最小値をσ(P, Q)で表す。
図形によってはσ(P, Q)の上界と下界を推定することができる。多角形Pの直径をd(P)で与える。アルフレト・タルスキはPが凸ならばσ(P, Q) ≧ d(P)/d(Q)であることを証明した[9]。
底辺と高さがそれぞれax, a/x(x > 0)である長方形をPx、一辺がaの正方形をQとする。Px, Qは等積である。今、x ≧ 1であるとき、
が成立する。x ≦ 1の場合は、PxとP1/xが合同であることより
が成立する[9]。
一般化
この問題を三次元に拡張した予想がヒルベルトの23の問題の第3問題に挙げられていたが、1900年にマックス・デーンによって否定的に解決された。双曲平面や球面でもボヤイの定理の類似物が成立するが、双曲空間などにおいて成立するかどうかは未解決である[10]。
脚注
- ^ 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 .
- ^ Bogomolny, Alexander. “Wallace-Bolyai-Gerwien Theorem”. Cut the knot. 2025年5月3日閲覧。
- ^ Andras, Szilard; Tamasi, Csaba. “Teaching geometry through play”. 2025年5月3日閲覧。
- ^ 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 .
- ^ 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 .
関連項目
- 裁ち合わせ問題
- モンスキーの定理
- ボヤイの定理のページへのリンク