soit a0, b0, c0, d0, e0, f0 et f0 sept entiers rangés dans l'ordre décroissant
on appelle (On) une suite d'opérations (une opération c'est ajouter 1 à trois entiers) sur ces entiers
après n opérations, on les note an, bn, etc. toujours dans l'ordre décroissant
on pose un = 6an - bn - cn - dn - en - fn
on va montrer qu'il existe une suite d'opérations (On) telle qu'on puisse extraire une sous suite (upn) de un qui soit strictement décroissante jusqu'à ce qu'elle soit nulle
on se place à une étape n
s'il y a trois entiers ou plus qui sont strictement inférieurs à an, alors il est évident qu'on peut choisir une opération On+1 qui fasse que un+1 < un
s'il y en a deux on distingue les cas
si les entiers dans l'ordre décroissant sont :
an, an, an, an, an, an-k, an-l avec k > 1, alors on peut passer grâce à trois opérations à
an + 1, an + 1, an + 1, an + 1, an + 1, an - k + 2, an - l + 2
et alors un+3 = un - 2
si k = 1, alors on se ramène au cas où seul un entier diffère de an en faisant :
an + 1, an , an, an, an, an, an - l + 1
puis
an + 1, an + 1, an + 1, an + 1, an + 1, an + 1, an - l + 1
cela revient donc à traiter le cas où seul un entier diffère de an, ce que nous allons faire
si on a la configuration suivante :
a, a, a, a, a, a, a-k (flemme d'écrire an à chaque fois
)
alors si k > 1, on fait
a + 1, a + 1, a, a, a, a, a-k + 1
puis de la même manière on arrive à
a + 1, a + 1, a + 1, a + 1, a + 1, a + 1, a - k + 3
et alors on obtient un+3 = un - 2
si k = 1, alors on fait comme ça :
a a a a a a a-1
a+1 a+1 a a a a a
a+2 a+1 a+1 a+1 a a a
puis trivialement on arrive à a+2 a+2 a+2 a+2 a+2 a+2 a+2
donc on a démontré ton truc 