Ensemble image d'une fonction du second degré

Cette leçon porte sur l'ensemble image d'une fonction du second degré.

L'ensemble image d'une fonction $f$f est l'ensemble des images $f(x)$f, left parenthesis, x, right parenthesis des nombres de l'ensemble de définition de $f$f. L'ensemble de définition d'une fonction du second degré est l'ensemble des réels.

Quel est l'ensemble image de la fonction $f$f définie par $f(x)=-2(x+3)^2+7~?$f, left parenthesis, x, right parenthesis, equals, minus, 2, left parenthesis, x, plus, 3, right parenthesis, squared, plus, 7, space, question mark

Il est relativement simple de déterminer si tel ou tel nombre donné est l'image d'un réel par la fonction, autrement s'il est l'une des valeurs prises par la fonction.

Par exemple, $9$9 appartient-il à l'ensemble image de $f$f, autrement dit $y=9$y, equals, 9 est-elle l'une des valeurs de la fonction ?

Cela revient à chercher s'il existe une valeur de $x$x telle que $f(x)=9$f, left parenthesis, x, right parenthesis, equals, 9, donc à résoudre l'équation $f(x)=9$f, left parenthesis, x, right parenthesis, equals, 9. Si cette équation a au moins une solution, alors $y=9$y, equals, 9 est une des valeurs de la fonction. Si elle n'a pas de solution, alors $y=9$y, equals, 9 n'est pas une des valeurs de la fonction.

Mais il y a une infinité de nombres réels, donc il est impossible de trouver de cette façon-là tous les éléments de l'ensemble image. Alors comment faire ?

La courbe représentative d'une fonction du second degré est une parabole.

Voici la parabole représentative de la fonction $f$f :

Au vu de cette parabole, il est clair que $y=9$y, equals, 9 n'est pas l'une des valeurs de la fonction.

On va tester deux autres valeurs de $y$y.

Donc la courbe représentative de la fonction permet de vérifier si telle ou telle valeurs de $y$y est, ou n'est pas, l'une des valeurs de la fonction. Par conséquent, elle permet de déterminer l'ensemble image de fa fonction.

Par exemple, on lit sur la parabole représentative ci-contre que le maximum des valeurs de la fonction est $7$7. Et on voit aussi que comme la parabole est orientée vers le bas, toute valeur de $y$y inférieure à $7$7 est aussi une valeur de la fonction.

Et on en déduit que l'ensemble image de la fonction $f$f est l'ensemble des nombres réels inférieurs ou égaux à $7$7. Cet ensemble est noté ${\{} y\in \mathbb{R} ~|~ y\leq 7 {\}}$left brace, y, \in, R, space, vertical bar, space, y, is less than or equal to, 7, right brace.

$g$g est la fonction définie par $g(x)=(x-4)^2-5$g, left parenthesis, x, right parenthesis, equals, left parenthesis, x, minus, 4, right parenthesis, squared, minus, 5. Sa parabole représentative est :

Peut-être vous demandez-vous si l'on doit obligatoirement tracer la parabole représentative de la fonction pour déterminer son ensemble image. La réponse est non !

On reprend les deux exemples.

Donc pour déterminer l'ensemble image d'une fonction du second degré, il suffit de connaître l'ordonnée du sommet de sa parabole représentative et de savoir si cette parabole est orientée vers le haut ou vers le bas.

Quand la fonction est sous forme canonique, $f(x) = \purpleC{a}(x-h)^2 + \blueD{k}$f, left parenthesis, x, right parenthesis, equals, start color #aa87ff, a, end color #aa87ff, left parenthesis, x, minus, h, right parenthesis, squared, plus, start color #11accd, k, end color #11accd, on sait que l'ordonnée du sommet de sa parabole représentative est $y=\blueD{k}$y, equals, start color #11accd, k, end color #11accd, et que si $\purple{a}>0$start color #9d38bd, a, end color #9d38bd, is greater than, 0 cette parabole est orientée $\purpleC{\text{vers le haut}}$start color #aa87ff, start text, v, e, r, s, space, l, e, space, h, a, u, t, end text, end color #aa87ff et si $\purpleC{a}<0$start color #aa87ff, a, end color #aa87ff, is less than, 0, elle est orientée $\purpleC{\text{vers le bas}}$start color #aa87ff, start text, v, e, r, s, space, l, e, space, b, a, s, end text, end color #aa87ff.