Dans cette fiche explicative, nous allons apprendre à identifier l'ensemble de définition d'une fonction rationnelle, et l'ensemble de définition commun à deux fonctions rationnelles ou plus.
On rappelle tout d’abord ce qu’est l’ensemble de définition d’une fonction. Lorsque l’on définit une fonction, on l’écrit généralement sous la forme . Cela signifie que pour tout élément , on associe par la fonction un élément . Nous écrivons cela comme . Ici, est appelé l’ensemble de définition (ou domaine) de la fonction et est appelé l’ensemble d’arrivée (ou codomaine) de la fonction. Illustrons cette idée par le diagramme ci-dessous.
Ici, la fonction a pour ensemble de définition , et pour ensemble d’arrivée . En outre, l’ensemble image de , qui contient les valeurs de , est , qui est, dans le cas présent, strictement inclus dans l’ensemble d’arrivée. Si nous voulions écrire que 2 est associée à 1 par , nous utiliserions la notation .
Prenons un exemple d’une fonction spécifique définie par
Ici, on peut considérer, sans problème, que l’ensemble de définition est l’ensemble des nombres réels , puisque nous pouvons déterminer la valeur de l’expression de la fonction pour toute valeur de réelle sans problème. On peut aussi bien définir l’ensemble d’arrivée de cette fonction comme étant , car pour tout , on a . Nous n’avons pas besoin de le savoir pour cet exemple, mais l’ensemble image de cette fonction est . Cette affirmation est vraie car pour tout et donc ne peut pas être inférieur à 7. En revanche, plus devient plus grand, plus augmente également, et ce-dernier tend même vers .
Rappelons qu’une fonction polynomiale est une fonction de la forme
L’expression ci-dessus est un polynôme du second degré. Typiquement, pour toute fonction polynomiale, nous souhaitons avoir . Cependant, comme nous allons le voir plus tard dans le cas de fonctions différentes, il est parfois nécessaire de restreindre l’ensemble de définition.
Rappelons qu’un nombre rationnel (ou une fraction) est un nombre quelconque de la forme , où et sont des entiers et . Il est important de rappeler que le dénominateur ne peut pas être nul car la division par zéro est une opération indéfinie. Nous pouvons étendre cette idée des nombres rationnels aux fonctions rationnelles, avec la définition suivante.
Définition : Fonctions rationnelles
Une fonction est une fonction rationnelle si elle peut être écrite sous la forme où et sont des fonctions polynomiales et que pour tout .
Remarquons que l’ensemble de définition de la fonction ne doit inclure aucun point tel que . Puisque est un polynôme, nous serons parfois amenés à calculer ses racines afin de déterminer les valeurs interdites de la fonction. Prenons par exemple la fonction suivante
On peut dire que cette fonction n’est pas définie si , une équation que nous pouvons facilement résoudre et montrer que ne peut pas être égal à 2. Par conséquent, l’ensemble de définition de cette fonction est , c’est-à-dire l’ensemble des nombres réels différents de 2. On note que l’ensemble d’arrivée de cette fonction est toujours et que, plus généralement, on peut définir l’ensemble d’arrivée de toute fonction rationnelle comme étant égal à .
Étudions un exemple plus compliqué, dans lequel il nous faut résoudre une équation du second degré pour pouvoir déterminer les valeurs pour lesquelles une fonction n’est pas définie.
Exemple 1: Déterminer les valeurs interdites d’une fonction rationnelle
Pour quelles valeurs de la fonction n’est-elle pas définie ?
Réponse
Pour déterminer les valeurs pour lesquelles n’est pas définie, il suffit de prendre le dénominateur de la fraction, , et chercher quand il est égal à 0. En effet, quelle que soit la valeur prise par le numérateur , cela ne rend pas indéfinie.
Ainsi, essayons de résoudre . Pour résoudre une équation du second degré, on peut essayer de la factoriser, ou bien utiliser la formule des racines du second degré. Ici, essayons de la factoriser en supposant
Ainsi, et doivent avoir leur somme est égale à 12 et leur produit est égal à 32. En essayant avec différents nombres, on peut constater que pour et ou vice versa, cela fonctionne. Par conséquent, nous avons
Ainsi, et sont les solutions de l’équation, et donc la fonction n’est pas définie pour .
Essayons de résoudre un problème similaire dans lequel nous devons déterminer l’ensemble de définition d’une fonction.
Exemple 2: Déterminer l’ensemble de définition d’une fonction rationnelle
Quel est l’ensemble de définition de la fonction définie par ?
Réponse
Pour déterminer l’ensemble de définition de cette fonction, nous devons déterminer les valeurs pour lesquelles elle n’est pas définie, c’est-à-dire les points pour lesquelles le dénominateur s’annule, .
Pour résoudre une équation du second degré, on essaie d'habitude soit de la factoriser, soit d'appliquer la formule des racines du second degré. Toutefois, dans cet exemple, cela semble être impossible. En effet, en réarrangeant l’équation ci-dessus, on voit que
Puisque est négatif, on ne peut pas en prendre la racine carrée (du moins pas si ). Cette équation n’a donc pas de solution. En d’autres termes, il n’y a pas de point tel que et la fonction rationnelle étudiée est donc bien définie pour toutes les valeurs. La fonction a donc pour ensemble de définition .
Jusqu’à présent, nous avons étudié des exemples dans lesquels nous avons calculer les points pour lesquels des fonctions rationnelles n’étaient pas définies (et donc, par extension, leurs ensembles de définitions). Dans certains problèmes, il pourra nous être donné l’ensemble de définition d’une fonction, et on doit chercher quelles valeurs correspondent à cet ensemble. Voyons un exemple illustrant cette idée.
Exemple 3: Déterminer l’image d’une fonction d’ensemble de définition connu
Sachant que l’ensemble de définition de la fonction est , trouvez la valeur de .
Réponse
La résolution de cette question se fait en deux étapes principales. D’abord, en déterminant les valeurs interdites de , ce qui devrait nous permettre de déterminer la valeur de l’inconnue . Ensuite, en substituant dans l’expression de pour trouver la réponse.
Pour commencer, on remarque que est donnée comme une somme de deux fonctions rationnelles distinctes. Pour calculer les points pour lesquels n’est pas définie, et donc son ensemble de définition, on doit déterminer les valeurs interdites de l’une et l’autre fonction rationnelles, puisque l’indéfinition de l’une entraine l’indéfinition de leur somme. Commençons par
Il s’agit d’une fonction rationnelle simple, et on peut voir qu’elle n’est pas définie lorsque son dénominateur s’annule, . Ensuite, on a
On voit ici que cette fonction n’est pas définie dès lors que le dénominateur vérifie . Cela est équivalent à .
On sait par ailleurs que l’ensemble de définition de la fonction est égal à , ainsi ne peut être définie ni en , ni en . On peut voir que la valeur interdite provient du terme . Ainsi, implique que . En combinant ces deux équations, on a donc ou . Cela nous donne,
Pour résoudre ce problème, nous pouvons finalement trouver la valeur de . Après avoir calculé la valeur de , il suffit de substituer 3 dans l’équation pour obtenir :
Dans cet exemple, nous avons envisagé l’idée que, lorsque l’on combine plusieurs fonctions rationnelles entre elles, on doit prendre en considération les ensembles de définitions de chacune des fonctions séparément lorsqu’on cherche l’ensemble de définition de la fonction qui en résulte. Dans la lignée de cette idée, nous allons introduire le concept d’ensemble de définition commun de deux ou plusieurs fonctions rationnelles. Supposons, pour donner un exemple simple, que nous ayons les fonctions suivantes :
Ici, pour déterminer l’ensemble de définition commun, on prend simplement l'intersection des deux ensembles de définitions. Ainsi, l’ensemble de définition commun de ces deux fonctions correspond à
Plus généralement, on peut prendre un nombre quelconque de fonctions, et leur ensemble de définition commun est simplement l’intersection de leurs ensembles de définitions. Ainsi, il nous suffit de déterminer les ensembles de définitions de chaque fonction individuellement et d’en prendre l’intersection. Étudions un exemple qui illustre ce concept.
Exemple 4: Déterminer l’ensemble de définition commun de trois fonctions rationnelles
Trouvez l’ensemble de définition commun aux fonctions , et .
Réponse
Pour trouver l’ensemble de définition commun de ces trois fonctions, on doit d’abord déterminer séparément chacun de leur ensemble de définition. Tout d’abord, considérons
En étudiant le dénominateur , on peut voir que n’est pas définie en , car cela entrainerait alors une division par 0. Par conséquent, cette fonction est définie partout sauf en ce point, et son ensemble de définition est donc . Ensuite, nous avons
De la même manière, on remarque que n’est pas défini lorsque , de sorte que son ensemble de définition doit être égal à . Enfin, on considère
La fonction n’est pas définie lorsque le dénominateur est nul. Ce dénominateur est un polynôme cubique ; cependant, puisque est un facteur commun, ce polynôme se factorise aisément en :
En déterminant ses racines, on constate que n’est pas défini pour ou . Ainsi, l’ensemble de définition de cette fonction est égal à .
Finalement, nous prenons l’intersection de ces trois ensembles de définitions. Cette intersection est simplement privé de tous les points interdits de chacune des fonctions. Ainsi, l’ensemble de définition commun est
Enfin, étudions un exemple qui met en jeu tous les concepts abordés jusqu’ici.
Exemple 5: Déterminer l’image d’une fonction d’ensemble de définition donné
Si l’ensemble de définition commun de deux fonctions et est , déterminez la valeur de .
Réponse
L’ensemble de définition commun est l’intersection des ensembles de définition de et de . Afin de déterminer la valeur de , on commence par calculer les ensembles de définition de et de que l’on comparera à .
Pour commencer, considérons
Pour trouver l’ensemble de définition d’une fonction rationnelle, on détermine les points pour lesquelles le dénominateur est égal a 0. Dans ce cas, on voit que
Puisque doit être un nombre réel, cette équation n’a pas de solution ; ainsi, pour tout . L’ensemble de définition de est donc simplement .
Maintenant, avant de déterminer l’ensemble de définition de , remarquons que, puisque l’ensemble de définition commun est , nous avons
Étant donné que chaque point de l’ensemble de définition de appartient à , nous avons
Cela montre que les valeurs interdites et doivent provenir de la fonction . On rappelle que est définie par
Comme dans le cas de la fonction , on détermine l’ensemble de définition de cette fonction en considérant les points où le dénominateur de est égal a 0. En d’autres termes, nous devons résoudre
En temps normal, il ne serait possible de résoudre cette équation du second degré qu’en donnant ses solutions en fonction de . Toutefois, puisque l’ensemble de définition de , les solutions de cette équation doivent correspondre aux valeurs interdites et .
Un polynôme du second degré dont les racines sont et est de la forme
En comparant ce polynôme avec le dénominateur de la fonction , nous avons
Ainsi, on trouve .
Terminons par récapitulant les points clés que nous avons appris dans cette fiche explicative.
Points clés
- Une fonction est une fonction rationnelle si elle peut être écrite sous la forme où et sont des fonctions polynomiales et telle que pour tout .
- On peut déterminer l’ensemble de définition d’une fonction rationnelle en résolvant au dénominateur et en excluant ces points de .
- L’ensemble de définition commun de deux fonctions rationnelles ou plus peut être trouvé en prenant l’intersection de leurs ensembles de définition respectifs.
