Lihat sumber bagi Nombor segitiga

[[Fail:First_six_triangular_numbers.svg|thumb|Enam nombor segi tiga pertama (bukan bermula dengan ''T''<sub>0</sub>)]]
[[Fail:Triangular_Numbers_Plot.svg|thumb|Plot 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-{{math|''n''}} ialah bilangan titik dalam susunan segi tiga dengan {{math|''n''}} titik pada setiap sisi, dan adalah sama dengan hasil tambah {{math|''n''}} [[nombor asli]] dari 1 hingga {{math|''n''}}. Urutan nombor segi tiga, bermula dengan nombor segi tiga ke-0, ialah:
{{block indent|0, 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91, 105, 120, 136, 153, 171, 190, 210, 231, 253, 276, 300, 325, 351, 378, 406, 435, 465, 496, 528, 561, 595, 630, 666...|left=1.6}}
{{OEIS|id=A000217}}

== Formula ==
Nombor segi tiga diberikan oleh formula eksplisit berikut, di mana <math>\textstyle {n+1 \choose 2}</math> ialah tatatanda bagi pekali binomial. Ia mewakili bilangan pasangan berbeza yang boleh dipilih {{math|''n'' + 1}} objek, dan ia dibaca dengan kuat sebagai "{{math|''n''}} tambah satu pilih dua".

Hakikat bahawa ke-<math>n</math> nombor segi tiga ke sama <math>n(n+1)/2</math> boleh digambarkan menggunakan bukti visual.<ref>{{cite web|url=https://www.mathsisfun.com/algebra/triangular-numbers.html|title=Triangular Number Sequence|website=Math Is Fun}}</ref> Bagi setiap nombor segi tiga <math>T_n</math>, 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 <math>n \times (n+1)</math>, 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: <math>T_n = \frac{n(n+1)}{2} </math>.  Formula ini boleh dibuktikan secara formal menggunakan aruhan matematik.<ref>{{cite book|url=https://books.google.com/books?id=7JKVu_9InRUC&pg=PA21|title=Calculus|last=Spivak|first=Michael|date=2008|publisher=Publish or Perish|isbn=978-0-914098-91-1|edition=4th|location=Houston, Texas|pages=21–22}}</ref> Ia jelas benar untuk <math>1</math>:

<math display="block">T_1 = \sum_{k=1}^{1}k = \frac{1(1 + 1)}{2} = \frac{2}{2} = 1.</math>

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

<math display="block">
\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}
</math>

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

Ahli matematik dan saintis [[Jerman]], [[Carl Friedrich Gauss]], dikatakan telah menemui hubungan ini pada awal mudanya, dengan membiak {{math|{{sfrac|''n''|2}}}} pasangan nombor dalam jumlah dengan nilai setiap pasangan {{math|''n'' + 1}}.<ref name="Gauss">{{cite web|url=http://www.americanscientist.org/issues/pub/gausss-day-of-reckoning/1|title=Gauss's Day of Reckoning|last=Hayes|first=Brian|website=American Scientist|publisher=Computing Science|archive-url=https://web.archive.org/web/20150402141244/http://www.americanscientist.org/issues/pub/gausss-day-of-reckoning/1|archive-date=2015-04-02|access-date=2014-04-16}}</ref> Walau bagaimanapun, tanpa mengira kebenaran cerita ini, Gauss bukanlah orang pertama yang menemui formula ini, dan ada yang mendapati kemungkinan asalnya berasal dari Pythagorean pada abad ke-5 SM..<ref>{{cite web|url=http://mathcentral.uregina.ca/QQ/database/QQ.09.98/matt1.html|title=Webpage cites AN INTRODUCTION TO THE HISTORY OF MATHEMATICS|last=Eves|first=Howard|publisher=Mathcentral|access-date=28 March 2015}}</ref> Kedua-dua formula itu diterangkan oleh sami Ireland Dicuil pada kira-kira 816 dalam Computusnya.<ref>Esposito, M. An unpublished astronomical treatise by the Irish monk Dicuil. Proceedings of the Royal Irish Academy, XXXVI C. Dublin, 1907, 378-446.</ref> Terjemahan Bahasa Inggeris untuk akaun Dicuil tersedia.<ref>Ross, H.E. & Knott, B.I."Dicuil (9th century) on triangular and square numbers." British Journal for the History of Mathematics, 2019,34 (2), 79-94. https://doi.org/10.1080/26375451.2019.1598687.</ref>

Nombor segi tiga {{math|''T''<sub>''n''</sub>}} menyelesaikan '''masalah jabat tangan''' mengira bilangan jabat tangan jika setiap orang dalam bilik dengan {{math|''n'' + 1}} orang berjabat tangan sekali dengan setiap orang. Dengan kata lain, penyelesaian kepada masalah jabat tangan {{math|''n''}} orang adalah {{math|''T''<sub>''n''−1</sub>}}.<ref>{{cite web|url=http://www.mathcircles.org/node/835|title=The Handshake Problem &#124; National Association of Math Circles|website=MathCircles.org|archive-url=https://web.archive.org/web/20160310182700/http://www.mathcircles.org/node/835|archive-date=10 March 2016|access-date=12 January 2022}}</ref> Fungsinya {{math|''T''}} ialah analog aditif bagi fungsi faktorial, yang mana satu ''products'' daripada [[integer]] dari 1 hingga {{math|''n''}}.

Fungsi yang sama ini dicipta sebagai "''Terminal function''"<ref>{{Cite book|title=The Art of Computer Programming|last=Knuth|first=Donald|edition=3rd|volume=1|pages=48}}</ref> oleh Donald Knuth's ''The Art of Computer Programming'' dan dilambangkan '''''n?''''' (analog untuk tatatanda faktorial '''''n!''''')

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

<math display="block"> 10? = 1+2+3+4+5+6+7+8+9+10 = 55 </math>

yang sudah tentu, sepadan dengan nombor segitiga kesepuluh.

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

Dalam had, nisbah antara dua nombor, titik dan segmen garis ialah: <math display="block">\lim_{n\to\infty} \frac{T_n}{L_n} = \frac{1}{3}.</math>

== 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, <math display="block">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.</math>

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 § Formula, 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 formula rekursif mudah: <math display="block">S_{n+1} = 4S_n \left( 8S_n + 1\right)</math> dengan <math>S_1 = 1.</math>

Semua nombor segi tiga segi empat sama didapati daripada rekursi: <math display="block">S_n = 34S_{n-1} - S_{n-2} + 2</math> with <math>S_0 = 0</math> and <math>S_1 = 1.</math>
[[Fail:Nicomachus_theorem_3D.svg|thumb|Segi empat sama yang panjang sisinya ialah nombor segi tiga boleh dibahagikan kepada segi empat sama dan separuh segi empat sama yang luasnya ditambah kepada kubus. Ini menunjukkan bahawa kuasa dua nombor segi tiga ke-''n'' adalah sama dengan hasil tambah ''n'' nombor kubus pertama.]]
Juga, segi empat sama ke-{{math|''n''}} nombor segi tiga ke adalah sama dengan hasil tambah kubus bagi integer 1 hingga {{math|''n''}}. Ini juga boleh dinyatakan sebagai <math display="block"> \sum_{k=1}^n k^3 = \left(\sum_{k=1}^n k \right)^2.</math>

Jumlah yang pertama {{mvar|n}} nombor segi tiga ialah ke-{{math|''n''}} nombor tetrahedral ke: <math display="block"> \sum_{k=1}^n T_k = \sum_{k=1}^n \frac{k(k+1)}{2} = \frac {n(n+1)(n+2)} {6}.</math>

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 formula:<math display="block">Ck_n = kT_{n-1}+1</math>

di mana T ialah nombor segi tiga.

Perbezaan positif dua nombor segi tiga ialah nombor trapezoid.

Corak yang ditemui untuk nombor segi tiga <math> \sum_{n_1=1}^{n_2}n_1=\binom{n_2+1}{2}</math> dan untuk nombor tetrahedral <math> \sum_{n_2=1}^{n_3}\sum_{n_1=1}^{n_2} n_1=\binom{n_3+2}{3},</math> yang menggunakan pekali binomial, boleh digeneralisasikan. Ini membawa kepada formula:<ref>{{Cite journal|last=Baumann|first=Michael Heinrich|date=2018-12-12|title=Die {{math|''k''}}-dimensionale Champagnerpyramide|url=https://epub.uni-bayreuth.de/3850/1/Baumann_Champagnerpyramide.pdf|journal=Mathematische Semesterberichte|language=de|volume=66|pages=89–100|doi=10.1007/s00591-018-00236-x|issn=1432-1815|s2cid=125426184}}</ref> <math display="block"> \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}</math>
[[Fail:Tetrahedral_triangular_number_10.svg|thumb|Nombor segi tiga keempat bersamaan dengan nombor tetrahedral ketiga kerana nombor k-simpleks ke-n bersamaan dengan nombor k-simpleks kerana simetri segi tiga Pascal, dan pepenjurunya ialah nombor simpleks; begitu juga, nombor segi tiga kelima (15) sama dengan nombor pentatop ketiga, dan seterusnya.]]

== Sifat-sifat lain ==
Nombor segi tiga sepadan dengan kes darjah pertama formula 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 formula: <math display="block">M_p 2^{p-1} = \frac{M_p (M_p + 1)}2 = T_{M_p}</math>di mana {{math|''M<sub>p</sub>''}} 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:
{{Block indent|1=0 = 9 × 0

1 = 9 × 0 + 1

3 = 9 × 0 + 3

6 = 9 × 0 + 6

10 = 9 × 1 + 1

15 = 9 × 1 + 6

21 = 9 × 2 + 3

28 = 9 × 3 + 1

36 = 9 × 4

45 = 9 × 5

55 = 9 × 6 + 1

66 = 9 × 7 + 3

78 = 9 × 8 + 6

91 = 9 × 10 + 1

...|left=1.6}}
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 {{math|''x''}} ialah nombor segi tiga, maka {{math|''ax'' + ''b''}} juga merupakan nombor segi tiga, diberi {{math|''a''}} ialah segi empat sama ganjil dan {{math|''b'' {{=}} {{sfrac|''a'' − 1|8}}}}. Perhatikan bahawa {{math|''b''}} akan sentiasa menjadi nombor segi tiga, kerana {{math|1=8''T''<sub>''n''</sub> + 1 = (2''n'' + 1)<sup>2</sup>}}, yang menghasilkan semua petak ganjil didedahkan dengan mendarab nombor segi tiga dengan 8 dan menambah 1, dan proses untuk {{math|''b''}} diberi {{math|''a''}} ialah segi empat sama ganjil ialah songsang bagi operasi ini. Beberapa pasangan pertama borang ini (tidak dikira {{math|1''x'' + 0}}) ialah: {{math|9''x'' + 1}}, {{math|25''x'' + 3}}, {{math|49''x'' + 6}}, {{math|81''x'' + 10}}, {{math|121''x'' + 15}}, {{math|169''x'' + 21}}, dan sebagainya. Diberi {{math|''x''}} sama dengan {{math|''T''<sub>''n''</sub>}}, formula ini menghasilkan {{math|''T''<sub>3''n'' + 1</sub>}}, {{math|''T''<sub>5''n'' + 2</sub>}}, {{math|''T''<sub>7''n'' + 3</sub>}}, {{math|''T''<sub>9''n'' + 4</sub>}}, dan sebagainya.

Hasil tambah bagi salingan semua nombor segi tiga bukan sifar ialah:<math display="block"> \sum_{n=1}^{\infty}{1 \over {{n^2 + n} \over 2}} = 2\sum_{n=1}^{\infty}{1 \over {n^2 + n}} = 2 .</math>

Ini boleh ditunjukkan dengan menggunakan jumlah asas siri teleskop: <math display="block"> \sum_{n=1}^{\infty}{1 \over {n(n+1)}} = 1 .</math>

Dua formula lain mengenai nombor segi tiga ialah: <math display="block">T_{a+b} = T_a + T_b + ab</math> dan <math display="block">T_{ab} = T_aT_b + T_{a-1}T_{b-1},</math>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 {{math|''T''<sub>0</sub>}} = 0), menulis dalam diarinya kata-katanya yang terkenal, "ΕΥΡΗΚΑ! {{nowrap|1=num = Δ + Δ + Δ}}". 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 {{math|2<sup>''k''</sup> −&thinsp;1}} 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).<ref>[http://www.emis.de/journals/INTEGERS/papers/h19/h19.pdf Chen, Fang: Triangular numbers in geometric progression]</ref><ref>[http://www.emis.de/journals/INTEGERS/papers/h57/h57.pdf Fang: Nonexistence of a geometric progression that contains four triangular numbers]</ref>

Formula yang melibatkan menyatakan integer sebagai jumlah nombor segi tiga disambungkan kepada fungsi theta, khususnya fungsi theta Ramanujan.<ref>{{Cite journal|last=Liu|first=Zhi-Guo|date=2003-12-01|title=An Identity of Ramanujan and the Representation of Integers as Sums of Triangular Numbers|journal=The Ramanujan Journal|language=en|volume=7|issue=4|pages=407–434|doi=10.1023/B:RAMA.0000012425.42327.ae|issn=1382-4090|s2cid=122221070}}</ref><ref>{{cite arXiv|last=Sun|first=Zhi-Hong|date=2016-01-24|title=Ramanujan's theta functions and sums of triangular numbers|eprint=1601.06378|class=math.NT}}</ref>

Hasil tambah dua nombor segi tiga berturut-turut ialah nombor kuasa dua sejak:<ref>{{cite journal|last1=Beldon|first1=Tom|last2=Gardiner|first2=Tony|year=2002|title=Triangular Numbers and Perfect Squares|url=https://doi.org/10.2307/3621134|journal=The Mathematical Gazette|volume=86|issue=507|pages=423–431|jstor=3621134|access-date=25 April 2024}}</ref><ref>{{cite web|url=https://mathworld.wolfram.com/TriangularNumber.html|title=Triangular Number|author=Eric W. Weisstein|publisher=Wolfram MathWorld|accessdate=2024-04-14}} See equations 18 - 20.</ref>

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

Sifat ini, yang dikenali sebagai teorem Theon of Smyrna,<ref>{{cite book|url=https://doi.org/10.1353/book.49475|title=Algebra in Context: Introductory Algebra from Origins to Applications|last=Shell-Gellasch|first=Amy|last2=Thoo|first2=John|date=October 15, 2015|publisher=Johns Hopkins University Press|isbn=9781421417288|location=|page=210|author-link=}}</ref> ditunjukkan secara visual dalam jumlah berikut, yang mewakili <math>T_{4} + T_{5} = 5^2</math> sebagai jumlah digit:

<math>\begin{array}{ccccccc}
    & 4 & 3 & 2 & 1 & \\
+   & 1 & 2 & 3 & 4 & 5 \\
\hline
    & 5 & 5 & 5 & 5 & 5
\end{array}</math>

== Aplikasi ==
Rangkaian n peranti pengkomputeran yang bersambung sepenuhnya memerlukan kehadiran {{math|''T''<sub>''n'' −&thinsp;1</sub>}} 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 {{math|''n''}} pasukan adalah sama dengan numbe segi tigar {{math|''T''<sub>''n'' −&thinsp;1</sub>}}. 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 {{math|''T''<sub>''n''</sub>}}, di mana {{math|''n''}} ialah panjang dalam tahun hayat berguna aset. Setiap tahun, barang itu hilang {{math|(''b'' − ''s'') × {{sfrac|''n'' − ''y''|''T''<sub>''n''</sub>}}}}, di mana {{math|''b''}} ialah nilai permulaan item (dalam unit mata wang), {{math|''s''}} ialah nilai salvage akhir, {{math|''n''}} 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 {{math|''n''}} = 4 tahun akan rugi {{sfrac|4|10}} daripada nilai "boleh hilang" pada tahun pertama, {{sfrac|3|10}} pada yang kedua, {{sfrac|2|10}} dalam yang ketiga, dan {{sfrac|1|10}} dalam yang keempat, mengumpul jumlah susut nilai sebanyak {{sfrac|10|10}} (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".<ref>{{Cite book|url=http://dx.doi.org/10.1201/9780429430701|title=Building Blocks of Tabletop Game Design|last1=Engelstein|first1=Geoffrey|last2=Shalev|first2=Isaac|date=2019-06-25|isbn=978-0-429-43070-1|doi=10.1201/9780429430701|s2cid=198342061}}</ref>

== Punca segitiga dan ujian untuk nombor segi tiga ==
Dengan analogi dengan punca kuasa dua bagi {{mvar|x}}, seseorang boleh mentakrifkan punca segi tiga (positif) bagi x sebagai nombor n supaya {{math|1=''T''<sub>''n''</sub> = ''x''}}:<ref name="EulerRoots">{{Citation|last1=Euler|first1=Leonhard|author-link=Leonhard Euler|last2=Lagrange|first2=Joseph Louis|year=1810|title=Elements of Algebra|edition=2nd|volume=1|publisher=J. Johnson and Co.|pages=332–335}}</ref> <math display="block">n = \frac{\sqrt{8x+1}-1}{2}</math>

yang mengikuti serta-merta daripada formula 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''.<ref name="EulerRoots" />

== Nama alternatif ==
Seperti yang dinyatakan, nama alternatif yang dicadangkan oleh Donald Knuth, dengan analogi kepada faktorial, adalah "terminal", dengan notasi ''n?'' untuk nombor segi tiga ke-<ref name="Donald">Donald E. Knuth (1997).  ''The Art of Computer Programming: Volume 1: Fundamental Algorithms''. 3rd Ed. Addison Wesley Longman, U.S.A. p. 48.</ref> Walau bagaimanapun, walaupun beberapa sumber lain menggunakan nama dan notasi ini,<ref>{{citation|last=Stone|first=John David|doi=10.1007/978-3-662-57970-1|page=282|publisher=Springer|title=Algorithms for Functional Programming|year=2018|isbn=978-3-662-57968-8|s2cid=53079729}}</ref> mereka tidak digunakan secara meluas.

== Rujukan ==
{{Reflist|30em}}

== Pautan luar ==
{{Commons category|Triangular numbers|lcfirst=yes}}

*
* [http://www.cut-the-knot.org/do_you_know/numbers.shtml#square Triangular numbers] at cut-the-knot
* [http://www.cut-the-knot.org/do_you_know/triSquare.shtml There exist triangular numbers that are also square] at cut-the-knot
* {{MathWorld|urlname=TriangularNumber|title=Triangular Number}}
* [http://rhubbarb.wordpress.com/2009/04/23/hypertetrahedral-polytopic-roots/ Hypertetrahedral Polytopic Roots] by Rob Hubbard, including the generalisation to ''triangular cube roots'', some higher dimensions, and some approximate formulas