Un carr dans une courbe - Images des mathmatiques

Page 1of 20

20 mars 2012

6 commentaires commenter cet article

Les conjectures du trimestre

Un carr dans une courbe

Une conjecture centenaire de Otto Toeplitz
tienne Ghy s
Directeur de recherche CNRS, cole Normale Suprieure de Lyon ( page web)

n1 9 1 1Otto Toeplitz posait la question suivante [1] :

tant donne une courbe ferme trace dans le plan qui ne passe pas deuxfois par le m me point, est-il toujours possible de trouver quatre points sur cette courbe qui forment un carr ?

Q u e st c e q u u n e c o u rb e ?
Comme on peut limaginer, les mathmaticiens manipulent des courbes depuis trs longtemps. Il ne faut donc pas stonner si le mot courbe peut recouvrir plusieurs situations. Une courbe paramtre dans le plan est dfinie lorsque les deux coordonnes [Math Processing Error] dun point dpendent dun paramtre [Math Processing Error] qui dcrit un intervalle [a, b ] . On suppose toujours que les fonctions x (t ) et y (t) sont continues. On dit que la courbe est ferme lorsque x (a) = x (b ) et y (a) = y (b ) . Lorsquune courbe ferme na pas de point double, cest--dire ne passe pas deux fois par le mme point, on dit quil sagit dune courbe de Jordan . Dans cet article, nous considrons de telles courbes de Jordan, mme si la conjecture de Toeplitz peut se gnraliser (un peu) aux courbes qui repassent plusieurs fois par certains points (comme un 8 par exemple). Certaines courbes paramtres peuvent tre trs tonnantes. Par exemple, il existe une courbe (d e P e a n o ) dont limage recouvre tout un carr. Parfois, par abus de langage, on confond la courbe avec son image, cest--dire la partie du plan balaye par (x (t ), y (t)) lorsque tparcourt [a, b ] . En topologie, le mot courbe peut avoir un sens beaucoup plus gnral. Voir par exemple c e t a rt ic le .

Dans la figure suivante, le carr rouge est inscrit dans la courbe noire.

http: / / images.math.cnrs.fr/ Un-carre-dans-une-courbe.html

0 3 / 0 6 / 20 1 3

Un carr dans une courbe - Images des mathmatiques

Page 2 of 20

Un carr inscrit dans une courbe

La question est donc de savoir si toutes les courbes possdent un tel carr inscrit ? En 20 1 2, on attend touj ours la rponse !Beaucoup de progrs ont t accomplis mais lessentiel reste faire.

Un dfi
Commenons par un cas facile , celui ola courbe est un triangle. Ex ercice : On se donne un triangle dans le plan.Montrez quon peut trouver quatre points sur ses cts qui forment un carr.

So l u t io n
La figure suivante montre comment construire des rectangles inscrits qui sont plus hauts que larges et dautres qui sont plus larges que hauts. Entre les deux, il doit bien y avoir un carr !

http: / / images.math.cnrs.fr/ Un-carre-dans-une-courbe.html

0 3 / 0 6 / 20 1 3

Un carr dans une courbe - Images des mathmatiques

Page 3of 20

Encourags par notre succs, passons aux quadrilatres. Ex ercice :On se donne un quadrilatre dans le plan.Montrez quon peut trouver quatre points sur ses cts qui forment un carr.

So l u t io n
Plus difficile nest-ce pas ? La solution fait lobjet de cet article de 1914 que vous pouvez consulter [2 ].Vous verrez que la preuve, mme si elle est plus longue que pour le triangle, reste lmentaire .

Et pour un polygone quelconque ? Eh bien, il se trouve en effet que tout polygone contient un carr inscrit.La premire preuve utilisait des techniques relativement labores danalyse et il a fallu attendre un article de Igor Paken 20 0 8pour une preuve qui nutilise que des mthodes lmentaires ( mme si elles ne sont pas si faciles que a ! )[3 ].

Une longue histoire

http: / / images.math.cnrs.fr/ Un-carre-dans-une-courbe.html

0 3 / 0 6 / 20 1 3

Un carr dans une courbe - Images des mathmatiques

Page 4of 20

En 1 9 1 3 , Arnold Emch rpond positivement la question en supposant que la courbe est convexe [4 ].Cela revient supposer quelle ne peut couper une droite quen deux points au plus. Sur la figure, la courbe de gauche est convexe et celle de droite ne lest pas.

Courbe convexe gauche et non convexe droite

En 1 9 1 5 [5 ] le mme auteur rpond encore positivement en supposant cette fois que la courbe est assez rgulire [6]. Techniquement, il suppose que la courbe est forme dun nombre fini de morceaux analytiques . En 1 9 29 , Schnirelman montre le mme rsultat mais en rel chant considrablement la condition de rgularit :il suppose simplement que la courbe est deux fois drivable et que la drive seconde est continue [7 ]. vrai dire, la preuve de Schnirelman ne fut publie quen 1 9 4 4et elle ntait pas tout fait correcte ; elle fut corrige en 1 9 6 5par Heinrich Guggenheimer [8 ]. En 1 9 5 0 , Ogilvy publie la solution du problme gnral, sans aucune condition de rgularit sur la courbe !Hlas, la dmonstration tait fausse Pour un mathmaticien dauj ourdhui, lire cet article en cherchant lerreur est un exercice trs intressant [9]. En 1 9 8 9 , W alter Stromquist montre lexistence dun carr inscrit en ne supposant lexistence que dune seule drive [10]. Le meilleur rsultat connu ce j our est d H. Brian Griffiths en 1 9 9 1[11].Il suppose que la courbe ne tournicote pas .Voici ce que cela signifie. Considrez un point p sur la courbe et observez la portion de la courbe situe dans un petit disque centr en p et de rayon r .Pour chaque paire de points distincts x , y de la courbe dans ce petit disque, considrez la droite x y qui les j oint, quon peut appeler une corde de la courbe.Alors, nous dirons que la courbe ne tournicote pas au point p sil existe un rayon r et une droite D tels quaucune de ces cordes ne soit parallle D . Observez la figure suivante. La courbe est dessine en noir. Le point p est dessin en bleu. Dans le disque rouge, centr en p , j ai dessin un certain nombre de cordes en traits pointills bleus. Comme on le voit, ces cordes vont dans toutes les directions. Par contre, la courbe noire rencontre le disque vert, plus petit que le rouge, sur un tronon qui est presque rectiligne. Les cordes qui j oignent deux points de ce tronon vont toutes peu prs dans la direction nord-ouest sud-est. Aucune de ces cordes nest donc nord-sud. Cette courbe ne tournicote donc pas.

http: / / images.math.cnrs.fr/ Un-carre-dans-une-courbe.html

0 3 / 0 6 / 20 1 3

Un carr dans une courbe - Images des mathmatiques

Page 5of 20

Les cordes dans un disque

Par contre, voici un exemple dune courbe qui tournicote.

Une courbe qui tournicote

Pour tout disque centr sur un point de cette courbe, aussi petit soit-il, et pour toute droite D , lintersection de la courbe et du disque contient deux points x , y qui dfinissent une corde x y parallle D . Cela nempche pas cette courbe de contenir des carrs inscrits, comme on le voit lil nu.

http: / / images.math.cnrs.fr/ Un-carre-dans-une-courbe.html

0 3 / 0 6 / 20 1 3

Un carr dans une courbe - Images des mathmatiques

Page 6 of 20

Ces hypothses techniques de rgularit sont dsagrables et on aimerait bien sen dbarrasser. Elles ne semblent pas fondamentalement relies au problme. Lhistoire de cette conjecture de Toeplitz est en ralit beaucoup plus riche. Le problme snonce simplement et depuis plus de cent ans il fascine les amateurs.Jespre quun lecteur de Images des Maths trouvera la solution gnrale. Pour une description plus complte de lhistoire du problme, on peut consulter larticle de Igor Pak cit plus haut.

A quoi bon ?
Ce problme est-il une amusette, une nigme, un casse-tte, ou une conjecture srieuse ? Je pense quil mrite dtre considr comme une conjecture srieuse, puisquil remplit largement les critres de Hilbert : Le problme est un vnrable centenaire. Il est clair quil ne suffit pas quun problme soit ancien pour quil soit intressant. Cependant, le fait que beaucoup de mathmaticiens sy intressent de manire continue depuis un sicle est un argument plus convaincant. Le problme snonce simplement. Face un problme trs compliqu, il nest pas rare que le mathmaticien le simplifie lextrme pour en garder la substantifique moelle . Voici ce qucrit Henri Poincar ( propos dun autre problme) : Il suffit de se reporter ce que jai crit ce sujet pour comprendre lextrme complexit de ce problme ; cot de la difficultprincipale, de celle qui tiendra au fond mme des choses, il y a une foule dedifficults secondaires qui viennent compliquer encore la tche du chercheur.Il y aurait donc intrt tudier dabord un problme o on rencontrerait toute la difficult principale, mais o on serait affranchi de toutes les difficults secondaires [12]. En quelque sorte, la conjecture de Toeplitz nest pas trs intressante en elle-mme ; elle nest quun exemple de problme dexistence dans lequel la difficult principale est prsente mais o on est affranchi des difficults secondaires. Les solutions partielles du problme connues ce jour, mettent en jeu des mthodes utiles dans dautres domaines. Nous reviendrons sur ce point. Le problme, mme non rsolu, en a engendr beaucoup dautres. Certains sont tout aussi difficiles mais dautres ont t rsolus. Je ne peux pas les dcrire tous ici. La courbe initiale tait trace dans le plan. Tracez-l dans lespace, tant qu faire de dimension n . Peut-on trouver quatre points sur la courbe qui forment un carr ? Certainement pas dans tous les cas ! Essayez de conjecturer quelque chose dans cette veine ! Et ensuite, essayez de le dmontrer.

Arguments topologiques
Considrez une fonction continue f dfinie sur lintervalle [0,1] et valeurs relles.Supposez que f (0) est positif et que f (1) est ngatif. Alors, le thorme des valeurs intermdiaires affirme que la fonction f doit sannuler quelque part entre 0 et 1 , autrement dit il existe a tel que f (a) = 0 .Cela parat vident.En effet, quand x varie de 0 1 , f (x) est positif au dbut et ngatif la fin si bien quil

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 7 of 20

faut bien quil sannule un certain moment.Bien entendu, le mathmaticien ne se contente pas de cette vidence : il la valide par une preuve formelle. Ce thorme donne lexemple le plus simple dune preuve dexistence par un argument topologique. Voici un exemple dapplication. Considrez une fonction continue f dfinie sur un cercle et valeurs relles.Alors, il existe au moins deux points antipodaux sur le cercle sur lesquels la fonction prend des valeurs gales.Facile : vous dcrivez la position dun point sur ce cercle par un angle x compris entre 0 et 360 si bien que vous pouvez penser f comme une fonction continue de langle x .Vous posez alors g(x) = f (x  
f (x) et vous observez que g(x  
 g(x) . Par consquent, si g nest pas toujours nulle, elle prend des valeurs de signes diffrents et doit donc sannuler. Il existe donc un x tel que f (x + 180) = f (x) . Vous partagez une pizza pepperoni avec un ami mais les pepperoni sont mal distribus sur la pizza. On peut partager la pizza en deux moitis pour que chacun en ait la mme quantit ! Vous posez une table carre avec quatre pieds de mme longueur, sur un sol qui nest malheureusement pas plan. Les quatre pieds ne sont pas dans un mme plan : la table est bancale.Est-il possible de faire tourner la table de faon sassurer que les quatre pieds soient dans un mme plan ?La rponse est oui, et voici comment ne pas le dmontrer. Choisissons trois des quatre pieds.Soulevons la table et faisons-la tourner autour de son centre dun certain angle x (entre 0 et 360 ).Abaissons la table verticalement de faon ce que les trois pieds choisis touchent le sol.Le quatrime pied se retrouve alors une hauteur f (x) au dessus du sol. Le lecteur objectera quil nest peut-tre pas possible de placer les trois pieds sur le sol puisque le quatrime les en empche.Qu cela ne tienne !Comme nous sommes mathmaticiens, nous pouvons imaginer un sol (virtuel) qui peut tre travers par le quatrime pied.Ce quatrime pied peut donc se retrouver sous le sol lorsque les trois premiers sont au niveau du sol.Autrement dit, f (x) peut tre ngatif. instant de rflexion montre que f (x + 180) = f (x) Si je pose maintenant g(x) = f (x + 90) f (x) je constate que g(90) = g(0) si bien quil existe un angle x tel que g(x) = 0 , cest--dire f (x) = f (x + 90) . Jaffirme alors que f (x) = 0 , et je laisse au lecteur Un le plaisir de sen assurer ! Autrement dit, en faisant tourner la table autour de son centre dun certain angle, les quatre pieds seront sur le sol.CQFD ! Cette dmonstration nest pas correcte comme Amic, un lecteur dune premire version de cet article, me la fait remarquer. Je le remercie sincrement.

Lerreur
On abaisse verticalement la table pour que le premier pied touche le sol. Pas de problme. Ensuite, pour que le second pied touche le sol, il faut pencher la table et les pieds ne sont plus verticaux. Il nest pas clair que la position du second pied est unique ; on ne sait donc plus trs bien ce que veut dire f (x) et, mme si on le savait, on ne voit pas trop pourquoi Un instant de rflexion montre que f (x + 180) = f (x) ! Tout nest pas perdu cependant ! Nous avons dmontr que pour toute fonction continue un cercle, il existe un x tel que f (x) + f (x + 180) = f (x + 90) + f (x + 270) bien mais a na pas grand-chose voir avec notre problme.

h dfinie sur

. Cest trs

vrai dire, il faudrait expliquer ce que signifie lexpression faire tourner la table autour de son centre .On peut par exemple considrer la droite verticale passant par le centre de la table et nautoriser que les mouvements de la table pour lesquels le centre reste sur cette droite verticale.

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 8 of 20

Le fait quon puisse poser les quatre pieds sur le sol en faisant tourner la table est en effet un thorme mais la preuve est plus complique et a t obtenue en plusieurs tapes. Hanspeter Kraft en donne une preuve en 2001 dans [13] malheureusement elle ne me semble gure convaincante Une autre preuve est publie en 2005 par Burkard Polster, Marty Ross et QED (the cat) [14].Hlas, un lecteur de cet article nest pas convaincu par la preuve et en informe les auteurs qui reconnaissent leur erreur ! Quelques mois plus tard, les mmes auteurs publient un article correct cette fois (?) [15] mais ils ne peuvent pas le dmontrer en toute gnralit : ils doivent faire une hypothse sur la nature de la fonction hauteur du sol [16]. Ce nest quen 2007 que ceci est devenu un thorme grce Bill Baritompa, Rainer Lwen, Burkard polster et Marty Ross [17]. En fait, ces derniers auteurs ont compris que le rsultat est une consquence du joli thorme suivant de Dyson [18]. Si f une fonction continue dfinie sur la sphre, il est toujours possible de trouver quatre points sur un grand cercle, formant un carr, sur lesquels la fonction f prend les mmes valeurs. Une jolie preuve topologique. Lhistoire est donc complique et remplie dembches.

Le thorme de la table
En tournant la table, on peut faire en sorte que les quatre pieds touchent le sol. Fort bien ! Mais la table est-elle pour autant horizontale ?Pas ncessairement bien sr. Imaginez par exemple que le sol soit un plan inclin. Il est bien clair qualors, il est impossible dy dposer une table horizontale. Considrez une fonction h continue, dfinie sur le plan, et qui reprsente laltitude du sol au dessus dun plan horizontal de rfrence.Supposez que la fonction h soit nulle en dehors dun certain disque, cest-dire que le sol soit horizontal en dehors dun disque.Prenez une table carre. Est-il possible de la dposer sur le sol de faon ce que ses quatre pieds touchent le sol et que la table soit horizontale ?Bien sr ! Il suffit de la dposer dans la zone extrieure au disque, l o le sol est horizontal. Cette solution nest pas intressante Quen est-il si on impose que le centre de la table soit situ dans le disque dans lequel on ne suppose pas le sol horizontal ? Cest en effet possible ! Cest ce quaffirme le thorme de la table, dmontr en 1970 par Roger Fenn [19]. La dmonstration est galement topologique, dans lesprit du thorme des valeurs intermdiaires, mais elle est beaucoup plus dlicate.Auparavant, nous navions quune seule inconnue : langle x de rotation de la table. Maintenant, nous cherchons dplacer la table dans le plan : il faut composer une translation et une rotation ce qui fait que nous avons maintenant trois inconnues. Nous avons en quelque sorte rsoudre trois quations trois inconnues mais la difficult est que ce ne sont pas des quations quon peut manier algbriquement. La topologie peut nous aider pour montrer que certaines quations ont des solutions, avec des arguments purement qualitatifs. Voici un exemple dun thorme topologique, d Brouwer (voir cet article pour plus de dtails). Soit C un carr dans le plan, par exemple celui dfini par 0 x 1,0 y 1 .Soit f une application continue de C dans lui-mme.On suppose que pour tout point p du bord de C (les quatre cts), on a f (p) = p . Alors, pour tout point (a, b) de lintrieur du carr, il existe un point (x, y) du carr tel que f (x, y) = (a, b) .

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 9 of 20

Dans le thorme des valeurs intermdiaires, linconnue est un nombre appartenant un segment.Dans ce thorme topologique, linconnue (x, y) est un point du carr.Dans les deux cas, le thorme affirme lexistence dune solution une quation. La dmonstration nest pas facile du tout. On pourrait imaginer une approche dans lesprit suivant, mais malheureusement elle ne suffit pas. Fixant a entre 0 et 1 , observons lensemble c1 des points (x, y) tels que la premire coordonne de f (x, y) soit a . Cet ensemble ressemble peut-tre une courbe qui joint les deux points du bord (en rouge sur la figure).

(a,0) et (a,1)

De la mme manire, on peut considrer lensemble c2 form des points (x, y) tels que la secondecoordonne de f (x, y) soit b . Cest une courbe qui joint (0, b) et (1, b) (en noir sur la figure).

La courbe rouge va de bas en haut, la courbe noire de gauche droite : il faut quelles se rencontrent

Si vous avez deux courbes dans un carr qui joignent les cts opposs, il faut bien quelles se rencontrent, nest-ce pas ? Un point dintersection (x, y) vrifie f (x, y) = (a, b) et notre thorme est dmontr. Bien sr, nous navons rien dmontr du tout ! Nous navons pas dmontr que c1 , c2 sont des courbes (et ce nest dailleurs pas toujours vrai) ni que deux telles courbes doivent se rencontrer. Nanmoins le thorme est bien vrai, mais il requiert une preuve plus subtile que lbauche esquisse ici.

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 10 of 20

Un thorme tout fait analogue est valable pour des applications dun cube dans lui-mme. Cest en sarmant de thormes dans cet esprit, mais plus compliqus, quon peut dmontrer le thorme de la table.

Une ide sur lapproche topologique de la conjecture

Par dfinition, une courbe ferme application continue f .

c dans le planest limage dun cercle C dans le plan par une

Deux points sur C donnent donc deux points sur la courbe c .Un tel couple de points de c est donc dcrit par le produit C C , quon appelle un tore.

Un tore

Construire un tore partir dun carr

Imaginons un carr ralis en papier.

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 11 of 20

Replions-le comme ceci :

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 12 of 20

Recollons les bords :

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 13 of 20

Le bord du carr devient deux cercles, rouge et bleu, qui se rencontrent en un seul point.

Voyons quelle condition un couple de points (p, q) sur la courbe peut tre complt en un carr inscrit.Il sagit de faire tourner de 90 (disons dans le sens des aiguilles dune montre) le point q autour du point p : on obtient un point r . Ce point r na aucune raison dtre sur la courbe c . Lensemble des couples de points (x, y) du tore C C tels que le point r associ p = f (x) et q = f (y) soit sur la courbe c forme une certaine partie U du tore. Mais on peut aussi faire tourner le point p autour de q , dans le sens contraire aux aiguilles dune montre : on obtient un point s . Les couples (x, y) du tore tels que s soit sur c forment une partie V du tore. Il sagit de montrer que U et V se rencontrent. En effet, si (p, q) est la fois dans U et V , on dispose des quatre points p, q, r, s sur la courbe, formant un carr. On aimerait montrer que U ressemble une courbe du tore, tournant autour du premier cercle alors que V tourne autour du second.On aimerait montrer que, de la mme manire que nos deux courbes traversant le carr se rencontrent ncessairement, U et V doivent galement se rencontrer.On voit donc quon a besoin de faire appel des thormes topologiques.Cest possible mais ce nest pas facile.

Deux courbes sur le tore

Les courbes rouge et bleue sur le carr deviennent deux courbes fermes sur le tore. Lune tourne autour du premier cercle et lautre autour du second. Elles doivent se rencontrer en au moins un point.

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 14 of 20

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 15 of 20

Notez en passant que nous savons bien que U et V se coupent !Bien sr, si x = y , on a p = q = r = s et on trouve bien un carr inscrit dans la courbe.Mais ce carr ne nous intresse pas puisque ses quatre sommets sont confondus. Une dmonstration convaincante doit se dbarrasser de ces solutions triviales et cest pour cette raison que les auteurs introduisent des conditions de rgularit.

La mthode de continuit de Poincar

Pour terminer, je voudrais expliquer les grandes lignes dune mthode gnrale et trs puissante, invente par Henri Poincar. ma connaissance, elle na pas t explicitement mise en place dans le contexte de la conjecture de Toeplitz mais il semble bien quelle a servi de motivation Schnirelman, en 1929, lorsquil dmontra son thorme sous une hypothse de rgularit. On trouvera cependant une preuve dans cet esprit dans la prpublication rcente de Pak cite plus haut qui dmontre lexistence dun carr inscrit dans un polygone quelconque. Cherchons rsoudre lquation x2 = a .Bien sr, si a>0, cette quation a deux solutions relles ; si a=0, elle possde une solution dite double ; et si a<0 , elle nen a pas du tout. Plus gnralement, lorsquon cherche rsoudre une quation polynomiale, comme par exemple x4  x3  x2  a , et quon fait varier a , le nombre de solutions dpend de la valeur du paramtre a .

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 16 of 20

Pour certaines valeurs de a , une racine multiple apparat ou disparat. Sur le graphique, on voit quil y a 0 solution pour a   , deux solutions pour $-63/4 Lobservation de base est alors que lorsquune racine multiple apparat ou disparat, le nombre total de solutions de notre problme augmente ou diminue dun nombre pair. En dautres termes, le nombre de solutions (comptes avec multiplicit) dune quation du genre P (x) = a est toujours pair ou impair, indpendamment de a [20]. Si nous savons, pour une raison ou une autre, que pour une certaine valeur de a , il ny a quune solution, il en rsulte que le nombre de solutions est toujours impair et en particulier quil nest pas nul.Dans ce cas, nous saurons quil existe au moins une solution lquation. La mthode de continuit est alors la suivante. Vous voulez montrer quun problme a au moins une solution.Vous savez quun problme similaire, mais diffrent et probablement plus facile, a une solution unique.Vous dformez progressivement le problme plus facile, admettant une solution unique, vers celui de dpart. Au cours de la dformation, paramtre par un certain nombre a , vous analysez si une solution peut disparatre ou si une nouvelle peut apparatre.Vous montrez que, comme pour une quation polynomiale, la parit du nombre de solutions ne dpend pas de a .Comme il y avait une unique solution pour le problme plus facile, et que 0 nest pas impair, il faut bien quil y ait au moins une solution pour tout a et en particulier pour le problme initial. CQFD ! Comment mettre cette mthode en pratique pour les carrs inscrits dans une courbe donne ?On peut commencer avec une ellipse, pour laquelle il est bien clair quil y a exactement un carr inscrit.Et puis on sarrange pour dformer lellipse progressivement pour quelle finisse par se transformer dans la courbe donne.Et voil !

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 17 of 20

Des contre-exemples
Face une conjecture, le monde des mathmaticiens se scinde en deux parties. Il y a ceux qui cherchent montrer quelle est fausse en construisant un contre-exemple, et ceux qui cherchent au contraire la dmontrer. Sil existait une courbe sans carr inscrit, nous savons quelle devrait tournicoter. Il existe de jolies courbes qui tournicotent beaucoup et qui sont bien connues des mathmaticiens. Nous en avons vu une plus haut mais voyez aussi celle qui est dcrite ici.Trouvera-t-on de telles courbes sans carr inscrit ? Dun autre ct, lorsquon veut dmontrer une conjecture il est parfois utile den gnraliser lextrme lnonc quitte conjecturer des choses un peu plus folles encore !Voici un nonc qui pourrait bien tre vrai... si on est optimiste.Soit K une partie du plan qui vrifie les trois conditions suivantes :

K est ferm : une limite de points de K appartient K . K est born : il est contenu dans un certain disque. K dconnecte : il existe deux points x, y du plan qui ne sont pas dans K et quil est impossible de joindre par un chemin compltement hors de K .
Par exemple, la zone rouge sur la figure suivante vrifie ces conditions.

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 18 of 20

Alors, K contient quatre points qui forment un carr [21] ? Choisissez votre camp ! Contre-exemple ou preuve ? En tous les cas, cette conjecture de Toeplitz est la fois simple noncer, difficile dmontrer, tout en suggrant de bien belles mthodes topologiques. P.S. : Concidence ! Un relecteur de cet article me signale quun article intitul La conjecture du carr inscrit crit par Jean-Paul Delahaye vient de paratre dans le numro de Pour la Science de fvrier 2012. Cette concidence est peut-tre un indice supplmentaire de lintrt de la conjecture de Toeplitz. La rdaction dImages des maths, ainsi que lauteur, remercient pour leur relecture attentive, les relecteurs suivants : Simon Billouet, Bruno Duchesne, Jacques Lafontaine, Nicolas Bedaride, Grard Besson, Clment Caubel et Franz Ridde.

Notes

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 19 of 20

[ 1] Toeplitz, Oscar :Ueber einige aufgaben der analysis situs Verhandlungen der Schweizerischen Naturforschenden Gesellschaft in Solothurn, 94 (1911), p. 197. [ 2] Hebbert C. M. : The inscribed and circumscribed squares of a quadrilateral and their significancein kinematic geometry, Ann. of Math. 16 (1914/15), p. 3842. [ 3] Pak, Igor : The discrete square peg problem (2008). [ 4] Emch, Arnold : Some Properties of Closed Convex Curves in a Plane. Amer. J. Math. 35 (1913), no. 4, p. 407412. [ 5] Jai toujours t frapp de voir que des mathmaticiens peuvent travailler, y compris sur les problmes lgers , pendant des priodes de guerre. [ 6] Emch, Arnold : On the Medians of a Closed Convex Polygon. Amer. J. Math. 37 (1915), no. 1, p. 1928. [ 7] nirelman, L. G. :On certain geometrical properties of closed curves (en russe) Uspehi Matem. Nauk 10, (1944) p. 3444. [ 8] Guggenheimer, Heinrich :Finite sets on curves and surfaces. Israel J. Math. 3 (1965) p. 104112. [ 9] Frink, O. et Ogilvy, C.S. : Advanced Problems and Solutions : 4325, Amer. Math. Monthly 57 (1950), no. 6, 423424 ; Voir aussi 58 (1951), no. 2, p. 113114. [ 10] Stromquist, Walter :Inscribed squares and square-like quadrilaterals in closed curves. Mathematika 36 (1989), no. 2, p. 187197. [ 11] Griffiths, H. Brian :The topology of square pegs in round holes. Proc. London Math. Soc. (3) 62 (1991), no. 3, p. 647672. [ 12] Poincar, Henri : Sur les lignes godsiques des surfaces convexes, Transactions of the American Mathematical Society, 6, (1905), p. 237-274. [ 13] Hanspeter Kraft, The wobbly garden table, J. Biol. Phys. Chem. 1 (2001), 95-96 [ 14] Burkard Polster, Marty Ross and QED (the cat), The Intuitive Table Theorem, Vinculum 42, (2005). [ 15] Burkard Polster, Marty Ross and QED (the cat), Turning the tables : feasting from a mathsnack, (Viniculum 42, (2005). [ 16] Ils supposent que la hauteur est lipschitzienne de rapport 1/2 . [ 17] Bill Baritompa, Rainer Lwen, Burkard polster et Marty Ross, Mathematical table-turning revisited. Math. Intelligencer 29 (2007), no. 2, p. 4958. [ 18] Dyson, F. J., Continuous functions defined on spheres. Ann. of Math. (2) 54, (1951), p. 534536. [ 19] Fenn, Roger :The table theorem. Bull. London Math. Soc. 2. (1970), p. 7376. [ 20] videmment, nous savions dj que le nombre de solutions relles dune quation P (x) = a a la mme parit que le degr du polynme P ! Mais ce fait, quon pourrait a priori penser comme de nature algbrique, et plutt de nature topologique.Considrez par exemple une fonction relle f qui tend vers + lorsque x tend vers + et vers lorsque x tend vers . Alors, en gnral, le nombre de solutions de lquation f (x) = a est impair. Faites de petits dessins pour vous en convaincre et pour essayer de donner un sens ce mystrieux en gnral . [ 21] Ce nest bien sr pas une surprise pour la zone rouge de la figure !

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013

Un carr dans une courbe - Images des mathmatiques

Page 20 of 20

Affiliation de l'auteur
Pour citer cet article : tienne Ghys, Un carr dans une courbe Images des Mathmatiques, CNRS, 2012. En ligne, URL : http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html Si vous avez aim cet article, voici quelques suggestions automatiques qui pourraient vous intresser : Des quations gomtriques, par tienne Ghys et Catriona Maclean Gomtrie Anamorphique II , par Lucien Pirio Les lacs de Wada , par tienne Ghys et Jos Leys

http://images.math.cnrs.fr/Un-carre-dans-une-courbe.html

03/06/2013