Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $f(x) \in \mathbb{Z}[x]$ is such that $f(0)$ and $f(1)$ are odd. How do I show that $f(x)$ has no integer roots?

share|cite|improve this question
up vote 19 down vote accepted

Another proof can be done using the fact that if $f$ has integer coefficients and $a\neq b$ are integers, then $a-b | f(a)-f(b)$. Because $f(0)$ and $f(1)$ are odd, it follows that $f(k)$ is odd for every integer $k$, and therefore no integer can be a root.

share|cite|improve this answer

If $r$ is an integer root and $f(x)=\sum_{k=0}^na_kx^k$, $a_k\in\mathbb Z$ then $\sum_{k=0}^na_kr^k=0$.

  • If $r$ is even, then reducing modulo $2$ we get that $a_0\equiv 0[2]$ hence $f(0)$ is even, which cannot be the case by hypothesis.

  • If $r$ is odd, then $r^k\equiv 1[2]$ for each $k \geqslant 0$ hence $\sum_{k=0}^na_k\equiv 0[2]$. Thus $f(1)=\sum_{k=0}^na_k$ is even, and we get a contradiction.

share|cite|improve this answer
    
Bear with me if I am commenting an answer quite old,but while I can understand your point for $r$ even ,the second case where $r$ is odd is obscure to me.Where does it follow that for $r$ odd we have $ \sum_{k=0}^na_k\equiv 0[2] $ ?Could you give me at least a hint ? – Mr. Y Dec 7 '15 at 21:46
    
@Mr.Y I have edited in order to give details. – Davide Giraudo Dec 8 '15 at 9:02
    
thank you sir ,I am very grateful. – Mr. Y Dec 8 '15 at 9:48

Using the basic properties of congruences you can show easily that for any polynomial $f(x)$ with integer coefficients $$x \equiv y \pmod n \qquad \Rightarrow \qquad f(x) \equiv f(y) \pmod n.$$ See the proof at proofwiki.

In this case for $n=2$ you get:

  • if $x$ is odd, i.e. $x \equiv 1 \pmod 2$, then $f(x)\equiv f(1)\equiv 1\pmod 2$;
  • if $x$ is even, i.e. $x \equiv 0 \pmod 2$, then $f(x)\equiv f(0)\equiv 1\pmod 2$.

In both cases, $f(x)$ is odd integer, hence it is non-zero.

Note that this is basically the same answer as given by Beni Bogosel, but I thought that if you are familiar with congruences, this approach might be more clear for you.

share|cite|improve this answer
1  
Although I am not the OP and this question is 4 years old,I would like to thank you as this answer was really helpfull for me !!(Btw there's a slight typo :in the second case you mean $x$ is even). – Mr. Y Dec 7 '15 at 16:37
    
Thanks for noticing! Corrected now. (It was really an odd typo.) – Martin Sleziak Apr 7 at 7:23

I'm not being very original here, but reducing $x$ modulo 2 in the expression $f(x)$ gives $f(x)\equiv f(x\bmod 2)\pmod 2$. It may be interesting is to note that the result is false for polynomials with rational coefficients that take integer values on $\mathbf Z$, for instance $\frac{x^2-x-2}2$.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.