Sea $T: \operatorname{dom}(T) \rightarrow H$ autoadjunto, entonces $U(T):=(T+i)(T-i)^{-1}$ está definido y es unitario (esto me parece claro). Además, tenemos que $\sigma(U(T)):= \overline{\{ t; \exists y \in \sigma(T): t = \frac{y+i}{y-i}\}}$, es decir, $1 \notin \sigma(U(T)).$ Supongo que hay un truco sutil para demostrar esto que actualmente no logro ver. Espero que alguien aquí sepa cómo hacerlo.
Si algo no está claro, por favor házmelo saber.