Comment savoir si un nombre entier est divisible par 7 ?

Vous savez reconnaître les nombres entiers :
– qui sont divisibles par 2 (les nombres pairs) ;
– ceux divisibles par 5 (ils se terminent par 0 ou 5)...
mais savez-vous reconnaître les nombres divisibles par 7 rapidement ?

Un jeune nigérian de 12 ans, Chika, a trouvé une propriété :

(vidéo : www.maths-et-tiques.fr)
Procédons comme lui :
2020 —> 202 + 0x5 = 202 + 0 = 202
On recommence :
202 —> 20 + 2x5 = 20 + 10 = 30

30 n’est as divisible par 7 (on dit aussi que 30 n’est pas un multiple de 7) donc 202 et 2020 ne sont pas divisibles par 7 non plus.