Académique Documents
Professionnel Documents
Culture Documents
Jean-Luc Rullire
Ce livre est destin aux lycens et aux tudiants dsireux de saisir davantage le sens rel
des notions qui leur sont enseignes. Il conviendra galement toutes les personnes
ayant un bagage scientifique ou technique qui voudraient comprendre la porte des
mathmatiques. Il sadresse plus gnralement tous les esprits curieux qui souhaitent voir
les mathmatiques sous un jour diffrent.
15 euros
En cheminant avec Kakeya
En cheminant
avec Kakeya
Voyage au cur des mathmatiques
ENS DITIONS
2014
Cet ouvrage est publi avec le concours du
labex Milyon et du CNRS Rhne-Auvergne Institut Camille Jordan
Remerciements 7
Avant-propos 9
La drivation 23
Quest-ce quune drive ? 25
La dcouverte de Descartes 31
Avance sur la question de Kakeya 35
Le thorme dArchimde 38
Le calcul intgral 47
Le partage dArchimde 50
Quest-ce quune intgrale ? 53
Avance sur la question de Kakeya 56
Le paradoxe du peintre 58
La formule de Stokes 67
La mthode de larpenteur 69
La dcouverte de Stokes 71
Avance sur la question de Kakeya 76
Bulles de savon 78
Bibliographie 157
Remerciements
La question de Kakeya
Un calcul rigoureux de laire de cette figure montre quelle est plus petite
que celle du disque (ce calcul est propos dans lencart color de la page
suivante). Ainsi la figure que lon pressent naturellement le disque
2
Ici, la dcomposition fait apparatre un demi-disque daire
2
et deux triangles
p
3
quilatraux, de ct 1 dont chacun a une aire gale 4
,
laire du Reuleaux est
donc : p
3
= 0, 70477...
2
Cette aire est effectivement plus petite que celle du disque.
Quant laire dun triangle quilatral, cest le quotient du carr de sa hauteur par
p
le nombre 3, elle vaut donc ici :
12
p = 0, 57735...
3
ce qui est bien infrieur 0,70477.
LA QUESTION DE KAKEYA 15
Ces grandes questions, outre leur intrt propre, agissent comme des
points de repre pour lensemble de la communaut : elles annoncent
et dlimitent clairement ce qui est considr comme tant la fois
fondamental et difficile. Dailleurs les mathmaticiens se runissent
priodiquement afin den proposer de nouvelles. Lexemple le plus
clbre fut le congrs de Paris en 1900 o David Hilbert qui tait
16 UNE QUESTION ANODINE ?
Les courbes complexes qui dlimitent la deltode font surgir une diffi-
cult : outre quelles ne sont pas aussi familires que la droite ou le cercle,
elles ne rpondent pas aux formules lmentaires de calcul daire telles
quon les connat pour le disque ou le triangle par exemple. Et si lon ne
connat pas laire de la deltode, il devient difficile de la comparer celle
dautres figures et donc, in fine, dtre capable de montrer quil sagit bien
de la solution au problme de Kakeya. Bien entendu, ce problme ne
sarrte pas la deltode : toute autre figure permettant la rotation de
laiguille na aucune raison de possder des cts droits ou circulaires et
par consquent la dtermination de son aire sera problmatique. Plus
gnralement, cest la question de la comprhension des courbes que
lon se trouve confront ici : puisquune figure se rsume aux courbes qui
la dlimitent, une connaissance approfondie de ces courbes doit suffire
pour rpondre non seulement la question de laire mais aussi toute
autre question gomtrique. Jusqu une poque relativement rcente,
cette connaissance approfondie des courbes ntait pas accessible. Au
dbut du XVIIe sicle, dimmenses mathmaticiens comme Ren Des-
cartes, Pierre de Fermat ou encore Blaise Pascal se heurtaient quotidien-
nement des problmes de calcul daire relatifs ce type de courbes. Un
des problmes de lpoque tait justement de trouver laire dune figure
du mme type que la deltode, appele cyclode.
18 UNE QUESTION ANODINE ?
Dans cette figure, le petit cercle, au lieu de rouler dans un cercle plus
grand, se dplace tout simplement sur une droite. Comme pour la del-
tode, ce mouvement engendre un trajet qui nest ni une droite ni un
cercle mais bel et bien une ligne courbe pour laquelle un vritable pro-
blme de calcul daire se pose. Bien des efforts, et beaucoup de gnie, ont
permis au mathmaticien Roberval de mener ce calcul bien en 1634
mais il manquait toujours la grande notion unificatrice qui permettrait
une relle comprhension des courbes. Cest cette grande notion que
nous dcouvrirons au fil des pages, dans notre prgrination autour du
problme de Kakeya.
La grande invention
la fin du XVIIe sicle, une grande invention voit le jour : le trs fameux
calcul diffrentiel, invent indpendamment par les deux plus grands
savants de lpoque : Isaac Newton et Gottfried Leibniz. Ce calcul dif-
frentiel, ou encore analyse des infiniments petits comme on lappelait
alors, ouvre non seulement la comprhension des courbes mais aussi
celle, plus concrte, du mouvement des corps, quil se produise sur
Terre ou dans lespace. Autrement dit, il permet tout la fois de rpondre
aux questions de calcul daire et aux proccupations des astronomes
dsireux de connatre la course des objets clestes. Plus encore, le calcul
diffrentiel sest rvl tre le langage universel avec lequel scrivent les
lois de la nature, lexemple le plus clbre tant la loi de la gravitation de
Newton. Avec cette invention, on commence comprendre vritable-
ment les phnomnes naturels.
Aujourdhui, plus de 300 ans aprs, il est trs facile de se rendre compte
quel point cet enthousiasme initial tait justifi. Non seulement le
calcul diffrentiel a pntr toutes les branches des sciences, depuis
lastronomie jusquaux sciences du vivant, mais il sest aussi introduit,
mme si nous nen avons pas toujours conscience, jusque dans notre vie
quotidienne. Par exemple un simple voyage en train peut tre loccasion
dobserver une matrialisation inattendue du calcul diffrentiel. Celle-ci
concerne le trac des voies ferres qui doit prendre en compte de sub-
tiles contraintes sur la forme des rails, notamment dans la construction
des virages. En effet, pour raliser ces changements de direction, on
serait tent de faire succder une ligne droite un arc de cercle qui la
prolonge. Mais cette solution, certes naturelle, provoquerait pourtant
presque coup sr le draillement du train. Il existe en ralit une forme
de rupture invisible dans le passage de la ligne droite larc de cercle
mme si ceux-ci sont placs dans la plus grande continuit possible. Seul
le calcul diffrentiel permet de mettre en vidence cette rupture et pro-
pose des courbes, autres que le cercle, qui senchanent parfaitement
la ligne droite. Contrairement larc de cercle prolong par la droite, ces
nouvelles courbes dites deux fois drivables impriment une grande
rgularit la trajectoire du train, et assurent tout la fois le confort des
voyageurs et une moindre usure du matriel. Bien entendu, cet exemple
de la courbure des rails de chemin de fer nest pas unique et il existe de
nombreux autres domaines dintervention du calcul diffrentiel dans
notre quotidien. En fait toute la technologie actuelle ne peut sen abs-
traire : il sapplique trs concrtement dans la matrise des processus
industriels, dans loptimisation des investissements et des productions,
bref partout o il est question de trouver les meilleurs compromis. De fa-
on plus universelle, le calcul diffrentiel est la source dune multitude
dides et de thories nouvelles. Pour ne citer quun exemple, il a permis
lmergence dune nouvelle gomtrie, dite gomtrie diffrentielle, qui
sest rvle par la suite tre le cadre indispensable dans lequel Einstein
a pu dvelopper sa fameuse thorie de la relativit gnrale.
toutes sortes de contextes sans mme que lon y prte attention. Ainsi le
calcul diffrentiel apparat-il, lui aussi, dans dinnombrables situations
souvent trs loignes de celles dont se procupaient Newton et Leibniz.
La question de Kakeya peut tre lune de ces situations, elle nous donne
loccasion daborder cette grande invention.
Aire
1,5
Cette courbe montre que laire des hlices commence par dcrotre, puis
atteint son point le plus bas et se remet ensuite crotre. Le point le plus
gauche de cette courbe donne laire du Reuleaux et le plus droite,
QUEST-CE QUUNE DRIVE ? 27
7%
7m
100 m
7
Une pente de 7 %, cest--dire de 100 , signifie qu un dplacement ho-
rizontal de 100 mtres correspond un dplacement vertical de 7 mtres.
Bien entendu pour mesurer cette pente, il nest pas ncessaire de par-
courir une distance de 100 mtres, nimporte quel dplacement suffit.
Par exemple, un dplacement de 50 mtres correspond en verticale
une monte de 3,5 mtres. La pente sera tout simplement le quotient
du dplacement en verticale par le dplacement en horizontale. En
mathmatique, contrairement aux panneaux de signalisation routire,
on fait la diffrence entre une route montante comme celle reprsente
ci-dessus, et une route de mme inclinaison mais qui serait descen-
dante, auquel cas on affecte la pente dun signe ngatif. De plus, comme
la route figure naturellement une droite, on prfre parler de la pente
dune droite. Cette pente ne dpend pas de lendroit o on la mesure : si
lon place deux points A et B sur une droite, le rapport entre leurs carts,
en verticale et en horizontale, est toujours le mme. Ce fait bien vident
nest quune dclinaison du fameux thorme de Thals. On crit :
distance verticale de A B
Pente de la droite =
distance horizontale de A B
QUEST-CE QUUNE DRIVE ? 29
B
B
A B
A A
Dans le cas dune courbe les choses se compliquent, en effet ledit rapport
ne sera pas systmatiquement le mme, sauf prendre une courbe...
en ligne droite. Lexemple qui suit montre dailleurs quel point les
triangles qui matrialisent ce rapport peuvent tre dissemblables.
B B
B
A
A A
B
B
B
A A A
distance verticale de A B
Pente de la courbe au point A = limite ,
distance horizontale de A B
le mot limite signifiant que lon prend la valeur limite lorsque le point
B se rapproche du point A. Tout ceci ne vaut pas seulement pour le point
A mais pour chaque point de la courbe. Dans lillustration ci-dessous, le
mme procd est appliqu deux autres points, le point S au sommet
de la courbe et un point C intermdiaire. Contrairement la droite, une
courbe na pas de pente globale mais une pente en chaque point.
S pente = 0
C pente = 1
A pente = 2
La dcouverte de Descartes
S
C 2
0,75 0,75 = 2 0,5 0,5
A
x = 0,5
pente = 2 2x .
1 B 0,96 B
0,84 B
0,75 C 0,75 C
0,75 C
B
2b b 2
P
2x x 2
x b
Le quotient qui donne la pente scrit ici :
distance verticale de P B (2b b 2 ) (2x x 2 )
= .
distance horizontale de P B b x
Lidentit : b 2 x 2 = (b x )(b + x ) permet de simplifier le quotient en : 2 (b + x ).
Pour obtenir la pente de la courbe au point P il faut rendre b de plus en plus proche
de x , la limite le nombre obtenu est 2 (x + x ) cest--dire 2 2x , lexpression
de f .
AVANCE SUR LA QUESTION DE KAKEYA 35
x x2 x3 x4
drivation etc.
1 2x 3x 2 4x 3
Une expression qui combine ces puissances de x se drive ensuite de
faon la plus naturelle qui soit, par exemple la fonction f = 2x x 2 se
compose des fonctions x et x 2 figurant dans la liste prcdente et sa d-
rivation seffectue terme terme :
f = 2x x2
drivation
f = 2 1 2x
On retrouve donc pour la fonction drive lexpression f = 2 2x an-
nonce prcdemment. La connaissance de cette fonction drive livre
la pente de la courbe en tous ses points, elle dnoue, elle seule, la ques-
tion de linfini laquelle on se heurtait puisque celui-ci est tout entier r-
sum en la prsence de linconnue x . En dautres termes, linfinit de va-
leurs possibles que lon peut assigner x entre en correspondance avec
linfinit des pentes prsentes sur la courbe. Au final, la slection de celui
de ses points o la pente est zro ne rsulte plus que dun petit calcul :
la pente 2 2x sannule pour la valeur x = 1 qui est bien la position en
horizontale du point S, le sommet de la courbe.
p p
(2 3)x + ( 3 ) = 0,
et lon aboutit bien au rsultat dj annonc :
p
3
x = p = 0, 30971...
2 3
Cela est la valeur exacte de la longueur de chaque extrmit (chaque pale ) de
lhlice pour laquelle laire est la plus petite. En remplaant x par cette valeur dans
p p p
lexpression ( 23 )x 2 + ( 3 )x + 12 ( 3) on obtient laire minimale, qui vaut
par consquent :
p p p
3 3 2 p 3 1 p
( )( p ) + ( 3 )( p ) + ( 3).
2 2 3 2 3 2
Une simplification de cette expression conduit enfin au rsultat :
p
( 3)
Aire minimale = p = 0, 48649...
4 2 3
Bien sr, cette expression ne doit rien au hasard et dcoule dun calcul
soigneux qui est voqu dans lencart color qui suit, linconnue x repr-
sentant sur la figure la longueur des pales. Il ne reste plus maintenant
AVANCE SUR LA QUESTION DE KAKEYA 37
Le thorme dArchimde
ces corps. Cela fut excut, et cest ce signe que Cicron, tant questeur
en Sicile, retrouva ce monument au milieu des ronces et des pines qui le
drobaient la vue.
x a
b
Chacun sait que la quantit de peinture ncessaire pour peindre unifor-
mment un mur est proportionnelle la surface du mur en question. Il
y a donc une correspondance entre laire peinte et le volume de pein-
ture utilis : la dtermination dune aire est ainsi ramene celle dun
volume. Par exemple, sur le rectangle reprsent ci-dessous, laire ab
sobtient en divisant le volume de peinture abx par lpaisseur x de la
couche. On crit :
volume
Aire =
paisseur
Cette formule met bien en liaison laire et le volume, malheureusement
elle devient caduque ds que lobjet en question cesse dtre plan et
en particulier elle ne permet pas daccder laire des sphres. Au prix
dun passage linfiniment petit, il est cependant possible dadapter
cette mthode des objets non plans et la rendre ainsi plus universelle.
Il suffit pour cela de reprendre la dmarche prcdente, non plus sur
une surface plate comme le rectangle, mais par exemple sur une surface
ondule qui rsulterait dune simple dformation de ce mme rectangle.
le mot limite signifiant que lon prend la valeur vers laquelle tend
ce quotient lorsque la couche de peinture se fait de plus en plus mince.
Le rapport du volume par lpaisseur, qui fournit laire du rectangle,
donne pour des objets dans lespace un rsultat qui varie selon la couche
de peinture, cest pourquoi il est ncessaire de prendre la limite de ce
rapport pour accder laire. On obtient ainsi une formule universelle
qui permet de calculer laire dobjets de lespace comme la sphre ou la
surface ondule. Maintenant si lon se souvient de ce qui a t fait plus
haut concernant la pente dune courbe, une analogie apparat :
4R 2 = 2R 2R
1 x
On applique une
couche de peinture
Au premier abord, le volume de la couche de peinture peut sembler tout aussi in-
accessible que laire que lon recherche. Lastuce est de remarquer que ce volume
est tout simplement la diffrence des volumes entre la sphre peinte de rayon
1 + x (reprsente droite) et la sphre initiale de rayon 1. Sachant que le volume
contenu dans une sphre de rayon R vaut 43 R 3 , le volume de peinture f (x ) scrit
comme une diffrence :
4 4
f (x ) = (1 + x )3 13 ,
3 3
qui se simplifie en :
4
f (x ) = x 3 + 4x 2 + 4x .
3
En drivant cette expression grce aux rgles de drivation vues plus haut, on ob-
tient :
4
f (x ) = 3
x3 + 4 x 2 + 4 x
drivation
4
f (x ) = 3
3x 2 + 4 2x + 4 1
ce qui scrit, aprs simplification, f (x ) = 4x 2 + 8x + 4.
Cette correspondance entre les aires est donc un petit miracle... quil est
ais de vrifier avec laide du calcul diffrentiel au moyen de la proc-
dure qui donne laire dune surface partir dun volume. Bien entendu,
les calculs pratiques sont un peu plus techniques que ceux ncessaires
pour la sphre tout entire, mais ils sont accessibles quiconque veut
sen donner la peine. Toutefois, mme sils permettent de se convaincre
de la validit du thorme dArchimde, ces calculs nen donnent pas
une comprhension globale. Bien au contraire, le cheminement suivi
pour parvenir au rsultat semble tortueux, il faut invoquer un passage
la limite, dcouvrir une analogie avec la drivation puis effectuer des
calculs de volume. On obtient, certes, le thorme mais bien peu de
lumire sur la raison profonde de cette mystrieuse correspondance.
La dcouverte dArchimde nen apparat que plus impressionnante,
dautant plus que lillustre savant ne pouvait bnficier des notations et
des concepts modernes qui clarifient considrablement les diffrentes
notions mises en jeu. La dmonstration dArchimde est gomtrique et
les calculs ncessaires se font dans le cadre de la thorie des proportions
euclidiennes. Il faudra attendre plus de deux mille ans pour que des
LE THORME DARCHIMDE 45
celle que dessine un point situ au bord dun disque qui roule sur lhori-
zontale : la clbre cyclode dj rencontre au premier chapitre.
= 3
Dans la vie de tous les jours, on peut observer une telle courbe en
suivant du regard une lumire fixe sur la roue dun vlo. Cette courbe
a suscit lintrt des mathmaticiens car elle est issue dune combi-
naison trs naturelle du cercle et de la droite. En dpit de sa simplicit,
elle avait t ignore par les Grecs et ne fut remarque quau dbut du
XVIIe sicle. Cette courbe tant toute nouvelle, ses proprits restaient
dfricher, commencer par la question de laire. Celle dun disque est
bien connue, elle vaut R 2 , mais quelle est la formule qui donne laire
situe sous une arche de cyclode ? Cette question savra trs difficile et
cest Roberval, un des grands mathmaticiens de lpoque, clbre en
outre pour la balance qui porte son nom, qui dcouvrit cette fameuse
formule. Elle scrit 3R 2 : laire dune arche est donc le triple de celle du
disque qui lengendre. Quant au dfi de Pascal, il sagissait dune collec-
tion de nombreux problmes toujours sur ce mme thme de la cyclode.
Le partage dArchimde
parabole x 2 cercle
Le second dessin montre que ce partage ralis avec des arcs de cercles
conduit trois parties daires ingales. En revanche, les calculs mens
LE PARTAGE DARCHIMDE 51
etc.
52 LE CALCUL INTGRAL
1 x2 1 1
0,64
0,36 0,36
0,16 0,16
0,04
0,2 0,4 0,6 0,8 1 1 1
0,2 0,2
Laire dune palissade est la somme des aires de chacun des rectangles
qui la composent, il suffit donc de savoir calculer laire dun rectangle
quelconque, ce qui est trs facile. titre dexemple, laire du rectangle
le plus fonc est 0, 2 0, 16 pour la petite palissade et 0, 2 0, 36 pour la
grande, en rptant ce calcul aux autres rectangles on obtient au final
Ainsi, laire du domaine se situe entre les valeurs 0,24 et 0,44. Dans le
tableau qui suit ce mme calcul des aires des petite et grande palissades
est rpt avec un nombre de lames de plus en plus grand, les valeurs
deviennent alors de plus en plus proches lune de lautre.
x2 x
0 1 0 1 0 1
a b
Z b
f.
a
La mthode des palissades est intressante plus dun titre, elle permet
non seulement dobtenir laire de toutes sortes de domaines mais elle
sadapte aussi de nombreuses autres situations. En revanche, elle est
fastidieuse, le calcul de laire dune seule palissade pouvant dj savrer
trs long. Heureusement, comme dans le cas de la drivation, il existe
une formule qui permet de spargner tous ces calculs, une formule
dune importance capitale qui met en vidence un lien spectaculaire
entre le calcul de laire et la drivation. Elle dit en substance, que pour
obtenir laire dune tranche situe sous la courbe dune fonction f , il
suffit de connatre une autre fonction F qui, lorsquon la drive, donne
QUEST-CE QUUNE INTGRALE ? 55
Comme on le constate, cette mthode est bien plus directe que les cal-
culs mens en dbut de chapitre. En contrepartie, une difficult apparat,
56 LE CALCUL INTGRAL
Une premire difficult pour construire cette figure est de choisir parmi
toutes les paraboles la plus adquate, cest--dire celle qui colle au
mieux lhlice. Elle ne doit tre ni trop large, ce qui ferait perdre de la
place, ni trop troite, ce qui empcherait laiguille de tourner.
Dans cet exemple, o lon a pris pour simplifier une longueur de boucle
gale au tiers de celle de laiguille, une tude particulire montre que la
parabole adquate a pour formule :
1
f = 4x 2
12
Cest donc sur cette fonction que vont sappliquer les principes du calcul
intgral. Laire du triangle paraboles sobtient partir de sa dcompo-
sition en figures gomtriques : quatre triangles quilatraux (un grand
et trois petits) et de trois petites calottes paraboliques.
3 3
a b
f
Le paradoxe du peintre
1 b
Il sagit bien dune courbe qui dcrot rapidement, la raison en est la sui-
vante : plus le nombre x est grand, cest--dire plus on est droite sur
lhorizontale, plus son inverse x1 est petit. Et cet effet est encore accen-
tu quand le nombre x en question est lev au carr comme cest le cas
ici. On dcide arbitrairement que le mur dbute lorsque x = 1 et quil se
prolonge indfiniment le long de laxe horizontal. Tout le problme est
maintenant de calculer son aire. La longueur du mur tant infinie, il est
ncessaire deffectuer ce calcul avec prcaution. Imaginons pour com-
mencer quau lieu dtre infini, ce mur sarrte une certaine valeur de
x , valeur que lon dcide de nommer b. Laire de la tranche de mur com-
prise entre 1 et b peut alors tre dtermine au moyen du calcul intgral.
Prcisment il sagit du nombre
Zb
f
1
Pour peindre le mur infini, il ne faut donc pas plus de peinture que pour
peindre ce carr, cest l une des nombreuses surprises de linfini. Ce
paradoxe apprend nous mfier de nos premiers rflexes : ce nest pas
parce quun objet est infini que toutes les quantits qui lui sont associes
seront forcment infinies. Les lignes qui suivent en proposent un autre
exemple.
1/8
1/4 1/16
1/2
Puisque la runion de toutes les parts est gale au gteau tout entier, cela
signifie que la somme :
1 1 1 1 1 1
+ + + + + + ...
2 4 8 16 32 64
est gale 1. Une telle somme constitue dune infinit de nombres sap-
pelle une srie numrique ou encore une somme infinie. Dans le cas du
partage du gteau, le rsultat obtenu est loin dtre anodin puisquil sagit
de la valeur 1, cest--dire dune valeur finie. On peut ainsi ajouter une
infinit de nombres et obtenir un rsultat fini. Mme si ce phnomne
peut paratre surprenant, il se rencontre tous les jours dans lcriture d-
cimale des nombres, par exemple lcriture :
1
0, 33333... =
3
signifie que la somme infinie :
est gale au nombre 13 . Ceci souligne une fois de plus que mme en pr-
sence de linfini on peut aboutir une quantit finie. Ce nest videm-
ment pas toujours le cas. Si on ajoute une quantit constante, disons 1
pour fixer les ides, la somme :
1 + 1 + 1 + 1 + 1 + 1 + ...
62 LE CALCUL INTGRAL
na pas une valeur finie. En ralit, si le nombre que lon ajoute chaque
tape ne se rapproche pas de zro, la somme na aucune chance dtre
finie.
1 + 21 suprieur 1
2
1
3
+ 14 suprieur 1
4
+ 14 qui font 1
2
1
5
+ 16 + 71 + 18 suprieur 1
8
+ 18 + 18 + 81 qui font 1
2
1 1 1 1 1 1 1 1 1 1 1
9
+ 10 + 11 + 12 + 13 + 14 + 15 + 16 suprieur 16
+ ... + 16
qui font 2
1 1 1 1 1 1 1
+ + + + + + + ...
1 2 3 4 5 6 7
1 1 1 1 1
1+ + + + + + ...
4 9 16 25 36
1 1 1 1 1 2
1+ + + + + + ... =
4 9 16 25 36 6
1
1
4 1
1
9 1
16 1
25
36 ...
f
1 2 3 4 5 6 ...
Cette visualisation ne permet malheureusement pas de percevoir le lien
entre la somme des inverses des carrs et le nombre mais elle per-
met nanmoins dobtenir, au moyen du calcul intgral, un renseigne-
ment prcieux : cette somme infinie aboutit une valeur finie, un r-
sultat nullement vident en soi. En effet, le calcul intgral a dj per-
mis plus haut de dterminer que laire du mur infini occupant toute la
partie situe sous la courbe est prcisment gale 1. Par consquent,
lescalier infini qui est tout entier contenu dans cette zone a une aire
infrieure 1. Aprs ajout du premier terme provisoirement occult, la
conclusion tombe delle-mme :
1 1 1 1 1
1+ + + + + + ... est plus petit que 2.
4 9 16 25 36
Cette somme tant infrieure 2, elle est donc finie. Ce fait nest pas du
tout une vidence et cest le calcul intgral qui en fournit une dmons-
tration clairante.
La formule de Stokes
alors au service des tudiants plus nantis que lui : il doit servir leurs
repas, nettoyer leurs chambres et mme vider leurs pots. Ajoutons ces
rjouissances lobligation dassister debout aux repas de ses condisciples
de haut rang. Ainsi se trouve consacre jusque dans lUniversit la struc-
ture pyramidale de la socit de lpoque. De fait, la grande majorit des
savants sont issus de familles de notables appartenant la bourgeoisie
ou la noblesse. Descartes tait de petite noblesse, seigneur du Perron,
et aimait le faire savoir ; Guillaume de lHospital, auteur du premier
livre sur le calcul diffrentiel, tait marquis de Sainte-Mme et comte
dAutremont. Quant Pierre de Fermat, il possdait une noblesse de
robe lie sa charge de magistrat. Il est bien vident que lappartenance
laristocratie donnait toutes les facilits, et ce nest pas tout fait un
hasard si cest un marquis qui le premier publia un livre sur les dcou-
vertes de Leibniz. On peut nanmoins mentionner lorigine modeste de
Gilles Personne de Roberval.
De nos jours, o le savoir est plus largement partag, les origines sociales
des mathmaticiens se sont bien diversifies et lappartenance ou non
la grande aristocratie nest plus rellement un critre dterminant. On
assiste dailleurs un renversement de situation avec lanoblissement
dans certains pays des grands mathmaticiens. Ainsi Andrew Wiles
qui est parvenu dmontrer le trs fameux thorme de Fermat a t
nomm chevalier de lEmpire britannique en lan 2000 par la reine
dAngleterre ! Parmi les prdcesseurs de Wiles, il en est un dont le nom
reviendra souvent dans ce chapitre, il sagit de Stokes, celui-l mme qui
a donn son nom la trs clbre formule de Stokes. Georges Stokes est
issu dune famille relativement modeste dIrlande, son pre tait pasteur
et sa mre, fille de pasteur. Aprs des tudes brillantes, il ne tarde pas
devenir lun des plus grands physiciens du Royaume-Uni. Et tout comme
Wiles, il fut anobli et devint ainsi en 1889 le baronnet Sir Georges Gabriel
Stokes.
Que dit la fameuse formule qui porte son nom ? Elle donne un moyen
direct et lgant pour connatre une aire partir du contour qui englobe
cette aire. En particulier elle est loutil tout indiqu pour aborder le
problme de Kakeya puisquelle permet non seulement de retrouver
toutes les aires des figures qui sont apparues jusqu prsent, mais elle
LA MTHODE DE LARPENTEUR 69
donne galement accs laire de figures aux contours bien plus com-
plexes. Cette formule, tout en se situant dans la veine du calcul intgral,
en repousse les limites. Lintgration, en effet, ne sapplique qu des
domaines trs particuliers : ceux qui se situent au-dessous de la courbe
dune fonction. Or, dans la notion de courbe dune fonction, il y a lide
dun droulement sans retour en arrire.
La mthode de larpenteur
1 2 3 4 5 6 7
Aire = 2 6 + 12 5 + 7 + 6 2 2 = 12
Comment passer des catgories beaucoup plus larges de formes qui se-
raient dlimites non plus par une succession de petits segments verti-
caux et horizontaux mais par toute une courbe ? Autrement dit, comment
gnraliser la mthode de larpenteur ? La formule qui permet une telle
gnralisation est prcisment la formule de Stokes, elle est fonde sur
le mme principe que la mthode de larpenteur mais sa mise en uvre
recle une difficult : il faut tre capable de dcrire mathmatiquement
ce que lon appelle arpenter une courbe.
La dcouverte de Stokes
Y
Y Y
augmente diminue
temps
Ces fonctions X et Y vont jouer par la suite un rle crucial car ce sont
elles qui interviendront dans la formule de Stokes et qui permettront
de calculer laire englobe par la courbe. Les fonctions X et Y ont aussi
un autre rle, elles forment un codage de la boucle autrement dit, la
donne de ces deux fonctions permet de reconstituer la courbe initiale
elles la dcrivent compltement.
X Y
codage
x3 x 1 x2
codage
1 1 1 1
Aire ( )= X Y'
Ce calcul est effectu dans tous les dtails dans lencart color. Les prin-
cipes de la mthode de larpenteur napparaissent pas immdiatement
la lecture de la formule de Stokes pourtant il existe un lien important qui
74 LA FORMULE DE STOKES
2 2
F (x ) = 3
x3 5
x5
drivation
2 2
f (x ) = 3
3x 2 5
5x 4
Laire de la boucle vaut donc F (1) F (1) = ( 32 13 52 14 ) ( 23 (1)3
2 8
5
(1)4 ) = 15 . Le dessin ci-dessous illustre ce rsultat en donnant la
comparaison des aires de la boucle et du carr de ct 1. Il montre
que laire de cette boucle est lgrement suprieure la moiti de
celle du carr.
1
8
15
1
relie les deux formules. Ce lien, qui nest pas vident au premier abord,
apparat plus clairement dans le tableau ci-dessous :
Aire ( ) X Y' 2 6 + 12 5 + 7 + 6 2 2
1
X(t) = 4
(t3 t) X(t) = 15 (t3 t) X(t) = 1
6
(t3 t)
1 3 1 3 1 3
En horizontale : 4
(x x) 5
(x x ) 6
(x x )
Au total la boucle que nous choisissons est donc dcrite par les fonc-
tions :
1 3 1
(x x ) pour X et (1 x 2 ) pour Y
5 4
AVANCE SUR LA QUESTION DE KAKEYA 77
8 2
: 20 =
15 75
Laire de la figure est donc gale laire des trois boucles augmente de
celle du triangle, soit :
? infrieure
Bulles de savon
Le choix de la reine, bien quil paraisse vident, nest pas si facile justi-
fier, il relve du problme de lisoprimtrie qui snonce mathmatique-
ment de la faon suivante : avec un primtre donn, quelle figure faut-il
former pour circonscrire la plus grande surface possible ? Le problme du
mathmaticien est donc un peu diffrent de celui de la reine Didon. On
dispose toujours dun primtre donn qui est la longueur totale des la-
nires, en revanche, le contour que lon cherche former avec ce pri-
mtre doit se refermer sur lui-mme. La raison de cette formulation est
une certaine simplification du problme, la figure recherche na pas
tre adosse une forme particulire, la cte. Le problme devient alors
libre de cette contrainte, il est en quelque sorte plus absolu.
BULLES DE SAVON 79
Mais que se passe-t-il si lon se pose les mmes questions dans lespace
trois dimensions, savoir comment, dans une aire donne, englober le
plus grand volume possible ?
Dans le champ infini des figures possibles, cest la double bulle repr-
sente gauche qui donne la solution. Il sagit de deux sphres accoles,
spares par un film plat, une configuration que lon observe facilement
dans la nature. La figure de droite reprsente une sphre enchsse
dans un tore : cest une autre possibilit, un peu inattendue, mais non
optimale, pour sparer deux volumes gaux. Contrairement la double
bulle, elle ne se rencontre pas dans la nature. Mme si cette solution de
la double bulle est visuellement vidente, il ne faudrait pas penser quil
est facile de le dmontrer, cest--dire dcarter tous les autres candidats.
Cette lgre variante du problme de lisoprimtrie sest avre en
ralit dune extrme difficult. Les mathmaticiens nen sont venus
bout que rcemment puisque la dmonstration a t publie en 2000.
hauteur?
hauteur
2D 3D 3D ? 4D
La hauteur en question doit tre en dehors de lespace dorigine, elle peut
tre vue comme une flche pointant angle droit hors de la page du livre.
Dans un tel espace, qui sort du cadre de la page, la reprsentation dun
objet reste donc trs dlicate puisquau final il faudra bien revenir sur
la feuille pour le dessiner. Dans les figures ci-dessous, on a reprsent
un cercle, une sphre, et une hypersphre, lanalogue de la sphre pour
la quatrime dimension. Force est de constater que la reprsentation de
cette dernire nest pas trs clairante.
Le lien qui unit ces trois objets est leur dfinition mme, seul lespace
dans lequel ils sont considrs change. En effet, chacun deux est com-
pos des points qui sont quidistants dun mme point central. En
dimension 2 cela donne un cercle, en dimension 3, une sphre, et pour
la quatrime dimension, une hypersphre. Comment donner mainte-
nant une reprsentation de lhypersphre qui soit plus loquente ? Pour
rpondre cette question, il est crucial de remarquer que ce nest pas
tant lespace quatre dimensions qui pose problme mais plutt le pas-
sage de la troisime la quatrime dimension, cest--dire lajout dune
dimension. Or ajouter une dimension est une opration que lon peut
aisment raliser dans lespace ordinaire : par exemple cest prcisment
ce qui est fait dans les dessins ci-dessus lorsque lon passe du cercle
la sphre. Un examen attentif de ce passage va permettre daboutir
lhypersphre par simple analogie. Si, avec un effort dimagination, on
conoit un personnage virtuel vivant dans un espace deux dimensions,
cest--dire un tre sans paisseur et compltement inclus dans le plan,
celui-ci serait alors dans lincapacit de voir la sphre qui vit quant
elle dans lespace de dimension 3. Cet tre imaginaire serait confront,
BULLES DE SAVON 83
La courbe dcrite par une simple molcule dair ou de vapeur est rgle
dune manire aussi certaine que les orbites plantaires [...]. Une intelligence
qui, pour un instant donn, connatrait toutes les forces dont la nature est
anime et la situation respective des tres qui la composent, si dailleurs elle
tait assez vaste pour soumettre ces donnes lanalyse, embrasserait dans
la mme formule les mouvements des plus grands corps de lunivers et ceux
du plus lger atome : rien ne serait incertain pour elle, et lavenir, comme le
pass, serait prsent ses yeux.
86 LES QUATIONS DIFFRENTIELLES
ces quations. En somme, alors que lon peut observer sans peine
toutes sortes dcoulements dans la nature, il est incroyablement diffi-
cile de les redcouvrir mathmatiquement en partant des quations de
Navier-Stokes. Ces problmes font partie des plus grandes questions qui
se posent en mathmatiques : un des sept problmes du millnaire, dot
par la fondation Clay dun prix dun million de dollars, est justement de
percer jour le secret de ces fameuses quations.
La deltode
Enveloppe de droites
Reste que cet nonc contient une difficult, il ne donne pas lempla-
cement de ces points de contact. On est en prsence dune srie de
droites et dune courbe, chaque droite touchant la courbe en un certain
point dont on ignore tout, la seule chose que lon sache, cest lgalit
des pentes en ce point. Dans le contexte du problme de Kakeya, cette
courbe sert fabriquer un domaine dont il faut calculer laire et cela n-
cessite de connatre une fonction dont le graphe est ladite courbe. Cest
ce passage de la condition dgalit des pentes lexpression de la fonc-
tion enveloppe qui va faire apparatre une quation diffrentielle dont
la fonction inconnue f est justement la fonction enveloppe recherche.
titre dillustration, on va montrer au moyen dune quation diffren-
tielle quun certain mouvement dquerre engendre une parabole. Le
mouvement est le suivant : on fait glisser langle droit de lquerre sur
une droite tout en astreignant un des cts de lquerre coulisser sur
un point fixe A. Les positions successives de lautre ct de langle droit
reprsentent une famille de droites qui dans leur ensemble forment une
courbe qui semble tre une parabole. Un raisonnement simple faisant
intervenir une quation diffrentielle va en donner la confirmation.
f?
A A 1
Pente = p
f(x)
f(x)
1 2
a
1 2
1
a x 1 xa
une position donne a de langle droit de lquerre sur laxe horizontal, la droite
que lon trace touche la courbe en un certain point inconnu mais qui est quand
mme reprsent. En ce point, la pente de courbe est f (x ). Selon le lien tabli plus
haut, cette droite et la courbe ont la mme pente en ce point. Si on note p la pente
de la droite, cela se traduit par :
f (x ) = p.
Les triangles 1 et 2 qui ont les mmes angles sont semblables donc :
a f (x )
= .
1 x a
Dautre part, dans le triangle 2, la pente p de la droite est le quotient de la distance
verticale par la distance horizontale, soit :
f (x )
p= .
x a
Le cumul des deux galits prcdentes permet dcrire p = a , do
f (x )
p= .
x p
La toute premire galit permet ensuite de remplacer la pente p par f (x ). On
obtient, en fin de compte, une galit o interviennent les fonctions f et f :
f (x ) = x f (x ) f (x )2 .
Cette relation est inhabituelle, elle ne donne pas f (x ) seulement en fonction de
x mais aussi en fonction de sa drive f (x ). Autrement dit, au lieu de trouver
directement lexpression f (x ), on trouve une galit qui relie la fonction f et sa
drive f . Cest une quation diffrentielle que lon crit de manire condense :
f = x f f 2 .
92 LES QUATIONS DIFFRENTIELLES
se dessine est bien une parabole. Les calculs explicits dans lencart de la
page suivante permettent de vrifier que la fonction inconnue est prci-
sment la parabole 0, 25x 2 .
1 f
0 1
Il nest pas ncessaire pour construire une figure meilleure que la del-
tode de faire appel des mouvements de laiguille particulirement
compliqus. En fait, on peut y arriver au moyen dun mouvement du
type de celui dj dcrit pour la parabole. Prcisment, on force chacune
des deux extrmits de laiguille se dplacer le long de deux direc-
tions fixes comme lindique le dessin ci-dessus. Une courbe enveloppe
se dessine qui semble peu familire. Elle est pourtant bien prsente
concrtement puisque cest celle que dcrit une porte de garage dont le
haut est contraint de rouler sur une rampe horizontale et le bas sur une
rampe verticale. Cette courbe est dailleurs bien connue des ingnieurs
sous le nom dastrode. Au final, le rsultat du mouvement de laiguille
sous lastrode est une rotation dun quart de tour, deux figures sem-
blables accoles permettent donc un retournement complet de laiguille.
AVANCE SUR LA QUESTION DE KAKEYA 93
f (x ) = x f (x ) f (x )2
on remplace
1 2 1 2 1
x x ( x )2 .
4 2 2
Aprs simplification, on constate que lexpression de gauche et celle de droite sont
identiques. La fonction f (x ) = 41 x 2 est donc une solution de lquation diffren-
tielle. Visuellement on observe que la courbe enveloppe a bien la forme dune
parabole, la fonction 41 x 2 semble tre la bonne. Tout se complique cependant
lorsque lon constate quil y a une multitude dautres fonctions qui rpondent
cette quation, par exemple f (x ) = 0, f (x ) = x 1, f (x ) = 2x 4, f (x ) = x 1
comme on peut facilement le vrifier. Cette quation fourmille de solutions. Si
lon reprsente ces dernires solutions, on saperoit quil sagit de droites de len-
veloppe.
f(x)= 1 x2 4
f(x)= x1
f(x)=0 1
En ralit, toutes les droites de lenveloppe sont aussi solutions. Rsoudre le pro-
blme de lquerre, cest--dire trouver la courbe enveloppe dune srie de droites,
cest aussi choisir la bonne fonction parmi toutes celles qui satisfont une cer-
taine quation diffrentielle. Ici, cette bonne fonction est la parabole 41 x 2 .
94 LES QUATIONS DIFFRENTIELLES
Cette nouvelle figure est-elle plus conome que la deltode ? Il suffit pour
le savoir de calculer son aire et de comparer. Cette figure tant compo-
se de deux moitis identiques, on peut se contenter de calculer laire
dune seule de ces moitis, celle de droite par exemple. Si, comme cela
est indiqu dans lavant-dernire illustration, on appelle f la fonction de
la courbe enveloppe, laire sous cette courbe se calcule au moyen dune
simple intgrale selon la formule :
1
Aire ( ) f
0
Aprs multiplication par deux, on trouve une aire totale gale 0,58904...,
ce qui est trs suprieur laire de la deltode. Ce rsultat peut sembler
dcevant puisquil ne parvient mme pas au niveau du triangle quila-
tral qui occupe une aire gale p13 = 0, 57735.... Pourtant, il est possible
de lamliorer de faon dterminante tout en gardant ce mme type
de courbes. Mais pour cela, il faut tre plus astucieux et reprendre la
construction non plus en juxtaposant simplement deux morceaux,
mais en en runissant un plus grand nombre de sorte que ceux-ci se
chevauchent le plus possible. Par exemple, on peut commencer par
assembler trois lments qui permettent chacun laiguille deffectuer
un sixime de tour. La construction et la composition de ces lments
sont tout fait semblables ce qui a t prsent plus haut, ce qui est
rsum dans lillustration qui suit :
60
Laire du total nest donc pas le triple de laire de chaque lment, elle est
bien moindre et cest l lintrt dun tel assemblage. Un calcul de laire
donne :
Aire ( ) 0,44843...
Cette figure est nettement plus conome que la prcdente, bien que ce
resultat ne soit pas tout fait satisfaisant puisque il est encore suprieur
laire de la deltode, cest--dire 0,39269... Il se trouve toutefois que les
deux figures qui viennent dtre construites ne sont pas isoles, elles d-
coulent dun mme procd de construction et peuvent donc engendrer
en ritrant ce procd toute une famille infinie de formes toiles.
cependant pas besoin daller aussi loin que cette toile 25 branches
pour dcouvrir des figures plus petites que la deltode, celle reprsente
ci-dessus droite convient tout fait. Un calcul direct montre en effet
que cette toile 11 branches avec une aire de 0,39140... supplante la del-
tode. Ainsi, le candidat naturel pour rpondre la question de Kakeya
nest pas le bon. La conjecture propose tacitement par Kakeya savre
donc fausse : le mystre spaissit.
Billards
peut surgir dans des systmes infiniment plus simples. Il est mme pos-
sible dobserver ces phnomnes sur des systmes tellement purs que
les quations diffrentielles semblent avoir disparu. Un exemple saisis-
sant dun tel systme est ce que les mathmaticiens appellent un billard,
cest--dire un systme compos dun seul corps dont la trajectoire est
astreinte demeurer lintrieur dun espace bien dlimit. Le corps en
question volue en ligne droite jusqu atteindre la limite du domaine o
il rebondit selon la loi de la rflexion de Descartes, cest--dire comme
un rayon lumineux frappant une surface rflchissante.
Dans ce cas, le domaine dans lequel la boule est prisonnire est dlimit
par deux courbes, les deux branches dune hyperbole et, l encore, ce
sont les proprits remarquables de lellipse qui sont lorigine de ce
phnomne. Comment sopre la transition entre ces deux types de
trajectoires ? Dans les deux sries dillustrations ci-dessus, le point de
dpart de la trajectoire est identique, il se trouve tout en haut de lellipse ;
en revanche langle dattaque est diffrent, il est rasant dans le premier
cas et beaucoup plus franc dans le second. En fait, mesure que langle
augmente, la courbe enveloppe sapplatit jusqu ntre quun segment
de droite. Pass ce cap, une rupture se produit et la courbe enveloppe
passe lhyperbole.
180
50
a
50
c
0
a b c
b Position sur le cercle
La trajectoire dune boule dans un billard nest autre quune succession
de rebonds et chacun de ces rebonds peut tre dcrit mathmatique-
ment par sa position sur le cercle et langle sous lequel il le frappe. Pour
reprsenter cela mathmatiquement, on droule le cercle en une
ligne horizontale, et au dessus de chaque endroit o la boule a rebondi,
on place un point une hauteur qui correspond langle de ce rebond.
Dans lillustration ci-dessus, cet angle tant toujours gal 50 , tous les
points vont se trouver la mme hauteur. Plus gnralement, puisque
langle de rebond est conserv, chaque trajectoire va apparatre comme
une succession de points rpartis sur la mme horizontale. Cest la
raison pour laquelle le portrait de phase est symbolis par une srie de
lignes horizontales. Cette reprsentation met en vidence la rgularit
des trajectoires, consquente la parfaite symtrie de ce billard. Un
tel diagramme dans lequel la trajectoire dune boule est rduite une
succession de points, chacun de ces points donnant la position et langle
dun rebond, est un portrait de phase ; dans le cas prsent, cest celui du
billard circulaire. Bien entendu, cette reprsentation est moins naturelle
que le dessin naf des trajectoires mais elle offre lavantage den rvler
les proprits caches.
a b c
Ainsi une petite pertubation des conditions initiales, ici langle dattaque,
entrane dans un dlai trs bref une grande divergence des trajectoires.
Autrement dit, si on a une toute petite incertitude sur langle de dpart,
il est impossible de prvoir, mme grossirement, la position de la bille
aprs quelques rebonds. Cette simple observation a de grandes cons-
quences dans la pratique puisque toutes les donnes dont on dispose
concrtement ont forcment une certaine marge derreur. Loin dtre
un phnomne anodin, la sensibilit aux conditions initiales est en fait
un obstacle la prvision puisque trs rapidement la marge derreur
va couvrir tous les vnements possibles : on est alors condamn
des prdictions court terme. Cette sensibilit aux conditions initiales
existe non seulement dans des situations trs simplifies comme celle
du billard mais aussi dans des situations plus complexes, par exemple
dans certaines ractions chimiques ou dans la dynamique de certaines
populations. Nanmoins, si cette sensibilit aux conditions initiales est
bien prsente jusque dans les grands systmes physiques que sont la
mtorologie ou la course des plantes autour du soleil, son impact
sur la prdiction fait toujours lobjet de dbats entre les scientifiques. Il
se pourrait que les quantits globales, celles auxquelles on sintresse
concrtement, comme la vitesse du vent ou la pression, soient moins
sensibles quon pourrait le penser aux perturbations et que lespoir
106 LES QUATIONS DIFFRENTIELLES
qui laisse penser que laire minimale se situe aux alentours de 0,38 ou
0,39. Mais ceci nest quune vague intuition issue de la considration de
quelques figures et, de mme que pour les origamis, seule une dmons-
tration permettrait de valider dfinitivement cette intuition. Tant quil
nest pas tay par une dmonstration, le rsultat pressenti peut savrer
compltement faux... et cest dailleurs ce qui arrive ici ! En 1928, soit
onze ans aprs que Kakeya eut pos son problme, un mathmaticien
russe nomm Abram Besicovitch obtenait un rsultat totalement dcon-
certant :
La construction de Besicovitch
Bien sr, si on coupe ce secteur en deux et que lon superpose les deux
moitis, on aboutit a une figure dont laire est nettement plus petite
mais qui ne permet plus de tourner laiguille de 45 degrs. En effet, pour
effectuer son huitime de tour, laiguille devrait sauter de la position
112 LE THORME DE BESICOVITCH
verticale la plus gauche celle la plus droite. Telle quelle est repr-
sente ici, cette figure ne convient pas, il faut donc la complter pour
rendre possible le transfert dune position verticale lautre. Or, deux
verticales tant ncessairement parallles, ce problme de dplacement
de laiguille entre ces deux positions nest autre quun problme de Ka-
keya pour les aiguilles parallles. Il existe donc une figure permettant ce
tranfert et qui occupe de surcrot une aire aussi petite quon le souhaite.
Il suffit de la placer correctement sur les deux secteurs angulaires pour
rendre au huitime de tour sa continuit.
Puis on runit ces paquets deux par deux en paquets plus gros, ce regrou-
pement se faisant non pas sur la base mais une certaine hauteur : sur le
dessin ci-dessus, le segment de jonction est reprsent en trait fort. On
ritre ce procd avec les nouveaux paquets de nouvelles hauteurs,
jusqu nobtenir quune seule figure. La transformation propose ici,
partir du triangle de dpart, compte en tout trois tapes.
Tout rside dans la comparaison astucieuse des aires des tages de la fi-
gure de Besicovitch et celles des tages dun triangle. Dans les dessins
ci-dessus, la figure finale est reprsente en troisime position, elle est
constitue de quatre tages clairement visibles, le troisime tant mis en
vidence par une zone plus fonce. Par construction, le premier tage est
la superposition du premier tage des quatres gerbes visibles ltape
numro un ; lune de ces gerbes est dessine gauche, son premier tage
est figur en plus sombre. Le premier tage de la figure finale a donc une
aire plus petite que celle des quatres trapzes puiquil rsulte de la super-
position de ceux-ci. De mme avec le second tage : on compare son aire
avec celles des trapzes qui forment ce mme second tage ltape nu-
mro deux ; lun dentre eux est reprsent dans la seconde illustration.
Laire du troisime tage est bien sr infrieure celle du trapze qui le
contient. Quant au dernier tage, il est plus petit que le quatrime tage
du triangle initial. En effet, bien quil soit assez complexe sur la figure fi-
nale, ce dernier tage est compos des morceaux rorganiss de la coiffe
du triangle. Tout compte fait, on obtient donc :
Aire ( ) infrieure 4 + 2 + +
infrieur
mouvement brownien entre en scne. Cette ligne qui est plus quune
ligne, cette surface qui nen est pas une, ouvre une premire fentre sur
un vaste territoire : celui des objets daire nulle.
reprsente, il devient ainsi facile sur un dessin de tracer une courbe qui
recouvre tout le carr, il suffit simplement de colorier ledit carr comme
le ferait un enfant muni dun crayon. Toute la difficult du travail de
Pano a bien t de dcouvrir une vritable courbe mathmatique, donc
sans paisseur, recouvrant le carr. Cette courbe tant trop complexe
pour pouvoir tre dcrite ici, on se contentera den accepter lexistence.
Quoi quil en soit, lexemple de Pano montre quil faut tre prudent si
lon utilise les courbes pour construire des objets daire nulle. Dautant
plus que lon cherche construire des figures qui sont certes daire nulle
mais qui, tout en nayant pas daire, occupent nanmoins suffisamment
de place pour que lon puisse y retourner une aiguille.
les objets les plus simples : une droite par exemple se conoit men-
talement comme un segment que lon peut prolonger indfiniment,
dailleurs cest un segment que lon dessine et cest limagination qui
fait le reste. Dans le cas du pentagone, au lieu de ce prolongement par
extension, le travail de limagination procde en un videment ritr
indfiniment lintrieur de la figure. Ajoutons quen toute rigueur cette
figure, tout comme la droite, ne devrait pas tre visible, son aire tant
nulle. Par ce mme procd, on peut fabriquer toutes sortes dobjets
dont laire vaut zro, en voici un form partir du triangle.
Ici, tous les lments qui se succdent ont une aire gale zro, pourtant
la figure qui en rsulte, daire nulle galement, a une allure trs ressem-
blante celle du triangle ou du pentagone vids. Oublions maintenant
le mode de fabrication et prsentons quelques-uns de ces objets d-
pourvus daire que lon vient de dcouvrir. En premier lieu, se trouve
reprsent un objet quasi filiforme connu sous le nom dle de Gosper.
LE MONDE DES OBJETS DAIRE NULLE 127
Si ces figures sont bien toutes daire nulle, on observe cependant quelles
semblent occuper lespace de plus en plus densment. Ainsi lempile-
ment dApollonius apparat presque filiforme alors que la dernire figure
noircit bien davantage lespace quelle occupe. Laire de ces objets qui,
rptons-le, vaut zro, ne permet donc pas de rendre compte de cette
diffrence de densit . Pour matrialiser cette impression visuelle
on ne parle plus de laire mais dune autre quantit appele dimension
fractale de la figure. Cest cette valeur qui est inscrite en dessous de
chacun des exemples qui prcdent. Elle est dautant plus proche de un
que la figure semble filiforme et plus proche de deux quelle ressemble
une surface ; et ceci est bien cohrent avec lide intuitive que lon
se fait de la dimension : un objet de dimension un ressemble une
ligne, un objet de dimension deux une surface. Les objets prsents
ici sont intermdiaires entre la ligne et la surface, par consquent la
128 LA CONJECTURE DE KAKEYA
situation est en fait trs frquente et lon peut plus facilement apprhen-
der ce phnomne en considrant des exemples plus simples, comme
celui des anneaux, prsent dans lillustration ci-dessous.
Dans cette succession, lpaisseur des anneaux est divise par trois et
le diamtre multipli par deux chaque tape. Laire de ces anneaux
dcrot irrmdiablement vers zro mais leur diamtre tant chaque fois
plus grand, ils stendent indfiniment dans lespace de la feuille. Lobjet
final, sans cesse repouss, disparat ainsi linfini. Rtrospectivement,
on constate que les suites prsentes auparavant et qui aboutissaient
aux fameuses figures fractales taient composes dobjets nexcdant
jamais un certain primtre, ce qui rendait impossible ce phnomne
dextension infinie.
Figure de
Besicovitch
Quen est-il de cette figure de Besicovitch qui offre une rponse si claire
et si directe au nouveau problme de Kakeya ? Celle-ci tant laboutis-
sement dune succession infinie dobjets ayant une aire toujours plus
petite, il se pose alors tout naturellement la question de sa dimension
fractale. En dautres termes, la figure de Besicovitch a-t-elle un aspect
plutt filiforme ou plutt plein ? Il savre que la dimension fractale
LA CONJECTURE 133
La conjecture
Ainsi, parmi les solides de volume nul, ceux qui vrifient la condition de
Kakeya seraient forcment les plus denses possibles. Cette conjecture
na jamais t valide et le rsultat le plus avanc que lon connaisse est
d trois mathmaticiens, Katz, Laba et Tao : la dimension fractale dun
tel objet est ncessairement suprieure 2,5. Cest un rsultat rcent qui
a t publi en 1999.
dont la dimension fractale est plus petite que quatre. On est donc
confront mutatis mutandis la mme conjecture que celle nonce
plus haut. Tout aussi naturellement, on peut extrapoler la question de
Kakeya aux dimensions 5, 6, 7, etc, et cela conduit toujours au mme
constat : il semble que la dimension fractale ne peut pas tre diminue.
Les mathmaticiens runissent tout ceci en un unique nonc, cest la
fameuse conjecture de Kakeya :
La branche des mathmatiques qui tudie les nombres entiers est ap-
pele larithmtique. Une question centrale de cette science est celle de
la comprhension des nombres premiers. Les nombres premiers sont
les nombres qui ne se divisent que par eux-mmes et par un, ils sont
inscrits en gras dans la liste ci-dessous.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 ...
1 7 13 19 25 31 37 43 49 55 61 67 73 79 85 91 97
2 8 14 20 26 32 38 44 50 56 62 68 74 80 86 92 98
3 9 15 21 27 33 39 45 51 57 63 69 75 81 87 93 99
4 10 16 22 28 34 40 46 52 58 64 70 76 82 88 94
5 11 17 23 29 35 41 47 53 59 65 71 77 83 89 95
6 12 18 24 30 36 42 48 54 60 66 72 78 84 90 96
5 11 17 23 29
6 = 2 3, 30 = 2 3 5, 210 = 2 3 5 7, ...
140 PERSPECTIVES
De la mme manire, une grille de deux cent dix lignes laisserait appa-
ratre des alignements de dix nombres premiers dont voici un exemple :
199, 409, 619, 829, 1039, 1249, 1459, 1669, 1879, 2089.
sur les grilles reprsentes plus haut, ne figurent que les tout premiers
nombres entiers et, si lon prolongeait ces grilles, on observerait un
claircissement de plus en plus important qui traduit la rarfaction des
nombres premiers. Dans ces conditions, on peut sattendre ce que les
alignements de nombres premiers se rarfient normment et que la
recherche de longs alignements soit une vritable gageure. Cette rar-
faction pourrait trs bien galement limiter la taille des alignements :
peut-on trouver des progressions arithmtiques de cent, mille ou dix
mille nombres premiers ? La question a longtemps dfi les math-
maticiens et ce nest que tout rcemment que Ben Green et Terence
Tao en sont venus bout. Ils ont montr quil existe des progressions
arithmtiques de nombres premiers aussi longues que lon veut. En clair,
quel que soit le nombre de termes que lon se donne, le thorme de
Green et Tao affirme quil existe un alignement de nombres premiers
ayant pour longueur ce nombre de termes. En particulier, il existe bien
des progressions arithmtiques de cent, mille ou dix mille nombres
premiers.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 ...
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 ...
| {z }
2
= 0, 5
4
| {z }
3
= 0, 375
8
| {z }
4
= 0, 25
16
DE KAKEYA AUX NOMBRES PREMIERS 143
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 ...
Partant dune densit donne, par exemple 0, 25, on commence par dis-
poser les lments de la faon la plus rgulire qui soit. Afin dintroduire
du dsordre dans cet ensemble, tout en prservant une densit de 41 , on
dplace les cases colores de lillustration ci-dessus tout en veillant ce
quil y en ait une seule dans chaque barrette de quatre cases.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 ...
Il nest dj plus vident quil existe dans cet ensemble des progressions
arithmtiques de toutes longueurs. On peut encore compliquer les
choses en jouant par exemple sur des barrettes de seize cases au lieu de
quatre, ce sont alors quatre cases colores qui sont rparties au hasard
dans chaque barrette. La densit dun tel ensemble est toujours gale 14
et malgr sa complexit apparente, la prsence de rgularit est encore
assure par le thorme de Szmrdi.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 ...
Quels sont, malgr tout, les enseignements que lon peut tirer de cette
tude ? Tout dabord, un renversement de perspective : plutt que de
se focaliser sur lensemble des nombres premiers, on travaille sur tous
les ensembles qui contiennent des progressions arithmtiques et on se
demande si celui des nombres premiers en fait partie. Ce renversement
conduit penser que la prsence de rgularit dans lensemble des
nombres premiers pourrait rsulter dun thorme valable pour toute
une catgorie densembles dont celui des nombres premiers. Il fournit
une voie dattaque qui consisterait raffiner le thorme de Sz-
mrdi jusqu ce quil puisse sappliquer une catgorie densembles
suffisamment large pour englober celui des nombres premiers. Cest
justement grce un tel raffinement que les mathmaticiens Green et
Tao ont russi en 2006 prouver cette prsence de rgularit.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 ...
On dit pour cet exemple que le nombre 7 est la borne qui garantit la
prsence de trois nombres en progression arithmtique : ds que sept
cases sont coches, une telle progression est obligatoirement prsente.
Si lensemble envisag est plus compliqu, il faut en gnral cocher bien
plus de sept cases pour avoir la certitude de rencontrer de telles suites.
Les bornes sont alors des nombres astronomiquement grands. En 1999,
le mathmaticien Jean Bourgain a mis en vidence un lien entre ces
nombres et le problme de Kakeya. Cette dcouverte importante lui a
permis deffectuer une avance significative propos de la conjecture
de Kakeya.
Selon cette conjecture, une figure qui contient laiguille dans toutes les
directions, ft-elle de volume nul, possde une dimension fractale gale
la dimension de lespace dans lequel on se place. Par exemple dans
lespace ambiant trois dimensions, la conjecture prvoit une dimen-
sion fractale gale trois. Ce rsultat ne rsout pas la conjecture mais
permet de donner un nombre qui minore la dimension fractale. Pour la
dimension 3, ce nombre vaut 2,04 ce qui signifie que la dimension frac-
tale est ncessairement plus grande que 2,04. Le tableau suivant met en
parallle, pour dautres dimensions, les prvisions de la conjecture et les
rsultats obtenus par Jean Bourgain.
Lapproche de Bourgain
cette bande de part en part. Ceci est ralisable car on a justement pris
soin prcdemment de ne considrer que la portion de figure contenant
des aiguilles assez verticales, comme reprsent droite sur lillustration
prcdente. On rduit de nouveau la portion de figure dont on tudie la
dimension la zone recouverte par la bande horizontale. Cette rduc-
tion, une fois encore, naffecte pas la dimension de la figure.
mais ce nest d quau tout petit nombre daiguilles que lon a slection-
nes. Une augmentation progressive de ce nombre, cest--dire un choix
despacement de plus en plus petit pour les directions, conduit des
figures qui approchent de mieux en mieux celle de Besicovitch.
du plan. Par exemple, dans les dessins ci-dessous, ce sont des points
et des cercles qui, par leur amoncellement, font apparatre des zones
plus denses susceptibles daugmenter la dimension. Pour trancher, il est
alors indispensable de procder un calcul rigoureux de dimension. Un
tel calcul montrerait, pour les figures en question, que ces zones denses
naugmentent pas la dimension, celle-ci demeurant donc gale zro
pour lillustration de gauche ci-dessous et un pour celle de droite.
Dimensions fractales
Le terme de dimension fractale recouvre plusieurs faons diffrentes de gnrali-
ser la notion de dimension. Lune dentre elles, qui porte le nom de dimension de
Hausdorff, est au cur de ce chapitre. Nous allons en donner une ide informelle.
En fait, on peut montrer que leur croissance est comparable et, pour
simplifier lexplication, on va supposer que, dans le cas o les rectangles
se font nombreux, ces deux ensembles ont le mme nombre dlments.
0 A=2 A =11
0 C =10,5
C C= 4
0 B=6 B =10
LAPPROCHE DE BOURGAIN 153
A= 2 A= 11
C= 10,5
C= 4
B= 6 B=10
La dmarche suivie est alors la mme que pour celle des rectangles,
une diffrence prs cependant : laire que lon cherche valuer est celle
des parties de rectangles couvertes par les disques (en jaune sur le des-
sin). Comme prcdemment, la cl du raisonnement provient de ltude
des ensembles A , B et C issus des intersections de la zone jaune avec
les trois horizontales. Mais cette fois-ci, le domaine qui nous intresse
tant dissmin, rien ne garantit que les extrmits et les centres des ai-
guilles en fassent partie. Par exemple, sur le dessin de droite, le centre
de la deuxime aiguille nest pas dans la zone colore en jaune. Et si
lon veut estimer laire comme prcdemment, il est ncessaire de sa-
voir quel est le nombre daiguilles dont les extrmits et le centre font
partie du domaine considr. Cest justement ici quinterviennent les
progressions arithmtiques. En effet, compter de telles aiguilles revient
dnombrer les progressions arithmtiques de trois lments. Dans le
dessin de droite figurent deux progressions arithmtiques :
+2 +2 +0,5 +0,5
2 4 6 10 10, 5 11
El Jj, Laiguille de Kakeya, site Choux Romanesco, vache qui rit et int-
grales multiples,
http ://eljjdx.canalblog.com/archives/2011/01/23/20181660.html
Chapitre 1
S. Cantat, Le triangle de Reuleaux, site Images des Mathmatiques,
http ://images.math.cnrs.fr/Le-triangle-de-Reuleaux.html
Chapitre 2
Math Pages, Archimedes on Spheres and Cylinders,
http ://www.mathpages.com/home/kmath343/kmath343.htm
158 BIBLIOGRAPHIE
Chapitre 3
J.-P Allouch, Sommes de sries de nombres rels, site Images des Math-
matiques,
http ://images.math.cnrs.fr/Sommes-de-series-de-nombres-reels.html
Chapitre 4
B. Klockner, Lingalit isoprimtrique, site Images des Mathmatiques,
http ://images.math.cnrs.fr/L-inegalite-isoperimetrique.html
Chapitre 5
B. B. Hubbard et J. Hubbard, Loi et ordre dans lUnivers : le thorme KAM,
Dossier Pour la Science Le Chaos, janvier 1995.
Chapitre 6
V. Klee, S. Wagon, Old and New Unsolved Problems in Planr Geometry and
Number Theory, The Mathematical Association of America, 1991.
Chapitre 7
J.-P. Kahane, Le mouvement brownien et son histoire, rponses quelques
questions, site Images des Mathmatiques,
http ://images.math.cnrs.fr/Le-mouvement-brownien-et-son.html
Chapitre 8
J.-P. Delahaye, Tao : lducation russie dun surdou, Pour la Science,
numro 390, avril 2010.
imprim
en France
En cheminant avec Kakeya Vincent Borrelli
Jean-Luc Rullire
Ce livre est destin aux lycens et aux tudiants dsireux de saisir davantage le sens rel
des notions qui leur sont enseignes. Il conviendra galement toutes les personnes
ayant un bagage scientifique ou technique qui voudraient comprendre la porte des
mathmatiques. Il sadresse plus gnralement tous les esprits curieux qui souhaitent voir
les mathmatiques sous un jour diffrent.
15 euros