Proof using mathematical induction

Click For Summary

Discussion Overview

The discussion centers on proving that the expression n^5 - 5n^3 + 4n is divisible by 120 for every natural number n greater than or equal to 3. Participants explore various methods, including mathematical induction and factorization, while addressing the challenges and nuances involved in the proof.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants verify the base case for n=3 and propose using induction to prove the statement for k+1.
  • One participant expresses difficulty in proving the divisibility of the expression for k+1 and considers the cases for even and odd k.
  • Another participant suggests using factorization, noting that the product of five consecutive natural numbers is divisible by 120.
  • Some participants argue that induction is not necessary to prove the divisibility of five consecutive numbers by 120, citing the presence of factors 2, 3, 4, and 5.
  • Others emphasize that the problem specifically requires an inductive proof, prompting a search for a suitable approach within that framework.
  • One participant points out that the polynomial generated during the induction process has a factor of 5, which may simplify the proof.
  • Several participants discuss the implications of the requirement to use induction, with some suggesting that the proof is straightforward even without it.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the necessity of induction versus alternative methods for proving the divisibility. While some argue that induction is required, others believe that the proof can be established without it.

Contextual Notes

Participants express uncertainty regarding the complexity of using induction multiple times and the challenges of proving divisibility for the polynomial generated. There are also discussions about the implications of even and odd cases in the context of the proof.

Who May Find This Useful

This discussion may be useful for students and educators interested in mathematical induction, divisibility properties, and the exploration of different proof techniques in mathematics.

cdummie
Messages
147
Reaction score
5
Prove that n^5 - 5n^3 + 4n is divisible by 120. for every natural number n greater or equal to 3.

First, i checked if it works for n=3 and it does,

so i could assume it works for some k>=3 so i could write k^5 - 5k^3 + 4k as 120*a a is natural number

so for k+1 i have:

(k+1)^5 - 5(k+1)^3 + 4(k+1)

and after applying Binomial theorem i got:

k^5 - 5k^3 + 4k + 5k^4 + 10k^3 - 5k^2 - 10k =

120a + 5k^4 + 10k^3 - 5k^2 - 10k

so now i only have to prove that 5k^4 + 10k^3 - 5k^2 - 10k is divisible by 120 but the problem is that i don't know how, doing induction again would be too complicated, so i tried to see what happen if k is even and what happens if k is odd number, if it's even i can write it as 2 times some number b but i end up with

80b^4 + 80b^3 - 20b^2 - 20b which is divisible by 20 and that doesn't mean is that is divisible by 120. What can i do, is this good approach?
 
Mathematics news on Phys.org
cdummie said:
Prove that n^5 - 5n^3 + 4n is divisible by 120. for every natural number n greater or equal to 3.

First, i checked if it works for n=3 and it does,

so i could assume it works for some k>=3 so i could write k^5 - 5k^3 + 4k as 120*a a is natural number

so for k+1 i have:

(k+1)^5 - 5(k+1)^3 + 4(k+1)

and after applying Binomial theorem i got:

k^5 - 5k^3 + 4k + 5k^4 + 10k^3 - 5k^2 - 10k =

120a + 5k^4 + 10k^3 - 5k^2 - 10k

so now i only have to prove that 5k^4 + 10k^3 - 5k^2 - 10k is divisible by 120 but the problem is that i don't know how, doing induction again would be too complicated, so i tried to see what happen if k is even and what happens if k is odd number, if it's even i can write it as 2 times some number b but i end up with

80b^4 + 80b^3 - 20b^2 - 20b which is divisible by 20 and that doesn't mean is that is divisible by 120. What can i do, is this good approach?

Re another approach: what about factorisation?
 
PeroK said:
Re another approach: what about factorisation?

I will have product of five consecutive natural numbers which is divisible by 120, but i have to use induction to prove this.
 
cdummie said:
I will have product of five consecutive natural numbers which is divisible by 120, but i have to use induction to prove this.
You don't need induction. 120=2.3.4.5. 5 consecutive positive numbers are divisible by 2, 3, 4, and 5. To clarify about even numbers - there will be 2 even numbers in the string, one of which will be divisible by 4.
 
mathman said:
5 consecutive positive numbers are divisible by 2, 3, 4, and 5.
It would be useful (and maybe even required) for the OP to prove this statement.
 
mathman said:
You don't need induction. 120=2.3.4.5. 5 consecutive positive numbers are divisible by 2, 3, 4, and 5. To clarify about even numbers - there will be 2 even numbers in the string, one of which will be divisible by 4.

OK, i don't need induction to prove this, there are different ways, i know. But the problem statement is such that i have to use induction to prove it, otherwise it doesn't count, so how can i solve it using induction?
 
cdummie said:
OK, i don't need induction to prove this, there are different ways, i know. But the problem statement is such that i have to use induction to prove it, otherwise it doesn't count, so how can i solve it using induction?

You rejected the idea of multiple inductions for no good reason that I can see. If you must use induction, go back to your original approach and work on the second polynomial you generated. It's got a factor of 5, which should make things easier.
 
5k^4+10k^3-5k^2-10k=5(k-1)k(k+1)(k+2). You can work it out from here.
 
  • Like
Likes   Reactions: FactChecker
mathman said:
5k^4+10k^3-5k^2-10k=5(k-1)k(k+1)(k+2). You can work it out from here.
Actually i tried using induction more than once and i ended up with doing induction five times but i solved it, thanks for help.
 
  • #10
maybe technically induction is required, but isn't it obvious that in any sequence of 5 consecutive natural numbers, at least one is divisible by 5, one is divisible by 3 and one is divisible by 4, and another is divisible by 2? bingo. but i guess the point is to practice induction.
 
  • Like
Likes   Reactions: cdummie
  • #11
mathman said:
5k^4+10k^3-5k^2-10k=5(k-1)k(k+1)(k+2). You can work it out from here.
Factoring would also have worked for the first step. n5 - 5n3 + 4n = (n-2)(n-1)n(n+1)(n+2)
 
  • Like
Likes   Reactions: cdummie
  • #12
mathwonk said:
maybe technically induction is required, but isn't it obvious that in any sequence of 5 consecutive natural numbers, at least one is divisible by 5, one is divisible by 3 and one is divisible by 4, and another is divisible by 2? bingo. but i guess the point is to practice induction.
Exactly, that is the point. Practicing mathematical induction.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
8
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K