A1732 - Pilotage (en Or) par la moyenne
Louis Rogliano
Question 1:
Une simple procédure permet de trouver la suite demandée.
S48 ={1,3,2,6,8,4,11,5,14,16,7,19,21,9,24,10,27,29,12,32,13,35,37,15,40,42,17,45,18,48,50,20,53, 55,22,58,23,61,63,25,66,26,69,71,28,74,76,30}
On reconnait après coup la suiteA019444deOEIS.
Question 2:
Utilisons les notations suivantes:
Sn = (1, . . . , an), 1 + 3 +. . .+an= Σn=n Mn Sn+1 = (1, . . . , an, α), Σn+1 = (n+ 1)Mn+1 Il en résulte queα=n(Mn+1−Mn) +Mn+1.
La condition de minimalité du problème incite à envisager les options suivantes:
option 1
Mn+1−Mn = 0⇒α=Mnet, siMn∈/Sn, Sn+1 = (1, . . . , an, Mn).
On constate que la moyenne ne change pas.
option 2
Mn+1−Mn = 1⇒α=Mn+n+ 1 et, siMn∈SnetMn+n+ 1 /∈Sn, Sn+1 = (1, . . . , an, Mn+n+ 1).
On constate que la moyenne augmente de1.
Il n’y a pas d’autres options possibles carMn+n+ 1 /∈Sn.
En effet, si c’était le cas,∃p < n/Sp = (1, . . . , ap)etSp+1 = (1, . . . , ap, Mn+n+ 1)avecMp ≤Mncar p < n. Avec les notations précédentes nous avons α=Mp =Mn+n+ 1ce qui est impossible.
La moyenne augmentant par palier de1au plus, il existe une suite Sn telle queMn=n0. Comme précédemment nous avons:
SoitSn+1 = (1, . . . , an, n0)
SoitSn+1 = (1, . . . , an, n0 +n+ 1)etu0 ∈Sn.
Dans les deux cas on a trouvé une suite se terminant paru0.
1
Question 3:
Avec les notations précédentes, montrons que, dans le cas oùα=Mn, Mn< n.
Ceci est vrai pourS3 = (1,3,2).
La moyenne augmentant par paliers de1ou restant constante alors que la longueur deSnaugmente à chaque fois de1, il est clair que, dans le cas oùMn ∈/Sn,Mn< n.
Dans le cas oùMn ∈Sn, an=Mn+n+ 1 > n.
La suiteSM ax desMn+n+ 1estA026352deOEIS.
SM ax(n) =⌊nφ⌋+n+ 1 oùφest le nombre d’or.
La limite demandée est1 +φ.
2