Lemme de divisibilité par 17
Le nombre anan−1...a1a0 est divisible par 17 si et seulement si anan−1...a1−5a0 est divisible par 17.
Il suffit de répéter l'opération ci-dessus et de vérifier que le résultat final est un multiple de 17.
Soit le nombre 3723. On a
372 – 5 × 3 = 357
35 – 5 × 7 = 0
Nous trouvons un résultat divisible par 17 donc 3723 est divisible par 17.
Critère pour un grand nombre
Supposons que l'on veuille savoir si un nombre contenant un très grand nombre de chiffres est divisible par 17.
Il suffit de séparer ce nombre par tranche de 8 chiffres en partant des unités et d'insérer alternativement des - et des + entre les tranches à partir du début du nombre en commençant par un -.
On effectue l'opération ainsi écrite et si le résultat est divisible par 17, alors le grand nombre considéré est divisible par 17.
Bien sur pour voir si le résultat de l'opération précédente est divisible par 17, on peut utiliser le début de ce paragraphe.
Exemple
Soit le nombre 416521368699986479153682401.
On le sépare par tranche de 8 à partir des unités.
416 | 52136869 | 99864791 | 53682401.
On intercale alternativement des + et des - à partir du début en commençant par un -.
416 - 52136869 + 99864791 - 53682401.
On effectue l'opération ainsi écrite.
416 - 52136869 + 99864791 - 53682401 = -5954063
Le résultat étant négatif, on prend la valeur absolue 5954063
On regarde si 5954063 est divisible par 17 à l'aide du lemme de divisibilité par 17.
595406 - 5×3 = 595391
59539 - 5×1 = 59534
5953 - 5×4 = 5933
593 - 5×3 = 578
57 - 5×8 = 17
Nous obtenons un résultat divisible par 17 donc 416521368699986479153682401 est divisible par 17.