Nombor segi tiga

**Nombor segi tiga** mengira objek yang disusun dalam segi tiga sama. Nombor segi tiga ialah sejenis nombor kiasan, contoh lain ialah nombor segi empat sama dan nombor kubus. Nombor segi tiga yang ke- ialah bilangan titik dalam susunan segi tiga dengan  titik pada setiap sisi, dan adalah sama dengan hasil tambah  nombor asli dari 1 hingga . Urutan nombor segi tiga, bermula dengan nombor segi tiga ke-0, ialah:

## Rumus
Nombor segi tiga diberikan oleh rumus eksplisit berikut, di mana \textstyle {n+1 \choose 2} ialah tatatanda bagi pekali binomial. Ia mewakili bilangan pasangan berbeza yang boleh dipilih  objek, dan ia dibaca dengan kuat sebagai " tambah satu pilih dua".

Hakikat bahawa ke-n nombor segi tiga ke sama n(n+1)/2 boleh digambarkan menggunakan bukti visual. Bagi setiap nombor segi tiga T_n, bayangkan susunan objek "separuh segi empat tepat" sepadan dengan nombor segi tiga, seperti dalam rajah di bawah. Menyalin susunan ini dan memutarkannya untuk mencipta angka segi empat tepat menggandakan bilangan objek, menghasilkan segi empat tepat dengan dimensi n \times (n+1), yang juga merupakan bilangan objek dalam segi empat tepat. Jelas sekali, nombor segi tiga itu sendiri sentiasa tepat separuh daripada bilangan objek dalam rajah sedemikian, atau: T_n = \frac{n(n+1)}{2} .  Rumus ini boleh dibuktikan secara formal menggunakan aruhan matematik. Ia jelas benar untuk 1:

T_1 = \sum_{k=1}^{1}k = \frac{1(1 + 1)}{2} = \frac{2}{2} = 1.

Sekarang anggap bahawa, untuk beberapa nombor asli m, T_m = \sum_{k=1}^{m}k = \frac{m(m + 1)}{2}. Menambah m + 1 kepada hasil ini:


\begin{align}
  \sum_{k=1}^{m}k + (m + 1) &= \frac{m(m + 1)}{2} + m + 1\\
                            &= \frac{m(m + 1) + 2m + 2}{2}\\
                            &= \frac{m^2 + m + 2m + 2}{2}\\
                            &= \frac{m^2 + 3m + 2}{2}\\
                            &= \frac{(m + 1)(m + 2)}{2},
\end{align}


jadi jika rumus itu benar untuk m, ia adalah benar untuk m+1. Oleh kerana ia jelas benar untuk 1, oleh itu adalah benar untuk 2, 3, dan akhirnya semua nombor asli n secara induksi.

Ahli matematik dan saintis Jerman, Carl Friedrich Gauss, dikatakan telah menemui hubungan ini pada awal mudanya, dengan membiak  pasangan nombor dalam jumlah dengan nilai setiap pasangan . Walau bagaimanapun, tanpa mengira kebenaran cerita ini, Gauss bukanlah orang pertama yang menemui rumus ini, dan ada yang mendapati kemungkinan asalnya berasal dari Pythagorean pada abad ke-5 SM.. Kedua-dua rumus itu diterangkan oleh sami Ireland Dicuil pada kira-kira 816 dalam Computusnya. Terjemahan Bahasa Inggeris untuk akaun Dicuil tersedia.

Nombor segi tiga  menyelesaikan **masalah jabat tangan** mengira bilangan jabat tangan jika setiap orang dalam bilik dengan  orang berjabat tangan sekali dengan setiap orang. Dengan kata lain, penyelesaian kepada masalah jabat tangan  orang adalah . Fungsinya  ialah analog aditif bagi fungsi faktorial, yang mana satu *products* daripada integer dari 1 hingga .

Fungsi yang sama ini dicipta sebagai "*Terminal function*" oleh Donald Knuth's *The Art of Computer Programming* dan dilambangkan ***n?*** (analog untuk tatatanda faktorial ***n!***)

Contohnya,***10 terminal*** adalah bersamaan dengan:

 10? = 1+2+3+4+5+6+7+8+9+10 = 55 

yang sudah tentu, sepadan dengan nombor segi tiga kesepuluh.

Bilangan segmen garisan antara pasangan titik terdekat dalam segi tiga boleh diwakili dari segi bilangan titik atau dengan hubungan berulang: L_n = 3 T_{n-1}= 3{n \choose 2};~~~L_n = L_{n-1} + 3(n-1), ~L_1 = 0.

Dalam had, nisbah antara dua nombor, titik dan segmen garis ialah: \lim_{n\to\infty} \frac{T_n}{L_n} = \frac{1}{3}.

## Perkaitan dengan nombor kiasan yang lain
Nombor segi tiga mempunyai pelbagai jenis hubungan dengan nombor kiasan yang lain.

Secara ringkasnya, hasil tambah dua nombor segi tiga berturut-turut ialah nombor kuasa dua, dengan jumlahnya ialah kuasa dua perbezaan antara kedua-duanya (dan dengan itu perbezaan kedua-duanya ialah punca kuasa dua jumlah itu). Secara algebra, T_n + T_{n-1} = \left (\frac{n^2}{2} + \frac{n}{2}\right) + \left(\frac{\left(n-1\right)^2}{2} + \frac{n-1}{2} \right ) = \left (\frac{n^2}{2} + \frac{n}{2}\right) + \left(\frac{n^2}{2} - \frac{n}{2} \right ) = n^2 = (T_n - T_{n-1})^2.

Fakta ini boleh ditunjukkan secara grafik dengan meletakkan segi tiga dalam arah yang bertentangan untuk mencipta segi empat sama:

Gandaan nombor segi tiga, seperti dalam bukti visual daripada bahagian di atas § Rumus, dipanggil nombor pronik.

Terdapat tak terhingga banyak nombor segi tiga yang juga nombor segi empat sama; contohnya, 1, 36, 1225. Sebahagian daripadanya boleh dijana oleh rumus rekursif mudah: S_{n+1} = 4S_n \left( 8S_n + 1\right) dengan S_1 = 1.

Semua nombor segi tiga segi empat sama didapati daripada rekursi: S_n = 34S_{n-1} - S_{n-2} + 2 with S_0 = 0 and S_1 = 1.

Juga, segi empat sama ke- nombor segi tiga ke adalah sama dengan hasil tambah kubus bagi integer 1 hingga . Ini juga boleh dinyatakan sebagai  \sum_{k=1}^n k^3 = \left(\sum_{k=1}^n k \right)^2.

Jumlah yang pertama  nombor segi tiga ialah ke- nombor tetrahedral ke:  \sum_{k=1}^n T_k = \sum_{k=1}^n \frac{k(k+1)}{2} = \frac {n(n+1)(n+2)} {6}.

Secara umumnya, perbezaan antara nombor m-gonal ke-n dan nombor ke-n (m + 1)-gonal ialah nombor segi tiga (n − 1). Contohnya, nombor heptagonal keenam (81) tolak nombor heksagon keenam (66) sama dengan nombor segi tiga kelima, 15. Setiap nombor segi tiga lain ialah nombor heksagon. Mengetahui nombor segi tiga, seseorang boleh mengira sebarang nombor poligon berpusat; nombor k-gonal berpusat ke-n diperoleh dengan rumus:Ck_n = kT_{n-1}+1

di mana T ialah nombor segi tiga.

Perbezaan positif dua nombor segi tiga ialah nombor trapezoid.

Corak yang ditemui untuk nombor segi tiga  \sum_{n_1=1}^{n_2}n_1=\binom{n_2+1}{2} dan untuk nombor tetrahedral  \sum_{n_2=1}^{n_3}\sum_{n_1=1}^{n_2} n_1=\binom{n_3+2}{3}, yang menggunakan pekali binomial, boleh digeneralisasikan. Ini membawa kepada rumus:  \sum_{n_{k-1}=1}^{n_k}\sum_{n_{k-2}=1}^{n_{k-1}} \dots \sum_{n_2=1}^{n_3}\sum_{n_1=1}^{n_2}n_1 =\binom{n_k+k-1}{k}

## Sifat-sifat lain
Nombor segi tiga sepadan dengan kes darjah pertama rumus Faulhaber.

Nombor segi tiga berselang-seli (1, 6, 15, 28, ...) juga ialah nombor heksagon.

Setiap nombor genap sempurna adalah segi tiga (dan juga heksagon), diberikan oleh rumus: M_p 2^{p-1} = \frac{M_p (M_p + 1)}2 = T_{M_p}di mana  ialah perdana Mersenne. Tiada nombor sempurna ganjil diketahui; oleh itu, semua nombor sempurna yang diketahui adalah segi tiga.

Sebagai contoh, nombor segi tiga ketiga ialah (3 × 2 =) 6, yang ketujuh ialah (7 × 4 =) 28, yang ke-31 ialah (31 × 16 =) 496, dan yang ke-127 ialah (127 × 64 =) 8128.

Digit akhir bagi nombor segi tiga ialah 0, 1, 3, 5, 6, atau 8, dan oleh itu nombor tersebut tidak pernah berakhir dengan 2, 4, 7, atau 9. 3 akhir mesti didahului dengan 0 atau 5; 8 akhir mesti didahului dengan 2 atau 7.

Dalam asas 10, punca digital bagi nombor segi tiga bukan sifar ialah 1, 3, 6, atau 9. Oleh itu, setiap nombor segi tiga sama ada boleh dibahagikan dengan tiga atau mempunyai baki 1 apabila dibahagikan dengan 9:

Corak akar digital untuk nombor segi tiga, mengulangi setiap sembilan sebutan, seperti yang ditunjukkan di atas, ialah "1, 3, 6, 1, 6, 3, 1, 9, 9".

Sebaliknya pernyataan di atas, bagaimanapun, tidak selalu benar. Sebagai contoh, punca digital bagi 12, yang bukan nombor segi tiga, ialah 3 dan boleh dibahagikan dengan tiga.

Jika  ialah nombor segi tiga, maka  juga merupakan nombor segi tiga, diberi  ialah segi empat sama ganjil dan . Perhatikan bahawa  akan sentiasa menjadi nombor segi tiga, kerana , yang menghasilkan semua petak ganjil didedahkan dengan mendarab nombor segi tiga dengan 8 dan menambah 1, dan proses untuk  diberi  ialah segi empat sama ganjil ialah songsang bagi operasi ini. Beberapa pasangan pertama borang ini (tidak dikira ) ialah: , , , , , , dan sebagainya. Diberi  sama dengan , rumus ini menghasilkan , , , , dan sebagainya.

Hasil tambah bagi salingan semua nombor segi tiga bukan sifar ialah: \sum_{n=1}^{\infty}{1 \over  = 2\sum_{n=1}^{\infty}{1 \over {n^2 + n}} = 2 .

Ini boleh ditunjukkan dengan menggunakan jumlah asas siri teleskop:  \sum_{n=1}^{\infty}{1 \over {n(n+1)}} = 1 .

Dua rumus lain mengenai nombor segi tiga ialah: T_{a+b} = T_a + T_b + ab dan T_{ab} = T_aT_b + T_{a-1}T_{b-1},kedua-duanya boleh diwujudkan dengan mudah sama ada dengan melihat corak titik (lihat di atas) atau dengan beberapa algebra mudah.

Pada tahun 1796, Gauss mendapati bahawa setiap integer positif boleh diwakili sebagai jumlah tiga nombor segi tiga (mungkin termasuk  = 0), menulis dalam diarinya kata-katanya yang terkenal, "ΕΥΡΗΚΑ! ". Teorem ini tidak membayangkan bahawa nombor segi tiga adalah berbeza (seperti dalam kes 20 = 10 + 10 + 0), dan penyelesaian dengan tepat tiga nombor segi tiga bukan sifar mesti wujud. Ini adalah kes khas teorem nombor poligon Fermat.

Nombor segi tiga terbesar dalam bentuk  ialah 4095 (persamaan Ramanujan–Nagell).

Wacław Franciszek Sierpiński mengemukakan soalan tentang kewujudan empat nombor segi tiga yang berbeza dalam janjang geometri. Ia telah disangka oleh ahli matematik Poland Kazimierz Szymiczek sebagai mustahil dan kemudiannya dibuktikan oleh Fang dan Chen (2007).

Rumus yang melibatkan menyatakan integer sebagai jumlah nombor segi tiga disambungkan kepada fungsi theta, khususnya fungsi theta Ramanujan.

Hasil tambah dua nombor segi tiga berturut-turut ialah nombor kuasa dua sejak:

: T_{n - 1} + T_{n}
: = \frac{1}{2} \, n(n-1) + \frac{1}{2} \, n (n + 1)
: = \frac{1}{2} \, n\Bigl((n - 1) + (n + 1)\Bigr)
: = n^2

Sifat ini, yang dikenali sebagai teorem Theon of Smyrna, ditunjukkan secara visual dalam jumlah berikut, yang mewakili T_{4} + T_{5} = 5^2 sebagai jumlah digit:

\begin{array}{ccccccc}
    & 4 & 3 & 2 & 1 & \\
+   & 1 & 2 & 3 & 4 & 5 \\
\hline
    & 5 & 5 & 5 & 5 & 5
\end{array}

## Aplikasi
Rangkaian n peranti pengkomputeran yang bersambung sepenuhnya memerlukan kehadiran  kabel atau sambungan lain; ini bersamaan dengan masalah jabat tangan yang dinyatakan di atas.

Dalam format kejohanan yang menggunakan peringkat kumpulan *round-robin*, bilangan perlawanan yang perlu dimainkan antara  pasukan adalah sama dengan numbe segi tigar . Sebagai contoh, peringkat kumpulan dengan 4 pasukan memerlukan 6 perlawanan, dan peringkat kumpulan dengan 8 pasukan memerlukan 28 perlawanan. Ini juga bersamaan dengan masalah jabat tangan dan masalah rangkaian yang disambungkan sepenuhnya.

Satu cara untuk mengira susut nilai aset ialah kaedah angka jumlah tahun, yang melibatkan pencarian , di mana  ialah panjang dalam tahun hayat berguna aset. Setiap tahun, barang itu hilang , di mana  ialah nilai permulaan item (dalam unit mata wang),  ialah nilai salvage akhir,  ialah jumlah tahun item itu boleh digunakan, dan y tahun semasa dalam jadual susut nilai. Di bawah kaedah ini, item dengan hayat boleh guna sebanyak  = 4 tahun akan rugi  daripada nilai "boleh hilang" pada tahun pertama,  pada yang kedua,  dalam yang ketiga, dan  dalam yang keempat, mengumpul jumlah susut nilai sebanyak  (keseluruhan) nilai hilang.

Pereka permainan papan Geoffrey Engelstein dan Isaac Shalev menggambarkan nombor segi tiga sebagai telah mencapai "hampir status *mantra* atau *koan* dalam kalangan pereka permainan", menggambarkannya sebagai "sangat intuitif" dan "ditonjolkan dalam sejumlah besar permainan, [membuktikan] sangat serba boleh. dalam menyediakan ganjaran yang semakin meningkat untuk set yang lebih besar tanpa terlalu memberi insentif pengkhususan dengan mengecualikan semua strategi lain".

## Punca segi tiga dan ujian untuk nombor segi tiga
Dengan analogi dengan punca kuasa dua bagi , seseorang boleh mentakrifkan punca segi tiga (positif) bagi x sebagai nombor n supaya : n = \frac{\sqrt{8x+1}-1}{2}

yang mengikuti serta-merta daripada rumus kuadratik. Jadi integer *x* ialah segi tiga jika dan hanya jika 8*x* + 1 ialah segi empat sama. Setara, jika punca segi tiga positif *n* bagi *x* ialah integer, maka *x* ialah nombor segi tiga ke-*n*.

## Nama alternatif
Seperti yang dinyatakan, nama alternatif yang dicadangkan oleh Donald Knuth, dengan analogi kepada faktorial, adalah "terminal", dengan tatatanda *n?* untuk nombor segi tiga ke- Walau bagaimanapun, walaupun beberapa sumber lain menggunakan nama dan tatatanda ini, mereka tidak digunakan secara meluas.

## Rujukan

## Pautan luar

*
* Triangular numbers at cut-the-knot
* There exist triangular numbers that are also square at cut-the-knot
* 
* Hypertetrahedral Polytopic Roots by Rob Hubbard, including the generalisation to *triangular cube roots*, some higher dimensions, and some approximate formulas