Prove: Inequality of Sums of Square Roots of Positive Reals

  • Thread starter Thread starter Saitama
  • Start date Start date
  • Tags Tags
    Inequality
AI Thread Summary
The discussion focuses on proving the inequality \(\sqrt{a}+\sqrt{b}+\sqrt{c} \geq ab+bc+ca\) for positive real numbers \(a, b, c\) that sum to 3. Participants explore the application of the AM-GM inequality and manipulate the original inequality to facilitate the proof. A key transformation shows that the inequality can be rewritten as \(a^2+b^2+c^2+2(\sqrt{a}+\sqrt{b}+\sqrt{c}) \geq 9\), which is easier to prove using AM-GM. The discussion concludes with a successful proof, demonstrating the validity of the original inequality.
Saitama
Messages
4,244
Reaction score
93

Homework Statement


Let ##a,b,c## be positive real numbers with sum 3. Prove that
\sqrt{a}+\sqrt{b}+\sqrt{c} \geq ab+bc+ca

Homework Equations


AM-GM inequality

The Attempt at a Solution


I don't really know how to start with. We are given ##a+b+c=3##.
Also, ##2(ab+bc+ca)=(a+b+c)^2-(a^2+b^2+c^2)## but this doesn't seem helpful here and I don't see how can I apply the AM-GM inequality here. :(
 
Physics news on Phys.org
Pranav-Arora said:

Homework Statement


Let ##a,b,c## be positive real numbers with sum 3. Prove that
\sqrt{a}+\sqrt{b}+\sqrt{c} \geq ab+bc+ca

Homework Equations


AM-GM inequality


The Attempt at a Solution


I don't really know how to start with. We are given ##a+b+c=3##.
Also, ##2(ab+bc+ca)=(a+b+c)^2-(a^2+b^2+c^2)## but this doesn't seem helpful here and I don't see how can I apply the AM-GM inequality here. :(
I think the general statement of the inequality is ##\forall x_i\in\mathbb{R}_+\cup\{0\} \, \frac{x_1+x_2+\cdots+x_n}{n}\geq\sqrt[n]{x_1x_2\cdots x_n}##.
I had to think about this, but...let's use your hint.

Evaluate ##2x-x^2(3-x^2)##. What does that imply about positive x?
Multiply both sides of the statement you need to prove. See where that gets you. :wink:
 
Mandelbroth said:
I think the general statement of the inequality is ##\forall x_i\in\mathbb{R}_+\cup\{0\} \, \frac{x_1+x_2+\cdots+x_n}{n}\geq\sqrt[n]{x_1x_2\cdots x_n}##.
I had to think about this, but...let's use your hint.

Evaluate ##2x-x^2(3-x^2)##. What does that imply about positive x?
Multiply both sides of the statement you need to prove. See where that gets you. :wink:

Sorry for the late reply but I figured this out later. :smile:

The original inequality (to be proved) can be re-written as
a^2+b^2+c^2+2(\sqrt{a}+\sqrt{b}+\sqrt{c}) \geq 9
This inequality can be easily proved by AM-GM inequality.
a^2+\sqrt{a}+\sqrt{a} \geq 3a
Hence proved.
 
Pranav-Arora said:
Sorry for the late reply but I figured this out later. :smile:

The original inequality (to be proved) can be re-written as
a^2+b^2+c^2+2(\sqrt{a}+\sqrt{b}+\sqrt{c}) \geq 9
This inequality can be easily proved by AM-GM inequality.
a^2+\sqrt{a}+\sqrt{a} \geq 3a
Hence proved.
I didn't think of that.

##\forall x\geq0, \, 2x−x^2(3−x^2)=(x−1)^2x(x+2)\geq0 \implies 2x \geq x^2(3−x^2)##.

If we multiply both sides of the original inequality by 2, we get ##2\sqrt{a}+2\sqrt{b}+2\sqrt{c}\geq 2ab+2bc+2ca = a(b+c)+b(a+c)+c(a+b) = a(3-a)+b(3-b)+c(3-c)##. The proof thus follows as an example of the first inequality by considering the case ##x=\sqrt{\alpha}, \, \alpha\in\{a, b, c\}##.
 

Similar threads

Back
Top