Intereting Posts

Duality of $L^p$ and $L^q$
Differentiability of Norms
The fix points of the Möbius transformations are the eigenspace of a certain matrix.
How many arrangements of a (generalized) deck of (generalised) cards have pairs in them?
Nontrivial solutions of $\sum\limits_{-\infty}^\infty\overline{a_n}a_{n+k}=\delta_{k0}$
Finding probability of other child also being a boy
Proving Separation from Replacement
Equation Similar to Lamé Differential Equation
Example of $\sigma$-algebra
Limit of $\left(\frac{2\sqrt{a(a+b/(\sqrt{n}+\epsilon))}}{2a+b/(\sqrt{n}+\epsilon)}\right)^{n/2}$
Hard inequality $ (xy+yz+zx)\left(\frac{1}{(x+y)^2}+\frac{1}{(y+z)^2}+\frac{1}{(z+x)^2}\right)\ge\frac{9}{4} $
exercise VII.G5 in kunen
Distributive Law and how it works
is matrix transpose a linear transformation?
Elementary proof that $3$ is a primitive root of a Fermat prime?

Let $e(n)$ be the number of partitions of $n$ with even number of even parts and let $o(n)$ denote the number of partitions with odd number of even parts. In Enumerative Combinatorics 1, it is claimed that it is easy to see that $\sum_{n \geq 0} (e(n) – o(n)) x^n = \frac{1}{(1-x) \times (1+x^2) \times (1 – x^3 ) \times (1+x^4) \times … }$. I have been racking my head over this for the past few hours, and I can’t see any light.

I noticed, that $e(n) – o(n) = 2e(n) – p(n)$ where $p(n)$ is the number of partitions of $n$, so the above claim is equivalent to showing $\sum_{ n \geq 0} e(n)x^n = \frac{1}{2} \frac{1}{(1-x)(1-x^3)(1-x^5)…}( \frac{1}{(1-x^2)(1-x^4)….} + \frac{1}{(1+x^2)(1+x^4)……..})$, and similarly, it is equivalent to $\sum_{ n \geq 0} o(n)x^n = \frac{1}{2} \frac{1}{(1-x)(1-x^3)(1-x^5)…}( \frac{1}{(1-x^2)(1-x^4)….} – \frac{1}{(1+x^2)(1+x^4)……..})$, but these identities appear more difficult than the original one.

Any hints and suggestions appreciated.

- How find that $\left(\frac{x}{1-x^2}+\frac{3x^3}{1-x^6}+\frac{5x^5}{1-x^{10}}+\frac{7x^7}{1-x^{14}}+\cdots\right)^2=\sum_{i=0}^{\infty}a_{i}x^i$
- In how many ways can you select one of the two but not both?
- Uniformly distributed points distance question
- Determinant of Matrix is Not Zero (combinatorial proof?)
- TicTacToe State Space Choose Calculation
- $p$ divides $ax+by+cz$

- How did they simplify this expression involving roots of unity?
- Ramsey Number Inequality: $R(\underbrace{3,3,…,3,3}_{k+1}) \le (k+1)(R(\underbrace{3,3,…3}_k)-1)+2$
- Hockey-Stick Theorem for Multinomial Coefficients
- Find the number of permutations in $S_n$ containing fixed elements in one cycle
- Proving that $n|m\implies f_n|f_m$
- Prove that $n! \equiv \sum_{k=0}^{n}(-1)^{k}\binom{n}{k}(n-k+r)^{n} $
- Counting Set Partitions with Constraints
- Number of combinations with repetitions (Constrained)
- Want help for prove formula by combinatoric argument $1\cdot 2+2\cdot 3+3\cdot 4+\dots +n(n+1)=\frac{n(n+1)(n+2)}{3}$
- Finding total number of multi-sets

Now,

$$ \frac{1}{(1-x)(1+x^2)(1-x^3)\dots} $$

$$ = (1+x+x^2+\dots)(1-x^2+x^4-\dots)(1+x^3+x^6+\dots)(1-x^4+x^8-\dots)\dots $$

Consider a term which provides a negative coefficient to $x^n$

If we pick $x^{2n_2}$ from the second term, $x^{4n_4}$ from the fourth and so on,

The coefficient of $-1$ is $$(-1)^{n_2 + n_4 + \dots}$$

this will be negative if and only if $n_2 + n_4 + \dots$ is odd which comes from $o(n)$.

The positive ones come from $e(n)$.

Thus we must have that

$$\sum (e(n) – o(n))x^n = \frac{1}{(1-x)(1+x^2)(1-x^3)\dots}$$

- Equal elements vs isomorphic elements in a preoder
- What do the eigenvectors of an adjacency matrix tell us?
- Defining the Initial Conditions for a Planetary Motion to Have a Circular Orbit.
- “The Galois group of $\pi$ is $\mathbb{Z}$”
- Local ring on generic fiber
- Intersection Pairing and Poincaré Duality
- Is convex open set in $\mathbb{R}^n$ is regular?
- Proof that $x^2+4xy+y^2=1$ has infinitely many integer solutions
- Replicating a cosine graph with sine, given transformations?
- Existence of additive transformation of random variables
- Prove that the normalisation of $A=k/(Y^2-X^2-X^3)$ is $k$ where $t=Y/X$ (Reid, Exercise 4.5)
- Semilocal commutative ring with two or three maximal ideals
- Check Points are line, triangle, circle or rectangle
- The image of the diagonal map in scheme
- Show that this function is entire