三角形數 是一個 圖形數,可以用三角形點陣的形式表示,其中第一行包含一個元素,隨後的每一行都比前一行多一個元素。上面以
、
、... 為例進行了說明。因此,三角形數是 1、
、
、
、...,因此對於
、2、...,前幾個是 1, 3, 6, 10, 15, 21, ... (OEIS A000217)。
更正式地說,三角形數是透過將所有小於或等於給定正整數 的正整數相加而獲得的數,即,
|
(1)
| |||
|
(2)
| |||
|
(3)
|
其中 是一個 二項式係數。因此,一群
人之間可以發出的不同碰杯聲的數量(這僅僅是
)由三角形數
給出。
因此,三角形數 是 階乘
的加法模擬。
上面顯示了表示為二進位制位的序列的前幾個三角形數的圖。頂部部分顯示了 到
,底部顯示了接下來的 510 個值。
奇數三角形數由 1, 3, 15, 21, 45, 55, ... (OEIS A014493) 給出,而偶數三角形數是 6, 10, 28, 36, 66, 78, ... (OEIS A014494)。
給出了 四面體數 的數量和排列(這也是 保齡球 瓶的排列),而
給出了 檯球 中球的數量和排列。三角形數滿足 遞推關係
|
(4)
|
以及
|
(5)
| |||
|
(6)
| |||
|
(7)
| |||
|
(8)
|
此外,三角形數可以透過以下方式與平方數關聯:
|
(9)
| |||
|
(10)
|
(Conway 和 Guy 1996),如上圖所示(Wells 1991,第 198 頁)。
三角形數的普通 生成函式 為
|
(11)
| |||
|
(12)
|
和 指數生成函式 為
|
(13)
| |||
|
(14)
| |||
|
(15)
|
(Sloane 和 Plouffe 1995,第 9 頁)。
每隔一個三角形數 都是一個 六邊形數,其中
|
(16)
|
此外,每個 五邊形數 都是三角形數的 1/3,其中
|
(17)
|
連續三角形數的和是一個 平方數,因為
|
(18)
| |||
|
(19)
| |||
|
(20)
|
|
(21)
| |||
|
(22)
| |||
|
(23)
| |||
|
(24)
| |||
|
(25)
|
|
(26)
|
所有 偶數 完全數 都是三角形數 ,其中 素數
。此外,每個 偶數 完全數
都是 形式
|
(27)
|
其中 是一個三角形數,其中
(Eaton 1995, 1996)。因此,巢狀表示式
|
(28)
|
為任何 生成三角形數。一個 整數
是一個三角形數 當且僅當
是一個 平方數
。
數字 1, 36, 1225, 41616, 1413721, 48024900, ... (OEIS A001110) 是 平方三角形數,即同時是三角形數和 平方數 的數字 (Pietenpol 1962)。相應的平方根是 1, 6, 35, 204, 1189, 6930, ... (OEIS A001109),並且相應的三角形數 的索引是
、8、49、288、1681、... (OEIS A001108)。
|
(29)
|
其唯一的解是
|
(30)
| |||
|
(31)
| |||
|
(32)
| |||
|
(33)
|
(Guy 1994,第 147 頁)。
下表給出了具有素數索引 的三角形數
。
| 類別 | Sloane | 序列 |
| 具有素數索引的 | A034953 | 3, 6, 15, 28, 66, 91, 153, 190, 276, 435, 496, ... |
| 具有素數索引的奇數 | A034954 | 3, 15, 91, 153, 435, 703, 861, 1431, 1891, 2701, ... |
| 具有素數索引的偶數 | A034955 | 6, 28, 66, 190, 276, 496, 946, 1128, 1770, 2278, ... |
根據 Cesàro 在 1886 年的確定 (Le Lionnais 1983, p. 56),使得 是三角形數四倍的兩個 整數 中最小的是 5。唯一是三角形數的 斐波那契數 是 1、3、21 和 55 (Ming 1989),唯一是三角形數的 佩爾數 是 1 (McDaniel 1996)。野獸數 666 是三角形數,因為
|
(34)
|
事實上,它是最大的 重覆數字 三角形數 (Bellew 和 Weger 1975-76)。
的正除數都具有
的形式,
的正除數都具有
的形式,而
的正除數都具有
的形式;也就是說,它們的十進位制數字以 1 或 9 結尾。
費馬多邊形數定理 指出,每個 正整數 都是至多三個三角形數、四個 平方數、五個 五邊形數 和 個
-多邊形數 的和。高斯證明了三角形的情況 (Wells 1986, p. 47),並在 1796 年 7 月 10 日在他的日記中記錄了這一事件,並帶有符號
|
(35)
|
這種情況等同於每個 形式 為 的數都是三個 奇數 平方數 的和的陳述 (Duke 1997)。狄利克雷推匯出了一個 整數
可以表示為三個三角形數之和的方式的數量 (Duke 1997)。對於 形式 為
的 素數,結果特別簡單,在這種情況下,它是平方模
的數量減去從 1 到
的 區間 內的非平方模
的數量 (Deligne 1973, Duke 1997)。
唯一是三個連續 整數 的 乘積 的三角形數是 6, 120, 210, 990, 185136, 258474216 (OEIS A001219; Guy 1994, p. 148)。