Problème du carré inscrit

• La première avancée majeure vient de Arnold Emch qui en 1913 prouve le résultat pour toute courbe convexe[2].
• En 1929, Lev Schnirelmann étend ce résultat aux courbes deux fois dérivables et telles que la dérivée seconde est continue[3]. Preuve qui fut étudiée en 1965 par Heinrich Guggenheimer qui lui ajouta et corrigea quelques points techniques[4].
• En 1950, Ogilvy publie une preuve du problème général sans aucune condition[5]. Toutefois, cette preuve se révélera fausse.
• En 1989, Walter Stromquist prouve que toute courbe localement monotone admet au moins un carré inscrit[6]. À 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é inscrit[7]. 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.

Il a été prouvé en 1980 que toute courbe de Jordan C admet un triangle inscrit semblable à un triangle T donné[8] 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 C[9].
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 1977[10].

• Un carré dans une courbe par Étienne Ghys, sur le site images des Maths
• (en) Mark J. Nielsen, Figures Inscribed in Curves. A short tour of an old problem
• (en) Igor Pak, The discrete square peg problem
• (en) Une démonstration visuelle du problème du rectangle inscrit
• (en) Quelques approches du problème sur le blog de Terence Tao