Problem

Source: China TST 1989, problem 3

Tags: Gauss, calculus, derivative, algebra, polynomial, combinatorial geometry, China



Find the greatest $n$ such that $(z+1)^n = z^n + 1$ has all its non-zero roots in the unitary circumference, e.g. $(\alpha+1)^n = \alpha^n + 1, \alpha \neq 0$ implies $|\alpha| = 1.$