Factorielle alternée

En mathématiques, la factorielle alternée d'un entier strictement positif est la valeur absolue de la somme alternée des premières factorielles[1].

Définition

La factorielle alternée de est définie par :

,

d'où la relation de récurrence :

.

Quelle que soit la parité de , est affecté du signe plus, du signe moins, etc. Par exemple tandis que .

Les premières factorielles alternées sont données par[2] :

n
1
2
2
4
5
6
7
8
9
10
11
12
13
14
fa(n) 1 1 5 19 101 619 4 421 35 899 326 981 3 301 819 36 614 981 442 386 619 5 784 634 181 81 393 657 019

Propriétés

En 1999, Miodrag Zivkovic prouve qu'il n'existe qu'un nombre fini de factorielles alternées qui sont également des nombres premiers, puisque 3 612 703 divise et divise donc pour tout 3 612 703[3]. La factorielle alternée est première pour : = 3, 4, 5, 6, 7, 8, 10, 15, 19, 41, 59, 61, 105, 160, 661[4],[5]; A noter qu'il existe probablement d'autres valeurs premières qui n'ont pas encore été trouvées.

Notes et références

  1. (en) « Alternating factorial », sur ISTE (consulté le )
  2. Source : suite A005165 de l'OEIS.
  3. (en) Miodrag Živković, « The number of primes is finite », revue scientifique, Mathematics of Computation, vol. 68,‎ , p. 403 - 409 (lire en ligne)
  4. Voir plus sur la suite A001272 de l'OEIS.
  5. « Factorielle alternée », sur villemin.gerard.free.fr

Voir aussi

Bibliographie

Articles connexes

  • Portail des mathématiques