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!

Prove that if a < 1/a < b < 1/b then a < -1.

  1. Jan 10, 2015 #1
    Hello again. I recently submitted a thread asking for feedback on a couple of very basic proofs for an exercise from the book "How To Prove It" by Velleman. This is another request for you to help me understand how wrong my proof for a new exercise could be improved.

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


    Exercise 3.2.8. Suppose that a and b are nonzero real numbers. Prove that if a < 1/a < b < 1/b then a < -1.

    2. Relevant equations

    My proof uses three other facts, the first one of which is proven in a previous exercise. The second and third ones I didn't bother proving since I consider them to be rather trivial.
    • ## 0 < a < b \to \frac{1}{b} < \frac{1}{a} ##
    • ## a < 0 \to \frac{1}{a} < 0 ##
    • ## a < 0 \to -a > 0 ##
    I also gave some background on what Velleman has introduced as far as proof techniques go in my previous thread.

    3. The attempt at a solution

    "By the contrapositive of ## 0 < a < b \to \frac{1}{b} < \frac{1}{a} ## we can conclude that ## \frac{1}{a} \le \frac{1}{b} \to a \le 0 \vee b \le a ##. But then since ## b > a ## and ## a \ne 0 ##, it follows that ## a < 0 ##. Now suppose that ## -1 < a < 0 ##. Since ## a < 0 \to \frac{1}{a} < 0 ##, we know that ## \frac{1}{a} < 0 ##. Therefore, ## -\frac{1}{a} > 0 ##. This means that we can multiply both sides of the ## -1 < a ## inequality by ## -\frac{1}{a} ## to obtain ## \frac{1}{a} < -1 ##. However, we assumed that ## -1 < a ##. This would mean that ## \frac{1}{a} < a ##, which is a contradiction. Therefore, it must be the case that ## a \le -1 ##. We can also discard the ## a = -1 ## case because we would arrive at ## a = \frac{1}{a} ##, which is another contradiction. Thus, ## a < -1 ##."
     
  2. jcsd
  3. Jan 10, 2015 #2

    mfb

    User Avatar
    2016 Award

    Staff: Mentor

    I would shorten that part to
    Now suppose that ## -1 < a < 0 ##. Then ##a<0 \Rightarrow \frac{1}{a} < 0 \Rightarrow -\frac{1}{a} > 0##
    but the longer version is not wrong.

    Looks good. You used more things than stated in (2), however:
    a<b and c>0 => ac<bc
    a<b<c => a<c

    For the case -1<a<0 there is a shortcut by using the first "relevant equation" with b=1: ##0 < -a < 1 \Rightarrow \frac{1}{1} < \frac{1}{-a} \Rightarrow -a < \frac{1}{-a} \Rightarrow a > \frac{1}{a}##, contradiction.

    The proof gets easier to read if you make separate parts for the different ranges of a you consider.
     
  4. Jan 10, 2015 #3
    Thanks! I have revised the proof as follows, and it does seem to have gotten clearer to read.
    ---
    Facts used (implicitly or otherwise):
    • ## 0 < a < b \to \frac{1}{b} < \frac{1}{a} ##
    • ## a < 0 \to -a > 0 ##
    • ## (a < b \wedge c > 0) \to ac < bc ##
    • ## a < b < c \to a < c ##
    • ## (-1)\frac{1}{-a} = \frac{1}{a} ##
    • ## (-1)(-1) = 1 ## (Ok, I'm going to stop here lest we get down to the field, distributive and ordering properties of the reals.)
    ---
    From the contrapositive of ## 0 < a < b \to \frac{1}{b} < \frac{1}{a} ## we can conclude that ## \frac{1}{a} \le \frac{1}{b} \to a \le 0 \vee b \le a ##. But then since ## b > a ## and ## a \ne 0 ##, it follows that ## a < 0 ##. This means that ## a ## can fall under one of three cases:
    1. ## -1 < a < 0 ##
    2. ## a = -1 ##
    3. ## a < -1 ##
    Suppose that ## a ## is as in the first case. This implies that ## 0 < -a < 1 ##. From ## 0 < a < b \to \frac{1}{b} < \frac{1}{a} ## with ## b = 1 ## it follows that ## 1 < \frac{1}{-a} ##. Since ## -a < 1 ##, this would also imply that ## -a < \frac{1}{-a} ## and thus that ## a > \frac{1}{a} ##, which is a contradiction.

    Now suppose that ## a = -1 ##. This would mean that ## a = \frac{1}{a} ##, which is again a contradiction.

    Therefore, it must be the case that ## a < -1 ##.
     
    Last edited: Jan 10, 2015
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Prove that if a < 1/a < b < 1/b then a < -1.
Loading...