Nota. Observemos que $99999=3^2\cdot 41\cdot 271$, luego también podríamos haber hecho el mismo razonamiento módulo $41$ ó módulo $271$. No obstante, la técnica usual en estos casos (trabajar módulo $3$ ó $9$) no funciona en este caso ya que queda $N\equiv 8\ (\text{mód}\ 9)$ y sí hay potencias de $2$ congruentes con $8$ módulo $9$.
(Cuando decimos que $e$ es el exponente de $p$ en un número $n$, queremos decir que es el exponente en su factorización como producto de números primos, es decir, que $p^e$ divide a $n$ pero $p^{e+1}$ no divide a $n$.)
Supongamos entonces que el resultado es cierto para $\beta\geq 0$, es decir, $a^{sp^\beta}=tp^{\alpha+\beta}+1$ para cierto $t$ que no es múltiplo de $p$ y probémoslo para $\beta+1$. Usando la hipótesis de inducción y el binomio de Newton, tenemos que \[a^{sp^{\beta+1}}-1=(tp^{\alpha+\beta}+1)^p-1=\sum_{j=1}^p\binom{p}{j}t^jp^{(\alpha+\beta)j}\] Observemos que hemos eliminado de la sumatoria el término con $j=0$ ya que lo hemos cancelado con el sumando $-1$. Ahora bien, el número combinatorio $\binom{p}{j}$ es múltiplo de $p$ para $1\leq j\leq p-1$, luego todos los sumandos de la sumatoria son múltiplos de $p^{\alpha+\beta+1}$ y todos son múltiplos de $p^{\alpha+\beta+2}$ salvo el correspondiente a $j=1$, luego el exponente de $p$ en $a^{sp^{\beta+1}}-1$ es exactamente $\alpha+\beta+1$, como queríamos probar.
Nota. ¿Dónde se está usando que $p$ es impar?
Dado $r\in\mathbb{Q}$ positivo, existirá un número racional $\frac{m}{n}$ tal que $\sqrt[3]{\frac{1}{2r}}\lt \frac{m}{n}\lt\sqrt[3]{\frac{2}{r}}$, luego $\frac{1}{2}\lt\frac{m^3r}{n^3}\lt 2$. Lo que hemos probado anteriormente nos dice que existen $a,b,c,d\in\mathbb{N}$ tales que \[\frac{m^3r}{n^3}=\frac{a^3+b^3}{c^3+d^3}\ \Longleftrightarrow\ r=\frac{(an)^3+(bn)^3}{(cm)^3+(dm)^3},\] lo que prueba que $r$ cumple la condición del enunciado.
Nota. La idea para elegir $a=c=u+v$, $b=2u-v$ y $d=2v-u$, es observar que \[\frac{a^3+b^3}{a^3+d^3}=\frac{(a+b)(a^2+ab+b^2)}{(a+d)(a^2+ad+d^2)}\] y elegir los números de forma que $a+b=\lambda u$, $a+d=\lambda v$ y $a^2-ab+b^2=a^2-ad+d^2$. Esto último ocurre si, y sólo si, $(-a+b+d)(b-d)=0$, luego $a=b+d$. De aquí es fácil llegar a que la solución entera más sencilla ocurre para $\lambda=3$ y es la que hemos propuesto.