Bonjour,
je note Arg l'application de U dans C qui à z associe son unique argument compris dans ]0;2.pi[.
L'application de U dans C qui à z associe ln|z| + i.Arg(z) convient puisqu'elle est définie (z est non nul), continue (il n'y a aucun saut de 0 à 2.pi pour l'argument puisqu'on a enlevé la demi-droite problématique), et que son exponentielle vaut visiblement l'identité sur U.
Pour toute autre détermination g, on aura exp(g(z)) = z pour z dans U, donc exp(Re(g(z))) = |z|, soit Re(g(z)) = ln|z|.
De plus, exp(i.Im(g(z)) = exp(i.Arg(z)) ce qui équivaut à Im(g(z)) = Arg(z) + 2kpi avec k entier relatif indépendant de z.
Par suite, g = f + 2ik.pi où k entier relatif ne dépend que de g.