# Thread:

1. ## Irreducible polynomial

Show that $x^{10}+x^9+x^8+...+x+1$ is irreducible over $Q$ - set of all rational numbers.

2. Originally Posted by Arczi1984
Show that $x^{10}+x^9+x^8+...+x+1$ is irreducible over $Q$ - set of all rational numbers.
By the rational roots theorem the only possilbe roots are $\pm 1$.
but
$P(1)=11$ and
$P(-1)=1$

So the polynomial has no rational roots.

3. Thank You for help I think that I'm too tired because of this I've problems with so easy task

4. Another way to see it is that your polynomial is just $\frac{x^{11}-1}{x-1}$; and the roots of $x^{11}-1$ are the 11-th roots of unity, none of which lie on the real axis except for $x=1$.

5. Being irreducible is a much stronger property than having no roots (in the given field). Having no roots means that there are no linear factors. But for a polynomial to be irreducible it must have no nontrivial factors at all.

As Bruno J. points out, the roots of the given polynomial in the complex field are the complex 11th roots of unity. These can be grouped in complex conjugate pairs to form quadratic factors $x^2 - 2\cos(2k\pi/11)*x + 1$ (for k = 1,2,3,4,5) over the real field. To show that the polynomial is irreducible over the rationals, you would have to show that none of these can be grouped together to form a rational polynomial. I don't know how to do that, but presumably it must involve showing that those cosines are seriously irrational.

6. Originally Posted by Arczi1984
Show that $x^{10}+x^9+x^8+...+x+1$ is irreducible over $Q$ - set of all rational numbers.
$x^{10}+x^9+x^8+...+x+1=\frac{x^{11}-1}{x-1}$
let $t=x-1$
then $\frac{x^{11}-1}{x-1}=\frac{(t+1)^{11}-1}{t}$
then you can use Eisenstein criterion to prove it.
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 16, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9434516429901123, "perplexity_flag": "head"}