Supongo que usted significó$a_i \in \{-1,1\}$. El mismo argumento funciona si$ a_n = \pm 1$ y el resto del$a_i$ están en el intervalo$[-1,1]$ o aún más generalmente si$\vert a_ n\vert \geq \vert a_i \vert$ para todos$i \in \{0,1,2\ldots,n-1\}$.
Si es así, asuma lo que usted tiene es cierto y obtendremos una contradicción.
Tenemos$$\sum_{i=0}^{n-1} a_i p^i = - a_n p^n$ $ Esto nos da$$\left \vert \sum_{i=0}^{n-1} a_i p^i \right \vert = \left \vert - a_n p^n \right \vert = p^n$ $ desde$\vert -a_n \vert = 1$. Tenemos$$p^n = \left \vert \sum_{i=0}^{n-1} a_i p^i \right \vert \leq \sum_{i=0}^{n-1} \left \vert a_i p^i\right \vert = \sum_{i=0}^{n-1} p^i = \dfrac{p^n-1}{p-1} \leq p^n-1$ $ que nos da una contradicción.