# Criteri di divisibilità

In aritmetica, i criteri di divisibilità sono degli algoritmi utilizzati per determinare la divisibilità di un numero intero per un certo fattore, senza la necessità di eseguire una divisione esplicita.
Questi criteri si basano su una serie di operazioni eseguite sulle cifre che compongono il numero. Tali operazioni dovrebbero essere sufficientemente semplici da potersi fare a mente o comunque essere più veloci rispetto alla divisione.
Poiché i criteri di divisibilità operano direttamente sulle cifre del numero, la loro applicabilità dipende dalla base in cui il numero è espresso. In pratica, si considerano solamente i criteri per i numeri espressi in base 10. Quando un criterio si riferisce alle "ultime cifre", si intende sempre quelle posizionate più a destra.
Alcuni criteri si limitano a dare un risultato sì/no, mentre altri permettono anche di determinare il resto della divisione, poiché calcolano il modulo, e il numero dato è divisibile se e solo se tale resto è 0. Può essere necessaria una lieve modifica rispetto alla loro formulazione tradizionale. Ad esempio, il criterio di divisibilità per 2 può essere espresso nella forma: il resto della divisione di un numero $n$ per 2 è uguale al resto della divisione dell'ultima cifra di $n$ per 2 (quindi $n$ è divisibile per 2 se e solo se tale resto è 0).
Inoltre, vale la regola generale secondo cui, se un numero $n$ è divisibile per $m,$ allora $n$ è divisibile anche per ogni divisore di $m.$ Viceversa, se $n$ è divisibile per $m_{1}$, $m_{2},\ldots ,m_{l}$, allora $n$ è divisibile anche per il minimo comune multiplo di $m_{1}$, $m_{2},\ldots ,m_{l}$. Ad esempio, un numero è divisibile per 6 se e solo se è divisibile sia per 2 sia per 3. Usando questa regola, se la fattorizzazione di $m$ in primi distinti è $m=p_{1}^{e_{1}}p_{2}^{e_{2}}\cdots p_{l}^{e_{l}}$, allora un numero è divisibile per $m$ se e solo se è divisibile per ognuno dei fattori $p_{1}^{e_{1}},p_{2}^{e_{2}},\cdots ,p_{l}^{e_{l}}$. È quindi sufficiente considerare i criteri di divisibilità per i numeri primi e per le potenze di primi. Ad esempio, poiché $792=2^{3}\cdot 3^{2}\cdot 11$, un numero è divisibile per 792 se e solo se è divisibile per 8, per 9 e per 11.

## Principali criteri di divisibilità dei numeri interi
### Divisibilità per 0

Nessun numero è divisibile per 0.

### Divisibilità per 1

Tutti i numeri sono divisibili per 1.

### Divisibilità per 2

Un numero è divisibile per 2 se e solo se è pari, ovvero se la sua ultima cifra è 0, 2, 4, 6 oppure 8.
* Dimostrazione: si consideri un numero $N$; le sue cifre decimali sono i coefficienti a$_i$ che compaiono nella somma:
       $N=a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}$
    i termini $a_{i}10^{i}$ sono tutti divisibili per 2 se $i>0$, quindi se $N$ è divisibile per 2 lo è anche:
       $N-(a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k})$
    cioè $a_{0}$, che quindi è 0, 2, 4, 6 o 8.
    Viceversa se $a_{0}$ è 0, 2, 4, 6 o 8, una volta che lo sommiamo al numero:
       $(a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k})$
    che è anch'esso divisibile per 2, otteniamo ancora un multiplo di 2, dunque $N$ sarà divisibile per 2.
Esempio: 26 è divisibile per 2 perché finisce con 6.
Vedi anche divisione per due.
La divisibilità o meno per 2, divide i numeri interi in due categorie: i numeri pari, che sono divisibili per 2, e i numeri dispari, che non lo sono.

#### Divisibilità per una potenza di 2

Più in generale, un numero è divisibile per $2^{k}$ se lo è il numero costituito dalle $k$ cifre più a destra del numero.
* Dimostrazione: si rappresenti un qualunque numero naturale $n$ nella forma $n=m_{k}10^{k}+n_{k}$ dove $n_{k}$ indica il numero costituito dalle prime k cifre di destra ed $m_{k}$ il numero costituito dalle rimanenti cifre alla sinistra di $n_{k}$. Se si dividono entrambi i membri per $2^{k}$ risulta, poiché $m_{k}{\frac {10^{k}}{2^{k}}}=m_{k}5^{k}$ è un numero intero, che la divisibilità di $n$ per $2^{k}$ dipende solo dalla divisibilità di ${\frac {n_{k}}{2^{k}}}$.

### Divisibilità per 3

Un numero è divisibile per 3 se la somma di tutte le sue cifre è pari a 3 o ad un suo multiplo (6, 9); nel caso in cui tale somma sia un numero maggiore di 9, se ne sommano nuovamente le cifre e si verifica che quest'ultimo risultato sia divisibile per 3.
Esempio: per verificare se 493827 è divisibile per 3, sommando le cifre che compongono il numero (4+9+3+8+2+7), si ottiene 33, che è maggiore di 9, quindi si sommano le cifre di 33 (3+3), ottenendo 6: poiché 6 è un multiplo intero di 3, il numero di partenza è divisibile per 3.
Altro esempio: per verificare se 32565 è divisibile per 3, basta eseguire la somma: 3+2+5+6+5 = 21, che è maggiore di 9, e sommando nuovamente le sue cifre si ha 2+1 = 3; dato che 3 è divisibile per 3, allora anche 32565 lo è.
* Dimostrazione: si consideri un numero $N,$; le sue cifre decimali sono i coefficienti $a_{i}$ che compaiono nella somma:
       $N=a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}$.
    Supponiamo che la somma
       $a_{0}+a_{1}+a_{2}+a_{3}+\cdots +a_{k}$
    sia divisibile per 3; questo si può tradurre in aritmetica modulare dicendo che:
       $a_{0}+a_{1}+a_{2}+a_{3}+\cdots +a_{k}\equiv 0{\pmod {3}}$
    ovvero:
       $a_{0}\equiv -(a_{1}+a_{2}+a_{3}+\cdots +a_{k}){\pmod {3}}$.
    Sostituendo in $N$ si ha:
       $N\equiv -(a_{1}+a_{2}+a_{3}+\cdots +a_{k})+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}\equiv 9a_{1}+99a_{2}+\cdots +(10^{k}-1)a_{k}\;\;,$
    che risulta essere un multiplo di 3.

### Divisibilità per 4

Un numero è divisibile per 4 se le ultime due cifre sono due zeri oppure formano un numero multiplo di 4, oppure se le ultime due cifre sono tali che la penultima è dispari e l'ultima è 2 oppure 6, oppure la sua penultima cifra è pari e l'ultima è 0, 4 oppure 8.
* Dimostrazione: sia un numero $N;$ le sue cifre decimali sono i coefficienti $a_{i}$ che compaiono nella somma:
       $N=a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}$.
    Se il numero finisce per 00 è divisibile per 100, che a sua volta è divisibile per 4.
    Supponiamo che le ultime due cifre
       $a_{0}+a_{1}10$
    formino un multiplo di 4; in ogni caso anche le cifre rimanenti:
       $a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}$
    formeranno un multiplo di 4 (in quanto formano un multiplo di 100) quindi anche la loro somma, cioè $N,$ è multiplo di 4.
Esempio: 424 è divisibile per 4 perché le ultime 2 cifre sono 2 e 4, che formano 24, che è multiplo di 4.

### Divisibilità per 5

Un numero è divisibile per 5 se la sua ultima cifra è 0 oppure 5.
* Dimostrazione: si consideri un numero $N;$ le sue cifre decimali sono i coefficienti $a_{i}$ che compaiono nella somma:
       $N=a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}$
    i termini $a_{i}10^{i}$ sono tutti divisibili per 5 se $i>0,$ quindi se $N$ è divisibile per 5 lo è anche:
       $N-(a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k})$
    cioè $a_{0}$, che quindi è 0 o 5.
    Viceversa se $a_{0}$ è 0 o 5 una volta che lo si somma al numero:
       $(a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k})\;\;,$
    che è anch'esso divisibile per 5, si ottiene ancora un multiplo di 5, dunque $N$ sarà divisibile per 5.
Esempio: 565 è divisibile per 5 perché finisce con 5.

#### Divisibilità per una potenza di 5

Similmente al caso con le potenze di 2, un numero è divisibile per $5^{k}$ se lo è il numero formato dalle $k$ cifre più a destra del numero.

### Divisibilità per 7

Analizzeremo di seguito tre differenti criteri di divisibilità per questo caso, con il primo caso suddivisibile in due sottovarianti.
Vale la pena anticipare che, per rapidità di calcolo, l'uso del secondo criterio B) risulta essere il migliore, ancor più se accoppiato alla variante per i Numeri Grandi, come verrà mostrato.
A.1) Primo criterio, prima variante: con separazione dell'ultima cifra (quella delle unità).
Enunciato: "Un numero è divisibile per 7 se la somma tra il numero ottenuto escludendo la cifra delle unità (prenumero) e il quintuplo della cifra delle unità (coda numerica) è multiplo di 7".
Esempio: 68089; calcoliamo 6808 + 9×5 = 6853; non sapendo se 6853 sia divisibile per 7 basta ripetere la procedura. 685 + 3×5 = 700, che è evidentemente un multiplo di sette. Pertanto 68089 è multiplo di 7.
* Dimostrazione: si consideri un numero $N;$ le sue cifre decimali sono i coefficienti $a_{i}$ che compaiono nella somma:
       $N=a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}\;\;,$
    che possiamo scrivere più sinteticamente:
       $N=a_{0}+10\times b$.
    Nel linguaggio dell'aritmetica modulare è noto che $N$ è divisibile per 7 se e solo se:
       $N\equiv 0{\pmod {7}}\;\;,$
    ovvero:
       $a_{0}+10\times b\equiv 0{\pmod {7}}$.
    Se si moltiplica tutto per 5 (che è l'inverso aritmetico di 10 modulo 7) abbiamo:
       $5\times a_{0}+5\times 10\times b\equiv 0{\pmod {7}}\;\;,$
    ovvero:
       $5\times a_{0}+b+{\cancel {49\times b}}\equiv 0{\pmod {7}}$
    da cui:
       $5\times a_{0}+b\equiv 0{\pmod {7}}$.
Dato che $-2$ appartiene alla stessa classe resto di 5 modulo 7, il criterio sopra definito può essere modificato in una seconda variante, secondo quanto segue.
A.2) Primo criterio, seconda variante: con separazione dell'ultima cifra (quella delle unità).
Enunciato: "Un numero è divisibile per 7 se la differenza tra il numero ottenuto escludendo la cifra delle unità (prenumero) ed il doppio della cifra delle unità (coda numerica) è multiplo di 7".
Utilizzando lo stesso esempio "68089" è possibile infatti vedere che: 6808-9×2=6790; 679-0×2=679; 67-9×2=49, numero divisibile per 7: da cui la divisibilità del numero iniziale per 7 è confermata.
Va ricordato che questi criteri (al contrario dei successivi) non consentono il calcolo del resto della divisione per 7, solo la verifica della divisibilità.
Un altro metodo per determinare la divisibilità per 7, come quello per 13, sfrutta anche il fatto che 1001 è fattorizzabile come 7 × 11 × 13, e quindi si può iniziare a ridurre il numero dato a uno con al più tre cifre (vedi sotto il criterio di divisibilità per 1001). Tali cifre, prese da destra a sinistra, devono essere moltiplicate rispettivamente per 1, 3 e 2 (mnemonicamente si può vedere la cosa come "legge 132") e i risultati sommati tra di loro.
La divisibilità per 7 può anche essere determinata prendendo la cifra più a sinistra del numero, moltiplicarla per 3 e sommarla a quella immediatamente più a destra, eliminando eventuali fattori 7 e continuando fino alla cifra più a destra.
Nell'esempio del numero 493827, le operazioni da compiere sono:
×4 × 3 + 9 = 21 $\rightarrow$ 0;
×0 × 3 + 3 = 3;
×3 × 3 + 8 = 17 $\rightarrow$ 3;
×3 × 3 + 2 = 11 $\rightarrow$ 4;
×4 × 3 + 7 = 19 $\rightarrow$ 5.
Il risultato finale è proprio il resto della divisione del numero per 7: se tale risultato è 0 il numero è dunque divisibile per 7. La stessa operazione si può anche fare da destra a sinistra; in questo caso il moltiplicatore è 5.
Per Numeri Grandi, è possibile dividerli in gruppi di tre cifre da destra a sinistra, inserendo segni alternati fra ogni gruppo: il risultato deve essere divisibile per 7.
Esempio: vediamo se 1491826 è divisibile per 7.
Scomponiamo il numero in gruppi di tre cifre, partendo da destra, alternandone i segni: 1491826: 826 - 491 + 1 = 336 e, utilizzando uno dei criteri precedenti, 33 + (6 × 5) = 63 quindi è divisibile.
Un ulteriore criterio di divisibilità per 7 è il seguente, assai facile da usare:
* si divide il numero in esame in gruppi di tre cifre operando da destra verso sinistra e di ciascuno si calcola il resto della divisione per 7;
* si sommano i resti dei gruppi di posto dispari e dei gruppi di posto pari: se la differenza delle due somme è nulla o un multiplo di 7 il numero di partenza è divisibile per 7.
Si consideri come esempio il numero 123457789: il resto di 123:7 è 4, il resto di 457:7 è 2, il resto di 789:7 è 5; la somma dei resti dei gruppi di posto dispari è 4+5=9 e la somma dei resti dei gruppi di posto pari è 2 (c'è un solo gruppo); poiché 9-2=7 il numero di partenza è divisibile per 7. Per calcolare il resto della divisione di un numero per 7 si ricordi che il resto non cambia se si sottrae al numero di partenza un multiplo di 7: ad esempio 723:7 dà lo stesso resto di (723-700):7 ovvero 23:7 il cui resto è assai più facile da calcolare.
Si può anche dividere il numero in esame in due gruppi di cifre, le tre cifre di destra e le rimanenti cifre, ed applicare il medesimo criterio. Sia il numero 123457789 (già considerato sopra): il resto di 123457:7 è 5, il resto di 789:7 è 5; la differenza dei resti è nulla e pertanto il numero di partenza è divisibile per 7.
Per i numeri non divisibili per 7, la citata differenza tra le somme dei resti dei gruppi di posto dispari e dei gruppi di posto pari fornisce anche il resto della divisione del numero di partenza per 7 (con l'accortezza di aggiungere 7 in caso di differenza negativa e di sottrarre 7 - o multipli di 7 - in caso di differenza maggiore di 6).
B) Secondo criterio: con separazione delle ultime due cifre (quella della decina e quella delle unità)
Enunciato: "Un numero è divisibile per 7 se e solo se la somma tra il doppio del numero ottenuto escludendo le ultime due cifre (decine ed unità) e il numero composto dalle sole ultime due cifre è 7 o un multiplo di 7; il criterio può essere ripetuto ricorsivamente".
Esempio: verificare se 53158 sia divisibile per 7.
53158: 531×2 + 58 = 1120;
e, ricorsivamente:
1120: 11×2 + 20 = 42;
poiché 42 è divisibile per 7, anche 53158 lo sarà.
* Dimostrazione:
senza perdita di generalità sulla lunghezza del numero iniziale, potremmo dire che il numero $N$ di cui vogliamo verificare la divisibilità per 7 si può scrivere come abcdef, dove ogni lettera rappresenta una cifra numerica (se il numero $N$ fosse più lungo o più corto è sufficiente prendere in considerazione ulteriori lettere per rappresentarlo). In simboli, sia $N$ = abcedf, allora:
$N$ = abcdef = abcd × 100 + ef = abcd × (98 + 2) + ef = 98 × abcd + 2 × abcd + ef = 98 × abcd + $M$,
dove si è posto $M$ = 2 × abcd + ef.
Siccome 98 × abcd è divisibile per 7 (per ben due volte dato che è divisibile anche per 49), $N$ è divisibile per 7 se e solo se lo è anche $M,$ che è proprio quanto sostenuto in questo criterio di divisibilità.
C) terzo criterio: con somma delle cifre moltiplicate per opportuni scalari.
Enunciato: "Un numero è divisibile per sette se lo è la somma delle somme con segni alterni: delle cifre di posizione congrua a zero (mod 3), delle cifre di posizione congrua a 1 (mod 3) per tre e delle cifre di posizione congrua a 2 (mod 3) per due".
Esempio: verificare che il numero 777213213 sia divisibile per 7.
(3-3+7)+3*(1-1+7)+2*(2-2+7)=42
poiché 42 è divisibile per 7, anche 777213213 lo sarà.
* Dimostrazione:
Sia $N=a_{0}10^{0}+a_{1}10^{1}+a_{2}10^{2}+...+a_{k}10^{k}$ si ha:
$10^{0}\equiv 1\;(mod\,\,7)$
$10^{1}\equiv 3\,(mod\,\,7)$
$10^{2}\equiv 2\,(mod\,\,7)$
$10^{3}\equiv 6\equiv -1\,(mod\,\,7)$
$10^{4}\equiv 4\equiv -3\,(mod\,\,7)$
$10^{5}\equiv 5\equiv -2\,(mod\,\,7)$
$10^{6}\equiv 1\,(mod\,\,7)$ per il Piccolo teorema di Fermat
$10^{7}=10^{1}\cdot 10^{6}\equiv 10^{1}\equiv 3\,(mod\,\,7)$
$10^{8}=10^{2}\cdot 10^{6}\equiv 10^{2}\equiv 2\,(mod\,\,7)$
e così via...
quindi $N\equiv a_{0}+3a_{1}+2a_{2}-a_{3}-3a_{4}-2a_{5}+a_{6}+3a_{7}+2a_{8}+...=(a_{0}-a_{3}+a_{6}-...)+3(a_{1}-a_{4}+a_{7}-...)+2(a_{2}-a_{5}+a_{8}-...).$
Curiosità: il metodo C) consente il calcolo del resto della divisione di N per 7.
Curiosità: in modo analogo al metodo B) si deriva un altro criterio di divisibilità per il numero 17; l'unica differenza che il numero residuale ef (cioè quello composto dalle sole cifre della decina e dell'unità) deve essere sottratto e non aggiunto; attenzione: in questo caso il risultato finale potrebbe venire negativo, ma questo non deve preoccupare, il risultato finale può essere considerato in valore assoluto.
Il criterio appena esposto ben si adatta ad una rapida determinazione della divisibilita` per 7 sui Numeri Grandi.
Infatti in maniera del tutto identica a quanto scritto nel primo criterio, è possibile dividerli in gruppi di tre cifre da destra a sinistra, inserendo segni alternati fra ogni gruppo: il risultato dev'essere divisibile per 7.
Esempio: vediamo se 1491826 è divisibile per 7.
Scomponiamo il numero in gruppi di tre cifre, partendo da destra, alternandone i segni:
1491826: +826 - 491 + 1 = 336;
e, utilizzando il secondo criterio appena esposto:
3×2 + 36 = 42 che, essendo divisibile per 7, conferma la divisibilità per 7 anche del numero di partenza.
Altro esempio: analizziamo la divisibilità per 7 di 123457789:
123457789: +789 -457 +123 = 455;
e, per il secondo criterio B):
455: 4×2 + 55 = 63, ovvero il numero di partenza è divisibile per 7.

### Divisibilità per 8

Un numero è divisibile per 8 se termina con tre zeri o se lo è il numero formato dalle sue ultime 3 cifre. Per esempio: 1128 è divisibile per 8 perché anche 128 lo è.
Un'altra possibilità è data dal prendere la terz'ultima cifra, raddoppiarla, sommarla alla penultima, raddoppiare il risultato e sommarlo all'ultima: se il risultato finale è multiplo di 8, allora anche il numero originale lo è.
Esempio: 15736. Si esegue il conto: 7×2 = 14; 14+3 = 17; 17×2 = 34; 34+6 = 40. Dato che 40 è un multiplo di 8, anche 15736 lo è.

### Divisibilità per 9

Un numero è divisibile per 9 se la somma delle sue cifre è divisibile per nove. Nel caso tale somma sia un numero maggiore di 9, si può reiterare l'operazione.
Si consideri ad esempio il numero 493827: sommando le sue cifre si ottiene 33. Ripetendo ulteriormente l'operazione si ottiene 6, da cui risulta che il numero 493827 non è divisibile per 9. Il risultato dell'operazione (6 nell'esempio) è pari al resto modulo 9 (dividendo il risultato per 3 si otterrebbe il resto modulo 3). Da notare che non è necessario sommare eventuali cifre 9 presenti nel numero.
Dal criterio appena descritto si ricava una delle tante proprietà curiose legate al numero 9. Se si sottrae ad un qualunque numero la somma delle sue cifre prese singolarmente si ottiene sempre un numero divisibile per 9. Riprendendo l'esempio precedente, se a 493827 si sottraggono le sue cifre si ottiene: 493827-(4+9+3+8+2+7)=493794, la cui divisibilità per 9 può facilmente essere dimostrata col precedente criterio. Questo è dovuto al fatto che, come descritto in precedenza, la somma delle cifre di un numero è pari proprio al resto modulo 9.
Vedi anche Prova del nove e Radice numerica.

### Divisibilità per 10

Un numero è divisibile per 10 quando la sua ultima cifra è zero.

#### Divisibilità per una potenza di 10

Un numero è divisibile per $10^{m}$ (10, 100, 1000, ...) quando le sue ultime $m$ (1, 2, 3, ..., rispettivamente) cifre a destra sono tutti zeri. Ad esempio, 40 è divisibile per 10, 300 è divisibile per 100 e 4000 è divisibile per 1000.
* Dimostrazione: un generico numero naturale $N$ è, infatti, sempre esprimibile nella forma
       $N=a_{0}+a_{1}10+a_{2}10^{2}+\cdots +a_{k-1}10^{k-1}+a_{k}10^{k}$
    in cui i coefficienti $a_{i}$ sono le $k+1$ cifre decimali di $N$. La precedente somma può essere scritta anche come
       $N=N_{m}+10^{m}\times b$
    avendo posto
       $b\triangleq a_{m}+a_{m+1}10+a_{m+2}10^{2}+\cdots +a_{k-1}10^{k-1-m}+a_{k}10^{k-m}$
    ed
       $N_{m}\triangleq a_{0}+a_{1}10+a_{2}10^{2}+\cdots +a_{m-2}10^{m-2}+a_{m-1}10^{m-1}$
    dove $a_{0},a_{1},a_{2}\cdots ,a_{m-2},a_{m-1}$ sono le ultime $m$ cifre a destra di $N$ ($m\in \mathbb {N^{+}}$).
    Pertanto, $N$ sarà divisibile per $10^{m}$ quando lo è il numero $N_{m}$ composto dalle sue ultime $m$ cifre a destra; d'altronde, essendo tutti i coefficienti $a_{i}$ minori di 10 (in quanto cifre decimali), $N_{m}$ potrà essere divisibile per $10^{m}$ soltanto quando è nullo, il che richiede che le $m$ cifre $a_{0},a_{1},a_{2}\cdots ,a_{m-2},a_{m-1}$ siano tutte pari a zero.

### Divisibilità per 11

Un numero è divisibile per 11 se la differenza tra la somma delle sue cifre di posto dispari e la somma delle sue cifre di posto pari dà come risultato 0, 11 o un multiplo (anche intero) di 11. Ad esempio, "8.291.778" è divisibile per 11 perché: (8+9+7+8)-(2+1+7) = 32-10 = 22.

### Divisibilità per 13

Un numero è divisibile per 13 se la somma tra il numero ottenuto escludendo la cifra delle unità (prenumero) e il quadruplo della cifra delle unità (coda numerica) è 0, 13 o un suo multiplo.
Esempio: 12285; calcoliamo 1228 + 5×4 = 1248; non sapendo se 1248 sia divisibile per 13 basta ripetere la procedura. 124 + 8×4 = 156. Anche qui si ripete la procedura: 15 + 6×4 = 39, cioè 13×3. Pertanto 12285 è multiplo di 13.
* Dimostrazione: consideriamo un numero $N$, le sue cifre decimali sono i coefficienti $a_{i}$ che compaiono nella somma
       $N=a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}$
    che possiamo riscrivere come
       $N=a_{0}+10(a_{1}+a_{2}10+a_{3}10^{2}+\ldots +a_{k}10^{k-1})$
    nel linguaggio dell'aritmetica modulare sappiamo che $N$ è divisibile per 13 se e solo se
       $N\equiv 0{\pmod {13}}$
    ovvero
       $a_{0}+10(a_{1}+a_{2}10+a_{3}10^{2}+\ldots +a_{k}10^{k-1})\equiv 0{\pmod {13}}$
    e se moltiplichiamo tutto per 4 abbiamo
       $4a_{0}+40(a_{1}+a_{2}10+a_{3}10^{2}+\ldots +a_{k}10^{k-1})\equiv 0{\pmod {13}}$
       poiché
       $40\equiv 1{\pmod {13}}$
    si ha
       $4a_{0}+a_{1}+a_{2}10+a_{3}10^{2}+\ldots +a_{k}10^{k-1}\equiv 0{\pmod {13}}$
Va ricordato che questo criterio, non consente il calcolo del resto della divisione per 13, ma solo la verifica della divisibilità.
Un ulteriore criterio di divisibilità per 13 è il seguente, assai facile da usare:
* si divide il numero in esame in gruppi di tre cifre (da destra a sinistra) e di ciascuno si calcola il resto della divisione per 13;
* si sommano i resti dei gruppi di posto dispari e dei gruppi di posto pari: se la differenza delle due somme è nulla o un multiplo di 13 il numero di partenza è divisibile per 13.
Si consideri per esempio il numero 123457789: il resto di 123:13 è 6, il resto di 457:13 è 2, il resto di 789:13 è 9; la somma dei resti dei gruppi di posto dispari è 6+9=15 e la somma dei resti dei gruppi di posto pari è 2 (c'è un solo gruppo); poiché 15-2=13, il numero di partenza è divisibile per 13. Per calcolare facilmente il resto della divisione di un numero per 13 si ricordi che il resto non cambia se si sottrae al numero di partenza un multiplo di 13: ad esempio 543:13 dà lo stesso resto di (543-520):13 ovvero 23:13 il cui resto è assai più facile da calcolare.
Si può anche dividere il numero in esame in due gruppi di cifre, le tre cifre di destra e le rimanenti cifre, ed applicare il medesimo criterio. Sia il numero 123457789 (già considerato sopra): il resto di 123457:13 è 9, il resto di 789:13 è 9; la differenza dei resti è nulla e pertanto il numero di partenza è divisibile per 13.
Per i numeri non divisibili per 13, la citata differenza tra le somme dei resti dei gruppi di posto dispari e dei gruppi di posto pari fornisce anche il resto della divisione del numero di partenza per 13 (con l'accortezza di aggiungere 13 in caso di differenza negativa e di sottrarre 13 - o multipli di 13 - in caso di differenza maggiore di 12).

### Divisibilità per 17

Primo metodo:
Un numero è divisibile per 17 se il valore assoluto della differenza fra il numero ottenuto eliminando la cifra delle unità e il quintuplo della cifra delle unità è 0, 17 o un multiplo di 17. Per esempio: 1 003 è divisibile per 17 se lo è il numero $|100-5\cdot 3|=85$. Questo è divisibile per 17 se lo è il numero $|8-5\cdot 5|=17$
* Dimostrazione: esprimiamo $N$ come $N={\overline {a_{k}a_{k-1}a_{k-2}\ldots a_{1}a_{0}}}=a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\ldots +a_{k}10^{k}$, quindi $N$ sarà divisibile per 17 se e solo se $N\equiv _{17}0$
* $a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}\equiv _{17}0$ (il coefficiente di $a_{0}$ può essere sostituito con un altro numero appartenente alla classe di equivalenza di 1, cioè $[1]_{17}=[18]_{17}$ );
* $18a_{0}+a_{1}10+a_{2}10^{2}+a_{3}10^{3}+\cdots +a_{k}10^{k}\equiv _{17}0$ (si dividono entrambi i membri per 2: cosa possibile visto che 2 e 17 sono coprimi);
* $9a_{0}+5(a_{1}+a_{2}10+a_{3}10^{2}+\cdots +a_{k}10^{k-1})\equiv _{17}0$ (si sostituisce al coefficiente di $a_{0}$ un altro numero appartenente alla classe di equivalenza di 9, cioè $[9]_{17}=[-25]_{17}$ );
* $-25a_{0}+5(a_{1}+a_{2}10+a_{3}10^{2}+\cdots +a_{k}10^{k-1})\equiv _{17}0$ (si dividono entrambi i membri per 5: cosa possibile visto che 5 e 17 sono coprimi);
* $-5a_{0}+a_{1}+a_{2}10+a_{3}10^{2}+\cdots +a_{k}10^{k-1}\equiv _{17}0$ cioè ${\overline {a_{k}a_{k-1}a_{k-2}\ldots a_{1}}}-5a_{0}=17k\qquad k\in \mathbb {Z}$
Quindi con questo criterio è possibile ottenere 17 quando $k=1$, oppure qualche multiplo di 17: in questo caso il criterio può essere reiterato con il numero appena ottenuto (proprio come nell'esempio qua sopra).
Secondo metodo:
Un numero è divisibile per 17, se la somma tra il numero ottenuto dall'unità moltiplicata per 9 (si parte da 1 a 10, escludendo lo zero) e il restante numero (dedotto di uno nel caso si consideri prima il numero 10) moltiplicato per 5 è divisibile per 17. È possibile rifare il calcolo.
Esempio:
Sia il numero 143990:
(10×9) + (14398×5) = 90 + 71990 = 72080
Si reitera il conto con il numero appena ottenuto (e via di seguito): 72080
(10×9) + (7207×5) = 90 + 36035 = 36125
36125:
(5×9) + (3612×5) = 45 + 18060 = 18105
18105:
(5×9) + (1810×5) = 45 + 9050 = 9095
9095:
(5×9) + (909×5) = 45 + 4545 = 4590
4590:
(10×9) + (458×5) = 90 + 2290 = 2380
2380:
(10×9) + (237×5) = 90 + 1185 = 1275
1275:
(5×9) + (127×5) = 45 + 635 = 680
680:
(10×9) + (67×5) = 90 + 335 = 425
425:
(5×9) + (42×5) = 45 + 210 = 255
255:
(5×9) + (25×5) = 45 + 125 = 170
170 è divisibile per 17.

### Divisibilità per 20

Un numero è divisibile per 20 se è composto da almeno due cifre e le sue ultime due cifre a destra sono 00, 20, 40, 60, 80.

### Divisibilità per 25

Un numero è divisibile per 25, se è composto da almeno due cifre e le sue ultime 2 cifre a destra sono 00, 25, 50 o 75. Ad esempio 1550 è divisibile per 25 perché le ultime 2 cifre, 50, formano un numero divisibile per 25.

### Divisibilità per 27

Per verificare se un numero è divisibile per 27, lo si divide in terzetti di cifre (a partire da destra). Se la somma di tutti i terzetti dà come risultato un multiplo di 27 allora il numero di partenza è divisibile per 27. In alternativa, se risulta più agevole, si possono calcolare i resti delle divisioni per 27 dei vari terzetti e sommare infine tutti i resti ottenuti: se tale somma dà come risultato un multiplo di 27 allora il numero di partenza è divisibile per 27.
Ad esempio 514.291.761 è divisibile per 27 perché: 761+291+514 = 1566 che è un multiplo di 27; ovvero, in alternativa, 761=28x27+5 291=10x27+21 514=19x27+1 e 5+21+1=27.

### Divisibilità per 37

Analogamente per verificare se un numero è divisibile per 37, lo si divide in terzetti di cifre (a partire da destra). Se la somma di tutti i terzetti dà come risultato un multiplo di 37 allora il numero di partenza è divisibile per 37. In alternativa, se risulta più agevole, si possono calcolare i resti delle divisioni per 37 dei vari terzetti e sommare infine tutti i resti ottenuti: se tale somma dà come risultato un multiplo di 37 allora il numero di partenza è divisibile per 37. Ad esempio 514.291.749 è divisibile perché: 749+291+514 = 1554 che è un multiplo di 37; ovvero, in alternativa, 749=20x37+9 291=7x37+32 514=13x37+33 e 9+32+33=74 che è evidentemente un multiplo di 37. Per comprendere la similarità dei criteri di divisibilità per 27 e per 37 e capire perché per tali criteri si dividono i numeri in gruppetti di tre cifre si fa riferimento alla scomposizione di 999 che è pari a 27x37.

### Divisibilità per 101

Per verificare se un numero è divisibile per 101, lo si divide in coppie di cifre a partire da destra. Se, contando da destra verso sinistra, la differenza tra la somma delle coppie che occupano posto dispari e la somma delle coppie che occupano posto pari dà come risultato 0, 101, un multiplo di 101 (anche intero), allora il numero di partenza è divisibile per 101.
Ad esempio 514.300.787 è divisibile perché: (87+30+5)-(7+14) = 122-21 = 101.

### Divisibilità per 1001

Per verificare se un numero è divisibile per 1001, lo si divide in terzetti di cifre a partire da destra. Se contando da destra verso sinistra, la differenza tra la somma dei terzetti che occupano posto dispari e la somma dei terzetti che occupano posto pari dà come risultato un multiplo intero di 1001, allora il numero di partenza è divisibile per 1001. Se non è della forma $1001k$, con $k\in \mathbb {Z}$, il numero ottenuto (compreso tra 1 e 1000) è il resto della divisione per 1001 (se lo otteniamo negativo dobbiamo aggiungere 1001). Questo criterio può essere utilizzato per verificare anche la divisibilità per 7, 11 e 13 quando il numero ha molte cifre (si può utilizzare questo criterio per ridurre il numero di cifre fino a 4 e poi terminare con i criteri sopra esposti).
Ad esempio 514.291.778 è divisibile perché: (778+514)-(291) = 1292-291 = 1001.

### Divisibilità in altre basi

Sia $n$ un numero espresso in base $b$, e sia $m$ un divisore di $b$. Si possono generalizzare il criterio di divisibilità per le potenze di 2, 5, 10 e il criterio di divisibilità per 9 (o per 3) nel modo seguente:
* il resto della divisione di $n$ per $m^{e}$ è lo stesso della divisione delle ultime $e$ cifre di $n$ per $m^{e}$;
* il resto della divisione di $n$ per $b-1$ (o un divisore di $b-1$) è lo stesso della divisione della somma delle cifre di $n$ per $b-1$.
Anche il criterio di divisibilità per 11 può essere facilmente generalizzato a $b+1$.

## Divisibilità in altri anelli

È possibile considerare la divisibilità anche su altri anelli oltre agli interi.

### Interi di Gauss

Tenendo presente che 2 e 5 si scompongono in fattori primi come $2=-i(1+i)^{2}$ e $5=(2-i)(2+i),$ si possono dare criteri di divisibilità per gli interi di Gauss: $1+i$ (ed equivalentemente per $1-i=-i(1+i)$), $2-i$ e $2+i$. Infatti, un intero di Gauss è divisibile:
* per $1+i$ se e solo se la somma della parte reale e di quella immaginaria è divisibile per 2,
* per $2-i$ se e solo se la differenza del doppio della parte reale con quella immaginaria è divisibile per 5,
* per $2+i$ se e solo se la somma del doppio della parte reale e di quella immaginaria è divisibile per 5.

### Polinomi

Il teorema del resto fornisce un criterio di divisibilità dei polinomi per polinomi di grado 1.