1. Limited time only! Sign up for a free 30min personal 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!

Homework Help: Analysis Math Questions

  1. Jan 20, 2009 #1
    Prove using the multiplication axioms that if x is not zero, then 1 / (1/x) is equal to x.

    Prove that there is no rational number, p, such that p^2 = 12

    I know for all x there exists x^-1 such that xx^-1 = 1 but i don't know how to use that to prove the first one.

    For the second one, I understand the proof for p^2 = 2 by contradiction by showing that it was not reduced to lowest term because both a and b in a/b turned out to be even, but i can't seem to duplicate the process for 12.
  2. jcsd
  3. Jan 20, 2009 #2
    For the first one, it's a good idea to show that multiplicative inverses are unique, but I don't think you need to (someone else will correct me if I'm wrong).

    Basically, you need to first check that if x =/= 0, then (1/x) =/= 0. You can do this by contradiction. Then you basically apply the multiplicative inverse property to (1/x), and you can do this because you have established (1/x) =/= 0.

    Eh, the duplication process should be the exact same thing. There are a lot of ways to do this since 12 has a few divisors. Suppose (a/b)^2 = 12, then a must be divisible by 12. So let a = 12k.

    EDIT: Actually, it's somewhat important to show that multiplicative inverse are unique. Perhaps the easiest way to do this is by proving that if S is a field and x,y are elements of S with x =/= 0 and xy = 1 for all x,y, then y = x^-1. This follows almost immediately from the axiom.
    Last edited: Jan 20, 2009
  4. Jan 20, 2009 #3
    Thanks a lot. Maybe i'm just stupid, but why is "a" a multiple of 12? (a/b)^2 = 12, so a^2 is certainly a multiple of 12, but i'm not really convinced a is. are you using an axiom? if so which one or ones ? Thanks! ><
  5. Jan 20, 2009 #4
    Hmmm, well a = 12k implies a2 = 144k2 = 12(12k2) so a2 is divisible by 12. Now we can let [tex] k \geq 1 [/tex], so that if a2 is divisible by 12, then a2 = 12(12k2) = (12k)2. Then it's easy to see that the converse holds as well.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook