Lo que es una forma inteligente de mostrar que si $0 \leq x \leq 1$ $x^n \leq x$ por cada $n > 1$ ? ($n \in \mathbb{R}$)
Traté de hacerlo con derivados, pero no he podido mostrar por qué esto es cierto...
Respuestas
¿Demasiados anuncios?Tenga en cuenta que $a \leq b$ $c \geq 0$ implica $ac \leq ab$. Una manera de ver esto: tenemos $(b-a)c \geq 0$, como producto de dos números negativos, por lo tanto $bc \geq ac$.
Ahora, asumiendo $0 \leq x \leq 1$ podemos usar la regla de arriba y encontrar las $x^2 \leq x$. Repita el tiempo necesario: $x^3 \leq x^2$,$x^4 \leq x^3$, y así sucesivamente. Por lo tanto, para cada entero $n \geq 1$ hemos $$ x^n \leq x^{n-1} \leq x^{n-2} \leq \cdots \leq x^2 \leq x \leq 1.\tag*{(1)} $$
Edit: he dejado de leer los comentarios, ya se estaban preguntando acerca de los valores reales de a $n$, no sólo números enteros. Las otras respuestas muestran cómo se aplican las técnicas de cálculo para demostrar el resultado general. Así que voy a ser terco e intentar salvar mi algebraicas solución. Esta no es la solución más fácil.
El siguiente paso es probar el resultado racional de los valores de $n$, utilizando el resultado para los valores enteros de a $n$. Escribir $n = \frac{a}{b}$$a,b\in\mathbb{Z}$$a \geq b \geq 1$. Tenga en cuenta que $x^{\frac{1}{b}} \leq 1$ debe tener, por lo contrario, tendría que $$ x \: = \: \underbrace{x^{\frac{1}{b}}\cdots x^{\frac{1}{b}}}_{b\ \text{times}} \: > \: 1, $$ como producto de la $b$ números reales cada estrictamente mayor que $1$. Esto es una contradicción, por asumimos $x \leq 1$, por lo que se deduce que el $x^{\frac{1}{b}} \leq 1$ mantiene, como se había prometido. Por supuesto, también tenemos $x^{\frac{1}{b}} \geq 0$, no importa que la construcción se utiliza para definir $x^{\frac{1}{b}}$. Por lo tanto, por (1) tenemos $$ x^n = x^{\frac{a}{b}} \leq x^{\frac{a-1}{b}} \leq \cdots \leq x^{\frac{b+1}{b}} \leq x \leq x^{\frac{b-1}{b}} \leq \cdots \leq x^{\frac{2}{b}} \leq x^{\frac{1}{b}} \leq 1.\tag*{(2)} $$ Esto demuestra que la desigualdad de $x^n \leq x$ tiene para todos los racionales $n \geq 1$.
Finalmente, para extender el resultado a todas las $n > 1$, tenemos que usar algo de continuidad. El mapa de $f_x : \mathbb{R}_{>1} \to \mathbb{R}$ $f_x(n) = x^n$ es continua. Ahora vamos a $n\in\mathbb{R}_{>1}$ ser dado. Elegir alguna secuencia $\{m_k\}_{k=1}^\infty$ de los números racionales en $\mathbb{R}_{>1}$ que converge a $n$. Por continuidad tenemos $$ x^n = \lim_{k\to\infty} x^{m_k}. $$ Cada término de esta secuencia se encuentra en el intervalo cerrado $[0,x]$, por lo que el límite debe también estar en ese intervalo. En particular, se ha $x^n \leq x$.