An involution for Jacobi's identity (Q1112822): Difference between revisions

Jacobi's identity [\(\prod^{\infty}_{i=1}(1-q^ i)]^ 3=\sum^{\infty}_{k=0}(-1)^ k(2k+1)q^{(k+1/2)}\) is proved by means of a weight preserving sign reversing involution which is related to the involution used by Franklin in his proof of Euler's pentagonal number theorem. The involution is found by identifying explicitly an involution resulting from the Involution Principle of Garsia and Milne, and arises out of study of a proof of the Jacobi triple product identity. Several generating function identities follow.