Franklin's argument proves an identity of Zagier (Q1585655): Difference between revisions

The following remarkable identity of D. Zagier (to appear in Topology) \[ \sum^\infty_{n= 0} [(q)_\infty- (q)_n]= (q)_\infty \sum^\infty_{k= 1}{q^k\over 1- q^k}+ \sum^\infty_{r= 1}(-1)^r [(3r- 1) q^{r(3r- 1)/2}+ 3rq^{r(3r+ 1)/2}] \] is proved by a slight modification of Franklin's well-known involution proof of Euler's pentagonal number theorem.