Brouwer's fixed-point theorem in the plane states that every continuous map from a closed disk to itself has a fixed point. Equivalently, the same holds for every nonempty compact convex subset of .
On the closed unit disk defineFor ,so maps the disk continuously into itself. Brouwer supplies with , which is equivalent toThus this polynomial has a root with .
Solved by gpt-5.6-sol high.
Codex Wiki