6 votos

$\left(1+\frac1n\right)^n$ es creciente y acotada sin teorema del binomio.

El título se explica por sí mismo. Tengo que enseñar a mis alumnos esta secuencia para definir el número $e$ pero aún no conocen el teorema del binomio. No hablemos de AM-GM, derivadas, etc.

¿Hay alguna forma de demostrar la monoticidad y la acotación de la secuencia con recursos muy elementales?

0 votos

0 votos

¿y la desigualdad de bernoulli? $(1 + x)^n \ge 1 + nx?$

7voto

Wojowu Puntos 6491

Podemos demostrar la monotonicidad utilizando la desigualdad de Bernoulli: $(1+r)^k>1+kr$ para $r>-1,k\in\Bbb N,k\geq 2$ lo que puede demostrarse fácilmente por inducción en $k$ .

En efecto, supongamos $n>1$ y tomar $n=k,r=-\frac{1}{n^2}$ . La desigualdad nos dice $(1+\frac{1}{n})^n(1-\frac{1}{n})^n=(1-\frac{1}{n^2})^n>(1-\frac{1}{n})$ lo que implica $(1+\frac{1}{n})^n>(1-\frac{1}{n})^{1-n}=(1+\frac{1}{n-1})^{n-1}$ .

Edito: Creo que también he conseguido la acotación. Definir una secuencia auxiliar $(1+\frac{1}{n})^{n+1}$ . Demostraremos que es decreciente. Queremos demostrar $(1+\frac{1}{n})^{n+1}<(1+\frac{1}{n-1})^{n}$ o equivalentemente $(1+\frac{1}{n})^{n}(1+\frac{1}{n})<(1-\frac{1}{n})^{-n}$ , $(1+\frac{1}{n})^{n}(1-\frac{1}{n})^{n}<\frac{1}{1+\frac{1}{n}}$ , $(1-\frac{1}{n^2})^n<\frac{n}{n+1}$ , $(1+\frac{1}{n^2-1})^n>1+\frac{1}{n}$ .

Tenemos por Bernoulli que $(1+\frac{1}{n^2-1})^n>1+\frac{n}{n^2-1}>1+\frac{n}{n^2}>1+\frac{1}{n}$ que es lo que queríamos. (No estoy exactamente seguro de si todas las transiciones aquí son válidos, si algo está mal o poco claro comentario)

Así pues, tenemos $(1+\frac{1}{n})^n<(1+\frac{1}{n})^{n+1}<(1+\frac{1}{1})^{1+1}=4$ . Por tanto, la secuencia está acotada.

1voto

Gregory Grant Puntos 6319

He aquí una demostración que no utiliza el teorema del binomio, pero sí las integrales y la definición de $e$ . Podrías extraer una prueba más elemental de esto comparando simplemente áreas bajo curvas y no mencionando integrales, para obtener tu límite.

Supongamos que $1\leq t\leq 1+\frac1n$ . Entonces $$\frac1{1+\frac1n}\leq\frac1t\leq1$$ Por lo tanto $$\int_1^{1+\frac1n}\frac1{1+\frac1n}dt\leq \int_1^{1+\frac1n}\frac1tdt\leq\int_1^{1+\frac1n}1\cdot dt$$ Por lo tanto $$\frac1{n+1}\leq \ln\left(1+\frac1n\right) \leq \frac 1n$$ Por lo tanto $$e^{1/(n+1)} \leq 1+\frac1n \leq e^{1/n}$$ lo que implica $$e\leq\left(1+\frac1n\right)^{n+1}$$ lo que implica $$\frac{e}{1+\frac1n}\leq \left(1+\frac1n\right)^n$$ lo que implica $$(1+\frac1n)^n\leq e$$ . Por lo tanto $$\frac{e}{1+\frac1n}\leq\left(1+\frac1n\right)^n\leq e$$ el teorema de la compresión implica $\left(1+\frac1n\right)^n\rightarrow e$ .

0 votos

El operador pidió una prueba sin "derivadas, etc", así que dudo que tu respuesta integral sea útil. E incluso con esta violación, su prueba parece demasiado largo para los alumnos.

0 votos

Ok si me doy cuenta de eso, solo pense que el germen de una prueba elemental sin el BT podria ser extraido de esto.

0voto

Roger Hoover Puntos 56

Vale la pena demostrar primero AM-GM, porque da una prueba bastante corta: $$a_n=\left(1+\frac{1}{n}\right)^n\cdot 1\leq \left(\frac{1+n\left(1+\frac{1}{n}\right)}{n+1}\right)^{n+1}=\left(1+\frac{1}{n+1}\right)^{n+1}=a_{n+1}$$ por lo que la secuencia es creciente. Sin embargo: $$ a_{n+1}-a_n \leq \frac{a_n}{(n+1)^2},$$ por tanto, explotando los productos telescópicos: $$ a_n \leq a_1 \prod_{j=2}^{n}\left(1+\frac{1}{j^2}\right)\leq a_1 \prod_{j=2}^{n}\left(\frac{1}{1-\frac{1}{j^2}}\right)=\frac{4n}{n+1}<4. $$

0 votos

Supongo que no te molestas en leer la pregunta. puede que el título sea suficiente para ti. op especifica no invocar am-gm.

0 votos

@abel: Perdón, se me había pasado. Actualizando.

0 votos

@abel: por cierto, al OP no parece disgustarle la comparación integral, así que quizá pueda aceptar también AM-GM como paso previo.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X