Resumen
Esta clase construye el número como el supremo de la sucesión , que nace del interés compuesto: demuestra con el teorema del binomio que la sucesión crece y que no alcanza el valor , y encierra su supremo entre ella y la sucesión decreciente . Demuestra después que es también el supremo de las sumas de los inversos de los factoriales, acota el error de esas sumas, lo que permite calcular con la precisión que se desee, y prueba que es irracional. Por último, define la exponencial natural, la relaciona con la capitalización continua del interés y demuestra la desigualdad , que dice que la recta queda bajo la gráfica de la exponencial.
Objetivos de aprendizaje
- Demostrar que la sucesión es creciente y acotada, y definir el número como su supremo.
- Calcular aproximaciones de mediante la suma de los inversos de los factoriales, con una cota rigurosa del error, y demostrar que es irracional.
- Relacionar la exponencial natural con el interés compuesto y con su capitalización continua, y comparar el efecto de capitalizar con distintas frecuencias.
- Demostrar y aplicar la desigualdad , e interpretarla como la posición de la recta respecto de la gráfica de .
La sucesión del interés compuesto
Un capital de se deposita durante un año a un interés del ciento por ciento anual. Si el interés se paga una sola vez, al final del año, el capital se duplica y vale . Si se paga dos veces, cada semestre con la mitad de la tasa, el interés del primer semestre gana a su vez intereses en el segundo: el capital se multiplica dos veces por y vale . Con cuatro pagos trimestrales vale , algo más de 2,44, y con doce pagos mensuales, algo más de 2,61. En general, si el año se divide en períodos iguales y en cada uno se paga la fracción de la tasa, el capital se multiplica veces por , y al final del año vale
Al aumentar se multiplica más veces, pero por un factor más próximo a , y no es evidente cuál de los dos efectos prevalece: las potencias de valen todas , mientras que las potencias de una base fija mayor que crecen sin cota. Esta sección demuestra que la sucesión crece, pero que sus términos no alcanzan el valor ; su supremo es el número . Las demostraciones se apoyan en el teorema del binomio de la clase sobre la combinatoria y el binomio de Newton, en la desigualdad de Bernoulli, para , demostrada en la clase sobre los axiomas de Peano, y en la completitud de los números reales, enunciada en la clase sobre los conjuntos numéricos.
El crecimiento de la sucesión
Por el teorema del binomio, es una suma de términos. El de índice es , y se escribe como el producto de por factores positivos menores que ; con el convenio de que un producto sin factores vale , la escritura vale también para y :
En esta escritura, aparece solo en los factores , que aumentan con , y en el número de términos, que también aumenta. Los dos efectos empujan en el mismo sentido; esa es la idea del teorema siguiente.
Para todo natural se cumple , es decir, la sucesión es estrictamente creciente.
Se comparan término a término los desarrollos binomiales de y de . La figura representa, para , cada término como un bloque de una columna que comienza en , porque los dos primeros términos valen en todos los casos.
Demostración
Por el teorema del binomio, con e , el término de índice de es . El coeficiente binomial es un producto de factores dividido entre , y cada factor se divide entre uno de los factores del denominador.
El primer cociente vale , y cada uno de los siguientes es , para desde hasta . Sumando los términos se obtiene la escritura de .
La misma escritura, con en lugar de , tiene un término más, el de índice , que es positivo porque todos sus factores lo son.
Para , al aumentar el denominador, disminuye, y el factor aumenta; además, todos los factores son positivos.
Por la monotonía del producto de números positivos, cada término de de índice , si lo hay, es menor que el término del mismo índice de ; los de índices y valen en ambas sumas.
Sumando, no supera la suma de los primeros términos de , a la que todavía falta el término positivo de índice . Por tanto, . En la figura, los términos de la sucesión suben.
Una cota superior
El crecimiento no basta para que la sucesión tenga un supremo: los naturales también crecen. Hace falta una cota superior, y para obtenerla se compara con la suma de los inversos de los factoriales,
que resulta de suprimir en la escritura de todos los factores . Estas sumas tienen interés propio, y la sección siguiente demostrará que se acercan al mismo número que , y mucho más deprisa. El problema propuesto 5 de la clase sobre la combinatoria pedía demostrar que ; el segundo de los lemas siguientes contiene esa cota, con la desigualdad intermedia , que se usará después. El primero compara los factoriales con las potencias de , y es lo que permite acotar por una progresión geométrica.
Para todo natural se cumple , con igualdad solo si o .
Se razona por inducción sobre , con el principio de la clase sobre los axiomas de Peano: al pasar de a , el factorial se multiplica por , que es al menos , mientras que la potencia solo se duplica. La figura compara, para desde hasta , el factorial con la potencia, como dos columnas.
Demostración
Caso base: para ambos miembros valen .
Hipótesis inductiva: supongamos que la desigualdad vale para un natural .
El factorial de es el de multiplicado por , que es al menos ; como todos los factores son positivos, la hipótesis da la desigualdad para .
Por el principio de inducción, la desigualdad vale para todo natural . Si , el factor es al menos , y la desigualdad para es estricta: la igualdad se da en y en , y solo en ellos.
Para todo natural se cumple ; la primera desigualdad es estricta para .
Se acota cada término del desarrollo de por el correspondiente de , y cada término de por uno de una progresión geométrica de razón . La figura compara, para , las tres columnas sobre la base común .
Demostración
Cada factor está entre y ; por tanto, el producto de ellos no supera , y cada término de no supera el término de .
Sumando para desde hasta se obtiene la primera desigualdad. Si , el término de índice tiene el factor , y la desigualdad es estricta.
Por el lema anterior, para todo natural ; al invertir dos números positivos, la desigualdad cambia de sentido.
Separamos el término de índice y acotamos los demás.
Lo resaltado es la suma de términos de una progresión geométrica de primer término y razón , calculada en la clase sobre las sumatorias y las progresiones.
Encadenando ambas desigualdades se obtiene el lema. En la figura, con , la columna geométrica queda a de , y las otras dos, por debajo de ella.
Una sucesión decreciente que la acompaña
Si se eleva la base a un exponente una unidad mayor, se obtiene una segunda sucesión, cuyos términos son mayores que los de la primera, porque se multiplican por un factor mayor que :
Sus primeros términos son , y : bajan. El teorema siguiente lo demuestra en general; la idea es estudiar el cociente de dos términos consecutivos, y la herramienta, la desigualdad de Bernoulli.
Para todo natural se cumple , es decir, la sucesión es estrictamente decreciente.
Basta probar que el cociente es mayor que , porque los términos son positivos. La figura muestra los primeros términos de ambas sucesiones.
Demostración
Escribimos cada base como un cociente, separamos un factor de la potencia del denominador y reunimos las dos potencias de exponente en una sola.
El numerador de la base excede al denominador en , porque .
Por la desigualdad de Bernoulli, con y exponente , la potencia de esa base es al menos .
Sustituimos en el cociente y reducimos a común denominador; la suma vale .
Desarrollamos el numerador y el denominador: el numerador excede al denominador en .
Por tanto, . En la figura, los términos bajan mientras los suben, y cada queda por encima de cada .
El número e
Las dos sucesiones se acercan entre sí, pero no se cruzan: todo término de la primera es menor que todo término de la segunda, aunque sus índices sean distintos.
Para todos los naturales y se cumple .
Se pasa por el índice mayor de los dos: la primera sucesión crece, la segunda decrece, y en cada índice la segunda está por encima de la primera. La figura sigue el caso y .
Demostración
En un mismo índice , el término es multiplicado por , que es mayor que , y es positivo.
Sea el mayor de los naturales y . Como y la sucesión es creciente, su término de índice no supera al de índice .
Como y la sucesión es decreciente, su término de índice no supera al de índice .
Encadenando las tres desigualdades, la del medio estricta, se obtiene el lema. En la figura, con y , el índice mayor es .
De ello se sigue que el conjunto de los términos tiene elementos y está acotado superiormente, por o por cualquier . Por la completitud de los números reales, tiene un supremo, que se designa con la letra .
Definición. El número es el supremo del conjunto de los términos de la sucesión , para natural.
Para todo natural se cumple .
Se usan la definición de supremo como menor cota superior y la monotonía de ambas sucesiones. La figura muestra las dos sucesiones, que se acercan a desde lados opuestos.
Demostración
Por el lema anterior, todo término de la primera sucesión es menor que todo término de la segunda.
Cada es, por tanto, una cota superior del conjunto de los , y el supremo, que es la menor de las cotas superiores, no supera a ninguna.
Como es una cota superior y la sucesión es estrictamente creciente, cada término es menor que el siguiente, que no supera a .
Del mismo modo, como la sucesión es estrictamente decreciente, no supera al término siguiente, que es menor que .
Encadenando ambas desigualdades se obtiene el teorema: es el único número que queda entre todas las y todas las .
Con una calculadora se obtiene que supera a 2,7 y que es menor que 2,8; por tanto, está entre 2,7 y 2,8. El encaje es lento: la distancia entre las dos sucesiones es , que disminuye como el inverso de .
El número vale aproximadamente 2,718281828. Jakob Bernoulli lo encontró en 1683 al estudiar el interés compuesto, y Leonhard Euler, que descubrió buena parte de sus propiedades, lo designó con la letra . Junto con , es una de las dos constantes fundamentales del análisis.
Cargando el contenido…