中心つき八面体数のソースを表示

[[ファイル:Haüy_construction_129.svg|サムネイル|240x240ピクセル|129個の立方体から構成される八面体のアユイ構成]]
'''中心つき八面体数'''（ちゅうしんつきはちめんたいすう、{{lang-en-short|centered octahedral number}}）または '''アユイ八面体数'''（{{lang-en-short|Haüy octahedral number }}）とは[[正八面体]]の[[アユイ構成]]を構成する[[立方体]]の数であり、原点を中心とする正八面体の内部に存在する三次元整数座標の数として表される[[図形数]]である。{{仮リンク|デラノイ数|en|Delannoy number}}の特殊な場合（遠回りを許さない、45° の移動が可能な2次元格子の経路数、後述）でもある。アユイ八面体数は[[ルネ＝ジュスト・アユイ]]にちなんで名付けられた。

== 歴史 ==
アユイ八面体数は 18 世紀から 19 世紀初頭に活躍したフランスの[[鉱物学者]]であるルネ＝ジュスト・アユイにちなんで名付けられた。アユイが提唱したアユイ構成は八面体を[[ポリキューブ]]で近似するものであり、中心となる立方体に同心状に立方体を接合することで近似した。中心つき八面体数はこの近似に用いられる立方体の数である<ref>{{citation|title=Proceedings of Bridges 2013: Mathematics, Music, Art, Architecture, Culture|year=2013|last=Fathauer|first=Robert W.|url=http://archive.bridgesmathart.org/2013/bridges2013-175.pdf|contribution=Iterative arrangements of polyhedra – Relationships to classical fractals and Haüy constructions}}</ref>。
アユイはこの八面体のアユイ構成を提唱しただけでなく、他の多面体を含め、結晶の構造解析モデルを提唱した<ref>{{citation|title=The Dialectic Relation Between Physics and Mathematics in the XIXth Century|year=2013|last=Maitte|first=Bernard|series=History of Mechanism and Machine Science|volume=16|pages=1–30|contribution=The Construction of Group Theory in Crystallography|publisher=Springer|editor1-last=Barbin|editor2-last=Pisano|editor1-first=Evelyne|editor2-first=Raffaele|doi=10.1007/978-94-007-5380-8_1|isbn=9789400753808}}. See in particular [https://books.google.com/books?id=qaREAAAAQBAJ&pg=PA10 p.&nbsp;10].</ref><ref>{{citation|title=Essai d'une théorie sur la structure des crystaux|year=1784|last=Haüy|first=René-Just|language=French}}. See in particular [https://books.google.com/books?id=ORwUAAAAQAAJ&pg=PA13 pp.&nbsp;13–14]. As cited by {{mathworld|id=HauyConstruction|title=Haűy &#x5b;sic&#x5d; Construction}}</ref>。

== 公式 ==
原点とした立方体のみから ''n'' ステップ目の3次元格子の数は
: <math>\frac{(2n+1)\times(2n^2+2n+3)}{3}</math>
で表され、小さい順に列挙すると ''n'' = 0 から順に
: [[1]], [[7]], [[25]], [[63]], [[129]], [[231]], [[377]], [[575]], 833, 1159, …（{{OEIS|id=A1845}}）<ref name="oeis">{{SloanesRef|A001845|name=Centered octahedral numbers (crystal ball sequence for cubic lattice)}}</ref>
となる。[[母関数]]は<ref name="lm11">{{citation|title=Counting lattice animals in high dimensions|year=2011|last1=Luther|last2=Mertens|first1=Sebastian|first2=Stephan|url=http://stacks.iop.org/1742-5468/2011/i=09/a=P09026|journal=Journal of Statistical Mechanics: Theory and Experiment|volume=2011|issue=9|page=P09026|arxiv=1106.1078}}</ref>
: <math>\frac{(1+x)^3}{(1-x)^4}.</math>
中心つき八面体数 ''C''(''n'')は[[漸化式]]
: <math>C(n)=C(n-1)+4n^2+2</math>
にも従い、2つの連続した[[八面体数]]としても表される。

== 他の定義 ==
[[ファイル:Delannoy3x3.svg|サムネイル|300x300ピクセル|3 × 3 格子に存在する 63 個のドラノワ経路]]
三次元整数座標における八面体（内部の格子の数は中心つき八面体数となる）は、三次元[[マンハッタン距離]]内に存在する[[球]]の数でもある。そのため、ルターとメルテンスは中心つき八面体数のことを「クリスタルボールの体積（the volume of the crystal ball）」と呼んだ。

[[正五角錐]]を用いた中心つき図形数のように、この数列は違う捉え方をすることもできる。三次元の同心正五角錐の頂点数によって定義される数列（1, 6, …）は、それぞれの三角形の面に三角数の格子があり、底面の五角形の面に五角数の格子があり、その合計とも捉えられる<ref name="dd">{{Citation|title=Figurate Numbers|year=2012|last1=Deza|last2=Deza|first1=Elena|first2=Michel|author2-link=Michel Deza|url=https://books.google.com/books?id=cDxYdstLPz4C&pg=PA107|pages=107–109, 132|publisher=World Scientific|isbn=9789814355483|ISBN=9789814355483}}.</ref>。
つまり、三角数 ''T''(''n'') と五角数 ''P''(''n'') を用いて ''C''(''n'') = ''T''(''n'') + 4''T''(''n'' − 1) と表される。

中心つき八面体数はドラノワ数の ''D''(3, ''n'')でもあり、左・上・左上（45°）の移動の組み合わせで左下の点から 3&nbsp;×&nbsp;''n'' の格子を通り、右上の点に行く経路の数でもある<ref name="s03">{{Citation|title=Objects counted by the central Delannoy numbers|year=2003|last=Sulanke|first=Robert A.|url=http://www.emis.ams.org/journals/JIS/VOL6/Sulanke/delannoy.pdf|journal=Journal of Integer Sequences|volume=6|issue=1|at=Article 03.1.5|mr=1971435|MR=1971435}}.</ref>。

== 出典 ==
{{reflist}}

{{DEFAULTSORT:ちゆうしんつきはちめんたいすう}}
[[Category:図形数]]
[[Category:数学に関する記事]]
[[Category:整数の類]]