ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Fonctions à valeurs complexes
Exercice 33
Démonstration
Soit . En écrivant comme la partie imaginaire d'une fonction à valeurs complexes, montrer que Retrouver ce résultat par récurrence, sans les nombres complexes.
Corrigé
On a avec . Par la proposition 5, , et la dérivation commute avec la partie imaginaire. Or , donc Sans les nombres complexes. Pour tout réel , la dérivée de est et une récurrence immédiate conclut. Chaque dérivation multiplie l'amplitude par le module de et décale la phase de son argument .