Prove P(n,m): m+n=n+m for Natural Numbers

  • Thread starter Thread starter sli10126
  • Start date Start date
  • Tags Tags
    Induction Proof
sli10126
Messages
2
Reaction score
0

Homework Statement


Prove that P(n,m) m+n = n+m for all m,n in natural numbers.


Homework Equations





The Attempt at a Solution


I prove by induction.

Base case: P(0,0) = 0+0 = 0+0.
Inductive step: Let n be an arbitrary natural number. Suppose m+n =n+m. Adding 2 to both sides of the equation gives us m+n+2 = n+m+2.(end of proof)

My question is if this is sufficient enough as a proof. (The instructor hinted us to show P(0,0) first. Then show P(n,0) and then proceed to P(n,m). The hint confuses me.
 
Physics news on Phys.org


sli10126 said:

Homework Statement


Prove that P(n,m) m+n = n+m for all m,n in natural numbers.


Homework Equations





The Attempt at a Solution


I prove by induction.

Base case: P(0,0) = 0+0 = 0+0.
Inductive step: Let n be an arbitrary natural number. Suppose m+n =n+m. Adding 2 to both sides of the equation gives us m+n+2 = n+m+2.(end of proof)

My question is if this is sufficient enough as a proof. (The instructor hinted us to show P(0,0) first. Then show P(n,0) and then proceed to P(n,m). The hint confuses me.
You're OK with your base case, but you need to follow your instructor's suggestion.
Prove by induction on n that n + 0 = 0 + n; i.e., that the statement is true for P(n, 0).
Next, prove by induction on m that n + m = m + n.
 


Would I need to show P(n+1,0) and P(0,m+1) or would P(n,0) and P(m) be sufficient? Because I know that for the inductive step we prove if P(n) then P(n+1).
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top