Développement : Point de Fermat d'un triangle

Détails/Enoncé :

Soient $A,B,C$ trois points non alignés du plan euclidien $\mathbb R^2$. On suppose que les trois angles du triangle ABC sont strictement inférieurs à $\frac{2\pi}{3}$. Soit $f$ la fonction qui au point $M$ associe la somme des distances $f(M) = AM + BM + CM$.
Alors $f$ atteint un minimum sur $\mathbb R^2$ en un point $P$ intérieur au triangle $ABC$. Ce minimum est global strict (donc unique). De plus, les angles $\widehat{APB}, \widehat{BPC}$ et $\widehat{CPA}$ sont égaux à $\frac{2\pi}{3}$.

Versions :

  • Auteur :
  • Remarque :
    Nous montrons l'égalité entre ces trois angles au moyen du calcul différentiel. Nous prouvons que le minimum est strict en justifiant que $f$ est strictement convexe sur tout ouvert convexe ne contenant pas $A,B$ ni $C$ (sur de tels domaines, $f$ est $C^{\infty}$ donc il est possible de différentier deux fois).
    Attention, Rouvière n'utilise pas cet argument dans sa correction. Il utilise un argument géométrique pour prouver l'unicité (mais alors ça se recase moins...)
  • Référence :
  • Fichier :