salam
1) on procède simplement: z=x+iy et t=a+ib
/z/^2 + /t/^2 - 2R(zbar.t) = x^2 + y^2 +a^2 + b^2 - 2(ax+by)
= (a-x)^2 + (b-y)^2 >= 0
2) zt - 1 = (z-1)(t-1) +(z-1) + (t-1)
/zt-1/ =< /z-1/./t-1/ + /z-1/ + /t-1/
1 + /zt-1/ =< (1+/z-1/).(1+/t-1/)
3) z^2 + t^2 = (z+t)^2 - 2zt
on a : /z+z'/ >= / /z/ - /z'/ /
/z^2 + t^2 / >= / /z+t/^2 - 2/z/./t/ /
>= / inf(2/z//t/) - sup/z+t/ / >= /2 - 1/ >= 1
-----------------------------------------