Lemma 1
KFYYThe equation
1 + \sum_{k=1}^{\infty}
\frac{2^k}{(1-\alpha)(1-\alpha^2)\cdots(1-\alpha^k)} = 0
is satisfied if and only if \alpha = \alpha_n = 2^{1/n} for some positive integer n.
Proof of Lemma 1
An identity well-known in the field of q-series [Gasper, p. 11] states that
1 + \sum_{k=1}^{\infty} \frac{(-1)^k q^{k(k+1)/2} c^k}{(1-q)(1-q^2)\cdots (1-q^k)} = (1-c q)(1- cq^2) \cdots (1-c q^n) \cdots , \quad |q|<1.
\@bsphack
\protected@write\@auxout{}
{\string
\@ifundefined{r@eq:euler}
\relax
{\gdef \relax {
\@latex@warning@no@line{Label `eq:euler' multiply defined}}
\GenericError{
\space\space\space\@spaces\@spaces\@spaces
}{
SIAM Label Error: There were multiply-defined labels
}{
Correct multiply-defined labels.
}{}
}
\global\@namedef{r@eq:euler}{{\p@equationSM\arabic{equation}}{SM\arabic{page}}}}
\@esphack
The proof is completed by substituting c = 2, q = 1/\alpha.