Problème du carré inscrit
# Problème du carré inscrit

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:

   Est-ce que toute courbe fermée simple (aussi appelée courbe de Jordan) admet un carré inscrit ?

Formulé par Otto Toeplitz en 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 convexe.
* En 1929, Lev Schnirelmann étend ce résultat aux courbes deux fois dérivables et telles que la dérivée seconde est continue. Preuve qui fut étudiée en 1965 par Heinrich Guggenheimer qui lui ajouta et corrigea quelques points techniques.
* En 1950, Ogilvy publie une preuve du problème général sans aucune condition. Toutefois, cette preuve se révélera fausse.
* En 1989, Walter Stromquist prouve que toute courbe localement monotone admet au moins un carré inscrit. À 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. 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é 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.

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.

