Liberté et formalisme: 1+2+3+4+5+... = ?

El 17 febrero 2014  - Escrito por  Jérôme Buzzi Ver los comentarios (3)

Un article du New York Times signale une vidéo parlant (en anglais) de mathématiques. Cette vidéo a été vue plus d’un million et demi de fois car elle scandalise . Que dis-je? Elle révolte une bonne partie des milliers d’internautes qui l’ont commentée. La vidéo présente un calcul d’Euler (probablement un des plus grands mathématiciens de l’histoire) selon lequel la série des entiers positifs $1+2+3+4+5+6+\dots$ vaut $-1/12$.

Quel sens cela peut-il avoir, s’indigne plus d’un internaute qui veut comprendre. Une majorité écrit que la somme $1+2+3+\dots$ devrait être infinie . En effet, les sommes des premiers termes (ou sommes partielles ) sont successivement: $1,3,6,10,15,21,28,\dots$ Elles dépassent tout nombre donné - elles ne convergent vers aucun nombre. Comment Euler peut-il affirmer que la somme vaut -1/12 ?

Euler est conscient de ceci mais il a toute autre chose en tête [1], quelque chose de très sensé, mais qui ne deviendra précis qu’un siècle plus tard. Depuis Newton on a compris que «certaines fonctions» peuvent se représenter comme des «polynômes infinis». Euler a vérifié que «dans bien des cas», on peut «faire comme si» toute expression de ce type représentait une fonction.

Un exemple

Par exemple,

$1/(1+x)$ correspond à $1-x+x^2-x^3+x^4-\cdots$.

Si on remplace $x$ par $1/10$, la série devient:

$1-1/10+1/100-1/1.000+1/10.000-\cdots$

dont les premières sommes partielles sont:

$1-1/10=9/10 = \bf{0,9} $ ,

$1-1/10+1/100=91/100=$ $\quad$ 0,91 ;

$1-1/10+1/100-1/1.000=909/1.000=$ $\qquad$ 0,909 ;

$1-1/10+1/100-1/1.000+1/10.000=$ $\qquad$ 0,9091 .

On peut montrer ces valeurs convergent vers 0,90909090... Cette valeur, appelée la somme de la série, est précisément celle de $1/(1+1/10)$. Dans ce premier cas, c’est la même chose de trouver la somme de la série ou d’évaluer la fonction.

Maintenant remplaçons $x$ par $10$:

$1-10+100-1.000+10.000-100.000+1.000.000-\cdots$

Cette fois-ci, les sommes partielles loin de converger deviennent de plus en plus grandes:

$1-10=$ $\quad$ -9 ;

$1-10+100=$ $\quad$ 91 ;

$1-10+100-1.000=$ $\quad$ -909 ;

$1-10+100-1.000+10.000=$ $\qquad$ 9.091 ;

$1-10+100-1.000+10.000-100.000=$ $\qquad$ -90.909 .
 [2]

Ces sommes partielles ne convergent pas. La série n’a donc pas de somme au sens précédent.

Mais que se passe-t-il du côté de la fonction $1/(1+x)$? Calculons-là avec Euler en remplaçant $x$ par $10$ (ce qui, dans le cas $x=1/10$, re-donnait la limite des sommes partielles). On obtient $1/(1+10) =$ 1/11 . On est donc tenté d’écrire avec Euler:
\[ 1-10+100-1.000+10.000-100.000+... = 1/(1+10) = 1/11 \]
Comment résoudre ce paradoxe? La série a-t-elle une valeur ($1/11$) ou non?

Ce que les mathématiciens ont compris, en particulier au cours du XIXe siècle, c’est qu’ une écriture n’a pas de sens en soi et que l’intuition est un guide aussi nécessaire qu’insuffisant. Le chercheur doit choisir une définition formelle pour pouvoir étudier rigoureusement le phénomène qui l’intéresse. Ce choix peut être ou non fécond et adapté, mais la définition lui fournit dans tous les cas une base objective pour la suite de ses travaux. Le formalisme, c’est la liberté.

Ainsi, les séries et «polynômes infinis» découverts par Newton et explorés par Euler peuvent s’interpréter comme des objets mathématiques variés (pures suites de nombres, fonctions analytiques ou d’un type plus général, modes de divergence à l’infini,...). Il n’y a plus là aucun scandale. Bien au contraire, les travaux les plus intéressants portent souvent sur les liens entre ces objets [3]. La vidéo mentionnée au début de ce billet évoque exactement une question de ce type en physique théorique.

Faire des mathématiques c’est (aussi) donner des noms différents à une même chose!

Post-scriptum :

Correction le 18 février 2014: certains termes égaux à 1/10 avaient malencontreusement été transformés en «10»! J’ai par ailleurs ajouté des espaces.
Merci à Christine Huyghe et Mai Huong Pham-Sauvageot pour leurs remarques.

Notas

[1On peut lire, en français, l’article d’Euler ici et notamment sa deuxième page.

[2Le lecteur attentif aura remarqué une correspondance avec le cas $x=1/10$ et une certaine forme de «convergence chiffre par chiffre» après séparation des sommes positives et négatives. Mais c’est une autre histoire...

[3Citons, entre autres, Borel ou, de nos jours Écalle ou Ramis.

Comparte este artículo

Para citar este artículo:

Jérôme Buzzi — «Liberté et formalisme: 1+2+3+4+5+... = ?» — Images des Mathématiques, CNRS, 2014

Créditos de las imágenes:

Imagen de portada - Extrait de la première page de l’article d’Euler, Mémoires de l’Academie des Sciences de Berlin 17, 1768, pp. 83-106, obtenu sur Euler Archive. Domaine public.

Comentario sobre el artículo

Voir tous les messages - Retourner à l'article

  • Liberté et formalisme: 1+2+3+4+5+... = ?

    le 19 de febrero de 2014 à 12:30, par Jérôme Buzzi

    Préciser la pensée d’Euler requiert un véritable travail d’histoire des sciences dont je suis bien incapable. Mon propos était d’en profiter pour illustrer la clarté et la liberté apportée par un formalisme moderne bien compris.

    Un mot quand même sur le point de vue d’Euler. L’introduction à son article «De seriebus divergentibus» (1760) (dont on peut trouver une traduction et un commentaire ici) décrit les controverses sur les séries divergentes. Il distingue effectivement les séries comme 1+2+3+4+5+... dont les termes sont positifs et croissants. Il mentionne bien l’absurdité à trouver une valeur négative à une somme de termes positifs (pour aussitôt remarquer que ce n’est pas si clairement absurde puisque par exemple 1/x passe par l’infini entre des valeurs positives et négatives).

    Euler conclut son introduction en remarquant que les séries viennent du développement de fonctions et qu’il n’y a donc aucun problème à leur assigner la valeur de cette fonction: la question de l’existence et de l’unicité d’une telle fonction (de quelle nature?) n’est pas abordée.

    Comme je le disais, comprendre la vision d’Euler (et de ses contemporains) relève vraiment d’un travail d’historien: les notions qu’il utilise sont presque toujours un peu voire très différentes des notions modernes (même sa notion de série convergente est en désaccord avec la notion moderne), il se situe (c’est clair dans cet article) dans le cadre d’une controverse remontant à la génération qui le précède et dont les termes m’échappent.

    Mais peut-être un historien lit-il ces lignes et souhaitera nous éclairer?

    Répondre à ce message

Dejar un comentario

Foro sólo para inscritos

Para participar en este foro, debe registrarte previamente. Gracias por indicar a continuación el identificador personal que se le ha suministrado. Si no está inscrito/a, debe inscribirse.

Conexióninscribirse¿contraseña olvidada?

La traducción del sitio del francés al castellano se realiza gracias al apoyo de diversas instituciones de matemáticas de América Latina.