Suite de Tribonacci

Une suite de Tribonacci est une suite d'entiers dont la relation de récurrence est inspirée de celle de la suite de Fibonacci : chaque terme est la somme des trois termes qui le précèdent (dans une suite de Fibonacci, chaque terme est la somme des deux termes qui le précèdent).

Le terme de Tribonacci est un néologisme formé de tri (récurrence à trois termes) et de bonacci (en allusion au mathématicien Fibonacci). Il a été suggéré par Feinberg en 1963. Il existe de même des suites de Tetranacci où chaque terme est la somme des 4 termes qui le précèdent et même des suites de Modèle:Mvar-bonacci où chaque terme est la somme des Modèle:Mvar termes qui le précèdent.

On définit aussi une suite de mots de Tribonacci, construite à partir de trois lettres à l'aide de la substitution de Tribonacci : a donne ab, b donne ac, et c donne a.

Étude mathématique

• La suite de Tribonacci étudiée ici est définie par :

• • $T_0=0$, $T_1=1$, $T_2=1$ ;
  • pour tout entier naturel Modèle:Mvar, $T_{n+3}=T_{n+2}+T_{n+1}+T_n$.

• Les dix premiers termes sont donc : 0, 1, 1, 2, 4, 7, 13, 24, 44, 81 (Modèle:OEIS décalée d'un cran : $T_n=A000073(n+1)$).

• La relation de récurrence peut s'écrire aussi : $T_n=T_{n-1}+T_{n-2}+T_{n-3}=2T_{n-1}-T_{n-4}$ pour $n⩾4$.

• Comme $\left[\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 1& 1& 1\end{array}\right]\left[\begin{array}{c}{T}_{n-1}\\ T_n\\ T_{n+1}\end{array}\right]=\left[\begin{array}{c}{T}_n\\ T_{n+1}\\ T_{n+2}\end{array}\right]$, on a :

• La série génératrice de cette suite est donnée par :

$F=X+X^2+2X^3+4X^3+7X^4+\dots =\sum _{n⩾0}{T}_n{X}^n=\frac{X}{1-X-X^2-X^3}$.

Modèle:Démonstration/début La série génératrice de la suite $T_{n-1}$ est alors $XF$, celle de $T_{n-2}$ est $X^{2}F$ et celle de $T_{n-3}$ est $X^{3}F$ ; la relation de récurrence $T_n=T_{n-1}+T_{n-2}+T_{n-3}$, valable pour tout n supérieur ou égal à 3, assure que

$F=XF+X^{2}F+X^{3}F+X+X^2-X^2$.

Les termes en complément correspondent aux 3 premiers termes des suites. Il suffit alors de résoudre cette équation. La fonction génératrice de la suite est donc :

$F=\frac{X}{1-X-X^2-X^3}$.

• Modèle:Lien a prouvé en 1980 qu'il existe une partition de ℕ en deux ensembles dont la somme ne contient aucun élément de la suite de Tribonacci.

Formule de type Binet

L'étude des suites récurrentes linéaires permet de dire que cette suite est combinaison linéaire des trois suites $({\tau }^n)$, $(r^n)$, $(\stackrel{n}{\stackrel{‾}{r}})$ où $\tau ,r,\bar{r}$ sont les trois racines du polynôme $X^3-X^2-X-1$. La racine réelle (environ égale à 1,839), notée $\tau$ par analogie avec la notation $\phi$ du nombre d'or ou constante de Fibonacci, est appelée constante de Tribonacci. Elle est égale à la limite du quotient (suivant sur précédent) de deux termes consécutifs. Les formules de Cardan en donnent une valeur exacte:

$\tau =\frac{\sqrt[3]{19+3\sqrt{33}}+\sqrt[3]{19-3\sqrt{33}}+1}{3}$.

Le terme général de la suite est alors :

$T_n=a_1{\tau }^n+a_2{r}^n+a_3\stackrel{n}{\stackrel{‾}{r}}$ où les $a_i$ sont donnés par les formules suivantes  :

$a_1=\frac{\tau }{|\tau -r{|}^2}$

$a_2=\frac{r}{(r-\bar{r})(r-\tau )}$

$a_3=\overline{a_2}$

D'après les relations entre coefficients et racines, on a $r+\bar{r}=1-\tau ,r\bar{r}=1/\tau$, donc $r,\bar{r}$, sont de module $\frac{1}{\sqrt{\tau }}<1$. On obtient :

$T_n=\frac{{\tau }^n}{\tau (5-{\tau }^2)}+{\epsilon }_n$ où ${\epsilon }_n\to 0$,

et aussi, uniquement en fonction de $\tau$Modèle:, :

$T_n=\lfloor \frac{{\tau }^n}{r_1(5-{\tau }^2)}\rceil ,$

où$\lfloor .\rceil$ désigne la fonction Modèle:Citation.

Propriétés de la constante de Tribonacci

On a  :

$\tau =\frac{1+\sqrt[3]{19+3\sqrt{33}}+\sqrt[3]{19-3\sqrt{33}}}{3}=\frac{1+4\cosh \left(\frac{1}{3}{\cosh }^{-1}(2+\frac{3}{8})\right)}{3}\approx 1,839286755214161$, décimales données par la Modèle:OEIS.

Cette constante vérifie par définition : Modèle:Centrer donc aussi : Modèle:Centrer Son inverse, solution positive de Modèle:Formule a pour décimales la Modèle:OEIS.

Elle intervient dans les coordonnées des sommets du cube adouci.

Construction géométrique de la constante de Tribonacci.

Construction géométrique

La constante de Tribonacci, algébrique de degré 3, n'est pas constructible à la règle et au compas, mais on peut la construire à la règle graduée et au compas.

Dans la figure ci-contre, posant $\alpha =\widehat{BAE}=\widehat{BDC}$, on a $BD=\tan \frac{\alpha }{2}=\cos \alpha$, donc, posant $t=\tan \frac{\alpha }{2}$, on a $AC=1+\sin \alpha =1+\frac{2t}{1+t^2}$, sachant $t=\frac{1-t^2}{1+t^2}$. En éliminant $t$, on obtient $A{C}^3-A{C}^2-AC-1=0$, ce qui montre que la constante de Tribonacci est égale à la longueur $AC$.

On a $EC=\tau (\tau -1)\approx 1,543689$, voir la Modèle:OEIS.

L'angle $\alpha =\widehat{BAE}=\arccos \tau$ vaut environ 57,065°.

Interprétation combinatoire de la suite de Tribonacci

Modèle:Math est égal au nombre de suites finies d'entiers égaux à 1, 2 ou 3 dont la somme est égale à Modèle:Mvar , c'est-à-dire le nombre de compositions de Modèle:Mvar formées à partir de ces entiers ; par exemple $T_4=4$ car 3 s'écrit $1+1+1;1+2;2+1\text{ou }3$ Modèle:,.

De façon imagée, Modèle:Math est le nombre de façons de vider un tonneau de Modèle:Mvar litres à l'aide de bouteilles de un, deux, ou trois litres, ou le nombre de façons de découper un segment de longueur Modèle:Mvar en segments de longueur 1, 2 ou 3.

Modèle:Démonstration/début les compositions de Modèle:Mvar se terminant par 1 sont obtenues en ajoutant 1 à la fin d'une composition de $n-1$, celles se terminant par 2 sont obtenues en ajoutant 2 à la fin d'une composition de $n-2$, celles se terminant par 3 sont obtenues en ajoutant 3 à la fin d'une composition de $n-3$ , donc le nombre $C_n$ de composition de Modèle:Mvar vérifie $C_n=C_{n-1}+C_{n-2}+C_{n-3}$. De plus, $C_0=T_1=1$ (la composition vide), $C_1=T_2=1$ (la composition (1)), $C_2=T_3=2$ (les compositions (1,1) et (2)), ce qui montre la relation. Modèle:Démonstration/fin

De manière plus générale, le terme d'indice Modèle:Mvar + 1 d'une suite de Modèle:Mvar-bonacci (chaque terme est la somme des Modèle:Mvar précédents, les termes d'indice $0,1,2,3,\dots ,k-1$ étant égaux à $(0,1,1,2,\dots ,2^{k-3})$ correspond au nombre de compositions de Modèle:Mvar formées à partir des entiers de 1 à Modèle:Mvar.

Suite de mots de Tribonacci

C'est la suite de mots définie par :

M(1) = a

et par la substitution de Tribonacci suivante :

a donne ab, b donne ac, et c donne a.

Nous obtenons alors la suite de mots suivants : a, ab, ab|ac, abac|ab|a, abacaba|abac|ab, abacabaabacab|abacaba|abac...

On s'aperçoit ainsi que chaque mot est obtenu par concaténation des 3 mots précédents : la longueur du mot M(n) est donc égale à $T_{n+1}$.

Le mot infini obtenu à la limite est le mot infini de Tribonacci. C'est un mot purement morphique.

Cette suite de mots intervient dans la construction de la fractale de Rauzy.

Autres suites remarquables ayant la récurrence de Tribonacci

1)

La suite définie par $\{\begin{array}{c}T{\text{'}}_0=3,T{\text{'}}_1=1,T{\text{'}}_2=3\\ T{\text{'}}_{n+3}=T{\text{'}}_{n+2}+T{\text{'}}_{n+1}+T{\text{'}}_n\end{array}$ ; elle est la suite somme des puissances n-ièmes des racines de $X^3-X^2-X-1$ : Modèle:CentrerPremiers termes : 3, 1, 3, 7, 11, 21, 39, 71, 131,..., Modèle:OEIS.

De $r+\bar{r}=1-\tau ,r\bar{r}=1/\tau$, on tire $r=\frac{{\mathrm{e}}^{\mathrm{i}\theta }}{\sqrt{\tau }}$ où $\theta =\arccos (-\sqrt{\tau }(\tau -1)/2)$, d'où la formule :Modèle:CentrerEt à partir de $n=4$ : Modèle:Centrer

Expression à l'aide de la matrice compagnon de $X^3-X^2-X-1$ : Modèle:Centrer Cette suite est à la suite de Tribonacci définie ci-dessus ce qu'est la suite de Perrin à la suite de Padovan ; elle possède la propriété arithmétique remarquable que si $p$ est premier, $T{\text{'}}_p-1$ est un multiple de $p$.

Ceci peut être vu comme une application de la propriété de congruence pour les matrices à coefficients entiers : $\mathrm{Trace}{A}^p\equiv \mathrm{Trace}Amodp$.

Le nombre $n=182$ est le plus petit composé $n$ tel que $T{\text{'}}_n-1$ soit un multiple de $n$.

2)

La suite définie par $\{\begin{array}{c}{T}^{\prime }{\text{'}}_0=1,T^{\prime }{\text{'}}_1=1,T^{\prime }{\text{'}}_2=1\\ T^{\prime }{\text{'}}_{n+3}=T^{\prime }{\text{'}}_{n+2}+T^{\prime }{\text{'}}_{n+1}+T^{\prime }{\text{'}}_n\end{array}$.

Premiers termes : 1, 1, 1, 3, 5, 9, 17, 31, 57, 105, 193, 355,..., Modèle:OEIS.

En fait, $T^{\prime }{\text{'}}_n=T_{n+1}-T_{n-1}$.

3)

La suite définie par $\{\begin{array}{c}{T}^{″}{\text{'}}_0=0,T^{″}{\text{'}}_1=1,T^{″}{\text{'}}_2=0\\ T^{″}{\text{'}}_{n+3}=T^{″}{\text{'}}_{n+2}+T^{″}{\text{'}}_{n+1}+T^{″}{\text{'}}_n\end{array}$.

Premiers termes : 0, 1, 0, 1, 2, 3, 6, 11, 20, 37, 68, ..., Modèle:OEIS.

En fait, $T^{″}{\text{'}}_n=T_n-T_{n-1}$.

Voir aussi

Articles connexes

• Généralisations de la suite de Fibonacci
• Combinatoire des mots
• Complexité abélienne d'un mot
• Cube adouci
• Complexité d'un mot
• Mot sturmien
• Nombre de Delannoy
• Suite de Perrin

Liens externes

• Modèle:MathWorld
• Modèle:Article.