Voir la source de Étude et tracé d'une fonction/Application aux fonctions rationnelles

{{Chapitre
  | idfaculté  = mathématiques
  | précédent  = [[../Plan d'étude d'une fonction/]]
  | suivant    = [[../Application aux fonctions non rationnelles/]]
  | page_liée  = Exercices/Fonctions rationnelles (1)
  | page_liée2 = Exercices/Fonctions rationnelles (2)
  | page_liée3 = Exercices/Fonctions rationnelles (3)
  | numéro     = 4
  | niveau     = 12
}}
Ce chapitre est plus particulièrement consacré à l'étude des fonctions rationnelles. Certaines notions comme le changement de repère ou l'étude de certaines symétries ne sont pas exclusivement réservées aux fonctions rationnelles mais sont plus faciles à étudier dans ce cadre et si elles se rencontrent dans le cadre d'un examen, elles le seront, le plus souvent, dans le cadre d'une fonction rationnelle.

Toutes les notions étudiées dans ce chapitre ne sont pas forcément au programme, chaque année, dans tous les pays francophones. L'étudiant peut éventuellement sauter ces notions si celles-ci ne sont pas dans son programme, mais nous lui conseillons toutefois de les survoler à titre d'exercice. 
__TOC__
{{Clr}}
== Définition d'une fonction rationnelle  ==

Nous rappelons, dans ce paragraphe, la définition d'une fonction rationnelle :

{{Définition
  | contenu =
Une fonction rationnelle est une fonction qui se présente sous forme de quotient de deux polynômes.

Si '''P(x)''' et '''Q(x)''' sont deux polynômes, alors :

<math>f(x) = \frac{P(x)}{Q(x)}</math>

est une fonction rationnelle.
}}


== Étude des asymptotes  ==

Soit '''f''' une fonction rationnelle définie par :

<math>f(x) = \frac{P(x)}{Q(x)}</math>

'''P(x)''' et '''Q(x)''' étant deux polynômes.


Nous supposerons, dans ce paragraphe qu'il n'y a pas de racines communes entre le numérateur et le dénominateur de la fraction rationnelle.

=== Asymptote verticale  ===

Supposons que '''a''' est une racine du dénominateur '''Q'''. Si l'on fait tendre '''x''' vers '''a''', alors le dénominateur tendra vers '''0''' et, comme '''a''' n'est pas racine du numérateur, la fonction rationnelle tendra vers <math>+\infty</math> ou <math>-\infty</math>. Nous aurons donc une asymptote verticale d'équation '''x = a'''.

Nous retiendrons :

{{Propriété
  | contenu =
Si '''f''' est une fonction rationnelle définie par :

<math>f(x) = \frac{P(x)}{Q(x)}</math>

et si :

<math>a_1,\,a_2,\cdots ,a_n</math>

Sont les n racines distinctes du polynôme '''Q''', alors le tracé de la courbe représentative de la fonction '''f''' admet '''n''' asymptotes verticales d'équations respectives :
*'''x = a<sub>1</sub>'''
*'''x = a<sub>2</sub>'''
*…
*'''x = a<sub>n</sub>'''
}}


=== Asymptotes horizontales  ===

Nous aurons une asymptote horizontale si la limite de '''f''' en <math>+\infty</math> ou en <math>-\infty</math> est un nombre fini. Cela ne peut se produire que si le degré du numérateur de la fraction rationnelle est inférieur ou égal au degré du dénominateur.

Nous pouvons toutefois envisager deux cas selon que les degrés sont égaux ou différents.

==== Premier cas : Les degrés sont égaux  ====

Nous savons que lorsque l'on fait tendre '''x''' vers <math>+\infty</math> ou <math>-\infty</math> , une fraction rationnelle tend vers le rapport de ses termes de plus haut degré et par conséquent vers le rapport de ses coefficients dominants.

{{Propriété
  | contenu =
Soit '''f''' une fonction rationnelle définie par :

<math> f(x) = \frac{a_nx^n+a_{n-1}x^{n-1}+\cdots}{b_nx^n+b_{n-1}x^{n-1}+\cdots}</math>

Alors la courbe représentative de '''f''' admet une asymptote horizontale d'équation :

<math>y = \frac{a_n}{b_n}</math>
}}

==== Deuxième cas : Les degrés sont différents  ====

Toujours du fait que la limite en <math>+\infty</math> ou <math>-\infty</math> d'une fraction rationnelle est la limite du rapport de ses termes de plus haut degré, nous avons de façon immédiate :

{{Propriété
  | contenu =
Si '''f''' est définie par une fraction rationnelle dont le degré du numérateur est strictement inférieur au degré du dénominateur, alors la courbe représentative de '''f''' admet une asymptote horizontale d'équation :

<math>y = 0</math>

On peut dire aussi qu'elle admet l'axe des abscisses comme asymptote horizontale.
}}


=== Asymptotes obliques  ===

Nous avons vu que, si l'on a une asymptote oblique d'équation '''y = ax + b''', alors le coefficient directeur '''a''' est donné par :

<math> a = \lim_{x \to \pm\infty} \frac{f(x)}x</math>

Nous aurons donc :

{{Propriété
  | contenu =
Si '''f''' est définie par une fraction rationnelle dont le degré du numérateur surpasse d'une unité le degré du dénominateur, alors la courbe représentative de '''f''' admet une asymptote oblique.
}}

Il y a principalement trois façons de déterminer cette asymptote oblique :

==== Première méthode : Utilisation des formules déjà établies ====

On utilise les formules établies dans les chapitres précédents.

Si la courbe représentative admet une asymptote oblique d'équation '''y = ax + b''', alors :

<math> a = \lim_{x \to \pm\infty} \frac{f(x)}x</math>

<math> b = \lim_{x \to \pm\infty} (f(x) - ax)</math>


==== Deuxième méthode : Division euclidienne  ====

On montre que l'équation de l'asymptote est obtenue en effectuant la [[w:Division d'un polynôme|division euclidienne]] du numérateur par le dénominateur. L'équation de l'asymptote apparaît en quotient.


==== Troisième méthode : Séparation astucieuse  ====

Cette méthode est la plus rapide mais nécessite une certaine dextérité dans le calcul algébrique. Il s'agit de faire apparaître, dans le numérateur, le dénominateur en facteur d'un monôme du premier degré suivi du même dénominateur en facteur d'une constante suivi de termes compensateurs pour retrouver le numérateur de la fraction rationnelle d'origine. Après simplification, on voit clairement apparaître l'asymptote.


{{Encart
  | symbole = exemple
  | contenu = '''Exemple 1'''

Soit la fonction '''f''' définie par :

<math>f(x) = \frac{2x^2-5x+4}{x-1}</math>

Déterminer l'asymptote oblique.


'''Corrigé'''

<math>\begin{align}
f(x)\, &= \, \frac{2x^2-5x+4}{x-1}\\
&=  \,\frac{2x(x-1)-3(x-1)+1}{x-1} \\
&=  \,2x-3+\frac1{x-1}
\end{align}</math>

Nous voyons que l’asymptote oblique est la droite d'équation :

<math>y=2x-3</math>
}}


{{Encart
  | symbole = exemple
  | contenu = '''Exemple 2'''

Soit la fonction '''f''' définie par :

<math>f(x) = \frac{3x^3+2x^2-3x+3}{x^2+x-1}</math>

Déterminer l'asymptote oblique.


'''Corrigé'''

<math>\begin{align}
f(x)\, &= \, \frac{3x^3+2x^2-3x+3}{x^2+x-1}\\
&=  \,\frac{3x(x^2+x-1)-(x^2+x-1)+x+2}{x^2+x-1} \\
&=  \,3x-1+\frac{x+2}{x^2+x-1}
\end{align}</math>

Nous voyons que l’asymptote oblique est la droite d'équation :

<math>y=3x-1</math>
}}


== Changement de repère  ==
[[Fichier:Changement de repère.gif|400px|droite]]
Soit une fonction '''f'''. La courbe représentative de '''f''' est une courbe que l'on a dessiné dans un repère de façon à ce que chaque point '''M''' de la courbe ait pour couple de coordonnées '''(x,f(x))''', '''f(x)''' étant l'image de '''x''' par '''f'''. On aurait pu aussi dire que les coordonnées d'un point '''M''' choisi sur la courbe sont le couple '''(x,y)''' en posant '''y = f(x)'''.

Dans certaines situations, il peut être intéressant de représenter la même courbe dans un autre repère. L'expression de la fonction '''f''' sera alors différente, mais la forme de la courbe représentative sera globalement la même bien que sa position par rapport au nouveau repère soit différente. C'est un peu comme si la courbe avait subi une translation.

Sur le schéma, à droite, nous avons dessiné une courbe mais nous avons mis deux repères. Nous supposerons que l'ancien repère est le repère marron d'origine '''O''' et nous supposerons que le nouveau repère est le repère bleu d'origine '''Ω'''. Considérons un point '''M''' sur la courbe. Nous appellerons '''(x,y)''' les coordonnées de '''M''' dans l’ancien repère (marron) et nous appellerons '''(X,Y)''' les coordonnées de '''M''' dans le nouveau repère (bleu). Supposons que les coordonnées du point '''Ω''' dans l'ancien repère soient '''(a,b)'''. Nous allons essayer de trouver une relation liant les anciennes coordonnées aux nouvelles coordonnées.

Pour cela nous remarquerons que :
* les coordonnées du vecteur <math>\vec{OM}</math> dans l'ancien repère sont '''(x,y)'''
* les coordonnées du vecteur <math>\vec{\Omega M}</math> dans le nouveau repère sont '''(X,Y)'''
* les coordonnées du vecteur <math>\vec{O\Omega}</math> dans l'ancien repère sont '''(a,b)'''

La relation de Chasles nous donne alors :

<math>\vec{OM} = \vec{O\Omega} + \vec{\Omega M} </math>

Si l'on traduit cette relation sur les abscisses et les ordonnées des vecteurs, on obtient :

<math>\begin{cases}
x=a+X \\
y=b+Y
\end{cases}</math>


Une des applications possibles du changement de repère est de démontrer qu'un axe vertical est axe de symétrie de la courbe ou de démontrer qu'un point est centre de symétrie de la courbe. Nous allons envisager ces deux cas dans les deux exemples qui suivent :


{{Encart
  | symbole = exemple
  | contenu = '''Exemple 1'''

Soit la fonction '''f''' définie par :

<math>f(x) = \frac{x^4-8x^3+21x^2-20x+5}{x^2-4x+1}</math>

Montrez que la courbe représentative de cette fonction admet la droite verticale d'équation '''x = 2''' comme axe de symétrie.


'''Corrigé'''

Nous allons faire un changement de repère en choisissant comme nouveau repère, un repère de centre '''Ω''' de coordonnées '''(2;0)''' (L'ordonnée n'a pas d'importance puisque seul l'axe des ordonnées nous importe)

Si la droite d'équation '''x = 2''' est bien un axe de symétrie, alors dans le nouveau repère l'équation de la courbe devrait s'exprimer par une fonction paire.

L'équation de la courbe dans l'ancien repère est (en posant '''y = f(x)''') :

<math>y = \frac{x^4-8x^3+21x^2-20x+5}{x^2-4x+1}</math>

Les formules de changement de repère sont :

<math>\begin{cases}
x=a+X = X+2\\
y=b+Y = Y
\end{cases}</math>


En remplaçant, on obtient :

<math>Y = \frac{(X+2)^4-8(X+2)^3+21(X+2)^2-20(X+2)+5}{(X+2)^2-4(X+2)+1}</math>

En développant et en simplifiant, on obtient :

<math>Y = \frac{X^4-3X^2+1}{X^2-3}</math>

qui est bien une fonction paire. La droite d'équation '''x = 2''' (dans l'ancien repère) est donc bien un axe de symétrie.
}}


{{Encart
  | symbole = exemple
  | contenu = '''Exemple 2'''

Soit la fonction '''f''' définie par :

<math>f(x) = \frac{x^3-5x^2+5x-3}{x^2-2x+2}</math>

Montrez que la courbe représentative de cette fonction admet le point de coordonnées '''(1;-2)''' comme centre de symétrie.


'''Corrigé'''

Nous allons faire un changement de repère en choisissant comme nouveau repère, un repère de centre '''Ω''' de coordonnées '''(1;-2)'''

Si le point '''Ω''' est bien centre de symétrie, alors dans le nouveau repère l'équation de la courbe devrait s'exprimer par une fonction impaire.

L'équation de la courbe dans l'ancien repère est (en posant '''y = f(x)''') :

<math>y = \frac{x^3-5x^2+5x-3}{x^2-2x+2}</math>

Les formules de changement de repère sont :

<math>\begin{cases}
x=a+X = X+1\\
y=b+Y = Y-2
\end{cases}</math>


En remplaçant, on obtient :

<math>Y-2 = \frac{(X+1)^3-5(X+1)^2+5(X+1)-3}{(X+1)^2-2(X+1)+2}</math>

En développant et simplifiant, on obtient :

<math>Y = \frac{X^3-2X}{X^2+1}</math>

qui est une fonction impaire. Le point de coordonnées '''(1;-2)''' est donc bien centre de symétrie.
}}


== Symétrie axiale  ==
[[Fichier:Axe de symétrie.gif|400px|droite]]
Nous avons vu dans le paragraphe précédent comment montrer qu'une courbe admet un axe de symétrie vertical en faisant un changement de repère et en montrant que l'équation de la courbe dans le nouveau repère est une fonction paire. L'objet de ce paragraphe est d'essayer de simplifier un peu le processus en essayant d'établir une formule nous indiquant directement si un axe vertical d'équation '''x = a''' est axe de symétrie de la courbe. Pour cela, nous raisonnerons sur le schéma de droite. Soit donc une courbe ayant un axe de symétrie vertical (en vert sur le schéma) d'équation '''x = a'''. Soit deux abscisses symétriques par rapport à l'abscisse '''a''', à savoir '''a+h''' et '''a-h''' (on suppose que ces deux abscisses appartiennent au domaine de définition). Que peut-on dire de '''f(a+h)''' et '''f(a-h)'''. On voit clairement sur le schéma que si la courbe est bien symétrique par rapport à l'axe en vert, on a :

<math>f(a+h)=f(a-h)</math>

Qui s'écrit aussi :

<math>f(a+h)-f(a-h)=0</math>


On peut en déduire le théorème suivant :

{{Théorème
  | contenu =
Soit '''f''' une fonction. La courbe représentative de la fonction '''f''' admettra un axe de symétrie vertical d'équation '''x = a''' si et seulement si :

<math>\forall h\in\R\qquad f(a+h)-f(a-h)=0</math>

(En supposant, bien sûr, que '''a+h''' et '''a-h''' sont dans le domaine de définition de '''f''')
}}


{{Encart
  | symbole = exemple
  | contenu = '''Exemple'''

Soit la fonction '''f''' définie par :

<math>f(x) = x^4-8x^3+23x^2-28x+13</math>

Montrer que la droite d'équation '''x = 2''' est un axe de symétrie de la courbe.


'''Corrigé'''

Pour montrer que la droite d'équation '''x = 2''' est un axe de symétrie de la courbe, nous appliquerons la formule du théorème en prenant '''a = 2'''.

On obtient :

<math>\forall h\in\R</math>

<math>\begin{align}
f(a+h)-f(a-h)\, &= \, (a+h)^4-8(a+h)^3+23(a+h)^2-28(a+h)+13-(a-h)^4+8(a-h)^3-23(a-h)^2+28(a-h)-13 \\
&=  \,(2+h)^4-8(2+h)^3+23(2+h)^2-28(2+h)+13-(2-h)^4+8(2-h)^3-23(2-h)^2+28(2-h)-13 \\
&=  \,16+32h+24h^2+8h^3+h^4-64-96h-48h^2-8h^3+92+92h+23h^2-56-28h+\cdots \\
&\qquad \cdots +13-16+32h-24h^2+8h^3-h^4+64-96h+48h^2-8h^3-92+92h-23h^2+56-28h-13 \\
&=  \,0
\end{align}</math>


Par conséquent, la droite d'équation '''x = 2''' est bien axe de symétrie de la courbe.
}}


== Symétrie centrale  ==
[[Fichier:Centre de symétrie.gif|400px|droite]]
Dans le paragraphe précédent, nous avons établi une formule permettant de montrer qu'une droite est axe de symétrie de la courbe représentative d'une fonction '''f'''. Dans ce paragraphe, nous allons essayer, par un procédé similaire, de trouver une formule permettant de montrer qu'un point de coordonnées '''(a;b)''' est centre de symétrie de la courbe représentative d'une fonction '''f'''. Raisonnons sur le schéma de droite. Comme dans le paragraphe précédent, considérons les abscisses '''a + h''' et '''a - h'''. Si le point de coordonnées '''(a;b)''' est bien centre de symétrie, nous constatons que l'ordonnée '''b''' tombe exactement au milieu des ordonnées '''f(a+h)''' et '''f(a-h)'''. Autrement dit, '''b''' est la moyenne des nombres '''f(a+h)''' et '''f(a-h)'''. Ce qui s'écrit :

<math>b=\frac{f(a+h)+f(a-h)}2</math>

Nous pouvons écrire cette expression sous la forme :

<math>f(a+h)+f(a-h)-2b=0</math>


On peut en déduire le théorème suivant :

{{Théorème
  | contenu =
Soit '''f''' une fonction. La courbe représentative de la fonction '''f''' admettra pour centre de symétrie, un point de coordonnées '''(a;b)''' si et seulement si :

<math>\forall h\in\R\qquad f(a+h)+f(a-h)-2b=0</math>

(En supposant, bien sûr, que '''a+h''' et '''a-h''' sont dans le domaine de définition de '''f''')
}}


{{Encart
  | symbole = exemple
  | contenu = '''Exemple'''

Soit la fonction f définie par :

<math>f(x) = \frac{2x^2-3x+2}{x-1}</math>

Montrer que l'interception des asymptotes est centre de symétrie pour la courbe représentative de la fonction.


'''Corrigé'''

On a :

<math> \lim_{x \to 1^+} \frac{2x^2-3x+2}{x-1} = +\infty</math>

et

<math> \lim_{x \to 1^-} \frac{2x^2-3x+2}{x-1} = -\infty</math>

donc la droite d'équation '''x = 1''' est une asymptote verticale.


Ensuite :

<math>\begin{align}
f(x)\, &= \, \frac{2x^2-3x+2}{x-1}\\
&=  \,\frac{(2x-1)(x-1)+1}{x-1} \\
&=  \,2x-1+\frac1{x-1}
\end{align}</math>


Nous en déduisons :

<math>\lim_{x \to \pm\infty} \left[\frac{2x^2-3x+2}{x-1} -(2x-1)\right] = \lim_{x \to \pm\infty} \frac1{x-1} = 0</math>

Donc la droite d'équation '''y = 2x-1''' est une asymptote oblique.


Pour trouver le point d'interception des asymptotes, nous devrons donc résoudre le système :

<math>\begin{cases}
x=1\\
y=2x-1
\end{cases}</math>

qui a pour solution :

<math>\begin{cases}
x=1\\
y=1
\end{cases}</math>

Pour vérifier que le point de coordonnées '''(1;1)''' est centre de symétrie, nous appliquerons la formule du théorème en prenant '''a = 1''' et '''b = 1'''.

Ce qui donne:

<math>\begin{align}
\forall h\in\R\qquad f(a+h)+f(a-h)-2b\, &= \, f(1+h)+f(1-h)-2\times1\\
&=  \,\frac{2(1+h)^2-3(1+h)+2}{(1+h)-1} + \frac{2(1-h)^2-3(1-h)+2}{(1-h)-1} - 2 \\
&=  \,\frac{2(1+2h+h^2)-3(1+h)+2}h - \frac{2(1-2h+h^2)-3(1-h)+2}h - \frac{2h}h \\
&=  \,\frac{2+4h+2h^2-3-3h+2-2+4h-2h^2+3-3h-2-2h}h \\
&=  \,\frac0h \\
&=\,0
\end{align}</math>

Nous voyons que le point d'interception des asymptotes est bien centre de symétrie de la courbe représentative de la fonction '''f'''.
}}


== Étude d'un exemple  ==

Pour synthétiser un peu ce que nous avons dit dans le début de ce chapitre et pour apprendre aussi quelques détails supplémentaires, nous nous proposons, dans ce paragraphe de faire l'étude complète d'une fonction :

Soit donc à étudier la fonction '''f''' définie par :

<math>f(x) = \frac{x^2-3x+6}{x-1}</math>


=== Domaine de définition  ===

Les dénominateurs ne doivent pas être nuls. Nous devons donc avoir :

<math>x-1\ne0</math>


Nous en déduisons le domaine de définition de '''f''':

<math>D_f=\R-\{1\}=]-\infty;\;1[\cup]1;\;+\infty[</math>


=== Limites aux bornes du domaine de définition  ===

Nous voyons qu'il y a quatre limites à calculer :

<math>\lim_{x \to +\infty} f(x) = \lim_{x \to +\infty} \frac{x^2-3x+6}{x-1} = \lim_{x \to +\infty} \frac{x^2}{x} = \lim_{x \to +\infty} x = +\infty </math>

<math>\lim_{x \to -\infty} f(x) = \lim_{x \to -\infty} \frac{x^2-3x+6}{x-1} = \lim_{x \to -\infty} \frac{x^2}{x} = \lim_{x \to -\infty} x = -\infty </math>

<math>\lim_{x \to 1^+} f(x) = \lim_{x \to 1^+} \frac{x^2-3x+6}{x-1} = \frac{4}{0^+} = +\infty </math>

<math>\lim_{x \to 1^-} f(x) = \lim_{x \to 1^-} \frac{x^2-3x+6}{x-1} = \frac{4}{0^-} = -\infty </math>

Nous en déduisons déjà que nous avons une asymptote verticale d'équation '''x = 1'''.


=== Calcul de la dérivée  ===

Il s'agit simplement d'un quotient, donc :

<math>f'(x) = \frac{(2x-3)(x-1)-(x^2-3x+6)}{(x-1)^2} = \frac{x^2-2x-3}{(x-1)^2} = \frac{(x+1)(x-3)}{(x-1)^2} </math>

Pour étudier le signe de la dérivée, nous pouvons faire un tableau de signe :


<math>\begin{array}{c|ccccccc|}
x&-\infty&&-1&&1&&3&&+\infty\\
&&&\\
\hline
\textrm{x+1}&&-&0&+&&+&&+&\\
\hline
\textrm{x-3}&&-&&-&&-&0&+&\\
\hline
(x-1)^2&&+&&+&0&+&&+&\\
\hline
f'(x)&&+&0&-&\|&-&0&+&\\
\hline
\end{array}
</math>


=== Tableau de variations  ===

Nous allons maintenant réunir tous les éléments dans un tableau de variations :

[[Fichier:Tableau de variations 4.png|600px]]


Dans ce tableau nous avons fait figurer :
* Les valeurs importantes prises par la variable.
* Une double barre là où la fonction et la dérivée ne sont pas définies.
* Le signe de la dérivée dans chaque intervalle.
* Des flèches allant des limites ou des valeurs de la fonction vers des limites ou des valeurs de la fonction.


=== Étude particulière  ===

Le fait que le degré du numérateur surpasse de '''1''' le degré du dénominateur nous invite à penser que l'on a une asymptote oblique.

Pour le mettre en évidence, nous pouvons écrire la fonction ainsi :

<math>f(x) = \frac{x^2-3x+6}{x-1} = \frac{(x-2)(x-1)+4}{x-1} = x-2+\frac4{x-1}</math>

Ce qui nous permet de voir que :

<math>\lim_{x\to\pm\infty}\left[f(x)-(x-2)\right]=\lim_{x \to \pm\infty}\frac4{x-1}=0</math>

Par conséquent, la droite d'équation '''y = x-2''' est une asymptote oblique en <math>+\infty</math> et en <math>-\infty</math>.


=== Tracé de la courbe  ===

On commence par tracer le repère. On place le maximum de coordonnées égales à '''(-1;-5)''' et le minimum de coordonnées '''(3;3)'''. On trace l'asymptote verticale d'équation '''x = 1''' et l'asymptote oblique d'équation '''y = x - 2'''. On a aussi tracé des tangentes horizontales (en bleu) sur le maximum et le minimum pour bien guider le tracé.

En s'aidant de tous les éléments que l'on a établis, on trace ensuite la courbe et l'on obtient :

[[Fichier:Courbe représentative 4.png|600px]]


{{Bas de page
  | idfaculté = mathématiques
  | précédent = [[../Plan d'étude d'une fonction/]]
  | suivant   = [[../Application aux fonctions non rationnelles/]]
}}