Lycée Louis-Le-Grand, Paris Pour le 07/11/2022

MP2I – Mathématiques
A. Troesch

DM no 6 : Complexes

Suggestion de travail supplémentaire (à ne pas me rendre) : Le problème 2 du DS3 de l’année dernière sur
les polynômes cyclotomiques, et le problème 4 de la sélection de ma page web sur les méthodes de Cardan et Ferrari
pour les résolutions d’équations de degrés 3 et 4.

Devoirs de vacances
Voici, par ordre de priorité une suggestion d’organisation de votre travail de vacances. Certains arriveront peut-être
à faire tout ce qui est suggéré, certains auront peut-être besoin de plus de temps pour reprendre les points essentiels.
C’est à vous de moduler selon votre propre progression.

‚ Reprendre entièrement votre cours, c’est le moment d’approfondir les points qui sont passés un peu vite. Si vous
ne le faites pas maintenant, ce sera beaucoup plus compliqué plus tard, les incertitudes sur le cours ne doivent
pas s’accumuler. Faites des fiches si nécessaire. Aidez-vous des programmes de colle pour repérer les points les
plus importants. Les résultats doivent être connus de façon précise avec les hypothèses exactes.
‚ Reprendre les exercices « classiques » de chaque chapitre (voir liste ci-dessous). Reprendre signifie :
˚ essayer de les refaire soi-même ;
˚ confronter votre solution ou votre recherche à la correction qu’on en a donnée ;
˚ si vous n’avez pas trouvé la solution par vous-même, bien étudier la correction, en vous demandant d’une
part ce qui vous a manqué pour trouver, d’autre part ce qui aurait pu vous mettre sur la piste. Dans ce cas,
reprendre l’exercice 3 ou 4 jours plus tard.
‚ Faire le DM ci-dessous.
‚ Préparer les exercices du chapitre 8 qu’on n’a pas encore faits. Les exercices les plus importants sont :
15, 17, 18, 19, 21, 23, 25, 26, 28, 29, 30, 32, 33, 36, 37, 39, 40, 44, 45, 46, 47, 50, 51, 52, 53.
‚ Si vous n’en avez pas eu le temps jusque là : reprendre vos DM et DS, confronter votre copie au corrigé (même
si vous avez réussi à répondre aux questions, il est possible que vous trouviez dans le corrigé d’autres méthodes
intéressantes). Essayer de voir (avec corrigé si nécessaire) les questions ou parties auquelles vous n’aviez pas eu
le temps de répondre.
‚ Vous reposer.
‚ Faire les problèmes supplémentaires suggérés ci-dessus et lors des précédents DM, si ce n’est pas déjà fait.

Liste des exercices importants qu’il faudrait vraiment revoir :

Cette liste est non exhaustive et à adapter pour chacun. Selon votre niveau, vous pouvez avoir intérêt à regarder aussi
d’autres exercices, plus simples, ou plus difficiles. De nombreux sites internets, ainsi que des ouvrages disponibles en
librairie proposent des exercices de tout niveau. Pour ceux qui sont intéressés et motivés par des exercices de plus haut
niveau, les recueils d’Oraux X-ENS de Francinou, Gianella et Nicolas, aux éditions Cassini sont incontournables. Les
exercices sont rangés par thèmes. Certains thèmes sont accessibles dès maintenant.
‚ Chapitre 1 : 1 - 3 - 4 - 7 - 12 - 14 - 17 - 18 - 21.
‚ Chapitre 2 : 2 - 3 - 7 - 8 - 9 - 10 - 13 - 17.
‚ Chapitre 3 : 4 - 5 - 6 - 10 - 11 - 14 - 16 - 18 - 19 - 20 - 22.
‚ Chapitre 4 : 2 - 6 - 8 - 10 - 12 - 13
‚ Chapitre 5 : 1 - 3 - 4 - 6 - 8 - 9 - 10 - 12 - 15 - 16 - 17 - 19 - 21 - 25 - 26 - 27 - 28 - 29 - 32
‚ Chapitre 6 : 2 - 4 - 9 - 10 - 13 - 15 - 18 - 19 - 21 - 23 - 24.
‚ Chapitre 7 : 3 - 5 - 7 - 9 - 11 - 13 - 15 - 16 - 18 - 20 - 22 - 23 - 29 - 31 - 33 - 36 - 37 - 39 - 40 - 42 - 43 - 45 - 46
‚ Chapitre 8 : 2 - 6 - 7 - 10 - 12 - 14

1
Problème 1 – Théorème de Liouville

Dans ce problème, on s’intéresse à certaines propriétés des fonctions dites « analytiques » ou (« holomorphes ») sur
une boule Bp0, Rq, R P R˚` Y `8. Nous montrons notamment le théorème de Liouville, affirmant qu’une fonction
analytique sur C et bornée est constante, théorème qui fournit une preuve assez simple du théorème de d’Alembert-
Gauss (à condition de connaître quelques propriétés des fonctions analytiques). La démonstration usuelle se fait par
des calculs d’intégrales le long de cercles ( via le théorème de l’indice de Cauchy). La preuve exposée ci-dessous est une
variation de cette méthode, utilisant la description d’une intégrale sur un cercle par des sommes de Riemann sur le
cercle.

Rappels, résultats admis, définitions et notations

ř
‚ On rappelle (et on pourra l’utiliser sans preuve) que si une série réelle un converge absolument (c’est-à-dire
ř
|un | converge), alors elle converge. On admettra que cela reste vrai pour des séries à termes complexes (la
valeur absolue étant alors remplacée par le module).
‚ On rappelle également le théorème de comparaison des séries à termes positifs (TCSTP) affirmant que si pour
ř ř
tout n P N (ou au moins à partir d’un certain rang), 0 ď un ď vn , et si vn converge, alors un converge.
ř n
‚ On pourra utiliser sans preuve le fait que les séries géométriques complexes a convergent si et seulement si
|a| ă 1.
‚ On note, pour tout n P N˚ et tout k P Z,
2 i πk p2k`1qπ
ωn,k “ e n , ζn,k “ ei n et αn,k “ ωn,k`1 ´ ωn,k .

On remarquera qu’à n fixé, ces suites sont n-périodiques de la variable k.

‚ Soit D Ă C un domaine de C contenant U. Pour toute fonction f : D Ñ C, on définit pour tout n ě 2,
n´1
ÿ
In pf q “ αn,k f pζn,k q,
k“0

et, si cette limite existe,

Ipf q “ lim In pf q.
nÑ`8

On s’autorisera l’abus de notation consistant à remplacer dans cette expression la fonction f par son expression,
qu’on écrira alors toujours de la variable z. Ainsi, Ipz 2 q désigne Ipf q pour la fonction f : z ÞÑ z 2 .
Ipf q est en réalité l’intégrale de f le long du cercle unité U, calculé ici par des sommes de Riemann.
‚ On dit qu’une fonction f définie sur une boule ouverte Bp0, Rq (pour R P R Y t`8u) est analytique (ou
holomorphe) sur Bp0, Rq s’il existe une suite de complexes pak qkPN tels que
`8
ÿ
@z P Bp0, Rq, f pzq “ ak z k ,
k“0

ce qui sous-entend au passage la convergence de cette série pour tout z de Bp0, Rq. Le cas R “ `8 correspond
au cas d’une fonction définie sur C entier, la série associée étant convergente pour toute valeur de C.

Partie I – Quelques calculs préliminaires

1. Soit f et g deux applications à valeurs dans C, définies sur D contenant U, et λ et µ deux complexes. Justifier
que si ces quantités existent, Ipλf ` µgq “ λIpf q ` µIpgq.
2. Soit f tel que Ipf q existe. Supposons qu’il existe M tel que |f | ď M sur U. Montrer que pour tout n P N,
|In pf q| ď 2πM , puis |Ipf q| ď 2πM .
3. Montrer que pour tout n ě 2, In p1q “ 0, et en déduire Ip1q.
ˆ ˙ ˆ ˙
1 ´π¯ 1
4. Montrer que pour tout n ě 2, In “ 2 i sin ˆ n et en déduire I .
z n z
5. En adaptant le calcul de la question précédente, montrer que pour tout p P Zzt´1u, I pz p q “ 0.

2
 ˆ ˙
1 P pzq
6. En déduire que pour tout polynôme P , P p0q “ I , et plus généralement, pour tout N ě 0,
2iπ z
ˆ ˙
pN q N! P pzq
P p0q “ I ,
2iπ z N `1

où P pN q est le polynôme obtenu en dérivant « formellement » par rapport à la variable complexe, en admettant
que les règles de dérivation des monômes sont les mêmes que pour une dérivation par rapport à une variable
réelle.

Partie II – Intégrale circulaire d’une fonction holomorphe

`8
ÿ
Dans cette partie, f : z ÞÑ ak z k désigne une fonction analytique sur Bp0, Rq, où R ą 1.
k“0

1. Justifier qu’il existe r ą 1 tel que pak rk qkPN soit bornée. On se donne désormais un tel r.
`8
ÿ
2. Soit RN pzq “ ak z k . Montrer l’existence d’un réel M tel que pour tout N P N, et tout z P U,
k“N `1

M r´N `1
|RN pzq| ď .
1 ´ r´1
3. En déduire une majoration de |In pRN q|, puis montrer que Ipf q “ 0.

Partie III – Théorème de Liouville et théorème de d’Alembert-Gauss

On garde les notations de la partie précédente. Soit N P N.
f pzq 1
1. En écrivant z ÞÑ N `1 comme somme d’une fonction analytique et de fonctions z ÞÑ k , k ą 0, montrer que
z z
ˆ ˙
1 f pzq
aN “ I .
2iπ z N `1
En admettant qu’une série du type définissant f peut se dériver terme à terme par rapport à la variable complexe
z, on vérifie facilement que f pN q p0q “ N !aN . Ainsi, cette formule est l’analogue de la dernière formule démontrée
dans la partie I.
2. On suppose maintenant que f est analytique sur C, et bornée, et on note M telle que |f | ď M sur C.
En considérant la fonction g : z ÞÑ f przq, montrer que pour tout r ą 0
M
|aN | ď .
rN
3. En déduire le théorème de Liouville : si f est analytique sur C et bornée, alors f est constante.
4. En admettant que l’inverse d’une fonction analytique ne s’annulant pas est encore une fonction analytique, et
qu’une fonction continue sur une boule fermée bornée est bornée, en déduire le théorème de d’Alembert-Gauss.

Partie IV – Un cas particulier d’une formule de Cauchy

Dans cette partie, nous généralisons les résultats de la partie 1, en montrant que plus généralement, on peut exprimer
la valeur de P pzq pour tout z de Bp0, 1q sous une forme intégrale. Ceci est remarquable en le sens que ceci permet de
retrouver l’expression de P sur tout Bp0, 1q ne connaissant P que sur U.
Soit z0 P C tel que |z0 | ă 1, et r tel que |z0 | ă r ă 1, et p P N.
1. Soit N ą p fixé. Montrer que ˜ ¸
N ´
ÿ z0 ¯ℓ
I z p´1 “ 2 i πz0p .
ℓ“0
z
2. Après avoir justifié rapidement l’existence de la somme infinie pour tout z de module 1, montrer que
ˇ ˜ ¸ˇ
ˇ `8
ÿ ´ z0 ¯ℓ ˇˇ 2π|z0 |N `1
p´1
ˇIn z ˇď
ˇ
ˇ zℓ“N `1
ˇ 1 ´ |z0 |

3
 zp
ˆ ˙
3. En déduire que I “ 2 i πz0p
z ´ z0
4. Montrer que pour tout polynôme P , ˆ ˙
1 P pzq
P pz0 q “ I .
2iπ z ´ z0
`8
ÿ
5. Soit f : z ÑÞ ak z k une fonction analytique définie sur Bp0, Rq, R ą 1. Montrer que pour tout n P N,
˜ k“0 ¸
`8
ÿ zk
In ak est majoré par une expression indépendante de n, et tendant vers 0 lorsque N tend vers
k“N `1
z ´ z0
`8.
ˆ ˙
1 f pzq
6. Montrer que f pz0 q “ I .
2iπ z ´ z0
Cette formule est un cas particulier d’une formule due à Cauchy (formule de l’indice).

Question subsidiaire : Montrer qu’une fonction analytique sur Bp0, Rq est continue sur ce domaine, dérivable de
la variable z (c’est à dire qu’en tout point z, le taux d’accroissement f pz`hq´f
h
pzq
admet une limite lorsque la variable
complexe h tend vers 0), et même infiniment dérivable et exprimer les dérivées successives sous forme de sommes.