Avertissement

Ce contenu a été généré par une intelligence artificielle (LLM) et peut contenir des imprécisions ou des erreurs malgré notre relecture attentive. Il s'agit d'un outil d'apprentissage et non d'une référence académique.

Si vous constatez des erreurs, merci de nous les signaler via la page "À propos".

Exercices “Séries formelles” (A)


Exercice 1

Problème : Calcul d’un produit de Cauchy

Soient deux séries formelles définies dans R[[X]]\mathbb{R}[[X]] :

A(X)=n0XnetB(X)=n02nXnA(X) = \sum_{n \ge 0} X^n \quad \text{et} \quad B(X) = \sum_{n \ge 0} 2^n X^n

  1. Écrire les 3 premiers termes de chaque série.
  2. Calculer le coefficient cnc_n du produit C(X)=A(X)B(X)C(X) = A(X)B(X) en utilisant la formule du produit de Cauchy.
  3. En déduire une expression simplifiée pour C(X)C(X).
Solution

Méthode : On utilise la définition du produit de convolution (produit de Cauchy) où le coefficient cnc_n est la somme des produits akbnka_k b_{n-k}. On reconnaît ensuite une somme géométrique finie.

Étapes :

  1. Explicitation des séries :

    • A(X)=1+X+X2+X3+A(X) = 1 + X + X^2 + X^3 + \cdots (ici an=1a_n = 1 pour tout nn).
    • B(X)=1+2X+4X2+8X3+B(X) = 1 + 2X + 4X^2 + 8X^3 + \cdots (ici bn=2nb_n = 2^n pour tout nn).
  2. Calcul du coefficient cnc_n :

    La formule du produit de Cauchy donne :

    cn=k=0nakbnkc_n = \sum_{k=0}^n a_k b_{n-k}

    En substituant les valeurs des coefficients :

    cn=k=0n(1)(2nk)=k=0n2nkc_n = \sum_{k=0}^n (1) \cdot (2^{n-k}) = \sum_{k=0}^n 2^{n-k}

    On peut poser un changement d’indice j=nkj = n-k. Quand k=0,j=nk=0, j=n et quand k=n,j=0k=n, j=0. L’ordre de sommation s’inverse mais la somme reste la même :

    cn=j=0n2jc_n = \sum_{j=0}^n 2^j

    Ceci est la somme des termes d’une suite géométrique de raison 2, de 11 à 2n2^n (n+1n+1 termes).

    j=0n2j=1(12n+1)12=12n+11=2n+11\sum_{j=0}^n 2^j = \frac{1(1 - 2^{n+1})}{1 - 2} = \frac{1 - 2^{n+1}}{-1} = 2^{n+1} - 1

  3. Expression finale :

    C(X)=n0(2n+11)XnC(X) = \sum_{n \ge 0} (2^{n+1} - 1) X^n

Réponse : C(X)=n0(2n+11)XnC(X) = \sum_{n \ge 0} (2^{n+1} - 1) X^n


Exercice 2

Problème : Inversibilité et calcul récursif de l’inverse

Soit la série formelle A(X)=1XX2A(X) = 1 - X - X^2.

  1. Justifier pourquoi A(X)A(X) est inversible dans R[[X]]\mathbb{R}[[X]].
  2. On note B(X)=n0bnXnB(X) = \sum_{n \ge 0} b_n X^n l’inverse de A(X)A(X). En utilisant la relation A(X)B(X)=1A(X)B(X) = 1, calculer de manière récursive les coefficients b0,b1,b2b_0, b_1, b_2 et b3b_3.
Solution

Méthode : L’inversibilité dépend du terme constant. Pour trouver les coefficients de l’inverse, on écrit l’égalité du produit et on identifie les coefficients de chaque puissance de XX, ce qui donne un système triangulaire (ou une récurrence).

Étapes :

  1. Justification de l’inversibilité :

    Le terme constant de A(X)A(X) est a0=1a_0 = 1.

    Comme 101 \neq 0 (et que 1 est inversible dans R\mathbb{R}), la série A(X)A(X) admet un inverse multiplicatif unique.

  2. Calcul des coefficients (bn)(b_n) :

    On sait que A(X)B(X)=1A(X)B(X) = 1. Cela signifie que le terme constant du produit vaut 1, et tous les coefficients de XnX^n pour n1n \ge 1 valent 0.

    Rappelons que A(X)=11X1X2+0X3+A(X) = 1 - 1X - 1X^2 + 0X^3 + \cdots (donc a0=1,a1=1,a2=1a_0=1, a_1=-1, a_2=-1 et ak=0a_k=0 pour k>2k>2).

    • Pour n=0n=0 (Terme constant) :

      a0b0=1    1b0=1    b0=1a_0 b_0 = 1 \implies 1 \cdot b_0 = 1 \implies \mathbf{b_0 = 1}.

    • Pour n=1n=1 (Coefficient de XX) :

      a0b1+a1b0=0a_0 b_1 + a_1 b_0 = 0

      1b1+(1)1=0    b11=0    b1=11 \cdot b_1 + (-1) \cdot 1 = 0 \implies b_1 - 1 = 0 \implies \mathbf{b_1 = 1}.

    • Pour n=2n=2 (Coefficient de X2X^2) :

      a0b2+a1b1+a2b0=0a_0 b_2 + a_1 b_1 + a_2 b_0 = 0

      1b2+(1)1+(1)1=01 \cdot b_2 + (-1) \cdot 1 + (-1) \cdot 1 = 0

      b211=0    b22=0    b2=2b_2 - 1 - 1 = 0 \implies b_2 - 2 = 0 \implies \mathbf{b_2 = 2}.

    • Pour n=3n=3 (Coefficient de X3X^3) :

      a0b3+a1b2+a2b1+a3b0=0a_0 b_3 + a_1 b_2 + a_2 b_1 + a_3 b_0 = 0 (sachant a3=0a_3=0)

      1b3+(1)2+(1)1+0=01 \cdot b_3 + (-1) \cdot 2 + (-1) \cdot 1 + 0 = 0

      b321=0    b3=3b_3 - 2 - 1 = 0 \implies \mathbf{b_3 = 3}.

    (Note : On reconnaît les nombres de Fibonacci 1,1,2,3,51, 1, 2, 3, 5\dots)

Réponse : b0=1,b1=1,b2=2,b3=3b_0=1, b_1=1, b_2=2, b_3=3.


Exercice 3

Problème : Coefficients binomiaux généralisés

Calculer les valeurs exactes des coefficients binomiaux généralisés suivants :

  1. (15)\binom{-1}{5}
  2. (33)\binom{-3}{3}
  3. (1/22)\binom{1/2}{2}
Solution

Méthode : On applique la définition (rk)=r(r1)(rk+1)k!\binom{r}{k} = \frac{r(r-1)\cdots(r-k+1)}{k!} ou la propriété des binomiaux négatifs (mk)=(1)k(m+k1k)\binom{-m}{k} = (-1)^k \binom{m+k-1}{k}.

Étapes :

  1. Calcul de (15)\binom{-1}{5} :

    Utilisons la formule des binomiaux négatifs avec m=1,k=5m=1, k=5 :

    (15)=(1)5(1+515)=1(55)=11=1\binom{-1}{5} = (-1)^5 \binom{1+5-1}{5} = -1 \cdot \binom{5}{5} = -1 \cdot 1 = -1

  2. Calcul de (33)\binom{-3}{3} :

    Méthode directe :

    (33)=3(31)(32)3!=3(4)(5)321=606=10\binom{-3}{3} = \frac{-3 \cdot (-3-1) \cdot (-3-2)}{3!} = \frac{-3 \cdot (-4) \cdot (-5)}{3 \cdot 2 \cdot 1} = \frac{-60}{6} = -10

    Ou via la formule (m=3,k=3m=3, k=3) :

    (1)3(3+313)=1(53)=1542=10(-1)^3 \binom{3+3-1}{3} = -1 \cdot \binom{5}{3} = -1 \cdot \frac{5 \cdot 4}{2} = -10

  3. Calcul de (1/22)\binom{1/2}{2} :

    Ici r=1/2r = 1/2. Il faut utiliser la définition multiplicative :

    (1/22)=12(121)2!\binom{1/2}{2} = \frac{\frac{1}{2} \left(\frac{1}{2} - 1\right)}{2!}

    =12(12)2=142=18= \frac{\frac{1}{2} \cdot \left(-\frac{1}{2}\right)}{2} = \frac{-\frac{1}{4}}{2} = -\frac{1}{8}

Réponse : 1) 1-1, 2) 10-10, 3) 18-\frac{1}{8}


Exercice 4

Problème : Théorème du binôme négatif

Donner le développement en série formelle de la fraction rationnelle suivante :

F(X)=1(13X)2F(X) = \frac{1}{(1-3X)^2}

Écrire le résultat sous la forme anXn\sum a_n X^n en explicitant ana_n.

Solution

Méthode : On utilise le théorème du binôme généralisé pour (1U)m(1-U)^{-m} avec U=3XU=3X et m=2m=2.

Étapes :

  1. Identification de la forme :

    F(X)=(13X)2F(X) = (1 - 3X)^{-2}

    C’est de la forme (1U)m(1-U)^{-m} avec m=2m=2 et U=3XU=3X.

  2. Application de la formule générale :

    On sait que (1X)m=n0(n+m1n)Xn(1-X)^{-m} = \sum_{n \ge 0} \binom{n+m-1}{n} X^n.

    En remplaçant XX par 3X3X :

    (13X)2=n0(n+21n)(3X)n(1-3X)^{-2} = \sum_{n \ge 0} \binom{n+2-1}{n} (3X)^n

  3. Simplification du coefficient :

    Le coefficient binomial est (n+1n)\binom{n+1}{n}.

    On sait que (n+1n)=(n+11)=n+1\binom{n+1}{n} = \binom{n+1}{1} = n+1.

    Le terme en puissance est (3X)n=3nXn(3X)^n = 3^n X^n.

    Ainsi, le terme général ana_n est :

    an=(n+1)3na_n = (n+1) 3^n

Réponse : F(X)=n0(n+1)3nXnF(X) = \sum_{n \ge 0} (n+1) 3^n X^n


Exercice 5

Problème : Dérivation formelle et série géométrique

Soit A(X)=n0Xn=11XA(X) = \sum_{n \ge 0} X^n = \frac{1}{1-X}.

  1. Calculer la dérivée formelle A(X)A'(X) terme à terme.
  2. Calculer la dérivée de la fraction rationnelle 11X\frac{1}{1-X} en utilisant les règles usuelles de dérivation (u/v)(u/v)' ou (un)(u^n)'.
  3. En déduire l’identité (le développement en série) pour 1(1X)2\frac{1}{(1-X)^2}.
Solution

Méthode : Comparer la dérivation terme à terme de la somme infinie avec la dérivation algébrique de la fraction rationnelle fermée.

Étapes :

  1. Dérivation terme à terme :

    A(X)=1+X+X2+X3++Xn+A(X) = 1 + X + X^2 + X^3 + \cdots + X^n + \cdots

    A(X)=0+1+2X+3X2++nXn1+A'(X) = 0 + 1 + 2X + 3X^2 + \cdots + nX^{n-1} + \cdots

    On peut réindexer la somme en posant k=n1k=n-1 (donc n=k+1n=k+1) :

    A(X)=k0(k+1)XkA'(X) = \sum_{k \ge 0} (k+1) X^k

  2. Dérivation de la fraction :

    On considère f(X)=(1X)1f(X) = (1-X)^{-1}.

    La dérivée est f(X)=1(1X)2(1)f'(X) = -1 \cdot (1-X)^{-2} \cdot (-1) (règle de la chaîne).

    f(X)=1(1X)2f'(X) = \frac{1}{(1-X)^2}

  3. Conclusion :

    Puisque la dérivation formelle est linéaire et respecte les opérations, les deux résultats sont égaux :

    1(1X)2=n0(n+1)Xn\frac{1}{(1-X)^2} = \sum_{n \ge 0} (n+1) X^n

Réponse : 1(1X)2=1+2X+3X2+\frac{1}{(1-X)^2} = 1 + 2X + 3X^2 + \cdots


Exercice 6

Problème : Résolution d’une récurrence linéaire simple

Soit la suite (an)nN(a_n)_{n \in \mathbb{N}} définie par :

a0=2a_0 = 2

an=3an1+1pour n1a_n = 3a_{n-1} + 1 \quad \text{pour } n \ge 1

Utiliser les séries génératrices pour trouver la formule explicite de ana_n.

Solution

Méthode : Transformer la récurrence en équation sur la série génératrice A(X)A(X), isoler A(X)A(X), décomposer en éléments simples et développer.

Étapes :

  1. Définition de la série génératrice :

    Soit A(X)=n0anXnA(X) = \sum_{n \ge 0} a_n X^n.

  2. Transformation de la récurrence :

    On multiplie la relation an=3an1+1a_n = 3a_{n-1} + 1 par XnX^n et on somme pour n1n \ge 1 :

    n1anXn=3n1an1Xn+n11Xn\sum_{n \ge 1} a_n X^n = 3 \sum_{n \ge 1} a_{n-1} X^n + \sum_{n \ge 1} 1 X^n

    Exprimons chaque terme en fonction de A(X)A(X) :

    • Membre de gauche : A(X)a0=A(X)2A(X) - a_0 = A(X) - 2.
    • Premier terme de droite : 3Xn1an1Xn1=3XA(X)3X \sum_{n \ge 1} a_{n-1} X^{n-1} = 3X A(X).
    • Second terme de droite : n1Xn=X1X\sum_{n \ge 1} X^n = \frac{X}{1-X} (série géométrique privée du terme constant 1, ou X(1+X+)X(1+X+\dots)).

    L’équation devient :

    A(X)2=3XA(X)+X1XA(X) - 2 = 3X A(X) + \frac{X}{1-X}

  3. Isoler A(X)A(X) :

    A(X)(13X)=2+X1XA(X)(1 - 3X) = 2 + \frac{X}{1-X}

    A(X)(13X)=2(1X)+X1X=22X+X1X=2X1XA(X)(1 - 3X) = \frac{2(1-X) + X}{1-X} = \frac{2 - 2X + X}{1-X} = \frac{2 - X}{1-X}

    A(X)=2X(1X)(13X)A(X) = \frac{2 - X}{(1-X)(1-3X)}

  4. Décomposition en éléments simples :

    On cherche α,β\alpha, \beta tels que 2X(1X)(13X)=α1X+β13X\frac{2 - X}{(1-X)(1-3X)} = \frac{\alpha}{1-X} + \frac{\beta}{1-3X}.

    Mise au même dénominateur : α(13X)+β(1X)=2X\alpha(1-3X) + \beta(1-X) = 2-X.

    • Si X=1X=1 : α(2)=1    α=1/2\alpha(-2) = 1 \implies \alpha = -1/2.
    • Si X=1/3X=1/3 : β(2/3)=21/3=5/3    2β=5    β=5/2\beta(2/3) = 2 - 1/3 = 5/3 \implies 2\beta = 5 \implies \beta = 5/2.

    A(X)=1/21X+5/213XA(X) = \frac{-1/2}{1-X} + \frac{5/2}{1-3X}

  5. Développement en série :

    A(X)=12n0Xn+52n0(3X)nA(X) = -\frac{1}{2} \sum_{n \ge 0} X^n + \frac{5}{2} \sum_{n \ge 0} (3X)^n

    an=12+523n=53n12a_n = -\frac{1}{2} + \frac{5}{2} 3^n = \frac{5 \cdot 3^n - 1}{2}

Réponse : an=53n12a_n = \frac{5 \cdot 3^n - 1}{2}


Exercice 7

Problème : Composition de séries

On considère les séries A(X)=1+XA(X) = 1 + X et B(X)=XX2B(X) = X - X^2.

  1. Peut-on définir la composée C(X)=A(B(X))C(X) = A(B(X)) ? Justifier.
  2. Si oui, calculer explicitement C(X)C(X).
  3. Peut-on définir la composée D(X)=B(A(X))D(X) = B(A(X)) ? Justifier.
Solution

Méthode : Vérifier la condition sur le terme constant de la série intérieure (“celle qu’on met dedans”), puis effectuer le calcul algébrique.

Étapes :

  1. Vérification pour C(X)=A(B(X))C(X) = A(B(X)) :

    La série intérieure est B(X)=0+1X1X2B(X) = 0 + 1X - 1X^2.

    Son terme constant est b0=0b_0 = 0.

    La condition b0=0b_0=0 est respectée, la composition est bien définie.

  2. Calcul de C(X)C(X) :

    On remplace XX par (XX2)(X-X^2) dans l’expression de A(X)A(X).

    A(B(X))=1+(XX2)=1+XX2A(B(X)) = 1 + (X - X^2) = 1 + X - X^2

  3. Vérification pour D(X)=B(A(X))D(X) = B(A(X)) :

    La série intérieure est A(X)=1+XA(X) = 1 + X.

    Son terme constant est a0=1a_0 = 1.

    Comme a00a_0 \neq 0, la somme infinie définissant les coefficients de la composée impliquerait une somme infinie de termes constants non nuls (si BB était une série infinie). Même ici, bien que BB soit un polynôme fini, formellement dans le cadre des séries formelles générales, la composition n’est valide que si le terme constant intérieur est nul pour assurer la convergence coefficient par coefficient.

    Note : Si on considère B et A juste comme des polynômes, on pourrait calculer (1+X)(1+X)2(1+X) - (1+X)^2, mais dans la théorie générale des séries formelles A[[X]]\mathcal{A}[[X]], la substitution n’est permise que si la série substituée n’a pas de terme constant.

    Conclusion stricte : La composition n’est pas définie au sens des séries formelles standard.

Réponse : 1) Oui. 2) 1+XX21+X-X^2. 3) Non (terme constant non nul).


Exercice 8

Problème : Résolution d’une récurrence d’ordre 2

Soit la suite définie par :

a0=1,a1=4a_0 = 1, \quad a_1 = 4

an=5an16an2pour n2a_n = 5a_{n-1} - 6a_{n-2} \quad \text{pour } n \ge 2

Déterminer ana_n en utilisant la méthode des séries génératrices.

Solution

Méthode : Utiliser A(X)A(X) pour transformer la relation an5an1+6an2=0a_n - 5a_{n-1} + 6a_{n-2} = 0 en une fraction rationnelle.

Étapes :

  1. Equation fonctionnelle :

    Soit A(X)=n0anXnA(X) = \sum_{n \ge 0} a_n X^n.

    Récurrence : n2anXn=5n2an1Xn6n2an2Xn\sum_{n \ge 2} a_n X^n = 5 \sum_{n \ge 2} a_{n-1} X^n - 6 \sum_{n \ge 2} a_{n-2} X^n.

    • Gauche : A(X)a0a1X=A(X)14XA(X) - a_0 - a_1 X = A(X) - 1 - 4X.
    • Droite terme 1 : 5X(A(X)a0)=5X(A(X)1)=5XA(X)5X5X (A(X) - a_0) = 5X(A(X) - 1) = 5XA(X) - 5X.
    • Droite terme 2 : 6X2A(X)-6X^2 A(X).

    Equation :

    A(X)14X=5XA(X)5X6X2A(X)A(X) - 1 - 4X = 5XA(X) - 5X - 6X^2 A(X)

  2. Isoler A(X)A(X) :

    Regroupons les termes en A(X)A(X) à gauche :

    A(X)(15X+6X2)=1+4X5X=1XA(X) (1 - 5X + 6X^2) = 1 + 4X - 5X = 1 - X

    A(X)=1X15X+6X2A(X) = \frac{1-X}{1 - 5X + 6X^2}

  3. Factorisation du dénominateur :

    Q(X)=15X+6X2Q(X) = 1 - 5X + 6X^2. On cherche les racines de 6x25x+1=06x^2 - 5x + 1 = 0 ou on factorise directement.

    (12X)(13X)=13X2X+6X2=15X+6X2(1-2X)(1-3X) = 1 - 3X - 2X + 6X^2 = 1 - 5X + 6X^2.

    Donc A(X)=1X(12X)(13X)A(X) = \frac{1-X}{(1-2X)(1-3X)}.

  4. Décomposition en éléments simples :

    1X(12X)(13X)=α12X+β13X\frac{1-X}{(1-2X)(1-3X)} = \frac{\alpha}{1-2X} + \frac{\beta}{1-3X}

    α(13X)+β(12X)=1X\alpha(1-3X) + \beta(1-2X) = 1-X

    • Si X=1/2X=1/2 (annule 12X1-2X) : α(13/2)=11/2    α(1/2)=1/2    α=1\alpha(1 - 3/2) = 1 - 1/2 \implies \alpha(-1/2) = 1/2 \implies \alpha = -1.
    • Si X=1/3X=1/3 (annule 13X1-3X) : β(12/3)=11/3    β(1/3)=2/3    β=2\beta(1 - 2/3) = 1 - 1/3 \implies \beta(1/3) = 2/3 \implies \beta = 2.

    A(X)=112X+213XA(X) = \frac{-1}{1-2X} + \frac{2}{1-3X}

  5. Extraction du coefficient :

    an=1(2n)+2(3n)a_n = -1 \cdot (2^n) + 2 \cdot (3^n)

    an=23n2na_n = 2 \cdot 3^n - 2^n

Réponse : an=23n2na_n = 2 \cdot 3^n - 2^n


Exercice 9

Problème : Série génératrice d’un polynôme

Soit A(X)A(X) une série formelle. On dit que A(X)A(X) est un polynôme si tous ses coefficients sont nuls à partir d’un certain rang.

Montrer que si A(X)A(X) est un polynôme non nul, alors son inverse 1/A(X)1/A(X) n’est jamais un polynôme (sauf si A(X)A(X) est une constante).

Indice : Raisonner sur les degrés.

Solution

Méthode : Raisonnement par l’absurde en utilisant la propriété du degré d’un produit de polynômes.

Étapes :

  1. Hypothèse :

    Supposons que A(X)A(X) soit un polynôme de degré d1d \ge 1 (non constant).

    Supposons que son inverse B(X)B(X) soit aussi un polynôme de degré k0k \ge 0.

  2. Propriété du degré :

    Dans l’anneau des polynômes, le degré du produit est la somme des degrés :

    deg(A(X)B(X))=deg(A(X))+deg(B(X))=d+k\deg(A(X) \cdot B(X)) = \deg(A(X)) + \deg(B(X)) = d + k

  3. Contradiction :

    On sait que A(X)B(X)=1A(X)B(X) = 1.

    Le degré du polynôme constant 11 est 00.

    Donc, on devrait avoir d+k=0d + k = 0.

    Or, d1d \ge 1 et k0k \ge 0, donc d+k1d+k \ge 1.

    0=d+k0 = d+k est impossible.

  4. Conclusion :

    L’inverse B(X)B(X) ne peut pas être un polynôme (il a une infinité de termes non nuls). C’est une véritable série formelle.

Réponse : Démonstration par l’absurde sur le degré.


Exercice 10

Problème : Application - Dénombrement avec répétition

On cherche à déterminer le nombre de solutions entières (x1,x2,x3)(x_1, x_2, x_3) à l’équation :

x1+x2+x3=navec xi0x_1 + x_2 + x_3 = n \quad \text{avec } x_i \ge 0

  1. Écrire la série génératrice correspondant au choix d’un seul xix_i (somme des XkX^k pour tous les kk possibles).
  2. En déduire que la série génératrice du problème global est A(X)=(1X)3A(X) = (1-X)^{-3}.
  3. Utiliser le théorème du binôme généralisé pour trouver le coefficient de XnX^n (le nombre de solutions).
Solution

Méthode : Modélisation combinatoire par produit de séries, puis extraction du coefficient via binôme négatif.

Étapes :

  1. Série pour une variable :

    Chaque xix_i peut prendre n’importe quelle valeur entière positive 0,1,2,0, 1, 2, \dots.

    Cela correspond au polynôme (série) :

    S(X)=X0+X1+X2+=k0Xk=11XS(X) = X^0 + X^1 + X^2 + \cdots = \sum_{k \ge 0} X^k = \frac{1}{1-X}

  2. Série globale :

    Comme on doit choisir x1x_1 ET x2x_2 ET x3x_3 et que leurs valeurs s’ajoutent dans l’exposant (car Xx1Xx2Xx3=Xx1+x2+x3=XnX^{x_1} \cdot X^{x_2} \cdot X^{x_3} = X^{x_1+x_2+x_3} = X^n), la série génératrice du problème est le produit des séries individuelles :

    A(X)=S(X)S(X)S(X)=(11X)3=(1X)3A(X) = S(X) \cdot S(X) \cdot S(X) = \left(\frac{1}{1-X}\right)^3 = (1-X)^{-3}

  3. Extraction du coefficient :

    D’après le théorème du binôme généralisé pour (1X)m(1-X)^{-m} avec m=3m=3 :

    [Xn]A(X)=(n+m1n)=(n+31n)=(n+2n)[X^n]A(X) = \binom{n+m-1}{n} = \binom{n+3-1}{n} = \binom{n+2}{n}

    Par symétrie (nk)=(nnk)\binom{n}{k} = \binom{n}{n-k}, on a :

    (n+2n)=(n+22)=(n+2)(n+1)2\binom{n+2}{n} = \binom{n+2}{2} = \frac{(n+2)(n+1)}{2}

Réponse : Le nombre de solutions est (n+2)(n+1)2\frac{(n+2)(n+1)}{2}.