Le problème du carré inscrit, aussi connu sous le nom de conjecture de Toeplitz, est un problème ouvert en géométrie. Ce problème s'énonce de la manière suivante: Formulé par Otto Toeplitz en 1911Toeplitz, Oscar : Ueber einige aufgaben der analysis situs Verhandlungen der Schweizerischen Naturforschenden Gesellschaft in Solothurn, 94 (1911), ., et malgré de nombreuses avancées, ce problème est à ce jour encore irrésolu.
État des recherches La première avancée majeure vient de Arnold Emch qui en 1913 prouve le résultat pour toute courbe paramétrée régulière et strictement convexeEmch, Arnold : Some Properties of Closed Convex Curves in a Plane. Amer. J. Math. 35 (1913), no. 4, .. En 1929, Lev Schnirelmann étend ce résultat aux courbes deux fois dérivables et telles que la dérivée seconde est continueL. G. Shnirelman, On certain geometrical properties of closed curves (en russe) Uspehi Matem. Nauk 10, (1944) .. Preuve qui fut étudiée en 1965 par Heinrich Guggenheimer qui lui ajouta et corrigea quelques points techniquesGuggenheimer, Heinrich : Finite sets on curves and surfaces. Israel J. Math. 3 (1965) .. En 1950, Ogilvy publie une preuve du problème général sans aucune conditionOgilvy, C.S. : Advanced Problems and Solutions : 4325, Amer. Math. Monthly 57 (1950), no. 6, 423–424. Toutefois, cette preuve se révélera fausse. En 1989, Walter Stromquist prouve que toute courbe localement monotone admet au moins un carré inscritStromquist, Walter : Inscribed squares and square-like quadrilaterals in closed curves. Mathematika 36 (1989), no. 2, .. À l’exception des courbes fractales et de quelques autres courbes, toutes les courbes sont incluses dans ce théorème. Ce résultat important prouve que toute courbe que l'on pourrait tracer avec du papier et un crayon admet un carré inscrit.
Une méthode pour construire le carré inscrit d'une courbe quelconque serait : Approximer cette courbe par une suite de courbes localement monotones. Utiliser le résultat de Stromquist pour obtenir un carré inscrit à chaque itération. Prendre la limite de la suite des carrés. Le seul problème avec cette méthode est que l'on ne peut garantir que le carré obtenu n'est pas dégénéré (de côté de longueur nulle). En 1995, Nielsen et Wright prouvent que toute courbe admettant un centre de symétrie admet au moins un carré inscritMark J. Nielsen and S.E. Wright, Rectangles inscribed in symmetric continua, Geometriae Dedicata 56: 285-297 (1995). Ceci permet de prouver la conjecture de Toeplitz pour un nombre encore plus important de courbes qui ne sont pas incluses dans le théorème de Stromquist, comme les courbes fractales symétriques. Par exemple, le flocon de Koch, qui n'est pas localement monotone mais admet un centre de symétrie, possède donc au moins un carré inscrit.
Variantes et généralisations Il a été prouvé en 1980 que toute courbe de Jordan C admet un triangle inscrit semblable à un triangle T donnéMark D. Meyerson, Equilateral triangles and continuous curves, Fund. Math. 110: 1-9 (1980). et une méthode existe pour le trouver. Ce résultat fut complété en 1992 en précisant que l'ensemble des sommets des triangles semblables à T et inscrits dans C est dense dans CMark J. Nielsen, Triangles inscribed in simple closed curves, Geometriae Dedicata 43: 291-297 (1992).. Si au lieu d'un carré, nous considérons cette fois-ci un rectangle inscrit, le résultat a été démontré en toute généralité par Herbert Vaughan en 1977Vaughan H., Balancing acts, Topology Proceedings. 6: 59-75 (1981) par Mark D. Meyerson.
Liens externes Un carré dans une courbe par Étienne Ghys, sur le site images des Maths Mark J. Nielsen, Figures Inscribed in Curves. A short tour of an old problem Igor Pak, The discrete square peg problem Une démonstration visuelle du problème du rectangle inscrit Quelques approches du problème sur le blog de Terence Tao
Références
Catégorie:Géométrie Catégorie:Problème non résolu en mathématiques Catégorie:Carré