ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 8 — Limites et continuité · Fonctions à valeurs complexes

Exercice 49

Démonstration

Soit f:[a ,b]→ℂf : [a\,,b] \to \mathbb{C} continue.

1. Montrer que ∣f∣|f| est continue, que ff est bornée, et que ∣f∣|f| atteint ses bornes.

2. On suppose que ff ne s'annule pas. Montrer qu'il existe m>0m > 0 tel que ∣f(t)∣⩾m|f(t)| \geqslant m pour tout t∈[a ,b]t \in [a\,,b], et que 1f\frac{1}{f} est continue.

3. Soit f:[a ,b]→ℂf : [a\,,b] \to \mathbb{C} continue, telle que Re⁡f(a)<0<Re⁡f(b)\operatorname{Re} f(a) < 0 < \operatorname{Re} f(b). Montrer à l'aide d'un exemple que ff ne s'annule pas nécessairement. Que peut-on affirmer en revanche ?

Corrigé

1. On a ∣f∣=(Re⁡f)2+(Im⁡f)2|f| = \sqrt{(\operatorname{Re} f)^{2} + (\operatorname{Im} f)^{2}}, continue comme composée de fonctions continues, puisque Re⁡f\operatorname{Re} f et Im⁡f\operatorname{Im} f le sont (proposition 20). Fonction réelle continue sur un segment, ∣f∣|f| est bornée et atteint ses bornes (théorème 10). f est borneˊe, et ∣f∣ atteint son minimum et son maximum\boxed{f \text{ est bornée, et } |f| \text{ atteint son minimum et son maximum}}

2. Le minimum mm de ∣f∣|f| est atteint en un point t0t_{0}, et m=∣f(t0)∣>0m = |f(t_{0})| > 0 puisque ff ne s'annule pas. ∣f∣⩾m>0\boxed{|f| \geqslant m > 0} De plus, 1f=f‾∣f∣2\frac{1}{f} = \frac{\overline{f}}{|f|^{2}} a pour parties réelle et imaginaire Re⁡f∣f∣2\frac{\operatorname{Re} f}{|f|^{2}} et −Im⁡f∣f∣2-\frac{\operatorname{Im} f}{|f|^{2}}, continues comme quotients de fonctions continues à dénominateur non nul : 1f est continue.\boxed{\frac{1}{f} \text{ est continue}}.

3. La fonction f:t↦eiπ(1−t)f : t \mapsto \mathrm{e}^{\mathrm{i}\pi(1 - t)} sur [0 ,1][0\,,1] vérifie Re⁡f(0)=cos⁡π=−1<0<1=Re⁡f(1)\operatorname{Re} f(0) = \cos\pi = -1 < 0 < 1 = \operatorname{Re} f(1), mais ∣f(t)∣=1|f(t)| = 1 pour tout tt : f ne s’annule pas.\boxed{f \text{ ne s'annule pas}}. En revanche, Re⁡f\operatorname{Re} f est une fonction réelle continue qui change de signe : Re⁡f s’annule,\boxed{\operatorname{Re} f \text{ s'annule}}, par le théorème des valeurs intermédiaires. Le point f(t)f(t) décrit un demi-cercle, et traverse l'axe imaginaire sans passer par l'origine.

Dans l'édifice

Thèmes

fonctions à valeurs complexes, valeurs intermédiaires, bornes atteintes

Notions

continuité

Ouvrir dans l'atlas interactif →