¿Cuál es la intuición detrás de la ecuación [matemáticas] 1 + 2 + 3 + \ cdots = – \ tfrac {1} {12} [/ matemáticas]?

(En la misma línea que en ¿Cómo explicaría por qué 0 + 1-2 + 3-4 … equivale a ¼ a un alumno de noveno grado?)

El sentido en el que 1 + 2 + 3 + 4 +… = -1/12 es este:

Primero, considere X = 1 – 1 + 1 – 1 +…. Tenga en cuenta que X + (X desplazado en una posición) = 1 + 0 + 0 + 0 +… = 1. Por lo tanto, en cierto sentido, X + X = 1, y así, en cierto sentido, X = 1/2.

Ahora considere Y = 1 – 2 + 3 – 4 +…. Tenga en cuenta que Y + (Y desplazado en una posición) = 1 – 1 + 1 – 1 +… = X. Por lo tanto, en algún sentido, Y + Y = X, y así, en algún sentido, Y = X / 2 = 1/4.

Finalmente, considere Z = 1 + 2 + 3 + 4 + … Tenga en cuenta que Z – Y = 0 + 4 + 0 + 8 + … = (ceros intercalados con 4 * Z). Así, en cierto sentido, Z – Y = 4Z, y así, en cierto sentido, Z = -Y / 3 = -1/12.

En contextos donde el razonamiento anterior es aplicable a lo que uno quiere llamar suma, tenemos que 1 + 2 + 3 + 4 +… = -1/12. En otros contextos, no lo hacemos.

Eso es. Es así de simple. Todo lo demás que voy a decir es solo para consolar a quienes se sienten incómodos con el juego que acabamos de jugar.

Tenga en cuenta que he dicho “en algún sentido” varias veces en el argumento anterior. Esto se debe a que, si bien todos sabemos cómo sumar y restar una colección finita de números de la manera ordinaria, cuando se trata de sumar y restar una serie infinita de números, hay muchas formas diferentes de interpretar lo que esto debería significar. El solo hecho de sumar muchos números no nos dice automáticamente qué significa agregar una serie infinita de ellos. Y cuando se trata de la suma de series infinitas, resulta que no hay una sola noción agradable de “suma”; Hay muchos diferentes, que son agradables para diferentes propósitos.

Una de esas nociones es “Sigue sumando cosas, una por una, comenzando desde el frente, y mira si los resultados se acercan cada vez más a algún valor en particular; de ser así, ese valor es la suma”. En esa cuenta de lo que significa la suma, claramente no obtendrá ninguna respuesta finita para 1 + 2 + 3 + 4 + …; Como los términos nunca se vuelven más pequeños, las sumas parciales nunca se establecerán en un valor finito (¡y ciertamente no en uno negativo como -1/12!). En cambio, en un sentido natural, deben entenderse como sumando al infinito positivo.

¡Y no hay nada de malo en esto! No te equivocas al sentir que 1 + 2 + 3 + 4 + … es positivo e infinito, y las matemáticas no lo niegan; absolutamente hay una cuenta de suma correspondiente a esta intuición.

Simplemente no es la única cuenta de suma que vale la pena pensar.

En cambio, podríamos considerar otras nociones de “suma”, incluidas las diseñadas precisamente para que argumentos como el que hicimos al principio (¡que son argumentos muy naturales para hacer!) Contaban como formas legítimas de razonar sobre tal “suma”. Y luego, por definición, tendremos que 1 + 2 + 3 + 4 + … = -1/12, en tales cuentas de “suma”.

(Al hacerlo, perderemos ciertas propiedades familiares como “Una suma de términos positivos siempre es positiva”. Pero así es como funcionan las generalizaciones; las generalizaciones a menudo pierden propiedades familiares. Incluso el libro de texto, la cuenta basada en límites de suma infinita pierde propiedades familiares como “El orden de la suma no importa”. Incluso la sumatoria de números enteros pierde la propiedad familiar “Si una suma es cero, también lo son todos los sumandos” del conteo básico. Pero hay una red de semejanzas con las más familiares tipos de resumen que pueden justificar, en ciertos estados de ánimo, pensar en cada una de estas generalizaciones como una forma de resumen en sí).

Si insiste en que “seguir sumando cosas y ver si los resultados se acercan cada vez más a algún valor en particular” es la única explicación de la suma que le interesa, objetará el argumento que dimos al principio, diciendo ” No se le permite hacer ese tipo de cambio y agregarse a sí mismo razonamiento de todos modos, ¡mire qué tonterías produce! “.

Pero puede tener sentido e incluso es fructífero tener sentido en ciertos contextos de las matemáticas, y no hay necesidad de cegarnos a esta idea.

De nuevo, eso es todo. Es así de simple. Todo lo demás que voy a decir es solo para consolar a aquellos que todavía están incómodos. Para aquellos que desean una explicación más sistemática y formal de la suma de series de un tipo que valida la manipulación anterior, siga leyendo:

Podemos verlo de esta manera: podemos tratar de asignar valores a una serie no absolutamente convergente poniendo sus términos en una fuerza inferior a la plena, produciendo una serie absolutamente convergente y luego aumentando las fuerzas de los términos hacia la fuerza completa en el límite, observando también qué sucede con la suma en el límite.

Esta es la idea detrás de la cuenta tradicional de suma de series, tenga en cuenta: en el momento T, incorporamos todos los términos de índice <T con una fuerza del 100% y todos los demás términos con una fuerza del 0%. Esto nos da nuestras sumas parciales, y cuando T llega al infinito, la fuerza de cada término llega al 100%, por lo que podemos considerar las sumas parciales como aproximadas a la suma total.

Pero no tenemos que ser tan discretos como para usar solo el 100% de fuerza y ​​el 0% de fuerza. Podemos intentar incorporar términos más gradualmente. Por ejemplo, en lugar de que las fuerzas disminuyan discretamente del 100% al 0% en algún punto de corte, podemos hacer que las fuerzas decaigan exponencialmente en el índice. (Entonces, en un momento, podemos tener el primer término con una fuerza del 100%, el siguiente término con una fuerza del 50%, el siguiente término con una fuerza del 25%, etc.). Luego consideramos lo que sucede cuando la tasa de disminución exponencial disminuye, acercándose a ninguna disminución.

En símbolos, esto significa que asignamos a una serie [matemática] a_0 + a_1 + a_2… [/ matemática] el límite, a medida que [matemática] b [/ matemática] se acerca [matemática] 1 [/ matemática] desde abajo, de [matemática ] a_0b ^ 0 + a_1b ^ 1 + a_2b ^ 2 +… [/ math]. Dicho de otra manera, el límite, ya que [matemáticas] h [/ matemáticas] va a [matemáticas] 0 [/ matemáticas] desde arriba, de [matemáticas] a_0e ^ {- 0h} + a_1e ^ {- 1h} + a_2e ^ { -2h} +… [/ math], donde [math] e [/ math] es cualquier base fija que te guste. (Tomemos [math] e [/ math] como la base del logaritmo natural por conveniencia, y llamemos a esta función de [math] h [/ math] la función característica de la serie).

Nuevamente, esto no es tan diferente de la cuenta tradicional de la suma de series; solo estamos usando decaimiento exponencial en lugar de un corte brusco en nuestras aproximaciones amortiguadas a la serie completa. (En realidad, para los resultados que nos interesan, lo que realmente interesa es la suavidad de la descomposición. También podríamos usar otras formas de descomposición uniforme y obtener los mismos resultados, pero la descomposición exponencial es muy conveniente, gané No te molestes en debatir en ninguna otra generalidad en este momento)

Ahora hemos convertido la cuestión de determinar el valor de una suma de series en la cuestión de determinar el comportamiento limitante de alguna función en 0.

Bueno, es fácil determinar el comportamiento limitante en 0. Simplemente escriba una serie de Taylor centrada en 0, y elimine todos los términos de grado positivo, dejando solo el término de grado 0. Boom, tiene el valor de la función en 0.

Excepto … supongamos que la serie Taylor también tiene algunos términos de grado negativo. (Como en, digamos, [matemáticas] 5h ^ {- 1} + 3 + 4h ^ 2 [/ matemáticas]). Entonces el comportamiento en 0 no está dado por el término de grado 0; más bien, ¡el comportamiento en 0 es volar hasta el infinito!

Y, de hecho, descubriremos que esto es precisamente lo que sucede cuando observamos la función característica de una serie como 0 + 1 + 2 + 3 + …; obtenemos que [matemáticas] f (h) = 0e ^ {- 0h} + 1e ^ {- 1h} + 2e ^ {- 2h} + 3e ^ {- 3h} +… [/ matemáticas] [matemáticas] = e ^ {-h} / (1 – e ^ {- h}) ^ 2 [/ matemáticas] [matemáticas] = h ^ {- 2} – 1/12 + h ^ 2/240 – h ^ 4/6048 +… [ /matemáticas].

Tenga en cuenta que hay un término de grado negativo allí. Entonces, en un sentido muy familiar, podemos decir que el comportamiento de esta serie es explotar hasta el infinito.

Sin embargo, dado que cada vez que una serie converge en el sentido ordinario, el valor al que converge es el término de grado 0 de esta función característica, es muy tentador y fructífero pensar en el término de grado 0 como la suma, incluso cuando existen esos términos molestos de grado negativo.

Y en este sentido más general, vemos que el valor de 0 + 1 + 2 + 3 + … es ese grado 0 término de f (h): -1/12. [De hecho, podemos entender que el argumento al comienzo de esta publicación describe un cálculo riguroso de este término de grado 0. (Ver https://www.quora.com/Whats-the-… para ver esto en detalle)]

Ahora, puede proponer otras manipulaciones para producir otras respuestas para esta serie de otras maneras, pero esta es una cuenta sistemática particular de suma que conduce a este valor solo y no a otro. [Es decir, para la serie cuyo enésimo término es n. Debo advertir que, en presencia de términos de grados negativos en la función característica, este método es sensible al cambio de índice, por lo que obtendríamos resultados diferentes si, por ejemplo, consideramos que 1, 2, 3, … no son 1º, 2º, 3º,…, términos, sino más bien el 0º, 1º, 2º,…, términos, respectivamente.]

¿Por qué debería importarle esta cuenta particular de sumatoria? Bueno, no tienes que hacerlo; No puedo obligarte a preocuparte por nada. Pero es bastante natural y tiene cierta importancia en las matemáticas. Es, en cierto sentido formal, precisamente el relato de la suma que permite interpretar la suma [matemática] 1 ^ n + 2 ^ n + 3 ^ n + … [/ matemática] para el complejo general [matemática] n [/ matemáticas], produciendo la función zeta de Riemann (de gran importancia en la teoría de números, y cuyo comportamiento (específicamente, la hipótesis de Riemann sobre sus ceros) generalmente se considera uno de los problemas abiertos más importantes en matemáticas). Entonces, ya sabes, hay razones para que algunas personas se preocupen por eso, incluso si no lo haces.

Hay dos formas comunes de dar un valor finito a una suma divergente:

  • Elegir un método diferente de sumatoria
  • Continuación analítica de una función bien elegida

Las “propiedades de suma estándar” no se conservan cuando se trata de suma infinita. Define la suma como una ley en un grupo abeliano, de modo que sea asociativo, conmutativo, pero esto solo se aplica a una suma finita.

  • conmutatividad: 1 + 2 = 2 + 1, y 1 + 2 + 3 = 3 + 2 + 1 = 3 + 1 + 2, etc.
  • asociatividad: (1 + 2) +3 = 1+ (2 + 3), es decir, los paréntesis son inútiles

Luego, cuando habla de 1 + 2 + 3 +…., La forma natural de tratarlo es sumar todos los números en orden, es decir
[matemáticas] S_n = a_0 + a_1 +… + a_n = \ sum_0 ^ n {a_n} [/ matemáticas]
[matemáticas] \ sum a_n: = lim_ {n-> \ infty} S_n [/ matemáticas]
Pero esta es una definición (elección) de su aplicación [math] \ sum [/ math] (acabamos de definir una aplicación sobre un espacio vectorial de secuencias convergentes, pero otra podría haber estado bien).
Al sumar el entero positivo, puede parecer obvio sumar los términos uno por uno. Pero, por ejemplo, cuando suma números positivos y negativos, la elección del orden no es obvia (no puede pasar de [matemáticas] – \ infty [/ matemáticas] a [matemáticas] \ infty [/ matemáticas] …). Por ejemplo de este problema en las series de Fourier, ver el teorema de Fejér)

Por lo tanto, su adición ahora depende del orden del término en su suma (¡no conmutativo!) Si [math] \ sum {a_n} [/ math] existe (es decir, es finito y converge hacia un número real l) pero [math] \ sum {| a_n |} [/ math] no está definido, entonces para cualquier real número, puede encontrar una permutación [matemática] \ sigma [/ matemática] para que [matemática] \ sum {a_ \ sigma (n)} [/ matemática] converja hacia este número. Esto se llama teorema de la serie de Riemann y muestra el problema de la suma infinita: pierde la conmutatividad.
Entonces, por ejemplo, no puede mover todo el término de una suma a la derecha y
(Numberphile hace esto: considere S = 1-1 + 1-1 + 1-1 + …
Ahora agregue un cero a la izquierda: 0 + 1-1 + 1-1 + 1- … Pero movió todos los términos de su suma (los movió todos hacia la izquierda), ¡así que ya no es la misma suma! En particular, no se puede decir que 2S = 1).

Pero dado que dijimos que la suma infinita [matemáticas] \ sigma [/ matemáticas] es una elección, ¿hay alguna otra opción de suma posible? Por supuesto !

  • Resumen de Cesaro:
    [matemática] \ sum ^ {Cesaro} = lin_ {n-> \ infty} \ frac {1} {n} (S_0 + S_1 +… + S_n) [/ math]. Podemos probar que este método de suma es el mismo que [matemática] \ sigma [/ matemática] si [matemática] \ sigma a_n [/ matemática] converge, ¡pero también puede dar un finito para series divergentes! Por ejemplo: [math] \ sum_n (-1) ^ n = 1-1 + 1-1 + 1-1 +…. [/ Math] no está definido; pero [matemática] \ sum_n ^ {Cesaro} (-1) ^ n = \ frac {1} {2} [/ matemática] ¡Encontramos el valor “numberphile” de esta serie!
  • Resumen de Abel: considere [math] f (x) = \ sum {a_n x ^ n} [/ math], y verifique el límite cuando x–> 1
    [matemáticas] \ sum ^ {Abel}: = lin_ {x-> 1} \ sum {a_n x ^ n} [/ matemáticas].
    Ahora considere [matemáticas] 1-2 + 3-4 +… = \ sum {(- 1) ^ {n-1} n} [/ matemáticas] que no está definido en [matemáticas] \ sigma [/ matemáticas]. Pero si haces la suma de Abel: [matemáticas] f (x) = \ sum (-1) ^ {n-1} nx ^ n = -x \ sum (-1) ^ nnx ^ {n-1} [/ matemáticas ] [matemáticas] f (x) = -x \ frac {d} {dx} (\ frac {1} {1 + x} = \ frac {x} {(1 + x) ^ 2} [/ matemáticas] Entonces [matemáticas] \ sum ^ {Abel} 1-2 + 3-4 +…. = \ frac {1} {4} [/ matemáticas]

Estas opciones son buenas, porque si una serie es convergente (en el sentido normal), entonces Cesaro y Abel convergerán hacia el mismo límite. Decimos que son extensiones de la sumatoria.

Del mismo modo, puede definir otro. Deja que T sea tu nueva suma. Tiene que seguir estas 3 propiedades:

  • Regularidad: T da los mismos resultados que la suma clásica [matemática] \ sigma [\ matemática] para la serie donde [matemática] \ sigma [\ matemática] está bien definida (por lo que T es una continuación de [matemática] \ sigma [\ matemáticas])
  • Linealidad: [matemática] T (\ lambda a_n + b_n) = \ lambda T (a_n) + T (b_n) [/ matemática]
  • Estabilidad: puede despegar un número finito del primer término al comienzo de la suma, es decir, para todos los enteros K: [matemáticas] T (a_n) = (a_0 + a_1 +… + a_K + T (a_ {n + K} )[/matemáticas]

Puede verificar que la suma estándar, Cesaro y Abel verifiquen estas 3 propiedades. Sin embargo, no podemos encontrar una suma T que dé un valor finito a 1 + 2 + 3 + 4 + …… (ver [2] para una explicación). En cierto sentido, esta serie diverge demasiado rápido, y necesitamos una herramienta más poderosa para enfrentarla.

Aquí es donde la continuación analítica viene en nuestra ayuda.

  • Un ejemplo sencillo:
    Considere [matemáticas] G (q) = \ sum {q ^ n} [/ matemáticas]. El valor de esta suma es [matemática] \ frac {1} {1-q} [/ matemática] si | q | <1. ¡Pero la función [matemáticas] g (q) = \ frac {1} {1-q} [/ matemáticas] está bien definida para todos los complejos q excepto 1! Entonces, incluso para | q |> 1, puede darle un valor a G. Por ejemplo, [matemática] G (2) = \ sum {2 ^ n} = g (2) = -1 [/ matemática]. Este es el único valor que puede asignar de esta manera. De hecho, supongamos que fyg son dos funciones [matemáticas] C ^ \ infinito [\ matemáticas] definidas sobre algún conjunto compacto. Entonces, si f (q) = g (q) para todos | q | <1, entonces f (q) = g (q) en todas partes.
  • Suma con la función Rieman Zeta:
    Considere: [matemáticas] f (s) = \ sum {\ frac {a_n} {n ^ {s + 1}}} [/ matemáticas] con un número complejo. Está bien definido solo para números complejos con Re (s)> 1. Pero puede encontrar una continuación analítica de esta función para todos los s. Con esta expresión analítica y para [math] a_n = n [/ math] y s = -1, encontrará la famosa función zeta de Riemann, y puede dar el valor [math] -frac {1} {12} [\ math ]

Finalmente, otras dos formas de lidiar con la suma infinita:

  • Serie Euler-MacLaurin:
    [matemáticas] \ sum_n f (n) – \ int_0 ^ {\ infty} f (x) dx = \ frac {1} {2} f (0) – \ frac {1} {12} f ‘(0) + … [/matemáticas].
    Aplíquelo (ilegalmente) con f (x) = x, y obtenga:
    [matemáticas] \ sum_n n – \ int_0 ^ {\ infty} x dx = – \ frac {1} {12} [/ matemáticas].
    Entonces, con este cálculo, la suma [matemática] \ sum_n n [/ matemática] es infinita, pero [matemática] – \ frac {1} {12} [/ matemática] es el resto cuando saca [matemática] \ int_0 ^ {\ infty} x dx [/ math]. Ver [1] para más.
    ¡Es genial porque es la diferencia de energía entre un oscilador de armonía cuántica y uno clásico! (y aparece en el efecto Casimir).
  • Suma Ramanujan

Otras lecturas :
[1] https://terrytao.wordpress.com/2 …, por Terrence Tao (un poco avanzado)

[2] http://www.science4all.org/le-ng …, explicando en detalle cómo definir nuevas sumas infinitas y por qué no puede definir una nueva suma que hará que 1 + 2 + 3 + 4 + … converjan .

Nota: ¿Por qué D = 26 en la teoría de cuerdas?
Porque en la teoría de cuerdas bosónicas, obtienes un término infinito proporcional a:
[matemática] \ grande (1 + \ frac {D-2} {D} (1 + 2 + 3 + 4 +…) \ grande) [/ matemática], donde D es el número de dimensión. Si supone que (1 + 2 + 3 +….) = -1/12, entonces D = 26 hará que este término desaparezca. Pero por otras razones, esta teoría no es válida, y preferimos la teoría de cuerdas supersimétricas, donde D = 10.

Bueno, no intentaré escribir una respuesta matemática completa, ya que no será útil para todos, pero decir lo que quiero en palabras simples es lo que voy a hacer aquí.
Usted está preguntando acerca de la intuición de la ecuación anterior simplemente viendo algunas pruebas falaces, pero inteligentes, pero si lo vio en ‘Numberphile’, le agradaría haberlo creído hasta que alguien me haya dicho sobre la falacia de esto. de mis amigos, aunque nunca estuve totalmente de acuerdo con las pruebas que dan, pero solo porque está escrito en Wikipedia, así que no pensé mucho en eso, excepto pensar semanalmente en este problema, ya que me había fascinado mucho y supongo que todos, incluidos ustedes .
Bien llegando a la respuesta, en Numberphile no nos dijeron sobre el hecho de que la función zeta de Riemann no es la misma para todos los casos, ya que es diferente para enteros pares positivos y diferentes para enteros negativos, que es la razón de esta falacia.
Déjame decirlo en forma matemática,

[matemáticas] \ zeta (-n) = – \ frac {B_ {n + 1}} {n + 1} [/ matemáticas]

para n ≥ 1, por lo que en particular ζ desaparece en los enteros pares negativos porque [math] B_ {m} = 0 [/ math] para todos los m impares distintos de 1. Para enteros positivos impares, no se conoce una expresión tan simple, aunque Se cree que estos valores están relacionados con la teoría K algebraica de los enteros. Bueno, no es necesario entender todo esto en este momento porque solo queremos ver el error en las diversas pruebas. Lo que creo es que todo esto comenzó con la prueba de Euler, pero se volvió mucho más importante en relación con la prueba de Ramanujan, y esa prueba se muestra en uno de los videos de Numberphiles también y ese método incluso se enseña en el nivel secundario de ‘ Shift the Series ‘, pero nunca estoy de acuerdo con ese método porque es bastante lógico que si está cambiando la serie, entonces el último término también se cambie 1 lugar más adelante, lo que significa que no se está tomando en cuenta absolutamente, pero a medida que la serie va a [matemáticas] \ infty [/ math] y si hablamos en contexto de aplicar esa ecuación en nuestras diversas teorías y en varias tecnologías (tal vez en el futuro), entonces nos sentimos bien de que tengamos una respuesta en lugar del infinito, que es el objetivo de los ingenieros pero puro los matemáticos no estarían sentados con solo una respuesta sin conocer la razón matemática detrás de esto. Ese es en realidad el objetivo de los matemáticos puros: “Examinar la belleza del universo para descubrir el patrón detrás de cualquier problema matemático”. Bueno, invito a otros a dar sugerencias, ya que este es uno de los temas controvertidos en matemáticas y todos tienen opiniones diferentes y les doy la bienvenida.
Pero al final para resumir todo, me gustaría concluir diciendo que la función zeta de Riemann no es la misma para todos los casos, ya que está dividida para diferentes dominios, por lo que uno debe tener cuidado al verificar eso.
Por cierto, no solo debes creer lo que ves en esta dimensión en particular, ya que puede ser diferente si miras eso desde otra dimensión, sino que si el resultado es el mismo, entonces YIPPEE tienes razón, de lo contrario estás equivocado. Así que aprende a profundizar en los significados de cada problema matemático.
Espero que ayude a todos !!!! … 🙂

Cuando se trata de números transfinitos, hay muchas opciones que uno podría hacer sobre cómo se construirá el sistema de números después de alcanzar lo que se llama Aleph-Null, también conocido como infinito contable. Piense en los números naturales como los postes de las millas en una carretera larga donde la rampa de entrada “estándar” está en 0, luego tiene una distancia infinita hasta la primera parada de descanso, donde el poste de la milla dice ‘omega’, un símbolo que no debe hacer ‘ No entiendo (todavía) y el odómetro dice “Infinito”, un símbolo que sabes significa aproximadamente “el odómetro ha vuelto a cero tantas veces que has perdido la cuenta y solo recuerdas vagamente que alguna vez HABÍA un comienzo de este viaje sin fin “. Además, se quedó sin gasolina y con gases.

Afortunadamente, hay una parada de descanso Cantor Memorial Rest justo cuando notas la luz roja parpadeante de combustible. ¡Uf! Llegas, compras varios galones infinitos de combustible a un costo de dólares infinitos (afortunadamente estás usando la tarjeta de platino ilimitada de mamá) y vas a la parada de descanso. Después de un viaje eterno al baño para expulsar una cantidad infinita de orina (un subproducto del proceso de descongelación cuando salió de su vehículo), está listo para planificar la próxima etapa de su viaje y mirar el mapa en la pared.

El mapa es complicado. Por ejemplo, la primera salida, Exit Aleph-1, le permite elegir entre aceptar el concepto de elección como axiomático y, er, no hacerlo. Si acepta el Axioma de elección, el mapa muestra muchos caminos por delante, con una infinidad de opciones que conducen a formas muy diferentes de contar. Si optas por otro camino, no puedes elegir dónde terminarás.

Afortunadamente, muchas personas se han adelantado y mapearon el territorio por ti. Algunos caminos mapeados nunca regresan al territorio de los números finitos en los que creció. Otros siguen aumentando para siempre, pero se envuelven en los números finitos negativos si conduce lo suficiente y hace los giros a la derecha. Aunque los números en esta región pueden ser bastante complejos, la idea de volver a su tierra natal de números finitos es atractiva y, por lo tanto, busca un camino que conduzca a algún tipo de número que comprenda.

Un grupo famoso de elecciones fue pionero alrededor de 1735 por un compañero llamado Euler. Siguió una línea de razonamiento que lo llevó a creer que si repetía el viaje infinito que acababa de hacer, incluida una pausa cada vez (las pausas pueden numerarse 1, 2, 3, etc.), y usted elige creer en una especie de la teoría infinita de la tierra redonda, etcétera, de que cuando haya hecho tantas paradas de descanso como haya pasado los postes, se encontrará en un lugar donde si saliera de la autopista infinita y caminara por delante dos tercios más de un furlong , encontrarás la rampa de acceso original al lado de Milepost Zero, donde comenzaste este viaje loco.

Muchas otras personas han agregado Post-Its al resultado oficial. Muchos dicen que Euler tiene razón, esa es una respuesta sensata e incluso conduce al universo físico familiar del que vienes, si vienes de un universo físico de 26 dimensiones.

Vaya, eso no suena como el universo de tu hogar, pero otras notas dicen que está bien, si la mayoría de las dimensiones están enrolladas muy pequeñas como un resorte con bobinas muy apretadas, se verá como en casa para ti. Más o menos. En realidad, no tienen una idea real de cómo saber si es su universo local o no, excepto haciendo experimentos que no pueden hacer, así que … lo que sea.

Otras notas dicen que el resultado de Euler no puede ser un resultado real porque si hubiera tomado otras decisiones, podría haber terminado en cualquier lugar (en lugar de 1/12 de milla antes de la rampa de acceso original a esta carretera infinita). Dicen que el razonamiento involucrado en llegar a su destino (-1/12) es contradictorio y, por lo tanto, no puede ser cierto. (Porque si puedes aceptar la auto-contradicción, puedes llegar a cualquier conclusión que desees llegar, y obviamente es solo una lógica de niña tonta, como Alicia a través del espejo, que claramente sería un mal libro para leer si quieres aprender Razonamiento matemático avanzado en tiempo finito.)

De todos modos, a muchas personas les gusta el resultado de Euler y suena divertido y extraño que la suma de todos los números naturales pueda ser una pequeña fracción negativa fácilmente expresable. Mucha gente respalda el resultado, otros dicen que todo es una locura, no puedes confiar en él porque depende de crear tu propio tipo de lógica a medida que avanzas.

Aún así, el mapa muestra cómo llegar a ese resultado, incluidas las elecciones que tiene que hacer.

Además, hay un gran cartel rojo debajo del mapa que explora el territorio por delante sin un guía experimentado o al menos una guía es increíblemente peligroso.

Las guías están a la venta en la tienda de regalos Cantor Memorial. ¡Que te diviertas! La tienda también vende copias del mapa en la pared, que supuestamente no son copias, sino el mapa real, que ambos pueden llevar consigo en el camino y dejarlo aquí para otras personas que vengan más tarde, siempre que pague el nominal tarifa para dicho mapa. Robarlo lo haría
incorrecto. Nunca hagas eso.

Definitivamente hay una … muy pequeña posibilidad … de que puedas regresar a casa vivo y sano.

¡Buena suerte y conducción segura!

¿Cuál es la suma de los primeros n números naturales?

[matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática] 2 [/ matemática] [matemática] + [/ matemática] [matemática] 3 [/ matemática] [matemática] + [/ matemática] [matemática ] 4 [/ matemática] [matemática] + [/ matemática] [matemática]. [/ Matemática] [matemática]. [/ Matemática] [matemática]. [/ Matemática] [matemática]. [/ Matemática] [matemática]. [/mathfont>[mathfont>.[/maicsoftfont>mathfont>+[/mathfont>[mathfont>n[/mathfont>[mathfont>=[/mathfont>[mathfont>n[/mathfont>[mathfont>([/ matemática] [matemática] n [/ matemática] [matemática] + [/ matemática] [matemática] 1 [/ matemática] [matemática]) [/ matemática] [matemática] / [/ matemática] [matemática] 2 [/ matemática]

puede derivar esta fórmula suponiendo que la suma sea ‘s’.

[matemática] s [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática] 2 [/ matemática] [matemática] + [/ matemática] [matemática ] 3 [/ matemática] [matemática] + [/ matemática] [matemática] 4 [/ matemática] [matemática] + [/ matemática] [matemática] 5 [/ matemática] [matemática] + [/ matemática] [matemática]. [/mathfont>[mathfont>.[/mafont>font>[mathfont>.[/mathfont>[mathfont>.[/mafont>font>[mathfont>.[/mathfont>[mathfont>.[/mathfont>[mathfont>.[/ matemática] [matemática] + [/ matemática] [matemática] n [/ matemática] ecuación 1

[matemática] s [/ matemática] [matemática] = [/ matemática] [matemática] n [/ matemática] [matemática] + [/ matemática] [matemática] ([/ matemática] [matemática] n [/ matemática] [matemática ] – [/ matemática] [matemática] 1 [/ matemática] [matemática]) [/ matemática] [matemática] + [/ matemática] [matemática]. [/ Matemática] [matemática]. [/ Matemática] [matemática]. [/mathfont>[mathfont>.[/mafont>font>[mathicsoft+[/mathfont>[mathfont>3[/mathfont>[mathfont>+[/mathfont>[mathfont>2[/mathfont>[mathfont>+[/ matemáticas] [matemáticas] 1 [/ matemáticas] ecuación 2

(escribiendo en orden inverso)

Al sumar las ecuaciones 1 y 2, obtenemos

[matemática] 2 [/ matemática] [matemática] s [/ matemática] [matemática] = [/ matemática] [matemática] ([/ matemática] [matemática] n [/ matemática] [matemática] + [/ matemática] [matemática ] 1 [/ matemática] [matemática]) [/ matemática] [matemática] + [/ matemática] [matemática] ([/ matemática] [matemática] n [/ matemática] [matemática] + [/ matemática] [matemática] 1 [/mathfont>[mathfont>)[/maTHfont>[mathicsoft.[/mathfont>[mathfont>.[/mathfont>[mathicsoft.[/mathfont>[mathfont>.[/mathfont>[mathfont>.[/ matemáticas] [matemáticas]. [/ matemáticas] [matemáticas]. [/ matemáticas] [matemáticas]. [/ matemáticas] [matemáticas]. [/ matemáticas] [matemáticas]. [/ matemáticas] [matemáticas]. [/ matemáticas] [matemática] + [/ matemática] [matemática] ([/ matemática] [matemática] n [/ matemática] [matemática] + [/ matemática] [matemática] 1 [/ matemática] [matemática]) [/ matemática] (n veces)

[matemática] 2 [/ matemática] [matemática] s [/ matemática] [matemática] = [/ matemática] [matemática] n [/ matemática] [matemática] ∗ [/ matemática] [matemática] ([/ matemática] [matemática ] n [/ matemáticas] [matemáticas] + [/ matemáticas] [matemáticas] 1 [/ matemáticas] [matemáticas]) [/ matemáticas]

[matemática] o [/ matemática] [matemática] r [/ matemática] [matemática], [/ matemática] [matemática] s [/ matemática] [matemática] = [/ matemática] [matemática] n [/ matemática] [matemática ] ([/ matemática] [matemática] n [/ matemática] [matemática] + [/ matemática] [matemática] 1 [/ matemática] [matemática]) [/ matemática] [matemática] / [/ matemática] [matemática] 2 [/matemáticas]

¿Hasta ahora tan bueno?

Pero, ¿y si n tiende a ? ¿Cuál será la suma entonces?

Aunque la serie parece a primera vista no tener ningún valor significativo en absoluto, porque la secuencia de sumas parciales no converge a un límite finito.

pero, puede ser manipulado para obtener un resultado muy sorprendente

y este extraño resultado se usa en muchas áreas de la física, como la teoría de cuerdas.

Puede probarse usando las funciones de Zeta o la suma de Ramanujan, pero aquí hay una prueba simple del resultado.

Prueba:

Dejar,

[matemática] S [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática] 2 [/ matemática] [matemática] + [/ matemática] [matemática ] 3 [/ matemática] [matemática] + [/ matemática] [matemática] 4 [/ matemática] [matemática] + [/ matemática] [matemática]. [/ Matemática] [matemática]. [/ Matemática] [matemática]. [/mathfont>[mathfont>.[/maTHfont>[mathfont>.[/mathfont>[mathicsoft.[/mafont>font>[mathfont>.[/math] (hasta el infinito)

tenemos que encontrar el valor de S

Supongamos

[matemática] S_1 = [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática] 1 [/ matemática] [ matemática] – [/ matemática] [matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática] 1… .. [/ matemática] hasta el infinito

Como puede ver, [math] S_1 [/ math] tiene el valor 1 cuando el número de elementos en serie es impar y tiene el valor 0 cuando el número de elementos en serie es par.

[matemática] 1 [/ matemática] [matemática] −S_1 [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 1 [/ matemática] [ matemática] + [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemáticas] [matemáticas] 1…. [/ Matemáticas] [matemáticas] = S_1 [/ matemáticas]

[matemática] o [/ matemática] [matemática] r [/ matemática] [matemática], S_1 [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática]

[matemática] o [/ matemática] [matemática] r [/ matemática] [matemática], S_1 [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] / [/ matemática] [ matemáticas] 2 [/ matemáticas]

Considerando otras series como

[matemática] S_2 = [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 2 [/ matemática] [matemática] + [/ matemática] [matemática] 3 [/ matemática] [ matemática] – [/ matemática] [matemática] 4 [/ matemática] [matemática] + [/ matemática] [matemática] 5 [/ matemática] [matemática] – [/ matemática] [matemática] 6…. [/ matemática] arriba hasta el infinito

[matemática] 2S_2 [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 2 [/ matemática] [matemática] + [/ matemática] [matemática ] 3 [/ matemáticas] [matemáticas] – [/ matemáticas] [matemáticas] 4 [/ matemáticas] [matemáticas] + [/ matemáticas] [matemáticas] 5 [/ matemáticas] [matemáticas] – [/ matemáticas] [matemáticas] 6 ….[/matemáticas]

[matemática] + [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 2 [/ matemática] [matemática] + [/ matemática] [matemática] 3 [/ matemática] [matemática ] – [/ matemáticas] [matemáticas] 4 [/ matemáticas] [matemáticas] + [/ matemáticas] [matemáticas] 5 [/ matemáticas] [matemáticas] – [/ matemáticas] [matemáticas] 6… .. [/ matemáticas] ( agregando desplazándolo)

[matemática] 2S_2 [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática ] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 1 … [/ Matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] / [/ matemática] [matemática] 2 [/ matemática]

[matemática] o [/ matemática] [matemática] r [/ matemática] [matemática], S_2 [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] / [/ matemática] [ matemáticas] 4 [/ matemáticas]

[matemática] S [/ matemática] [matemática] −S_2 [/ matemática] [matemática] = [/ matemática] [matemática] 1 [/ matemática] [matemática] + [/ matemática] [matemática] 2 [/ matemática] [ matemática] + [/ matemática] [matemática] 3 [/ matemática] [matemática] + [/ matemática] [matemática] 4 [/ matemática] [matemática] + [/ matemática] [matemática] 5… [/ matemática] [matemática ] – [/ matemática] [matemática] ([/ matemática] [matemática] 1 [/ matemática] [matemática] – [/ matemática] [matemática] 2 [/ matemática] [matemática] + [/ matemática] [matemática] 3 [/mathfont>[mathfont>−[/mafont>font>[mathfont>4…..[/maamá[[math]) [/ math] [math] = [/ math] [math] 0 [/ math] [math] + [/ matemática] [matemática] 4 [/ matemática] [matemática] + [/ matemática] [matemática] 8 [/ matemática] [matemática] + [/ matemática] [matemática] 12… [/ matemática]

[matemática] o, S [/ matemática] [matemática] −S_2 [/ matemática] [matemática] = [/ matemática] [matemática] 4 [/ matemática] [matemática] ([/ matemática] [matemática] 1 [/ matemática ] [matemática] + [/ matemática] [matemática] 2 [/ matemática] [matemática] + [/ matemática] [matemática] 3… .. [/ matemática] [matemática]) [/ matemática]

o, [matemática] S [/ matemática] [matemática] – [/ matemática] [matemática] 1 [/ matemática] [matemática] / [/ matemática] [matemática] 4 [/ matemática] [matemática] = [/ matemática] [matemáticas] 4 [/ matemáticas] [matemáticas] S [/ matemáticas]

o [matemática] 3 [/ matemática] [matemática] S [/ matemática] [matemática] = [/ matemática] [matemática] – [/ matemática] [matemática] 1 [/ matemática] [matemática] / [/ matemática] [ matemáticas] 4 [/ matemáticas]

o [matemáticas] S = −1/12 [/ matemáticas]

QED

*** ADVERTENCIA: esta prueba es incorrecta

Este es un teorema maestro de bláster.

Voy a proporcionar un método fácil y sencillo para probar esto. Así que agárrate fuerte y mira a dónde te llevo.

Asumir,

[matemáticas] S_1 = 1-1 + 1-1 + 1-1 + 1-1 + 1-1 +… [/ matemáticas]

Ahora, si te fijas bien, podrás ver que

Si agrega estos números hasta el segundo (par) término, será 0,

Si agrega estos números hasta el tercer término (impar) será 1,

Si agrega estos números hasta el cuarto término (par), será 0,

y así

Entonces, si agrega hasta un número par de términos, será 0, de lo contrario 1.

Como no sabemos si la propiedad par o la propiedad impar serán aplicables para el infinito, simplemente tome el promedio de dos valores.

[matemáticas] S_1 = \ dfrac {0 + 1} {2} = \ frac {1} {2} [/ matemáticas]

Para un método más fácil del primer paso, consulte EDITAR 1.

Ahora, asume

[matemáticas] S_2 = 1-2 + 3-4 + 5-6 + 7-8 +… [/ matemáticas]

Ahora agregue [math] S_2 [/ math] dos veces. [Con el 2do término de la 1ra serie tome el 1er término de la 2da serie , Con el 3er término de la 1ra serie tome el 2do término de la 2da serie , Con el El cuarto término de la primera serie toma el tercer término de la segunda serie , y así sucesivamente]

Esto debería verse así:

[matemáticas] S_2 + S_2 = (1-2 + 3-4 + 5-6 + 7-8 +…) + [/ matemáticas] [matemáticas] (1-2 + 3-4 + 5-6 + 7-8 +…) [/ Matemáticas]

[matemáticas] o, 2S_2 = 1 + (- 2 + 1) + (3-2) + (- 4 + 3) + (5-4) + (- 6 + 5) + (7-8) +… [ /matemáticas]

[matemáticas] o, 2S_2 = 1 + 1-1 + 1-1 + 1-1 + 1-1 + 1-1 + 1-1 …… [/ matemáticas]

[matemáticas] o, 2S_2 = \ frac {1} {2} [/ matemáticas]

[matemáticas] o, S_2 = \ frac {1} {4} [/ matemáticas]

Ahora, asume

[matemáticas] S_3 = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 +… [/ matemáticas]

Ahora, si hacemos lo siguiente, obtendremos una respuesta sorprendente.

[matemáticas] S_3-S_2 [/ matemáticas]

[matemáticas] = (1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + …) – (1-2 + 3-4 + 5-6 + 7-8 + …) [/ matemáticas]

[matemáticas] = 2 + 2 + 4 + 4 + 6 + 6 + 8 + 8 +… [/ matemáticas]

[matemáticas] = 4 + 8 + 12 + 16 +… [/ matemáticas]

[matemáticas] = 4 [1 + 2 + 3 + 4 +…] [/ matemáticas]

[matemáticas] = 4S_3 [/ matemáticas] [recuerde que [matemáticas] S_3 = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 +… [/ matemáticas]]

Entonces,

[matemáticas] S_3-S_2 = 4S_3 [/ matemáticas]

[matemáticas] o, 3S_3 = -S_2 [/ matemáticas]

[matemáticas] o, 3S_3 = – \ frac {1} {4} [/ matemáticas] [recuerde que probamos [matemáticas] S_2 = \ frac {1} {4} [/ matemáticas]]

[matemáticas] o, S_3 = \ frac {1} {3}. (- \ frac {1} {4}) [/ matemáticas]

[matemáticas] o, S_3 = – \ frac {1} {12} [/ matemáticas]

[matemáticas] Entonces, [/ matemáticas]

[matemáticas] 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 +… = – \ frac {1} {12} [/ matemáticas] [Probado]

¿No es fascinante? La suma de números positivos es igual a un número negativo.

Espero que esto ayude y si te gustó, no olvides aplastar ese botón de flecha azul de color.

Editar 1 ::::

Gracias a Manohar Reddy Poreddy por hacerme pensar de nuevo y

Por lo tanto, desarrollé otro método para el primer paso

Echale un vistazo

[matemáticas] S_1 = 1-1 + 1-1 + 1-1 + 1-1 + 1-1 + 1-1 + 1-1 + 1… [/ matemáticas]

[matemáticas] S_1 = 1- (1-1 + 1-1 + 1-1 + 1-1 + 1-1 + 1-1 + 1-1 +….) [/ matemáticas]

[matemáticas] S_1 = 1-S_1 [/ matemáticas]

[matemáticas] 2S_1 = 1 [/ matemáticas]

[matemáticas] S_1 = \ frac {1} {2} [/ matemáticas]

Para decir francamente, esta lógica es mejor.

No significa mucho para mi. Como dijiste correctamente, la suma [matemática] 1 + 2 + 3 +… [/ matemática] diverge. No es igual a [matemáticas] – \ frac {1} {12} [/ matemáticas].

Pero primero, permítanme preguntar, ¿qué significa incluso esta expresión matemática [matemáticas] 1 + 2 + 3 + \ cdots [/ matemáticas]? o [matemáticas] 1+ \ frac {1} {2} + \ frac {1} {4} + \ cdots [/ matemáticas]? La verdad es que, en primer lugar, no son expresiones matemáticas bien formadas, solo las usamos como una abreviatura para otra cosa.

[matemáticas] 1+ \ frac {1} {2} + \ frac {1} {4} + \ cdots [/ matemáticas] generalmente significa [matemáticas] \ sum_ {i = 0} ^ {\ infty} \ frac {1 } {2 ^ i} [/ math] o, aún más precisamente [math] \ lim_ {n \ to \ infty} \ sum_ {i = 0} ^ {n} \ frac {1} {2 ^ i} [/ matemáticas]. Ahora ya conoce la definición matemática exacta de todo lo relacionado. La suma es bastante obvia. El límite [math] \ lim_ {n \ to \ infty} f (n) = L [/ math] si y solo si para todos los [math] \ epsilon> 0 [/ math] reales, existen [math] N \ en \ mathbb N [/ math] tal que [math] | f (n) -L | <\ epsilon [/ math] para todos [math] n> N [/ math]. Ahora, eso es mucho más complicado y detallado que [matemáticas] 1+ \ frac {1} {2} + \ frac {1} {4} + \ cdots [/ matemáticas], ¿verdad? Si. Pero la formulación real también es más precisa y debe entenderse de la misma manera que la taquigrafía.

De acuerdo con esta interpretación convencional de series infinitas, la suma [matemática] 1 + 2 + 3 + \ cdots [/ matemática] no existe. Incluso si lo formulamos de manera similar a la función zeta, como [math] \ lim_ {s \ to -1} \ sum_ {i = 1} ^ {\ infty} \ frac {1} {i ^ s} [/ math] ¡Tampoco existe! Entonces, ¿de dónde viene [matemáticas] – \ frac {1} {12} [/ matemáticas]?

Ok, déjame darte ahora la interpretación exacta que se usa al decir [matemáticas] 1 + 2 + 3 + \ cdots = – \ frac {1} {12} [/ matemáticas]. Es igual a [math] \ zeta (-1) [/ math] Ahora necesitamos definir la función zeta. Comencemos pieza por pieza. Primero, para todos los números reales [matemática] s> 1 [/ matemática], podemos mostrar que [matemática] \ sum_ {i = 1} ^ {\ infty} \ frac {1} {i ^ s} [/ matemática] converge, deje que [math] \ zeta (s) [/ math] sea igual a eso. (Tenga en cuenta que todavía no sabemos nada sobre [math] \ zeta (-1) [/ math]).

Pero no estamos contentos con solo números reales mayores que [math] 1 [/ math], queremos definirlo en un dominio más grande. Resulta que la suma [math] \ sum_ {i = 1} ^ {\ infty} \ frac {1} {i ^ s} [/ math] también converge para cualquier número complejo [math] s [/ math] con parte real más grande que [matemáticas] 1 [/ matemáticas]. La pregunta natural que se debe hacer en ese momento es, si de alguna manera podemos extenderlo a todo el plano complejo. Hay una forma natural de hacer esto, llamada continuación analítica. La idea principal es que hay cierto tipo de funciones en el plano complejo, que son muy agradables (analíticas). es decir, son suaves (infinitamente diferenciables) en cada punto. Todas las funciones comunes como exponencial, trigonométrica o polinomial entran en esta categoría. Ahora resulta que solo hay una función analítica que es igual a la función zeta en los puntos que ya hemos definido (esto no es del todo obvio). Pequeña advertencia, todavía no podemos definirlo para [math] s = 1 [/ math]. Ahora, si llamamos a la función general para que sea [math] \ zeta (s) [/ math] para todos los números complejos [math] s [/ math] excepto [math] 1 [/ math], entonces [math] \ zeta ( -1) [/ math] tiene que ser [math] – \ frac {1} {12} [/ math].

Qué significa eso? Como dije antes, nada terriblemente espectacular. En el contexto particular de la función zeta de Riemann (que tiene propiedades muy hermosas e implicaciones interesantes en la teoría de números, por cierto), significa mucho. Pero fuera de esta área, no está claro por qué deberíamos considerar la suma de poderes a enteros positivos. En general, [matemática] 1 + 2 + 3 + \ cdots = – \ frac {1} {12} [/ matemática] no significa mucho.

PD. Tenemos herramientas para calcular el valor de esta función en cualquier momento, pero eso no significa necesariamente que comprendamos todo al respecto. Por ejemplo, si pudiera determinar si todas las raíces no triviales de esta función tienen una parte real de 1/2, podría ganar un millón de dólares más la fama eterna (debido al hecho de que los matemáticos aún no han resuelto esto).

Solo es cierto si inventa un nuevo campo de las matemáticas (tal vez ya existe), donde puede manipular series infinitas y no convergentes de una manera diferente (no intuitiva). Algo así como cuando Gauss decide ignorar uno de los axiomas euclidianos (que dada una línea y un punto, solo hay una línea que pasa el punto y es paralela a la primera línea) y crea geometría no euclidiana.

La respuesta corta es: si acepta que las series convergen (es decir, la suma conducirá a un número, y no al infinito, ni oscilará entre los valores), entonces sí, esa es su respuesta. PERO no está garantizado que una serie converja, tienes que demostrarlo. Entonces, todas las matemáticas que haces en base a una premisa falsa son solo basura. Si inventa un nuevo campo de las matemáticas donde todas las series convergen, entonces sí, ese resultado es verdadero.

Déjame intentar explicar. Lo primero que debes creer (para obtener ese extraño resultado que publicas) es lo siguiente:

1 – 1 + 1 – 1 + 1 – 1 + 1… .. = 1/2

La demostración de eso es errónea (en las secuencias estándar y la teoría de series). Básicamente crea una nueva serie, con sumas parciales, como:

1, 0, 1, 0, 1, 0,….

Luego, calcula el promedio de esos elementos y muestra que este cálculo converge a 1/2, lo cual es cierto:

1, 1/2, 2/3, 1/2, 3/5,….

Es posible demostrar que esa secuencia converge a 1/2. Pero luego afirma que la serie original (1-1 + 1 …) también converge a ese mismo valor. Solo es cierto SI la serie original converge en primer lugar. Básicamente, esta metodología lo ayuda a encontrar el valor al que convergen las series, pero no le ayuda a verificar SI converge. En realidad, es bastante fácil demostrar que la serie original no converge. Para que converja, todos los valores después de cierto punto deben estar tan cerca de un valor (el valor límite) como desee. Por ejemplo, tome la serie:

1 + 1/2 + 1/4 + 1/8 +….

Converge en 2. Para probarlo, tomemos un rango de error, digamos 0.1. Es posible demostrar que después de 1/16, sin importar cuántos valores decida incluir, la suma siempre será menor que 2, pero mayor que 1.9. De hecho, es cierto para cualquier valor que elija (en lugar de 0.1), y así es como demostramos que las series convergen a 2.

Es muy fácil verificar que esto no representa nuestra primera serie:

1 – 1 + 1 – 1 + 1 – 1 + 1….

Dicen que converge a 1/2. Pero revisemos. Tomemos un rango de 0.1. Es bastante obvio que cada vez que tomamos un número impar de elementos, esa suma será 1, y cada vez que tomemos un número par de elementos, esa suma será 0. Entonces, de hecho, puede tomar cuántos elementos desea, la suma NUNCA estará en el rango [0.4, 0.6]

Solo como alimento para el pensamiento, he leído una paradoja muy interesante usando esta serie 1 – 1 + 1 (en realidad las sumas parciales 1,0,1, …), que es una actualización de la paradoja de Zenón. En la adaptación libre, la paradoja de Zeno afirma que si espera 1 minuto, que 30 segundos, que 15 segundos, y sigue reduciendo a la mitad la cantidad de tiempo que espera, esperará la eternidad, ya que siempre puede reducir a la mitad un poco más. Sabemos que no es cierto y demostró que esperará 2 minutos (es la misma serie que usé anteriormente como ejemplo)

Pero mejorémoslo. Digamos que enciendes las luces. Luego esperas un minuto y lo apagas. Luego espere 30 segundos y vuelva a encenderlo. Entonces espere 15 segundos y apáguelo. Y sigues reduciendo a la mitad los tiempos y enciendes y apagas las luces. Después de 2 minutos, dejarás de encender y apagar las luces. ¿Pero las luces estarán encendidas o apagadas? O con este nuevo resultado, ¿estará a mitad de camino (eso es lo que sugieren estas nuevas matemáticas)?

NO, NO ES (-1/12) !!!!!!

La función Riemann Zeta ……… .. Es algo de lo que la mayoría de nosotros somos conscientes, pero puede ser bastante difícil de entender.

Una de las cosas que la mayoría de nosotros desconocemos es que la definición se refiere a una idea denominada “Continuación analítica” que tiene que ver con los números complejos.

Permítanme comenzar definiendo la función Riemann Zeta:

Pongamos un valor (digamos 2 por ejemplo) y cuando sumamos los recíprocos de cuadrados de todos los números naturales hasta el infinito, obtenemos

Hay una razón bastante buena por la que pi aparece en la imagen (y trataré de explicarlo más adelante)

Esta función se define para s> 1, para la cual converge la serie. Esta función permanece indefinida para los otros valores (incluso para s = -1).

Esta función también se puede escribir así:

Es la función Gamma.

La función se vería así:

Hermosa, ¿no es así? Y observe que hay un final abrupto donde s = 1. El problema aquí es qué sucede si conectamos un valor complejo en lugar de s (la parte real del número complejo es menor que 1).

Su gráfico se vería así:

Vea cómo su extensión lleva a [matemáticas] \ – 1/12 [/ matemáticas] cuando s = -1 ……… ..

Para explicar de una manera más simple, mira esta integral nuevamente:

Permítanme ponerlo de esta manera, para s> 1 la serie es convergente y podríamos derivar la integral suponiendo que la serie es convergente.

Tan pronto como pones s = -1, la serie se vuelve divergente y su forma integral no sería la misma.

Entonces, básicamente, (-1/12) ¡ESTÁ MAL!

A lo que te refieres es a la serie 1 + 2 + 3 + 4 + 5… = [matemáticas] \ frac {-1} {12} [/ matemáticas]

Esto parece paradójico pero es cierto. (parcialmente)

Me inspiró el video de Numberphile.
, échale un vistazo. Comenzaré con algo simple, pero créeme, todo se conecta.


Los números que todos conocen son los números reales (1, 0.2, [matemática] \ sqrt {3} [/ matemática] etc.).

Pero cuando los matemáticos probaron [math] \ sqrt {-3} [/ math], no sabían qué hacer con él, las reglas existentes no estaban hechas para ellos. O en otras palabras, no se definió. Entonces, se definió un nuevo símbolo / número ([matemáticas] \ iota [/ matemáticas]) y salió a la luz una nueva dimensión de números complejos .

Existieron mucho antes de eso, pero ahora habían sido abrazados por los matemáticos.


Ahora, avanzando hacia la serie …
Existe una función en matemáticas, llamada función zeta de Riemann.

Y como todas las funciones tiene un dominio [matemático] s \ in (1, \ infty] [/matemáticas]
para el cual la serie converge a un valor finito. Por ejemplo, [matemáticas] \ zeta (2) = \ frac {\ pi ^ 2} {6} [/ matemáticas]
Para otros valores como [math] \ zeta (2) = 1 + 2 + 3 + 4 … [/ math], la serie se llama Divergente, porque el valor sigue aumentando y parece tender al infinito.
Aquí es cuando comienza a ser un poco intuitivo. Existe una forma de extender el dominio de una función, llamada continuación analítica. Ahora, no entraré en detalles, pero básicamente te da la capacidad de encontrar un valor que ‘represente’ la serie.
Usando eso, o el método utilizado en el otro video por Numberphile; Obtenemos,

[matemáticas] \ zeta (1) \ equiv 1 + 2 + 3 + 4… = \ frac {-1} {12} [/ matemáticas]

Para explicar esto, tengo una teoría.
Matemáticas todavía tiene algunas cosas no definidas por los matemáticos. Al igual que el candidato que todos conocen, el llamado pecado de las matemáticas, [matemática] \ frac {1} {0} [/ matemática] o Infinito. Todavía tienen que desarrollar las matemáticas que funcionan con ellas, y dar la importancia que merece la infame [matemática] \ frac {1} {0} [/ matemática].
Intuitivamente, el valor de la serie 1 + 2 + 3 +4 … parece ser infinito. Pero las matemáticas son diferentes.
Yo digo, ¿por qué no ambos ?
Así como la adición de la dimensión de números complejos transformó el Sistema de números en un plano bidimensional [ permitiendo que un número tenga una parte compleja y una parte real ] una tercera dimensión, que consiste en el infinito permitiría que la serie tenga una parte real [ matemáticas] (\ frac {-1} {12}) [/ matemáticas] y parte infinito.
Con esto, el sistema numérico actual se transformaría en un espacio 3D; Esto se combinaría perfectamente con el modelo actual (como los números complejos) pero nos daría la capacidad de explicar valores como [math] \ frac {1} {0} [/ math] o la suma de series divergentes.


Gracias por leer hasta el final.
* Todo lo que he dicho en esta publicación es un hecho bien conocido y probado hasta la línea “Para explicar esto, tengo una teoría”.

Cuando escuché por primera vez sobre este cálculo de un profesor de ciencias, pensé que era una broma divertida del 1 de abril. Finalmente me di cuenta de que hablaba en serio.

La mayoría de las personas entiende que el tiempo es crucial: usted cambia el tiempo y, con otras cosas iguales, podría obtener resultados muy diferentes. Ese es un efecto no lineal común. Es por eso que no puede mover una onda (o una serie de números) medio ciclo hacia adelante o hacia atrás, luego espere que la suma le dé el mismo resultado.

La aplicación de principios lineales a operaciones no lineales es un error común que cometen las personas. El sentido común es que no agrega una manzana y una tabla juntas en general. Eso es fácil de ver. Sin embargo, es más difícil aplicar ese principio en el pensamiento abstracto, a menos que hayan adquirido tal poder mental.

Desafortunadamente, muchas personas aplican lógicas lineales al mundo cada vez más complejo y en gran medida no lineal. Se pierden la belleza y a menudo se confunden. Los conceptos modernos de matemáticas y ciencias deben enseñarse en la escuela primaria para que los estudiantes desarrollen un poder de pensamiento abstracto no lineal. Conocí a un estudiante que aprendió fractales en su escuela primaria en Australia (probablemente en una escuela privada).

Las matemáticas y las ciencias son herramientas de pensamiento abstracto para comprender el mundo, apreciar la belleza y abordar problemas filosóficos, como Isaac Newton entendió hace cientos de años. Un maestro promedio puede tener más “experiencia” o “conocimiento” que las grandes mentes como Isaac Newton, Ludwig van Beethoven, Leonardo da Vinci, pero rara vez piensan como las grandes mentes.

En mis experimentos, a los estudiantes de primaria (incluso estudiantes de 1er grado) les encantaba aprender sobre Yin y Yang, fractales, agujeros negros, toros, integrados en sus actividades básicas de idioma mandarín. Ciertamente no lo entendieron todo, pero estaban emocionados de ver que estaban conectados. Eso hizo que aprender mandarín fuera más fácil y divertido. Se trata de pensar.

Los hábitos de pensamiento lineal son como una parte de nuestro ADN intelectual. Hábitos de pensamiento no lineal también. A diferencia de nuestros ADN biológicos que la Naturaleza ha cultivado durante millones de años (vea el libro: Su pez interior ), necesitamos elaborar individualmente nuestros ADN intelectuales. El aprendizaje no se trata tanto del conocimiento, sino de cómo pensamos y cómo aprendemos a pensar en niveles abstractos más altos.

Phil Plait, entre otros, discute esto en su blog. Su artículo es un poco más interesante ya que inicialmente se enamoró de él antes de ser golpeado con un palo de pista.

La respuesta corta es que, por supuesto, no es igual a -1/12. La respuesta larga es porque, como han señalado otros, agregar secuencias infinitas es diferente de agregar un número finito de valores finitos.

Blog: Seguimiento: la serie Infinite y el resultado alucinante

Por cierto, como seguimiento a los problemas de normalización en física cuántica. Suena como un truco y originalmente fue tratado como un truco, pero un análisis cuidadoso realizado por matemáticos mostró que es un caso legítimo de infinitos que coinciden y se cancelan entre sí. Resulta que mucha física parece estar basada en matemática sombría si la analizas con detenimiento, pero si profundizaste aún más, el enfoque habitual es válido. Lo cual es una lástima, en cierto modo, ya que eso significa que no podemos sacar a un conejo de un sombrero explotando algunas condiciones de borde realmente extrañas.

Cuando se trata de este tipo de sumas infinitas, debe tener cuidado con sus palabras.

Si tiene una serie infinita que converge, por ejemplo:
[matemáticas] \ sum \ frac {1} {n ^ 2} = \ frac {\ pi ^ 2} {6} [/ matemáticas]
Podemos decir que la suma es igual al valor límite.

Una suma como
[matemáticas] \ sum n [/ matemáticas]
no converge En este punto, se vuelve indefinido, ambiguo, ¿esta suma tiene un valor, es un valor único, podemos incluso decir algo al respecto?

No estoy realmente seguro de cómo los matemáticos manejan este tipo de cosas, sin embargo, a veces (a menudo), obtenemos expresiones infinitas en la teoría cuántica de campos. Como queremos una respuesta buena y finita al final de la línea, necesitamos desarrollar una forma de lidiar con estos infinitos.

Eso se llama regularización. Hay muchas formas de hacerlo, e incluso pueden proporcionar diferentes respuestas, aunque todas deberían dar el mismo resultado final. El esquema de regularización que elija es una opción, pero al final de la línea, su elección no debería afectar el resultado.

Hay muchas ‘pruebas’ de esta ‘igualdad’ en Internet, algunas de ellas no son estrictamente ciertas, pero algunas muestran lo que sucede. La forma en que lo aprendí, la suma no es estrictamente igual a [matemáticas] \ frac {-1} {12} [/ matemáticas] sino:
[matemáticas] \ sum n = \ frac {-1} {12} + \ frac {1} {\ epsilon} + O (\ epsilon). [/ math]
Donde necesita tomar el límite de [math] \ epsilon \ rightarrow 0 [/ math].

El RHS contiene tres términos, el primero es ese cociente negativo que ves en todas partes. El segundo término es un término [matemático] \ frac {1} {\ epsilon} [/ matemático] y explotará cuando tome el límite. El último término [math] O (\ epsilon) [/ math] simplemente indica que hay otros términos en esta ecuación, pero todos se escalan como [math] \ epsilon [/ math] a un poder positivo, estos serán cero en El límite y puede ser ignorado.

Ahora hemos regularizado esta suma: encontramos la forma “exacta” en que esta suma llega al infinito (es decir, como [math] \ frac {1} {\ epsilon} [/ math]). En física, esto significa que necesitamos encontrar otros términos que van al infinito de la misma manera, si luego los restas, sabes que has restado dos infinitos que son igualmente grandes (si eso tiene sentido), y el final El resultado sería algún resto finito.

En el ejemplo de la suma infinita, simplemente ignoras el término [math] \ frac {1} {\ epsilon} [/ math], actúas como si no existiera y simplemente le das a la suma el valor finito [ matemáticas] \ frac {-1} {12} [/ matemáticas].

Entonces, estrictamente hablando, este valor no es igual a la suma. Pero puede desarrollar un método para lidiar con el infinito de la suma, y ​​en un ejemplo particular, el resto finito es que [math] \ frac {-1} {12} [/ math].

En la teoría del campo cuántico, te encuentras con infinitos todo el tiempo, y aunque parece muy extraño al principio, resulta que tratar con ellos de esta manera (descubrir cómo van al infinito) te permite resolver este problema. Y, finalmente, dar resultados que se corresponden con las cosas medidas en la realidad.

Vea que hay algunas preguntas que son bastante desafiantes o que requieren un amplio conocimiento en matemáticas (o incluso física a veces), pero sabe cuál es la respuesta, al usar su pequeño cerebro lógico analítico de 3 libras, no puede deducir cómo lo obtuvo, pero aún así están convencidos de que es la respuesta correcta …

Puede haber algo entre el infinito positivo y el infinito negativo que no conocemos, pero algo allí crea estas locas teorías increíbles …

Por ejemplo, le preguntas a un alumno de sexto o séptimo grado y le preguntas “Dime cuál es la raíz cuadrada del negativo 1”. Él / Ella responderá que la idea es absurda (a menos que él / ella sea tonto, entonces ellos simplemente mirarán a nosotros torpemente hasta que nos alejamos de allí.) De manera similar, tendemos a pensar que esto no es posible, porque creemos que sabemos todo sobre las matemáticas …

Lo que sabemos sobre las matemáticas se encuentra justo entre el infinito negativo y el infinito positivo y también los números complejos. No sabes dónde se encuentran estos números complejos entre estos números, pero aún así reconoces su presencia, porque se ha demostrado.

Si crees que existen, ¿por qué no puedes creer en esta prueba?

Muchas personas se enojan cuando alguien dice que [matemáticas] 1 + 2 + 3 + 4 + \ ldots = -1/12 [/ matemáticas]. No soy una de esas personas, pero creo que si comienzas a hacer un reclamo como este, debes tener muy claro en tu mente lo que quieres decir.

Por lo general, cuando define una suma infinita de elementos [matemática] a_n [/ matemática] la define como:

[matemáticas] \ sum_ {n = 1} ^ \ infty a_n = \ lim_ {N \ rightarrow \ infty} \ sum_ {n = 1} ^ N a_n [/ math]

Si el límite existe y tiene un valor finito, decimos que la suma infinita converge , y decimos que es igual a dicho límite. Así, por ejemplo:

[matemáticas] \ sum_ {n = 1} ^ \ infty \ frac {1} {2 ^ n} = \ lim_ {N \ rightarrow \ infty} 1 – 2 ^ {- N} = 1 [/ math]

Sin embargo, hay un montón de sumas infinitas que divergen , y normalmente no les asignamos un valor. Un ejemplo de esto:

[matemática] \ sum_ {n = 1} ^ \ infty 1 = \ lim_ {N \ rightarrow \ infty} N \ text {no existe.} [/ math]

También se puede verificar que:

[matemáticas] 1 + 2 + 3 + 4 + \ ldots = \ sum_ {n = 1} ^ \ infty n [/ matemáticas]
[math] = \ lim_ {N \ rightarrow \ infty} \ sum_ {n = 1} ^ N n [/ math]
[math] = \ lim_ {N \ rightarrow \ infty} \ frac {N (N + 1)} {2} [/ math]

que no converge, por lo tanto, la serie [math] 1 + 2 + 3 + 4 + \ ldots [/ math] es divergente, por lo que la definición de límite habitual no le asigna un valor.

Sin embargo, hay formas en que puede ampliar esta definición. Es decir, puede encontrar formas de asignar un valor finito a series divergentes que todavía están de acuerdo con los valores que obtenemos de la manera habitual para series convergentes.

El problema es que, dado que estos métodos, por su propia naturaleza, no corresponden realmente a nada físico *, lo mejor que podemos esperar es que dichos métodos tengan buenas propiedades formales. En particular, nos gustaría solicitar que satisfagan los siguientes axiomas:

1.) (Regularidad) Si [math] \ sum_ {n = 1} ^ \ infty a_n [/ math] es convergente, entonces el método de suma está de acuerdo con el método habitual de tomar el límite.

2.) (Linealidad) Si [math] \ sum_ {n = 1} ^ \ infty a_n = A [/ math] y [math] \ sum_ {n = 1} ^ \ infty b_n = B [/ math] son ​​sumables , entonces tenemos [math] \ sum_ {n = 1} ^ \ infty (a_n + b_n) = A + B [/ math]. Si [math] r [/ math] es un número real, entonces [math] \ sum_ {n = 1} ^ \ infty r a_n = rA [/ math].

3.) (Estabilidad) [matemática] a_0 + \ sum_ {n = 1} ^ \ infty a_n = \ sum_ {n = 1} ^ \ infty a_ {n – 1} [/ matemática].

Estos axiomas son bastante útiles. Por ejemplo, muestra que cualquier método de suma que satisfaga estos tres axiomas debe evaluar [matemáticas] 1 + 2 + 4 + 8 + \ ldots = -1 [/ matemáticas], ya que:

[matemática] s = 1 + 2 + 4 + 8 + \ ldots = 1 + 2 (1 + 2 + 4 + 8 + \ ldots) = 1 + 2s [/ matemática]

Tenga en cuenta que tanto la linealidad como la estabilidad juegan un papel importante en esta demostración. La estabilidad nos permite ‘sacar’ el 1 al frente, y la linealidad nos permite factorizar el 2.

Cualquier método de suma también debe evaluar [matemáticas] 1 – 1 + 1 – 1 + \ ldots = 1/2 [/ matemáticas]. La prueba es similar:

[matemáticas] s = 1 – 1 + 1 – 1 + \ ldots = 1 – (1 – 1 + 1 – 1 + \ ldots) = 1 – s [/ matemáticas]

Sin embargo, habrá series divergentes que no pueden evaluarse mediante ningún método de suma que satisfaga estos tres axiomas. Por ejemplo, suponga que podríamos asignar un valor finito [math] s [/ math] a la serie [math] 1 + 1 + 1 + \ ldots [/ math]. Entonces tendríamos:

[matemática] s = 1 + 1 + 1 + \ ldots = 1 + (1 + 1 + 1 + \ ldots) = 1 + s [/ matemática]
[matemáticas] \ Rightarrow 0 = 1 [/ matemáticas]

Ups Desafortunadamente, empeora aún más, porque de esto se deduce que ningún método de suma que satisfaga estos tres axiomas puede evaluar [matemáticas] 1 + 2 + 3 + \ ldots [/ matemáticas], ya que:

[matemáticas] (1 + 2 + 3 + \ ldots) – (1 + 2 + 3 + \ ldots) [/ matemáticas]
[matemáticas] = (1 + 2 + 3 + \ ldots) – (0 + 1 + 2 + 3 + \ ldots) [/ matemáticas] (por estabilidad)
[matemáticas] = (1 + 1 + 1 + 1 + \ ldots) [/ matemáticas] (por linealidad)

Entonces, si desea definir un método de suma que evalúe [matemática] 1 + 2 + 3 + \ ldots [/ matemática], debe desechar linealidad o estabilidad. Existen diferentes enfoques: algunos sacrifican uno, otros sacrifican el otro.

Desafortunadamente, esto es indicativo de cómo va la suma de series divergentes: tiene muchos métodos diferentes para sumarlos, y no siempre están de acuerdo. A menudo están de acuerdo con series importantes, pero si está afirmando algo como [matemática] 1 + 2 + 3 + \ ldots = -1/12 [/ matemática], entonces es mejor que deje absolutamente claro qué método de suma es. utilizando.

Como teórico de números, mi enfoque favorito es la regularización de la función zeta. El ejemplo básico de esto es este: considere la función zeta de Riemann [matemática] \ zeta (s) = \ sum_ {n = 1} ^ \ infty \ frac {1} {n ^ s} [/ matemática].

Esta fórmula solo es convergente si la parte real de [math] s [/ math] es mayor que 1. Sin embargo, hay una forma estándar de extender la función zeta de Riemann para que sea una función en todo el plano complejo (bueno, usted tiene algunos polos, pero si bien eso es importante, es un problema técnico); esto se llama continuación analítica, que se obtiene explícitamente al encontrar una ecuación funcional para la función zeta.

Usando la continuación analítica, encontrará que [math] \ zeta (-1) = -1/12 [/ math]. Pero, si “conecta eso” a su expresión original de la función zeta, obtendrá:

[matemáticas] -1/12 = \ sum_ {n = 1} ^ \ infty \ frac {1} {n ^ {- 1}} = \ sum_ {n = 1} ^ \ infty n = 1 + 2 + 3 + \ ldots [/ math]

Así es como funciona la regularización de la función zeta: asocia una función zeta a su serie y luego usa la continuación analítica para asociar un valor finito a la serie.

Este es, en muchos sentidos, un juego formal que, si bien es interesante, probablemente no debería pensarse que corresponde a algo tangible.


* Sí, soy consciente de que las series e integrales divergentes se utilizan en los cálculos de la teoría cuántica de campos. Sin embargo, diría que tales métodos son una herramienta computacional más que una interpretación física de lo que realmente está sucediendo. Además, en este momento no tenemos un modelo matemáticamente riguroso de la teoría cuántica de campos, por lo que cualquier quimera extraña que no debería ser aún puede ser reinterpretada o eliminada por completo.

Defina tres series de la siguiente manera.

A = 1 – 1 + 1 – 1 + 1 – 1 +…

B = 1 – 2 + 3 – 4 + 5 – 6 +…

C = 1 + 2 + 3 + 4 + 5 +…

Ahora busquemos A.

A = 1 – 1 + 1 – 1 + 1 – 1 + 1 – 1 + 1 -…

A =… .1 – 1 + 1 – 1 + 1 – 1 + 1 – 1 +…

Ahora agregue los términos directamente hacia abajo. (Dado que la suma es conmutativa, el orden en que agreguemos los términos no importa, así que agreguemos directamente para simplificar).

2A = 1 + 0 + 0 + 0 + 0 +… 2A = 1, entonces A = 1/2

Ahora busquemos B por el mismo proceso.

B = 1 – 2 + 3 – 4 + 5 – 6 +…

B =… .1 – 2 + 3 – 4 + 5 -…

Así que agreguemos directamente hacia abajo.

2B = 1 – 1 + 1 – 1 + 1 – 1 + 1 – 1 +… = A = 1/2. Entonces B = 1/4.

Ahora busquemos C. Usaremos el mismo proceso, pero en su lugar usaremos dos series diferentes y restaremos en lugar de sumar.

C = 1 + 2 + 3 + 4 + 5 + 6 + 7 +…

B = 1 – 2 + 3 – 4 + 5 – 6 + 7 -…

Tenga en cuenta que, debido a que estamos restando, las probabilidades se cancelan y obtenemos

(par) – (par negativo).

C – B = C – 1/4 = 0 + 4 + 0 + 8 + 0 + 12 + 0 + 16 +… = 4 * (1 + 2 + 3 + 4 +…) = 4C. C – 1/4 = 4C

C = -1/12 .

Esto parece tener mucho sentido, pero solo funciona si ignoras una regla matemática muy importante. Solo puede manipular una serie infinita como lo hicimos si las sumas parciales de la serie convergen en una suma finita. Ninguna de las tres series converge a una suma finita, por lo que las matemáticas que hicimos en realidad no son válidas. Sin embargo, es bueno hacer esto con nuestros amigos, porque no sabrán que esto está mal.

La verdadera razón por la que la gente dice esto debido a esta función llamada Función Zeta (también llamada Función Zeta de Riemann). SÓLO se define para números mayores que 1. Es decir, la definición comúnmente conocida (esa es la que tiene la notación sigma) solo se define para números mayores que 1. La función misma se ha extendido a números menores que 1 a través de un proceso llamado continuación analítica. No sé lo suficiente como para explicar cómo lo hicieron los matemáticos. Lo que sí sé es que 3Blue1Brown tiene un bonito video de YouTube sobre la función Zeta y su continuación analítica. Deberías verlo. (Es importante tener en cuenta que para esta continuación analítica, la definición anterior con la notación sigma no tiene sentido. No tiene relevancia para la continuación).

De todos modos, la parte importante de esto es que, usando la continuación analítica, obtenemos que la función Zeta tiene un valor de -1/12 cuando la entrada es -1. Las personas a menudo INCORRECTAMENTE conectan -1 en la definición de notación sigma y obtienen la serie 1 + 2 + … Luego ven que zeta (-1) = -1/12, por lo que asumen incorrectamente que las dos son iguales. Pero recuerde, la función Zeta no está definida por la sigma para números menores que 1.

Entonces, el punto es que no es intuitivo ver que zeta (-1) = -1/12. Puede verlo con matemáticas incorrectas, o puede entender las matemáticas poco intuitivas pero reales detrás de esto.

El video de youtube sobre esto solo causa confusión, no hace ningún esfuerzo por explicar lo que está sucediendo y descuida hacer el punto principal. La página de wikipedia es mucho mejor.

El hecho de que haya * un * cálculo no riguroso que arroje -1/12 no es lo que hace que este ejemplo sea interesante.

Lo que lo hace interesante es que hay * muchos * métodos no rigurosos para calcular un valor finito para esta suma, y ​​casi todos resultan en -1/12.

En matemáticas, si calcula el mismo número de dos maneras diferentes, pero utiliza técnicas no válidas, entonces no hay razón para esperar que los dos cálculos produzcan el mismo resultado.

Entonces, ¿por qué entonces casi siempre terminas con -1/12 si calculas un valor finito para esta suma con un cálculo no riguroso?

Esto sugiere el hecho de que en algún lugar oculto en el fondo, están sucediendo algunas matemáticas interesantes (¡y también física interesante!). Desafortunadamente, el video de YouTube no da pistas sobre lo que podrían ser estas matemáticas, y en su lugar apunta a maximizar la confusión al pretender que el cálculo claramente no riguroso es realmente válido.

La suma de los enteros positivos no es –1/12. Hay pruebas falaces ingeniosas de que lo es. Para un ejemplo de uno, vea el argumento publicitado por Numberphile. Es muy divertido, pero los principios utilizados allí son, desafortunadamente, contradictorios .

¿Cuáles son los principios utilizados para mostrar que

[matemáticas] 1-1 + 1-1 + 1-1 + \ cdots = 1/2 [/ matemáticas]
[matemáticas] 1-2 + 3-4 + 5-6 + \ cdots = 1/4 [/ matemáticas]
[matemáticas] 1 + 2 + 3 + 4 + 5 + 6 + \ cdots = -1 / 12 [/ matemáticas]?

  • Las sumas son lineales. Eso significa que puede sumar y restar series término por término, y puede multiplicar una serie por una constante si multiplica cada término por esa constante.
  • Puede insertar o soltar un 0 desde el comienzo de una serie.
  • Las tres series mencionadas anteriormente tienen sumas finitas.

Aunque esos tres principios pueden mostrar que esas series tienen las sumas mencionadas anteriormente, son contradictorias .

Aquí está la prueba. Considere esa última declaración. De

[matemáticas] 1 + 2 + 3 + 4 + 5 + 6 + \ cdots = -1 / 12 [/ matemáticas]

restar a sí mismo desplazado sobre

[matemáticas] 0 + 1 + 2 + 3 + 4 + 5 + 6 + \ cdots = -1 / 12 [/ matemáticas]

para concluir

[matemáticas] 1 + 1 + 1 + 1 + 1 + 1 + \ cdots = 0 [/ matemáticas].

Restar a sí mismo desplazado sobre

[matemáticas] 0 + 1 + 1 + 1 + 1 + 1 + \ cdots = 0 [/ matemáticas]

para concluir

[matemáticas] 1 = 0 [/ matemáticas],

Una contradicción.

(Gracias a Sridhar Ramesh por simplificar el argumento).

¿Qué muestra esto?

No puede usar argumentos como este para mostrar que la suma de los enteros positivos es -1/12 ya que puede usarlos para mostrar que la suma es lo que quiera.

Ahora es cierto que [math] \ zeta (-1) = – 1/12 [/ math], pero esa es una continuación analítica de la función zeta. No se puede evaluar por el método descrito anteriormente. Vea el segundo video de Numberphile para más detalles.

Por cierto, no debes tomar todos los videos de Numberphile como hechos. Algunos están destinados a ser solo por diversión, como este que muestra que todos los triángulos son equiláteros:

Bueno, he trabajado en ello y tengo una descripción precisa del problema en consideración.

En primer lugar, la idea de que la suma de todos los números naturales es [matemática] -1/12 [/ matemática] a menudo se confunde con el resultado obtenido por Ramanujan. La suma de todos los números naturales no es [matemática] -1/12 [/ matemática] que se puede mostrar fácilmente calculando las sumas parciales:

[matemática] S_1 = 1, [/ matemática] [matemática] S_2 = 1 + 2 = 3, [/ matemática] [matemática] S_3 = 1 + 2 + 3 = 6, [/ matemática] [matemática] S_n = 1 + 2 + 3 +… n [/ matemáticas]

Claramente, [math] S_n [/ math] se hace más y más grande como [math] n [/ math]. Por lo tanto, la suma de todos los números naturales no converge a un número particular sino que diverge a [math] \ infty. [/ Math]

Sin embargo, Ramanujan, cuyo único aspecto debe haber sido suficiente para descubrir este resultado notable, estaba trabajando en la función Euler Zeta:

[matemáticas] S (x) = 1 + 1/2 ^ x + 1/3 ^ x +… [/ matemáticas]

Se ha encontrado que para [matemáticas] x> 1 [/ matemáticas], la suma converge a un número particular. Tapar [matemáticas] x = 2, [/ matemáticas]

[matemática] S (2) = 1 + 1/2 ^ 2 + 1/3 ^ 2 +… = 1 + 1/4 + 1/9 +… = \ pi ^ 2/6 [/ matemática]

Por lo tanto, la función solo tenía que definirse para [matemáticas] x <1 [/ matemáticas] precisamente [matemáticas] x = -1 [/ matemáticas] [matemáticas]. [/ Matemáticas] Por lo tanto, Ramanujan definitivamente sabía lo que estaba haciendo y Tenía una razón para escribirlo. La continuación analítica de la función Euler Zeta para los valores [matemática] x <1 [/ matemática] nos da la función Riemann Zeta: Plugging [matemática] x = -1, [/ matemática]

[matemáticas] \ zeta (-1) = 1 + 1/2 ^ {- 1} +1/3 ^ {- 1} +… = 1 + 2 + 3 +… [/ matemáticas]

Luego, usa la relación entre la función Riemann Zeta y la función Dirichlet Eta para llegar al resultado sorprendente. La función Dirichlet Eta:

[matemáticas] \ eta (x) = 1-1 / 2 ^ x + 1/3 ^ x-… [/ matemáticas]

La relación entre los anteriores se puede deducir como:

[matemática] Ecuación 1: \ zeta (x) = 1 + 2 ^ {- x} +3 ^ {- x} +… [/ matemática]

[matemática] Ecuación 2: 2.2 ^ {- x}. \ zeta (x) = 2.2 ^ {- x} +2.4 ^ {- x} +2.6 ^ {- x} +… [/ matemática]

[matemática] Ecuación 1- Ecuación 2 [/ matemática]

[matemáticas] (1-2 ^ {1-x}) \ zeta (x) = 1 + 2 ^ {- x} (1-2) +3 ^ {- x} +4 ^ {- x} (1- 2) +… [/ matemáticas]

[matemáticas] (1-2 ^ {1-x}) \ zeta (x) = 1-2 ^ {- x} +3 ^ {- x} [/ matemáticas] [matemáticas] -… = \ eta (x) [/matemáticas]

Ahora calcular [math] \ eta (-1) [/ math] es una tarea mucho más fácil,

[matemáticas] \ eta (-1) = 1-2 + 3-… = \ lim_ {x \ a 1 ^ -} (1-2x + 3x ^ 2-…) [/ matemáticas]

Dada la función,

[matemáticas] (1-2x + 3x ^ 2-…) = d / dx \ int {(1-2x + 3x ^ 2-…) dx} = d / dx (xx ^ 2 + x ^ 3-…) [ /matemáticas]

Obtenemos un GP infinito con el primer término [matemática] a = x [/ matemática] y la razón común [matemática] r = -x, [/ matemática]

[matemática] (1-2x + 3x ^ 2-…) = d / dx (x / 1 – (- x)) = 1 / (1 + x) ^ 2 [/ matemática]

Por lo tanto,

[matemáticas] (1-2 ^ {1 – (- 1)}) \ zeta (-1) = \ eta (-1) = \ lim_ {x \ to 1 ^ -} 1 / (1 + x) ^ 2 = 1/4 [/ matemáticas]

Al dividir entre [matemática] (- 3) [/ matemática] ambos lados da el resultado:

[matemáticas] \ zeta (-1) = – 1/12 [/ matemáticas]

El hecho de que [math] x \ to1 ^ – [/ math] hace que la proporción común [math] r> -1 [/ math] también satisfaga la condición de suma de un GP infinito

Esto es lo que tiene sentido para la misteriosa ecuación de Ramanujan.

Aquí va,

Dejar,

S1 = (1–1) + (1–1) + (1–1) +….

S1 = 0.

También si cambiamos los corchetes como

S1 = 1 (–1 + 1) (- 1 + 1) (- 1 + 1) -….

S1 = 1.

Ahora tomamos el promedio del resultado para

S1 = 1/2.

Ahora deja

S2 = 1–2 + 3–4 + 5–6 + 7–8 … también, – (1)

S2 = 0 + 1–2 + 3–4 + 5–6 + 7… .— (2)

Sumando (1) y (2), obtenemos,

2S2 = 1–1 + 1–1 + 1–1… ..

Entonces, 2S2 = S1

2S2 = 1/2.

S2 = 1/4.

Ahora, S = 1 + 2 + 3 + 4 + 5 + 6 + 7 …

Entonces, S-S2 = (1 + 2 + 3 + 4 + 5 + 6 …) – (1–2 + 3–4 + 5–6 …)

S-S2 = 4 + 8 + 12 + 16 +….

S-S2 = 4 (1 + 2 + 3 + 4 …)

S-1/4 = 4 S

Entonces, 3S = -1/4

S = -1 / 12.

Por lo tanto demostrado.

Loco pero cierto.