Académique Documents
Professionnel Documents
Culture Documents
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.
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
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.
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.
Avant ce retour en grce, la notion d'infini est utilise par les math-
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
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 !
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
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 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
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
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
Portulan extrait de latlas dress en 1467 par le navigateur Grazioso Benincasa. Ce sont les cartes marines les plus prcises et renseignes de lpoque.
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
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
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
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.
16
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
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
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
19
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.
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
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
22
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 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
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
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
31
32
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
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
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
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
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
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
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
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).
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
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.
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
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 !
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 !
43
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
45
" 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
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
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.
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
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
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
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.
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
Recherche fondamentale
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.
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
CIJM
8 rue Bouilloux-Lafont 75015 Paris tl :01 40 37 08 95 www.cijm.org
Introduction