PROJET AUTOBLOG


Tcit

Archivé

source: Tcit

⇐ retour index

La série qui tend vers moins un douxième, étrangement

samedi 1 février 2014 à 01:00

Je vais vous montrer une preuve mathématique proprement ahurissante. Nous allons démontrer que \Large\displaystyle\sum_{n=1}^{\infty}n = -{{1}\over{12}}. La somme des entiers relatifs tend vers -{{1}\over{12}}.

Cela devrait vous paraître totalement ahurissant, car à priori  1 + 2 + 3 + ... > 0, mais c’est pourtant bien le cas.
Mieux encore, ce résultat que l’on pourrait croire purement mathématique se retrouve dans des problèmes physiques très sérieux, dont la théorie des cordes et la théorie quantique des champs.

C’est la preuve la plus simple (et pas extrêmement stricte mathématiquement parlant) que je vous montre ici.

Tout d’abord, prenons notre série  S = 1 + 2 + 3 + 4 + 5 + 6 + \cdots

Multiplions-la par 4 :  4S =4 + 8 + 12 + 16 + 20 + 24 + \cdots

Soustrayons ce résultat à notre série S d’origine, de manière à avoir  S - 4S = -3S

(1)    \begin{alignat*}{7} S&{}={}&1+2&&{}+3+4&&{}+5+6+\cdots \\ 4S&{}={}& 4&& {}+8&&{} +12+\cdots \\ -3S&{}={}&1-2&&{}+3-4&&{}+5-6+\cdots \\ \end{alignat*}

Mais pourquoi aligner mes lignes de cette manière ?

Pour mieux soustraire.
Évidemment, c’est tricher, car on ne fait pas la soustraction terme à terme. Seulement, comme tout va à l’infini, on peut juger que de toute manière, cela se rattrape. Reprenons.
Nous avons à présent l’expression -3S&{}={}&1-2&&{}+3-4&&{}+5-6+\cdots qui est en réalité la série alternée des entiers et dont nous connaissons le résultat grâce à Euler, soit  {1}\over{4}.
Ainsi donc, -3S&{}={}&1-2&&{}+3-4&&{}+5-6+\cdots = {{1}\over{4}}, soit  S = -{{1}\over{12}}.
On a donc  \Large\displaystyle\sum_{n=1}^{\infty}n = -{{1}\over{12}}. CQFD.

On a donc un résultat plutôt aberrant qui pourrait largement remettre en cause la méthode selon laquelle nous l’avons déterminé. Pourtant, je peux vous affirmer (me croirez-vous ?) qu’il est correct.

Les plus curieux/courageux/fous iront chercher des preuves alternatives du côté des séries de Riemann et de Dirichlet, c’est aussi très sympathique bien que plus dur mais exactement sur le même principe que ce que je viens de montrer.

Ce post de blog (merci Amaury pour me l’avoir fait retrouver) est excellent sur le sujet.

Allez, avant de finir, un dernier clin d’œil bien sympathique :
Asymptote série
Si on calcule l’asymptote, on se rend compte que l’asymptote en l’origine tend vers  -{1}\over{12}. Cool, non ?

Images : Portraits respectivement de Riemann, Euler et Dirichlet, tous les trois dans le domaine public.

flattr this!