1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof of the product of two odd integers

  1. Jun 30, 2010 #1
    Hi Everyone!
    I decided recently to start reading a book that acts as a transition to upper level mathematics. The last section of the chapter introduces you to the different proof techniques and mathematical facts to produce mathematical proofs. I think I understand everything, but I wanted to make sure by sharing my proof for a problem in the book. If anybody can chime in about if it is right or the like, please do so.

    1. The problem statement, all variables and given/known data

    The product of two odd integers is odd.

    2. Relevant equations

    N/A

    3. The attempt at a solution

    Let m and n be two odd integers. We will prove that if m and n are odd integers, then the product of m and n is odd. Since m and n are odd, there exists two integers, i and j, that are an element of Z such that m=2i+1 and n=2j+1. Substituting (2i+1) and (2j+1) into m*n, we produce (2i+1)(2j+1) =>4ij+2j+2i+1 => 2(2ij+j+i)+1, where (2ij+j+1) is an integer. Since (2ij+j+1) is an integer, there exists an integer k that is an element of Z such that (2ij+j+1)=k. By substituting k for (2ij+j+1), we produce 2k+1, which is the definition of an odd number. Therefore, the product of two odd integers is odd.
     
  2. jcsd
  3. Jun 30, 2010 #2

    Dick

    User Avatar
    Science Advisor
    Homework Helper

    Looks fine to me. Though at some point you started substituting (2ij+j+1) for (2ij+j+i). I'm assuming that's just a typo.
     
  4. Jun 30, 2010 #3
    Thank you for the quick response! It was definitely a typo. I just noticed it after reading your response.
     
  5. Jul 1, 2010 #4

    Mark44

    Staff: Mentor

    Also, don't use "implies" - ==> in place of "equals." Implication is used between two statements such that the first being true means that the one following will be true as well.
    Equality is used to indicate that two expressions have the same value.
    m*n = (2i + 1)(2j + 1) = 4ij + 2i + 2j + 1 = 2(2ij + i + j) + 1
     
  6. Jul 3, 2010 #5
    The one suggestion I may have, which is purely stylistic and largely unmathematical, is that you reserve i and j for dealings with complex numbers. In this case I would've used p and q, so that m = 2p + 1 and n = 2q + 1. The reason I say that my suggestion is unmathematical is because once you define something to be something, it doesn't matter what readers may connote with it.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook