Polynomial root from a disk self-map (source code)

= Polynomial root from a disk self-map

If a polynomial equation can be rearranged as $z=F(z)$ with a continuous $F$ mapping a closed disk into itself, Brouwer's theorem guarantees a root in that disk.