"Considere uma função
não constante e analítica num domínio 
. Portanto, a função conjugada de também é analítica em ."Para f sendo constante, é fácil mostrar que satisfaz as equações de Chauchy-Riemann, e, portanto, a conjugada também é analítica, mas e para uma função não constante? Não consigo visualizar.
![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png "\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}")
![\sqrt[]{2}](/latexrender/pictures/f21662d1cabab6e8b273a4b6f1cd663a.png "\sqrt[]{2}")
e elevar ao quadrado os dois lados)