Factoriangular Number

In number theory, a factoriangular number is an integer formed by adding a factorial and a triangular number with the same index. The name is a portmanteau of "factorial" and "triangular."

Definition

For $n \ge 1$, the $n$th ''factoriangular number'', denoted $\operatorname_n$, is defined as the sum of the $n$th factorial and the $n$th triangular number:
:$\operatorname_n = n! + T_n = n! + \frac$.
The first few factoriangular numbers are:

These numbers form the integer sequencebr>A101292
in the Online Encyclopedia of Integer Sequences (OEIS).

Properties

Recurrence relations

Factoriangular numbers satisfy several recurrence relations. For $n \geq 1$,
:$\operatorname_ = (n+1)\left(\operatorname_n - \frac\right)$

And for $n \geq 2$,
:$\operatorname_n = n\left(\operatorname_ - \frac\right)$

These are linear non-homogeneous recurrence relations with variable coefficients of order 1.

Generating functions

The exponential generating function $E(x) = \sum_^\infty \operatorname_n \tfrac$ for factoriangular numbers is (for $-1 < x < 1$)
:$E(x) = \frac$
If the sequence is extended to include $\operatorname_0 = 1$, then the exponential generating function becomes
:$E(x) = \frac$.

Representations as sums of triangular numbers

Factoriangular numbers can sometimes be expressed as sums of two triangular numbers:

* $\operatorname_n = 2T_n$ if and only if $n = 1$ or $n = 3$.
* $\operatorname_n = T_x + T_n$ if and only if $8n! + 1$ is a perfect square. For $n \neq x$, the only known solution is $(\operatorname_5, T_) = (135, 120)$, giving $\operatorname_5 = T_5 + T_$.
* $\operatorname_n = T_x + T_y$ if and only if $8\operatorname_n + 2$ is a sum of two squares.

Representations as sums of squares

Some factoriangular numbers can be expressed as the sum of two squares. For $n \leq 20$, the factoriangular numbers that can be written as $a^2 + b^2$ for some integers $a$ and $b$ include:

* $\operatorname_1 = 2 = 1^2 + 1^2$
* $\operatorname_2 = 5 = 1^2 + 2^2$
* $\operatorname_4 = 34 = 3^2 + 5^2$
* $\operatorname_9 = 362,925 = 195^2 + 570^2$

This result is related to the sum of two squares theorem, which states that a positive integer can be expressed as a sum of two squares if and only if its prime factorization contains no prime factor of the form $4k+3$ raised to an odd power.

Fibonacci factoriangular numbers

A ''Fibonacci factoriangular number'' is a number that is both a Fibonacci number and a factoriangular number. There are exactly three such numbers:

* $\operatorname_1 = 2 = F_3$
* $\operatorname_2 = 5 = F_5$
* $\operatorname_4 = 34 = F_9$

This result was conjectured by Romer Castillo and later proved by Ruiz and Luca.

Pell factoriangular numbers

A ''Pell factoriangular number'' is a number that is both a Pell number and a factoriangular number. Luca and Gómez-Ruiz proved that there are exactly three such numbers: $\operatorname_1 = 2$, $\operatorname_2 = 5$, and $\operatorname_3 = 12$.

Catalan factoriangular numbers

A ''Catalan factoriangular number'' is a number that is both a Catalan number and a factoriangular number.

Generalizations

The concept of factoriangular numbers can be generalized to $(n,k)$-factoriangular numbers, defined as $\operatorname_ = n! + T_k$ where $n$ and $k$ are positive integers. The original factoriangular numbers correspond to the case where $n = k$. This generalization gives rise to factoriangular triangles, which are Pascal-like triangular arrays of numbers. Two such triangles can be formed:

* A triangle with entries $\operatorname_$ where $k \leq n$, yielding the sequence: 2, 3, 5, 7, 9, 12, 25, 27, 30, 34, ...
* A triangle with entries $\operatorname_$ where $k \geq n$, yielding the sequence: 2, 4, 5, 7, 8, 12, 11, 12, 16, 34, ...

In both cases, the diagonal entries (where $n = k$) correspond to the original factoriangular numbers.

See also

* Doubly triangular number
* Factorial prime
* Fibonacci number
* Lazy caterer's sequence
* Square triangular number

References

External links

Sequence A101292
in the OEIS

Sequence A275928
(number of odd divisors of factoriangular numbers) in the OEIS

Sequence A275929
(sum of first and last terms of runsums of length n of nth factoriangular number) in the OEIS

{{Number theory

Integer sequences
Factorial and binomial topics