• Support PF! Buy your school textbooks, materials and every day products via PF Here!

Cancellation property of addition of natural numbers

  • Thread starter zcdfhn
  • Start date
23
0
I have to prove that for all k,m,n [tex]\in[/tex] [tex]N[/tex] that if m+k = n+k, then m=n.

The problem mentions that I must prove this by induction.

I did the base case k = 0: If m+0 = n+0, by identity m=n.

Then I attempt to show that m+1 = n+1 implies m=n, but I am stuck, I don't see how induction can be used to prove this and then next predicate that m+k = n+k implies m=n.

Any help would be greatly appreciated, and thanks in advance.
 

berkeman

Mentor
55,339
5,515
I have to prove that for all k,m,n [tex]\in[/tex] [tex]N[/tex] that if m+k = n+k, then m=n.

The problem mentions that I must prove this by induction.

I did the base case k = 0: If m+0 = n+0, by identity m=n.

Then I attempt to show that m+1 = n+1 implies m=n, but I am stuck, I don't see how induction can be used to prove this and then next predicate that m+k = n+k implies m=n.

Any help would be greatly appreciated, and thanks in advance.
"show that m+1 = n+1 implies m=n"

Can you subtract 1 from both sides? Not sure if that's allowed in this step of the proof. It's less general than subtracting k from both sides of the original question, but not by much...
 

Hurkyl

Staff Emeritus
Science Advisor
Gold Member
14,847
17
The problem mentions that I must prove this by induction.

I did the base case k = 0:
The problem didn't say you had to induct on k, though.

As an aside... doesn't
m+k = n+k implies m = n​
follow straightforwardly from
m+1 = n+1 implies m = n​
?
 

HallsofIvy

Science Advisor
Homework Helper
41,683
865
What is your definition of addition for natural numbers?
 
I just don't get this. This is exactly the problem I have with some of the "proofs" that I am given to construct in textbooks, they are obvious before the fact, and that is a horrible way to teach a concept.

m + k = n + k | -k
m = n

Of course that is true! there is no natural number k so that 3 + k = 4 + k!

I have a mental block or something which prohibits me from learning a method by examples where I don't actually need to use the method to get the desired result!

End-of-rant

k
 
If you're allowed to, use the fact there is an ordering on the natural numbers.
 

lanedance

Homework Helper
3,304
2
i know what you mean kenewbie, i'm struggling with the same issue on analysis proofs... but there in lies the twist, if you can't prove something that appears obvious, how can you prove something less obvious, that probably relies on your obvious friend?

i think its about breaking it right down to what actually is assumed eg. your axioms... and what follows as a logical consequence from those axioms alone. Otherwise seemingly simple assumptions could get swept up in your reasoning without a concrete base for them

probably wrong place to hijack somones question to discuss it, but interested on anyone else's thoughts on this
 
Well, your first example uses k = 0. Your next step you said that your k was 1 greater than your previous value of k, k = k + 1. If you prove that this next step is also true and that this process of getting to the next natural number is valid, then you just proved it, I think. I haven't done much of this kind of problem.
 

HallsofIvy

Science Advisor
Homework Helper
41,683
865
I asked before, what definition of addition are you using? I don't see how you can prove anything about addition of natural numbers without using the basic definition.
 

Related Threads for: Cancellation property of addition of natural numbers

Replies
4
Views
4K
  • Posted
Replies
5
Views
555
Replies
3
Views
418
  • Posted
Replies
13
Views
2K
Replies
1
Views
1K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top