Théorème de Fatou
# Théorème de Fatou

En mathématiques, le théorème de Fatou est un résultat d'analyse complexe dû au mathématicien français Pierre Fatou (1878 – 1929), qui énonce l'existence d'au moins un point fixe complexe pour toute composée d'une fonction entière (hors translation) avec elle-même.

## Énoncé

    Soit f une fonction entière, c'est-à-dire une fonction holomorphe définie sur tout le plan complexe. Si f n'est pas une translation, autrement dit si elle ne s'écrit pas sous la forme f(z)=z+c avec c constante, alors la composée f ∘ f admet au moins un point fixe : il existe un nombre complexe $z_0$ tel que $f(f(z_0))=z_0.$

Ce résultat n'a pas d'équivalent pour les fonctions d'une variable réelle, même développables en série entière. En effet, la fonction exponentielle réelle n'est pas une translation et sa composée avec elle-même est sans point fixe sur la droite réelle.

