From HandWiki - Reading time: 3 min
In mathematics, the termial of a positive integer n, denoted by n?, is the sum of all positive integers less than or equal to n. For example,
The value of 0? is 0, according to the convention for an empty sum.
The termial was coined by Donald E. Knuth in his The Art of Computer Programming. It is the additive analog of the factorial function, which is the product of integers from 1 to n. He used it to illustrate the extension of the domain from positive integers to the real numbers.[1]
The termial of positive integers is also known as the triangular numbers.[2] The first few (sequence A000217 in the OEIS) are
Since the 18th century, Leonhard Euler and some other mathematicians had been trying to extend the domain of the factorial function to real numbers or even complex numbers, and eventually put forward the Gamma function.[3] In 1997, Donald E. Knuth introduced the termial function n? in his The Art of Computer Programming, as an analog of factorial in addition, so as to illustrate the meaning of domain extension.[1]
The termial function is defined by the sum
initially for integer n ≥ 1. This may be written in the Sigma sum notation as
From these formulas, one may derive the recurrence relation
For example, one has
and so on.
The termial function can be calculated using the summation formula for arithmetic sequence:
For example, .
In order for the recurrence relation to be extended to n = 0, it is necessary to define
so that
The termial function can also be defined for non-integer values using the formula .
For example, .
Termial is less frequently used in mathematics, but still it has some uses in fields such as combinatorics.
Similar to double factorial[4], The sum of all the odd integers up to some odd positive integer n is called the double termial of n, and denoted by n??. That is,
For example, .
The sequence of double termial for n = 1, 3, 5, 7,... is the square number sequence.[5] It starts as
Primial can be introduced as an analog of primorial, and denoted by n§. It is defined as the sum of prime numbers less than or equal to n[6], i.e.
where is the prime-counting function.
For example, .
The first few results are
Reciprocal termial is defined as the sum of reciprocal of first n positive integers. It is equal to the n-th harmonic number.[7]
For example,