Jai ( j'espère ) la solution complète , je reprends tout :
On range les piles de pièces par ordre décroissant de hauteur et on considère un repère orthonormal dont les axes passent à gauche de la première pile et au dessus de la première pièce , l'unité est le diamètre d'une pièce . On considère (D) la première bissectrice et u le vecteur u(1;-1) .
Le passage d'une étape à l'autre se fait de la façon suivante :
1°) Symétrie par rapport à (D) des pièces sous l'axe des abscisses .
2°) Translation de vecteur u de l'ensemble des pièces .
3°) On fait glisser si nécessaire les pièces de droite à gauche pour rétablir lordre .
Le point référence I est le point de coordonnées I(0 ;-1) . On appelle éloignement dune pièce la distance de I à la perpendiculaire à (D) passant par le centre de la pièce multipliée par racine(2) . On remarquera que les manuvres 1°) et 2°) conservent léloignement de la pièce déplacée et que les pièces déplacées par la manoeuvre 3°) se rapprochent strictement de I . Globalement léloignement de lensemble des pièces à I ne peut quêtre stable ou diminuer donc si une position se reproduit , toutes les pièces ont gardé le même éloignement pendant toutes les étapes : la manuvre 3°) na jamais eu lieu . On remarquera que dans les différentes places possibles pour les pièces , il y a exactement k places à la distance k de I .
Considérons maintenant une position avec n(n+1)/2 pièces , ordonnée convenablement et de façon à ce quune des cases dont la distance à I soit inférieure ou égale à n ne soit pas occupée . Vu le nombre de pièces , il y en a forcément une distance d pour laquelle il existe une pièce à une distance d+1 et au moins une case à la distance d qui nest pas occupée par une pièce . La période du mouvement dune pièce à la distance d étant d et d+1 , d+1 , à un moment donné la pièce à la distance d+1 va se retrouver face au trou laissé par labsence dune pièce à la distance d , ce qui contredit labsence de manuvre 3°) . Pour conclure , toutes les cases dont la distance à I est inférieure ou égale à n sont remplies et nous avons la réponse voulue ( ouf ) .
Imod