Aquí está el problema:
$$\lim_{x \to \infty} \left(\sqrt{x^2+2x+3} -\sqrt{x^2+3}\right)^x$$
La solución que presenté en la imagen de abajo fue hecha por un Profesor de matemáticas
He intentado resolver este Límite sin utilizar la derivada (L'hospital) y la notación Big O. Aunque consigo la respuesta, no sé si la técnica que estoy utilizando es definitivamente correcta.
Y este es mi método:
$$\begin{align*}\lim_{x \to \infty} \left(\sqrt{x^2+2x+3} -\sqrt{x^2+3}\right)^x&=\lim_{x \to \infty} \left(\frac {2x}{\sqrt{x^2+2x+3} +\sqrt{x^2+3}}\right)^x\\&=\lim_{x \to \infty}\frac{1}{ \left(\frac {\sqrt{x^2+2x+3} +\sqrt{x^2+3}}{2x}\right)^x}\end{align*}$$
Entonces, defino una nueva función aquí
$$y(x)=\sqrt{x^2+2x+3} +\sqrt{x^2+3}-2x-1$$
Tenemos
$$\begin{align*} \lim _{x\to\infty} y(x)&=\lim_{x \to \infty}\sqrt{x^2+2x+3} +\sqrt{x^2+3}-2x-1\\ &=\lim_{x \to \infty}(\sqrt{x^2+2x+3}-(x+1))+(\sqrt{x^2+3}-x)\\ &=\lim_{x \to \infty}\frac{2}{\sqrt{x^2+2x+3}+x+1}+ \lim_{x \to \infty}\frac{3}{\sqrt{x^2+3}+x}\\ &=0. \end{align*}$$
Esto implica que $$\lim_{x \to \infty}\frac{2x}{y(x)+1}\longrightarrow\infty $$
Por lo tanto,
$$\begin{align*} \lim_{x \to \infty}\frac{1}{ \left(\frac {\sqrt{x^2+2x+3} +\sqrt{x^2+3}}{2x}\right)^x}&=\lim_{x \to\infty} \frac{1}{ \left(\frac{y(x)+2x+1}{2x} \right)^x}\\ &=\lim_{x \to\infty} \frac{1}{ \left(1+\frac{y(x)+1}{2x} \right)^x}\\ &=\lim_{x \to \infty}\frac{1}{\left( \left( 1+\frac{1}{\frac{2x}{y(x)+1}}\right)^{\frac{2x}{y(x)+1}}\right)^{\frac{y(x)+1}{2}}}\\ & \end{align*}$$
En este caso, definimos $2$ funciones.
$f(x)=\left( 1+\frac{1}{\frac{2x}{y(x)+1}}\right)^{\frac{2x}{y(x)+1}}$
$g(x)=\frac{y(x)+1}{2}$
Lo deducimos, $\lim {x\to\infty}( f(x))=e>0$ y $\lim {x\to\infty} (g(x))=\frac 12>0$ . Así, $\lim {x\to\infty} \left(f(x)^{g(x)} \right)$ existen y son finitos.
Al final lo conseguimos,
$$\begin{align*} \lim_{x \to \infty}\frac{1}{\left( \left( 1+\frac{1}{\frac{2x}{y(x)+1}}\right)^{\frac{2x}{y(x)+1}}\right)^{\frac{y(x)+1}{2}}}& \\=\frac{1}{\lim_{x \to \infty}\left( \left( \left( 1+\frac{1}{\frac{2x}{y(x)+1}}\right)^{\frac{2x}{y(x)+1}}\right)^{\frac{y(x)+1}{2}}\right)}&\\=\frac{1}{\left(\lim_{x\to\infty} \left(\left( 1+\frac{1}{\frac{2x}{y(x)+1}}\right) \right)^{\frac{2x}{y(x)+1}}\right)^{\left( \lim_{x\to\infty} \frac{y(x)+1}{2}\right)}}&\\ =\frac {1}{e^{\frac12}}=\frac{\sqrt e}{e}.\\&& \end{align*}$$
¿Es correcto el método que utilizo?
Gracias.
1 votos
@DMcMor Gracias por editar mi error $\LaTeX$
1 votos
Sinceramente, tu TeX era bastante bueno. Sólo he alineado las ecuaciones para que sean más fáciles de ver.
0 votos
¿Es quien creo que es el que hizo esa exposición en la pizarra? :g:
0 votos
@The_Sympathizer Nah, no puede ser porque hay bolígrafo azul ;)
1 votos
Yo también soy fan de BlackPenRedPen. (¿o es BlackPenRedPenBluePen?)
0 votos
@TheSimpliFire youtu.be/fMCWdiePpb4 :)
0 votos
@TobyMak He añadido el enlace a mi pregunta :)
0 votos
No tengo suficiente información de Latex para alinear correctamente las últimas líneas. Lo siento
0 votos
@Estudiante busca el entorno align* para LaTeX para obtener información sobre cómo alinear ecuaciones, eso es lo que usé para alinear el resto en mi edición original.
0 votos
@DMcMor Recibí muchas críticas. Por eso tuve que editarlo...
1 votos
$x^y$ es continua cerca de $\left(e,\frac12\right)$ Así que.., $\lim\limits_{x\to\infty}f(x)^{g(x)}=\lim\limits_{x\to\infty}f(x)^{\lim\limits_{x\to\infty}g(x)}$ cuando $\lim\limits_{x\to\infty}f(x)=e$ y $\lim\limits_{x\to\infty}g(x)=\frac12$
0 votos
@robjohn Este es el único punto no riguroso. Como yo lo entiendo?
3 votos
No. Utilizando el hecho de que $x^y$ es continua en este punto, hace que su argumento sea riguroso.
1 votos
La respuesta adecuada depende de los antecedentes disponibles. Utilizando el regla de la cadena tenemos $\mathrm{d}\!\left(x^y\right)=x^y\left(\frac yx\,\mathrm{d}x+\log(x)\,\mathrm{d}y\right)$ Así que en $\left(e,\frac12\right)$ tenemos $\mathrm{d}\!\left(x^y\right)=e^{1/2}\left(\frac 1{2e}\,\mathrm{d}x+\mathrm{d}y\right)$ . Por lo tanto, si $\mathrm{d}x$ y $\mathrm{d}y$ son lo suficientemente pequeños, podemos hacer $\mathrm{d}\!\left(x^y\right)$ tan pequeño como queramos. Esto utiliza la derivada de $x^y$ para demostrar que $x^y$ es continua en $\left(e,\frac12\right)$ .