Pentagonal Number Theorem Calculator

Euler's partition recurrence

CalculatorsFreeNo Signup
4.5(426 reviews)
All Tools

Loading tool...

About Pentagonal Number Theorem Calculator

A pentagonal number theorem calculator showing Euler's identity Π_{k=1}^∞(1-x^k) = 1 + Σ_{k=1}^∞(-1)^k[x^{k(3k-1)/2}+x^{k(3k+1)/2}]. Used to compute partition numbers via recurrence. Pentagonal numbers: 1,2,5,7,12,15,22... Client-side.

Pentagonal Number Theorem Calculator Features

  • Pentagonal numbers
  • Recurrence
  • p(n) via theorem
  • Sign pattern
  • Convergence
Euler's pentagonal number theorem: Π(1-x^k) = 1 − x − x² + x⁵ + x⁷ − x¹² − x¹⁵ + x²² + ... Signs: −,−,+,+,−,−,+,+... Exponents: generalized pentagonal numbers k(3k±1)/2. Gives recurrence for p(n).

How to Use

Enter n:

  • Pentagonals: k(3k-1)/2 sequence
  • Recurrence: p(n) computation
  • Signs: +/- pattern

Partition Recurrence

p(n) = p(n-1)+p(n-2)−p(n-5)−p(n-7)+p(n-12)+p(n-15)−... Signs: +,+,−,−,+,+,−,−. Offsets: generalized pentagonal numbers. This gives O(n√n) computation of p(n), amazingly efficient!

Why It Works

The key insight: expanding Π(1-x^k) = (1-x)(1-x²)(1-x³)... and tracking which terms survive. Franklin's involution provides a beautiful bijective proof: most partition pairs cancel, leaving only pentagonal-indexed terms.

Step-by-Step Instructions

  1. 1Enter n.
  2. 2See pentagonal numbers.
  3. 3Use recurrence.
  4. 4Compute p(n).
  5. 5Verify signs.

Pentagonal Number Theorem Calculator — Frequently Asked Questions

What are generalized pentagonal numbers?+

k(3k-1)/2 for k=1,-1,2,-2,3,-3,...: 1,2,5,7,12,15,22,26,35,40... They include ordinary pentagonal numbers (k>0) and their 'negative' counterparts. These are the exponents in Euler's product expansion.

How is this used to compute partition numbers?+

Rearranging: p(n) = Σ(-1)^{k+1}·p(n-ω_k) where ω_k are generalized pentagonal numbers. Since ω_k grows like k², there are only O(√n) terms. This beats the O(n²) naive dynamic programming!

What's Franklin's proof?+

Franklin (1881) gave a bijective proof. For each partition, either the smallest part equals the number of parts in the 'staircase' (allowing a rearrangement) or it doesn't. The bijection pairs up most partitions, leaving only pentagonal-indexed ones unpaired.

Share this tool: