Vous êtes sur la page 1sur 68

Illustrations : JF Colonna - CMAP, Etienne Ghys - ENS Lyon, Mauritz Escher

Maquette Elsa Godet

Enigmes Mathmatiques
dhier et daujourdhui
2006 Une nouvelle mdaille Fields Franaise 2007 Il y a 300 ans naissait Lonard EULER finiment petit, ils mlent les ides pour en trouver de nouvelles et ainsi mieux apprhender notre monde. Ils font surgir des liens inattendus entre des domaines priori bien distincts !

Deux belles occasions pour le Comit International des Jeux Mathmatiques Enfin la dernire partie vous emmne de se lancer dans l'aventure qui consiste la rencontre de ces mathmaticiens en quelques pages voquer les Enigmes qui travers les poques ont su tirer Mathmatiques d'Hier et d' Aujourd'hui . profit de certains aspects ludiques des mathmatiques. On mesure mieux, Notre volont d'ancrer les math- avec le recul, l'influence que cette apmatiques dans leur histoire, de prouver proche a eu sur l'laboration de thories qu'elles sont riches, belles et, combien trs complexes. vivantes, trouvait sous ce thme un Enigmes, pomes, jeux, dfis se sont rpondu travers les ges pour le plus magnifique champ d'exploration. Pour vous parler de cet incroyable grand plaisir de chacun, abordant ainsi foisonnement d'ides nous avons divis par un biais plus plaisant et dlectable* des problmes d'une grande complexit. cet ouvrage en trois parties. Pour conclure, je voudrais remercier toutes celles et tous ceux qui nous ont aids pour la rdaction de ces pages ainsi que les organismes qui nous apportent leur soutien et nous permettent d'diter cette brochure. J'espre enfin que vous, lecteur, aurez quelque satisfaction parcourir ces lignes La deuxime partie traite des nigmes sachant qu'en mathmatiques, le chede notre temps et des dfis pour le futur. min qui mne la rsolution d'une Toute cette science mathmatique, faite nigme est souvent difficile. par des femmes et des hommes, perptue une longue tradition d'changes, Bonne lecture de voyages et de rencontres. Parfois en Marie Jos Pestel pense libre, parfois en pense commande par notre quotidien, la mdecine, l'industrie ou la conqute de *Extrait du titre du premier recueil de jeux mathl'espace, de l'infiniment grand l'in- matiques. 1 La premire partie retrace le dveloppement travers les ges, de trois thmes fondateurs des mathmatiques : le calcul et les quations, les gomtries et la logique. Trois thmes qui furent riches en rebondissements et qui ont gnr de nombreuses questions.

L'infini, entre logique et paradoxes


Herv LEHNING
Notre monde, comment est -il ? Discret ou continu ? Logique ou indcidable ? Mesurable ou incommensurable ? Le rve de Pythagore s'croule, et avec lui l'ide d'un monde discret, c'est--dire form de particules identiques inscables. Znon (Ve sicle avant JsusChrist) a rfut ce modle d'une manire plus radicale. Supposons, aprs lui, le temps discret, il est ainsi compos d'instants inscables. Nous pouvons les dnombrer : instant 1, instant 2, instant 3, etc. Imaginons alors deux trains de trois wagons roulant en sens opposs, la vitesse d'un wagon par instant. Si les deux premiers wagons se croisent l'instant 1, les deux trains sont cte cte l'instant 2.

Le modle discret

Dans le monde imagin par Pythagore au VIe sicle avant Jsus-Christ, tout est nombre, c'est--dire nombre entier ou rapport de nombres entiers, ce que nous nommons nombre rationnel. Pythagore pense un monde compos de particules inscables, toutes identiques. Les droites y sont constitues de points contigus, de mme paisseur. Dans ce modle, si deux segments contiennent N et M points, le rapport de leurs longueurs est gal N / M. Plus gnralement, deux grandeurs de mme nature : instant 2 instant 1 surfaces, volumes, temps, etc. sont toujours commensurables. quel instant le wagon de tte du Pourtant lcole pythagoricienne a premier train croise-t-il le deuxime du dtruit ce mythe. second ? Jamais ? Pour preuve la version simplifie du Le modle continu thorme : Le monde n'tant pas discret, il est logique de le supposer continu : toute quantit est divisible l'infini. Pourtant, En construisant le aprs avoir rcus le premier modle, carr bleu sur la Znon rcuse galement celui-ci. diagonale du carr Supposons l'espace continu. Alors pour jaune on montre l'existence de deux franchir une distance de 1 024 mtres, entiers N et M tels que : M2 = 2 N2. En par exemple, nous devons d'abord factorisant M et N, on obtient un nombre franchir les 512 premiers mtres ce qui pair de facteurs 2 dans M2 et un nombre nous amne un instant 1. Nous impair dans 2 N2, ce qui interdit l'galit franchissons alors les 256 mtres suide ces deux nombres. vants d'o un instant 2. Les 128 mtres suivants donnent un instant 3 et ainsi de

L'infini, entre logique et paradoxes


suite en divisant chaque fois l'espace restant par deux. Comme lespace est divisible l'infini, nous sommes amens vivre une infinit d'instants, ce qui est impossible. Selon Znon, le modle continu interdit le mouvement. De nos jours, ce paradoxe est vu comme une erreur de calcul car une somme d'un nombre infini de termes peut tre finie. Plus prcisment aujourdhui on montre que :
1 1 1 1 + + + + etc . = 1 2 4 8 16

Znon dEle -

En fait, l'ide de Znon est ailleurs. Il rcuse seulement la divisibilit du temps l'infini. L'instant n'existe pas, il n'existe que des intervalles de temps, ventuellement trs courts. la suite de ces paradoxes, les anciens Grecs s'interdisent le recours l'infini. Plus prcisment, celui-ci n'est plus conu que comme potentiel : tout nombre peut tre dpass. Ainsi, Euclide (IIIe sicle avant Jsus-Christ) vite de parler d'une infinit de nombres premiers. Il prfre noncer : " l'ensemble des nombres premiers est plus grand que tout sous-ensemble de nombres premiers donn " ce qui revient dire : donnez-moi un nombre premier, j'en trouverai un plus grand. Ce refus de l'infini se situe essentiellement au niveau de la preuve. Le recours l'infini actuel dans la recherche prliminaire reste clair. Par exemple, pour lier l'aire d'un cercle sa circonfrence, Archimde (IIIe sicle avant Jsus-Christ) dcoupe le cercle en

L'interdiction de l'infini

petits triangles curvilignes gaux. Au triangle curviligne OAC, il fait correspondre le triangle rectangle OAB tel que la longueur du ct AB soit gale celle de larc AC. En construisant D tel que BD = AB, on obtient un triangle OBD de mme aire que OAB car bases et hauteurs sont gales. Puis il assemble des triangles de mme aire que OAB pour former un triangle rectangle (T) dont les cts ont pour longueur respectivement le rayon et la circonfrence du cercle. Alors que l'ide sous-jacente est un dcoupage infini du cercle, Archimde ne prouve pas son thorme ainsi. Il considre l'aire S du cercle et celle S= 1/2 x P x R du triangle (T) (o P est le primtre et R le rayon du cercle) et montre en utilisant un dcoupage fini que les deux hypothses S > S et S < S sont absurdes. Il exclut ainsi soigneusement l'infini de sa dmonstration, mme si le rsultat ne peut tre conu sans y avoir recours.

L'infini, entre logique et paradoxes


Retour de l'infini, puis de la rigueur

Le recours explicite l'infini revient en grce bien plus tard. Aux XVIIe et XVIIIe sicles, le pragmatisme supplante la ri-gueur logique pour le contrle des rsultats. Un analyste du XVIIIe sicle n'hsite pas considrer un dcoupage du cercle en parties infiniment petites. Il trace le mme dessin que prcdement, o chaque arc et chaque triangle sont considrs comme infiniment petit. Il calcule l'aire du secteur circulaire en fonction de la longueur t de l'arc AB et connat donc l'aire du triangle OAB. Il ajoute le nombre de triangles du dcoupage et il trouve l'aire du cercle S comme somme d'aires de parties infiniment petites. Cependant pour achever le raisonnement, il faut remarquer que la diffrence entre l' aire du triangle AOC et celle du triangle OAB est un infiniment petit de l'ordre de t2. Leur somme reste donc infiniment petite. Sans prciser ce dernier point, il est facile d'aboutir des rsultats fantaisistes. La figure suivante propose ainsi une preuve de l'galit = 2. La longueur du demi-cercle bleu ainsi que celle des courbes rouges, jaunes, etc est gale R. Ces courbes tendent vers le diamtre du cercle donc : R = 2 R. Pour viter ce type de paradoxes les mathmaticiens du XIXe sicle reviendront l'exigence de rigueur des

Archimde

anciens Grecs. Ils prcisent dans quels cas on peut donner un sens la somme d'un nombre infini de termes. Pour revenir l'exemple associ Znon, il s'agit d'tudier les sommes finies : 1/2 + 1/4 + 1/8 + 1/16 + ... + 1/2n et montrer qu'elles s'approchent aussi prs de 1 que l'on veut . En effet : 1/2 + 1/4 + 1/8 + 1/16 + ... + 1/2n = 1 1/2n et 1/2n peut tre rendu aussi petit qu'on le dsire. Par exemple, cette quantit est infrieure 0,001 si n > 10 et 0,000 001 si n > 20, etc. Les infiniment petits ont ainsi t exclus des raisonnements pour tre cantonns au domaine de l'intuition jusqu' la seconde moiti du XXe sicle, quand Abraham Robinson a cr l'Analyse non standard qui permet de leur donner un nouveau droit de cit. De faon assez naturelle, ce retour inattendu est d des progrs en logique qui permettent d'affirmer l'existence d'un corps comprenant les nombres rels usuels ainsi que des infiniment petits.

Preuve par l'infini

Avant ce retour en grce, la notion d'infini est utilise par les math-

L'infini, entre logique et paradoxes


maticiens du dbut du XXe sicle pour aboutir des dmonstrations tranges et de nouveaux paradoxes. Cantor distingue plusieurs infinis. Il nomme dnombrables les ensembles dont on peut numroter les lments comme ceux des entiers ou des rationnels. Il en existe de plus compliqus, comme celui des nombres algbriques, les racines d'quations polynmiales coefficients entiers telles par exemple que : x2 - 2 = 0 ou x5 - 5 x2 + 3 = 0. Par la mthode de construction connue sous le nom de diagonale de Cantor, on montre quil nest pas possible de construire une numrotation de tous les nombres entre 0 et 1. Supposons que, tout nombre rel entre 0 et 1, on puisse faire correspondre un entier naturel. Par exemple : lentier 1 correspond 0,2359... lentier 2 correspond 0,3598... lentier 3 correspond 0,8248... ... lentier nk correspond 0,ck1ck2...ckkckk+1... ... alors le rl r = 0,e11e22e33...eii... avec e11= c11, ... eii =cii,..., ainsi construit, est diffrent de tous les rels rpertoris et donc ne peut tre numrot. L'ensemble des nombres rels n'tant pas dnombrable, Cantor en dduit l'existence de nombres transcendants, c'est--dire non algbriques. Cette preuve par diffrence de nature des infinis est droutante car elle ne permet pas de nommer un seul nombre transcendant. Pour certains, cette utilisation de l'infini est mme choquante car elle s'accompagne de nombreux paradoxes, souvent

Georg Cantor

associs l'auto-rfrence. Ils sont tous de mme nature que le paradoxe du barbier de Russel : Dans un village, un barbier dclare raser tous les hommes ne se rasant pas eux-mmes. Qui rase le barbier ? Ce type de paradoxes montre que l'on ne peut pas nommer n'importe quoi ensemble sinon, nous pouvons considrer deux sortes d'ensemble : ceux qui appartiennent eux-mmes et les autres. Que dire alors de l'ensemble des ensembles n'appartenant pas eux-mmes ? Avec la thorie des ensembles, Cantor a cr un outil puissant. Il a aussi montr la fragilit des fondements des mathmatiques. Au dbut du XXe sicle, David Hilbert pense assurer leur solidit en systmatisant la mthode axiomatique des anciens Grecs. Dans son rve, toutes les vrits mathmatiques dcoulent d'axiomes et de rgles de dduction logique. Par exemple, toutes les vrits arithmtiques doivent se dduire des axiomes que Peano, un contemporain de Hilbert, a noncs. Malheureusement, Gdel prouve trente ans plus tard que

Le rve de Hilbert

L'infini, entre logique et paradoxes


l'arithmtique de Peano contient des assertions vraies et improuvables. Pour dmontrer ce rsultat, on pourrait dnombrer les assertions prouvables et les autres. Plus prcisment, on peut imaginer de numroter les assertions prouvables en tenant compte de leurs longueurs par exemple. Ainsi, on obtient une assertion numro 1, une assertion numro 2, etc. Autrement dit, l'ensemble des assertions prouvables est infini mais dnombrable. En revanche, il est facile d'imaginer que l'ensemble des assertions vraies n'est pas dnombrable. Ainsi, il ne peut se rduire l'ensemble des assertions prouvables. Gdel ne procde pas ainsi. Il est plus explicite : il exhibe des assertions vraies improuvables !

Les mathmatiques ne sont pas mcanisables

Dans le projet de Hilbert, il reste l'espoir qu'une machine puisse dmontrer toutes les assertions prouvables d'une thorie. Imaginons donc un logiciel qui, partir d'un systme d'axiomes et de rgles de dduction, produise les assertions prouvables les unes aprs les autres. Donnons nous une assertion particulire, soit A, dont on veut savoir si elle est prouvable ou non. Nous pouvons modifier notre logiciel de sorte qu'il s'arrte si A est prouvable et boucle indfiniment sinon. Nous sommes ainsi Un tel logiciel ne peut exister ce qui amens nous poser le problme de ruine dfinitivement le projet d'Hilbert l'arrt des logiciels informatiques. de mcanisation de la preuve. Qu'est-ce qu'un logiciel ? Il s'agit d'un texte crit dans un certain langage de Tant mieux, sinon quel serait l'intrt programmation. Dans le jargon de des mathmatiques ? l'informatique, on parle de son code. La nature de celui-ci et le langage dans 6

lequel il est crit importent peu pour l'argument qui suit. Dans ce mme jargon, le texte entr au clavier est appel l'argument du logiciel. Ceci prcis, nous pouvons nous poser la question suivante : Existe-t-il un logiciel L qui, prenant en entre un logiciel X, c'est--dire son " code " puis un argument x, sait dire si X s'arrte ou non pour l'entre de l'argument x ? Supposons L crit et notons L (X, x) le rsultat de son excution pour les donnes X et x. Nous pouvons alors construire un logiciel P s'arrtant si : L (X, x) = "non" et bouclant indfiniment si L (X, x) = "oui". Que se passe-t-il si on applique P luimme ? S'il s'arrte, il boucle et s'il boucle, il s'arrte !

Equations et racines,une traque universelle


Elisabeth BUSSER
Qu'elles soient agricoles (dcoupage de terrains), patrimoniales (partage d'hritages) ou consumristes (achat et vente), les mathmatiques s'invitent dans la vie quotidienne ds l'Antiquit. Leurs premires traces sont faites de calculs qui, sans le dire, ne sont autres que des quations. Les mthodes de rsolution n'ont cess, travers le monde entier, de se codifier et de s'affiner jusqu' aujourd'hui. rsoudre des quations du type ax = b. Il leur suffisait de trouver 1/a dans la table et de le multiplier par b pour obtenir la solution. Evidemment, les calculs en base soixante (systme hexadcimal) taient un peu lourds, et ne se faisaient bien souvent que par approximation, certains nombres comme 13 ne possdant pas d'inverse exact. Pour les quations du second degr, les Babyloniens connaissaient pratiquement dj l'algorithme de calcul actuel. C'est une autre table, celle des valeurs de n2 + n3, qui leur permit de rsoudre une quation plus complique, du type ax3 + bx2 = c. Nous dirions aujourd'hui que le changement de variable x = by/a transforme cette quation en y3+y2=ca2/b3. La table donnait une valeur de y et, pour trouver x, on recalculait, l'envers, by/a. Il suffisait d'y penser ! Ici, pas question de notation algbrique, mais quelle intelligence dans la technique de rsolution ! Dans l'ancienne Egypte, quelques sicles plus tard, toujours pas de symbolique algbrique, mais des calculs d'inverses allgs par l'utilisation de fractions de numrateur gal 1. Les Grecs, eux, ont fait de la gomtrie leur dogme et transforment les problmes algbriques en constructions gomtriques la rgle et au compas. Dans les treize livres des Elments d'Euclide (environ 300 avant J-C.), pas de rsolution explicite d'quation mais des constructions gomtriques fournissant les solutions. 7

Une algbre en devenir

Les Babyloniens de la premire dynastie, vers 1700 avant J-C. taient dj alls assez loin dans les mthodes de rsolution d'quations, y compris celles du second ou du troisime degr. Connus pour tre de grands constructeurs de tables, ils les utilisrent pour rsoudre des quations. La table des inverses leur permit par exemple de

Tablette babylonienne

Equations et racines, une traque universelle


Dans le livre I, Proposition 44, pour rsoudre l'quation ax = b, Euclide propose de reprsenter a et x comme des mesures de longueur et b comme l'aire d'un rectangle. La proposition 30 du Livre VI contient en proposant le partage en moyenne et extrme raison tout ce qu'il faut pour rsoudre une quation de degr 2 du type x2 + ax = a2 .

carr et rectangle sont de mme aire

Il construit le carr ABCD de ct [AB] et le rectangle DFHI de mme aire et tel que AFHG soit aussi un carr. Il a pris soin d'exposer auparavant cette construction (par exemple en utilisant l'arc BF de centre E, milieu de [AB] ). Les deux carrs de la figure tant semblables, GB/GA = GH/GI, donc GB/GA = GA/AB. Le point G est celui qui partage le segment [AB] en moyenne et extrme raison. Euclide ne le dit pas explicitement, mais la rsolution graphique de l'quation x2 + ax = a2 est immdiate. Le ct du carr ABCD reprsente a et la construction prcdente fournit aussitt le ct du carr AFHG cest dire x. C'est plus tard, vers 250 aprs J-C., qu'on voit apparatre, chez Diophante, un dbut d'criture algbrique o l'inconnue s'appelle le nombre et se nomme par une lettre de l'alphabet.

La voie est ouverte pour crer l'algbre et son cortge de notations, ce que vont faire les mathmaticiens arabes du Moyen-Age, hritiers directs de la culture mathmatique grecque, qu'ils ont beaucoup tudie. Ils vont l'enrichir de leurs propres techniques algorithmiques. Al-Khwarizmi (780-850), premier savant de l'cole de Bagdad, celui-l mme dont le nom a donn le mot "algorithme", pratique par exemple couramment la rsolution des quations du second degr. Il commence par donner les racines avec des radicaux, puis confirme ses rsultats par une dmonstration gomtrique et donne enfin une application numrique. Ses calculs se fondent sur deux oprations fondamentales : al-jabr (d'o le mot "algbre"), transposition des termes, et al-muqabala, rduction des termes semblables. Sa gomtrie est celle d'Euclide et utilise abondamment la "compltion du carr". A propos dun problme dargent : " Un carr et dix racines sont gaux 39 dirhams ", il doit donc rsoudre x2 + 10x = 39.

Les " pros " de l'algbre

Equations et racines, une traque universelle


Le premier carr construit a pour ct l'inconnue, les deux rectangles reprsentent les dix racines, le tout ayant une aire de 39. On complte la figure pour en faire un carr. Il a pour ct 8 puisque 39 + 25 = 64 = 82. Il ne reste plus qu' faire la diffrence 8 - 5 pour obtenir x = 3. Si Al Khwarizmi n'a pas dpass le degr 2, un autre mathmaticien arabe clbre, Omar Al-Kayyam traita, lui, vers 1074, des quations de degr 3, reprenant le problme d'Archimde : dcouper une sphre par un plan de manire que les volumes des deux calottes soient dans un rapport donn. Al-Kayyam reconnat que la solution tient dans l'intersection d'une parabole et d'une hyperbole, mais ne va pas jusqu'au bout de sa rsolution. Il faudra attendre la Renaissance et la grande poque des mathmaticiens italiens Del Ferro (vers 1515), Cardan et Tartaglia (vers 1545) pour arriver une tude complte de la rsolution algbrique des quations de degr 3. Les formules de Cardan qui permettent de trouver ces quations une solution relle, ont fait faire la gnration suivante de mathmaticiens, comme Bombelli (vers 1572) un pas vers la cration des nombres complexes. En effet, que rpondre la question : Que se passe-t-il quand cette formule ne s'applique plus et o pourtant l'quation a une solution relle ?
Page du plus vieux livre dalgbre du monde, le Kitab al-Jabr wal-Muqabala du mathmaticien Al Khwarizmi

Les mathmaticiens franais vont prendre le relais des Italiens. Vite, vers 1593, simplifie les notations algbriques et donne une mthode de rsolution des quations de degr 3 et plus. On raconte mme que, pour relever le dfi lanc par Adrien Romain, il trouva les 23 racines positives d'une quation de degr 45 ! On doit Descartes (1596-1650) l'utilisation systmatique des lettres en mathmatiques : celles du dbut de l'alphabet pour les quantits dtermines, celles de la fin pour les indtermines. Il propose galement une rsolution gnrale des quations au moins jusqu'au degr 6 grce la gomtrie analytique. Paralllement, Newton (1671) et Raphson (1690), prfigurant les travaux d'aujourd'hui, imaginent des mthodes de rsolution par approximations. Lorsqu'il s'agit par exemple de rduire en suite infinie l'quation y3 - 2y = 5. On part de 2 comme premire approximation de la solution. En remplaant y par 2+p, et en liminant certains termes cause de leur petitesse, on arrive affiner : p = 0,1.

La rvolution cartsienne

Equations et racines, une traque universelle


Et on recommence poser p = 0,1 + q, liminer les termes non significatifs pour obtenir q = 0,0054, etc Quelle belle anticipation sur les algorithmes informatiques actuels !

L'effet Galois

Avec Lagrange puis avec Abel, on passe la vitesse suprieure. Lagrange lie, en 1770, la rsolubilit par radicaux des quations de degr trois et certaines proprits d'invariance par permutations Extrait du mmoire dEvariste Galois. des racines. Il tudie donc les proprits La veille du duel qui lui cota la vie 21 ans, Galois de ces ensembles de permutations qui crit en marge de ses notes : Il y a quelque chose complter dans cette prendront avec Galois le nom de dmonstration. Je nai pas le temps. groupes. Utilisant les rsultats de Lagrange, Abel travaille sur les quations de degr 5, prouvant qu'elles ne sont pas rsolubles par radicaux. Il gnralise en 1829 aux classes d'quations ainsi rsolubles. Reprenant leurs ides, Galois (1811-1832) dfinit le concept de groupe : il englobe dans cette notion les permutations des racines d'une quation telles qu'une relation algbrique satisfaite par ces racines le reste aprs permutation des dites racines. Le groupe de Galois d'une quation polynmiale est n ! Le gnie de Galois ne s'arrte pas l : il va lier les proprits de ce groupe au fait que l'quation associe soit ou non rsoluble par radicaux. Il introduira pour les besoins de son tude des notions qui constitueront la thorie des groupes, pilier de l'algbre moderne. On est pass du terrain, celui de la rsolution d'quations algbriques la thorie, celle qui fonde les mathmatiques d'aujourd'hui.

10

Gomtrie, une longue histoire


Elisabeth BUSSER
Ds l'poque secondaire, les mollusques construisaient leur coquille en suivant les leons de gomtrie transcendante disait Gaston Bachelard. C'est dire l'emprise de la gomtrie sur nos vies et cela pourrait expliquer pourquoi l'approche du monde des premiers mathmaticiens a t gomtrique. La gomtrie, science des figures au dpart, a permis le dveloppement de la pense mathmatique pendant deux millnaires. Ce sont des problmes connexes la gomtrie qui ont permis paralllement le dveloppement d'autres branches des mathmatiques. La gomtrie a beaucoup volu au cours des sicles et aujourdhui ses images permettent de comprendre les concepts mathmatiques qu'elle a fait merger et qui ont maintenant un dveloppement autonome. Au dpart, la gomtrie est la science des figures. Ainsi, en Egypte ancienne, o la gomtrie d'arpentage est de mise, nat, ct de la pratique, un dbut de science gomtrique, mettant en particulier en vidence certaines proprits du triangle et du cercle. En Grce, il reste du VIe sicle avant J-C. un grand nombre de rsultats gomtriques et les noms de grands gomtres : Thals, le premier savant philosophe, le premier faire de l'angle une grandeur fondamentale, comme la longueur, l'aire ou le volume, puis Pythagore, Hippocrate de Chios, Eudoxe de Cnide, Avec eux, on traite de l' inscription d'une sphre dans un cne, la similitude des triangles, les proprits du cercle, des polygones et des polydres, des coniques. Les Elments d'Euclide (-330, -270) constituent la premire synthse, avec le souci de fonder la gomtrie et d'en faire une science dmonstrative au sens d'Aristote. Ce que nous appelons savoir c'est connatre par la dmonstration disait ce dernier.
Le thorme de Pythagore vu par Euclide

L'hritage grec

On retient surtout d'Euclide la rigueur de la mthode et la tentative de classification des rsultats. On doit Archimde (-287, -212), plus physicien que mathmaticien, la premire valeur prcise du nombre , entre 3 + 10/71 et 3 + 10/70. L'un des ouvrages les plus complets de la mathmatique grecque est les Coniques d'Apollonius de Perge (fin du IIIe sicles avant J-C.). Il y rassemble des rsultats dj connus auxquels il mle les siens propres, traitant toutes les sections coniques partir du mme cne. Aprs Apollonius, les mathmaticiens comme 11

Gomtrie, une longue histoire


Hipparque de Metaponte (environ vers 150 avant J-C.) tablissent des tables donnant les mesures des cordes d'un cercle quivalentes nos tables de sinus, dont la prcision va augmenter avec les travaux de Ptolme (IIe sicle aprs J-C.) Aprs Ptolme va s'instaurer une tradition d'tude des connaissances mathmatiques des sicles antrieurs, dont les dveloppements vont apparatre dans le monde arabo-islamique. Si les mathmaticiens arabes sont alls bien au-del des Grecs dans le domaine algbrique et numrique, on trouve peu de gomtrie si ce n'est celle des Grecs dans les ouvrages de mathmatiques arabes du Moyen-Age, qui la prsentent plutt sous un jour calculatoire (aires, longueurs). Dans les ouvrages d'AlKhwarizmi et d'Abul-Wafa les formules sont nombreuses. Par exemple Le Livre ncessaire aux scribes est en fait un mmoire de calcul : calcul de l'aire d'un triangle semblable celle de Hron, calcul de l'aire d'une sphre en fonction de celle d'un de ses grands cercles, calcul du volume en fonction de la surface.

Portulan extrait de latlas dress en 1467 par le navigateur Grazioso Benincasa. Ce sont les cartes marines les plus prcises et renseignes de lpoque.

De l'algbre dans la gomtrie

Allant au-del de la gomtrie de figures, les Grecs ont prpar le terrain l'tude la gomtrie analytique. Ils ont eu l'ide de lier gomtrie et relation entre certaines quantits variables en faisant intervenir deux paramtres prfigurant nos actuelles coordonnes. Apollonius les utilise par exemple pour crire des quations des coniques. Nicolas Oresme, lui, va au XIVe sicle imaginer une reprsentation graphique

utilisant une latitudo et une longitudo, comme abscisse et ordonne. Descartes reprendra dans sa Gomtrie les calculs d'Apollonius et les gnralisera au lieu de les limiter une figure donne. Ses notations symboliques, o constantes et variables sont reprsentes par des lettres, vont considrablement allger ses calculs, contrairement Fermat qui, pour arriver aux mmes rsultats, continue d'utiliser l'algbre gomtrique des Grecs. Sa technique permet Descartes d'aborder des problmes de lieux gomtriques rests jusqu'alors sans solution vidente. La gomtrie analytique s'tend l'espace avec Clairaut vers 1731 et Euler, qui donne en 1748 une formule claire de changement d'axes. Lagrange (vers 1770) va rompre avec ce mlange de considrations gomtriques et analytiques en faisant de la gomtrie sans figure, par une approche purement analytique. Monge (17461818), dont l'uvre gomtrique est immense, utilise fond la gomtrie analytique : il tudie par exemple les surfaces uniquement l'aide d'quations aux drives partielles. Il imagine aussi

12

Gomtrie, une longue histoire


des reprsentations de solides de l'espace en les projetant sur deux plans : c'est le dbut de la gomtrie dite descriptive. La gomtrie projective est ne de l'tude de la reprsentation en perspective. Ce qui tait difficile pour les Anciens, mme s'ils percevaient dj la notion de point de fuite, est devenu naturel pour les peintres italiens du Quattrocento, sous l'impulsion d'architectes comme Brunellesci et Alberti vers 1435. Piero Della Francesca (14161492) est le premier thoricien de la perspective et Lonard de Vinci, la fin du XVe sicle donne des rgles du dessin perspectif, suivi par Drer qui les tablit rigoureusement dans son trait Unterweysung der Messung (entre 1525 et 1538). La perspective de ces peintres est la projection centrale, associant tout point de l'objet reprsenter sa projection sur le plan du tableau, c'est--dire l'intersection entre le plan du tableau et la droite joignant l'il de l'observateur au point reprsenter. Dans ce mode de reprsentation, les parallles non parallles au plan du dessin sont reprsentes comme scantes au point de fuite. Les paralllogrammes ne sont donc pas reprsents par des paralllogrammes, les cercles pas par des cercles, les milieux ne sont pas conservs, mais les alignements subsistent. Quelles sont alors les proprits qui restent vraies ? L'alignement, certes, mais aussi le birapport de quatre points aligns A, B, C, D, dfini en son temps par Apollonius et Pappus (IIe sicle aprs J-C.). C'est la conservation du birapport qui

Gomtrie projective : une autre approche

La gomtrie de Drer

va fonder la gomtrie projective, l'tude des proprits des figures qui se conservent par une succession de perspectives centrales, des transformations projectives. Le point de fuite sera le point l'infini de toutes droites d'une mme direction perpendiculaire au plan du tableau. L'architecte-ingnieur Desargues (15931662) va tenter de simplifier cette nouvelle thorie, suivi par Pascal qui, vers 1658, thorise ses ides. Un peu tombe dans l'oubli, la gomtrie projective renat la fin du XVIIIe sicle avec Monge (1795), Poncelet (1822), Chasles (1837). A la fin du XIXe sicle, Hilbert, Klein et Darboux vont en formuler rigoureusement les axiomes. Cette approche de la gomtrie, non par les proprits des seules figures mais par leurs transformations, ainsi que l'tude des invariants de ces transformations, va donner une autre tournure cette branche des mathmatiques, qu'on utilise abondamment aujourd'hui dans les systmes de rendu graphique sur ordinateur.

13

Gomtrie, une longue histoire


Si la gomtrie projective a revisit les vues d'Apollonius sur les coniques, il est une des demandes d'Euclide qui agita fort les gomtres, c'est le fameux cinquime postulat . D'aprs l'nonc d'Euclide, Si une droite, tombant sur deux droites, fait des angles intrieurs du mme ct plus petits que deux droits, ces droites prolonges l'infini se rencontreront du ct o les angles sont plus petits que deux droits. La gomtrie euclidienne estime qu'il n'a pas besoin d'tre dmontr, d'autres, comme Saccheri en 1733, pensent pouvoir prcisment en faire la preuve mais en vain. A la fin du XIXe sicle, avec Hilbert, puis au XXe, avec Choquet la gomtrie euclidienne se modernise avec des axiomes indpendants et non contradictoires. On peut donc dsormais construire des gomtries en abandonnant le postulat des parallles : les gomtries non euclidiennes sont nes. Soit les angles intrieurs du cinquime postulat sont aigus, et c'est la gomtrie de Lobatchevski (entre 1826 et 1856). Soit ces angles sont obtus, et c'est la gomtrie de Riemann (1854). A la fin du XIXe sicle, Klein donna la preuve que ces deux gomtries sont chacune non contradictoires et Poincar dfinit un modle pour la gomtrie de Lobatchevski : le demi-plan (dit de Poincar), o les droites sont les demicercles centrs sur le bord. Dans cette gomtrie, on peut mener d'un point une infinit de parallles une droite et alors la somme des angles d'un triangle est

Les nouvelles gomtries

Les papillons

dEscher

infrieure deux droits. Pour la gomtrie de Riemann, le modle sera celui de la sphre, dont les droites sont les grands cercles. On ne peut alors, par un point hors d'une droite, mener aucune parallle cette droite et la somme des angles d'un triangle est suprieure un angle plat. Les mathmaticiens, en reconnaissant aux gomtries non euclidiennes un droit de cit ont renonc considrer la gomtrie comme une simple description du monde physique. C'est l'ouverture propose par Klein, dans le programme d'Erlangen (1872), qui conduit concevoir une gomtrie comme l'action d'un groupe G de transformations sur un ensemble. L'tude des objets gomtriques devient donc celle des invariants par l'action de certains sousgroupes de G. On est alors en mesure d'utiliser cette gomtrie ainsi axiomatise pour dcrire en retour le monde physique, comme par exemple en thorie de la relativit.

14

La conjecture de Riemann Un problme pour un millnaire


Benot RITTAUD
Quels seront les problmes qui occuperont le plus les mathmaticiens des mille prochaines annes ? Difficile de prtendre rpondre cette question si l'on pense aux incroyables bouleversements qui ont accompagn les mathmatiques depuis l'an mil. Des mathmaticiens ont pourtant relev le dfi. Offerte par l'Institut Clay de Mathmatiques, fond par Landon Clay et sa femme la fin des annes 1990, la somme est la hauteur de l'importance des questions poses par ces problmes. Sept problmes, un million de dollars pour chacun d'eux. P vs NP Conjecture de Hodge Conjecture de Poincar L'hypothse de Riemann Yang-Mills et hirarchie de masse Navier-Stokes et comportement continu Conjecture de Birsch et Swinnerton-Dyer Parmi les sept problmes, la conjecture de Riemann, communment appele hypothse de Riemann, occupe une place part. Cette conjecture postule que, en-dehors de cas triviaux sans grand intrt, les solutions s de l'quation : 1+1/1s +1/2s +1/3s +1/4s +1/5s += 0 sont toutes des nombres complexes de partie relle gale 1/2 . Il existe diffrents noncs quivalents de la conjecture pose au XIXe sicle par Georg Riemann, celui que nous donnons fait appel, outre la notion de srie (l'ide selon laquelle on peut ajouter des nombres les uns aux autres de faon rpte et infinie), celle de nombre complexe. Un nombre complexe est un nombre, que l'on peut toujours crire sous la forme a+bi, et dans lequel a et b sont deux nombres rels ordinaires et o i est une abstraction mathmatique dfinie pour l'occasion et qui vrifie que i2 = -1 (alors que, comme chacun sait, il n'existe aucun nombre rel qui, multipli par luimme, donne une valeur ngative). Les oprations sur les nombres complexes gnralisent de faon assez naturelle celles sur les nombres rels auxquels nous sommes plus habitus, mme s'ils reclent aussi des piges parfois inattendus.

Difficile de rsumer en quelques mots la teneur des questions mises prix par l' Institut Clay : certaines d'entre elles sont extrmement difficiles, comme la conjecture de Hodge, pour laquelle les mathmaticiens mme spcialistes doivent consacrer plusieurs heures rien que pour en comprendre l'nonc !

15

La conjecture de Riemann
La somme z(s), dfinie par 1+1/1s +1/2s +1/3s +1/4s +1/5s + avec le nombre complexe s = a+bi, ne tend vers un nombre fini que pour a >1. Mais on arrive donner un sens cette somme par une technique devine par Euler et explique compltement par Riemann. Ce qu'affirme la conjecture de Riemann, c'est que, sauf dans des cas particuliers simples traiter, la somme z(s) ne vaut 0 que lorsque le nombre complexe s = a+bi vrifie a = 1/2 (il s'agit d'une condition ncessaire mais non suffisante, c'est--dire qu'il faut que a = 1/2 pour esprer que z(s) soit nul, mais que le fait que a = 1/2 ne le garantit pas lui tout seul - loin de l). Cette conjecture peut paratre bien loigne de ce que pourraient tre des proccupations lgitimes d'ingnieurs, d'informaticiens et plus gnralement d'utilisateurs de mathmatiques, tournes vers la fabrication d'ailes d'avion toujours mieux profiles, d'algorithmes toujours plus rapides ou encore de ponts toujours plus grands et solides. On sait pourtant aujourd'hui que la conjecture de Riemann est probablement le Graal des mathmatiques, c'est--dire que sa dmonstration changerait jamais la face de la discipline. Limpact des dmonstrations de la conjecture de Riemann (ou sa rfutation) sur notre vie de tous les jours, serait rel et concernerait notamment certains protocoles scuriss sur internet qu'il conviendrait de modifier pour viter que les immenses connaissances sur les nombres que donnerait

Jean-Franois Colonna
Visualisation tri-dimensionnelle de la fonction Zeta, les zros sont aligns sur la droite critique lextrmit des zones bleues.

cette conjecture ne facilite par trop le travail des pirateurs de tout poil. Mais l'essentiel serait bien ailleurs. L'essentiel est qu'une nouvelle page de la science mathmatique serait tourne et que le mathmaticien, ou probablement l'quipe de mathmaticiens, qui tranchera dfinitivement la question pose par Riemann permettra aux mathmatiques de son sicle (qui n'a aucune raison d'tre le ntre, tant la question parat difficile) d'tre dfinitivement transfigures. Une ambition bien plus vaste que de celle de gagner quelques sous sur internet.

Pour en savoir (un peu) plus


Keith DEVLIN aux ditions Le Pommier, en 2005 Les nigmes mathmatiques du 3me millnaire, . http://www.math.univ-paris13.fr/~rittaud

16

La percolation la temprature critique


Wendelin WERNER
Nous allons dcrire un modle de configurations alatoires obtenues en coloriant au hasard les couleurs de chaque site dans un rseau plan, pour lequel de nouveaux rsultats ont t dmontrs rcemment. Nous prsenterons quelques ides et outils utiliss pour les dmontrer et nous les placerons dans un contexte un peu plus gnral. Cet article tant de nature introductive, il dcrit surtout des ides gnrales, dues des physiciens et des mathmaticiens. La dernire partie abordera des aspects plus rcents. peut dcrire l'aide du modle de pile ou face prcdent. Cette loi affirme que lincertitude du rsultat devient de plus en plus petite lorsque la taille du systme augmente. A la limite quand celui-ci devient infini, le rsultat de l'exprience a perdu son caractre alatoire et devient dterministe (on a alors 50% de pile). Parmi les systmes bien modliss de manire probabiliste, on peut mentionner les systmes de particules physiques. Au niveau microscopique, le comportement dsordonn des particules peut tre suppos alatoire. Comme on s'intresse au comportement d'un systme qui comporte un trs trs grand nombre de composantes microscopiques, le problme est de mme nature : on observe le rsultat au niveau macroscopique d'une exprience alatoire au niveau microscopique. C'est le principe de la Physique Statistique. L encore, les principaux rsultats montrent un comportement macroscopique dterministe malgr l'ala microscopique.

De nombreux vnements se prtent une interprtation probabiliste. Avant qu'ils ne se produisent, leur issue est incertaine, mais on peut tout de mme la dcrire travers sa loi. Si l'on tire pile ou face, on aura une chance sur deux d'observer pile. Les phnomnes alatoires peuvent ensuite se combiner pour former de nouveaux vnements, alatoires eux aussi. Par exemple, on peut tirer 10 000 fois pile ou face et regarder le nombre total de rsultats pile. L'un des buts de la thorie des probabilits est de dcrire mathmatiquement le comportement de trs grands systmes dans lesquels se combinent un trs grand nombre de phnomnes alatoires. Traditionnellement, le premier rsultat probabiliste enseign aux tudiants de niveau licence est la loi des grands nombres, que l'on

Ala microscopique et dterminisme macroscopique.

Le second rsultat probabiliste enseign en Licence est le thorme de la limite centrale qui dcrit (dans le cas d'un grand nombre de tirages pile ou face dcrit prcdemment) la loi de la (trs petite) dviation entre le rsultat effectif et le rsultat dterministe prvu. Si l'on chausse des lunettes trs sensibles, on voit malgr tout que le 17

Ala microscopique, ala macroscopique : la percolation critique.

La percolation la temprature critique


rsultat est alatoire, et on peut dcrire sa loi. Ce rsultat est la base de nombreuses applications en statistiques (par exemple les sondages d'opinion). Nous allons considrer un autre modle pour lequel on obtient des rsultats alatoires au niveau macroscopique. Nous allons encore effectuer un trs grand nombre de tirages pile ou face, et nous intresser d'autres phnomnes observables que la proportion de tirages pile. Dcoupons un grand losange sur un rseau en forme de nid d'abeille. Pour chaque cellule microscopique en forme d'hexagone, on tire pile ou face sa couleur (qui est noire si on tire pile, ce qui se produit donc avec une chance sur deux, et blanche si on tire face). Ainsi, on obtient un coloriage alatoire du losange. On recherche alors un chemin blanc (ou un chemin noir) sans coupure qui va d'un bord au bord oppos du losange. Il existe un jeu sur plateau appel Hex o deux joueurs dposent tour tour un pion de leur couleur sur un tel losange de taille 10x10. Le gagnant est celui qui arrive placer un chemin joignant les cts opposs du losange avant que son adversaire ait russi le bloquer en plaant un chemin joignant les deux autres cts opposs. On peut montrer qu'il n'existe pas de partie nulle ce jeu : lorsque le losange est entirement rempli, l'un, et uniquement l'un des deux types de chemin, est prsent. Dans le cas o le coloriage est alatoire, il est clair, par symtrie, que les deux vnements : il existe un chemin blanc de bas en haut et il existe un chemin noir de gauche droite ont

Jeu de Hex ayant appartenu Claude Berge, le grand thoricien des graphes.

autant de chances l'un que l'autre d'tre raliss. Ceci est vrai indpendamment de la taille du losange. Ainsi, pour ce modle, certains vnements restent alatoires au niveau macroscopique. La manire dont les alas microscopiques se combinent pour dcider sil existe un croisement blanc de gauche droite est de nature diffrente de l'exemple prcdent. On peut penser que le fait d'avoir tir plus de piles que de faces aide construire un croisement. C'est bien le cas, mais dans la limite o la maille du rseau est trs petite, les deux vnements il existe un croisement noir de gauche droite et on a tir plus d'hexagones noirs que d'hexagones blancs deviennent asymptotiquement indpendants (ce rsultat d Benjamini, Kalai et Schramm n'est pas du tout simple). On peut aussi montrer c'est un rsultat des mathmaticiens Russo, Seymour et Welsh vers la fin des annes 1970 - que si l'on remplace les losanges par d'autres formes, les probabilits de croisement ne tendent ni vers un ni vers zro lorsque la maille du rseau considr devient infiniment

18

La percolation la temprature critique


petite ; l'vnement reste alatoire. Une autre approche consiste tudier la forme des les noires (on dit mathmatiquement des composantes connexes noires). Voici ci-contre, une partie dune (grande) le. Le prcdent rsultat suggre l'existence d'une loi limite pour la forme de ces grandes les. Elles ont un bord extrieur, que l'on peut diviser en deux parties : la plage extrieure (tourne vers l'ocan) et les fjords Partie damas de percolation critique (desquels on ne peut s'chapper directement sans repasser prs de la plage formules exactes pour les modles sur rseau. Il faut utiliser plusieurs ides et extrieure). concepts mathmatiques sophistiqus, et Prsentons quelques rsultats prdits c'est ce qui fait leur intrt mathpar les physiciens thoriciens, et prouvs matique. rcemment par les mathmaticiens : - La probabilit pour qu'il existe un Quelques outils utiliss. croisement de gauche droite d'un Ce modle de percolation est l'archrectangle donn tend vers une limite type du modle critique en physique. On peut le gnraliser en dcidant de tirer lorsque le rseau devient trs petit. - On peut donner un sens rigoureux au pile ou face avec une pice biaise qui a fait que les grandes composantes une probabilit p de tomber sur pile et connexes ont une forme alatoire limite. 1- p de tomber sur face. Si p>50%, les - Une grande composante connexe de probabilits de croisement tendent vers diamtre N contiendra (en moyenne) un ( grande chelle, on a un seul grand environ N91/48 points. Son bord extrieur continent), et si p<50%, elles tendent contiendra (en moyenne) environ N7/4 vers 0 (on a alors grande chelle un points, et la plage extrieure contiendra seul grand ocan et de petites les). Ainsi, lorsque l'on fait varier le paramtre p, on (en moyenne) environ N4/3 points. - Il peut y avoir en mme temps de a un changement qualitatif abrupt, une l'ordre de N3/4 points blancs tels que si un transition de phase lorsque p passe par seul d'entre eux changeait de couleur, il 50%. Comprendre un modle critique n'y aurait plus de croisement d'un permet aussi de comprendre son losange donn de taille N alors qu'il y en comportement lorsque le paramtre est avait un avant. Ces rsultats sont en fait proche du point critique. Par exemple, en lis la notion de dimension fractale. Ils utilisant les rsultats obtenus pour la ne sont pas dmontrs par une mthode percolation critique, on peut montrer numrative consistant donner des que, lorsque p est suprieur (mais trs

19

La percolation la temprature critique


proche) de 50%, alors la densit du continent infini (c'est--dire la proportion de sites qui sont dans le continent infini) est de l'ordre de (p-0,5)5/36. Une cl pour comprendre la percolation critique consiste montrer que ce modle est asymptotiquement invariant conforme. Ceci peut tre formul de la manire suivante. Considrons la percolation critique dans un carr (pour un rseau hexagonal de maille trs fine). On observe alors des composantes connexes blanches et noires. Puis, regardons l'image obtenue en envoyant le carr dans le disque par une application conforme, c'est dire une dformation qui conserve les angles droits. On observe alors une image de composantes connexes distordues. L'invariance conforme dit que cette image a cependant la mme loi que celle que l'on aurait obtenue en considrant directement une percolation (de maille trs trs fine) dans le disque. Cette proprit, conjecture par les physiciens thoriciens, a t dmontre en 2001 par le mathmaticien russe Stanislav Smirnov. Une seconde cl consiste comprendre comment exploiter cette proprit. Vers 1999, le mathmaticien isralien Oded Schramm dcrit le comportement (lorsque la maille du rseau est trs trs fine) des frontires extrieures de percolation par l'intermdiaire d'itrations d'applications conformes alatoires. Ceci permet d'identifier les seules limites 20

Trajectoire d'un lacet brownien

invariantes conformes possibles pour les formes des amas de percolation critique. Il faut alors comprendre les proprits des itrations d'applications conformes, et les relier au modle de percolation discrte, ce que nous avons fait en collaboration avec Greg Lawler et Oded Schramm, et avec Stanislas Smirnov. Une troisime ide, dveloppe avec Greg Lawler et Oded Schramm, consiste montrer que les formes alatoires ainsi dfinies ne sont pas propres au modle de percolation critique. Par exemple, le dessin cidessus reprsente l'ensemble des points visits par une marche alatoire dans le plan. Plus prcisment, on imagine qu'un promeneur choisisse au hasard parmi toutes les balades possibles qu'il peut faire (en un trs long temps donn) en partant et en retournant sa maison. Ainsi, il fera beaucoup de va-et-vient et passera de nombreuses fois par certains points (et n'ira pas trs loin). Mathmatiquement, on dit que cette trajectoire est un lacet brownien.

La percolation la temprature critique


Un rsultat rcent de 2005 montre que la forme alatoire de la plage ainsi dfinie a exactement la mme loi que celle dfinie par les trs grands amas de percolation critique. Ceci est rapprocher de la conjecture de Benot Mandelbrot (dmontre avec Lawler et Schramm en 2001) qui dit que la dimension fractale de cette plage est 4/3 (ce qui correspond au nombre N4/3 de points sur la plage des amas de percolation).

Mdaille Fields

Ct Pile

Ct Face

En conclusion
La percolation que nous venons de dcrire n'est qu'un modle parmi d'autres pour lequel les ides mathmatiques tournant autour de l'invariance conforme et de l'itration d'applications conformes alatoires s'appliquent. Cependant, il reste de nombreuses questions fondamentales ouvertes pour des modles naturels. Par exemple, on ne sait pas montrer l'invariance conforme de la percolation critique sur d'autres rseaux plans. Mentionnons l'importance des contributions des physiciens thoriciens (par exemple via le dveloppement de la thorie conforme des champs dans les annes 1980) comme Cardy, Nienhuis, Duplantier ou Saleur (ces deux derniers sont au Commissariat l'Energie Atomique sur le plateau de Saclay).
J'ai effectu mes tudes secondaires et suprieures en France. A l'issue de ma scolarit l'Ecole Normale Suprieure en 1991, j'ai t charg de recherches au CNRS, et, depuis 1997, je suis professeur l'universit Paris-Sud (Orsay). Pour mes travaux sur les phnomnes alatoires plans, dont beaucoup ont t effectus en collaboration avec Greg Lawler et Oded Schramm, j'ai obtenu la mdaille Fields en t 2006. Wendelin Werner

Pour en savoir (un peu) plus : WendelinWerner : liens vers des articles et interviews partir de la page web http://www.math.u-psud.fr/~werner/vulga.html WendelinWerner : La Recherche Mai 2007 : Les frontires alatoires entre physique et mathmatiques

21

Des lunettes pour un tlescope spatial sans aller dans l'espace ?


Erwann Le PENNEC et Dominique PICARD
Le tlescope spatial Hubble a t lanc en avril 1990, il devait fournir des images d'une qualit inaccessible pour des tlescopes terrestres. Les premires images reues par les astronomes s'avrrent extrmement floues du fait d'un dfaut physique sur le miroir principal du tlescope. Pour corriger ce problme, il suffit d'ajouter quelques optiques supplmentaires, de vritables lunettes... Mais le satellite est en orbite et une telle opration de maintenance est trs complexe. Elle ne put tre effectue qu'en dcembre 1993, car il fallait trouver une solution ce problme sans aller dans l'espace. Ce sont les mathmaticiens qui ont fourni des outils permettant de crer des lunettes virtuelles corrigeant en grande partie les dfauts de l'optique de Hubble. Ils y reconnaissent un exemple d'une classe de problmes classiques en mathmatiques, la classe des problmes inverses. Il s'agit de retrouver une image de l'espace qui a t dgrade par un oprateur (l'optique du tlescope est dfectueuse) et l'addition d'une perturbation, (on parle de bruit : les capteurs ne sont pas parfaits), partir de l'observation dgrade et bruite. En statistique, on dit qu'on cherche estimer l'image initiale. Il n'existe bien sr pas de mthode universelle pour rsoudre ces problmes. Un principe simple, hritier de la pense d'Occam, un moine franciscain du XIVe sicle, rsume cependant le principe de la plupart des mthodes modernes. Le principe du rasoir d'Occam stipule que parmi toutes les explications plausibles, il faut choisir la plus simple. Que signifie ce principe gnral ici ? Une explication est une image que l'on suppose tre l'image initiale. Cette explication est plausible si, quand on lui fait subir la dgradation due l'optique dgrade du tlescope et l'addition d'un bruit, elle ressemble l'image observe. La simplicit de l'explication correspond alors la simplicit de l'image...

Les mathmaticiens interviennent...

Une image idale gauche et l'image floue et bruite observe par Hubble, droite

Il n'y a malheureusement pas de dfinition universelle de la simplicit d'une image et encore moins de dfinition universelle mathmatique. Les mathmaticiens s'accordent cependant sur la notion de concision : une image simple est une image qui se dcrit avec peu de paramtres. Encore faut-il savoir dcrire mathmatiquement une image... La dcomposition dans une base orthonorme fournit souvent un outil efficace pour cela. Comme une position sur le globe terrestre est donne par sa latitude et sa longitude, une image peut tre spcifie par ses coordonnes

Mais qu'est-ce qu'une image simple ?

22

Des lunettes pour un tlescope spatial


dans une base. La simplicit d'une image se traduit alors par la simplicit de ses coordonnes, par exemple le fait que beaucoup d'entre elles soient nulles. Cette simplicit dpend alors de la base utilise et le choix d'une base adapte aux images est donc crucial. Une image numrique est une mosaque (une matrice) de pixels. La couleur de chacun de ces pixels est spcifie par une valeur de rouge, une valeur de vert et une valeur de bleu. Si toutes les coordonnes sont nulles le pixel est noir. Une image valeurs et cela correspond la peut ainsi tre dcrite par la liste de ces dcomposition dans une base dite canonique. Malheureusement, les images simples dans cette base ne correspondent pas aux images naturelles simples. Il existe cependant des bases dans lesquelles les images simples correspondent bien aux images naturelles simples : les bases multichelles d'ondelettes qui dcrivent les images comme des superpositions d'imagettes lmentaires simples et identiques mais dont on fait varier les tailles et les positions.

Vers un bon compromis ...

Des explications de plus en plus complexes de haut en bas et droite leurs versions floutes et bruites. L'image du milieu est le meilleur compromis entre simplicit (l'image de gauche n'est pas trop complexe) et une bonne explication (l'image de droite ressemble l'image perue)

Pour estimer une image partir de son observation dgrade et bruite, il faut donc faire un compromis entre la simplicit de l'image et l'adquation entre cette image et l'observation. Il existe de nombreuses manires de dfinir mathmatiquement ce compromis et de rechercher une image ralisant le meilleur compromis. Les statisticiens parlent de mthode de seuillage, de slection de modles, de modlisation baysienne et de bien d'autres choses... Pour comparer ces estimateurs, on peut

23

Des lunettes pour un tlescope spatial


regarder leurs performances sur des donnes relles (traitement du signal) ou leurs proprits mathmatiques (statistique). Ce problme est en fait dlicat et les deux types de comparaison sont ncessaires. En effet, il est indispensable qu'une mthode soit satisfaisante en pratique, nanmoins il n'est pas possible de la tester sur 'toutes' les images et le fait qu'elle donne de bons rsultats sur quelques cas ne prjuge pas de sa qualit Le tlescope spatial Hubble - crdit NASA sur les autres. Une tude mathmatique Cependant on retrouve l le problme de est donc ncessaire. la description mathmatique d'une image qui n'est pas dfinitivement rsolue. Les modles que nous possdons actuellement sont encore partiels. Heureusement, la plupart du temps ce sont les mmes estimateurs qui sont les meilleurs selon les deux critres. La thorie et la pratique se rejoignent..
Les mathmatiques ont constitu pour moi une aventure rencontre par hasard (au lyce) et qui a pris petit petit une grande place dans ma vie. L'tude mathmatique des phnomnes probabilistes m'a montr, que si on ne matrisait pas le hasard, on pouvait toutefois apprendre le comprendre et parfois le djouer. Dominique Picard
Pour en savoir (un peu) plus :
Le rasoir d'Occam : http://en.wikipedia.org/wiki/Occam E. Le Pennec La compression d'images dans "Images des mathmatiques, http://www.math.cnrs.fr/imagesdesmaths/ Nos pages web qui contiennent des rfrences plus spcialises : www.math.jussieu.fr/~lepennec www.proba.jussieu.fr/pageperso/picard/picard.html

Des explications de plus en plus complexes de haut en bas et droite leurs versions floutes et bruites. L'image du milieu est le meilleur compromis entre simplicit (l'image de gauche n'est pas trop complexe) et une bonne explication (l'image de droite ressemble l'image perue par Hubble)

24

Itration de polynmes dans le plan complexe


Jean-Christophe YOCCOZ
Les nombres complexes ont t initialement dcouverts comme racines manquantes d'quations polynomiales : c'est ainsi que le nombre imaginaire i est la racine carre du nombre - 1. Au XIXe sicle, Cauchy, Riemann et Weierstrass dveloppent le calcul diffrentiel de Leibnitz et Newton dans le champ complexe et en exposent la richesse trs spcifique. Au dbut du XXe sicle, Pierre Fatou et Gaston Julia tudient l'itration de polynmes et fractions rationnelles dans le plan complexe, s'appuyant sur les ides dveloppes quelques annes plus tt par Henri Poincar. Aprs quelques dcennies de stagnation relative, leur thorie prend un essor nouveau au dbut des annes 1980, en raison notamment des possibilits de simulation numrique et production d'images offertes par les ordinateurs. Les nombres complexes s'identifient aux points du plan, appel dans ce cas plan complexe. Chaque nombre complexe a un module, sa distance l'origine, et un argument, l'angle que forme le rayon qui le relie l'origine avec le rayon horizontal positif. L'addition des nombres complexes est celle des vecteurs. Pour multiplier deux nombres complexes, on multiplie leurs modules et on ajoute leurs arguments. Etant donn un polynme P coefficients complexes, on dfinit une suite partir de sa valeur initiale z0 par la relation de rcurrence zn + 1 = P (zn). On veut comprendre le comportement de cette suite pour tous les choix possibles de z0. Le cas le plus simple est celui d'un point fixe vrifiant z0 = P (z0) = z1 ou plus gnralement d'un point priodique vrifiant z0 = zn pour un entier n > 1. Le cas o P est de degr 1 tant lmentaire, on supposera que le degr de P est au moins gal 2. On appelle alors ensemble de Julia rempli l'ensemble K des valeurs initiales z0 pour lesquelles la suite zn ne s'chappe pas l'infini. Lorsque la valeur initiale se trouve l'intrieur de K, le comportement de la suite zn est simple : soit elle converge vers une orbite priodique, soit elle tourne autour d'une orbite priodique suivant un mouvement de rotation (dforme) d'angle incommensurable avec 2 . Lorsque la valeur initiale z0 se trouve au contraire sur le bord de K (ce bord constitue l' ensemble de Julia proprement dit), le comportement de la suite zn est typiquement chaotique, s'apparentant une suite de tirages au sort d'un d ou d'une pice de monnaie. L'existence de domaines o la dynamique s'apparente une rotation (de tels domaines sont appels disques de Siegel) n'tait pas connue de Fatou et Julia. Elle dpend de problmes dits de petits dnominateurs, bien connus des astronomes depuis le XVIIIe sicle, mais seulement rsolus partir de 1942 par C.L. Siegel puis un peu plus tard par A. Kolmogorov, V. Arnold et J. Moser (la "thorie KAM"). A la suite des travaux de A. Brjuno et moi-mme,
25

Itration de polynmes
on connat exactement quels angles donnent lieu des disques de Siegel pour les polynmes quadratiques. L'ensemble de Julia est en gnral un objet fractal : par exemple, pour le polynme P (z) = z2 + c avec c petit mais non nul, l'ensemble de Julia est une courbe entourant l'origine dont la dimension fractale est strictement comprise entre 1 et 2. L'ensemble de Julia n'a pas d'intrieur ; a-t-il pour autant une aire nulle ? La question, voque par Julia, a pris de l'importance avec les travaux de D. Sullivan dans les annes 1980. Poursuivant une stratgie propose par A. Douady au dbut des annes 1990, X. Buff et A. Chritat viennent de montrer que la rponse est ngative, en construisant des polynmes quadratiques pour lesquels l'aire de l'ensemble de Julia est strictement positive. Par une suite de perturbations trs soigneusement contrles, ils font disparatre l'intrieur d'un disque de Siegel sans affecter sensiblement son aire.

Aprs la premire tape de la construction de Duff et Chritat : lensemble de Julia rempli, proche du prcdent, a un intrieur beaucoup plus mince. Crdit photo : Arnaud Chritat

C'est Michel Herman qui m'a initi la recherche partir de 1977 alors que j'tais lve l'Ecole Normale Suprieure. Un long sjour l'IMPA de Rio de Janeiro a t le prlude des relations privilgies avec le Brsil depuis plus de 25 ans. Aprs avoir t charg de recherches au CNRS au Centre de Mathmatiques de l'Ecole Polytechnique, j'ai t professeur l'Universit ParisSud (Orsay) avant d'occuper au Collge de France depuis 1996 la chaire d'Equations Diffrentielles et Systmes Dynamiques. Je suis membre des Acadmies des Sciences franaise et brsilienne, ainsi que de la TWAS (acadmie des sciences des pays en dveloppement). J'ai reu la Mdaille Fields en 1994 pour mes travaux sur la thorie des Systmes Dynamiques. Jean-Christophe YOCCOZ
Pour en savoir (un peu) plus :
A.F. BEARDON, Iteration of Rational Functions, Springer (1991). L. CARLESON, T.W. GAMELIN, Complex Dynamics, Springer (1993). J. MILNOR, Dynamics in one complex variable : introductory lectures, Arxiv preprint math.DS/9201272 (1990).

Un ensemble de Julia rempli avec disque de Siegel ; langle de rotation est gale au nombre dor.
Crdit photo : Arnaud Chritat

J-C. YOCCOZ, Ensembles de Julia de mesure positive et disques de Siegel des polynmes quadratiques [d'aprs X. Buff et A. Chritat], Sminaire Bourbaki n 966, 20052006, p. 385-401.

26

La dynamique qualitative
tienne GHYS
Depuis Newton, on sait que les forces modifient le mouvement. Si la terre tait seule dans lespace, elle se dplacerait vitesse constante le long dune trajectoire rectiligne. Mais la force de gravitation exerce par le Soleil modifie cette trajectoire et la Terre tourne autour du Soleil. Il est souvent facile de comprendre les forces qui agissent, mais il est par contre beaucoup plus difficile den dduire les trajectoires du mouvement qui en rsulte. Cest le but de la thorie des quations diffrentielles. Pendant deux sicles, il sagissait de rsoudre les quations diffrentielles, cest--dire de trouver une formule dcrivant la trajectoire cherche. Vers la fin du dix-neuvime sicle, Henri Poincar prit conscience du fait quil est bien souvent impossible de trouver une telle formule. Il dcida alors de crer une thorie qualitative, la fois plus modeste et plus ambitieuse. Lorsquun lve essaye de tracer le graphe dune fonction (sans utiliser sa calculette !), il commence par dterminer ses points remarquables, ses maxima, ses points dinflexion, ses asymptotes, et ensuite, main leve, il en dduit lallure gnrale de la courbe, ce qui est une information trs riche, souvent suffisante pour les applications. Dans la thorie qualitative des systmes dynamiques, on dtermine de mme quelques trajectoires remarquables, les positions dquilibre, les asymptotes, et on essaye ensuite den dduire lallure gnrale des trajectoires. Pour dvelopper sa thorie, Poincar a besoin de construire de toutes pices une autre thorie, prliminaire toute description qualitative des formes en mathmatiques : la topologie. Un exemple important vient de la mcanique cleste. Si trois masses dans lespace sattirent selon les lois de Newton, quelles sont les trajectoires ? Existe-t-il des configurations pour lesquelles le mouvement est priodique ? Cest sur cet exemple que Poincar met en vidence le concept de mouvement chaotique. Depuis un sicle, les thories des systmes dynamiques et de la topologie se sont largement dveloppes et un tissu serr de liens a t tabli avec toutes les autres parties des mathmatiques. Par exemple, en 1964, le mtorologiste E. Lorenz tudiait le problme extrmement complexe de la convection dans latmosphre. Il nhsita pas simplifier lquation de manire presque caricaturale, passant dune quation diffrentielle en dimension infinie une quation en dimension 3. Lorsquil traa les trajectoires de son systme avec un ordinateur, il observa un objet remarquable, quon appelle aujourdhui lattracteur de Lorenz. Applique la mtorologie, lide de trajectoire chaotique devient le fameux effet papillon : un battement des ailes dun papillon au Brsil pourrait provoquer un ouragan au Texas ! Les consquences scientifiques et philosophiques de ce genre dides sont importantes, pas seulement en math27

La dynamique qualitative
matiques. Lattracteur de Lorenz est devenu un objet emblmatique de la thorie, dabord parce quil est joli, mais aussi parce quil rsiste aux perturbations. Dans les annes 1980, Birman et Williams ont analys la nature topologique des trajectoires priodiques : ce sont des courbes fermes dans lespace qui peuvent donc tre noues. Quels sont les nuds que lon rencontre dans lattracteur ? Il sagit en quelque sorte de mesurer la complexit topologique de lobjet. Des liens inattendus entre les systmes dynamiques et la thorie des nombres se sont avrs extrmement fconds. Un nombre irrationnel comme par exemple a un dveloppement dcimal infini 3,141592653589... On cherche lapprocher par des fractions comme 22/7 ou 355/113. On peut toujours le faire, avec nimporte quelle prcision, mais le mathmaticien aimerait estimer la taille des numrateurs et des dnominateurs en fonction de la prcision. Cest le problme de lapproximation diophantienne qui peut se traduire dans la dynamique de ce quon appelle les godsiques sur la surface modulaire. Cest aussi un systme dynamique dans lespace, dont les trajectoires priodiques ont t tudies depuis longtemps : elles correspondent aux entiers quadratiques comme le nombre dor ! Ltude topologique de ces entiers quadratiques et des nuds quils dfinissent dans lespace vient dtre ralise. La surprise est que les nuds modulaires ainsi obtenus sont les mmes que les trajectoires priodiques 28

Attracteur de Lorenz - EG

dans lattracteur de Lorenz. Un lien est donc tabli entre deux objets dorigines bien diffrentes : un plaisir pour le mathmaticien !
Aprs une thse Lille en 1979, jai eu la chance de faire deux stages post-doctoraux passionnants lIMPA de Rio de Janeiro et luniversit de New York. Je travaille sur les systmes dynamiques et la gomtrie, en essayant de mettre laccent aussi souvent que possible sur les interactions entre les diverses parties des mathmatiques. Provincial convaincu , jai particip depuis 1988 la cration et au dveloppement du laboratoire de mathmatiques de lENS de Lyon. Jai lhonneur de travailler au CNRS et dtre membre de lAcadmie des Sciences. tienne GHYS
Pour en savoir (un peu) plus :
A. Chenciner, article dans lEncyclopdie Universalis. Systmes dynamiques diffrentiables, E . Ghys et J. Leys, Lorenz and modular flow, a visual introduction, http://www.ams.org/featurecolumn/archive/lorenz.html J. Gleick, chez Flammarion La thorie du chaos : vers une nouvelle science, I. Stewart, chez Flammarion Dieu joue-t-il aux ds ? Les mathmatiques du chaos, Thorie du chaos : http://fr.wikipedia.org/wiki/Theorie_du_chaos

Transport Optimal
Cdric VILLANI
Vous tenez le standard d'une entreprise de taxis et ce matin vous devez donner des instructions dix voitures, parpilles dans Paris, pour rcuprer dix clients dans dix endroits diffrents. Comment allez-vous apparier voitures et clients de manire minimiser le temps d'attente total ? partir de la fin des annes 1980, des chercheurs d'horizons trs divers constataient avec surprise que la thorie du transport optimal permettait dtablir des liens entre leurs domaines respectifs : quations des fluides incompressibles, systmes dynamiques, mtorologie, cosmologie, etc. C'est ainsi que vers 2000, une quipe mixte compose de physiciens et mathmaticiens publiait une mthode de reconstitution des fluctuations de l'Univers primitif base sur le transport optimal. Une direction de recherche, trs active en ce moment, concerne les applications du transport optimal la gomtrie, et plus particulirement l'tude de la courbure, qui mesure quantitativement la vitesse de sparation des godsiques, ou trajectoires des rayons lumineux. Les gomtres utilisent diffrentes notions de courbure ; celle qui est le plus directement lie au transport optimal est la courbure dite de Ricci, bien connue pour son rle majeur dans la thorie de la relativit gnrale d' Einstein. Dans cette thorie, les corps clestes dforment l'Univers en lui imposant une courbure non

Du transport des dblais la notion de courbure.

Comment transporter moindre frais ?

Le problme pos ci-dessus est un cas particulier du problme de transport optimal, dfini pour la premire fois vers 1780 par Gaspard Monge. Ingnieur et mathmaticien, pre de la gomtrie descriptive, ardent rvolutionnaire, fondateur de l'cole Polytechnique et proche de Napolon, Monge tait l'un des savants franais les plus influents de son poque. Son problme des dblais et des remblais est du mme type que le problme des taxis : comment transporter des matriaux de construction afin de minimiser le cot de transport total ? En 1942, le grand mathmaticien russe Leonid Kantorovich (Prix Nobel d'conomie) dfinissait une classe plus gnrale de problmes d'optimisation et introduisait de puissants outils pour leur tude thorique et numrique. La thorie du transport optimal tait ne.

29

Transport optimal
nulle, ce qui dvie les rayons lumineux et modifie les observations : par exemple, si la courbure est positive, on a tendance surestimer la surface de l'objet observ. Voici maintenant un autre effet de la courbure, que l'on peut exprimer en termes de mcanique des fluides plutt que de rayons lumineux. Je l'appelle lexprience du gaz paresseux, c'est une exprience de pense, reprsentation de lUnivers primitif informelle d'un nonc mathmatique Test de reconstruction prcis (que je ne chercherai pas infliger En mlangeant des notions d'ingnierie, des non-spcialistes !) bas sur le de mcanique des fluides et de physique transport optimal. statistique, on a ainsi obtenu de nouveaux outils gomtriques ! L'exprience consiste se donner une rpartition de gaz dans l'espace, avec Aprs ma sortie des classes prparatoires, j'ai fait des fluctuations de densit d'une rgion toute ma carrire dans le merveilleux systme des l'autre. On impose au gaz une nouvelle coles Normales Suprieures; d'abord Paris en tant qu'lve et agrg-prparateur; puis l'ENS configuration, atteindre en un temps de Lyon en tant que professeur. J'ai dcouvert le limit, disons une minute. Le gaz transport optimal grce aux travaux du Japonais obtempre, mais comme il est pares- Hiroshi Tanaka qui eut l'ide de l'appliquer seux, il le fait en voluant de manire l'tude de l'quation de Boltzmann ---le sujet de minimiser l'effort total (mesur chaque ma thse. Des contacts avec les meilleurs spcialistes europens du sujet m'ont permis instant par l'nergie cintique). Entre le d'approfondir le sujet. Deux sjours de longue temps initial et le temps final, on tudie dure aux tats-Unis ont jou un rle crucial dans les valeurs de l'entropie, qui mesure en mes recherches ultrieures : le premier Atlanta un certain sens bien prcis l' talement en 1999 o j'ai t invit dispenser un cours du gaz (l'entropie est d'autant plus avanc ; le second Berkeley en 2004 o j'ai rencontr un proche collaborateur. Ce parcours grande que la densit est faible). Si l'on illustre des phnomnes gnraux : les voyages vit dans un espace courbure positive, l'tranger, la prparation de cours spcialiss et alors la courbe d'entropie est concave ; les collaborations sont des moteurs efficaces (et en particulier elle est situe au-dessus de attrayants) de la recherche mathmatique. Cdric VILLANI la droite joignant les valeurs initiale et finale. La proprit de concavit est en Pour en savoir (un peu) plus : fait caractristique des espaces cour- C. Villani, Transport optimal : coup de neuf pour un trs bure positive ; ce qui ouvre de nouveaux vieux problme; Images des Mathmatiques 2004, publication du CNRS : horizons pour tudier (voire pour red- www.spm.cnrs-dir.fr/actions/publications/idm04.htm finir) les espaces courbure positive.
Ma page Web contient des rfrences plus spcialises : www.umpa.ens-lyon.fr/~cvillani

30

Les grandes matrices alatoires


Alice GUIONNET
Une matrice alatoire est donc un tableau avec M colonnes de longueur N dont les lments sont des variables alatoires. J'tudie particulirement le cas o M et N sont grands. Ces objets mathmatiques apparaissent, comme nous allons le voir, Dans les annes vingt, Kolmogorov dans des domaines trs diffrents, mit au centre de cette thorie la notion de ouvrant la porte des connections variable alatoire. Une variable alatoire explorer. est une fonction qui prend ses valeurs Les matrices alatoires sont apparues avec une probabilit donne. Par exemple, dans un jeu de pile ou pour la premire fois la fin des annes face o une pice est lance, nous vingt en statistique dans les travaux de pouvons considrer une fonction qui Wishart. La matrice reprsente alors un reprsente l'vnement la pice tombe tableau de donnes analyser. Pour ct pile. La variable alatoire vaut un comprendre si ce tableau rvle une cordans ce cas et zro sinon. Cette fonction rlation importante des donnes, Wishart prend donc les valeurs zro et un, propose de le comparer ce qui serait chacune avec probabilit un demi... si la observ si les lments de la matrice pice n'est pas truque ! Une autre taient choisis de faon alatoire et variable pourrait compter le nombre de indpendante. Les matrices de Wishart fois o pile est apparu pendant n tirages, servent aujourdhui calculer la capacit indpendants les uns des autres de rseaux de tlphones portables ! (l'indpendance ici signifie que le Dans les annes cinquante, Wigner rsultat d'un tirage n'influence pas les proposa d'utiliser les matrices alatoires autres). On voit ici que les probabilits en mcanique quantique afin d'interpeuvent tre relies des problmes prter les observations de la dynamique combinatoires. Mais elles sont loin de se de noyaux soumis une forte excitation restreindre ce cadre et elles appa- (par exemple le noyau d'hydrogne). La raissent aujourd'hui dans de nombreux dynamique d'un systme quantique est dcrite par un oprateur, le Hamiltonien. domaines des mathmatiques. Wigner modlise ce Hamiltonien par une Je m'intresse au cas o les variables matrice, choisie la plus alatoirement alatoires prennent des valeurs dans les possible dans la limite des contraintes matrices et non comme plus haut dans connues du modle. L'exprience confirme ce modle. un espace deux tats zro et un. Mme si le concept d'ala est palpable dans la vie de tous les jours et sert de base des activits lucratives depuis fort longtemps, la thorie des probabilits ne s'est rellement dveloppe qu'au cours du vingtime sicle.

31

Les grandes matrices alatoires


Les matrices alatoires ont galement t lies numriquement, sans explication thorique, aux dynamiques chaotiques et la fonction Zeta de Riemann. Dans un tout autre contexte, Tutte tudia dans les annes soixante la question combinatoire suivante : de combien de faons peut-on paver un ballon avec 100 triangles ? Que se passe-t-il si on veut paver une boue ? Un domaine merveilleux o se cEn 1978, Brzin, Itzykson, Parisi et toient et se nourissent physique, Zuber montrrent, en spcialisant une algbres d'oprateurs, combinatoire et ide de Grard 't Hooft, que cette quesprobabilits ! tion tait relie des matrices alatoires. Les matrices alatoires permettent de rsoudre des problmes d'numration Issue des classes prparatoires, je suis rentre de pavages ou de graphes qui n'ont pas l'Ecole Normale Suprieure o je me suis prise au encore trouv de solution combinatoire. jeu de la recherche. Je travaille au CNRS depuis ma Dans les annes quatre-vingts, Voiculescu introduisit les probabilits libres ; cest une thorie de probabilit pour des variables alatoires prenant leurs valeurs dans un espace encore plus gnral que celui des matrices. Les matrices alatoires, dans la limite o leur taille tend vers l'infini, se placent naturellement dans ce cadre. Voiculescu montra que des matrices alatoires indpendantes, quand leur taille tend vers l'infini, convergent vers des variables dites libres. Le concept de libert est fondamental en thories des groupes et d'algbres d'oprateurs. Ds lors, les matrices alatoires devinrent une source d'exemples et d'inspiration dans la thorie des algbres d'oprateurs.
sortie de l'Ecole, d'abord charge de recherche ( l'universit d'Orsay, l'Ecole Normale suprieure de Paris puis de Lyon) et, depuis 2005, directrice de recherche. Les probabilits se sont imposes moi comme une des branches des mathmatiques la plus proche des applications, aussi bien en physique, statistique ou finance. Mais l'aventure de la recherche est bien de nous mener o elle veut, d'ides en questions, et aujourd'hui mes intrts sont bien loin de mes premires proccupations. Alice GUIONNET
Pour en savoir (un peu) plus :
M.L. Mehta; Random Matrices (Elseiver) P. Di Francesco, P. Ginsparg, J. Zinn Justin; Article de revue 2D gravity and random matrices, Phys. Rev. 254 (1995) Site personnel http://www.umpa.ens-lyon.fr/aguionne/(deux articles de revue)

32

La cryptologieMdaille moderne et Jacques Stern dor du CNRS


Laurent Demonet
Jacques Stern a reu en 2006 la Mdaille d'or du CNRS pour ses travaux fondateurs en cryptologie moderne. Cette distinction, la plus haute pour des travaux de recherche en France, est dcerne chaque anne depuis 1954 un chercheur ayant contribu au rayonnement de la recherche franaise dans le monde. A 57 ans, Jacques Stern est directeur du Dpartement d'informatique de l'ENS, chercheur d'exception aux nombreux disciples dans l'cole franaise de cryptologie. au maximum la possibilit pour un adversaire de le casser. Au-del de cette observation, il est extrmement difficile de formaliser scientifiquement cette notion : comment garantir qu'un protocole rsistera aux attaques des cryptanalystes sans connatre a priori les mthodes qu'ils utiliseront ? On sait aujourd'hui que cette question n'a pas de rponse absolue. La question de la scurit des protocoles cryptographiques est plus que jamais fondamentale, pour deux raisons : leur usage s'est banalis, passant d'un usage militaire un usage civil intensif (en particulier dans le cadre des transactions financires) d'une part, et les moyens potentiels de cryptanalyse ont explos (naissance puis progrs de l'informatique). Par consquent, la ncessit de prouver la scurit de protocoles cryptographiques est devenue vitale, et c'est dans ce cadre qu'interviennent les mathmatiques les plus pousses et, en un sens, les plus abstraites, utilises dans les applications les plus concrtes. C'est dans ce domaine que Stern a obtenu de remarquables avances.

L'art de crypter des messages est pratiquement aussi ancien que l'art militaire. Malgr cela, ce n'est que trs rcemment que la cryptologie est ne en tant que discipline scientifique part entire, rigoureuse, par opposition la cryptographie empirique traditionnelle. La cryptologie rassemble essentiellement deux branches : - la cryptographie qui consiste inventer de nouvelles mthodes de cryptage, souvent appeles protocoles cryptographiques ; - la cryptanalyse qui consiste casser des protocoles cryptographiques, c'est-dire trouver le moyen de dcrypter des donnes sans possder le code qui a permis de les crypter. Ces deux branches sont intimement lies dans la cryptologie moderne, puisque trouver un protocole cryptographique efficace revient diminuer

La cryptologie, science de paradoxes

Tout d'abord, il n'est pas possible d'inventer une mthode cryptographique absolument sre, dans la mesure o il restera toujours une probabilit, ventuellement extrmement faible, de russir dcrypter un message quel que 33

Comment prouver un protocole cryptographique ?

La cryptologie moderne
soit le protocole utilis. Le but est donc de limiter le plus possible cette probabilit relativement aux autres contraintes (en particulier aux contraintes de puissance : il faut par exemple que le cryptage du numro d'une carte bancaire lors d'un achat sur Internet puisse tre effectu par un ordinateur personnel en un temps extrmement court, alors que l'on peut imaginer s'autoriser plus de temps et plus de puissance pour des applications militaires). Par ailleurs, il faut considrer qu'aucun des canaux de transmission n'est sr (si c'tait le cas, on n'aurait pas besoin de crypter) ; l'hypothse que l'on fait donc habituellement en cryptologie est que le secret du cryptage est une donne relativement petite, appele cl. Dans le cadre de la preuve d'un protocole, on considre toujours le pire, c'est--dire le cas o le cryptanalyste possde toute l'information possible sur le protocole, sauf la cl. Le reste de la dmarche consiste dmontrer que casser le protocole cryptographique revient rsoudre un problme qui est trs difficile.

Jacques Stern

La cryptographie habituelle est dite symtrique. C'est--dire que les deux personnes qui veulent communiquer partagent un secret (la cl) qui permet la fois de crypter et de dcrypter les messages. Par exemple, la mthode qui consiste permuter les lettres de l'alphabet est un protocole symtrique : l'envoyeur et le destinataire du message

Cryptographie asymtrique : un progrs fondamental

doivent tous deux savoir la manire dont sont permutes les lettres, manire qui constitue la cl. La cryptographie asymtrique, parfois appele aussi cryptographie cl publique fait intervenir deux cls, une cl prive et une cl publique, qui sont lies ; la scurit du protocole sera alors d'autant plus grande que la difficult de dterminer la cl prive partir de la cl publique est grande. La cl publique est alors publie, et n'importe qui peut envoyer des messages crypts au seul individu qui connat la cl prive (puisqu'il ne l'a donne personne). On peut mme utiliser ce principe pour crypter et signer des messages en mme temps (signer un message consiste prouver l'identit de l'envoyeur). Ainsi supposons qu'Alice veuille envoyer un message Bob. Elle commence par crypter ce message avec la cl publique de Bob, puis elle crypte le message crypt avec sa cl prive. Ensuite, Bob commence par dcrypter le message avec la cl publique d'Alice puis avec sa propre cl prive. Comme il faut la cl prive de Bob pour dcrypter le

34

La cryptologie moderne
message, Alice est sre que seul Bob pourra le lire. Par ailleurs, quand Bob aura dcrypt le message et dcouvert quelque chose d'intelligible, il saura que c'est bien Alice qui l'a crit puisque personne d'autre ne connat la cl prive d'Alice. Les avantages de la cryptographie asymtrique sont multiples : en particulier, elle permet de ne jamais avoir transmettre la cl secrte, ce qui lui vite d'tre intercepte par un individu malveillant ; par ailleurs, cela permet chaque individu (ou l'ordinateur de chaque individu) de n'avoir retenir qu'une seule cl (sa cl prive), les cls publiques tant disponibles dans une sorte d'annuaire. Le dfaut est alors qu'il faut qu'il existe un organisme jouant le rle de cet annuaire ayant la confiance de tous (puisqu'il serait facile cet organisme de remplacer par la sienne la cl publique de Bob). Ces organismes sont ceux qui produisent les certificats que les navigateurs Internet demandent d'accepter, en particulier lors de transactions. Un exemple de protocole asymtrique est le protocole RSA (utilis par exemple lors d'achats par cartes bancaires). La cl prive est un couple de deux grands nombres premiers et la cl publique est le produit de ces deux nombres. On considre actuellement que le fait de retrouver les deux facteurs du produit est un problme extrmement difficile (on ne sait actuellement pas factoriser les entiers de plus de quelques centaines de chiffres). Depuis toujours, Jacques Stern, pro-

fondment marqu par les travaux de Gdel et Turing, est attir par les sciences au tempo rapide, o les recherches trouvent rapidement des prolongements concrets. L'entre de la cryptologie dans le domaine acadmique, l'invention du concept cl publique allaient ouvrir ses recherches la voie d'une reconversion logique et en or ! Il lui fallut alors apprendre programmer, travailler en thorie des nombres, transiter par la complexit algorithmique et potasser l'histoire de cette nouvelle science. Ses efforts paient ! A 37 ans, ses travaux en lien avec la cryptologie lui valent sa premire invitation un colloque international. Dix ans plus tard, il est la tte du Laboratoire d'informatique, commun ENS-CNRS tout en ne ngligeant pas l'enseignement car pour lui il s'agit d'une activit o l'on voit les gnrations se former, et qui force un chercheur clarifier ses ides. Le remarquable ouvrage qu'il publia en 1998 chez Odile Jacob La science du secret est la fois le prolongement de cet enseignement, la ncessit d'ancrer ses

35

La cryptologie moderne
travaux dans une dynamique historique et la volont de nouer des relations entre sciences et socit. Il est membre du Conseil Scientifique de la Dfense, du Conseil Stratgique de lInformation et il travaille lObservatoire de la Scurit des Cartes de Paiement. Jacques Stern est bien plac pour savoir que Internet reste la zone de tous les dangers mais il reste persuad que la cryptologie va srement voluer vers de nouveaux concepts qui prendront en compte les mauvaises habitudes de lutilisateur naf qui, par exemple, ne met pas jour rgulirement son systme dexploitation. Alors ce n'est plus un secret pour personne, Jacques Stern, premier informaticien au palmars de la Mdaille d'or du CNRS, avec ses nombreux tudiants, reste un expert des plus redouts des inventeurs de code !

Biographie de Jacques Stern 1949 : naissance de Jacques Stern 1968 : entre l'cole Normale Suprieure 1971 : 1er l'agrgation de mathmatiques 1975 : doctorat de mathmatiques 1979 : obtention du grade de professeur d'universit (Caen) 1993 : professeur l'NS 1996 : directeur du laboratoire d'informatique de l'NS 1998 : rapport sur la cryptologie remis au gouvernement qui aboutira l'anne suivante la nouvelle rglementation sur la cryptographie 1999 : devient directeur du dpartement d'informatique de l'NS chevalier de la Lgion d'honneur 2003 : prix Lazare Carnot de l'Acadmie des sciences 2005 : Mdaille d'argent du CNRS 2006 : Mdaille d'or du CNRS
Pour en savoir (un peu) plus :
Les livres suivants sont accessibles au grand public :

L'algorithme asymtrique de cryptographie cl publique, RSA, trs utilis dans le commerce lectronique et en particulier pour la circulation des donnes sur Internet, a t dcrit en 1977 par trois jeunes amricains Ron Rivest, Adi Shamir et Len Adleman.

- Jacques Stern, La science du secret, Editions Odile Jacob, 1998 - Jacques Stern, Chapitre 6 de Paradigmes et enjeux de l'informatique (avec P. Nguyen), Editions Lavoisier, 2005 (ouvrage sous la direction de N. Bidoit, L. Farias del Cerro, S. Fdida, B. Valle)

36

Statistique des carts de la vie quotidienne la conjecture de Riemann


Michel Bauer et Philippe Di Francesco, CEA De nombreux phnomnes font intervenir des sries de nombres rangs par ordre croissant et dont la rpartition des carts est souvent rvlatrice. Nous allons en donner quelques exemples. ressembler celui dcrit dans la figure 1, dont l'interprtation, surprenante au premier abord, est que de nombreux bus se suivent de prs, mais que ceci est compens par de rares carts trs importants ; phnomne effectivement observ dans de grandes villes.

Mme si les horaires de l'autobus qui s'arrte prs de chez nous sont programms au long d'une journe intervalles rguliers, par exemple toutes les 15 minutes, les heures de passage relles peuvent tre diffrentes. Nous avons tous un jour attendu bien plus d'une demi-heure. Il arrive aussi que deux autobus se suivent moins d'une minute. Il est possible de quantifier ces fluctuations en faisant un histogramme qui compte combien de fois l'cart entre deux bus successifs a t, par exemple, de moins de 5 minutes, de 5 10 minutes, de 10 15 minutes, etc. Si Ti est l'heure de passage du i+1me ( T0 passe le premier bus, le suivant T1, etc), on compte pour combien de valeurs de i, Ti+1-Ti est plus petit que 5 minutes, compris entre 5 et 10 minutes, 10 et 15 minutes, etc. En l'absence de tout ala sur le parcours, on s'attend ce que presque tous les carts soient proches de 15 minutes, donc que seules les tranches entre 10 et 20 minutes soient reprsentes. En revanche, si de nombreux petits incidents viennent perturber chaque trajet mais qu'ils sont assez brefs pour n'avoir une influence notable que sur un des bus, le rsultat peut

Les horaires d'autobus

Fig. 1 Statistique des temps de passage des bus.

De nos jours, les fruits de l'tal du marchand sont calibrs, mais malgr cela, deux pommes du mme cageot n'ont pas exactement le mme poids. Muni d'une balance de prcision, on peut trier les pommes du cageot par poids croissant, P0 est le poids de la plus lgre, P1 le poids suivant, etc, jusqu'au poids de la pomme la plus lourde, Pn si le cageot contient n + 1 pommes. Pour un cageot rel, n serait typiquement de l'ordre de la cinquantaine. L'cart de poids moyen est simplement la diffrence entre le poids de la plus lgre et de la plus lourde (Pn-P0) divis par n. On peut faire le mme type d'histogramme que pour les temps d'attente entre deux bus : pour combien de valeurs de i la diffrence Pi+1 - Pi est-elle de moins d'1/5 de l'cart moyen , ou comprise 37

Les cageots de fruits

Statistique des carts


entre 1/5 et 2/5 de , etc ? Et on observe un rsultat analogue : nouveau, de nombreuses pommes ont des poids qui ne diffrent que d'une faible fraction de l'cart moyen, et ceci est compens par quelques carts bien plus grands que la moyenne. Dans le cas prsent, on dispose d'un modle probabiliste trs simple pour expliquer le rsultat. Ce modle prdit que si le nombre de pommes est trs grand, dans une chelle approprie, l'histogramme s'approche d'une exponentielle, comme sur la figure 2. La statistique des carts des bus ne suit que qualitativement cette loi limite car le nombre d'chantillons est faible. L'exemple suivant est inspir de l'automobile. Il n'y a pas si longtemps, il n'tait pas rare que, pour certains rgimes moteur, la carrosserie d'un vhicule vibre tout fait perceptiblement. Le phnomne est analogue celui d'une personne qui pousse un enfant sur une balanoire. Si elle choisit la bonne frquence, il suffit de donner des pichenettes pour que l'amplitude augmente fortement. Les vibrations d'un vhicule sont une nuisance et l'utilisation d'ordinateurs pour la conception a permis de supprimer quasiment le phnomne. On peut voir la carrosserie comme un ensemble de pices p0 , ... , pn lies plus ou moins fortement les unes aux autres et on peut quantifier ceci dans une tableau de nombres mij, 0 < i, j < n d'autant plus grands que la liaison entre les pices numrotes i et j est forte. Un tel tableau de nombres s'appelle une 38

Fig. 2 Statistique des diffrences de poids des pommes vs la loi limite.

Les vibrations en construction automobile

matrice, et il existe des algorithmes mathmatiques pour dduire de ce tableau de nombres les frquences d'excitation qui feront vibrer fortement la carrosserie, il y en a en gnral n+1, que l'on peut ordonner de f0 (la plus petite) fn, la plus grande. On peut alors s'intresser la statistique des carts, comme pour les pommes et les bus. Nous ne connaissons pas l'allure de l' histogramme des carts de frquence pour la carrosserie d'une voiture, mais les mmes objets mathmatiques dcrivent des systmes physiques plus "fondamentaux", avec des rsultats remarquables. Si l'on ne craint pas d'tre caricatural, on peut dire que le principe fondamental de la mcanique quantique est que tout systme physique est dcrit par un tableau de nombres (une matrice appele hamiltonien), mme si l'interprtation des nombres mij dans ce cas est dlicate, et assez diffrente de celle de l'exemple d'une carrosserie. Il reste nanmoins vrai que la premire chose comprendre est l'ensemble des frquences de vibrations correspondantes, que l'on

Gnralisons tout systme physique

Statistique des carts


appelle dans ce cas les niveaux d'nergie, et qui forment le spectre du systme considr. Les raies d'mission (ou raies spectrales) des atomes sont par exemple lies des carts entre niveaux d'nergie. Dans certains systmes, mais rares, on peut calculer exactement les niveaux d'nergie. L'atome d'hydrogne est un exemple trs important. Mais le spectre des noyaux mme les plus simples, chappe une approche analytique. En fait le hamiltonien des noyaux lui mme est encore trs mal compris aujourd'hui sur le plan fondamental. Les mesures exprimentales du spectre donnent des rsultats qui semblent chaotiques. C'est ce qui a amen au dbut des annes 1950 le physicien Eugne Wigner poser la question suivante : peut-on comprendre certains aspects du spectre en remplaant les coefficients mij mal connus par des nombres alatoires ? Il n'y a pas d'espoir que les niveaux d'nergie individuels soient reproduits par un systme alatoire, mais la statistique des carts de niveaux par exemple est un meilleur candidat car c'est une quantit moyenne sur le spectre. De plus, exprimentalement, les carts entre les niveaux d'nergie ont une statistique simple et grosso modo indpendante du noyau considr. Cette statistique est bien diffrente de celles des carts entre les temps de passage des autobus ou entre les poids des pommes comme le montre la figure 3.

Fig. 3 - Statistique des carts de niveau des noyaux vs la loi de Wigner.

physique thorique, car ses prdictions sont trs proches des rsultats exprimentaux. Son approche originale, qui a donn naissance la vaste thorie des matrices alatoires, ne cesse de trouver des applications dans tous les domaines de la science ou presque. (voir l'article
d'Alice Guionnet sur les Grandes Matrices Alatoires qui voque le vaste champ d'application des permutations alatoires).

Riemann et nombres premiers

Wigner et les matrices alatoires

En particulier, les petits carts sont peu nombreux : on dit que les niveaux d'nergie se repoussent. Le calcul de Wigner est un des grands succs de la

Un exemple plus surprenant encore est donn par la thorie des nombres. Nous avons appris au collge que tout nombre entier s'crit sans ambiguit comme un produit de nombres premiers (premier car divisible que par 1 et lui mme). La suite des nombres premiers (qui est infinie, on le sait depuis Euclide) commence ainsi : 2, 3, 5, 7, 11, 13, ... . Leur rpartition reste aujourd'hui encore mystrieuse. Il est possible de coder tous les nombres premiers implicitement dans une fonction appele fonction Zeta. Cette fonction qui lie une somme portant sur tous les entiers et un produit o interviennent les nombres premiers permet de dfinir une droite spciale D, dite droite critique, sur laquelle salignent tous les zros de la fonction. Cest sur cette fonction que 39

Statistique des carts


Riemann formula une fameuse conjecture abstraite (voir article de Benot Rittaud). Le thorme dit des nombres premiers, un rsultat difficile, peut se formuler intuitivement comme suit : si n est un entier trs grand, les nombres premiers proches de n reprsentent une fraction 1/ln n de la totalit des entiers proches de n. Par exemple, la densit de nombres premiers autour de 1010 est en gros double de la densit des nombres premiers autour de 1020. Le thorme des nombres premiers est un rsultat asymptotique : plus n est grand et plus la densit des nombres premiers proches de n tend vers 1/ ln n. On aimerait connatre l'erreur typique, et la conjecture de Riemann est quivalente au fait que cette erreur est d'ordre de linverse de racine carre de n. On pourrait penser que cette formulation concrte se prte mieux dmonstration que la conjecture sur la fonction Zeta, mais pour l'heure c'est l'approche abstraite qui est juge comme la plus prometteuse. On pourrait essayer d'appliquer les ides prcdentes sur la statistique des carts aux nombres premiers, mais le fait qu'il soient justement entiers est un obstacle. En revanche, la famille des zros critiques situs sur le droite critique D, forme un ensemble de points isols et ordonns. A l'aide d'ordinateurs on peut en calculer numriquement des millions et le rsultat est que la statistique des carts semble tre exactement celle des carts d'nergie des noyaux ou des matrices alatoires correspondantes ! Au prix de nombreuses simplifications que les experts pourront juger outran40

visualisation artistique de la fonction Zeta de Riemann Jean Franois Colonna

cires, nous avons illustr deux statistiques d'carts dans les lignes prcdentes. La thorie des matrices alatoires a permis d'en mettre en vidence un petit nombre d'autres qui semblent universelles. Comprendre leur ubiquit, et plus ambitieusement encore dmontrer qu'en un sens elles sont les seules statistiques d'carts possibles est un dfi scientifique d'actualit. Ces questions sont vraiment la frontire de la physique, des mathmatiques voir de la biologie. En certains endroits d'Amrique latine, la statistique des carts entre passages ressemble plus au cas des niveaux d'nergie des noyaux qu' celui des poids des pommes d'un cageot, en particulier les bus ne se suivent jamais de prs ; une explication est que dans ces endroits les bus sont la proprit des chauffeurs, qui sont donc rmunrs en proportion directe du nombre de passagers qu'ils transportent et n'ont aucun intrt passer juste aprs leur prdcesseur, induisant ainsi un phnomne de rpulsion tout comme pour les niveaux d'nergie des noyaux.

Et les statistiques d'carts ?

Une anecdote pour conclure.

Le thorme des quatre couleurs


Benjamin Werner - INRIA
Le thorme des quatre couleurs doit sans doute sa renomme la simplicit et au caractre concret de son nonc : il peut tre expliqu facilement un non-mathmaticien. Etant donne une carte, il est toujours possible de la colorier en assignant une couleur chaque pays, sans que deux pays ayant une frontire commune n'aient la mme couleur et ce avec quatre couleurs seulement !
Remarquons que "frontire commune" ne veut pas juste dire "se toucher en un point". Si ce n'tait pas le cas, toute tarte coupe en plus de quatre parts constituerait un contre-exemple au thorme des quatre couleurs.

C'est un 1852 que remonte la premire observation du phnomne. Francis Guthrie, cartographe britannique se rend compte qu'il arrive colorier toutes les cartes qui lui sont prsentes en quatre couleurs ; par exemple la carte des comts britanniques. Ce qu'il n'arrive pas dterminer, c'est si cette proprit est vraie pour toutes les cartes possibles et imaginables, ou si, au contraire, on sera capable de construire un jour une carte suffisamment complique pour que quatre couleurs ne suffisent pas. S'assurer d'une proprit pour une famille infinie d'objets, comme la famille de toutes les cartes, est une question pour les mathmaticiens. Par chance, Guthrie tudie alors les mathmatiques et suit le cours du grand

logicien Augustus de Morgan. Il pose alors la question : quatre couleurs suffisent - elles ? De Morgan ne trouve pas la rponse, mais prend rapidement conscience de l'intrt de la question et la transmet d'autres minents mathmaticiens. La renomme du problme va alors grandissante. La simplicit du problme contraste avec la difficult pour y rpondre. Cela a suffi, et suffit encore, attiser la curiosit d'innombrables amateurs, qui ont tent, et tentent encore, de proposer des preuves lmentaires.

41

Le thorme des quatre couleurs


En 1879, Alfred Kempe propose une preuve qui convainc tout le monde, ou plutt qui convainc tout le monde pendant un certain temps car, en 1890, Percy Heawood dcouvre une erreur dans l'argument de Kempke : ce dernier n'a en fait dmontr que le thorme des cinq couleurs! Pendant prs d'un sicle, rares sont alors les mathmaticiens qui n'ont pas pass au moins un peu de temps essayer de rsoudre ce mythique cassette. De fait la premire preuve correcte est prsente en 1976. Mais paradoxalement, elle ne fait que renforcer le halo de mystre qui entoure le thorme des quatre couleurs. En effet, elle fait appel des calculs si compliqus que ceux-ci ne peuvent tre faits qu' l'aide d'ordinateurs. Il faut se rendre compte qu'en 1976 les ordinateurs sont encore incomparablement moins rpandus qu'aujourd'hui. Ils cotent galement trs chers ; la preuve construite par Kenneth Appel et Wolfgang Haken ncessite 1 200 heures de calculs des ordinateurs les plus puissants de l'poque. C'tait un investissement important de la part de leur universit.

Extrait des 633 configurations

Pourquoi le calcul ?

Pourquoi de si importants calculs ? En fait, la preuve reprend les ides dveloppes par Kempe en 1879, mais une plus grande chelle. D'abord, il faut considrer plus de cas : Appel et Haken identifient 1 476 petites cartes particulires appeles configurations. Ils vrifient que pour toute carte qui ncessiterait potentiellement plus de 42

quatre couleurs, apparat une de ces petites cartes. Il est bien sr difficile de vrifier cela la main, mais reste encore possible si suffisamment de personnes s'y mettent. C'est ensuite que les choses se corsent vraiment ; pour chacune de ces 1476 configurations, il faut vrifier qu'il est possible d'tendre un coloriage du reste de la carte un coloriage de la configuration. Or cela est en gnral seulement possible aprs un certain nombre de rarrangements du coloriage du reste de la carte. C'est alors qu'il faut considrer les manires dont peuvent s'agencer les coloriages possibles sur la frontire de la configuration, c'est--dire pour une seule configuration jusqu' 50 millions de cas ! En 1995, on a propos une variante de la preuve de Appel et Haken o l'on ne distingue que 633 configurations. Les calculs restent, bien sr, hors de porte si l'on ne dispose pas d'ordinateurs. Il faut d'ailleurs remarquer que c'est parce que les mathmaticiens de 1995 disposaient de machines plus performantes qu'en 1976 qu'ils ont pu trouver une preuve (un peu) simplifie : on ne prte qu'aux riches !

Le thorme des quatre couleurs


Aujourd'hui, les calculs ncessaires pour tablir le thorme des quatre couleurs peuvent tre achevs en une dizaine de minutes par un ordinateur personnel moderne. Il n'empche que le thorme des quatre couleurs reste fascinant. D'une certaine faon, c'est le premier exemple d'une vrit mathmatique qui ne nous est accessible qu' travers l'utilisation d'une machine : l'ordinateur devient alors l'instrument du mathmaticien. Cette situation est-elle appele se reproduire ? On connat maintenant d'autres thormes dont la preuve fait appel au calcul informatique. L'un des plus important est appel la conjecture de Kepler. L encore, l'nonc est simple et explicable sans utiliser le jargon mathmatique : Lorsque je veux ranger des boules de mme taille (par exemple des oranges ou des boules de ptanque), y a-t-il une meilleure manire de faire que celle que l'on voit sur les tals des marchs? Mme si l'on tait, en gnral, convaincu qu'il n'y avait pas de meilleure manire d'agencer les boules, on n'arrivait pas dmontrer le rsultat. Or si l'nonc avait t conjectur ds 1612 par Johannes Kepler, il a fallu attendre 1998 pour que Thomas Hales, de l'universit de Pittsburgh prsente une preuve. Or cette preuve, fait appel la fois des concepts mathmatiques plus volus que ceux sous-jacents la preuve du thorme des quatre couleurs, mais aussi des calculs informatiques encore plus complexes. Dans tous ces nouveaux rsultats, le

Un cas particulier ?

rapport la vrit mathmatique a fondamentalement chang. En effet, le mathmaticien ne peut plus comprendre pourquoi un rsultat comme le thorme des quatre couleurs est vrai. Il ne peut qu'utiliser un maximum de rigueur lors de l'criture du programme et ventuellement reproduire l'exprience en faisant tourner des variantes du programme sur d'autres ordinateurs. De fait, Hales a eu un certain mal pour convaincre la communaut mathmatique de la correction de sa preuve. En particulier, il est difficile de s'assurer qu'un programme complexe est entirement libre de bug ; le mieux tant finalement de laisser ce travail l'ordinateur et un autre programme !

Pour en savoir (un peu) plus :

http://www.inria.fr/actualites/2005/theoreme4couleurs.fr.html http://www.lix.polytechnique.fr/Labo/Benjamin.Werner/publi cations.html

43

Les nigmes dArchimde


Michel CRITON
Archimde (- 287 ; - 212) est un des plus grands savants de l'Antiquit. Mathmaticien et physicien, il a laiss une oeuvre importante qui ne nous est que partiellement connue. A cette poque lointaine, on ne distinguait pas les mathmatiques proprement dites des jeux mathmatiques : les mathmatiques taient un jeu intellectuel et les jeux mathmatiques un prtexte pour faire avancer la connaissance. Ainsi, Archimde a propos un problme antique, celui des bufs de Thrynacie ou boeufs du Soleil Eratosthne de Cyne, chef de file de l'Ecole d'Alexandrie. Les mathmaticiens d'Alexandrie ne parvinrent pas rsoudre ce problme difficile dont la rsolution conduit un systme de sept quations huit inconnues et dont les plus petites solutions sont de l'ordre du million. Archimde s'est aussi intress un puzzle : le stomachion, au point de lui consacrer un de ses ouvrages dont voici la fabuleuse et rocambolesque aventure. Le Stomachion est donc le livre quArchimde a consacr l'tude de ce puzzle. On n'en connaissait que des fragments ; il fut longtemps considr comme une oeuvre mineure, jusqu la 44 dcouverte du palimpseste d'Archimde et son dchiffrage qui en permet aujourdhui une meilleure connaissance. Pendant des sicles, on n'a connu du Stomachion que les citations qu'en font les auteurs romains Marius Victorinus, Atilius Fortunatianus et Ausonius (IVe sicle de notre re). Ce n'est qu' la fin du XIXe sicle qu'on trouva des fragments du texte d'Archimde. Le premier fragment fut dcouvert dans un texte arabe par l'orientaliste H. Suter, qui en publia une traduction allemande en 1899. Et commence alors l aventure... Le palographe Papadopoulos Kerameus dcouvre, dans le monastre du SaintSpulcre de Jrusalem, un parchemin qui a t effac pour tre rutilis comme livre de prires par des moines autour du XIIIe sicle. Sur ce document, appel palimpseste, les textes et les figures mathmatiques, mal effacs, transparaissent cependant sous les textes des prires et sont partiellement identifiables. Le parchemin contient trois livres d'Archimde : Des corps flottants, dj connu, Stomachion et De la mthode, dont les textes n'taient pas connus. Heiberg publiera une dition de ces fragments en 1913. Entre temps, le palimpseste avait disparu, achet par des collectionneurs. Il ne rapparatra qu'en 1998 lors d'une vente chez Christie's o un acheteur amricain anonyme l'acquerra pour 2 millions de dollars avant de le remettre des experts scientifiques pour l'tudier et complter

Les nigmes dArchimde


son dchiffrage qui est encore en cours, compliqu en raison de l'ajout de fausses images religieuses par des faussaires qui pensaient augmenter ainsi la valeur du manuscrit. Les pages du manuscrit original ont t plies par le milieu et cousues pour obtenir un livre de format moiti du format original, ce qui explique que les textes rcrits pardessus les textes originaux soient perpendiculaires ces derniers. Sur la photo, on distingue les deux textes et des figures gomtriques. Le palimpseste, qui a t confi au Walters Art Museum, est toujours l'tude et son dchiffrage devrait durer jusqu'en 2008. L' universit de Stanford a prt son synchrotron, un acclrateur de particules qui permet de faire ressortir les textes effacs en faisant briller le fer contenu dans les rsidus d'encre.

Le stomachion, appel aussi Loculus (petite bote) d'Archimde est un puzzle constitu d'un carr dcoup en quatorze pices. Il semble que le jeu ait exist avant Archimde, mais que celui-ci l'ait modifi afin que toutes les aires des morceaux soient entre elles dans un rapport commensurable (autrement dit rationnel). Certains historiens considrent mme aujourd'hui qu'il ne s'agit pas d'une oeuvre mineure du mathmaticien mais d'un premier trait de combinatoire, le puzzle n'tant qu'un prtexte dnombrements. Ce n'est qu'en 2003 qu'un spcialiste amricain des puzzles, Bill Cutler, trouva toutes les solutions de l 'assemblage des pices du puzzle d'Archimde en carr, l'aide d'un programme informatique. Les solutions sont au nombre de 536, sans compter les rotations et les symtries.
Pour en savoir (un peu) plus :
http://www.maa.org/editorial/mathgames/mathgames_11_ 17_03.html

Les pices du loculus d'Archimde

45

Enigmes et jeux dans le monde arabe du IX au XVI sicle


e e

Marie Jos Pestel

" Les trois septimes du cur pour son regard Un septime est offert pour le rose de ses deux joues Un septime et la moiti d'un septime et le quart Pour le refus d'un dsir inassouvi Un septime et un sixime d'un quart sont la part de seins bien arrondis Qui se sont refuss au pch de mon treinte et qui m'ont repouss Le reste, qui est cinq parts, est pour des paroles d'elle Qui tancheraient ma soif si elles taient entendues Car me voil, entre ses mains, une proie de l'amour et de la jeunesse Le cur tout entier largement ouvert " arabes furent particulirement novaAinsi les mathmaticiens arabes, potes teurs en algbre et en trigonomtrie leur heure, versifiaient pour proposer avec le dveloppement de l'astronomie. des nigmes mathmatiques. Leur contribution dans le renouveau des mathmatiques en Europe est ainsi Dans ce monde de lettrs et de riches capitale. princes, chacun avait cur de participer au dbat scientifique et apprciait Bagdad (capitale de l'actuel Irak) sera de se lancer des dfis et nigmes sous le fief de la connaissance ds le rgne forme ludique et mme potique. du calife Al Mansour (seconde moiti Pour piquer la curiosit de ses lecteurs, du VIIe sicle). Il y fut cr de Ibn al-Bann, mathmaticien de Marra- nombreuses coles et bibliothques. En kech du XIVe sicle titrait son ouvrage 832, le calife Al Mamoun y fonde la sur le calcul : Le soulvement du voile maison de la Sagesse (Bat al Hikma). sur les formes des oprations du calcul Les plus grands mathmaticiens arabes et presque 100 ans plus tard Qunfudh, ont particip cette diffusion ludique son collgue de Constantine lui rpon- de la culture. Citons : Al Khwarizmi, dait en publiant un ouvrage intitul Thabit Ben Q'ra, Abu Kamil, Al L'abaissement de la voilette sur les Battani, Abu Al Wafa, Al Kashi, Ibn formes des oprations du calcul. Al Haytham (Al Hazen) et sans oublier Cependant aussi jolis soient-ils on ne le grand philosophe Ibn Abdallah ibn saurait rduire les mathmatiques arabes Sina, dit Avicenne. du IXe au XVIe sicle quelques titres Parfois ces mathmaticiens ont repris accrocheurs. des textes anciens venus de Chine ou Utilisant avec clat l'hritage gom- d'Inde en les actualisant. Par exemple, trique grec et les apports des math- ce problme de volatiles : Un homme matiques indiennes, les mathmaticiens va au march avec 25 dirhams en

46

Enigmes et Jeux dans le monde arabe


poche et il achte 25 volatiles : des oies 5 dirhams l'unit, des poulets 4 dirhams l'unit et des tourneaux 1 dirham la dizaine. Combien a-t-il achet de volatiles de chaque espce ? Dans de nombreux cas, ces problmes taient des occasions de construire et rsoudre des systmes d'quations dont le nombre des solutions pouvait varier de la dizaine au millier. On voit aussi apparatre des problmes lis la vie quotidienne comme le transport ou le ngoce, d'autres textes semblent avoir t produits dans le cadre des activits multiformes de la cit islamique. On peut citer certains problmes combinatoires comme celui qui consiste dterminer le nombre maximal de prires que le musulman doit faire sans en oublier

constructions gomtriques nous suggre non seulement de nous interroger sur les mthodes mais dentrer dans le dbat mathmatiques pures ou mathmatiques appliques. Son magnifique dcoupage de trois carrs identiques pour refaire un seul carr privilgie les mthodes bases sur les proprits gomtriques de base, comme la symLes problmes qui illustrent certaines trie, aux mthodes bases sur des calculs. mthodes de raisonnement sont aussi Les mathmaticiens arabes auront fort intressants. Quand un peu de donc jou un rle essentiel dans la magie se mle aux mathmatiques transmission de la science indienne, l'attrait est encore plus grand. Tel est le chinoise et grecque. Cette transmission cas des nombres penss mais aussi de ce va se faire parfois sans grande modlicieux texte pour retrouver le doigt dification mais souvent avec des apports qui porte le bague fondamentaux tant sur la forme , en tenant Glisse cette bague sur l'un de tes doigts compte du contexte culturel, que sur les sans que je le voie. Regarde ta main et contenus et les mthodes. compte trois pour chaque doigt avant la bague , deux pour chaque doigt aprs la Leurs influences dans les grands bague et quatre pour le doigt de la centres scientifiques de l'Europe mbague. Si tu me dis ce que tu trouves en divale est considrable. ajoutant ces nombres, je te dirai sur quel doigt tu as gliss la bague . Pour en savoir (un peu) plus : Abou I-Wafa', grand scientifique du Xe sicle, dans son ouvrage intitul Livre Ahmed Djebbar - La Recherche mai juin 2000 sur ce qui est ncessaire l'artisan en Les rcrations dans les mathmatiques du monde musulman

47

Leonardo Pisano Fibonacci


Abdelkader NECER
Lonard de Pise est le plus grand mathmaticien de son temps et du Moyen-Age (E. Kantorowicz, 1988). Son uvre est de celles qui honorent l'humanit et appartiennent au patrimoine scientifique de celle-ci (Paul Ver Eecke, 1952). Au regard de son gnie et de sa production en mathmatiques, nous connaissons trs peu de choses sur la vie de Lonard de Pise dit Fibonacci (qui serait la contraction de Filiorm Bonacci de la famille de Bonacci ou bien de Filius Bonacci Fils de Bonacci). Nous savons qu'il est n Pise vers 1170 (probablement entre 1170 et 1180). Son pre, qui exerce la fonction de scribe officiel la douane de Bjaa en Algrie, en mission pour les commerants de Pise, le fit venir auprs de lui alors qu'il tait enfant. Etant donn les fonctions de son pre, nous pouvons supposer, sans risque d'erreur, que le jeune Lonard a appris lire, crire (en latin) et videmment compter. C'est dans la ville de Bjaa -une ville portuaire, l'est d'Alger, trs prospre alors- que Lonard de Pise, s'initie l'utilisation de l'abaque. Il dcouvre les chiffres indo-arabes et leur utilisation quotidienne dans les calculs des marchands pour les besoins du commerce et du ngoce. Comme il le dit lui-mme dans l'introduction son livre Liber Abaci (le livre de l'abaque ou du calcul), son initiation au calcul, fut un enseignement admirable (mirabili magisterio). Dans cette mme introduction, nous apprenons qu'il perfectionne sa 48 formation grce ses voyages en Syrie, Egypte, Grce, Sicile et en Provence. Le Liber Abaci ft publi en 1202 et rdit en 1228. Dans la premire partie de ce livre, Fibonacci introduit les chiffres indo-arabes (0, 1, 2, 3, 4, 5, 6, 7, 8, 9), montre comment tout nombre peut tre construit partir de ces chiffres (et dcrit ainsi le systme de numration de position) et, avec un trs grand souci pdagogique, donne des exemples pour dcrire les oprations lmentaires sur ces nombres, y compris les fractions. Les exemples donns dans ce livre, sont souvent puiss dans la vie de tous les jours des marchands : De l'achat et de la vente de choses vnales et de questions semblables (chapitre 8) ou encore Du recours aux monnaies, des rgles qui les concernent, de leur usage (Chapitre 11). Rappelons que c'est dans ce mme livre que figure l'un des problmes les plus connus de Fibonacci : Quelqu'un plaa un couple de lapins dans un lieu clos de murs de tous cts pour savoir combien de btes seraient engendres par ce couple en une seule anne. La nature de ces animaux veut qu'un couple engendre un autre couple chaque mois. Les petits sont, leur tour, capables de se reproduire le second mois qui suit leur naissance. La rsolution de ce problme clbre fait intervenir la suite de nombres, 1, 2, 3, 5, 8, 13, ... , suite que E. Lucas (1842-1891) propose d'appeler srie de Fibonacci et dont les rapports de deux termes conscutifs approchent le non moins clbre Nombre d'Or.

Leonardo Pisano Fibonacci


La rencontre de Fibonacci avec des savants de la cour de l'empereur Frdric II vers 1225, lui permit de montrer ses talents de mathmaticien, notamment en rsolvant des problmes difficiles. Certains lui ont t proposs par Jean de Palerme, philosophe la cour, lors d'un tournoi organis par l'empereur. Deux de ces problmes figurent dans le livre Flos (Fleur de solutions de certaines questions relatives au nombre et la gomtrie) publi par Fibonacci lui mme. A cette poque, Fibonacci est au sommet de ses capacits comme le montre la publication de l'une de ses productions majeures en arithmtique et thorie des nombres, savoir le livre intitul Liber quadratum ou livre des nombres carrs. Dans cet excellent ouvrage ddi Frdric II, Fibonacci rsout des quations, dites diophantiennes (les solutions sont des entiers ou des fractions) du premier, second ou troisime degr. On constate que Fibonacci sait, par exemple, que la somme des premiers nombres entiers impairs est un carr ou encore que le produit de deux sommes de deux carrs est une somme de deux carrs. Le dernier livre rdig par Lonard de Pise, concerne la gomtrie. Il s'intitule Practica Geomtriae et constitue une relle avance par rapport aux travaux des gomtres latins qui l'ont prcd. Signalons galement que Fibonacci est considr, par plusieurs historiens contemporains des sciences, comme un continuateur des mathmatiques dites arabes. Il s'est en effet beaucoup inspir en les reprenant (en partie) des travaux des

Squence de Fibonacci

mathmaticiens tels que El-Khawarizmi (780-850) ou Abou Kamil (vers 850-930) en les prolongeant et les approfondissant de manire trs originale. Dcd Pise vers 1250, nous savons, d'aprs un document qui date de 1240, que Lonard de Pise bnficiait avant sa mort d'une pension pour services rendus la communaut. La premire pension d'tat pour faire de la recherche !
Pour en savoir (un peu) plus
[1] D. Aissani et D. Valerian, Mathmatiques, commerce et socit Bjaa (Bugia) au moment du sjour de Lonard Fibonacci (XIIe-XIIIe sicles), Bolletino di Storia delle Scienze Matematiche- Vol. XXIII, fasc. 2, 2003 [2] J. Gies et F. Gies, Leonardo of Pisa and the new mathematics of the middle ages, Thomas Y. Crowell Company, New York, 1969 [3] J.P.-Levet, Lonard de Pise. Des chiffres Hindous aux Racines Cubiques, Cahiers d'Histoire des Mathmatiques et d'Epistmologie, IREM de Poitiers, juin 1997 [4] J.P.-Levet, Lonard de Pise. Divisions et proportions, Perles et Animaux, Cahiers d'Histoire des Mathmatiques et d'Epistmologie, IREM de Poitiers, dcembre 1997 [5] E. Lucas Recherches sur plusieurs ouvrages de Lonard de Pise et sur diverses questions d'arithmtique suprieure, extrait du Bullettino di bibliografia di storia delle scienze matematiche e fisiche, Tomo X. Rome, Marzo, Aprile et Maggio1877 [6] R. Rashed, Fibonacci e la matematica araba, Estratto dal volume frederico II e le scienze, Sellrio editore Palermo [7] R. Rashed, Fibonacci et le prolongement latin des mathmatiques arabes, Bolletino di Storia delle Scienze Matematiche- Vol. XXIII, fasc. 2 (2003)

49

Bachet de Mziriac
Michel CRITON
Claude Gaspar Bachet, sieur de Mziriac, a t le premier publier en franais un livre exclusivement consacr aux rcrations mathmatiques. Il s'agit des Problmes plaisants et dlectables qui se font par les nombres. La premire dition de ce livre remonte 1612 et de trs nombreuses ditions ont suivi jusqu' nos jours. Bachet n'est pas seulement un mathmaticien. Il est d'abord un grammairien, spcialiste des langues anciennes : latin, hbreu, grec. Il a aussi crit des posies et des chansons. Sa qualit d'expert en langues anciennes l'amena traduire du grec au latin les Arithmtiques de Diophante. Il ne se contentera d'ailleurs pas de les traduire, mais il y ajoutera de nombreux commentaires. C'est dans la marge d'un exemplaire de cette traduction que Fermat notera l'nonc de son fameux grand thorme. Le livre de Bachet contient une cinquantaine de problmes qui sont tous de grands classiques des rcrations mathmatiques. Plusieurs de ces problmes consistent deviner un ou plusieurs nombres penss en demandant au joueur d'effectuer certaines oprations et en lui posant une ou des questions. Des variantes de ce type de problme sont exposes partir des cartes d'un jeu de cartes qu'un joueur doit choisir mentalement. Bachet consacre plusieurs de 50 ses rcrations aux carrs magiques. On trouve galement des problmes de transvasement, de traverses, de poids et de monnaie. Tous ces problmes n'taient pas originaux lorsque Bachet les a publis. Beaucoup d'entre eux trouvent leur origine chez les mathmaticiens arabes et certains, comme les carrs magiques, sont encore plus anciens. La nouveaut des Problmes plaisants et dlectables qui se font par les nombres est que les rcrations mathmatiques y constituent le coeur de l'ouvrage, alors qu' habituellement elles taient relgues en annexe de matires rputes plus srieuses. L'autre intrt est que Bachet explique de faon dtaille ses propres mthodes de rsolution qui sont souvent originales, contrairement aux noncs des problmes eux-mmes. Habituellement, des problmes amusants viennent illustrer de srieux thormes. Chez Bachet, on part de problmes rcratifs et on va chercher des mathmatiques utiles pour les rsoudre. Une rgle de construction des carrs magiques d'ordre impair porte le nom de mthode de Bachet, celui-ci tant le premier l'avoir expose. Cette mthode, applicable tous les carrs d'ordre impair, est illustre par la figure ci-aprs.

Lexemple des carrs magiques

Bachet de Mziriac
Le thorme suivant : Deux entiers relatifs a et b sont premiers entre eux si et seulement si il existe deux entiers u et v tels que au + bv = 1, est connu sous le nom de thorme de Bezout. Dans une note des Problmes plaisants et dlectables qui se font par les nombres, Bachet expose une mthode de rsolution de l'quation indtermine du premier degr deux inconnues. Cet expos laisse apparatre que Bachet connaissait le thorme appel plus tard thorme de Bezout. Voici la mthode de Bachet applique sur un exemple. Trouver le premier multiple de 211 qui surpasse de 10 un multiple de 1007. En fait, il s'agit de trouver la plus petite solution de l'quation 211x = 1007y + 10. Bachet procde de la faon suivante.
Il divise 1007 par 211.

Le thorme de Bachet-Bezout

Claude Gaspar Bachet de Mziriac


Bachet recopie ensuite les quotients dans l'ordre sur une ligne (en rouge).

Sur une deuxime ligne, droite du dernier quotient, on crit le nombre 1. Puis on calcule : 1 x 2 + 0 = 2. On crit 2 gauche du 1. 2 x 3 + 1 = 7. On crit 7 gauche du 2. 7 x1 + 2 = 9. On crit 9 gauche du 7. 9 x 4 + 7 = 43. On crit 43 gauche du 9.

La solution du problme est 43 x 211 = 9 x 1007 + 10. Claude-Gaspar Bachet de Mziriac peut tre considr comme le type mme de l'honnte homme et de l'humaniste du XVIIe sicle. Il pratiquait aussi bien la posie que les langues anciennes ou les mathmatiques, mais c'est essentiellement par ses Problmes Plaisants et Dlectables et les mthodes de rsolution qu'il y propose que nous le connaissons aujourd'hui.

Le quotient est 4 et le reste 163. Il divise 211 par 163. Le quotient est 1 et le reste 48. Il divise 163 par 48. Le quotient est 3 et le reste 19. Il divise 48 par 19. Le quotient est 2 et le reste 10. On a alors l'galit 1 x 48 = 2 x 19 + 10.

51

Leonhard Euler
Marie Jos PESTEL
Leonhard Euler naissait, il y a trois cents ans, Ble en Suisse. Il allait devenir un des plus grands mathmaticiens de tous les temps. Il faut dire que de nombreuses fes mathmatiques s'taient penches sur son berceau. Leonhard est le fils an d'un pasteur Paul Euler, lui mme lve et ami des Bernoulli, grande famille de physiciens et de mathmaticiens. C'est donc son pre qui l'initia aux mathmatiques avant de l'envoyer la facult de Ble o il fit de brillantes tudes. Son chemin croisa encore la famille Bernoulli puisqu'il reut des cours particuliers de Jean Bernoulli avant de rejoindre Saint Ptersbourg, dans la nouvelle Acadmie des Sciences fonde par la Grande Catherine, Daniel et Nicolas Bernoulli Euler fut probablement le premier mathmaticien europen. Il a travers le sicle des lumires, rencontrant les plus grands , Voltaire entre autres, la cour de Frdric II de Prusse puis auprs de Catherine de Russie. Il travailla non seulement en mathmatiques mais aussi en physique, en astronomie, Son uvre en mathmatique est immense et on ne compte plus les formules, constantes, thormes, rsultats auxquels on a donn son nom. En mathmatiques il s'est passionn pour les domaines les plus varis sans jamais ngliger la composante ludique. Evoquons tout d'abord, le problme des ponts de Koenigsberg et coutons Euler nous le proposer : 52 A Koenigsberg, en Pomranie, il y une le appele Kneiphof ; le fleuve qui l'entoure se divise en deux bras sur lesquels sont jets les sept ponts a, b, c, d, e, f, g. Cela tant pos, peut-on arranger son parcours de telle sorte que l'on passe sur chaque pont, et que l'on ne puisse y passer qu'un seule fois ? Dans la suite du mmoire, o Euler prsente et gnralise le problme, il expose des mthodes pour chercher la solution. Le monde mathmatique s'accorde voir dans ce mmoire tous les ingrdients de la future thorie des graphes. En fait ce mmoire ne traite que de l'impossibilit de trouver le fameux chemin et c'est dans une note, annexe de ce mmoire, que l'on trouve la thorie de la possibilit. Avec des mthodes de raisonnement aussi puissantes, il n'est pas tonnant de voir Euler se passionner pour le jeu d'Echec et des problmes poss bien avant lui (on en trouve trace dans un manuscrit de 1512 de R.Guarini di Forti) : Est-il possible de parcourir avec un cavalier toutes les cases d'un chiquier, sans parvenir jamais deux fois la mme, et en commenant par une case donne ? Euler devait dj avoir une solide rputation de thoricien du jeu d'chec puisqu'il semble qu'un champion international d'chec d'alors, Franois Andr Philidor, prsent la cour de Frdrique II de Prusse, ait tent vainement de le rencontrer.

Leonhard Euler
Du parcours du cavalier sur l'chiquier aux carrs magiques, les mthodes mathmatiques mises au point par Leonhard tracent des chemins et donnent des mthodes de raisonnement fort intressantes . Les problmes poss par les carrs magiques remontent la nuit des temps mais ils ont toujours fascin et il n'est gure tonnant de constater que Lonhard Euler va explorer les pistes de recherche qu'ils offrent. En 1782 Leonhard Euler imagine le problme mathmatique suivant : On considre six rgiments diffrents, chaque rgiment possde six officiers de grades distincts. On se demande maintenant comment placer les 36 officiers dans une grille de 6 x 6, raison d'un officier par case, de telle manire que sur chaque ligne et chaque colonne contiennent tous les grades et tous les rgiments. Il s'agit d'un carr grco-latin d'ordre 6 (un carr latin pour les rgiments, un carr latin pour les grades). Euler avait pressenti l'poque, que ce problme tait impossible : Or, aprs toutes les peines qu'on s'est donnes pour rsoudre ce problme, on a t oblig de reconnatre qu'un tel arrangement est absolument impossible, quoiqu'on ne puisse en donner de dmonstration rigoureuse, crit-il. Il avait mme conjectur que ce problme des carrs grco latins serait impossible pour tous les ordres impairement pairs, c'est dire du type 4n+2. Or Euler se trompait !!! La non-existence de carrs grco-latins d'ordre six a t dfinitivement confir-

me en 1901 par le mathmaticien franais Gaston Tarry qui fit l'numration exhaustive de tous les arrangements possibles de symboles. Cinquante-huit ans plus tard, en 1959, avec l'aide d'ordinateurs, deux mathmaticiens amricains, Bose et Shrikhande trouvrent des contre-exemples la conjecture d'Euler. La mme anne, Parker trouva un contre-exemple d'ordre dix. En 1960, Parker, Bose et Shrikhande dmontrrent que la conjecture d'Euler tait fausse pour tous les entiers suprieurs ou gale dix. Donc en fait le seul carr grco latin qui n 'existe pas, si on met part celui d'ordre deux, videmment impossible, est celui d'ordre six, celui des officiers ! Pour clbrer le tricentenaire de la naissance d'Euler, le CIJM propose, aux visiteurs du salon de la culture et des jeux mathmatiques, mieux qu' un carr grco latin d'ordre 9, un double sudoku sur neuf chiffres 1, 2, .9 et neuf fonds de calligraphie diffrents dessins par le calligraphe Laurent Pflughaupt et ses lves. De quoi fter dignement Leonhard Euler ! 53

Sam Loyd et Henry Ernest Dudeney


Michel CRITON
L'un est amricain et l'autre anglais. Le premier tait l'an du second d'une quinzaine d'annes. Tous deux ont abandonn leurs tudes assez vite, mais ont continu tudier les mathmatiques en autodidactes et tous deux ont pratiqu avec passion le jeu d'checs. C'est pourquoi on rapproche souvent ces deux grands crateurs d'nigmes que furent Loyd et Dudeney. Une certaine rivalit a exist entre eux, mais on sait aussi qu'ils s'apprciaient mutuellement. Sam Loyd (1841-1911) Samuel Loyd est n Philadelphie en 1841. Joueur d'checs depuis son plus jeune ge, il publie son premier problme d'checs l'ge de 14 ans. Le jeu d'checs et la composition de problmes l'occupent tel point qu'il finit par quitter les bancs de l'cole l'ge de dix-sept ans. Contraint de gagner sa vie, il se lance dans le journalisme en proposant divers journaux des rubliques et des problmes d'checs. Bien qu'tant un joueur d'checs moyen, Sam Loyd a compos des centaines de problmes d'checs, certains avec une bonne dose d'humour et de fantaisie. Un exemple en est ce problme o il demande de trouver une mthode permettant de mettre mat un roi isol au milieu d'un chiquer l'aide de deux tours et d'un cavalier, ... sans prciser les dimensions de l'chiquier qui comportait seulement trois ranges de quatre cases ! A partir de 1870, Sam Loyd se 54 dsintresse des checs et se lance dans l'invention de casse-tte mathmatiques ; il les diffuse dans les journaux et magazines ainsi que par la publicit. Sam Loyd a fait breveter plusieurs de ses trouvailles comme par exemple le jeu Teddy et les lions o, selon la position du disque central, on peut voir sept chasseurs et sept lions ou bien six chasseurs et huit lions. Mais le jeu le plus clbre popularis par Loyd est sans conteste le taquin commercialis en 1873.

Ce casse-tte est constitu de quinze petits carrs pouvant coulisser dans un cadre de 4 cases sur 4, la case vide permettant les mouvements. Les carrs taient disposs dans l'ordre naturel, l'exception du 14 et du 15 qui taient intervertis. Sam Loyd offrait 1000 dollars qui trouverait une suite de mouvements permettant de remettre le 14 et le 15 leur place. Sam Loyd savait que le problme tait impossible pour une raison de parit, l'ensemble de toutes les configurations possibles tant partag en configurations paires et en configurations impaires, le passage d'un type l'autre tant impossible sans dmonter le jeu.

Sam Loyd et Henry Ernest Dudeney


Aprs la mort de son pre, Samuel Loyd Junior publiera Cyclopedia of puzzles, recueil de plus de 5000 casse-tte crs par son pre. Henry Ernest Dudeney (1857-1930) Plus jeune que Loyd de seize ans, Henri Ernest Dudeney nourrissait la mme passion que son an pour le jeu d'checs et pour les nigmes ressort mathmatique. Il commena trs tt proposer ses crations plusieurs magazines anglais. A partir de 1890, Dudeney collabora avec Sam Loyd pour le magazine anglais Tit-Bits. Par la suite, Dudeney et Sam Loyd dcidrent d'changer leurs nigmes qu'ils proposaient des journaux diffrents, ce qui explique que l'on retrouve parfois des nigmes identiques chez les deux auteurs sans savoir qui en est le vritable crateur. Mais Dudeney finit par s'offusquer du fait que Sam Loyd ne le citait pas toujours comme tant l'inventeur de certains jeux dans les livres qu'il publait. Si Sam Loyd possdait d'incontestables dons de mise en scne des nigmes qu'il crait, Dudeney tait davantage mathmaticien. Une invention de Dudeney est un puzzle o un triangle quilatral form de quatre morceaux articuls entre eux peut se rarranger en un carr.

Sam Loyd

Ernest Dudeney

Dudeney prsenta ce dcoupage de son invention la Royal Society de Londres en 1905. Parmi les nigmes cres par Dudeney, on peut citer le premier cryptarithme : S E N D + M O R E = M O N E Y, message adress son diteur et opration code o chaque lettre remplace un chiffre (deux lettres diffrentes remplaant toujours deux chiffres diffrents et deux chiffres diffrents tant toujours remplacs par deux lettres diffrentes. Sam Loyd et Henry Ernest Dudeney, chacun sa manire, prfigurent les grands vulgarisateurs modernes.
Pour en savoir (un peu) plus :
Les recueils de problmes publis par Dudeney sont : The canterbury Puzzles (1907), Amusements in Mathematics (1917), Modern Puzzles (1926) et Puzzles and Curious Problems (1931), publi aprs sa mort. Le texte intgral de Cyclopedia of puzzles peut tre tlcharg au format pdf sur : http://www.mathpuzzle.com/downloads/ Solution du cryptarithme : 9 567 + 1 085 = 10 652

55

Edouard Lucas
Michel CRITON
Edouard Lucas (1842 - 1891) est un grand mathmaticien franais de la fin du 19e sicle. Son apport aux mathmatiques se situe principalement en thorie des nombres, notamment dans l'tude des nombres premiers. Un test de primalit porte le nom de test de LucasLehmer. Mais Lucas est aussi un pionnier de la popularisation des mathmatiques par le jeu, avec les quatre tomes de ses Rcrations Mathmatiques et son Arithmtique Amusante, qui constituent une vritable encyclopdie des rcrations mathmatiques. Edouard Lucas pensait que chaque notion mathmatique pouvait tre prsente aux jeunes et au grand public sous la forme d'un jeu ou d'une nigme : si ces pages inspirent quelques jeunes intelligences le got du raisonnement et le dsir des jouissances abstraites, alors je serai satisfait. Seuls les deux premiers tomes des Rcrations de Lucas ont paru de son vivant. Dcd prmaturment en 1891 la suite d'une infection, Edouard Lucas ne verra pas la publication des deux derniers tomes, ralise par ses amis partir des notes qu'il a laisses. Il en est de mme pour L'Arithmtique Amusante, dite partir d'un projet de livre retrouv chez Lucas. Les jeux tudis par Lucas sont pour la plupart des jeux connus, pour lesquels il existe des raisonnements susceptibles de conduire une rsolution complte du jeu. On peut citer les labyrinthes, les 56 taquins, le jeu de camlon, le baguenaudier.

Le baguenaudier est un jeu constitu d'anneaux enfils sur une navette, ces anneaux tant enchevtrs l'aide de fils de fer, et qu'il s'agit de dsenchevtrer. Le jeu a probablement t invent en Chine, et il est cit par Jrme Cardan en 1550.

Le Moulin Rouge est un jeu commercialis l'poque de Lucas. On place dix jetons portant les dix lettres L E M O U L I N au hasard, puis on doit les remettre dans l'ordre en dplaant les pions. La case centrale communique avec les cases extrieures par les ailes du moulin.

Edouard Lucas
Mais le plus clbre des jeux populariss par Edouard Lucas reste la tour de Hano dont il est par ailleurs l'inventeur. Ce jeu tait conu pour expliquer la numration binaire. Voici la prsentation qu'en fait Lucas : " Un de nos amis, le professeur N. Claus (de Siam) mandarin du collge de LiSou-Stian, a publi, la fin de l'anne dernire, un jeu indit qu'il a appel la Tour d'Hano, vritable casse-tte annamite qu'il n'a pas rapport du Tonkin, quoi qu'en dise le prospectus. Cette tour se compose d'tages superposs et dcroissants, en nombre variable, reprsents par huit pions en bois percs leur centre, enfils dans l'un des trois clous fixs sur une tablette. Le jeu consiste dplacer la tour en enfilant les pions sur un des deux autres clous et en ne dplaant qu'un seul tage la fois, mais avec dfense expresse de poser un tage sur un tage plus petit. Le jeu est toujours possible et demande deux fois plus de temps chaque fois que l'on ajoute un tage la tour ... . Le nom prtendu de l'inventeur du jeu, N. Claus de Siam, mandarin de Li-SouStian est tout simplement l'anagramme de "Lucas d'Amiens, professeur au lyce Saint Louis". Lucas aimait agrmenter ses rcrations de pointes d'humour. Selon Lucas, N. Claus de Siam prparait la publication des crits du mandarin Fer-Fer Tam-Tam (Lucas avait fond le projet de publier les oeuvres de Fermat). Il rapporte galement la lgende d'une tour de Hano situ Bnars et comportant 64 disques.

illustration de la tour de Hano dans les Rcrations Mathmatiques.

Lorsque les 264-1 cest dire : 18 446 744 073 709 551 615 mouvements ncessaires au transport des 64 disques auront t effectus, les brahmes tomberont et ce sera la fin du monde !
Rsolution d'une tour de Hano de 4 disques. Cette rsolution ncessite 24 - 1 soit 15 mouvements.

Martin Gardner
Jean-Jacques DUPAS
- Elve Gardner, qu'est-ce que je vois l ? Un morpion ! Je rve ! J'aimerais qu' l'avenir vous ne fassiez plus que des mathmatiques pendant les cours de mathmatiques ! Le jeune Martin Gardner essayait de trouver une stratgie gagnante. Ce qui veut dire qu'il faisait des mathmatiques. Ce sujet aurait sans doute passionn tous ses camarades et l'enseignant avait l une belle occasion de parler de combinatoire, de probabilit, de symtrie Les jeux peuvent tre une formidable introduction aux mathmatiques. Martin Gardner est n le 21 octobre 1914 Tulsa, Oklahoma. Il suivit les cours de l'universit de Chicago o il obtint une licence de philosophie, mais pas sa matrise. Sa prodigieuse culture gnrale est le rsultat de ses innombrables lectures et de ses infatigables recherches en bibliothques. Martin Gardner adulte sera le champion des jeux mathmatiques et des mathmatiques amusantes. Il a su populariser ce genre et lui donner ses lettres de noblesse. Il faut dire qu' l'poque de sa jeunesse les livres sur le sujet taient rares, il y avait bien quelques annes auparavant des prcurseurs comme le gnial Lucas, Loyd, Dudeney.... Mais en 1956, pour se procurer le classique Essais et Rcrations Mathmatiques, de W.W.Rouse Ball, il fallait crire H.S.M Coxeter. La popularit de Martin Gardner est essentiellement due, au dpart, sa rubrique Mathematical Games du Scientific American qui commena en 1956 et 58 s'arrta en 1982 mais qui fut publie par Pour la Science, partir de 1977 dans son dition franaise . En 1983, Gardner fut dsign crivain scientifique de l'anne en 1983 par l' Institut Amricain de Physique. Ds le dbut, sa rubrique fut un immense succs. La premire prsentait les flexagones, bande de papier replie dont les faces apparaissent suivant des cycles. En observant ces bandelettes de papier obtenues par dcoupage, Feynman, montra que les mathmatiques qui se cachent derrire elles, sont trs profondes. Ce premier article eut tellement de succs qu'il n'tait pas rare de croiser, cette poque, aux Etats-Unis, un passant manipulant un flexagone. Dans le courrier reu du monde entier, Martin Gardner trouvait la substance de ses articles. Il popularisera de nombreux sujets. On ne peut que faire un choix difficile pour en citer quelques uns. Les Polyominos sont des figures obtenues en collant des carrs par leurs cts. Les cubes de Soma lui avaient t confis par le danois Piet Hein, inventeur aussi du jeu de Hex, jeu que Wendelin Werner voque pour illustrer ses recherches. Le clbre Jeu de la vie de John Conway est un jeu de simulation qui devint si populaire qu' l'poque de sa publication, les rares ordinateurs furent paralyss pendant des semaines, occups par ce jeu. Les pavages de Roger Penrose, pavage du plan apriodique partir de deux pices de base ont trouv des applications inattendues en cristallographie. N'oublions pas

Martin Gardner
que c'est aussi dans le monde de l'art, que Martin Gardner a fait connatre au grand public l'uvre de Maurits Escher. Dans un domaine plus austre, il fut autoris, par les auteurs eux mme, dvoiler le systme de codage rvolutionnaire, RSA, clef publique. Ses rubriques lui permettront galement d'introduire des personnages imaginaires pittoresques comme le Docteur Irving Joshua Matrix, numrologiste. Les rencontres avec le docteur Matrix et sa jolie fille Yva Toshiyori seront l'occasion pour Martin Gardner de dnoncer, avec beaucoup d'humour, la numrologie et ses m-thodes. Une grande partie de la vie de Martin Gardner sera consacre la lutte contre les pseudo sciences et le paranormal. Pourtant depuis son plus jeune ge, Martin tait passionn de magie ce qui n'a rien d'tonnant car n'avez-vous pas remarqu que les gens dont l'illusion est la profession sont extrmement rationalistes et sont souvent les mieux placs pour dnoncer les charlatans de tous poils ? C'est en employant les mthodes et ressorts psychologiques des illusionnistes que Martin Gardner a donn ses textes ce charme si particulier. Les textes de Martin Gardner ne se rsument pas sa rubrique, mme si celle-ci l'a rendu clbre. Il a galement publi, plus de 70 ouvrages sur les mathmatiques, la philosophie, la littrature, la lutte contre le paranormal. Nous avons donc affaire un auteur la fois prolixe et clectique. Toute sa vie durant, il a pos un nombre incroyable d'nigmes et a eu cur de nous faire partager leurs solutions. Il a

essay de faire entrer les mathmatiques rcratives dans l'enseignement et il a bien mrit ainsi d'tre honor sur le Salon de la culture et des jeux mathmatiques.
Pour en savoir (un peu) plus :
Martin Gardner, Les Jeux mathmatiques, Pour la science, Octobre 1998. Martin Gardner, Jeux Mathmatiques du Scientific American, adapt par mon ami Yves Roussel, ADCS, Amiens, 1996

Un premier avril mmorable Dans sa rubrique d'avril 1975, Martin Gardner relatait, non sans malice, 6 dcouvertes sensationnelles qui avaient chappes aux mdia. Cela allait de l'invention par Lonard de Vinci de la chasse d'eau un rsultat extraordinaire de la thorie des nombres en passant par une carte complique o il tait ncessaire d' utiliser 5 couleurs pour en effectuer le coloriage, confirmant ainsi la soi-disante intuition de H.S.M Coxeter alors que dans le mme temps le thorme des 4 couleurs venait d'tre dmontr ! Martin Gardner savait que son dessin tait fallacieux. Cet article de lgende lui valut un torrent de courrier. Beaucoup de lecteurs prirent les articles au premier degr, tromp par les rfrences prestigieuses et le style de Martin Gardner! Comme quoi, le premier avril il faut se mfier mme des journaux scientifiques et garder son esprit critique, mais n'est-ce pas l l'essence mme de la science! 59

www.cnrs.fr
60

www2.cnrs.fr/jeunes

Le CEA est un organisme public de recherche. Ses grands domaines de comptences Energie

Dfense et scurit Technologies pour linformation et la sant

Recherche fondamentale

15 000 salaris 9 centres de recherche en France www.cea.fr


61

62

Fonde en 1872, la Socit Mathmatique de France est riche de ses deux mille adhrents et adhrentes. Reconnue d'utilit publique, la SMF a pour seul objectif le dveloppement des mathmatiques en France. Elle veille maintenir l'excellence et le dynamisme des mathmatiques franaises, amliorer leur ouverture et leur diversit. Elle s'attache crer des liens avec les industries et les services, dvelopper le dialogue avec les autres sciences et encourager la diffusion des oeuvres culturelles de qualit concernant les mathmatiques. Elle dveloppe les changes culturels et scientifiques internationaux, dfend la diversit linguistique, travaille mettre en place l'espace scientifique europen et promeut la solidarit avec les pays du sud. La SMF travaille encourager un enseignement de qualit tous les niveaux. Participer la formation des nouvelles gnrations, partager avec elles notre amour des mathmatiques, c'est prparer l'avenir de notre communaut scientifique. La SMF publie des mathmatiques depuis sa cration. Ses publications sont ouvertes la communaut mathmatique internationale. La qualit des textes choisis est garante de leur prennit et les revues et ouvrages de la SMF constituent des rfrences mondialement connues encore cites des dizaines d'annes aprs leur parution. La SMF diffuse des informations utiles pour l'insertion des jeunes mathmaticiens et mathmaticiennes la vie professionnelle.Elle attache beaucoup http://smf.emath.fr d'importance leur participation ses activits. Le CIJM association cre en 1993 par des professeurs de mathmatiques dsireux de proposer une autre rflexion sur leur discipline fdre trente deux comptitions intressant ainsi plusieurs millions de personnes tant en France qu' l'tranger. Le CIJM dite Panoramath, annales corriges de ses comptitions et cre des jeux labors partir de ces textes pour permettre tous de connatre la joie de la recherche mathmatique ! Il propose des expositions avec animations pour mettre la culture mathmatique la porte du plus grand nombre. Le CIJM dynamise son site internet, pour dvelopper travers le monde des liens forts entre ses associations membres, ses nombreux partenaires et son public. Le CIJM organise une grande fte des mathmatiques, dbut juin Paris, lieu de rencontre de nombreux pays et espace privilgi de vulgarisation et de promotion de la culture mathmatique.

le salon de la culture et des jeux mathmatiques,

www.cijm.org
63

Grce au soutien du CNRS, du CEA, de lINRIA et de la SMF Sous la direction de Marie Jos Pestel Comit International des Jeux Mathmatiques avec laide de Stphane Jaffard Professeur Universit Paris 12 Cette brochure a runi les signatures de
Herv Lehning Elisabeth Busser Benot Rittaud Wendelin Werner Erwann le Pennec et Dominique Picard Jean-Christophe Yoccoz Etienne Ghys Cdric Villani Alice Guionnet Laurent Demonet Michel Bauer et Philippe Di Francesco Benjamin Werner Michel Criton Marie Jos Pestel Abdelkader Necer Jean-Jacques Dupas Quils soient ici tous remercis pour avoir eu, au milieu de leur emploi du temps surcharg, la patience et la gentillesse de stre livrs au jeu de lcriture. Illustrations de couverture Elsa Godet - www.sciencegraphique.com

Impression FP Impression

01 39 72 21 72

Ralisation Patrick Arrivetz

CIJM
8 rue Bouilloux-Lafont 75015 Paris tl :01 40 37 08 95 www.cijm.org

Introduction

Les nigmes dhier aujourdhui


Linfini, entre logique et paradoxes Equations et racines, une traque universelle Gomtrie, une longue histoire 2 7 11

Dcouvertes mathmatiques daujourdhui


La conjecture de Riemann La percolation la temprature critique Des lunettes pour un tlescope spatial Itration de polynmes La dynamique qualitative Transport optimal Les grandes matrices alatoires La cryptologie moderne Statistique des carts Le thorme des quatre couleurs 15 17 22 25 27 29 31 33 37 41

2000 ans dnigmes mathmatiques


Les nigmes dArchimde Enigmes et jeux dans le monde arabe Leonardo Pisano Fibonacci Bachet de Mziriac Leonhard Euler Sam Lyod et Henry Ernest Dudeney Edouard Lucas Martin Gardner 44 46 48 50 52 54 56 58