Kvintupelproduktidentiteten

Inom matematiken är kvintupelproduktidentiteten en oändlig produktidentitet introducerad av Mall:Harvs och återupptäckt av Mall:Harvtxt och Mall:Harvtxt. Identiteten säger att

\prod_{n \geq 1} (1 - s^{n}) (1 - s^{n} t) (1 - s^{n - 1} t^{- 1}) (1 - s^{2 n - 1} t^{2}) (1 - s^{2 n - 1} t^{- 2}) = \sum_{n \in Z} s^{(3 n^{2} + n) / 2} (t^{3 n} - t^{- 3 n - 1}) .

Se även