Solution (source code)

= Solution

Assume $J(f)$ is connected. Then the filled Julia set $K(f)$ is connected and full, so its complement $A_\infty(f)$ is simply connected. The local Bottcher coordinate therefore extends by the functional equation to a conformal isomorphism
$$
\phi_f:A_\infty(f)\longrightarrow\{w:|w|>1\}.
$$
If a finite critical point $c$ lay in $A_\infty(f)$, differentiating
$$
\phi_f(f(z))=\phi_f(z)^d
$$
at $c$ would give
$$
0=d\phi_f(c)^{d-1}\phi_f'(c).
$$
Neither factor on the right vanishes on the exterior disc under a conformal coordinate, a contradiction. Hence every finite critical point lies in $K(f)$. This is one direction of the <connected Julia set criterion for a polynomial>.