Ensemble de définition d'une fonction - méthode et exemples

Un calcul peut être juste et pourtant partir d’une valeur interdite. C’est exactement ce qui arrive lorsqu’on oublie l’ensemble de définition d’une fonction. Je présente ici des exemples concrets, de la fonction polynôme à la racine carrée, avec une méthode simple pour repérer les restrictions, rédiger les intervalles et éviter les erreurs classiques.

À quoi correspond l’ensemble de définition

L’ensemble de définition, noté le plus souvent D_f, regroupe toutes les valeurs réelles de x pour lesquelles le calcul de f(x) est possible. Autrement dit, ce sont les nombres que l’on peut réellement entrer dans la fonction sans provoquer une division par zéro, une racine carrée impossible ou un logarithme non défini.

Pour le déterminer, je commence toujours par observer la forme de l’expression. Une fonction comme f(x) = 3x² - 5x + 1 ne présente aucun obstacle sur ℝ. En revanche, une fraction, une racine ou un logarithme impose une condition supplémentaire.

Il faut aussi distinguer la formule et le contexte. L’expression p(x) = 2x peut être calculée pour tout réel, mais si p représente le prix de x melons vendus à l’unité, l’énoncé peut imposer x ∈ ℕ. Le domaine dépend donc parfois de la situation étudiée, pas uniquement de l’écriture algébrique.

Des fonctions polynômes définies sur tous les réels

Les fonctions polynômes sont les exemples les plus simples. Elles sont formées de sommes et de produits de puissances entières positives ou nulles de x. Il n’y a ni dénominateur variable, ni racine, ni logarithme à contrôler.

Un exemple affine

Pour f(x) = 4x - 7, chaque réel peut être remplacé dans l’expression. On obtient donc D_f = ℝ. La même conclusion vaut pour f(x) = -2x + 9, même si la droite possède une pente négative.

Un exemple du second degré

Avec g(x) = x² - 6x + 8, les opérations restent possibles pour toutes les valeurs réelles. Ainsi, D_g = ℝ. Le fait que le trinôme puisse avoir deux racines ou aucune racine ne change pas son ensemble de définition. Cela concerne ses zéros, pas les valeurs autorisées pour x.

C’est une confusion que je rencontre souvent. Chercher les racines d’un polynôme et déterminer son domaine sont deux étapes différentes. Une fonction peut être définie partout tout en s’annulant seulement en quelques points.

Les quotients excluent les valeurs qui annulent le dénominateur

Dans une fonction rationnelle, la règle est directe. Le dénominateur ne doit jamais être égal à zéro. On résout donc l’équation correspondante, puis on retire les solutions de ℝ.

Un seul nombre interdit

Considérons f(x) = 1/(x - 3). Le dénominateur s’annule lorsque x = 3. Cette valeur est donc exclue et l’ensemble de définition s’écrit D_f = ℝ \ {3}, ou encore ]-∞;3[ ∪ ]3;+∞[.

Le point x = 3 ne correspond pas à une valeur très grande ou difficile à calculer. La fraction n’existe tout simplement pas à cet endroit, car aucune division par zéro n’est autorisée.

Deux valeurs interdites

Pour g(x) = (2x + 1)/(x² - 9), il faut résoudre x² - 9 = 0. Comme x² - 9 = (x - 3)(x + 3), les valeurs interdites sont -3 et 3.

On obtient donc D_g = ℝ \ {-3;3}. Sous forme d’intervalles, cela donne ]-∞;-3[ ∪ ]-3;3[ ∪ ]3;+∞[. La factorisation est ici le moyen le plus rapide de repérer les exclusions.

Le dernier cas est intéressant. Même si l’expression comporte une fraction, le dénominateur x² + 1 est toujours strictement positif pour un réel x. Il n’existe donc aucune valeur interdite.

[search_image]représentation graphique ensemble de définition fonctions racine quotient logarithme intervalles

Les racines et les logarithmes ajoutent une condition de signe

Racine carrée d’une expression

Pour une racine carrée, le nombre placé sous le radical doit être positif ou nul. Avec f(x) = √(x - 2), il faut donc résoudre x - 2 ≥ 0. Le résultat est D_f = [2;+∞[.

Le crochet en 2 est important, car √0 existe. En revanche, avec g(x) = √(5 - x), la condition devient 5 - x ≥ 0, soit x ≤ 5. Dans ce cas, D_g = ]-∞;5].

Une racine au dénominateur

La situation change lorsque la racine se trouve au dénominateur. Pour h(x) = 1/√(x + 1), il faut à la fois que x + 1 soit positif ou nul pour la racine et différent de zéro pour le dénominateur. La condition finale est donc x + 1 > 0, d’où D_h = ]-1;+∞[.

C’est un point où beaucoup d’élèves gardent par réflexe le symbole ≥. Ici, √0 existe, mais 1/√0 n’existe pas. La présence de la racine au dénominateur transforme ainsi une condition large en condition stricte.

Logarithme népérien

Pour une fonction comme k(x) = ln(x - 4), l’argument du logarithme doit être strictement positif. Il faut donc x - 4 > 0, ce qui donne D_k = ]4;+∞[.

La borne 4 n’est pas incluse. ln(0) n’est pas défini, et un logarithme réel ne peut pas recevoir un nombre négatif. Avec ln(2x + 6), la condition devient 2x + 6 > 0, soit D = ]-3;+∞[.

Quand plusieurs contraintes se combinent

Les expressions plus complexes demandent de réunir toutes les conditions dans un même système. Je traite chaque difficulté séparément, puis je conserve uniquement les valeurs qui respectent toutes les contraintes simultanément.

Une fraction contenant une racine

Prenons f(x) = 1/(√(x - 1) - 2). La racine impose x - 1 ≥ 0, donc x ≥ 1. Le dénominateur impose ensuite √(x - 1) - 2 ≠ 0, ce qui conduit à √(x - 1) ≠ 2, puis x ≠ 5.

L’ensemble de définition est donc D_f = [1;5[ ∪ ]5;+∞[. Cet exemple montre pourquoi il ne suffit pas de repérer la racine. Il faut aussi vérifier si l’expression obtenue peut devenir nulle au dénominateur.

Lire aussi : Table de multiplication de 9 - astuces et exercices

Une racine au numérateur et un quotient

Pour g(x) = √(x + 3)/(x - 1), la racine donne x ≥ -3 et le dénominateur donne x ≠ 1. Les deux conditions se combinent en D_g = [-3;1[ ∪ ]1;+∞[.

La méthode paraît élémentaire, mais elle devient très efficace dans les exercices d’étude de fonctions. Une erreur dans le domaine peut fausser ensuite le tableau de signes, les limites, les variations et la représentation graphique.

Les erreurs fréquentes qui changent le résultat

La première erreur consiste à écrire ℝ pour toute fonction qui contient une fraction. La présence du symbole « / » ne suffit pas à exclure des nombres. Il faut réellement résoudre l’équation du dénominateur et vérifier si elle possède des solutions réelles.

La deuxième erreur est de confondre x ≥ a et x > a. Pour √(x - a), la borne a est acceptée. Pour 1/√(x - a) ou ln(x - a), elle est interdite. Le signe dépend donc de la position et du rôle de l’expression.

• √(x + 2) impose x ≥ -2.
• 1/√(x + 2) impose x > -2.
• ln(x + 2) impose x > -2.
• 1/(x + 2) impose x ≠ -2.

Enfin, il ne faut pas annuler trop vite un facteur dans une fraction. Dans f(x) = (x - 2)(x + 1)/(x - 2), la simplification donne x + 1, mais la valeur x = 2 reste interdite dans l’expression initiale. Le domaine est donc ℝ \ {2}, même si la courbe ressemble presque à celle de la droite y = x + 1.

Une méthode courte pour vérifier son résultat

Pour chaque exercice, je conseille une procédure en quatre temps. Elle évite les oublis et fonctionne aussi bien au lycée que dans les premières études supérieures.

1. Repérer les fractions, racines carrées et logarithmes.
2. Écrire la condition associée à chaque élément.
3. Résoudre les conditions, puis prendre leur intersection.
4. Tester une valeur située dans le domaine et une valeur exclue.

Par exemple, pour f(x) = √(x - 4)/(x + 2), on écrit x - 4 ≥ 0 et x + 2 ≠ 0. Comme x ≥ 4 exclut déjà automatiquement -2, il reste D_f = [4;+∞[.

La représentation graphique fournit aussi un contrôle utile. Une courbe réelle ne peut apparaître que pour les abscisses appartenant au domaine. Si votre calcul autorise x = 1 alors que la formule contient 1/(x - 1), il y a forcément une incohérence à corriger.

Le domaine donne le premier cadre de lecture de la fonction

Les exemples précédents conduisent à une idée simple. Avant de calculer une image, une limite ou une dérivée, il faut savoir quelles valeurs de x sont autorisées. Le domaine n’est pas une formalité ajoutée à la fin de l’exercice, mais le cadre dans lequel toute l’étude doit rester cohérente.

Le réflexe le plus fiable consiste à examiner la formule comme une suite de contraintes. Les polynômes acceptent tous les réels, les dénominateurs excluent leurs zéros, les racines carrées exigent un radicande positif ou nul et les logarithmes un argument strictement positif.

Avec cette grille de lecture, même une expression complexe devient une série de petites vérifications. C’est cette habitude, plus que la mémorisation de listes d’exemples, qui permet de déterminer rapidement et proprement un ensemble de définition.