Suite d'Alcuin

En mathématiques, la suite d'Alcuin, est la suite d'entiers qui à tout entier naturel $n$ fait correspondre le nombre de solutions en nombres entiers naturels du système diophantien : $(1)\{\begin{array}{c}a+b+c=n\\ a⩽b⩽c⩽a+b\end{array}$, ou du système équivalent : $(2)\{\begin{array}{c}a+b+c=n\\ a⩽b⩽c⩽n/2\end{array}$.

Les 11 premiers termes en sont (Modèle:OEIS décalée de 3 crans ou Modèle:OEIS) :

$n$	0	1	2	3	4	5	6	7	8	9	10
$a_n$	1	0	1	1	2	1	3	2	4	3	5

Par exemple, l'unique solution du système pour $n=5$ est $(1,2,2)$,

et les $a_{10}=5$ solutions pour $n=10$ sont $(0,5,5),(1,4,5),(2,3,5),(2,4,4),(3,3,4)$.

Notons que la forme (1) du système montre que $a_n$ est, à isométrie près, le nombre de triangles (éventuellement aplatis ou à sommets confondus) à côtés entiers de périmètre égal à $n$.

Origine de cette suite

Le problème 12 du livre intitulé Propositiones ad acuendos iuvenes (« Problèmes pour aiguiser les jeunes ») attribué au clerc et savant anglais Alcuin, qui a séjourné pendant plusieurs années à la cour de Charlemagne. Voici son énoncé :

Un père en mourant laisse en héritage à ses trois fils trente vases de verre, dont dix pleins d’huile, dix remplis d’huile à moitié et dix vides. Que celui qui le peut fasse le partage de sorte que chacun des fils ait une quantité égale de vases et d’huile !

En latin : XII. Propositio de quodam paterfamilias et tribus filius eius : Quidam paterfamilias moriens dimisit haereditatem tribus filiis suis, XXX ampullas uitreas, quarum decem fuerunt plenae oleo. Aliae decem dimidiae. Tertiae decem uacuae. Diuidat, qui potest, oleum et ampullas ut unicuique eorum de tribus filiis aequaliter obueniat tam de uitro, quam de oleo.

Dans le cas général, on a $3n$ récipients, dont $n$ pleins, $n$ emplis à moitié et $n$ vides qu’on veut répartir équitablement (quant aux contenants et aux contenus) entre trois frères.

On peut montrer que chaque solution $(a,b,c)$ du système ci-dessus conduit à une répartition des vases entre les 3 frères conforme à la demande  :

- au premier frère on donne $a$ vases pleins, $n-2a$ vases à moitié pleins et $a$ vases vides (il reçoit donc $n$ vases et le contenu de $n/2$ vases pleins).

- les deux distributions suivantes sont obtenues en changeant $a$ en $b$, puis $b$ en $c$ ; les deux frères reçoivent également $n$ vases et le contenu de $n/2$ vases pleins.

On peut représenter une répartition par une matrice dont les lignes correspondent aux fils et les colonnes aux types de récipients (plein, empli à moitié, vide) : $\left[\begin{array}{ccc}a& n-2a& a\\ b& n-2b& b\\ c& n-2c& c\end{array}\right]$, matrice dont les sommes des lignes et les sommes des colonnes sont égales à $n$.

Le nombre $a_n$ compte donc le nombre de distributions possibles répondant au problème des 30 vases d'Alcuin généralisé à l'ordre $n$.

L'appellation « suite d'Alcuin » a été donnée dans recueil de jeux mathématiques de D. Olivastro datant de 1993.

Expression du terme général

Formule directe

Pour $n$ impair, $a_n$ est l'entier le plus proche de $(n+3{)}^2/48$ et pour $n$ pair, l'entier le plus proche de $(n+6{)}^2/48$.

Définition par récurrence triple

$a_0=a_2=1,a_1=0,a_n=\{\begin{array}{cc}{a}_{n-3}+\lfloor n/4\rfloor +1& \text{si }n\text{ est pair}\\ a_{n-3}& \text{si }n\text{ est impair}\end{array}$.

Fonction génératrice

Le nombre $a_n$ est le nombre de partitions de $n$ dont les sommants sont égaux à 2, 3 ou 4 (voir Modèle:OEIS2C).

On en déduit la fonction génératrice :

$\sum _{n⩾0}{a}_n{x}^n=\frac{1}{(1-x^2)(1-x^3)(1-x^4)}=1+0x+x^2+x^3+2x^4+x^5+3x^6+\cdots$.

Autres dénombrements conduisant à la suite d'Alcuin

Le nombre $a_n$ est aussi le nombre de solutions du système diophantien $(3)\{\begin{array}{c}a+b+c=n+3\\ 1⩽a⩽b⩽c<a+b\end{array}$.

On obtient en effet les solutions de ce système en ajoutant 1 à chaque composante des solutions du système (1).

Le nombre $a_n$ est donc le nombre de partitions (ou de compositions croissantes) en 3 sommants de l'entier $n+3$ dont le plus grand sommant est strictement inférieur à la somme des deux autres.

Plus géométriquement, le nombre $a_n$ est, à isométrie près, le nombre de véritables triangles (i.e. non aplatis) à côtés entiers de périmètre donné égal à $n+3$.

Le nombre $a_n$ est enfin le nombre de solutions du système $(4)\{\begin{array}{c}a+b+c=n+6\\ 1⩽a<b<c⩽a+b\end{array}$.

On obtient en effet les solutions de ce système en ajoutant $(1,2,3)$ aux solutions du système (1).

Le nombre $a_n$ est donc, à isométrie près, le nombre de triangles, éventuellement aplatis, mais à côtés de longueurs distinctes à côtés entiers de périmètre donné égal à $n+6$.

Suite similaire

Le nombre $b_n$ de solutions du système diophantien $(5)\{\begin{array}{c}a+b+c=n\\ 1⩽a⩽b⩽c⩽a+b\end{array}$ , qui équivaut à $(6)\{\begin{array}{c}a+b+c=n\\ 1⩽a⩽b⩽c⩽n/2\end{array}$, compte le nombre de partitions (ou de compositions croissantes) en 3 sommants de l'entier $n$ dont les sommants sont inférieurs ou égaux à $n/2$, ou le nombre de triangles éventuellement aplatis, mais à sommets distincts, à côtés entiers de périmètre donné égal à $n$ . Ce nombre est le terme général de la Modèle:OEIS :

$n$	0	1	2	3	4	5	6	7	8	9	10
$b_n$	0	0	0	1	1	1	2	2	3	3	4

Notes et références

Notes

• Certains aspects de cette suite sont étudiés dans une épreuve des olympiades nationales de mathématiques 2019.