[IN] Introduction : Nous savons ce qu’est une fonction et nous connaissons les fonctions de référence, ainsi que les polynômes du second degré. En première, nous avons appris à dériver une fonction et en étudier les variations. Dans le cours précédent, nous avons vu comment calculer les limites d’une suite numérique. Dans ce cours, nous allons approfondir cette notion de limites en l’appliquant aux fonctions. Elles apportent des informations supplémentaires sur les fonctions et viendront compléter les tableaux de variations que nous savons déjà construire. [/IN] ##Limite à l’infini/1 Dans cette première partie, nous nous intéressons au comportement des fonctions en $-\infty$ et en $+\infty$, lorsqu’elles y sont définies. ###Limite infinie à l’infini/a. Soit $a$ un réel et $f$ une fonction définie au moins sur un intervalle $]a\ ;\,+\infty[$. [DEF] **Limite infinie à l’infini :** * Une fonction $f$ a pour limite $+\infty$ en $+\infty$ si, pour tout réel $A$ donné, les images $f(x)$ sont supérieures à $A$ à partir de $x$ assez grand.((bulle,1)) * On note alors :((fleche)) $$\lim\limits_\{x \to + \infty\} f(x)= +\infty$$ * Une fonction $f$ a pour limite $-\infty$ en $+\infty$ si, pour tout réel $A$ donné, les images $f(x)$ sont inférieures à $A$ à partir de $x$ assez grand.((bulle,2)) * On note alors :((fleche)) $$\lim\limits_\{x \to +\infty\} f(x)= - \infty$$ [/DEF] Regardons la courbe représentative suivante : [IMG]((40)) ![Alt Option mathématiques complémentaires limites fonctions](https://kronos-images.schoolmouv.fr/t-fnx-math-c33-img01.png) # [/IMG] * La fonction $f$ a pour limite $+\infty$ en $+\infty$.((fleche)) Regardons maintenant cette courbe représentative : [IMG]((40)) ![Alt Option mathématiques complémentaires limites fonctions](https://kronos-images.schoolmouv.fr/t-fnx-math-c33-img02.png) # [/IMG] * La fonction $f$ a pour limite $-\infty$ en $+\infty$.((fleche)) [EX] Les fonctions carré, cube ou racine carrée ont pour limite $+\infty$ en $+\infty$ : $$\begin{aligned} \lim\limits_{x \to +\infty} x^2 &= \lim\limits_{x \to +\infty} x^3 = \lim\limits_{x \to +\infty} \sqrt x \\ &= +\infty \end{aligned}$$ [/EX] * On définit de la même manière les limites infinies en $-\infty$.((fleche)) [EX] La fonction carrée a pour limite $+\infty$ en $-\infty$ : $$\lim\limits_{x \to -\infty} x^2=+\infty$$ La fonction cube a pour limite $-\infty$ en $-\infty$ : $$\lim\limits_{x \to -\infty} x^3=-\infty$$ [/EX] ###Limite finie à l’infini et asymptote horizontale/b. Dans ce paragraphe, nous allons voir que des fonctions peuvent avoir **une limite finie** en $-\infty$ ou $+\infty$. [DEF] **Limite finie à l’infini :** Soit $f$ une fonction définie sur un intervalle $]a\ ;\,+\infty[$ ($a$ réel). Dire que $f$ a pour limite le réel $l$ en $+\infty$ signifie que tout intervalle ouvert contenant $l$ contient toutes les images $f(x)$ pour $x$ suffisamment grand. * On note alors :((fleche)) $$\lim\limits_{x \to + \infty} f(x)=l$$ [/DEF] [RETENIR] On dit, dans ce cas, que la droite d’équation $y=l$ est **asymptote horizontale** au voisinage de $+\infty$ (ou en $+\infty$) à la courbe représentative de $f$. De même, la droite d’équation $y=l$ est **asymptote horizontale** au voisinage de $-\infty$ (ou en $-\infty$) lorsque : $$\lim\limits_{x \to - \infty} f(x)=l$$ [/RETENIR] Pour définir une asymptote horizontale, il faut calculer ce type de limite. Réciproquement, si une limite finie $l$ en l’infini a été calculée et que l’on demande une interprétation graphique, alors on peut dire que la droite d’équation $y=l$ est asymptote horizontale à la courbe représentative de la fonction : celle-ci se rapproche au fur et à mesure de l’asymptote horizontale quand $x$ tend vers $+\infty$ ou $-\infty$. [EX] Intéressons-nous à la fonction inverse. Soit la fonction $f$ telle que : $f(x) = \dfrac 1x$ pour $x \neq 0$ un réel. Alors : $$\begin{aligned} \lim\limits_{x \to +\infty}f(x)=0 \\ \lim\limits_{x \to - \infty} f(x)=0 \end{aligned}$$ * On en déduit que la droite d’équation $y=0$ (qui est l’axe des abscisses) est asymptote horizontale à la courbe $\mathscr C_f$ au voisinage de $+\infty$ et de $-\infty$.((fleche)) [/EX] Pour déterminer la position relative de la courbe $\mathscr C_f$ par rapport à une asymptote d’équation $y=l$, il faut étudier le signe de la différence $f(x)-l$ : * si $f(x)-l > 0$, alors $f(x)>l$, * la courbe $\mathscr C_f$ est au-dessus de l’asymptote sur l’intervalle, ou la réunion d’intervalles, où c’est le cas ;((fleche)) * si $f(x)-l <0$, alors $f(x)< l$, * la courbe $\mathscr C_f$ est au-dessous de l’asymptote sur l’intervalle, ou la réunion d’intervalles, où c’est le cas.((fleche)) ## Limite infinie en un point et asymptote verticale/2 Nous venons de voir les limites en l’infini. Intéressons-nous maintenant aux limites en un point. Soit $a$ un réel et $h$ un réel positif non nul. Soit $f$ une fonction définie sur une partie de $\mathbb{R}$ contenant un intervalle $]a-h\ ;\,a[$ ou $]a\ ;\,a+h[$. [DEF] **Limite infinie en un point :** * $f$ a pour limite $+\infty$ quand $x$ tend vers $a$ si, pour tout réel $A$, les images $f(x)$ sont supérieures à $A$ quand $x$ est suffisamment proche de $a$. * On note alors :((fleche)) $$\lim\limits_{x \to a}f(x)= +\infty$$ * $f$ a pour limite $-\infty$ quand $x$ tend vers $a$ si, pour tout réel $A$, les images $f(x)$ sont inférieures à $A$ quand $x$ est suffisamment proche de $a$. * On note alors :((fleche)) $$\lim\limits_{x \to a}f(x)= -\infty$$ [/DEF] [ATT] Dans certains cas, la limite quand $x$ tend vers $a$ par valeurs inférieures et celle quand $x$ tend vers $a$ par valeurs supérieures sont différentes. [/ATT] * On parle de limite à gauche en $a$ lorsque $x$ tend vers $a$ par valeurs inférieures à $a$.((bulle,1)) [COLONNES] [COL] [IMG]((40)) ![Alt Option mathématiques complémentaires limites fonctions](https://kronos-images.schoolmouv.fr/t-fnx-math-c33-img03.png) # [/IMG] $\lim\limits_{x \to a \atop x < a} f(x)= +\infty$ [/COL]((50, texte-centre)) [COL] [IMG]((40)) ![Alt Option mathématiques complémentaires limites fonctions](https://kronos-images.schoolmouv.fr/t-fnx-math-c33-img04.png) # [/IMG] $\lim\limits_{x \to a \atop x < a} f(x)= -\infty$ [/COL]((50, texte-centre)) [/COLONNES] * On parle de limite à droite en $a$ lorsque $x$ tend vers $a$ par valeurs supérieures à $a$.((bulle,2)) [COLONNES] [COL] [IMG]((100)) ![Alt Option mathématiques complémentaires limites fonctions](https://kronos-images.schoolmouv.fr/t-fnx-math-c33-img05.png) # [/IMG] $\lim\limits_{x \to a \atop x > a} f(x)= +\infty$ [/COL]((50, texte-centre)) [COL] [IMG]((100)) ![Alt Option mathématiques complémentaires limites fonctions](https://kronos-images.schoolmouv.fr/t-fnx-math-c33-img06.png) # [/IMG] $\lim\limits_{x \to a \atop x > a} f(x)= - \infty$ [/COL]((50, texte-centre)) [/COLONNES] [RETENIR] Dans ces quatre cas, la droite d’équation $x=a$ est **asymptote verticale** à la courbe représentative de la fonction $f$. [/RETENIR] Pour définir une asymptote verticale, il faut calculer ce type de limite. Réciproquement, si une limite infinie en un réel $a$ a été calculée et que l’on demande une interprétation graphique, alors on peut dire que la droite d’équation $x=a$ est asymptote verticale à la courbe représentative de la fonction : celle-ci se rapproche au fur et à mesure de l’asymptote verticale quand $x$ tend vers $a$. Si $\lim\limits_{x \to a} f(x)$ est une valeur réelle, cela ne pose pas de problème. * Ce cas sera étudié dans un cours prochain, sur la continuité.((fleche)) ##Déterminer une limite/3 Après avoir défini la notion de limite de fonctions, nous allons voir que, comme pour les suites, nous pouvons déterminer une limite à partir de règles opératoires sur les limites et de théorèmes. ### Limites des fonctions usuelles/a. Tout d’abord, découvrons, ou redécouvrons, les limites des fonctions usuelles. [RETENIR] * **Fonctions de type $x^n$ :** ((bulle,1)) * pour tout entier naturel $n$ :((fleche)) $$\lim\limits_{x \to +\infty} x^n= +\infty$$ * si $n$ est pair :((fleche)) $$\lim\limits_{x \to -\infty} x^n= +\infty$$ * si $n$ est impair :((fleche)) $$\lim\limits_{x \to -\infty} x^n= -\infty$$ * **Fonction inverse :**((bulle,2)) $$\begin{aligned} \lim\limits_{x \to +\infty} \dfrac 1x &= \lim\limits_{x \to -\infty} \dfrac 1x =0 \\ \\ \lim\limits_{x \to 0 \atop x>0}\dfrac 1x &= +\infty \\ \lim\limits_{x \to 0 \atop x<0}\dfrac 1x &= -\infty \end{aligned}$$ * **Fonction racine carrée :**((bulle,3)) $$\lim\limits_{x \to +\infty} \sqrt x= +\infty$$ * **Fonction exponentielle :**((bulle,4)) $$\begin{aligned} \lim\limits_{x\to -\infty} \text{e}^x &= 0 \\ \\ \lim\limits_{x\to +\infty} \text{e}^x&=+\infty \end{aligned}$$ [/RETENIR] [DEMO] Montrons ces derniers résultats qui sont une nouveauté en terminale, à l’aide des suites géométriques. * Nous cherchons la limite en $+\infty$ de la fonction exponentielle. ((bulle,1)) $$\lim\limits_{x \to +\infty} \text{e}^x = \lim\limits_{n \to +\infty} \text{e}^n$$ La suite $(\text{e}^n)$ est une suite géométrique de raison $\text{e}\approx 2,718 > 1$. * Elle diverge donc vers $+\infty$.((fleche)) D’où : $$\begin{aligned} \lim\limits_{x \to +\infty} \text{e}^x &= \lim\limits_{n \to +\infty} \text{e}^n \\ &= +\infty \end{aligned}$$ * Nous cherchons maintenant la limite en $-\infty$ de la fonction exponentielle. ((bulle,2)) En posant $X = -x$, on a : quand $x$ tend vers $-\infty$, $X$ tend vers $+\infty$. Par ailleurs, on se souvient de la propriété : $\text{e}^{xy}={(e^x)}^y$. On obtient : $$\begin{aligned} \lim\limits_{x \to -\infty} \text{e}^x &= \lim\limits_{x \to +\infty} \text{e}^{-x} \\ &=\lim\limits_{n \to +\infty} \text{e}^{-n} \\ &=\lim\limits_{n \to +\infty} {\big(\text{e}^{-1}\big)}^n \\ &=\lim\limits_{n \to +\infty} \Big(\dfrac 1{\text e}\Big)^n \end{aligned}$$ La suite $\bigg(\Big(\dfrac 1{\text e}\Big)^n\bigg)$ est une suite géométrique de raison $0<\dfrac 1{\text e}\approx 0,37 <1$. * Elle converge donc vers $0$.((fleche)) D’où, enfin : $$\begin{aligned} \lim\limits_{x \to -\infty} \text{e}^x &= \lim\limits_{n \to +\infty} \Big(\dfrac 1{\text e}\Big)^n \\ &=0 \end{aligned}$$ [/DEMO] ###Propriétés des opérations sur les limites/b. Les tableaux suivants donnent les règles d’opération et sont à connaître. * Ces règles sont toutefois aisément retrouvables grâce à la logique et à la règle des signes.((fleche)) * Comme pour les suites, il y a des **formes indéterminées**.((fleche)) [RETENIR] Avec $a$ qui peut être un réel, $-\infty$ ou $+\infty$, $l$ et $l^{\prime}$ deux réels. %C%**Limites de la somme de deux fonctions**%C% [TAB]((auto, c, n, texte-centre)) [LI] | $\lim\limits_{x \to a} f(x)$ ((22,0,0,#52d2fb)) | | $l$ ((13,0,0)) | | $l$ ((13,0,0,#abe6ff)) | | $l$ ((13,0,0)) | | $+\infty$((13,0,0,#abe6ff)) | | $-\infty$ ((13,0,0)) | | $+\infty$((13,0,0,#abe6ff)) | [/LI] [LI] | $\lim\limits_{x \to a} g(x)$ ((0,0,0,#52d2fb)) | | $l^\prime$ | | $+\infty$((0,0,0,#abe6ff)) | | $-\infty$ | | $+\infty$((0,0,0,#abe6ff)) | | $-\infty$ | | $-\infty$((0,0,0,#abe6ff)) | [/LI] [LI] | $\red{\lim\limits_{x \to a} f(x)+g(x)}$ ((0,0,0,#52d2fb)) | | $\red{l+l^\prime}$ | | $\red{+\infty}$((0,0,0,#abe6ff)) | | $\red{-\infty}$ | | $\red{+\infty}$((0,0,0,#abe6ff)) | | $\red{-\infty}$ | | $\red{\text{FI}}$((0,0,0,#abe6ff)) | [/LI] [/TAB] %C%**Limites du produit de deux fonctions**%C% [TAB]((100, c, n, texte-centre)) [LI] | $\lim\limits_{x\to a} f(x)$ ((19,0,0,#52d2fb)) | | $l$ ((9,0,0)) | | $l>0$ ((9,0,0,#abe6ff)) | | $l>0$ ((9,0,0)) | | $l<0$ ((9,0,0,#abe6ff)) | | $l<0$ ((9,0,0)) | | $+\infty$ ((9,0,0,#abe6ff)) | | $+\infty$ ((9,0,0)) | | $-\infty$ ((9,0,0,#abe6ff)) | | $0$ ((9,0,0)) | [/LI] [LI] | $\lim\limits_{x \to a} g(x)$ ((0,0,0,#52d2fb)) | | $l^\prime$ | | $+\infty$((0,0,0,#abe6ff)) | | $-\infty$ | | $+\infty$ ((0,0,0,#abe6ff)) | | $-\infty$ ((0,0,0)) | | $+\infty$ ((0,0,0,#abe6ff)) | | $-\infty$ ((0,0,0)) | | $-\infty$ ((0,0,0,#abe6ff)) | | $\pm\infty$ ((0,0,0)) | [/LI] [LI] | $\red{\lim\limits_{x \to a} f(x)\times g(x)}$ ((0,0,0,#52d2fb)) | | $\red{ l\times l^\prime}$ | | $\red {+\infty}$((0,0,0,#abe6ff)) | | $\red{-\infty}$ | | $\red{-\infty}$ ((0,0,0,#abe6ff)) | | $\red{+\infty}$ ((0,0,0)) | | $\red{+\infty}$ ((0,0,0,#abe6ff)) | | $\red{-\infty}$ ((0,0,0)) | | $\red{+\infty}$ ((0,0,0,#abe6ff)) | | $\red{\text{FI}}$ ((0,0,0)) | [/LI] [/TAB] %C%**Limites du quotient de deux fonctions**%C% [TAB]((100, c, n, texte-centre)) [LI] | $\lim\limits_{x\to a} f(x)$ ((19,0,0,#52d2fb)) | | $l$ ((9,0,0)) | | $l$ ((9,0,0,#abe6ff)) | | $+\infty$ ((9,0,0)) | | $+\infty$ ((9,0,0,#abe6ff)) | | $-\infty$ ((9,0,0)) | | $-\infty$ ((9,0,0,#abe6ff)) | | $\pm\infty$ ((9,0,0)) | | $l$ ((9,0,0,#abe6ff)) | | $0$ ((9,0,0)) | [/LI] [LI] | $\lim\limits_{x \to a} g(x)$ ((0,0,0,#52d2fb)) | | $l^\prime\neq0$ | | $\pm\infty$((0,0,0,#abe6ff)) | | $l^\prime>0$ | | $l^\prime<0$ ((0,0,0,#abe6ff)) | | $l^\prime>0$ ((0,0,0)) | | $l^\prime<0$ ((0,0,0,#abe6ff)) | | $\pm\infty$ ((0,0,0)) | | $0^+_-$ ((0,0,0,#abe6ff)) | | $0$ ((0,0,0)) | [/LI] [LI] | $\red{\lim\limits_{x \to a} \dfrac {f(x)}{g(x)}}$ ((0,0,0,#52d2fb)) | | $\red{ \dfrac l {l^\prime}}$ | | $\red 0$((0,0,0,#abe6ff)) | | $\red{+\infty}$ | | $\red{-\infty}$ ((0,0,0,#abe6ff)) | | $\red{-\infty}$ ((0,0,0)) | | $\red{+\infty}$ ((0,0,0,#abe6ff)) | | $\red{\text{FI}}$ ((0,0,0)) | | $\red{\pm\infty}$ ((0,0,0,#abe6ff)) | | $\red{\text{FI}}$ ((0,0,0)) | [/LI] [/TAB] [/RETENIR] * Il existe donc quatre formes indéterminées :((fleche)) * $(+\infty) + (-\infty )$ ;((liste3)) * $0\times \infty$ ; ((liste3)) * $\dfrac {\infty}{\infty}$ ; ((liste3)) * $\dfrac {0}{0}$.((liste3)) [AST] Pour lever une indétermination, il suffit très souvent de factoriser l’expression de la fonction. * C’est notamment le cas pour les fonctions polynômiales ou rationnelles, où on factorise par le terme de plus haut degré.((fleche)) [/AST] [EX] Déterminons la limite en $+\infty$ de la fonction $f$, définie sur $\mathbb{R}$ par $f(x)= x^3 - 2x+5$. * Commençons par chercher la limite par somme :((bulle,1)) $$\begin{aligned} \lim\limits_{x \to +\infty} x^3 = +\infty \\ \lim\limits_{x \to +\infty} -2x+5 =-\infty \end{aligned}$$ * Une forme indéterminée apparaît, du type $(+\infty) + (-\infty )$.((fleche)) * Pour lever cette indétermination, transformons l’expression de la fonction en la factorisant par $x^3$ (nous nous intéressons à $x$ grand, nous le considérons comme non nul) : ((fleche)) $$\begin{aligned} f(x)&= x^3 - 2x+5 \\ &= x^3\left(1- \dfrac 2{x^2}+\dfrac 5{x^3}\right) \end{aligned}$$ * Calculons la limite de cette nouvelle expression : ((bulle,2)) $$\begin{aligned} \textcolor{#A9A9A9}{\text{Nous avons\ : }}&\lim\limits_{x \to +\infty} x^3 = +\infty \\ \textcolor{#A9A9A9}{\text{et\ : }}&\lim\limits_{x \to +\infty} \dfrac 2{x^2} = \lim\limits_{x \to +\infty} \dfrac 5{x^3} =0 \\ \textcolor{#A9A9A9}{\text{Par somme\ : }}&\lim\limits_{x \to +\infty} 1- \dfrac 2{x^2}+\dfrac 5{x^3} = 1 \\ \\ \textcolor{#A9A9A9}{\text{Enfin, par produit\ : }}&\lim\limits_{x \to +\infty} x^3\left(1- \dfrac 2{x^2}+\dfrac 5{x^3}\right)= +\infty \end{aligned}$$ * $\lim\limits_\{x \to +\infty\} f(x)= +\infty$ ((bulle, C)) [/EX] ###Limite d’une fonction composée/c. [PROP] Soit $a$, $l$ et $L$ trois nombres réels, et $f$ et $g$ deux fonctions telles que : $g\,:\,I \to J$ et $f\,:\,J \to \mathbb{R}$. * Si $\lim\limits_\{x \to a} g(x)= l$ et $\lim\limits_\{x \to l} f(x) = L$, alors :((fleche)) $$\lim\limits_\{x \to a} f\big(g(x)\big) = \lim\limits_\{x \to a} (f\circ g)(x) = L$$ [/PROP] La propriété est aussi valable lorsque $a$, $l$ ou $L$ sont $-\infty$ ou $+\infty$. [EX] Nous cherchons à déterminer $\lim\limits_\{x \to +\infty\} { {\mathrm{e}}^{-x^2}}$. * Déterminons d’abord la limite de $-x^2$ : $$\lim\limits_\{x \to +\infty\} { -x^2} = -\infty$$ * Soit $g(x)=-x^2$ et $f(x)=e^x$. * Nous savons donc : $$\begin{aligned} \lim\limits_{x \to \blue{+\infty}} g(x) &= \red{-\infty} \\ \lim\limits_{x \to \red{-\infty}} f(x) &= \green 0 \end{aligned}$$ * Et donc, selon la propriété vue ci-dessus :((fleche)) $$\begin{aligned} \lim\limits_{x \to +\infty} \text e^{-x^2} &= \lim\limits_{x \to \blue{+\infty}} f\big(g(x)\big) \\ &= \lim\limits_{x \to \red{-\infty}} f(x) \\ &= \green 0 \end{aligned}$$ [/EX] ###Limites et comparaison/d. Nous connaissons, pour les suites, les **théorèmes de comparaison** et **des gendarmes**. * Ces théorèmes peuvent se généraliser aux fonctions, permettant de calculer la limite éventuelle d’une fonction en une valeur finie ou infinie.((fleche)) [THEO] **Théorème de comparaison :** * Soit $f$ et $g$ deux fonctions telles que :((bulle,1)) * $f(x)\geq g(x)$ sur un intervalle $]a\ ;\,+\infty[$ ($a$ un réel) * $\lim\limits_{x \to +\infty} g(x)= +\infty$ * alors : $\lim\limits_{x \to +\infty} f(x)= +\infty$ ((fleche)) * Soit $f$ et $g$ deux fonctions telles que :((bulle,2)) * $f(x)\leq g(x)$ sur un intervalle $]a\ ;\,+\infty[$ ($a$ un réel) ; * $\lim\limits_{x \to +\infty} g( x)= -\infty$ * alors : $\lim\limits_{x \to +\infty} f( x)= -\infty$ ((fleche)) Ces deux propriétés s’étendent aux limites en $-\infty$, en changeant l’intervalle $]a\ ;\,+\infty[$ en $]-\infty\ ;\,a[$, ou à celles en une valeur finie, avec cette fois un intervalle ouvert contenant $a$. [/THEO] [THEO] **Théorème des gendarmes :** Soit $f$, $g$ et $h$ trois fonctions et $l$ un nombre réel tels que : * $f(x)\leq g(x) \leq h(x)$ sur un intervalle $[a\ ;\,+\infty[$ ($a$ un réel) * $\lim\limits_{x \to +\infty} f(x)= l$ * $\lim\limits_{x \to +\infty} h( x)= l$ * alors : $\lim\limits_{x \to +\infty} g( x)=l$((fleche)) Ce théorème s’étend aux limites en $-\infty$, en changeant l’intervalle $]a\ ;\,+\infty[$ en $]-\infty\ ;\,a[$, ou à celles en une valeur finie, avec cette fois un intervalle ouvert contenant $a$. [/THEO] [C] **Conclusion :** Dans ce cours, nous avons défini les limites de fonctions à l’infini et en un point, ainsi que les conditions d’existence des asymptotes horizontales et verticales. Nous avons ensuite vu les règles opératoires sur les limites de fonctions et les théorèmes qui permettent de déterminer concrètement une limite. Le prochain cours nous permettra d’appliquer la notion de limite pour pouvoir définir la notion de continuité d’une fonction. [/C]