Limites — Cours Complet
1. Définition Formelle de Limite (ε-δ simplifié)
La limite de f(x) quand x tend vers a est égale à L, notée :
si f(x) peut être rendue arbitrairement proche de L en prenant x suffisamment proche de a (sans nécessairement atteindre a).
En pratique au lycée, on utilise la définition intuitive et les techniques algébriques ci-dessous.
On distingue la limite à gauche \lim_{x \to a^-} f(x) et la limite à droite \lim_{x \to a^+} f(x).
La limite en a existe si et seulement si les deux limites latérales existent et sont égales :
Montrer que \lim_{x \to 2} (3x - 1) = 5.
On doit trouver \delta tel que |x-2| < \delta \Rightarrow |(3x-1)-5| < \varepsilon.
Or |(3x-1)-5| = |3x-6| = 3|x-2|. Il suffit de choisir \delta = \varepsilon/3.
2. Limites Finies — Calcul Direct
Si \lim_{x \to a} f(x) = L et \lim_{x \to a} g(x) = M, alors :
La substitution directe fonctionne pour toute fonction continue :
\lim_{x \to 3} (x^2 + 2x - 1) = 3^2 + 2(3) - 1 = 9 + 6 - 1 = 14
\lim_{x \to 2} \dfrac{x^2 - 1}{x + 3} = \dfrac{4 - 1}{2 + 3} = \dfrac{3}{5}
3. Limites en l'Infini
\lim_{x \to +\infty} f(x) = L : f(x) approche L quand x devient arbitrairement grand.
\lim_{x \to -\infty} f(x) = L : même idée pour x \to -\infty.
| Fonction | x \to +\infty | x \to -\infty |
|---|---|---|
| x^n\;(n \geq 1) | +\infty | -\infty (n impair), +\infty (n pair) |
| e^x | +\infty | 0 |
| \ln x | +\infty | non défini |
| 1/x | 0^+ | 0^- |
| \sin x,\;\cos x | pas de limite | pas de limite |
Comparaison des croissances
À l'infini, les fonctions croissent dans l'ordre suivant :
Cela signifie que \dfrac{\ln x}{x^n} \to 0 et \dfrac{x^n}{e^x} \to 0 quand x \to +\infty.
Pour un polynôme, seul le terme dominant compte :
\lim_{x \to +\infty} (3x^4 - 7x^2 + x - 5) = \lim_{x \to +\infty} 3x^4 = +\infty
Pour une fraction rationnelle P(x)/Q(x), on compare les degrés :
- deg(P) < deg(Q) → limite = 0
- deg(P) = deg(Q) → limite = rapport des coeff. dominants
- deg(P) > deg(Q) → limite = \pm\infty
4. Formes Indéterminées et Techniques de Levée
Ces formes requièrent une transformation algébrique avant d'évaluer la limite.
Technique 1 — Factorisation
Si la substitution donne 0/0, on factorise numérateur et dénominateur pour éliminer le facteur commun.
Technique 2 — Conjugaison (rationalisation)
Pour éliminer une racine carrée, multiplier par (\sqrt{A} \pm \sqrt{B}).
Technique 3 — Division par x^n
Pour les fractions rationnelles à l'infini, diviser numérateur et dénominateur par la puissance maximale de x.
Technique 4 — Forme \infty - \infty
Technique 5 — Forme 0 \times \infty
On réécrit f \cdot g comme f / (1/g) pour obtenir une forme 0/0 ou \infty/\infty.
5. Règle de L'Hôpital
Si \lim_{x \to a} f(x) = 0 et \lim_{x \to a} g(x) = 0 (ou les deux \pm\infty), et si g'(x) \neq 0 au voisinage de a, alors :
à condition que cette dernière limite existe (finie ou infinie).
6. Continuité
Une fonction f est continue en a si :
Trois conditions doivent être satisfaites : f(a) est définie, la limite existe, et les deux sont égales.
Types de discontinuités
| Type | Description | Exemple |
|---|---|---|
| Évitable | La limite existe mais ≠ f(a), ou f non définie | \frac{x^2-1}{x-1} en x=1 |
| Saut | Limites latérales existent mais sont ≠ | |x|/x en x=0 |
| Essentielle | Une limite latérale est infinie ou n'existe pas | 1/x en x=0 |
Théorème des Valeurs Intermédiaires (TVI)
Si f est continue sur [a, b] et si f(a) et f(b) sont de signes opposés, alors il existe au moins un c \in (a,b) tel que :
Plus généralement, f prend toute valeur entre f(a) et f(b).
Montrons que f(x) = x^3 - 2x - 5 a une racine dans [2, 3].
f(2) = 8 - 4 - 5 = -1 < 0
f(3) = 27 - 6 - 5 = 16 > 0
f est continue et change de signe : par le TVI, \exists\, c \in (2,3) tel que f(c) = 0.
7. Asymptotes
Asymptotes Verticales
La droite x = a est une asymptote verticale (AV) si :
Se produit généralement quand le dénominateur s'annule et le numérateur ne s'annule pas.
Pour f(x) = \dfrac{1}{x-2} : \lim_{x \to 2^+} f(x) = +\infty, donc x = 2 est une AV.
Asymptotes Horizontales
La droite y = L est une asymptote horizontale (AH) si :
Pour f(x) = \dfrac{2x+1}{x-3} :
\lim_{x \to \pm\infty} \dfrac{2x+1}{x-3} = \lim_{x \to \pm\infty} \dfrac{2 + 1/x}{1 - 3/x} = 2
Donc y = 2 est une AH (en +\infty et en -\infty).
Asymptotes Obliques
La droite y = mx + p est une asymptote oblique (AO) si :
On trouve m et p par :
Pour f(x) = \dfrac{x^2 + 1}{x} :
m = \lim_{x \to \infty} \dfrac{x^2+1}{x^2} = 1
p = \lim_{x \to \infty} \left[\dfrac{x^2+1}{x} - x\right] = \lim_{x \to \infty} \dfrac{1}{x} = 0
Donc y = x est une AO. (En effet, f(x) = x + \dfrac{1}{x}.)
8. Théorème des Gendarmes (Sandwich Theorem)
Si pour tout x au voisinage de a :
et si \lim_{x \to a} g(x) = \lim_{x \to a} h(x) = L, alors :
Ce théorème est particulièrement utile quand f(x) contient des fonctions oscillantes comme \sin ou \cos.
Calculer \lim_{x \to 0} x^2 \sin\!\left(\dfrac{1}{x}\right).
On sait que -1 \leq \sin(1/x) \leq 1, donc :
Comme \lim_{x \to 0} (-x^2) = 0 = \lim_{x \to 0} x^2, par les gendarmes :
Calculer \lim_{x \to +\infty} \dfrac{\sin x}{x}.
On a -1 \leq \sin x \leq 1, donc \dfrac{-1}{x} \leq \dfrac{\sin x}{x} \leq \dfrac{1}{x}.
Comme \lim_{x \to +\infty} \dfrac{\pm 1}{x} = 0, on conclut \lim_{x \to +\infty} \dfrac{\sin x}{x} = 0.
9. Limites Remarquables
Démonstration de \lim_{x \to 0} \frac{\sin x}{x} = 1
Pour 0 < x < \pi/2, on peut montrer géométriquement que :
Comme \lim_{x \to 0} \cos x = 1, le théorème des gendarmes donne \lim_{x \to 0^+} \frac{\sin x}{x} = 1. La parité de \sin x / x complète la preuve.
Généralisation
10. Formulaire Récapitulatif
| Forme | Technique |
|---|---|
| 0/0 (polynômes) | Factoriser et simplifier |
| 0/0 (racines) | Multiplier par le conjugué |
| \infty/\infty | Diviser par x^n le plus grand |
| \infty - \infty | Mettre au même dénominateur ou conjugué |
| 0 \times \infty | Réécrire en fraction 0/0 ou \infty/\infty |
| 0/0 ou \infty/\infty | Règle de L'Hôpital |
- L'Hôpital : \lim \frac{f}{g} = \lim \frac{f'}{g'} (formes 0/0 ou \infty/\infty)
- Gendarmes : g \leq f \leq h et \lim g = \lim h = L \Rightarrow \lim f = L
- TVI : f continue sur [a,b], f(a) \cdot f(b) < 0 \Rightarrow \exists\, c : f(c) = 0