Démonstration absente dans un livre - demande de relecture

[nozno]

Bonjour à toutes et à tous,

Je prépare actuellement une leçon d’oral d’agrégation sur les extremums, et je me suis aperçu que, dans le Gourdon (Analyse, 3ᵉ éd.), la condition nécessaire d’annulation du gradient en un extremum local est bien énoncée, mais sans démonstration (page 336)

J’ai donc rédigé par moi-même une démonstration de cette proposition, que je joins en pièce jointe (au format PDF). J’ai essayé de la rendre aussi propre et lisible que possible.

Si certains ou certaines d’entre vous acceptent de la relire, je serais très reconnaissant d’avoir vos retours — que ce soit sur la rigueur, la clarté, ou d’éventuelles imprécisions que j’aurais pu laisser passer. Un grand merci d’avance à celles et ceux qui prendront le temps de me lire, et encore davantage à celles et ceux qui prendront le temps de me répondre.

Bien cordialement,

Guillaume
-----

[GBZM]

Bonjour,
Tu te compliques vraiment la vie. Supposons que a en un extremum local. Alors la fonction a en un extremum local et donc sa dérivée en , qui est est nulle.

[nozno]

Bonjour,
Tu te compliques vraiment la vie. Supposons que a en un extremum local. Alors la fonction a en un extremum local et donc sa dérivée en , qui est est nulle.

Bonjour,
Merci beaucoup pour votre réponse et pour m’avoir partagé cette approche plus directe. Elle est effectivement beaucoup plus rapide même si elle présuppose d'avoir déjà le résultat sur R

Cela dit, si jamais vous avez eu le temps de lire ma démonstration jusqu’au bout, je serais curieux d’avoir votre avis : même si elle est sans doute inutilement compliquée, est-ce qu’elle vous semble néanmoins correcte sur le fond ? Ou bien y voyez-vous des erreurs ou des manquements que je n’aurais pas perçus ?

Encore merci pour votre aide,
Bien à vous,

Guillaume