-
1. Soit m un nombre réel. On considère la fonction fm définie sur [0;3] par fm(x)=x2−2mx+3. Justifier que fm est continue sur [0;3] et établir que pour tout x∈[0;3], on a fm(x)=(x−m)2+3−m2.
Indice — Exprime fm(x) en regroupant les termes en x sous un carré parfait.
Correction
En tant que fonction polynomiale, fm est continue sur R, et donc en particulier sur l'intervalle [0;3]. En reconnaissant le début d'un carré parfait x2−2mx=(x−m)2−m2, on obtient directement la forme canonique : fm(x)=(x−m)2+3−m2.
-
2. Calculer en fonction de m les images des extrémités de l'intervalle [0;3], à savoir fm(0) et fm(3).
Indice — Évalue directement fm(0) et fm(3).
Correction
Par calcul direct : fm(0)=02−2m(0)+3=3 et fm(3)=32−2m(3)+3=12−6m.
-
3. Dans le cas où m≤0, déterminer le sens de variation de fm sur [0;3] puis en déduire l'intervalle image fm([0;3]).
Indice — Compare (x1−m)2 et (x2−m)2 pour 0≤x1<x2≤3 lorsque m≤0.
Correction
Pour m≤0 et x∈[0;3], on a x−m≥0. La fonction carré étant strictement croissante sur [0;+∞[, fm est strictement croissante sur [0;3]. Par continuité et stricte croissance, l'intervalle image est fm([0;3])=[fm(0);fm(3)]=[3;12−6m].
-
4. Dans le cas où m≥3, déterminer le sens de variation de fm sur [0;3] puis en déduire l'intervalle image fm([0;3]).
Indice — Étudie le signe de (x1−m)2−(x2−m)2 pour 0≤x1<x2≤3 lorsque m≥3.
Correction
Pour m≥3 et x∈[0;3], on a x−m≤0. La fonction carré étant strictement décroissante sur ]−∞;0], fm est strictement décroissante sur [0;3]. Par continuité et stricte décroissance, l'intervalle image est fm([0;3])=[fm(3);fm(0)]=[12−6m;3].
-
5. Dans le cas où m∈]0;3[, déterminer la valeur du minimum absolu de fm sur [0;3] et préciser l'intervalle image fm([0;3]).
Indice — Où se situe le sommet de la parabole par rapport à l'intervalle [0;3] lorsque m∈]0;3[ ? Quel y est le minimum absolu ?
Correction
La parabole représentant fm a son sommet en x=m. Comme m∈]0;3[, le sommet appartient à l'intervalle d'étude [0;3].
Le coefficient de x2 étant positif (a=1), la fonction admet un minimum absolu en x=m, de valeur fm(m)=3−m2.
Aux bornes, on a fm(0)=3 et fm(3)=12−6m. L'intervalle image est donc fm([0;3])=[3−m2;max(3,12−6m)].
-
6. Pour m∈]0;3[, comparer l'intervalle obtenu par la simple évaluation aux bornes [min(fm(0),fm(3));max(fm(0),fm(3))] avec le véritable intervalle image fm([0;3]). Que remarque-t-on ?
Indice — Compare la borne inférieure de [min(fm(0),fm(3));max(fm(0),fm(3))] et celle obtenue à la question précédente.
Correction
L'évaluation directe aux bornes donne l'intervalle [min(3,12−6m);max(3,12−6m)]. Sa borne inférieure est supérieure ou égale à min(3,12−6m)>3−m2.
Le véritable intervalle image [3−m2;max(3,12−6m)] descend plus bas que cette borne inférieure.
On remarque qu'évaluer une fonction non monotone uniquement aux bornes sous-estime l'étendue de l'intervalle image en ignorant le minimum atteint à l'intérieur de l'intervalle.
-
7. Donner l'expression générale de l'intervalle image fm([0;3]) pour tout réel m.
Indice — Rassemble les résultats des trois cas disjoints sur m : m≤0, m∈]0;3[ et m≥3.
Correction
On distingue trois cas selon la position du sommet x=m par rapport à [0;3] :
- Pour m≤0 : fm est strictement croissante sur [0;3], donc fm([0;3])=[fm(0);fm(3)]=[3;12−6m].
- Pour m∈]0;3[ : d'après la question 5, fm([0;3])=[3−m2;max(3,12−6m)].
- Pour m≥3 : fm est strictement décroissante sur [0;3], donc fm([0;3])=[fm(3);fm(0)]=[12−6m;3].
-
8. Déterminer, suivant les valeurs du paramètre réel m, le nombre de solutions dans [0;3] de l'équation fm(x)=2.
Indice — Vérifie si la valeur 2 appartient à l'intervalle image déterminé à la question précédente, et examine la stricte monotonie sur les sous-intervalles de monotonie.
Correction
En s'appuyant sur l'intervalle image et le théorème des valeurs intermédiaires (variations de fm) :
- Pour m<1 : la valeur minimale est 3−m2>2 (ou fm(0)=3>2 si m≤0). 2otinfm([0;3]), il y a 0 solution.
- Pour m=1 : le minimum est f1(1)=2, il y a 1 solution unique (x=1).
- Pour 1<m≤35 : 3−m2<2 et fm(3)≥2. La valeur 2 est atteinte une fois sur [0;m] et une fois sur [m;3], soit 2 solutions.
- Pour m>35 : 3−m2<2 mais fm(3)<2. La valeur 2 n'est atteinte que sur [0;m], soit 1 solution.