Si w = f(z) = (2z+5)/(z+1), alors z = f-1(w) = (w-5)/(2-w)
On doit donc trouver les w tels que Re((w-5)/(2-w)) = 1/2, ou 2Re((w-5)/(2-w)) = 1
Or, pour tout complexe Z, en appelant Z' son conjugué (en principe on met une barre au-dessus), on a Z+Z' = 2Re(Z)
Donc ici, en appelant w' le conjugué de w, on a :
(w-5)/(2-w) + (w'-5)/(2-w') = 1
(w-5)(2-w') + (w'-5)(2-w) = (2-w)(2-w')
2w - ww' - 10 + 5w' + 2w'- ww' - 10 + 5w = 4 - 2w - 2w' + ww'
9w + 9w' -3ww' = 24
3(w + w') - ww' = 8
Et on a presque fini :
Si w = x+iy, w' = x-iy, w+w' = 2x, ww' = x2+y2, donc :
6x - x2 - y2 = 8
x2 + y2 - 6x = -8
(x-3)2 - 9 + y2 = -8
(x-3)2 + y2 = 1
C'est donc un cercle de centre (3,0) et de rayon 1.
Tous calculs à vérifier...