Definition D13 The triangular numbers TnT_nTn, n≥0n \geq 0n≥0, are defined as Tn=1+2+⋯+n=∑k=1nk .T_n = 1 + 2 + \cdots + n = \sum_{k=1}^n k \;. Tn=1+2+⋯+n=k=1∑nk.