
Para cada entero n>0 con expansión decimal ¯a1a2…ak definimos s(n) como sigue:
- Si k es par, s(n)=¯a1a2+¯a3a4+⋯+¯ak−1ak
- Si k es impar, s(n)=a1+¯a2a3+¯a4a5+⋯+¯ak−1ak
Por ejemplo, si n=123 entonces s(n)=1+23=24 y si n=2021 entonces s(n)=20+21=41.
Decimos que este n es digital si n es múltiplo de s(n). Muestra que entre cualesquiera 198 enteros positivos consecutivos, todos ellos menores que 2000021, hay uno de ellos que es digital.