Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. Supongamos que $n\equiv 2\ (\text{mod }3)$ y $d$ es un divisor suyo. Como $d$ no puede ser múltiplo de $3$ (en tal caso, $n$ también lo sería), llegamos a que $d\equiv 1\ (\text{mod }3)$ o bien $d\equiv 2\ (\text{mod }3)$. Su divisor complementario $\frac{n}{d}$ tiene que cumplir $\frac{n}{d}\equiv 2\ (\text{mod }3)$ o bien $\frac{n}{d}\equiv 1\ (\text{mod }3)$, respectivamente, para que $d\cdot\frac{n}{d}=n\equiv 2\ (\text{mod }3)$. Por tanto, tenemos que $d+\frac{n}{2}\equiv 1+2\equiv 0\ (\text{mod }3)$.

De esta manera, en la suma de divisores, tras agrupar cada divisor con su complementario, tendremos una suma de múltiplos de $3$ y hemos resuelto el problema. Sin embargo, queda por ver que todos los divisores están emparejados, lo cual es cierto a no ser que $n$ sea un cuadrado perfecto (en cuyo caso $d=\sqrt{n}$ coincide con su complementario $\frac{n}{d}=\sqrt{n}$). Como todo cuadrado es congruente con $0$ o $1$ módulo $3$, este caso no se da nunca.