# Thread: Proving Generating Functions

1. ## Proving Generating Functions

Let an denote the solutions of n = x1 + x2 where x1, x2 are natural numbers and x2 is an even number.

I need to show that the generating function of an is of the form:
(1 + x + x^2 + x^3 + ...)(1 + x^2 + x^4 + x^6 + ...) = 1/[(1-x)(1-x^2)]

I ultimately want to find a closed formula for an. However I would like to prove the above first before I go about doing that. Any ideas would be great. Thanks!

2. So $\displaystyle a_n$ is the *number* of solutions to $\displaystyle n = x_1 + x_2$? Are $\displaystyle x_1$ and $\displaystyle x_2$ distinct? For example for $\displaystyle a_6$, are 6=4+2 and 6=2+4 two separate solutions, so $\displaystyle a_6 = 2$, or is $\displaystyle a_6 = 1$?

3. Originally Posted by mathmaniac234
Let an denote the solutions of n = x1 + x2 where x1, x2 are natural numbers and x2 is an even number.

I need to show that the generating function of an is of the form:
(1 + x + x^2 + x^3 + ...)(1 + x^2 + x^4 + x^6 + ...) = 1/[(1-x)(1-x^2)]

I ultimately want to find a closed formula for an. However I would like to prove the above first before I go about doing that. Any ideas would be great. Thanks!
Hi mathmaniac,

You just have to think about the coefficient of $\displaystyle x^n$ in the product
$\displaystyle (1 + x + x^2 + x^3 + \dots)(1 + x^2 + x^4 + x^6 + \dots)$.
In order to get an $\displaystyle x^n$, you need one term from
$\displaystyle 1 + x + x^2 + x^3 + \dots$
which can be any power of x, say $\displaystyle x^i$
and one term from
$\displaystyle 1 + x^2 + x^4 + x^6 + \dots$
which can be any even power of x, say $\displaystyle x^{2j}$.
Then you must have $\displaystyle x^i \cdot x^{2j} = x^n$,
i.e.
$\displaystyle i + 2j = n$.

The number of solutions to this equation is the coefficient of $\displaystyle x^n$ in the product.