Proof question from How to Prove It

  • Thread starter Thread starter paridiso
  • Start date Start date
  • Tags Tags
    Proof
AI Thread Summary
To prove that if a < 1/a < b < 1/b then a < -1, it is essential to establish that a must be negative. The inequalities imply that if a is in the interval (0,1) or (-∞,-1), and since b is also constrained between 0 and 1, the relationship a < b leads to contradictions unless both a and b are negative. By analyzing the inequalities, it becomes clear that if both a and b are negative, the signs of the inequalities will switch upon multiplication, confirming the conditions of the proof. Ultimately, the conclusion is that a must indeed be less than -1. The discussion highlights the importance of careful manipulation of inequalities in proofs involving negative numbers.
paridiso
Messages
17
Reaction score
0
proof question from "How to Prove It"

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

I understand intuitively why this is true, but I can't figure out how to prove it. According to the hints at the back of the book it says to prove a < 0, then use to prove a < -1.

When I go through the inequalities I come up with this:

a < 1/b
ab < 1

1/a < b
1 < ab

I know that when you multiply both sides of inequality you have to switch the signs. But if both a and b are negative the signs both switch so I don't really understand how this can be true.
 
Physics news on Phys.org


Just take it one step at a time. If a<1/a then either a is in (0,1) or (-infinity,-1). You can show that, right? Same for b. Now if b is also in (0,1) and a<b can 1/a be less than 1/b?
 


Thanks, I understand it now.
 
I tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Since ##px^9+q## is the factor, then ##x^9=\frac{-q}{p}## will be one of the roots. Let ##f(x)=27x^{18}+bx^9+70##, then: $$27\left(\frac{-q}{p}\right)^2+b\left(\frac{-q}{p}\right)+70=0$$ $$b=27 \frac{q}{p}+70 \frac{p}{q}$$ $$b=\frac{27q^2+70p^2}{pq}$$ From this expression, it looks like there is no greatest value of ##b## because increasing the value of ##p## and ##q## will also increase the value of ##b##. How to find the greatest value of ##b##? Thanks
Back
Top