三角数

三角数（さんかくすう、）とは、多角数の一種で、点を正三角形の形に並べていったときの点の総数のことである。番目の三角数はからまでの自然数の和に等しい。

定義と例一辺に個の正三角形となるように点を等間隔に並べたときの点の総数はからまでの自然数の和に等しくなり、

と表される。

これを番目の三角数といい、で表す。三角数は無数にあり、最小のものはである。

例えばは一辺に点を個並べたときに該当するので三角数の一つである。 1 3 6 10 15 2116px|●16px|○16px|●16px|●16px|○16px|○16px|○16px|●16px|●16px|●16px|○16px|○16px|○16px|○16px|○16px|○16px|●16px|●16px|●16px|●16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|●16px|●16px|●16px|●16px|●16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|○16px|●16px|●16px|●16px|●16px|●16px|● 特に三角数はピタゴラス（学派）にとって「完全なる数」として大事な数とされた。

において、と定義するとのときも成り立つ。この式は下図のように、番目の三角数を灰色の点の三角形と赤色の点の三角形でそれぞれ表し、2つの三角形を組み合わせると、高さ , 底辺の長方形になり、その長方形の面積の半分として得ることができる。 2 6 12 20 30 4216px|●16px|○16px|●16px|○16px|○16px|●16px|●16px|○16px|●16px|○16px|○16px|○16px|●16px|●16px|○16px|○16px|●16px|●16px|●16px|○16px|●16px|○16px|○16px|○16px|○16px|●16px|●16px|○16px|○16px|○16px|●16px|●16px|●16px|○16px|○16px|●16px|●16px|●16px|●16px|○16px|●16px|○16px|○16px|○16px|○16px|○16px|●16px|●16px|○16px|○16px|○16px|○16px|●16px|●16px|●16px|○16px|○16px|○16px|●16px|●16px|●16px|●16px|○16px|○16px|●16px|●16px|●16px|●16px|●16px|○16px|●16px|○16px|○16px|○16px|○16px|○16px|○16px|●16px|●16px|○16px|○16px|○16px|○16px|○16px|●16px|●16px|●16px|○16px|○16px|○16px|○16px|●16px|●16px|●16px|●16px|○16px|○16px|○16px|●16px|●16px|●16px|●16px|●16px|○16px|○16px|●16px|●16px|●16px|●16px|●16px|●16px|○ 三角数の列は次のようになる。（）

類似の関係三角数を2倍した数を矩形数（くけいすう）という。矩形数とは、行数（横に延びた列の数）と列数（縦に延びた列の数）の差がである長方形の形に点を並べていったときの、点の総数のことである。すなわち、連続する2整数の積である。矩形とは長方形のことで、長方形数ということもある。番目の矩形数は、番目までの正の偶数の総和に等しい：三角数と同様に四角数（しかくすう）も定義される。これは、点を正方形の形に並べていったときの点の総数のことである。これは平方数に等しい。番目の四角数は、番目までの正の奇数の総和に等しい：連続する2つの三角数の和は平方数（四角数）である：これを、を灰色の点、を赤色の点で表すと下図のようになる。 {| !1!! !!4!! !!9!! !!16!! !!25!! !!36 |-align="center" valign="top" |16px|● | |16px|●16px|○16px|●16px|● | |16px|●16px|○16px|○16px|●16px|●16px|○16px|●16px|●16px|● | |16px|●16px|○16px|○16px|○16px|●16px|●16px|○16px|○16px|●16px|●16px|●16px|○16px|●16px|●16px|●16px|● | |16px|●16px|○16px|○16px|○16px|○16px|●16px|●16px|○16px|○16px|○16px|●16px|●16px|●16px|○16px|○16px|●16px|●16px|●16px|●16px|○16px|●16px|●16px|●16px|●16px|● | |16px|●16px|○16px|○16px|○16px|○16px|○16px|●16px|●16px|○16px|○16px|○16px|○16px|●16px|●16px|●16px|○16px|○16px|○16px|●16px|●16px|●16px|●16px|○16px|○16px|●16px|●16px|●16px|●16px|●16px|○16px|●16px|●16px|●16px|●16px|●16px|● |} 番目の四角数と番目の矩形数の和は番目の三角数に等しい。

各種の性質三角数は組合せ記号で表すことができる：（）チームの総当たりのリーグ戦における全試合の回数はに等しい。三角数はで割り切れるか、もしくはで割ると余る数のどちらかである。三角数にを掛けてを足した数もまた三角数である。自然数のまでの立方和はに等しい：三角数の逆数和はに収束する。これは矩形数の逆数和の倍である：

この部分分数分解から、三角数の逆数を個、個、個、・・の（) 乗個、・・ずつ順に加えてゆくと初項 , 公比の無限等比数列になることが導かれる。

… 三角数の漸化式としてやなどが挙げられる。ゾロ目である三角数はだけである。あらゆる自然数は高々3つの三角数の和で表すことができる、という定理がある。これは、ガウスによって1796年（彼の日誌によれば7月10日）に証明された。この定理は全ての自然数が高々個の角数の和で表すことができるというフェルマーの多角数定理の中に含まれている。偶数の完全数はメルセンヌ素数番目の三角数でもある。平方数でもある三角数は平方三角数と呼ばれ、無数にある。（）フィボナッチ数である三角数は（）五角数である三角数は（）楔数である三角数は（）ハーシャッド数である三角数は（）等比三項の和で表せる三角数は（）（が定義できないのでは除外した。) は全て五角数であり、は全て六角数である。また六角数は全て三角数でもある。中心つき多角数は、三角数にをかけて、を加えた値になっている。

… と無限に続く足し算の等式はタルタリアの三角形と呼ばれる。上から n 段目の等式の値は n 番目の三角数の 2n + 1 倍である。1段目から n 段目までの総和は、1から n までの立方和（n 番目の三角数の自乗）の 1 + 2/n 倍であり、連続三角数の積である。

… と無限に続く自乗和の等式も同じ名で呼ばれる。上から n 段目の等式は 2n 番目の（六角数でない）三角数から 2n + 1 個の連続数の自乗項を左辺で n + 1 個、右辺で n 個足したものである。中央は n 番目の三角数の4倍の自乗である。等式の値は1から n までの立方和の 16(n + 1/2) 倍と n 番目の四角錐数の和に等しい。

… 上記のように自乗和の三角形から漏れた数にも、足し算の三角形と興味深い関係がある。即ち 2n - 1 番目の三角数（n 番目の六角数）から 2n 個の連続数の n 個ずつの自乗和の差は、足し算の三角形の1段目から 2n - 1 段目までの総和に等しく、連続三角数の積である。例えば 6 + 7 と 8 + 9 の差60は足し算の三角形の1段目から3段目までの総和に等しく、 6 × 10 である。また、自乗和の三角形の順序を入れ換えると、次のように別の連続三角数の積が現れる。n 段目の積は足し算の三角形の1段目から 2n 段目までの総和に等しく、足し算と自乗和の三角形の n 段目の中央数の和に等しい。例えば2段目の 10 × 15 は足し算の三角形の1段目から4段目までの総和に等しく、6 + 12 である。

…

三角数の判定与えられた自然数が三角数であるには、が整数であることが必要十分である。また

で与えられるはが番目の三角数を表している。この式はについての二次方程式の解である。

ゼロ以外の三角数の数字根はのいずれかである。したがって、与えられた自然数の数字根を計算してこれらでなければは三角数ではない。

5で割った余りが2または4であることは、三角数でないことを示すに十分である。

三角数の一般次元への拡張点を配置する空間の次元をにして、点を正四面体（三角錐）状に配置したとき、その総数を三角錐数（四面体数）という。第三角錐数は、第三角数から第三角数までの総和であるが、その値をとおくとと書くことができる。また、同様に三角錐数の総和として、4次元空間での「三角数」（一般的に「単体数」という）五胞体数を定義することができる。以下、一般次元の空間（ここでは次元）まで概念の拡張を行ったとき、第番目の単体数は

となる。 350px|thumb|パスカルの三角形パスカルの三角形における数列は左上（または右上）にある列から順に: モナド（単数）の数列　自然数の数列三角数の数列三角錐数の数列五胞体数の数列となっている。左上（または右上）にある数列はその1つ右下（または左下）の数列の階差数列である。

脚注

注釈

出典

参考文献

Źródło i licencja