Corde 1 : 1 nœud/2017 u
Corde 2 : 1 nœud/1789 u
Cylindre : 1 000 000 u

On commence par calculer le nombre d'unités restantes avant un nœud une fois un tour réalisé :
1 000 000 % 2017 = 1585
1 000 000 % 1789 = 1738

Ensuite, on calcule l'écart entre les nouveaux nœuds lors du second tour de cylindre avec ceux du premier tour, et on vérifie que ces nombres soient inférieurs à 1 000 :
2017 - 1585 = 432 < 1 000
1789 - 1738 = 51 < 1 000

Ensuite, on calcule le nombre d'unités à couvrir pour que l'écart minimal entre deux nœuds soit inférieur à 1 000 :
2017 - 1000 = 1017
1789 - 1000 = 789

On divise ce nombre par l'écart entre deux nœuds :
1017 / 432 = 2.35
789 / 51 = 15.47

Il faut donc réaliser 3 tours avec la corde 1, contre 16 avec la corde 2 pour avoir un écart de moins de 1 000 unités entre deux nœuds.

Merci pour cette énigme !

Avec la première corde, les 496 premiers noeuds vont de 0 à 998415. Les 496 suivants vont de 432 à 998847. Les 496 suivants vont de 864 à 999279, et là un premier espace plus grand que 1000 vient de se faire boucher. Il reste 495 noeuds à mettre, et tout est rebouché. Soit au total, 496*4-1=1983 noeuds.

Avec la deuxième corde, les 559 premiers noeuds vont de 0 à 998262, et le noeud suivant est placé en 51, etc. On obtient au total 559*17-1=9502 noeuds.

Il vaut donc mieux utiliser la première corde.

Assez peu d'intérêt finalement pour cette question tout de même pas très difficile...

La question posée voulait mettre en lumière le mécanisme de l'ordre des placements des multiples d'un nombre " a "'  modulo  " b" qui est loin de relever du hasard !

On observe (et on peut le prouver) que dans cet algorithme les écarts restent au nombre de 3 max, quel que soit "a" et "b" de départ, et 2 écarts à chaque fin de cycle, la suite de ces écarts successifs étant évidemment décroissante jusqu'à 1. Le plus petit écart est la différence entre le plus grand et le médium. Cette propriété étant établie, on peut alors résoudre l'énigme facilement.