Exercice : Divisibilité et division euclidienne dans ℤ

★ Standard

On souhaite établir un critère de divisibilité par $17$.

Pour tout entier naturel $N$ s'écrivant sous la forme $N = 10a + b$, avec $a \text{ entier naturel}$ et $b \text{ entier compris entre } 0 \text{ et } 9$, on cherche un entier $k \text{ appartenant à } \{1, \dots, 16\}$ tel que :

$N$ est divisible par $17$ si et seulement si $a + kb$ est divisible par $17$.

En reliant $N$ et la quantité $10(a + kb)$, puis en utilisant le fait que $10$ et $17$ sont premiers entre eux, déterminer la valeur de l'entier $k$.

Saisir la valeur de $k$.