Let us work over the complex numbers for simplicity. Consider a curve $C$ presented as a cyclic cover of some lower genus curve $C'$. When $C'$ has genus $0$, we can write $C$ as the normalization of the projective curve given by
$$
y^n= \Pi (x- \alpha\_i)
$$
where $\alpha\_i \in \mathbb{C}$ are the branch points.


Question: how can I decide if the curve presented this way is or not hyperelliptic? 


One easy sufficient condition (for $C$ to be hyperelliptic) is: when $n$ is even and the curve defined by
$$
y^{n/2} = \Pi (x- \alpha\_i)
$$
has genus $0$. Of course this is not necessary: the automorphism group of the curve $C$ may be bigger than $\mathbb{Z}/n\mathbb{Z}$.



When is a cyclic cover hyperelliptic?
Consider an automorphism of a hyperelliptic curve. It is sufficient to ask what the quotient by this automorphism can be. Because there is a unique hyperelliptic projection to $\mathbb P^1$, it is canonical, hence the automorphism factors through to an automorphism of $\mathbb P^1$. As a finite order automorphism of $\mathbb P^1$ it fixes two points, and if those points are moved to $0$ and $\infty$ it acts by multiplication by $\mu\_n$.


Either the cyclic subgroup generated by this automorphism contains the hyperelliptic involution, or it does not. If it does, then clearly we are in your case. There are only two ramification points so the cover must have the form $y^{n/2}=\frac{(x-\alpha\_1)}{(x-\alpha\_2)} \prod (x-\beta\_i)^{n/2}$, so the full cover has the form $y^n=\frac{(x-\alpha\_1)}{(x-\alpha\_2)} \prod (x-\beta\_i)^{n/2}$.


In the other case, the quotient curve is hyperelliptic or elliptic, and you are taking the fiber product of the hyperelliptic cover with another cyclic cover of $\mathbb P^1$. Thus the cover must have the form $y^n=\frac{x-\alpha\_1}{x-\alpha\_2}$, where the meromorphic function $x$ is the hyperelliptic projection. Special attention should be devoted to the the case when $\alpha\_1$ and $\alpha\_2$ are ramification points of the hyperelliptic projection. This will create singularities that must be normalized to get the actual ramified cover. In particular, this can make the cover not actually ramified at those points if $n$ is even. Thus the total number of ramification points can be anything from $0$ to $4$.


