# Polynomials having a common root with their derivatives

Here is a question someone asked me a couple of years ago. I remember having spent a day or two thinking about it but did not manage to solve it. This may be an open problem, in which case I'd be interested to know the status of it.

Let $f$ be a one variable complex polynomial. Supposing $f$ has a common root with every $f^{(i)},i=1,\ldots,\deg f-1$, does it follow that $f$ is a power of a degree 1 polynomial?

upd: as pointed out by Pedro, this is indeed a conjecture (which makes me feel less badly about not being able to do it). But still the question about its status remains.

-
Is your "with any" a 'there exists' or a 'for all'? –  Mark Jun 11 '10 at 19:24
Mark -- "any" here means "every". –  algori Jun 11 '10 at 20:05
Related question: mathoverflow.net/questions/52006/… –  Felipe Voloch May 14 '11 at 22:30

That is known as the Casas-Alvero conjecture. Check this out, for instance:

http://front.math.ucdavis.edu/0605.5090

Not sure of its current status, though.

-
Thanks, Pedro! –  algori Jun 11 '10 at 20:18
It is still open. –  quim Jun 11 '10 at 21:08

The strongest result in this direction that I've heard of is Sudbery's theorem (which was originally conjectured by Popoviciu and Erdös).

Theorem. Let $P(z)$ be a polynomial of degree $n\geq 2$ and let $\Pi(z)=\prod\limits_{k=0}^{n-1}P^{(k)}(z)$ where $P^{(k)}$ is the $k$th derivative of $P$. Then either $\Pi(z)$ has exactly one distinct root or $\Pi(z)$ has at least $n+1$ distinct roots.

See the original paper by Sudbery.

-
Thanks, Andrey! –  algori Jun 11 '10 at 20:30
You're welcome. –  Andrey Rekalo Jun 11 '10 at 20:31
For those who do not have an access to the journal, there is an AoPS discussion at artofproblemsolving.com/Forum/viewtopic.php?f=67&t=100933 which contains enough information to recover the full proof :) –  fedja May 29 '11 at 0:24
One may also have a look at Rahman/Schmeisser, Analytic Theory of Polynomials, Oxford University Press, 2002, section 7.1 and notes in section 7.4 –  thomashennecke May 27 '14 at 15:35
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.789960503578186, "perplexity": 581.8601252664405}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-27/segments/1435375097710.59/warc/CC-MAIN-20150627031817-00061-ip-10-179-60-89.ec2.internal.warc.gz"}