2
$\begingroup$

(updated) I'd like to use this property for my research, but it's somewhat messy to prove.

$$\text{For all natural number $x,y$ such that $x+y=n$ and $1

For example, let $x=3, y=7$. Then $y^x = y^3 = 343$ and $x^y = 3^7 = 2187$. Any suggestion on how to prove this?

  • 3
    Is $n$ a positive integer? Is there any bound on $n$? This is not true though. $n=6=2+4$ and $2^4 = 4^2$.2012-02-24
  • 1
    Well that is not really true now is it... $(-4)^2>2^{-4}$ for example. An even better example is $3^2>2^3$... Having said that, if both $x,y>e=2.7818\dots$, then we always have the implication $x.2012-02-24
  • 1
    @Fed: The counterexample I gave still works for(or rather, against) your update.2012-02-24
  • 1
    $x=2,y=3,n=5$ still stands as a counter example.2012-02-24
  • 1
    It is true if $x$ and $y$ are integers and $n \gt 6$2012-02-24

3 Answers 3

9

Lets ask the general question

When does $x hold for real $x,y$?

Taking logarithms, we are asking when $x implies $x\log y, or when $$\frac{x}{\log x}<\frac{y}{\log y}.$$ Notice this is the same as when the function $f(x)=\frac{x}{\log x}$ is increasing. To answer that we look at the derivative, and since

$$f^{'}(x)=\frac{\log(x)-1}{\log^2(x)}$$

we see the derivative is only positive, and that the function is only increasing, when $x>e$. Hence if $x,y>e$ you will have $$x

If $0 and $x,y\neq 1$, then the derivative is actually negative, and we get the opposite $$ 1x^y.$$

5

The claim is false. $1^{10}<10^1$. Even if you exclude the $x=1$ case, $2^3<3^2$.

5

I proved this in the special case $x = 99, y = 100$, here. As others have pointed out, what you really want to hold is the following:

Statement: Let $x, y \in \mathbb{R}$. Then $y > x > e$ implies $x^y > y^x$.

Proof:. Write $y = x + z$, where $z > 0$. Then,

$$\begin{align} x^y > y^x &\iff x^x x^z > y^x \\ &\iff x^z > \left(\frac{x+z}{x} \right)^x \\ &\iff x^z > \left( 1 + \frac{z}{x} \right)^x. \end{align}$$

The right hand side $\left(1 + \frac{z}{x} \right)^x$ is monotone increasing with limit $e^z$. Since the left hand size is strictly greater than $e^z$ (as $x > e$), it follows that the inequality always holds.