Si a=1 entonces 1b=b1 y no se cumple la condición de a<b. Por tanto podemos suponer que 1<a<b. Por el algoritmo de la división existen enteros y con 0≤r<a tales que b=aq+r. Sustituyendo en la ecuación inicial se tiene: aqa+r=ba.
Por lo tanto ar=(b/aq)a. Como ar es entero se sigue que b/aq es entero y también que b/a es entero. (b=kaq⟹b/a=kaq−1).
Por tanto r=0. En resumen, b=qa=aq. Es decir:
aaa…a=a+a+a+⋯+a (q veces en ambos lados).
Si q=1, entonces a=b y no cumple la condición.
Si q=2, entonces a2=2a y se tiene a=2, b=4
Se siente que ésta es la única solución. Pero ¿cómo demostrarlo? Por inducción (para a≤2).
Caso base: q=3, 6≤3a<4a=22a≤a3.
Hipótesis de inducción: an>na (n > 3)
Paso inductivo: an+1=ana>naa≥2na=na+na>na+a=(n+1)a. Como se quería.