# Étude de fonctions/Limites et asymptotes
## Approche

* Soit $f:x\mapsto 2x$.
Que se passe-t-il lorsque $x$ devient de plus en plus grand, autrement dit, lorsque $x$ tend vers l'infini ? $f(x)$ tend également vers l'infini.
On note : $\lim _{x\to {+\infty }}f(x)=+\infty$.
On énonce : « la limite de $f(x)$ quand $x$ tend vers ${+\infty }$ est égale à ${+\infty }$ ».
De même, nous pouvons écrire : $\lim _{x\to -\infty }f(x)=-\infty$.
Intéressons-nous maintenant à une valeur précise de $x$. Par exemple, pour $x=4$, $f(x)=8$. Mais alors si $x$ tend vers 4, $f(x)$ va s'approcher de plus en plus de $f(4)=8$ : $\lim _{x\to 4}f(x)=8$.
* Soit $g:x\mapsto {\frac {1}{x}}$.
Si $a$ est un réel quelconque, on a bien : $\lim _{x\to a}g(x)={\frac {1}{a}}$.
Lorsque $x$ devient très grand, nous pouvons concevoir que ${\frac {1}{x}}$ devient très petit, se rapprochant de 0 : $\lim _{x\to {+\infty }}g(x)=0$.
De même, quand $x$ prend des valeurs négatives dont la valeur absolue est très grande, $\lim _{x\to {-\infty }}g(x)=0$.
* Soit $h:x\mapsto 3x^{2}-4x+1$. Essayons de calculer sa limite aux infinis :
    $h(x)=3x^{2}-4x+1=3x^{2}\left(1-{\frac {4}{3x}}+{\frac {1}{3x^{2}}}\right)$
    or nous savons que :
*   * $\lim _{x\to +\infty }1=\lim _{x\to -\infty }1=1$
*   * $\lim _{x\to +\infty }-{\frac {4}{3x}}=\lim _{x\to -\infty }-{\frac {4}{3x}}=0$
*   * $\lim _{x\to +\infty }{\frac {1}{3x^{2}}}=\lim _{x\to -\infty }{\frac {1}{3x^{2}}}=0$
    donc $\lim _{x\to +\infty }\left(1-{\frac {4}{3x}}+{\frac {1}{3x^{2}}}\right)=1$ et finalement $\lim _{x\to +\infty }{h(x)}=+\infty$.
* Plus généralement, calculons la limite d'une fonction polynôme :
    Soit $h:x\mapsto \sum _{i=0}^{n}a_{i}x^{i}$.
    $h(x)=\sum _{i=0}^{n}a_{i}x^{i}=a_{n}x^{n}\left(\sum _{i=0}^{n}{\frac {a_{i}x^{i}}{a_{n}x^{n}}}\right)=a_{n}x^{n}\left(1+\sum _{j=0}^{n-1}{\frac {a_{j}x^{j}}{a_{n}x^{n}}}\right)=a_{n}x^{n}\left(1+\sum _{j=0}^{n-1}{\frac {a_{j}}{a_{n}x^{n-j}}}\right)$.
    Or :
*   * lorsque $0\leq j<n$$\lim _{x\to \pm \infty }\left({\frac {a_{j}}{a_{n}x^{n-j}}}\right)=0$
*   * $\lim _{x\to \pm \infty }1=1$
    d'où : $\lim _{x\to \pm \infty }\left(1+\sum _{j=0}^{n}{\frac {a_{j}}{a_{n}x^{n-j}}}\right)=1$
    et : $\lim _{x\to \pm \infty }{h(x)}=\lim _{x\to \pm \infty }a_{n}x^{n}$.
Nous retiendrons qu'une fonction polynôme se comporte, aux infinis, comme son terme de plus haut degré.

## Définition
### Limite finie en l'infini

* Soit $f$ une fonction définie d'un nombre réel jusqu'à l'infini. Soit $l$ un nombre réel. On dit que $f$ tend vers $l$ quand $x$ tend vers $+\infty$ si et seulement si tout intervalle ouvert contenant $l$ contient aussi toutes les valeurs de $f(x)$ pour $x$ assez grand. On écrit :
$\lim _{x\to +\infty }f(x)=l$
* On dit que $f$ tend vers $l$ quand $x$ tend vers $-\infty$ si et seulement si tout intervalle ouvert contenant $l$ contient aussi toutes les valeurs de $f(x)$ pour $-x$ assez grand (ou $x$ assez petit, $x$ pouvant être négatif). On écrit :
$\lim _{x\to -\infty }f(x)=l$

#### Interprétation graphique

$C_{f}$ admet une asymptote horizontale d'équation $y=l$ au voisinage de $\pm \infty$
L'asymptote d'une courbe représentative d'une fonction dans un plan est une droite qui partage une limite commune avec la fonction étudiée. L'équation de cette asymptote dépend de la situation de la limite commune (en l'infini ou en un point...)

### Limite infinie en l'infini

* On dit que la fonction $f$ tend vers $+\infty$ quand $x$ tend vers $+\infty$ si et seulement si tout intervalle $]\lambda ;+\infty [$ avec $\lambda$ un nombre réel contient toutes les valeurs de $f(x)$ pour $x$ suffisamment grand. On écrit :
$\lim _{x\to +\infty }f(x)=+\infty$
* On dit que la fonction $f$ tend vers $-\infty$ quand $x$ tend vers $+\infty$ si et seulement si tout intervalle $]-\infty ;\lambda [$ avec $\lambda$ un nombre réel contient toutes les valeurs de $f(x)$ pour $x$ suffisamment grand. On écrit :
$\lim _{x\to +\infty }f(x)=-\infty$
* On écrit :
$\lim _{x\to -\infty }f(x)=+\infty$ ou $\lim _{-\infty }f=+\infty$
si et seulement si tout intervalle $]\lambda ;+\infty [$ avec $\lambda$ un nombre réel contient toutes les valeurs de $f(x)$ pour $x$ suffisamment petit.
* On écrit :
$\lim _{x\to -\infty }f(x)=-\infty$ ou $\lim _{-\infty }f=-\infty$
si et seulement si tout intervalle $]-\infty ;\lambda [$ avec $\lambda$ un nombre réel contient toutes les valeurs de $f(x)$ pour $x$ suffisamment petit.

### Limite finie ou infinie en un réel

* Soit $f$ une fonction définie sur un intervalle ouvert $I$ contenant un nombre réel $a$.
On dit que $f$ tend vers $l$ quand $x$ tend vers $a$ si et seulement si tout intervalle ouvert contenant $l$ contient aussi toutes les valeurs de $f(x)$ pour tout réel $x$ de $I$ assez proche de $a$. On écrit :
$\lim _{x\to a}f(x)=f(a)$ $\lim _{x\to a}f(x)=l$
* On dit que $f$ tend vers $+\infty$ quand $x$ tend vers $a$ si et seulement si tout intervalle $]\lambda ;+\infty [$ avec $\lambda$ un nombre réel contient toutes les valeurs de $f(x)$ pour $x$ suffisamment proche de $a$. On écrit :
$\lim _{x\to a}f(x)=+\infty$
* On dit que $f$ tend vers $-\infty$ quand $x$ tend vers $a$ si et seulement si tout intervalle $]-\infty ;\lambda [$ avec $\lambda$ un nombre réel contient toutes les valeurs de $f(x)$ pour $x$ suffisamment proche de $a$. On écrit :
$\lim _{x\to a}f(x)=-\infty$

#### Interprétation graphique

Si $\lim _{a}f=+\infty$ (ou $-\infty$) alors $C_{f}$ admet une asymptote verticale d'équation $x=a$ au voisinage de $\pm \infty$.

#### Limite aux infinis de fonctions de référence
##### Exemple 1

* $g:x\mapsto ax+b;(a,b)\in \mathbb {R} ^{2}$
| Si $a>0$ | Si $a<0$ |
| $\lim _{x\to +\infty }g(x)=+\infty$ | $\lim _{x\to +\infty }g(x)=-\infty$ |
| $\lim _{x\to -\infty }g(x)=-\infty$ | $\lim _{x\to -\infty }g(x)=+\infty$ |

##### Exemple 2

* $h:x\mapsto x^{2n};n\in \mathbb {N} ^{*}$
$\lim _{x\to \pm \infty }h(x)=+\infty$

##### Exemple 3

* $k:x\mapsto x^{2n+1};n\in \mathbb {N} ^{*}$
$\lim _{x\to +\infty }k(x)=+\infty$ $\lim _{x\to -\infty }k(x)=-\infty$

##### Exemple 4

* $l:x\mapsto {\frac {1}{ax+b}}$
avec $(a,b)\in \mathbb {R} ^{2},ax+b\neq 0$ $\lim _{x\to \pm \infty }l(x)=0$

##### Exemple 5

* $m:x\mapsto \sum _{i=0}^{n}a_{i}x^{i}$
$\lim _{x\to \pm \infty }{m(x)}=\lim _{x\to \pm \infty }a_{n}x^{n}$

## D'autres outils pour les limites
### Théorèmes
#### Théorème de comparaison

Soient $f$ et $g$ deux fonctions définies sur un intervalle du type $]\lambda ;+\infty [$ (ou $]-\infty ;\lambda [$) avec $\lambda$ un nombre réel tel que pour tout $x$ appartenant à cet intervalle, $f(x)\leq g(x)$.
Si $\lim _{+\infty (-\infty )}f=+\infty$ alors $\lim _{+\infty (-\infty )}g=+\infty$

#### Théorème de l'encadrement (dit "théorème des gendarmes")

Soient $f$, $g$ et $h$ trois fonctions définies sur un intervalle du type $]\lambda ;+\infty [$ (ou $]-\infty ;\lambda [$) avec $\lambda$ un nombre réel tel que pour tout $x$ appartenant à cet intervalle, $f(x)\leq g(x)\leq h(x)$.
Si $\lim _{+\infty (-\infty )}f=\lim _{+\infty (-\infty )}h=a$ avec $a$ un nombre réel ou $+\infty$ ou $-\infty$ alors $\lim _{+\infty (-\infty )}g=a$

### Asymptotes

La courbe représentative de la fonction inverse, lorsque $x$ est de plus en plus grand ou de plus en plus petit, se rapproche de l’axe des abscisses mais sans la toucher. Cette dernière est en fait une asymptote horizontale de la fonction inverse.
De même, la courbe se rapproche également de l’axe des ordonnées, sans jamais la croiser, lorsque $x$ tend vers 0. Nous avons là une asymptote verticale de la fonction.

#### Asymptote horizontale et verticale

Dire que la courbe représentative d'une fonction $f$ se rapproche d'une droite horizontale d'équation $y=a$ quand $x$ devient très grand (ou très petit) signifie que $f(x)$ tend vers la valeur $a$ quand $x$ tend vers l'infini.
Ainsi, la droite $\Delta :y=a$ est asymptote horizontale de $f$ si et seulement si $\lim _{x\to \pm \infty }f(x)=a$.
Quand la courbe représentative de $f$ rapproche d'une droite verticale d'équation $\Delta _{2}:x=b$, c’est $f(x)$ qui tend vers l'infini cette fois, lorsque x se rapproche de cette valeur $b$.
On a : $\lim _{x\to b}f(x)=\pm \infty$
Chercher une asymptote horizontale d'une fonction revient à calculer la limite en $\pm \infty$ de cette fonction.
Lorsqu’il y a une asymptote verticale en $x=b$, la courbe de la fonction ne touche pas la droite, et donc $f(b)$ n’est pas définie ; il s'agit d'une borne du domaine de définition de la fonction.
Chercher une asymptote verticale d'une fonction revient alors à calculer les limites aux bornes du domaine de définition de cette fonction.

#### Asymptote oblique

Soit $f$ une fonction définie sur un intervalle $I=]\lambda ;+\infty [$ (ou $]-\infty ;\lambda [$) avec $\lambda$ un nombre réel telle que l’on ait :
$\lim _{+\infty (-\infty )}[f(x)-(ax+b)]=0$.
Alors la droite d'équation $y=ax+b$ est une asymptote oblique à la courbe représentative de $f$ au voisinage de $+\infty$ (ou $-\infty$).

### Limite de la composée de deux fonctions

Les lettres $a$, $b$ et $c$ désignent soit des nombres réels, soit $+\infty$ soit $-\infty$. Soit la fonction composée $g\circ f$ définie sur un intervalle $I$ contenant $a$, ou dont $a$ est une borne.
Si $\lim _{x\to a}f(x)=b$ et si $\lim _{y\to b}g(y)=c$ alors $\lim _{x\to a}(g\circ f)(x)=c$
| Sommaire | Continuité |