How to show that a point is a branch

If a function $f(z)$ has a branch point around $\alpha$ than the endpoints of a path around $\alpha$ do not map to the same point under $f(z)$. So we must test for inequality of $f(\alpha + re^{i2\pi}) \neq f(\alpha + re^{0})$. But this method only works for simple functions. For example given a fucntion

$$g(z) = \sqrt{1 + \sqrt{z}}$$

Zero is obviously a branch poin, but 1 is also a branch point for (2 out of 4) branches of this function where the inner square root is the branch for which $\sqrt{1} = -1$. I understand why this is, but I don't understand how to algebraically prove/show it?

Rewrite $w=\sqrt{1+\sqrt{z}}$ as $z=(w^2-1)^2$, and note where the derivative of the latter wrt $w$ is zero. You get $4w(w^2-1)=0$, so the branch points correspond to $w=0$ ($z=1$) and $w=\pm1$ ($z=0$).
• @ArkyaChatterjee In this case, we have $z=f(w)$ for some analytic function $f$, and we are interested in branch points of the inverse. Note that near any point with $f'(w)≠0$, $f$ has a local analytic inverse, so there is no branch point. But if $f'(w_0)=0$, we can write $f(w)=a_0+(w-w_0)^ng(w)$ for some constant $a_0$ and analytic $g$ with $g(w_0)≠0$, and $n>1$. If $w$ traverses a small circle around $w_0$, so $g(w)$ is near constant, then $z=f(w)$ will go $n$ times around $f(w_0)$. And having $z$ go $n$ times around a point in order to make $w$ go once around, is the hallmark of a branch pt. – Harald Hanche-Olsen Sep 1 '16 at 14:32
• Well, no, it's more elementary – just the inverse function theorem. It's been too long since I taught complex function theory, I no longer remember exactly where in the sequence this usually appears, but I'm pretty sure it happens early on. The $n$-variable holomorphic function is available here on wikipedia. – Harald Hanche-Olsen Sep 1 '16 at 20:24