La razón por la que usted puede simplemente suma los dígitos de un número para la prueba de divisibilidad por 3 es debido a que para todos los enteros $n \ge 0$:
$$10^n \equiv 1 \pmod 3$$
Para ver por qué esto es cierto, sabemos que $10^1 \equiv 1 \pmod 3$
Por lo tanto:
$$
10^n = 10*10*10 \cdots\\
\hspace{2,1 cm} \equiv 1*1*1\cdots \pmod 3\\
\hspace{0,1 cm} \equiv 1 \pmod 3\\
$$
A partir de esto podemos ver que para un entero $a_{n} a_{n-1} ...a_1$ en base 10 , $3 \mid a_{n} a_{n-1} ...a_1$ si y sólo si:
$$
\sum_{i=1}^{n} a_i \equiv 0 \pmod 3
$$
Podemos generalizar esto para cualquier base, si $n$ es de un dígito en base $b$ tal forma que:
$$
10_b \equiv 1 \pmod n
$$
A continuación, para todos los enteros $k \ge 0$:
$$
10_b^k \equiv 1 \pmod n
$$
Hay reglas de divisibilidad para la base 2.
Por ejemplo, un número binario $a_{n} a_{n-1} ...a_1$ donde $a_i$ es $1$ o $0$, $a_{n} a_{n-1} ...a_1$ es divisible por 3 si y sólo si:
$$
\sum_{i=1}^{\lfloor n/2 \rfloor} a_{2} - \sum_{j=0}^{\lfloor n/2 \rfloor} a_{2j+1} \equiv 0 \pmod 3
$$
Esto significa que $a_{n} a_{n-1} \cdots a_1$ es divisible por 3 si y sólo si la diferencia de la suma de los dígitos en las posiciones y la suma de los dígitos de las posiciones impares es divisible por 3.
Esto se aplica, en general, por cualquier base $b$ y un número de $a_{n} a_{n-1} ...a_1$ base $b$:
$$
(b+1) \a mediados a_{n-1} a_{n-2} ...a_1
$$
si y sólo si:
$$
\sum_{i=1}^{\lfloor n/2 \rfloor} a_{2} - \sum_{j=0}^{\lfloor n/2 \rfloor} a_{2j+1} \equiv 0 \pmod {b+1}
$$
Para ver por qué esto es cierto, también, sabemos que:
$$
b \equiv -1 \pmod {b+1}
$$
Por lo tanto:
$$
b^2 \equiv 1 \pmod {b+1}
$$
Así que para todos los enteros $i \ge 0$:
$$
b^{2i+1} \equiv -1 \pmod {b+1} \el espacio y el espacio \\espacio de b^{2} \equiv 1 \pmod {b+1}
$$
A partir de esto, $a_{n} a_{n-1} ...a_1$ es divisible por $b+1$ base $b$ si sólo si:
$$
a_1 + a_2 - a_3 + a_4 - \cdots + (-1)^{n-1}*a_n \equiv 0 \pmod {b+1}
$$
que es equalvalent a:
$$
\sum_{i=1}^{\lfloor n/2 \rfloor} a_{2} - \sum_{j=0}^{\lfloor n/2 \rfloor} a_{2j+1} \equiv 0 \pmod {b+1}
$$
No podría ser de 1 o 2 errores aquí (mi primera vez usando latex), siéntase libre de señalar.