Théorème de Fatou

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₀ tel que f(f(z₀))=z₀.

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.