Proof of Inequality of Square Roots of Two Reals

turophile

Junior Member
Joined
May 22, 2010
Messages
94
I posted this on the Calculus forum, but it's really a pre-calculus problem. I'm still looking for a hint, so I thought I would post it again here.

Prove: If a > b > 0, then sqrt(a) > sqrt(b).

Here's how I've started out:

a > b > 0 ==> sqrt(a)*sqrt(a) > sqrt(b)*sqrt(b) ==> sqrt(a) > b/sqrt(a) = (sqrt(a)*b)/a
a > b > 0 ==> sqrt(a)*sqrt(a) > sqrt(b)*sqrt(b) ==> a/sqrt(b) = (a*sqrt(b))/b > sqrt(b)

So I've got the two ends of the inequality, but I'm not sure how to link up the middle. Any hints?
 
Try this:

If a>b>0\displaystyle a>b>0, then ab>0\displaystyle a-b>0.


or, equivalently, (a+b)(ab)>0\displaystyle (\sqrt{a}+\sqrt{b})(\sqrt{a}-\sqrt{b})>0

Divide both sides by a+b\displaystyle \sqrt{a}+\sqrt{b} and we get:

ab>0\displaystyle \sqrt{a}-\sqrt{b}>0

a>b\displaystyle \sqrt{a}>\sqrt{b}
 
Another way, proof by contradiction.\displaystyle Another \ way, \ proof \ by \ contradiction.

We have if a > b > 0, then prove a > b.\displaystyle We \ have \ if \ a \ > \ b \ > \ 0, \ then \ prove \ \sqrt a \ > \ \sqrt b.

Suppose not, suppose a  b, then a = b or a < b.\displaystyle Suppose \ not, \ suppose \ \sqrt a \ \le \ \sqrt b, \ then \ \sqrt a \ = \ \sqrt b \ or \ \sqrt a \ < \ \sqrt b.

Case 1:\displaystyle Case \ 1:

a = b      aa = ab = b b\displaystyle \sqrt a \ = \ \sqrt b \ \implies \ \sqrt a\sqrt a \ = \ \sqrt a\sqrt b \ = \ \sqrt b \ \sqrt b

Hence, a = b, but a > b, a contradiction.\displaystyle Hence, \ a \ = \ b, \ but \ a \ > \ b, \ a \ contradiction.

Case 2:\displaystyle Case \ 2:

a < b      b > a      bb > a a\displaystyle \sqrt a \ < \ \sqrt b \ \implies \ \sqrt b \ > \ \sqrt a \ \implies \ \sqrt b\sqrt b \ > \ \sqrt a \ \sqrt a

hence, b > a, but b < a, another contradiction.\displaystyle hence, \ b \ > \ a, \ but \ b \ < \ a, \ another \ contradiction.

Ergo, the supposition is false, so a > b > 0      a > b QED.\displaystyle Ergo, \ the \ supposition \ is \ false, \ so \ a \ > \ b \ > \ 0 \ \implies \ \sqrt a \ > \ \sqrt b \ QED.
 
Top