Olympiades · Académie Toulouse et AEFE Ibérique · 2013 · Série S
ArithmétiqueDénombrement
J'ai dans ma poche un certain nombre de pièces de \(1,2,5\) et 10 centimes. Il se peut je n'aie aucune pièce pour certaines de ces valeurs. Je fais alors la constatation (C) suivante :
(C) : avec ce que j'ai en poche je peux faire l'appoint de n'importe quelle somme de 1 à 99 centimes mais pas de 1 €.
Ou bien...
Soit \(s\) la somme pour laquelle je peux faire l'appoint de 1 à \(s\) et pas de \(s+1\).
Alors, j'ai la somme \(s\) en poche sans plus, comme au A).
Or c'est 99 qui sont en poche : \(s=99\).
2. 2090 quadruplets tels que (1) \(10 a+5 b+2 c+d=99\) et 55 triplets tels que (2) \(10 a+5 b+2 c=99\). A chaque composition \((a ; b ; c ; d)\) du porte monnaie de 99 centimes en pièces respectivement de 10 , 5,2 et 1 centimes correspond une solution de l'équation \(10 a+5 b+2 c+d=99\) et réciproquement. D'après 1), on est sûr que \(d\) n'est pas nul. Le nombre de jeux est le nombre de solutions de l'équation (1) avec \(d\) non nul.
Le nombre de solutions de l'équation (1) avec \(d=0\) est celui de (2) soit 55 .
Il y a donc \(2090-55\) jeux de pièces pouvant composer ce porte monnaie.
N.B. : l'équation (1) pour \(d=1\) n'a pas de solution (une étude arithmétique le montre); on retrouve ce qui a été justifié à B-1).
Complément de l'initiateur de l'exercice : Le nombre de quadruplets entiers tels que \(10 a+5 b+2 c+d=99\) est bien connu pour être le coefficient de \(x^{99}\) dans le développement en série entière de
\[ \frac{1}{(1-x)\left(1-x^{2}\right)\left(1-x^{5}\right)\left(1-x^{10}\right)}, \text { soit } 2090 \text { (loué soit Maple!) } \]
De même le coefficient de \(x^{99}\) dans le développement en série entière de
\[ \frac{1}{\left(1-x^{2}\right)\left(1-x^{5}\right)\left(1-x^{10}\right)} \]
est 55 et le nombre de triplets entiers solutions de \(10 a+5 b+2 c=99\).
A voir la réponse de Maple, on pourrait conjecturer que le nombre de façons de payer \(n\) centimes en pièces de 2,5 et 10 centimes est toujours triangulaire… Ce qui est laissé à prouver ou réfuter …