Composite numbers and divisibility (2 problems)

Click For Summary

Homework Help Overview

The discussion revolves around two mathematical problems involving divisibility and properties of composite numbers. The first problem asks to prove that \( n^3 - n \) is divisible by 6 for natural numbers \( n \), and by 24 for odd natural numbers. The second problem requires showing that if \( n \) is a composite number, it must have a divisor greater than or equal to \( \sqrt{n} \).

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore various methods for proving the divisibility of \( n^3 - n \), including splitting cases for even and odd \( n \), and considering mathematical induction. Some express frustration with their attempts, while others suggest factoring and examining properties of consecutive integers.
  • For the composite number proof, participants discuss the logic behind the statement and question how to express their reasoning mathematically, with some considering proof by contradiction.

Discussion Status

The discussion is active, with participants sharing different approaches and insights. Some have provided hints and suggestions for tackling the problems, while others are still grappling with how to formalize their reasoning. There is no explicit consensus, but several productive lines of inquiry are being explored.

Contextual Notes

Participants note that some methods, such as mathematical induction, may not have been covered in their current coursework, which influences their approach to the problems. Additionally, there is a recognition that the terminology and concepts may vary based on educational background.

Hannisch
Messages
114
Reaction score
0
First of all, I hope this problem is supposed to be here - I'm Swedish and in Sweden "calculus" & "precalculus" are rather odd terms. Anyway..

Homework Statement


Prove that n3 - n is divisible by 6 if n is a natural number, and divisible by 24 if n is an odd natural number.

Homework Equations


The Attempt at a Solution


There were two problems similar to this before this one and I attempted to solve it in the way I solved those (and the way the book solved them, as well), which was to split n into its even case and odd case.

Even case:

n = 2k

(2k)3 - 2k = 8k3 - 2k , which obviously didn't help me much. But, as I'd used earlier for previous exercises, k can either be even or odd. If k is, say, even, k = 2s

8(2s)3 - 2(2s) = 64s3 - 4s .. and I can continue on, but nothing is divisible by 6..

And I've done the same for k = 2s + 1, which also doesn't work out. And I tried the odd case I mentioned earlier (n=2k +1) and that doesn't work out and I'm so close to screaming in frustration it's not even funny..

Homework Statement


Show that if n is a composite number it has a divisor greater than or equal to n½.

Homework Equations

The Attempt at a Solution


My problem is that, yes, I absolutely and completely agree with the statement due to logic, but I've not a clue where to start the proof.. I'm not asking for someone to show me the proof, but a tip as to where to start?
 
Last edited:
Physics news on Phys.org
Try proof by induction

assume true for n=k

Hk: k3-k=6A (A= integer)

so Hk+1=(k+1)3-(k+1)

expand and see if you can use k3-k=6A to show that Hk+1 is 6*something.
 
I wanted to use mathematical induction, but we're not supposed to have learned it yet (I just started a course at university, and we did induction at my previous school).

And so, I tried MI, with the result: 6A + 3k2 + 3k .. divisible by 3, but not by 6.

This problem is behaving very strangely, because at the same time I can plug in numbers and see that it is in fact true x/
 
Make a substitution k=k3-6A, and see what you will come up with. :smile:

6A+3(k3-6A)2+3(k3-6A) ?
 
For the divisible by six, did you try just factoring the expression? Then your subbing in trick (2k+1) will work for the second half.

For your second proof (that a composite number has a factor greater than [tex]\sqrt{n}[/tex], did you try contradiction?
 
Hannisch said:
First of all, I hope this problem is supposed to be here - I'm Swedish and in Sweden "calculus" & "precalculus" are rather odd terms. Anyway..

Homework Statement


Prove that n3 - n is divisible by 6 if n is a natural number, and divisible by 24 if n is an odd natural number.

Homework Equations


The Attempt at a Solution


There were two problems similar to this before this one and I attempted to solve it in the way I solved those (and the way the book solved them, as well), which was to split n into its even case and odd case.

Even case:

n = 2k

(2k)3 - 2k = 8k3 - 2k , which obviously didn't help me much. But, as I'd used earlier for previous exercises, k can either be even or odd. If k is, say, even, k = 2s

8(2s)3 - 2(2s) = 64s3 - 4s .. and I can continue on, but nothing is divisible by 6..

Well, as pointed out by rock.freak667 in some earlier post, Proof of Induction can be used here.

But, if you really want to solve the problem by splitting up into 2 cases, where n is even, and n is odd, you can try to factor. Like this:

Even case:

n = 2k

(2k)3 - 2k = 8k3 - 2k

Notice that the final expression is already divisible by 2, so what's left is to prove that the rest is divisible by 3. And it's done. So,

(2k)3 - 2k = 8k3 - 2k
= 2(4k3 - k)
= 2k(4k2 - 1)
= 2k(2k - 1)(2k + 1)

Look at the final expression, can you see why it's divisible by 6?

Hint:
- Is it divisible by 2? Why?
- Is it divisible by 3? And why?

---------------------------

And for the case where n is odd, you can tackle it in pretty much the same manner. Let's see if you still get suck. :)

---------------------------

Hannisch said:

Homework Statement


Show that if n is a composite number it has a divisor greater than or equal to n½.

Homework Equations

The Attempt at a Solution


My problem is that, yes, I absolutely and completely agree with the statement due to logic, but I've not a clue where to start the proof.. I'm not asking for someone to show me the proof, but a tip as to where to start?

If n is a composite number, then there must exists some number a, and b, such that: n = ab, right? :)

Now, let's do a little bit thinking, can both a, and b be less than n½?
 
Last edited:
I wouldn't use induction.

[itex]n^3- n= n(n^2- 1)= (n-1)n(n+1)[/itex], the product of three consecutive numbers. You should show that, of any three consecutive numbers, at least one must be even and at least one must be a multiple of 3 so their product is a multiple of 6.

If n is odd, then both n-1 and n+1 are even. Further, of two consecutive even numbers, 2k and 2k+2, one is a multiple of 4. (Look at the cases where k is even or odd.)
 
Thanks for that last thing, that's exactly what I needed! :)

And no, both a and b can't be less than n½, because there's no way it could become n. The thing is, I fully understand the logic, that either it's n½ * n½ or a>n½ * b<n½ (or the other way around, obviously).. but I can't get how to put it in mathematical language ..
 
Hannisch said:
Thanks for that last thing, that's exactly what I needed! :)

And no, both a and b can't be less than n½, because there's no way it could become n. The thing is, I fully understand the logic, that either it's n½ * n½ or a>n½ * b<n½ (or the other way around, obviously).. but I can't get how to put it in mathematical language ..

Ok, that's what we call http://en.wikipedia.org/wiki/Proof_by_contradiction" , i.e, you are asked to prove some statement P. Now, you assume that you don't have P (i.e, P is false), and from there, try to find the contradiction.

So, start from assuming that: "that composite number has a divisor greater than or equal to n½" is a false statement. Can you write out the negation of that statement? And then, what happens?
 
Last edited by a moderator:
  • #10
Oh yeah, I'd completely forgotten Proof by Contradicton.. hum. We never focused on it much.

Anyway, I'd say something like:

n=ab, a<n½, b<n½

so, n < n½ * n½, but since it's the same base, n½ * n½ should be n1, and there's our contradiction.

That's at least how I remember proof by contradiction..
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
7
Views
4K
  • · Replies 12 ·
Replies
12
Views
7K
Replies
12
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
3K