利用者:HOTUMA/五角数定理の証明

五角数定理

p+2角数

$q=x^{p/2},y=-x^{-(p-2)/2}$と置き、ヤコビの三重積の公式により

${\begin{aligned}\sum _{n=-\infty }^{+\infty }{(-1)^{n}x^{n(pn-(p-2))/2}}&=\sum _{n=-\infty }^{+\infty }{q^{n^{2}}y^{n}}\\&=\prod _{m=1}^{\infty }{(1-q^{2m})(1+q^{2m-1}y)(1+q^{2m-1}y^{-1})}\\&=\prod _{m=1}^{\infty }{(1-x^{pm})(1-x^{pm-(p-1)})(1-x^{pm-1})}\\\end{aligned}}$

$p=3$を代入すれば

${\begin{aligned}\sum _{n=-\infty }^{+\infty }{(-1)^{n}x^{n(3n-1)/2}}&=\prod _{m=1}^{\infty }{(1-x^{3m})(1-x^{3m-2})(1-x^{3m-1})}\\&=\prod _{m=1}^{\infty }{(1-x^{m})}\\\end{aligned}}$

五角数の定理を得る。

三角数

三角数については

$T=\sum _{n=-\infty }^{+\infty }{q^{n(n+1)}y^{2n+1}}=2\sum _{n=0}^{+\infty }{q^{n(n+1)}y^{2n+1}}$

を考える。ヤコビの三重積の公式により

${\begin{aligned}T&=\sum _{n=-\infty }^{+\infty }{q^{n(n+1)}y^{2n+1}}\\&=y\sum _{n=-\infty }^{+\infty }{q^{n^{2}}(qy^{2})^{n}}\\&=y\prod _{n=1}^{+\infty }{(1-q^{2n})(1+q^{2n}y^{2})(1+q^{2n-2}y^{-2})}\\&=(y+y^{-1})\prod _{n=1}^{+\infty }{(1-q^{2n})(1+q^{2n}y^{2})(1+q^{2n}y^{-2})}\\\end{aligned}}$

これをyで微分し、虚数単位を代入すれば

${\frac {d}{dy}}T(y)=(1-y^{-2})\prod _{n=1}^{+\infty }{(1-q^{2n})(1+q^{2n}y^{2})(1+q^{2n}y^{-2})}+(y+y^{-1}){\frac {d}{dy}}\prod _{n=1}^{+\infty }{(1-q^{2n})(1+q^{2n}y^{2})(1+q^{2n}y^{-2})}$

${\frac {d}{dy}}T(i)=2\prod _{n=1}^{+\infty }{(1-q^{2n})^{3}}$

無限和のまま項別にyで微分し、同じく虚数単位を代入すれば

${\frac {d}{dy}}T(y)=2\sum _{n=0}^{+\infty }{(2n+1)q^{n(n+1)}y^{2n}}$

${\frac {d}{dy}}T(i)=2\sum _{n=0}^{+\infty }{(-1)^{n}(2n+1)q^{n(n+1)}}$

従って

$\sum _{n=0}^{+\infty }{(-1)^{n}(2n+1)q^{n(n+1)}}=\prod _{n=1}^{+\infty }{(1-q^{2n})^{3}}$

これに$q=x^{1/2}$を代入すれば三角数の恒等式を得る。

ヤコビの二平方定理

ヤコビの三重積の公式により

${\begin{aligned}\sum _{n=-\infty }^{\infty }{q^{2n(2n+1)}y^{4n+1}}&=y\sum _{n=-\infty }^{\infty }{(q^{4})^{n^{2}}(q^{2}y^{4})^{n}}\\&=y\prod _{n=1}^{\infty }{(1-q^{8n})(1+q^{8n-2}y^{4})(1+q^{8n-6}y^{-4})}\\\end{aligned}}$

$y$で微分して

$\sum _{n=-\infty }^{\infty }{(4n+1)q^{2n(2n+1)}y^{4n}}=\left({\frac {1}{y}}+\sum _{n=1}^{\infty }{\frac {4q^{8n-2}y^{3}}{1+q^{8n-2}y^{4}}}+\sum _{n=1}^{\infty }{\frac {-4q^{8n-6}y^{-5}}{1+q^{8n-6}y^{-4}}}\right)y\prod _{n=1}^{\infty }{(1-q^{8n})(1+q^{8n-2}y^{4})(1+q^{8n-6}y^{-4})}$

$y=1$を代入すると

${\begin{aligned}\sum _{n=-\infty }^{\infty }{(4n+1)q^{2n(2n+1)}}&=\left(1+\sum _{n=1}^{\infty }{\frac {4q^{8n-2}}{1+q^{8n-2}}}-\sum _{n=1}^{\infty }{\frac {4q^{8n-6}}{1+q^{8n-6}}}\right)\prod _{n=1}^{\infty }{(1-q^{8n})(1+q^{8n-2})(1+q^{8n-6})}\\&=\left(1+\sum _{n=0}^{\infty }{\frac {4q^{8n+6}}{1+q^{8n+6}}}-\sum _{n=0}^{\infty }{\frac {4q^{8n+2}}{1+q^{8n+2}}}\right)\prod _{n=1}^{\infty }{(1-q^{8n})(1+q^{8n-2})(1+q^{8n-6})}\\\end{aligned}}$

一方、再びヤコビの三重積の公式により

${\begin{aligned}\sum _{n=-\infty }^{\infty }{q^{n(n+1)}y^{2n+1}}&=y\sum _{n=-\infty }^{\infty }{q^{n^{2}}(qy^{2})^{n}}\\&=y\prod _{n=1}^{\infty }{(1-q^{2n})(1+q^{2n}y^{2})(1+q^{2n-2}y^{-2})}\\&=(y+y^{-1})\prod _{n=1}^{\infty }{(1-q^{2n})(1+q^{2n}y^{2})(1+q^{2n}y^{-2})}\\\end{aligned}}$

$y$で微分して

$\sum _{n=-\infty }^{\infty }{(2n+1)q^{n(n+1)}y^{2n}}=(1-y^{-2})\prod _{n=1}^{\infty }{(1-q^{2n})(1+q^{2n}y^{2})(1+q^{2n}y^{-2})}+(y+y^{-1}){\frac {d}{dy}}\prod _{n=1}^{\infty }{(1-q^{2n})(1+q^{2n}y^{2})(1+q^{2n}y^{-2})}$

$y=i$を代入すると

$\sum _{n=-\infty }^{\infty }{(-1)^{n}(2n+1)q^{n(n+1)}}=2\prod _{n=1}^{\infty }{(1-q^{2n})(1-q^{2n})(1-q^{2n})}=2\prod _{n=1}^{\infty }{(1-q^{2n})^{3}}$

この左辺は

${\begin{aligned}\sum _{n=-\infty }^{\infty }{(-1)^{n}(2n+1)q^{n(n+1)}}&=2\sum _{n=0}^{\infty }{(-1)^{n}(2n+1)q^{n(n+1)}}\qquad ({\left|n+\textstyle {\frac {1}{2}}\right|-\textstyle {\frac {1}{2}}}\mapsto {n})\\&=2\sum _{n=0}^{\infty }{(4n+1)q^{2n(2n+1)}}-2\sum _{m=1}^{\infty }{(4m-1)q^{(2m-1)2m}}\qquad ({n}\mapsto {2n,2m-1})\\&=2\sum _{n=0}^{\infty }{(4n+1)q^{2n(2n+1)}}+2\sum _{m=1}^{\infty }{(-4m+1)q^{-2m(-2m+1)}}\\&=2\sum _{n=-\infty }^{\infty }{(4n+1)q^{2n(2n+1)}}\qquad ({-m}\mapsto {n})\\\end{aligned}}$

以上を綜合すると

$\prod _{n=1}^{\infty }{\frac {(1-q^{2n})^{3}}{(1-q^{8n})(1+q^{8n-2})(1+q^{8n-6})}}=1+\sum _{n=0}^{\infty }{\frac {4q^{8n+6}}{1+q^{8n+6}}}-\sum _{n=0}^{\infty }{\frac {4q^{8n+2}}{1+q^{8n+2}}}$

この左辺は

${\begin{aligned}\prod _{n=1}^{\infty }{\frac {(1-q^{2n})^{3}}{(1-q^{8n})(1+q^{8n-2})(1+q^{8n-6})}}&=\prod _{n=1}^{\infty }{\frac {(1-q^{4n-2})^{3}(1-q^{4n})^{3}}{(1-q^{8n})(1+q^{4n-2})}}\\&=\prod _{n=1}^{\infty }{\frac {(1-q^{4n-2})^{4}(1-q^{4n})^{3}}{(1-q^{8n})(1+q^{4n-2})(1-q^{4n-2})}}\\&=\prod _{n=1}^{\infty }{\frac {(1-q^{4n-2})^{4}(1-q^{4n})^{3}}{(1-q^{8n})(1-q^{8n-4})}}\\&=\prod _{n=1}^{\infty }{\frac {(1-q^{4n-2})^{4}(1-q^{4n})^{3}}{(1-q^{4n})}}\\&=\prod _{n=1}^{\infty }(1-q^{4n-2})^{4}(1-q^{4n})^{2}\end{aligned}}$

三平方定理

ワトソンの五重積より

$\sum _{n=-\infty }^{\infty }q^{n(3n+1)}(z^{3n}-z^{-3n-1})=\prod _{m=1}^{\infty }(1-q^{2m})(1-q^{2m}z)(1-q^{2m-2}z^{-1})(1-q^{4m-2}z^{2})(1-q^{4m-2}z^{-2})$

両辺を$1-z^{-1}$で除すると

$\sum _{n=-\infty }^{\infty }q^{n(3n+1)}\left({\frac {z^{3n}-z^{-3n-1}}{1-z^{-1}}}\right)=\prod _{m=1}^{\infty }(1-q^{2m})(1-q^{2m}z)(1-q^{2m}z^{-1})(1-q^{4m-2}z^{2})(1-q^{4m-2}z^{-2})$

左辺は$z=1$で不定型となるが

$\lim _{z\to {1}}{\frac {z^{3n}-z^{-3n-1}}{1-z^{-1}}}=6n+1$

であるから、右辺にも$z=1$を代入して

$\sum _{n=-\infty }^{\infty }(6n+1)q^{3n(n+1)}=\prod _{m=1}^{\infty }(1-q^{2m})^{3}(1-q^{4m-2})^{2}$

を得る。一方、ヤコビの三重積より

$\sum _{n=-\infty }^{\infty }q^{n(3n+1)}z^{6n+1}=z\prod _{m=1}^{\infty }(1-q^{6m})(1+q^{6m-2}z^{6})(1+q^{6m-4}z^{-6})$

両辺を微分して

$\sum _{n=-\infty }^{\infty }(6n+1)q^{n(3n+1)}z^{6n}=\left({\frac {1}{z}}+\sum _{n=1}^{\infty }{\frac {6q^{6m-2}z^{5}}{1+q^{6m-2}z^{6}}}-\sum _{n=1}^{\infty }{\frac {6q^{6m-4}z^{-7}}{1+q^{6m-2}z^{-6}}}\right)z\prod _{m=1}^{\infty }(1-q^{6m})(1+q^{6m-2}z^{6})(1+q^{6m-4}z^{-6})$

$z=1$を代入すると

${\begin{aligned}\sum _{n=-\infty }^{\infty }(6n+1)q^{n(3n+1)}&=\left(1+\sum _{n=1}^{\infty }{\frac {6q^{6m-2}}{1+q^{6m-2}}}-\sum _{n=1}^{\infty }{\frac {6q^{6m-4}}{1+q^{6m-4}}}\right)\prod _{m=1}^{\infty }(1-q^{6m})(1+q^{6m-2})(1+q^{6m-4})\\&=\left(1+\sum _{n=0}^{\infty }{\frac {6q^{6m+4}}{1+q^{6m+4}}}-\sum _{n=1}^{\infty }{\frac {6q^{6m+2}}{1+q^{6m+2}}}\right)\prod _{m=1}^{\infty }(1-q^{6m})(1+q^{6m-2})(1+q^{6m-4})\\\end{aligned}}$

ロジャーズ・ラマヌジャン恒等式

先ず、

${\begin{aligned}&F(n)=\sum _{k=0}^{n}f(n,k)=\sum _{k=0}^{n}{\frac {q^{k^{2}}}{(q;q)_{k}(q;q)_{n-k}}}\\&G(n)=\sum _{k=0}^{n}g(n,k)={\frac {1}{2}}\sum _{k=-n}^{n}{\frac {(-1)^{k}(1+q^{k})q^{(5k^{2}-k)/2}}{(q;q)_{n+k}(q;q)_{n-k}}}\\\end{aligned}}$

として$F(n)=G(n)$であることを示す。明らかに

${\begin{aligned}&F(0)=G(0)=1\\&F(1)=G(1)={\frac {1+q}{1-q}}\\\end{aligned}}$

であるから、$F(n)$と$G(n)$が同じ漸化式

${\begin{aligned}A_{F}(n)=(1-q^{n})F(n)-(1+q-q^{n}+2^{2n-1})F(n-1)+qF(n-2)=0\qquad (n\geq 2)\\A_{G}(n)=(1-q^{n})G(n)-(1+q-q^{n}+2^{2n-1})G(n-1)+qG(n-2)=0\qquad (n\geq 2)\\\end{aligned}}$

で与えられることを示せば良いが、

${\begin{aligned}&{\hat {f}}(n,k)=-q^{2n-1}(1-q^{n-k})\\&{\hat {g}}(n,k)={\frac {q^{2n+3k}(1-q^{n-k})}{1+q^{k}}}\end{aligned}}$

を用いれば退屈な代数の演習になる。$1-q^{0}=0$に注意して

${\begin{aligned}A_{F}(n)&=(1-q^{n})F(n)-(1+q-q^{n}+2^{2n-1})F(n-1)+qF(n-2)\\&=\sum _{k=0}^{n}\left((1-q^{n})f(n,k)-(1+q-q^{n}+2^{2n-1})f(n-1,k)+qf(n-2,k)\right)\\&=\sum _{k=0}^{n}f(n,k)\left((1-q^{n})-(1+q-q^{n}+2^{2n-1}){\frac {f(n-1,k)}{f(n,k)}}+q{\frac {f(n-2,k)}{f(n,k)}}\right)\\&=\sum _{k=0}^{n}f(n,k)\left((1-q^{n})-(1+q-q^{n}+2^{2n-1})(1-q^{n-k})+q(1-q^{n-k})(1-q^{n-k-1})\right)\\&=\sum _{k=0}^{n}f(n,k)\left(-q^{2n-1}(1-q^{n-k})+q^{2n-2k}(1-q^{k})\right)\\&=\sum _{k=0}^{n}f(n,k)\left({\hat {f}}(n,k)-{\frac {{\hat {f}}(n,k-1)f(n,k-1)}{f(n,k)}}\right)\\&={\hat {f}}(n,n)f(n,n)-{\hat {f}}(n,-1)f(n,-1)\\&=0\\\end{aligned}}$

である。同様に

${\begin{aligned}A_{G}(n)&=(1-q^{n})G(n)-(1+q-q^{n}+2^{2n-1})G(n-1)+qG(n-2)\\&=\sum _{k=-n}^{n}g(n,k)\left((1-q^{n})-(1+q-q^{n}+2^{2n-1}){\frac {g(n-1,k)}{g(n,k)}}+q{\frac {g(n-2,k)}{g(n,k)}}\right)\\&=\sum _{k=-n}^{n}g(n,k)\left(q^{2n-2k}(1-q^{k}+q^{2k}-q^{3k}+q^{4k})-q^{3n-k}(1-q^{k}+q^{2k})\right)\\&=\sum _{k=-n}^{n}g(n,k)\left({\frac {q^{2n-2k}(1+q^{5k})}{1+q^{k}}}-{\frac {q^{3n-k}(1+q^{3k})}{1+q^{k}}}\right)\\&=\sum _{k=-n}^{n}g(n,k)\left({\frac {q^{2n+3k}(1-q^{n-k})}{1+q^{k}}}+{\frac {q^{2n-2k}(1+q^{k})}{1+q^{k}}}\right)\\&=\sum _{k=-n}^{n}g(n,k)\left({\hat {g}}(n,k)-{\frac {{\hat {g}}(n,k-1)g(n,k-1)}{g(n,k)}}\right)\\&={\hat {g}}(n,n)g(n,n)-{\hat {g}}(n,-n-1)g(n,-n-1)\\&=0\\\end{aligned}}$

である。以上により、

$\sum _{k=0}^{n}{\frac {q^{k^{2}}}{(q;q)_{k}(q;q)_{n-k}}}=F(n)=G(n)={\frac {1}{2}}\sum _{k=-n}^{n}{\frac {(-1)^{k}(1+q^{k})q^{(5k^{2}-k)/2}}{(q;q)_{n+k}(q;q)_{n-k}}}$

が示された。この両辺に$(q;q)_{n}$を乗し、$n\to \infty$とすれば

$\sum _{k=0}^{\infty }{\frac {q^{k^{2}}}{(q;q)_{k}}}={\frac {1}{2}}\sum _{k=-\infty }^{\infty }{\frac {(-1)^{k}(1+q^{k})q^{(5k^{2}-k)/2}}{(q;q)_{\infty }}}$

となる。右辺を変形して

${\begin{aligned}\sum _{k=0}^{\infty }{\frac {q^{k^{2}}}{(q;q)_{k}}}&={\frac {1}{2}}\sum _{k=-\infty }^{\infty }{\frac {(-1)^{k}\left(q^{(5k^{2}-k)/2}+q^{(5k^{2}+k)/2}\right)}{(q;q)_{\infty }}}\\&={\frac {1}{2}}\sum _{k=-\infty }^{\infty }{\frac {(-1)^{k}q^{(5k^{2}-k)/2}}{(q;q)_{\infty }}}+{\frac {1}{2}}\sum _{k=-\infty }^{\infty }{\frac {(-1)^{k}q^{(5(-k)^{2}-(-k))/2}}{(q;q)_{\infty }}}\\&=\sum _{k=-\infty }^{\infty }{\frac {(-1)^{k}q^{(5k^{2}-k)/2}}{(q;q)_{\infty }}}\\\end{aligned}}$

となり、ヤコビの三重積の公式を用いて

---

$\sum _{k=0}^{n}{\frac {q^{k^{2}+k}}{(q;q)_{k}(q;q)_{n-k}}}=\sum _{k=-n}^{n}{\frac {(-1)^{k}(1+q^{3k})q^{(5k^{2}-3k)/2}}{(q;q)_{n+k}(q;q)_{n-k}}}$

${\begin{aligned}&{\hat {f}}(n,k)=-q^{2n}(1-q^{n-k})\\&{\hat {g}}(n,k)={\frac {(q^{2n+5k}-q^{2n+4k}+q^{3n+4k}+q^{2n+3k-1}-q^{3n+4k-1})(1-q^{n-k})}{1+q^{3k}}}\end{aligned}}$

ハイネの和公式の別証明

ハイネの和公式はq二項定理から導かれる。q二項定理により

${\begin{aligned}\left(\sum _{k=0}^{\infty }{\frac {(a;q)_{k}}{(q;q)_{k}}}z^{k}\right)\left(\sum _{j=0}^{\infty }{\frac {(b;q)_{j}}{(q;q)_{j}}}(az)^{j}\right)&=\left({\frac {(az;q)_{\infty }}{(z;q)_{\infty }}}\right)\left({\frac {(abz;q)_{\infty }}{(az;q)_{\infty }}}\right)\\&={\frac {(abz;q)_{\infty }}{(z;q)_{\infty }}}\\&=\sum _{n=0}^{\infty }{\frac {(ab;q)_{n}}{(q;q)_{n}}}z^{n}\end{aligned}}$

であるから、$z^{n}$の係数を比較して

$\sum _{k=0}^{n}{\frac {(a;q)_{k}(b;q)_{n-k}}{(q;q)_{k}(q;q)_{n-k}}}a^{n-k}={\frac {(ab;q)_{n}}{(q;q)_{n}}}$

である。これに$b=0$を代入すると

${\begin{aligned}&\sum _{k=0}^{n}{\frac {(a;q)_{k}}{(q;q)_{k}(q;q)_{n-j}}}a^{n-k}={\frac {1}{(q;q)_{n}}}\\&\sum _{k=0}^{n}{\frac {(q;q)_{n}(a;q)_{k}}{(q;q)_{n-k}(q;q)_{k}}}a^{-k}=a^{-n}\\\end{aligned}}$

となる。これを用いて

${\begin{aligned}_{1}\phi _{0}\left[{\begin{matrix}a\\-\end{matrix}};q,{\frac {x}{y}}\right]&=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n}}}\left({\frac {x}{y}}\right)^{n}\\&=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n}}}x^{n}\sum _{k=0}^{n}{\frac {(q;q)_{n}(y;q)_{k}}{(q;q)_{n-k}(q;q)_{k}}}\left({\frac {1}{y}}\right)^{k}\\&=\sum _{k=0}^{\infty }{\frac {(y;q)_{k}}{(q;q)_{k}}}\left({\frac {x}{y}}\right)^{k}\sum _{n=k}^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n-k}}}x^{n-k}\\&=\sum _{k=0}^{\infty }{\frac {(a;q)_{k}(y;q)_{k}}{(q;q)_{k}}}\left({\frac {x}{y}}\right)^{k}\sum _{n=k}^{\infty }{\frac {(q^{k}a;q)_{n-k}}{(q;q)_{n-k}}}x^{n-k}\\&=\sum _{k=0}^{\infty }{\frac {(a;q)_{k}(y;q)_{k}}{(q;q)_{k}}}\left({\frac {x}{y}}\right)^{k}\sum _{n=0}^{\infty }{\frac {(q^{k}a;q)_{n}}{(q;q)_{n}}}x^{n}\\\end{aligned}}$

q二項定理により

${\begin{aligned}_{1}\phi _{0}\left[{\begin{matrix}a\\-\end{matrix}};q,{\frac {x}{y}}\right]&=\sum _{k=0}^{\infty }{\frac {(a;q)_{k}(y;q)_{k}}{(q;q)_{k}}}\left({\frac {x}{y}}\right)^{k}{\frac {(q^{k}ax;q)_{\infty }}{(x;q)_{\infty }}}\\&=\sum _{k=0}^{\infty }{\frac {(a;q)_{k}(y;q)_{k}}{(q;q)_{k}}}\left({\frac {x}{y}}\right)^{k}{\frac {(ax;q)_{\infty }}{(ax;q)_{k}(x;q)_{\infty }}}\\&=\sum _{k=0}^{\infty }{\frac {(a;q)_{k}(y;q)_{k}}{(ax;q)_{k}(q;q)_{k}}}\left({\frac {x}{y}}\right)^{k}{\frac {(ax;q)_{\infty }}{(x;q)_{\infty }}}\\&={_{2}\phi _{1}}\left[{\begin{matrix}a,y\\ax\end{matrix}};q,{\frac {x}{y}}\right]{\frac {(ax;q)_{\infty }}{(x;q)_{\infty }}}\\\end{aligned}}$

$x={\tfrac {c}{a}},y=b$を代入して

${\begin{aligned}_{2}\phi _{1}\left[{\begin{matrix}a,b\\c\end{matrix}};q,{\frac {c}{ab}}\right]&={\frac {\left({\frac {c}{a}};q\right)_{\infty }}{\left(c;q\right)_{\infty }}}{_{1}\phi _{0}}\left[{\begin{matrix}a\\-\end{matrix}};q,{\frac {c}{ab}}\right]\\&={\frac {\left({\frac {c}{a}};q\right)_{\infty }\left({\frac {c}{b}};q\right)_{\infty }}{\left(c;q\right)_{\infty }\left({\frac {c}{ab}};q\right)_{\infty }}}\\\end{aligned}}$

を得る。