3
$\begingroup$

We denote by $p(n)$ the number of partitions of $n$. There are infinitely many integers $m$ such that $p(m)$ is even, and infinitely many integers $n$ such that $p(n)$ is odd.

It might be proved by the Euler's Pentagonal Number Theorem. Could you give me some hints?

  • 2
    @Henning: Both the notation and the reference to Euler’s pentagonal number theorem strongly suggest that it’s the usual notion of [partition of an integer](http://en.wikipedia.org/wiki/Partition_%28number_theory%29).2011-10-27

2 Answers 2

3

Hint: Look at the pentagonal number theorem and the recurrence relation it yields for $p(n)$, and consider what would happen if $p(n)$ had the same parity for all $n\gt n_0$.

1

The theorem is due to O. Kolberg, Note on the parity of the partition function, Math. Scand. 7 1959 377–378, MR0117213 (22 #7995). The review by Mirsky says that the proof uses the Pentagonal Number Theorem, and is extremely short and simple.

  • 1
    @joriki, the reviewer was surprised, too, that the theorem had been overlooked by earlier writers.2011-10-27