Let $k \in \mathbb{N}^*$ and $(a_1, \ldots, a_k) \in (\mathbb{N}^*)^k$ a $k$-tuple of strictly positive integers. When $k \geq 2$, we assume they are coprime as a set. We define a function $P : \mathbb{N} \rightarrow \mathbb{C}$ by setting for all $n \in \mathbb{N}$: $$P(n) = \operatorname{Card}\left\{(n_1, \ldots, n_k) \in \mathbb{N}^k : n_1 a_1 + \cdots + n_k a_k = n\right\},$$ then we define the power series $F(x) = \sum_{n=0}^{\infty} P(n) x^n$. Prove the equality $F(x) = \prod_{i=1}^{k} \frac{1}{1 - x^{a_i}}$ for all $x \in ]-1, 1[$.
Let $k \in \mathbb{N}^*$ and $(a_1, \ldots, a_k) \in (\mathbb{N}^*)^k$ a $k$-tuple of strictly positive integers. When $k \geq 2$, we assume they are coprime as a set. We define a function $P : \mathbb{N} \rightarrow \mathbb{C}$ by setting for all $n \in \mathbb{N}$:
$$P(n) = \operatorname{Card}\left\{(n_1, \ldots, n_k) \in \mathbb{N}^k : n_1 a_1 + \cdots + n_k a_k = n\right\},$$
then we define the power series $F(x) = \sum_{n=0}^{\infty} P(n) x^n$.
Prove the equality $F(x) = \prod_{i=1}^{k} \frac{1}{1 - x^{a_i}}$ for all $x \in ]-1, 1[$.