WOLFRAM NOTEBOOK

WOLFRAM|DEMONSTRATIONS PROJECT

Sendov's Conjecture

Made by Blagovest Sendov circa 1958, this conjecture has eluded proof despite a heated interest among many mathematicians. It states simply that for a polynomial

f(z)=(z-

)(z-

)...(z-

)

with

n≥2

and each root

located inside the closed unit disk

|z|≤1

in the complex plane, it must be the case that every closed disk of radius

centered at a root

will contain a critical point of

. Since the Lucas–Gauss theorem implies that the critical points of

must themselves lie in the unit disk, it seems completely implausible that the conjecture could be false. Yet, at present, it has not been proven for polynomials with real coefficients or for any polynomial whose degree exceeds 8.

Set the degree of the polynomial (i.e., the number of roots) using the popup menu. Initially, the polynomial

f(z)=

-1

is used, so that the roots are the

roots of unity. The roots of

are blue locators; simply drag a root to change its value. The critical points of

(the roots of the derivative) are shown in orange. Sendov's conjecture will be disproved if you can manipulate things in such a way that there is a disk that does not contain an orange point.

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.

I understand and wish to continue anyway »