Jump to content

Alternating factorial

From Wikipedia, the free encyclopedia

In mathematics, an alternating factorial is the absolute value of the alternating sum of the first ⁠n⁠ factorials of positive integers.[1]

This is the same as their sum, with the odd-indexed factorials multiplied by −1 if ⁠n⁠ is even, and the even-indexed factorials multiplied by −1 if ⁠n⁠ is odd, resulting in an alternation of signs of the summands (or alternation of addition and subtraction operators, if preferred). To put it algebraically,[1]

af⁡(n)=∑i=1n(−1)n−ii!

or with the recurrence relation

af⁡(n)=n!−af⁡(n−1)

in which ⁠af⁡(n)⁠ is 1.[1]

The first few alternating factorials are

1, 1, 5, 19, 101, 619, 4421, 35899, 326981, 3301819, 36614981, 442386619, 5784634181, 81393657019 (sequence A005165 in the OEIS)

For example, the third alternating factorial is 1! – 2! + 3!. The fourth alternating factorial is −1! + 2! − 3! + 4! = 19. Regardless of the parity of ⁠n!⁠, the last (⁠n⁠th) summand, ⁠n!⁠, is given a positive sign, the ⁠(n−1)⁠st summand is given a negative sign, and the signs of the lower-indexed summands are alternated accordingly.[1]

Živković (1999) proved that there are only a finite number of alternating factorials that are also prime numbers, since 3612703 divides ⁠af⁠(3612702) and therefore divides ⁠af⁡(n)⁠ for all ⁠n⁠ ≥ 3612702.[2] The primes are ⁠af⁡(n)⁠ for

n=3, 4, 5, 6, 7, 8, 10, 15, 19, 41, 59, 61, 105, 160, 661, ... (sequence A001272 in the OEIS)

with several higher probable primes that have not been proven prime.[3]

References

[edit]
  1. 1 2 3 4 Sloane, N. J. A. (ed.). "Sequence A005165 (Alternating factorials: n! - (n-1)! + (n-2)! - ... 1!)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
  2. ↑ Živković, Miodrag (1999). "The number of primes ∑i=1n(−1)n−ii! is finite". Mathematics of Computation. 68 (225). American Mathematical Society: 403–409. Bibcode:1999MaCom..68..403Z. doi:10.1090/S0025-5718-99-00990-4.
  3. ↑ Sloane, N. J. A. (ed.). "Sequence A001272 (Numbers k such that k! - (k-1)! + (k-2)! - (k-3)! + ... - (-1)^k*1! is prime)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
[edit]