Prove that x^y > y^x when y>x>e

  • Thread starter viliperi
  • Start date
  • #1
3
0
Hello everybody! I am new here and probably going to visit here pretty often in the future. Sometimes I do not get very clear answer from the lecturers so I hope to get more sensible answers from PF.

Homework Statement



I need to show that x^y > y^x whenever y > x ≥ e.

The Attempt at a Solution




At first I start by multiplying by ln(): y*ln(x) > x*ln(y)

Then I take g(x,y) such that g(x,y) = y*ln(x) - x*ln(y) and 2nd order derivatives and show det(H(g)) < 0 whenever y > x ≥ e

My purpose with this is to show that there are no real local or global critical points in g(x,y) when y > x >= e, and conclude that g(x) = x^y - y^x diverges. I was not told why I can not use Hessian determinant to make this conclusion.

Why I can not use Hessian approach to prove this? What would be the correct way to do it? Can I prove it with induction?
 

Answers and Replies

  • #2
You may let x be fixed and let g(y)=y*ln(x)-x*ln(y).

The first step, you to show that g(x)=0, (say, let y=x)

2nd, g'(y)=ln(x)-x/y, and we have g'(x)=ln(x)-1>0 (since x>3);

3rd, g''(y)=x/y^2>0, so g'(y) is monotonically increasing in y>x>e, and therefore, g'(y)>0 for y>x>e.

and complete the proof.

Good luck.


Hello everybody! I am new here and probably going to visit here pretty often in the future. Sometimes I do not get very clear answer from the lecturers so I hope to get more sensible answers from PF.

Homework Statement



I need to show that x^y > y^x whenever y > x ≥ e.

The Attempt at a Solution




At first I start by multiplying by ln(): y*ln(x) > x*ln(y)

Then I take g(x,y) such that g(x,y) = y*ln(x) - x*ln(y) and 2nd order derivatives and show det(H(g)) < 0 whenever y > x ≥ e

My purpose with this is to show that there are no real local or global critical points in g(x,y) when y > x >= e, and conclude that g(x) = x^y - y^x diverges. I was not told why I can not use Hessian determinant to make this conclusion.

Why I can not use Hessian approach to prove this? What would be the correct way to do it? Can I prove it with induction?
 
  • #3
tiny-tim
Science Advisor
Homework Helper
25,836
251
welcome to pf!

hello viliperi! welcome to pf! :smile:

or you could just put y = kx, and simplify :wink:
 
  • #4
3
0
Thanks for that! I'll try that.

But you agree with my intuition that it is suitable to utilise Hessian approach to this exercise? Is there any other way to conclude that it is always true with given conditions?
 

Related Threads on Prove that x^y > y^x when y>x>e

  • Last Post
Replies
21
Views
1K
  • Last Post
Replies
1
Views
971
  • Last Post
Replies
14
Views
1K
Replies
8
Views
3K
Replies
4
Views
4K
M
  • Last Post
Replies
3
Views
2K
Replies
3
Views
1K
  • Last Post
Replies
4
Views
1K
Replies
1
Views
7K
Replies
7
Views
1K
Top