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

We can always view $\binom{x}{k}$ as a polynomial in $x$ of degree $k$. With this in mind, why is it so that a polynomial $f\in\mathbb{Q}[x]$ is such that $f(n)\in\mathbb{Z}$ for all $n\in\mathbb{Z}$ iff the coefficients of $f$ in terms of the basis $\{\binom{x}{k}\mid k\in\mathbb{N}\}$ are also integers?

I thought it might be useful to note that $0,1,\dots,k-1$ are roots of $\binom{x}{k}$, but I still don't see why such a property would be true. Thanks for an explanation.

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

Since the binomial coefficients for integer $x$ are integers, clearly $f(n)\in\mathbb{Z}$ for all $n\in\mathbb{Z}$ if the coefficients are integers.

For the other direction, assume that not all of the coefficients are integers. Then there is a least coefficient, say the $m$-th, that isn't an integer. Substituting $m$ for $x$ yields an integer coefficient times an integer for $k\lt m$, a non-integer coefficient times $1$ for $k=m$, and $0$ for $k\gt m$. Thus the value at $m$ is not an integer.

share|cite|improve this answer
Thanks, joriki! – megyn Dec 15 '11 at 1:39

Another reason is that the higher-order differences of the values of a polynomial function are eventually zero. Going backwards, one finds an expression for the polynomial in terms of Newton polynomials with coefficients the first element in each row of differences; see

share|cite|improve this answer

Another way to look at it(that is catching the essence of joriky argument that is,working in a triangular matrix): taken a basis of the polynomial in Q with degree less equal than n,coefficient in Z, consider the matrix $ a_{i,j}=p_j(i) $ where j and i vary on $ \{0,..,n\} $ ( $p_j $ is of course one of the element of the basis). Now the vector (f(0),..f(n)),is given by applying that matrix to the vector of coefficient of f,that in general lies in $ {\mathbb{Q}}^{n+1}$, so to be able to deduce that the coefficients are in $ {\mathbb{Z}}^{n+1} $ you need that the inverse of that matrix is still with coefficient in Z,this is equivalent to ask that the determinant of that matrix is 1 or -1. So this is the general criterion,in your case this is evidently true,since you have a triangular matrix with 1 on the diagonal so determinant is 1(and here is the tangency with joriky argument) Bye!

share|cite|improve this answer

Your Answer


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.