4.3 Avec ordre / Sans remise
Comme pour le cas précédent, choisir objets parmi avec ordre et sans remise est une simple application du principe du produit. On a donc options pour le premier objet ET options pour le deuxième objet ET option pour le troisième objet ET ….. ET options pour le k-ième objet, ce qui nous fait un total de façon de choisir objets.
Exemple 4.3.1.
Aux olympiques, coureurs participent à la final du mètre. De combien de façons différentes les médaille d’or, d’argent et de bronze peuvent elle être distribué ? Dans ce cas, on remarque que le problème se fait avec ordre et sans remise, ce qui nous permet d’affirmer qu’il y a façons de distribuer les médailles.
Les factorielles tombantes et montantes
Nous allons maintenant introduire une notation pour représenter . Cette notation est motivé du à de nombreuse similarité avec la fonction . Cette notation porte le nom de factorielle tombante et peut être définit sans faire appelle à la notion de factorielle, ce qui nous permet d’étendre la notation à des valeurs de qui ne sont pas nécessairement entière.
Définition 4.3.1.
Si et , alors on définit la factorielle tombante comme étant:
De la même façon, on définit la factorielle montante comme étant:
Les différences finies
Nous voulons maintenant motivé la notation utilisé pour les factorielles tombantes en illustrant un lien important avec le calcul différentielle. Pour ce faire, rappellons que la dérivé d’une fonction est définie comme étant:
Dans le contexte des mathématiques discrètes, il n’est pas vraiment intéressant de considérer des valeurs de qui tendent vers . Après tout, nous travaillons la majorité du temps avec des entiers. Nous allons donc fixer comme étant le plus petit entier positif différent de , c’est à dire . Ceci nous amène à la définition suivante:
Cet opération porte le nom de différence finie. En appliquant cet opérateur à nos factorielles tombantes, nous obtenons donc dans le cas où est un nombre réel et un entier positif:
Comme vous devriez pouvoir le remarquer relativement facilement, la formule ainsi obtenu ressemble étrangement à la formule pour calculer la dérivé de la fonction . C’est cette anologie, et de nombreuse autre similaire, qui ont motivé la notation.