Voy a tratar de explicar mediante un ejemplo.
Vamos a ver si 37 es un número primo.
- Obviamente no es divisible por 2,
- no es divisible por 3 (debido a 3+7=10 que no es divisible por 3),
- y no es divisible por cinco (debido a que el último dígito es el no 0 o 5).
Estos son todos los posibles candidatos para los factores de 37, y voy a tratar de explicar por qué. Si 7 es un factor de 37 (lo que significaría que 37 es divisible por 7, y por lo tanto no es un primo), a continuación, el otro factor que debe ser mayor o igual a 7, puesto que ya se ha demostrado que no hay ningún factor de menos de 7. Pero 7⋅7=49>37. Entonces no hay ninguna razón para tratar con mayor factores, debido a que el producto tendría que ser aún mayor.
Así hemos demostrado que para 37, solo tenemos que tratar de dividir por 2, 3 y 5. Como ambos Raeder y Theo ha señalado que no tenemos que ir más allá de la raíz cuadrada del número que desea comprobar y espero que mi ejemplo ayuda a explicar por qué.
Edit: Como Picakhu sugerido, voy a explicar por qué estos métodos para comprobar la divisibilidad por 2, 3, y 5 obras.
Comprobar la divisibilidad por 2 5
Al comprobar la divisibilidad por 2 o 5, es suficiente para comprobar que sólo el último dígito es divisible 2 o 5 respectivamente. Esto tiene que ver con el hecho de que estamos utilizando 10, que es el producto de 25, como nuestra base. Voy a explicar el uso de números de tres dígitos. La explicación sería muy similar si se hubiera utilizado más dígitos. Todos los números de abc (donde a es el primer dígito, b el segundo, y c el tercero) puede escribirse en la forma
abc=a⋅102+b⋅101+c⋅100=a⋅100+b⋅10+c.
La notación estoy usando puede ser confuso. Para aclarar: Si, por ejemplo, a=b=c=4,abc=444≠4⋅4⋅4. Vamos a ver qué pasa si dividimos por 2.
abc2=a⋅1002+b⋅102+c2=a⋅50+b⋅5+c2
Nos damos cuenta de que este es un número entero si y sólo si c2 es un número entero, no importa lo abc es. Obtenemos un resultado similar si dividimos por 5.
abc5=a⋅20+b⋅2+c5
Por lo tanto es suficiente para comprobar el último dígito.
Comprobar la divisibilidad por 3
Al comprobar la divisibilidad por 3, es suficiente para comprobar que la suma de los dígitos es divisible por 3. Esto es más fácil para mostrar el uso de aritmética modular. Tenga en cuenta que 10 \equiv 1 \pmod 3. Si usamos nuestro número de tres dígitos abc nuevo vemos que
a \cdot 10^2 + b \cdot 10 + c \equiv a \cdot 1 + b \cdot 1 + c = a + b + c \pmod 3.
Por lo tanto abc es divisible por 3 si y sólo si a + b + c es divisible por 3.
Wikipedia tiene una lista de más pruebas de divisibilidad como estos.