Show by induction that a given polynomial is an integer

[Combinatus]

Homework Statement

Show with mathematical induction that \frac{n^5}{5} + \frac{n^4}{2} + \frac{n^3}{3} - \frac{n}{30} \in {Z} for all n\ge 1.

Homework Equations

Probably.

The Attempt at a Solution

Inductive statement: Q(n): \frac{n^5}{5} + \frac{n^4}{2} + \frac{n^3}{3} - \frac{n}{30} \in {Z}

Q(1): \frac{1}{5} + \frac{1}{2} + \frac{1}{3} - \frac{1}{30} = 1 \in {Z}

Since Q(1) is true, assume that Q(n) is true. Show that Q(n) \Rightarrow Q(n+1).

Q(n+1): \frac{(n+1)^5}{5} + \frac{(n+1)^4}{2} + \frac{(n+1)^3}{3} - \frac{(n+1)}{30} = \frac{(n+1)(6(n+1)^4 + 15(n+1)^3 + 10(n+1)^2 - 1)}{30} = ... =<br /> <br /> \frac{6n^5 + 45n^4 + 130n^3 + 119n}{30} + 6n^2 + 1

I'm not getting anywhere. I tried to assume that Q(n+1) is true and to subsequently show that Q(n+1) \Rightarrow Q(n+2). That attempt yielded no results. I also tried to show this with modular arithmetic, but it made the induction seem redundant. Furthermore, I wasn't successful in using modular arithmetic to show the validity of Q(n+1).

I'm just not sure how to attack this. Help will be greatly appreciated.

Also, hi. :)

 

[Hurkyl]

How have you compared f(n) against f(n+1)? (where I'm using f to denote the function in n you're studying)

 

[Combinatus]

How have you compared f(n) against f(n+1)? (where I'm using f to denote the function in n you're studying)

In my example above: I guess I have not. I have considered to rewrite {Z} as 2k and 2k+1 (k \in {Z}) (or as 2n and 2n+1?) and study the two separate cases of f(n)=2n and f(n)=2n+1 (e.g. two equations rather than f(n) being defined by the corresponding R.H.S.). However, I couldn't think of a mathematically valid reason to use n as a variable, and introducing k as a new variable seems like a bad idea.

Edit: Updated a few instances of P(n) and P(n+1) to Q(n) and Q(n+1), respectively, in the original post.

 

[Tedjn]

When all else fails, just expand and see what you get.

 

[Dick]

Look at f(n+1)-f(n) as Hurkyl suggested. Can you it's an integer?

 

[Combinatus]

Thanks; that worked out. Everything is so easy once you know what to do, surprisingly enough.