三角数

三角数（さんかくすう、）とは、多角数の一種で、点を正三角形の形に並べていったときの点の総数のことである。番目の三角数は から までの自然数の和に等しい。
定義と例.
一辺に 個の正三角形となるように点を等間隔に並べたときの点の総数は から までの自然数の和に等しくなり、
と表される。
これを 番目の三角数といい、 で表す。三角数は無数にあり、最小のものは である。
例えば は一辺に点を個並べたときに該当するので三角数の一つである。
特に三角数 はピタゴラス（学派）にとって「完全なる数」として大事な数とされた。
において、 と定義すると のときも成り立つ。この式は下図のように、番目の三角数を灰色の点の三角形と赤色の点の三角形でそれぞれ表し、2つの三角形を組み合わせると、高さ , 底辺 の長方形になり、その長方形の面積の半分として得ることができる。
三角数の列は次のようになる。
類似の関係.
三角数を2倍した数を矩形数（くけいすう）という。矩形数とは、行数（横に延びた列の数）と列数（縦に延びた列の数）の差が である長方形の形に点を並べていったときの、点の総数のことである。すなわち、連続する2整数の積である。矩形とは長方形のことで、長方形数ということもある。
三角数と同様に四角数（しかくすう）も定義される。これは、点を正方形の形に並べていったときの点の総数のことである。これは平方数に等しい。
各種の性質.
と無限に続く足し算の等式はタルタリアの三角形と呼ばれる。上から "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" である。
三角数の判定.
与えられた自然数 が三角数であるには、formula_22 が整数であることが必要十分である。また
で与えられる は が 番目の三角数を表している。この式は についての二次方程式 の解である。
ゼロ以外の三角数の数字根は のいずれかである。したがって、与えられた自然数 の数字根を計算してこれらでなければ は三角数ではない。
5で割った余りが2または4であることは、三角数でないことを示すに十分である。
三角数の一般次元への拡張.
点を配置する空間の次元を にして、点を正四面体（三角錐）状に配置したとき、その総数を三角錐数（四面体数）という。第 三角錐数は、第 三角数から第 三角数までの総和であるが、その値を とおくと formula_24 と書くことができる。また、同様に三角錐数の総和として、4次元空間での「三角数」（一般的に「単体数」という）五胞体数を定義することができる。以下、一般次元の空間（ここでは 次元）まで概念の拡張を行ったとき、第 番目の単体数 は
となる。
パスカルの三角形における数列は左上（または右上）にある列から順に:
となっている。左上（または右上）にある数列はその1つ右下（または左下）の数列の階差数列である。