$1+a+a^2+a^3+\ldots$と延々と続く式の因数分解をするにはどうすればよいでしょうか？
まずは、項の数を少なくして$1+a+a^2+a^3$の因数分解をしてみます。
\begin{align*}1+a+a^2+a^3&=(1+a)+(a^2+a^3)\\ &=(1+a)+a^2(1+a)\\
&=\underline{(1+a)(1+a^2)}\end{align*}
これを利用して$1+a+a^2+a^3+\ldots$の因数分解をします。
\begin{align*}1+a+a^2+a^3+a^4+a^5+\ldots&=(1+a)+(a^2+a^3)+(a^4+a^5)+\ldots\\
&=(1+a)+a^2(1+a)+a^4(1+a)+\ldots\\ &=(1+a)(1+a^2+a^4+a^6+\ldots)\\
\\ &=(1+a)\{(1+a^2)+(a^4+a^6)+\ldots\}\\
&=(1+a)\{(1+a^2)+a^4(1+a^2)+\ldots\}\\
&=(1+a)(1+a^2)(1+a^4+a^8+a^{12}+\ldots)\\ &\qquad\vdots\\
&=\underline{(1+a)(1+a^2)(1+a^4)(1+a^8)\ldots}\end{align*}
というように因数分解をすることができます。
ちなみに$1+a+a^2+a^3+\ldots$というのは、初項$1$、公比$a$の等比数列の和（無限等比級数）です。
項数が有限である場合は等比数列の和
\[\frac{a^n-1}{a-1}\quad(n:1の項も含めた項数)\]
を利用して因数分解できる場合があります。
因数分解した式は総乗をもちいると
\[\prod_{k=1}^\infty{(1+a^{2^{k-1}})}\]
と書けます。
Share:
