- Basofactorielle
-
La basofactorielle d'un nombre réel a en base q se note a!q. C'est le produit de tous les réels strictement positifs espacés de q unités compris entre 1 et le plus grand multiple de q inférieur à a − 1, qui sont ensuite multipliés par a, soit :
Définition
Cas où
On peut aussi exprimer la fonction basofactorielle ainsi :
ExplicationPar hypothèse, on sait que i.e. il existe un entier k tel que autrement dit .
Bases remarquables :
- Pour q = 0,1 et avec , on peut établir une égalité liant basofactorielle et factorielle commune :
Ou plus généralement pour q = 10 − n et avec on a :
- La fonction factorielle commune n'est en réalité qu'une fonction basofactorielle de base q = 1.
Généralisation
Lorsque a − 1 n'est pas divisible par q, la précédente formule ne suffit plus pour les cas comme
On définit donc la fonction basofactorielle en base q en utilisant la fonction partie entière inférieure par :
Application de la formuleReprenons l'exemple 2,6!0,7.
Catégorie :- Fonction remarquable
Wikimedia Foundation. 2010.