三角数

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

## 定義と例
一辺に  個の正三角形となるように点を等間隔に並べたときの点の総数は から  までの自然数の和に等しくなり、
:1+2+3+\cdots +n=\frac{n(n+1)}{2} \quad (n \geqq 1).
と表される。

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

例えば  は一辺に点を個並べたときに該当するので三角数の一つである。

特に三角数  はピタゴラス（学派）にとって「完全なる数」として大事な数とされた。
:T_n =1+2+3+\cdots +n=\frac{n(n+1)}{2} \quad (n \geqq 1).
において、 と定義すると  のときも成り立つ。この式は下図のように、番目の三角数を灰色の点の三角形と赤色の点の三角形でそれぞれ表し、2つの三角形を組み合わせると、高さ , 底辺  の長方形になり、その長方形の面積の半分として得ることができる。

三角数の列は次のようになる。
:（）

## 類似の関係
三角数を2倍した数を**[[矩形数]]**（くけいすう）という。矩形数とは、行数（横に延びた列の数）と列数（縦に延びた列の数）の差が  である長方形の形に点を並べていったときの、点の総数のことである。すなわち、連続する2整数の積である。矩形とは長方形のことで、長方形数ということもある。
*番目の矩形数は、番目までの正の偶数の総和に等しい：\textstyle\sum\limits_{k=1}^n 2k=n(n+1)
三角数と同様に**四角数**（しかくすう）も定義される。これは、点を正方形の形に並べていったときの点の総数のことである。これは平方数に等しい。
*番目の四角数は、番目までの正の奇数の総和に等しい：\textstyle\sum\limits_{k=1}^n (2k-1)=n^2
*連続する2つの三角数の和は平方数（四角数）である：
:これを、 を灰色の点、 を赤色の点で表すと下図のようになる。
:
* 番目の四角数  と  番目の矩形数  の和は  番目の三角数  に等しい。

## 各種の性質
*三角数は組合せ記号で表すことができる：
*（）チームの総当たりのリーグ戦における全試合の回数は  に等しい。
*三角数は  で割り切れるか、もしくは  で割ると  余る数のどちらかである。
*三角数に  を掛けて  を足した数もまた三角数である。
*自然数の  までの立方和は  に等しい：\textstyle\sum\limits_{k=1}^n k^3 =\left\{ \dfrac{n(n+1)}{2} \right\}^2
*三角数の逆数和は  に収束する。これは矩形数の逆数和  の  倍である：
:\textstyle\sum\limits_{n=1}^{\infty} \dfrac{1}{\frac{n(n+1)}{2}} =2 \sum\limits_{n=1}^{\infty} \left( \dfrac{1}{n} - \dfrac{1}{n+1} \right) =2
:この部分分数分解から、三角数の逆数を  個、  個、  個、 ・・ の （) 乗個、・・ずつ順に加えてゆくと初項 , 公比  の無限等比数列になることが導かれる。
::\frac{1}{1} = 1
::\frac{1}{3} + \frac{1}{6} = \frac{1}{2}
::\frac{1}{10} + \frac{1}{15} + \frac{1}{21} + \frac{1}{28} = \frac{1}{4}
:…
*三角数の漸化式として
: や  などが挙げられる。
*ゾロ目である三角数は  だけである。
*あらゆる自然数は高々3つの三角数の和で表すことができる、という定理がある。これは、ガウスによって1796年（彼の日誌によれば7月10日）に証明された。この定理は全ての自然数が高々個の角数の和で表すことができるというフェルマーの多角数定理の中に含まれている。
*偶数の完全数はメルセンヌ素数番目の三角数でもある。
*平方数でもある三角数は平方三角数と呼ばれ、無数にある。（）
*フィボナッチ数である三角数は （）
*五角数である三角数は （）
*楔数である三角数は （）
*ハーシャッド数である三角数は （）
*等比三項の和  で表せる三角数は （）（ が定義できないので  は除外した。)
* は全て五角数であり、 は全て六角数である。また六角数は全て三角数でもある。
*中心つき多角数  は、三角数に  をかけて、  を加えた値になっている。

*:1 + 2 = 3
::4 + 5 + 6 = 7 + 8
::9 + 10 + 11 + 12 = 13 + 14 + 15
:…
と無限に続く足し算の等式はタルタリアの三角形と呼ばれる。上から *n* 段目の等式の値は *n* 番目の三角数の *2n + 1* 倍である。1段目から *n* 段目までの総和は、1から *n* までの立方和（*n* 番目の三角数の自乗）の *1 + 2/n* 倍であり、連続三角数の積である。
*:3^2 + 4^2 = 5^2
::10^2 + 11^2 + 12^2 = 13^2 + 14^2
::21^2 + 22^2 + 23^2 + 24^2 = 25^2 + 26^2 + 27^2
:…
と無限に続く自乗和の等式も同じ名で呼ばれる。上から *n* 段目の等式は *2n* 番目の（六角数でない）三角数から *2n + 1* 個の連続数の自乗項を左辺で *n + 1* 個、右辺で *n* 個足したものである。中央は *n* 番目の三角数の4倍の自乗である。等式の値は1から *n* までの立方和の *16(n + 1/2)* 倍と *n* 番目の四角錐数の和に等しい。
*:1^2 + 1*3 = 2^2
::6^2 + 7^2 + 6*10 = 8^2 + 9^2
::15^2 + 16^2 + 17^2 + 15*21 = 18^2 + 19^2 + 20^2
:…
上記のように自乗和の三角形から漏れた数にも、足し算の三角形と興味深い関係がある。即ち *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* である。
*:3^2 + 5^2 = 4^2 + 3*6
::10^2 + 12^2 + 14^2 = 11^2 + 13^2 + 10*15
::21^2 + 23^2 + 25^2 + 27^2 = 22^2 + 24^2 + 26^2 + 21*28
:…

## 三角数の判定
与えられた自然数  が三角数であるには、\sqrt{8N+1} が整数であることが必要十分である。また
:n=\frac{\sqrt{8N+1}-1}{2}
で与えられる  は  が  番目の三角数を表している。この式は  についての二次方程式  の解である。

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

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

## 三角数の一般次元への拡張
点を配置する空間の次元を  にして、点を正四面体（三角錐）状に配置したとき、その総数を**[[三角錐数]]**（四面体数）という。第  三角錐数は、第  三角数から第  三角数までの総和であるが、その値を  とおくと N=\frac{n(n+1)(n+2)}{6} と書くことができる。また、同様に三角錐数の総和として、4次元空間での「三角数」（一般的に「単体数」という）五胞体数を定義することができる。以下、一般次元の空間（ここでは  次元）まで概念の拡張を行ったとき、第  番目の単体数  は
:T_r (n)= \textstyle\prod\limits_{k=1}^r \displaystyle\left( 1+\frac{n-1}{k} \right) =\frac{n(n+1)\cdots (n+r-1)}{r!} =\binom{n+r-1}{r} ={}_{n+r-1}{\rm C}_r
となる。
350px|thumb|パスカルの三角形
パスカルの三角形における数列は左上（または右上）にある列から順に:
*モナド（単数）の数列　
*自然数の数列 
*三角数の数列 
*三角錐数の数列 
*五胞体数の数列 
となっている。左上（または右上）にある数列はその1つ右下（または左下）の数列の階差数列である。

## 脚注

### 注釈

### 出典

## 参考文献
*

## 関連項目

*多角数
*図形数
*平方数
*立方数
*累積和

## 外部リンク
* 
* 
*