Adloun

mathématiques (PTSI) · Chapitre 6 · Exercice de TD

Le principe de Fermat et la loi de Snell-Descartes

Limites, continuité, dérivabilité · B. Continuité et grands théorèmes · niveau 2

Énoncé

Deux milieux transparents sont séparés par l'axe d'un repère orthonormé ; la lumière s'y propage à la vitesse dans le demi-plan et à la vitesse dans le demi-plan . Elle va du point au point , où , en passant par un point de l'interface et en ligne droite dans chaque milieu. Le principe de Fermat affirme que le trajet effectivement suivi est celui dont la durée est minimale.

a) Exprimer pour . Montrer que pour et pour . En déduire que admet un minimum sur , atteint en un point de .

b) Montrer que est dérivable sur , et que s'annule en tout point où atteint son minimum.

c) Montrer que est strictement croissante sur . En déduire que le minimum est atteint en un unique point , et que est strictement décroissante sur et strictement croissante sur .

d) On note et les angles que font les segments et avec la normale à l'interface. Montrer que la condition s'écrit . Avec les indices de réfraction et , où est la vitesse de la lumière dans le vide, c'est la loi de Snell-Descartes : .

Corrigé de la question 1

La stratégie. Trois temps, qui ne se confondent pas : l'existence d'un minimum, par le théorème des bornes atteintes — qui exige un segment, alors qu'ici parcourt ; une condition nécessaire, par l'annulation de la dérivée en un point intérieur ; l'unicité, par la stricte monotonie de .

a) Existence du minimum. Le trajet se compose des segments et , de longueurs et , parcourus aux vitesses et . Donc Pour : et , puisque ; la racine carrée étant strictement croissante, les deux termes de dépassent ceux de , et . Pour : et , d'où de même . Sortir de allonge les deux segments à la fois.

La fonction est continue sur le segment : par le théorème des bornes atteintes, elle y atteint son minimum en un point . Pour , ; pour , . est le minimum de sur , atteint seulement en des points de .

Le point délicat. Une fonction continue sur n'a aucune raison d'y atteindre un minimum. La comparaison avec et ramène le problème sur un segment : c'est le geste standard de l'optimisation sur un domaine non borné.

Question 2 : comment l'IA t'aide

b) Montrer que est dérivable sur , et que s'annule en tout point où atteint son minimum.

Élève

Pour le b), le a) place le minimum dans . Mais s'il est atteint en ou en , aux bords du segment, la condition ne s'applique pas, si ?

IA

La condition nécessaire demande un point intérieur à l'intervalle sur lequel on a un extremum. De quel intervalle s'agit-il ici : le segment où l'on a cherché le minimum, ou l'ensemble où est minimale d'après le a) ?

Élève

Le a) donne un minimum de sur tout , pas seulement sur . Et est un intervalle ouvert, donc même ou y seraient intérieurs.

IA

Exactement. Reste la dérivabilité : pourquoi les deux racines carrées qui composent sont-elles dérivables en tout réel , et quelle hypothèse de l'énoncé l'assure ?

L'IA ne donne pas la réponse : elle pose la question qui fait avancer. À toi de continuer.

Continue cet exercice avec l'IA

Reprends la question 2 là où le dialogue s'arrête, puis la suite de l'exercice.

Continuer avec l'IA — gratuit, sans inscription

Gratuit, sans inscription. L'IA te guide pas à pas, sans te donner la réponse.

Le cours du chapitre · Tous les exercices du chapitre

Continuer avec l'IA, gratuit →