| 
 | |||||||||||||||||||||||||||

| FACTORIELLES  Théorème de Wilson Divisibilité des factorielles plus un. Et, quelques curiosités sur les factorielles. | 
| 
 | |||
| Propriété Voyons une
  propriété plus simple que celle énoncée par le théorème de Wilson. On sait évidemment
  que tous les nombres jusqu'à n divisent le nombre factoriel n. Mais, est-ce
  que le nombre n divise la factorielle précédente (n – 1) ! ? Par
  exemple, est-ce que 6 divise 5! = 1 x 2 x 3 x 4 x 5 ? La réponse
  est toujours oui pour n supérieur à 4, sauf si le nombre n est premier.
     | Exemples 
 | ||
| Théorème Si n >
  4 est composé  alors n
  divise (n – 1)! | 
 | ||
Voir Brève
856
 
| 
 | |||||
| Théorème
  et formulations alternatives 
 
 
 
 Suitede l'historique >>> 
 | |||||
À noter
| n! + 1 = premier: existence en nombre infini ?  n! + 1 = carré:    existence en
  nombre infini ? | 
Voir Des
exemples
| 
 | |
| 
 
 | |
| 
 | ||
| Deux
  factorielles consécutives +1 sont premières entre elles:  (n! + 1,  (n+1)! + 1) = 1 
 | ||
| Elle repose sur la propriété
  des PGCD | (a,b) = ( a, b – ka) | |
| Notre expression peut ainsi
  s'écrire: | (n! + 1,  (n+1)! + 1) = (n! + 1,  (n+1)! + 1 – (n
  + 1) (n! + 1) ) = (n! + 1, (n+1)! + 1 – (n +
  1)n! – n – 1) = (n! + 1, (n+1)! + 1 –
  (n+1)! – n – 1) = (n! + 1,– n) = 1              | |
| Nombres tels que
  p² divise (p – 1)! + 1. Les trois seuls
  connus: 5, 13 et 563. Le suivant serait >
  5 . 108 – K. Dilcher et C. Pomerance | 
Voir
Nombre
563 / Nombre
de Wilson / Types de
premiers
| Vers 1000 – Le mathématicien arabe Alhazen (965-1039) fait référence à
  cette propriété dans l'un des ses écrits. vers 1700 – Gottfried Wilhelm Leibniz
  (1646-1716) énonce cette propriété, sans la démontrer.  1770 – John Wilson, avec son professeur Edward Waring, redécouvre cette
  propriété et la publie en tant que conjecture. 1771 – Joseph-Louis Lagrange est
  l'auteur des deux premières démonstrations. 1773 – Leonhard Euler  en propose une troisième. Vers 1800 – Carl Friedrich Gauss  (1777-1855) reformule la démonstration
  d'Euler et en donne une quatrième en utilisant les notations de
  l'arithmétique modulaire. | 

| Suite | |
| Voir | 
 | 
| Site | 
 | 
| Cette
  page | 
