Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've self-learning of a complex analysis course. My first difficulties are in analytic functions. In that book, that I learning from, there is no even one example on how proving such problem, like in the title:

Prove that $w=\frac{\sqrt{z^2+z+1}}{z^2-3z+2}$ analytic on $|z|<1$

Could you direct me by providing a full solution of the above?

Thank you.

share|cite|improve this question
Why dont you write $z^2 - 3 z + 2 = (z - 1)(z -2)$ and $z^2 + z + 1 = \big(z + e^\frac{i \pi}{3}\big) \big(z + e^{-\frac{i \pi}{3}}\big)$ and see what happens with the poles and the branches of $$ f(z) = \frac{\sqrt{\big(z + e^\frac{i \pi}{3}\big)} \sqrt{\big(z + e^{-\frac{i \pi}{3}}\big)}}{(z - 1)(z -2)}$$ for $|z|<1$? See here for the branches. – Pragabhava Oct 16 '12 at 22:06
up vote 8 down vote accepted

One can use a few general facts about how one can compose analytic functions:

  • The sum and product of two analytic functions $f,g$ is analytic. This is clear from $(f+g)'=f'+g'$ and $(fg)'=fg'+f'g$.
  • If $f(z)$ is analytic on $\Omega$ and has no zero there, then $\frac1{f(z)}$ is analytic as well. This is clear from $\frac d{dz}\frac1{f(z)}=\frac{f'(z)}{f^2(z)}$.
  • If $f(z)$ is analytic on $\Omega$ and $\Omega$ is simply connected and $f(z)$ has no zero there, then $\sqrt{f(z)}$ is analytic on $\Omega$ as well. This follows by monodromy.
  • The open unit disc given by $|z|<1$ is simply connected: The disc and its complement are clearly connected, it is not even difficult to give explicit paths between points.

If you know these four facts, you can combine them to conclude that $f(z)=\frac{\sqrt{z^2+z+1}}{(z-2)(z-1)}$ is analytic on $|z|<1$: The denominator is zero only at $z=1$ and $z=2$, hence not in the open disc; the radicand in the numerator has two complex root of absolute value $1$, hence none inside the disc.

share|cite|improve this answer
nicely done (+1) – robjohn Oct 20 '12 at 14:16

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.