Hecke-Rogers, Andrews identities; combinatorial proofs (Q2640604)

Jacobi proved that \[ (\prod^{\infty}_{j=1}(1-q^ j))^ 3=\sum^{\infty}_{k=0}(-1)^ k(2k+1)q^{\left( \begin{matrix} k+1\\ 2\end{matrix} \right)}. \] Andrews obtained the identity \[ (\prod^{\infty}_{j=1}(1-q^ j))^ 2=\sum^{\infty}_{n=0}(-1)^ nq^{\left( \begin{matrix} n+1\\ 2\end{matrix} \right)}(1- q^{2n+2})\sum^{n}_{k=0}q^{k(n-k)}. \] Hecke-Rogers identity states that \[ (\prod^{\infty}_{j=1}(1-q^ j))^ 2=\sum^{+\infty}_{m=-\infty}\sum_{n\geq 2| m|}(- 1)^{n+m}q^{(n^ 2+n-m^ 2+m)/2}. \] An involution of the set of pairs of partitions of integers into distinct parts is obtained to prove Hecke-Rogers identity. A bijection shows its equivalence with Andrew's identity.