ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 4 — Nombres complexes et trigonométrie · Exercices de synthèse

Exercice 61

Démonstration

Soit z1,…,znz_{1}, \dots, z_{n} des nombres complexes. On veut montrer qu'il existe une partie II de [ ⁣[1 ;n] ⁣][\![1\,;n]\!] telle que ∣∑k∈Izk∣⩾14∑k=1n∣zk∣.\Big|\sum_{k \in I} z_{k}\Big| \geqslant \frac{1}{4}\sum_{k=1}^{n} |z_{k}|.

1. On note P+P_{+} la somme des parties réelles strictement positives des zkz_{k}, P−P_{-} la somme des opposés des parties réelles strictement négatives, et l'on définit de même Q+Q_{+} et Q−Q_{-} avec les parties imaginaires. Montrer que P++P−+Q++Q−⩾∑k=1n∣zk∣P_{+} + P_{-} + Q_{+} + Q_{-} \geqslant \displaystyle\sum_{k=1}^{n} |z_{k}|.

2. On suppose par exemple que P+P_{+} est le plus grand des quatre nombres. Montrer que la partie I={k∣Re⁡zk>0}I = \{k \mid \operatorname{Re} z_{k} > 0\} convient, et conclure.

3. Donner un exemple qui montre que l'on ne peut pas remplacer 14\frac{1}{4} par 11.

Corrigé

1. L'exercice 16 donne ∣zk∣⩽∣Re⁡zk∣+∣Im⁡zk∣|z_{k}| \leqslant |\operatorname{Re} z_{k}| + |\operatorname{Im} z_{k}|. On somme, en remarquant que ∑∣Re⁡zk∣=P++P−\sum |\operatorname{Re} z_{k}| = P_{+} + P_{-} et que ∑∣Im⁡zk∣=Q++Q−\sum |\operatorname{Im} z_{k}| = Q_{+} + Q_{-} : P++P−+Q++Q−⩾∑∣zk∣\boxed{P_{+} + P_{-} + Q_{+} + Q_{-} \geqslant \sum |z_{k}|}

2. Le plus grand des quatre nombres est au moins le quart de leur somme. Si c'est P+P_{+}, alors, avec I={k∣Re⁡zk>0}I = \{k \mid \operatorname{Re} z_{k} > 0\}, ∣∑k∈Izk∣⩾Re⁡(∑k∈Izk)=P+⩾14∑k=1n∣zk∣.\Big|\sum_{k \in I} z_{k}\Big| \geqslant \operatorname{Re}\Big(\sum_{k \in I} z_{k}\Big) = P_{+} \geqslant \frac{1}{4}\sum_{k=1}^{n} |z_{k}|. Dans les trois autres cas, on prend de même les indices de partie réelle négative, ou de partie imaginaire positive, ou négative, en minorant le module par −Re⁡-\operatorname{Re}, Im⁡\operatorname{Im} ou −Im⁡-\operatorname{Im}. une telle partie I existe\boxed{\text{une telle partie } I \text{ existe}}

3. Avec z1=1z_{1} = 1 et z2=−1z_{2} = -1, les sommes partielles valent 00, 11 ou −1-1, de module au plus 11, alors que ∑∣zk∣=2\sum |z_{k}| = 2 : la constante 11 est impossible, et même toute constante supérieure à 12\frac{1}{2}.

L'exercice 64 montre que la meilleure constante possible est 1π≈0,318\frac{1}{\pi} \approx 0{,}318 ; la constante 14\frac{1}{4} obtenue ici n'en est pas loin, pour un raisonnement beaucoup plus simple.

Dans l'édifice

Thèmes

sommes trigonométriques

Ouvrir dans l'atlas interactif →