da ciampax » 22/08/2014, 11:36
Poniamo $z=x+iy$ allora
$$iz^2-1=i(x^2-y^2+2ixy)-1=i(x^2-y^2)-2xy-1$$
Pertanto
$$|e^{iz^2-1}|=|e^{i(x^2-y^2)}\cdot e^{-2xy-1}|=|e^{i(x^2-y^2)}|\cdot |e^{-2xy-1}|=e^{-2xy-1}$$
dal momento che $|e^{it}|=1$ e $|e^a|=e^a$, essendo l'esponenziale reale sempre positivo. I numeri complessi cercati sono allora quelli per cui $e^{-2xy-1}<1$, cioè $-2xy-1<0$ ovvero i punti esterni all'iperbole equilatera di equazione $xy=-1/2$.