Presque un mois après, j´ai finalement tout trouvé sauf 1 question.
Comme j´ai que ça à faire, je la tape si quelqu´un peut et accepte de s´y pencher (oops, 1er janvier aujourd´hui...).
Même énoncé de départ :
Soit E=C\(1;i) notre ensemble.
f(z)=(z+i)/(z-i) pour tout z€E.
a et b sont les solutions de l´équation f(z)=z avec Re(a)>0 (je ne les donne pas, je pense que c´est inutile, en fait on obtient un trinôme à coefficients imaginaires, etc).
On a déjà montré que (b-i)/(a-i)=j² (rappel : j=e^(2pi/3)), par un "simple" calcul.
Il faut maintenant montrer que pour tout z´=f(z) on a (z´-a)/(z´-b)=j²(z-a)/(z-b).
Si quelqu´un a une piste je suis prenneur, en attendant je continue à chercher...