[<] Extremum sur compact [>] Optimisation sous contrainte
On note le cercle trigonométrique.
Quel est le périmètre maximal d’un triangle dont les sommets sont sur ?
Solution
On peut supposer l’un des sommets être et les deux autres repérés par des angles .
Cela nous amène à considérer
sur l’ouvert
Le maximum, qui existe, est alors point critique de cette fonction de classe .
Cela nous amène à résoudre le système
L’équation donne
L’alternative est à exclure et il reste avec de plus .
L’équation donne alors d’où puisque .
Finalement, le triangle correspondant est équilatéral.
Calculer l’aire maximale d’un triangle inscrit dans un cercle de rayon .
Solution
Notons les points définissant notre triangle et le centre du cercle circonscrit.
En introduisant les mesures des angles , et , on vérifie
et on peut calculer l’aire algébrique des triangles , et qui sont respectivement
L’aire algébrique du triangle est alors
L’étude des points critiques de cette fonction de classe sur conduit à résoudre le système
dont les seules solutions dans sont
Ce sont les situations des triangles équilatéraux resp. direct et indirect.
L’extremum trouvé vaut
Soit le sommet de coordonnées de l’ellipse d’équation
Déterminer deux points , de l’ellipse tels que l’aire du triangle soit maximale.
On admet que l’aire d’un triangle est la moitié de la valeur absolue du déterminant de la matrice
en considérant les coordonnées des points dans un repère orthonormé.
Solution
Quitte à échanger et , on peut supposer le triangle direct et écrire
avec . L’aire du triangle est alors
Le problème revient alors à maximiser la fonction
sur le compact .
Puisque la fonction est continue sur , ce maximum existe et puisqu’il n’est évidemment pas sur le bord de (qui correspond aux triangles plats), c’est un point critique de la fonction .
On résout alors le système
qui entraîne donc . L’égalité donne alors et .
Cela détermine les points et cherchés.
Soit la fonction définie sur par
Montrer que admet un minimum et donner la valeur de en celui-ci.
Application: Étant donné un disque de rayon , déterminer le périmètre minimal d’un triangle dans lequel il est inscrit.
Soit un vrai triangle du plan. Pour un point du plan, on pose
Étudier la différentiabilité de .
En considérant le disque fermé de centre et de rayon , établir que possède un minimum absolu dans le plan.
Soit un point où ce minimum est atteint. On suppose que n’est pas un sommet du triangle.
Établir
Montrer qu’alors le point voit les sommets du triangle sous un même angle.
Solution
La fonction est différentiable sauf en et sa différentielle en un point est
On en déduit que est différentiable en tout point du plan sauf en et et
La fonction est continue sur le disque considéré. Puisque ce dernier est compact, la fonction admet un minimum sur ce disque en un certain point :
Puisque le point appartient au disque , on a
Pour un point en dehors de ce disque, on a
Le point apparaît donc comme étant un minimum absolu de sur le plan.
La différentielle de en est nulle donc
Les trois vecteurs sommés sont unitaires. Notons leurs affixes dans un repère orthonormé direct donné. La relation vectorielle ci-dessus donne
En multipliant par , on obtient
où et
Les parties imaginaires de et sont alors opposées et la somme de leurs parties réelles vaut . On en déduit qu’à l’ordre près et .
Finalement,
Notons que l’on peut en déduire un procédé construisant le point comme intersection de cercles que l’on pourra définir en exploitant le théorème de l’angle au centre…
[<] Extremum sur compact [>] Optimisation sous contrainte
Édité le 29-11-2025
Bootstrap 3
-
LaTeXML
-
Powered by MathJax