Es fácil verificar que
$$\tag1(10^k-1)\cdot\frac{10^{4k}+2\cdot 10^{3k}+2\cdot 10^{2k}+2\cdot 10^k+2}{9} =\frac{10^{5k}-1}9+\frac{10^{4k}-1}{9}$$
y que las dos fracciones son, de hecho, los números enteros y el número de la derecha, siendo la suma de dos repunits, está escrito con la $1$ $2$ solamente.
Sigue siendo para mostrar que los números de la $(1)$ son mínimos.
Tenga en cuenta que $(10^k-1)n=10^kn-n$ es la diferencia de dos números de diferente longitud, por lo que el $10^kn$ (así como de $n$) debe iniciar con al menos $k-1$ dígitos $\in\{0,1,2\}$ e las $k$th dígitos $\in\{0,1,2,3\}$; en realidad, una $3$ $k$th dígitos sólo es posible si es seguido por un dígito $\le 2$ ya que de lo contrario no carray (o más bien: borrow) orccurs. También, $(10^k-1)n\equiv -n\pmod{10^k}$, de modo que la última $k$ dígitos de $n-1$ debe $\in\{7,8,9\}$. Tenga en cuenta que
$$\left\lfloor\frac{(10^k-1)n}{10^k}\right\rfloor=n-\left\lceil\frac{n}{10^k} \right\rceil=(n-1)-\left\lfloor\frac{n}{10^k} \right\rfloor$$
así que llegamos a la conclusión acerca de la próxima $k$ dígitos: Le resta algo de dígitos $7,8,9$ y obtener dígitos $0,1,2$; esto sólo es posible si no pedir prestado se produce, por lo tanto la próxima $k$ dígitos de $n-1$$\in\{5,6,7,8,9\}$. Repitiendo el argumento, la próxima $k$ dígitos de $n-1$$\{3,4,5,6,7,8,9\}$. Por lo tanto, $n$ tiene más de $4k$ dígitos, o $n-1$ es descrito por la expresión regular [12][012]{k-1}[3-9]{k}[5-9]{k}[7-9]{k}
. Podemos excluir el caso de más de $4k$ dígitos como $(1)$ ya supera eso.
Así que nos queda el segundo caso que también puede ser formulado como:
$$ n=\alpha\cdot 4^{3k}+\beta\cdot10^{2k}+\gamma\cdot 10^k+\delta+1$$
donde $\alpha,\beta,\gamma,\delta$ $k$- número de dígitos con los dígitos $\in\{0,1,2\}$, $\in\{3,\ldots,9\}$, $\in\{5,\ldots,9\}$, $\in\{7,\ldots,9\}$, respectivamente. Entonces
$$(10^k-1)n=\alpha\cdot 10^{4k}+(\beta-\alpha)\cdot 10^{3k}+(\gamma-\beta)\cdot 10^{2k} +(\delta-\gamma)\cdot10^k+(10^k-1-\delta)$$
Una se indicó anteriormente, las sustracciones $\delta-\gamma,\gamma-\beta,\beta-\alpha$ no implican toma prestado. Por lo tanto, cualquier cero ocurren en $\alpha$ produciría un dígito $\ge 3$ $\beta-\alpha$ y, por tanto, también en $(10^k-1)n$. Llegamos a la conclusión de que $\alpha$ no contiene ceros. Pero, a continuación,$\alpha \ge 11\ldots 1$, $\beta\ge 33\ldots 3$, $\gamma\ge 55\ldots 5$, $\delta\ge 77\ldots 7$ y en última instancia, la solución de $(1)$ es en efecto la mínima solución.