Reverse AM-GM

Algebra Level 3

Find the smallest positive real number c c such that for all non-negative real numbers x , y x,y , we have x y + c x y x + y 2 . \sqrt{xy}+c|x-y|\ge\frac{x+y}2.


Bonus: Generalize this for n n non-negative real numbers.


The answer is 0.5.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Simon Kaib
Jul 22, 2019

At x = y x=y we have equality independent of c c .

Without loss of generality, let x > y x > y . Then we have: x y + c ( x y ) x + y 2 \sqrt{xy}+c(x-y)\geq\frac{x+y}{2} 2 c ( x y ) x + y 2 x y 2c(x-y)\geq x+y-2\sqrt{xy} 2 c ( x + y ) ( x y ) ( x y ) 2 2c(\sqrt{x}+\sqrt{y})(\sqrt{x}-\sqrt{y})\geq (\sqrt{x}-\sqrt{y})^{2} 2 c ( x y ) ( x + y ) 2c\geq \frac{(\sqrt{x}-\sqrt{y})}{(\sqrt{x}+\sqrt{y})} The RHS can be at most 1 1 , because the denominator is \geq than the numerator with equality at y = 0 y=0 . And thus the minimum of c c is at 2 c = 1 2c=1 and we have a solution of 0.5 \boxed{0.5}

Actually you have flipped the inequality sign

Meet Patel - 1 year, 10 months ago

Log in to reply

Fixed, thanks

Simon Kaib - 1 year, 10 months ago

So this is assuming that x y x\ne y ?

Ruilin Wang - 1 year, 10 months ago

Log in to reply

If x = y , x y = 0 , and x 2 = x = x + x 2 x=y, \ |x-y|=0, \ \text{and} \ \sqrt{x^2}=x=\frac{x+x}{2}

Théo Leblanc - 1 year, 10 months ago

Log in to reply

Yay, thanks!!!

Ruilin Wang - 1 year, 9 months ago

This does not prove that c = 1 / 2 c=1/2 is the minimal value for c c . Indeed you need to show the supremum of your lower bound x y x + y \frac{\sqrt{x}-\sqrt{y}}{ \sqrt{x}+\sqrt{y}} is 1. It is the case by fixing y y and letting x + x\to +\infty .

Théo Leblanc - 1 year, 9 months ago

Log in to reply

Is this enough? If not, could you please explain your point again? In case I misunderstood.

Simon Kaib - 1 year, 9 months ago

Log in to reply

I will give you n example:

Suppose that (it is not true but it is just an example) x y x + y \frac{\sqrt{x}-\sqrt{y}}{ \sqrt{x}+\sqrt{y}} is never bigger than 0.6 0.6 . Therefore, c = 1 / 2 c=1/2 makes the inequality true but it is not optimal, c = 0.3 c=0.3 works too. That is why you need to show that if c c is a little bit smaller than 1 / 2 1/2 , the inequality is not true for all ( x , y ) (x,y) . To do so, proving that the supremum of x y x + y \frac{\sqrt{x}-\sqrt{y}}{ \sqrt{x}+\sqrt{y}} is 1 (ie that x y x + y \frac{\sqrt{x}-\sqrt{y}}{ \sqrt{x}+\sqrt{y}} can be arbitrarily close to 1 1 even if it is always less than 1 1 ) is enough. Indeed if you take c < 1 / 2 c<1/2 , make 1 x y x + y > 1 + c 2 1\geq \frac{\sqrt{x}-\sqrt{y}}{ \sqrt{x}+\sqrt{y}}>\frac{1+c}{2} and the inequality if false.

Théo Leblanc - 1 year, 9 months ago

Log in to reply

@Théo Leblanc Indeed. But I did show that the supremum of the expression is 1 1 by showing that it can not be more than 1 1 and showing that it can be 1 1 . Sorry if I got this wrong.

Simon Kaib - 1 year, 9 months ago

Log in to reply

@Simon Kaib Ha yes... Oups I think I miss yours words "with equality at y=0"... Your solution is perfect, sorry...

I although thought that ( x , y ) > 0 (x,y)>0 that's why I talked about supremum and not maximum, my bad.

Théo Leblanc - 1 year, 9 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...