© Éditions H
&K Publié dans les Annales des Concours 1/15
Mines Maths 2 PSI 2013 — Corrigé
Ce corrigé est proposé par Simon Billouet (Doctorant en mathématiques) ; il a été relu par Gilbert Monna (Professeur en CPGE) et Benoît Chevalier (ENS Ulm).
Ce sujet a pour but de démontrer et d’appliquer la formule du triple produit de Jacobi, qui stipule que pour tous z ∈ C
∗et x ∈ ] −1 ; 1 [ :
∞
Q
k=1
(1 − x
2k)
∞
Q
k=1
(1 + z
2x
2k−1)
∞
Q
k=1
(1 + z
−2x
2k−1) =
+∞
P
m=−∞
x
m2z
2mL’énoncé est composé de trois parties de longueurs inégales.
• La première partie est constituée d’une seule question, qui demande de démon- trer par récurrence une inégalité qui sera utilisée dans la deuxième partie.
• La deuxième partie vise à établir la formule du triple produit de Jacobi. Elle est constituée d’une quinzaine de questions, souvent assez longues, dans lesquelles il s’agit de justifier rigoureusement les convergences, regroupements de termes ou autres manipulations calculatoires que l’on opère.
• La troisième partie étudie d’abord un corollaire de la formule démontrée dans la deuxième partie (la formule des nombres pentagonaux d’Euler), puis utilise ce corollaire pour démontrer une équation sur la série génératrice du nombre de partitions d’un entier, ce qui permet d’en déduire la valeur de ce nombre pour de petits entiers. La question 22 est particulièrement difficile.
On ne peut commenter ce sujet sans faire une note historique : les techniques mises en œuvre sont à peu près les mêmes que celles qu’Euler lui-même utilisait au XVIII
esiècle... Mais lui ne se souciait pas de justifier la convergence des produits infinis ou les regroupements de termes !
Ce sujet est difficile : peu d’exemples sont abordés, les parties ne sont pas indé- pendantes et il est quasiment impossible d’avancer substantiellement en sautant des questions. Certaines questions (6, 17 et 22, en particulier) nécessitent une rédaction longue pour que la démonstration soit complète. Cet énoncé vous permettra de vé- rifier votre capacité à mener un raisonnement rigoureux et à justifier des calculs.
Il permet également de se familiariser avec les produits infinis, qui font partie des classiques des concours.
Téléchargé gratuitement sur Doc-Solus.fr
© Éditions H
&K Publié dans les Annales des Concours 2/15
Indications
Partie 1
1 Regarder comment on passe du rang n = 2 au rang n = 3 pour comprendre comment la récurrence s’enclenche.
Partie 2 2 Montrer que la suite des produits est décroissante.
3 Penser à utiliser les deux sens de l’inégalité triangulaire. Attention, la suite (ln(ρ
k))
n∈Nn’est pas de signe constant !
4 Quand y → 0, Arctan (y) ∼ y.
6 Utiliser le fait que e
y> 1 + y pour y > 0.
7 Regrouper les produits infinis (en justifiant qu’on a le droit de le faire).
8 Isoler le terme qu’on souhaite obtenir à la limite et utiliser les propriétés de régularité d’une série entière.
9 Montrer la proposition par récurrence forte.
10 Comparer F(x, z) et F(x, −z).
14 Étudier F(x, 1).
15 Regrouper les produits infinis.
17 Identifier les parties réelle et imaginaire de l’égalité trouvée en 16. Attention à bien montrer la non-nullité des termes par lesquels vous divisez.
Partie 3 19 Choisir z tel que z
2= −t
1/2.
20 Attention, il y a une erreur dans l’énoncé : S
2est l’ensemble des solutions dans N
nde P
nj=1
jq
j= n.
22 Montrer que
∞
Q
m=1
∞P
i=0
x
im= 1 +
∞
P
k=0
p(k)x
k. Cette question est très difficile.
Téléchargé gratuitement sur Doc-Solus.fr
© Éditions H
&K Publié dans les Annales des Concours 3/15
1. Préambule
1 Montrons par récurrence sur n ∈ N
∗la propriété P (n) : pour toute suite de nombres complexes (ξ
k)
k∈N,
n
Q
k=1
(1 + ξ
k) − 1
6
n
Q
k=1
(1 + |ξ
k|) − 1
L’énoncé demande de prouver la propriété à partir du rang n = 0 qui ne sera jamais utilisé dans la suite et était probablement une erreur d’énoncé. Si l’on accepte la convention qu’un produit indexé par un ensemble vide vaut 1 (convention non explicite dans le programme de PSI), P (0) est vraie car les deux termes de l’inégalité sont nuls.
• P (1) signifie que pour toute suite de nombres complexes (ξ
k)
k∈N, |ξ
1| 6 |ξ
1|, ce qui est manifestement vrai.
• P (n) = ⇒ P (n + 1) : supposons la propriété vraie au rang n ∈ N
∗. On a
n+1
Q
k=1
(1 + ξ
k) − 1
=
(1 + ξ
n+1)
n
Q
k=1
(1 + ξ
k) − 1
Par inégalité triangulaire, il vient
n+1
Q
k=1
(1 + ξ
k) − 1
6
n
Q
k=1
(1 + ξ
k) − 1 +
ξ
n+1n
Q
k=1
(1 + ξ
k)
En utilisant l’hypothèse de récurrence, on a
n+1
Q
k=1
(1 + ξ
k) − 1
6
n
Q
k=1
(1 + |ξ
k|) − 1 + |ξ
n+1|
n
Q
k=1
|1 + ξ
k|
Or, pour tout k ∈ [[ 1 ; n ]], |1 + ξ
k| 6 1 + |ξ
k| donc
n+1
Q
k=1
(1 + ξ
k) − 1
6
n
Q
k=1
(1 + |ξ
k|) − 1 + |ξ
n+1|
n
Q
k=1
(1 + |ξ
k|)
Par ailleurs,
n
Q
k=1
(1 + |ξ
k)|) − 1 + |ξ
n+1|
n
Q
k=1
(1 + |ξ
k|) =
n+1
Q
k=1
(1 + |ξ
k|) − 1
On en conclut que
n+1
Q
k=1
(1 + ξ
k) − 1
6
n+1
Q
k=1
(1 + |ξ
k|) − 1
On vient de prouver P (n + 1).
• Conclusion : P (n) est vraie pour tout n ∈ N :
∀n ∈ N
n
Q
k=1
(1 + ξ
k) − 1
6
n
Q
k=1
(1 + |ξ
k|) − 1
Téléchargé gratuitement sur Doc-Solus.fr
© Éditions H
&K Publié dans les Annales des Concours 4/15
2. La formule de Jacobi
2 Soit, pour n > 1, u
n=
n
Q
k=1
1 − x
2kPuisque |x| < 1 par hypothèse, on a également x
2k= (x
k)
2= x
2k< 1 pour tout k ∈ N
∗. Par suite, tous les termes dans le produit définissant u
nsont stric- tement positifs, si bien que u
nl’est aussi. Par ailleurs, u
n+1/u
n= 1 − x
2n+2. Or, x
2n+2= x
n+12> 0, donc u
n+1/u
n6 1 pour tout n ∈ N
∗. Ainsi, (u
n)
n∈N∗est une suite décroissante et minorée par 0 : elle converge donc, et
Q(x) est bien défini.
3 Soit, pour n > 1, v
n= Q
nk=1
ρ
kSi, pour une certaine valeur de k, on a z
2x
2k−1= −1, alors ρ
k= 0. La suite (v
n)
n∈Nest nulle à partir du rang k ; par conséquent, elle converge. Sinon, (v
n)
n∈Nest à termes strictement positifs, chaque ρ
kétant le module d’un nombre complexe. Suivant l’in- dication donnée par l’énoncé, considérons son logarithme népérien
ln(v
n) =
n
P
k=1
ln(ρ
k)
Par continuité de la fonction exponentielle, si (ln(v
n))
n∈Nconverge, alors (v
n)
n∈Nconverge également. Il reste à montrer que ln(ρ
k) est le terme général d’une série convergente. L’inégalité triangulaire stipule que
∀(a, b) ∈ C
2, ||a| − |b|| 6 |a + b| 6 |a| + |b|
On en déduit que 1 − |z|
2|x|
2k−16 ρ
k6 1 + |z|
2|x|
2k−1Le terme de gauche de l’inégalité tend vers 1 quand k tend vers ∞ (puisque |x| < 1), il est donc strictement positif à partir d’un certain rang. À partir de ce rang, les loga- rithmes de toutes les quantités ci-dessus sont définis, et par croissance de la fonction logarithme, il vient
ln(1 − |z|
2|x|
2k−1) 6 ln(ρ
k) 6 ln(1 + |z|
2|x|
2k−1) d’où |ln(ρ
k)| 6 Max ln(1 + |z|
2|x|
2k−1), − ln(1 − |z|
2|x|
2k−1) Puisque ln(1 + h) = O
h→0
(h), on en déduit que
|ln(ρ
k)| = O
k→∞
(|z|
2|x|
2k−1) = O
k→∞