OPTION · À TON RYTHME
Apprendre étape par étape
Lis les passages ouverts, puis essaie les checkpoints. En cas d’erreur, une explication t’aide à reprendre ; tes réponses déjà réussies sont conservées. Une réussite avec aide sera à confirmer plus tard.
Avant de commencer5 questions pour vérifier tes bases
Pourquoi étudier le logarithme ?
Le problème fondamental
Tu sais résoudre \(x^2=5\) (racine carrée) et \(2x+3=7\) (équation affine). Mais comment résoudre \(\e^x=5\) ? Ou \(2^x=1000\) ? Il te faut une opération qui « défait » l'exponentielle, comme la racine carrée permet de retrouver un nombre positif à partir de son carré. Cette opération, c'est le logarithme népérien.
Dans un modèle de décroissance : si \(N(t)=N_0\e^{-\lambda t}\) avec \(N_0>0\), \(\lambda>0\) et \(t\geqslant0\), une proportion \(r=N(t)/N_0\in]0,1]\) conduit à \(t=-\ln r/\lambda\). Le logarithme transforme une proportion mesurée en un temps prévu par le modèle.
Dans une recherche par divisions successives : après \(p\) divisions par deux, une largeur initiale de 1 devient \(2^{-p}\). Trouver un nombre d'étapes suffisant revient à résoudre une inégalité dont l'inconnue est en exposant. Le compte exact des comparaisons d'un programme dépend de son implémentation ; ce modèle compte les divisions de largeur.
Dans une échelle logarithmique : multiplier une valeur par dix ajoute une unité à son logarithme décimal. On peut ainsi représenter des valeurs dont les rapports sont grands, tout en indiquant clairement l'échelle utilisée.
L'idée directrice
L'idée avant la formule
La question fondatrice
Le logarithme transforme les produits en sommes
Graphiquement : le miroir de l'exponentielle
Le cours formel
Définition du logarithme népérien
Même unité sur les deux axes : le segment pointillé entre les deux points est perpendiculaire à \(y=x\), qui le coupe en son milieu. Le dessin montre l'échange des coordonnées ; il ne prouve pas à lui seul les limites.
Propriétés algébriques
Signe du logarithme
Limites de référence
Croissances comparées
Dérivée de \(\ln u\)
Pour \(G(x)=\ln(4-x^2)\), observe séparément les intersections avec l'axe horizontal et le point où la pente s'annule. Les coordonnées exactes de \(A\), \(B\) et \(S\) restent à calculer. Les droites en pointillés sont des asymptotes aux bords exclus du domaine.
Équations et inéquations avec \(\ln\)
Logarithme décimal et changement de base
Échelle logarithmique : des distances égales correspondent ici à des facteurs dix, pas à des écarts de valeur égaux.
Algorithme de Briggs : se rapprocher de 1 par des racines
| \(x=2\) | \(y_n\) approché | \(L_n\) approché | \(U_n\) approché |
|---|---|---|---|
| \(n=0\) | 2 | 0,5 | 1 |
| \(n=1\) | 1,414214 | 0,585786 | 0,828427 |
| \(n=2\) | 1,189207 | 0,636414 | 0,756828 |
| \(n=4\) | 1,044274 | 0,678348 | 0,708381 |
Les colonnes décimales sont arrondies ; les formules \(L_n,U_n\) donnent les véritables bornes exactes.
from math import sqrt, isfinite
def briggs(x, n):
if not isfinite(x) or x <= 0:
raise ValueError("x doit etre positif et fini")
if type(n) is not int or not 0 <= n <= 30:
raise ValueError("n entier entre 0 et 30")
if x == 1:
return 0.0, 0.0, 0.0
y = x
facteur = 1.0
for _ in range(n):
suivant = sqrt(y)
if suivant == 1.0 or suivant == y:
raise ArithmeticError("arrondi trop important")
y = suivant
facteur = 2 * facteur
bas = facteur * ((y - 1) / y)
haut = facteur * (y - 1)
if not isfinite(bas) or not isfinite(haut):
raise ArithmeticError("depassement numerique")
milieu = bas / 2 + haut / 2
return milieu, bas, haut
Ce code suit un nombre d'itérations fixé et expose les deux valeurs calculées. En machine, les racines et les opérations sont arrondies : les nombres retournés ne constituent pas un encadrement certifié. Le contrôle d'arrêt évite certaines stagnations, sans borner toutes les erreurs d'arrondi. Augmenter \(n\) sans limite peut dégrader le résultat, car on soustrait deux nombres proches puis on multiplie par \(2^n\). Pour des exemples modérés, compare le résultat à la fonction logarithme de la calculatrice et au tableau ; le raisonnement d'encadrement porte sur les formules exactes.
Boîte à outils : Réflexes pour le bac
Exercices
Exercice 1 ★☆☆ : Calcul avec les propriétés
Simplifier sans calculatrice :
- \(\ln\e^5-2\ln\e\)
- \(\ln 4+\ln 25\)
- \(\ln\frac{\e^3}{\sqrt{\e}}\)
- \(\e^{2\ln 3}\)
- \(\ln\sqrt[3]{\e^6}\)
- \(3\ln 2-\ln 4+\ln 50\)
Exercice 2 ★☆☆ : Domaine de définition
Déterminer l'ensemble de définition de :
- \(f(x)=\ln(3-x)\)
- \(g(x)=\ln(x^2-4)\)
- \(h(x)=\ln(\ln x)\)
- \(k(x)=\ln\!\bigl(\frac{x+1}{x-2}\bigr)\)
Exercice 3 ★☆☆ : Équations
Résoudre dans \(\R\) :
- \(\ln(2x-1)=0\)
- \(\ln x+\ln(x-2)=\ln 3\)
- \(\e^{2x}-5\e^x+6=0\)
- \(2^x=7\)
Exercice 4 ★☆☆ : Inéquations
Résoudre :
- \(\ln(x-1)>0\)
- \(\ln(3x+2)\leqslant 1\)
- \(\ln x+\ln(x+2)\geqslant\ln 8\)
Exercice 5 ★★☆ : Dérivées
Calculer la dérivée et préciser le domaine :
- \(f(x)=\ln(3x^2-1)\)
- \(g(x)=x\ln x-x\)
- \(h(x)=\ln\!\bigl(\frac{x+1}{x-1}\bigr)\)
- \(k(x)=(\ln x)^2\)
Exercice 6 ★★☆ : Limites et croissances comparées
Calculer :
- \(\displaystyle\lim_{x\to+\infty}\frac{\ln x}{\sqrt{x}}\)
- \(\displaystyle\lim_{x\to 0^+}x^2\ln x\)
- \(\displaystyle\lim_{x\to+\infty}(\ln x)^2-x\)
- \(\displaystyle\lim_{x\to+\infty}\frac{\ln(x^2+1)}{x}\)
- \(\displaystyle\lim_{x\to 1}\frac{\ln x}{x-1}\)
Exercice 7 ★★☆ : Étude de fonction
\(f(x)=\frac{\ln x}{x}\) sur \(]0,+\infty[\).
Calculer les limites en \(0^+\) et en \(+\infty\).
Calculer \(f'(x)\) et dresser le tableau de variations.
En déduire que l'équation \(\frac{\ln x}{x}=\frac{1}{3}\) admet exactement deux solutions.
Exercice 8 ★★☆ : Étude de fonction avec paramètre
\(f(x)=x-\ln x\) sur \(]0,+\infty[\).
Limites, dérivée, tableau de variations.
Montrer que \(f(x)\geqslant 1\) pour tout \(x>0\) (inégalité \(\ln x\leqslant x-1\)).
En déduire que pour tout \(x>0\) : \(\ln x\leqslant x-1\).
Exercice 9 ★★☆ : Primitive et intégrale
Calculer \(\displaystyle\int_1^\e\frac{1}{x}\,\mathrm{d}x\).
Calculer \(\displaystyle\int_1^2\frac{2x}{x^2+1}\,\mathrm{d}x\).
Déterminer une primitive de \(f(x)=\frac{x+1}{x^2+2x+3}\).
Calculer \(\displaystyle\int_0^1\frac{\e^x}{\e^x+1}\,\mathrm{d}x\).
Exercice 10 ★★☆ : Suite et logarithme
\(u_n=\ln\!\bigl(1+\frac{1}{n}\bigr)\) pour \(n\geqslant 1\).
Montrer que \(u_n>0\) et que \((u_n)\) est décroissante.
Calculer \(S_n=\sum_{k=1}^n u_k\) (somme télescopique).
Déterminer \(\lim S_n\).
Exercice 11 ★★★ : Démonstrations
Démontrer que \(\ln(ab)=\ln a+\ln b\).
Démontrer que \(\displaystyle\lim_{x\to+\infty}\frac{\ln x}{x}=0\).
Démontrer que pour tout \(x>0\) : \(\ln x\leqslant x-1\) (avec égalité ssi \(x=1\)).
Exercice 12 ★★★ : Fonction \(x^x\)
Soit
pour \(x>0\).
Déterminer \(\displaystyle\lim_{x\to 0^+}f(x)\).
Calculer \(f'(x)\).
Étudier les variations de \(f\) et dresser son tableau.
Déterminer le minimum de \(f\).
Approfondissement : logarithme, intégrales et série harmonique
On définit pour \(x>0\) : \(L(x)=\displaystyle\int_1^x\frac{1}{t}\,\mathrm{d}t\).
Partie A : \(L\) coïncide avec \(\ln\)
Montrer que \(L\) est dérivable sur \(]0,+\infty[\) et calculer \(L'(x)\).
Calculer \(L(1)\).
Montrer que pour tous \(a,b>0\) : \(L(ab)=L(a)+L(b)\).
Indication : fixer \(a>0\) et dériver \(g(b)=L(ab)-L(b)\) sur \(]0,+\infty[\), puis calculer \(g(1)\).
En déduire que \(L=\ln\).
Partie B : Encadrements intégraux
En encadrant \(\frac{1}{t}\) sur \([k,k+1]\) (\(k\geqslant 1\) entier), montrer :
\[\frac{1}{k+1}\leqslant\ln\!\Bigl(\frac{k+1}{k}\Bigr)\leqslant\frac{1}{k}\]Pour \(n\geqslant2\), en sommant pour \(k=1,\ldots,n-1\), montrer :
\[\sum_{k=2}^n\frac{1}{k}\leqslant\ln n\leqslant\sum_{k=1}^{n-1}\frac{1}{k}\]En déduire que \(\displaystyle\lim_{n\to+\infty}\sum_{k=1}^n\frac{1}{k}=+\infty\) (divergence de la série harmonique).
Pour \(n\geqslant1\), montrer que la suite \(\gamma_n=\displaystyle\sum_{k=1}^n\frac{1}{k}-\ln n\) est décroissante et minorée par \(0\). En déduire qu'elle converge vers une constante \(\gamma\) (constante d'Euler–Mascheroni, \(\gamma\approx 0{,}577\)).
Partie C : Inégalités classiques
Montrer que pour tout \(x>-1\), \(x\neq 0\) : \(\ln(1+x)<x\).
Indication : étudier \(g(x)=x-\ln(1+x)\).
En déduire que pour tout \(x>-1\), \(x\neq 0\) : \(\frac{x}{1+x}<\ln(1+x)<x\).
(Bonus) Montrer que pour tout \(n\geqslant 1\) : \(\Bigl(1+\frac{1}{n}\Bigr)^n<\e<\Bigl(1+\frac{1}{n}\Bigr)^{n+1}\).
Corrigés détaillés
Exercice 1
a)
b)
c)
d)
e)
f)
Exercice 2
a) \(3-x>0\iff x<3\). \(D_f=\;]-\infty,3[\).
b)
c) Il faut \(x>0\) (pour que \(\ln x\) existe) et \(\ln x>0\) (pour que \(\ln(\ln x)\) existe). \(\ln x>0\iff x>1\). \(D_h=\;]1,+\infty[\).
d) \(\frac{x+1}{x-2}>0\) : tableau de signes. Positif sur \(]-\infty,-1[\;\cup\;]2,+\infty[\). \(D_k=\;]-\infty,-1[\;\cup\;]2,+\infty[\).
Exercice 3
a)
Condition \(2x-1>0\iff x>\frac{1}{2}\) : OK.
b) Condition : \(x>0\) et \(x-2>0\), soit \(x>2\). \(\ln[x(x-2)]=\ln 3\), donc \(x^2-2x=3\), \(x^2-2x-3=0\), \((x-3)(x+1)=0\). Seul \(x=3>2\) convient.
c) Posons \(X=\e^x\) (\(X>0\)). \(X^2-5X+6=0\), \((X-2)(X-3)=0\), \(X=2\) ou \(X=3\). Donc \(x=\ln 2\) ou \(x=\ln 3\).
d)
Exercice 4
a) Condition : \(x-1>0\iff x>1\).
Solution : \(x\in\;]2,+\infty[\).
b) Condition : \(3x+2>0\iff x>-\frac{2}{3}\).
Solution : \(x\in\;\bigl]-\frac{2}{3},\frac{\e-2}{3}\bigr]\).
c) Conditions : \(x>0\) et \(x+2>0\), soit \(x>0\). \(\ln[x(x+2)]\geqslant\ln 8\iff x(x+2)\geqslant 8\) (car \(\ln\) croissante). \(x^2+2x-8\geqslant 0\), \((x+4)(x-2)\geqslant 0\). Comme \(x>0\) : \(x\geqslant 2\). Solution : \(x\in[2,+\infty[\).
Exercice 5
a)
b)
Remarque : \(g'(x)=\ln x\), donc \(g'(x)<0\) pour \(0<x<1\), \(g'(x)=0\) pour \(x=1\), \(g'(x)>0\) pour \(x>1\). Le minimum de \(g\) est \(g(1)=-1\).
c) Le quotient \((x+1)/(x-1)\) est positif sur \(D_h=]-\infty,-1[\cup]1,+\infty[\). Sur les deux intervalles, on peut dériver par composition :
Ainsi
La différence \(\ln(x+1)-\ln(x-1)\) ne permettait de justifier ce résultat que sur \(]1,+\infty[\). L'écriture \(\ln|x+1|-\ln|x-1|\) couvre aussi le premier intervalle.
d)
Exercice 6
a)
par croissance comparée (\(\alpha=\frac{1}{2}\)).
b) \(x^2\ln x\to 0\) en \(0^+\) par croissance comparée (variante 4 avec \(n=2\)).
c) \((\ln x)^2-x=x\Bigl(\frac{(\ln x)^2}{x}-1\Bigr)\). Or \(\frac{(\ln x)^2}{x}\to 0\) (variante 2 avec \(n=2\)), donc le facteur tend vers \(-1\), et \(x\to+\infty\) : \((\ln x)^2-x\to-\infty\).
d) Pour \(x>0\), les facteurs \(x^2\) et \(1+1/x^2\) sont positifs. On peut écrire exactement
En \(+\infty\), le premier terme tend vers 0 par croissance comparée. Dans le second, le numérateur tend vers \(\ln1=0\) et \(1/x\to0\), donc le produit tend vers 0. La limite est 0. Cette décomposition évite de supposer une règle générale sur les logarithmes d'expressions équivalentes.
e) \(\frac{\ln x}{x-1}\). Posons
\(\frac{\ln(1+h)}{h}\to 1\) (taux d'accroissement de \(\ln\) en 1). Donc la limite est \(\mathbf{1}\).
Exercice 7
\(f(x)=\frac{\ln x}{x}\) sur \(]0,+\infty[\).
a) En \(0^+\) : \(\ln x\to-\infty\) et \(x\to 0^+\), donc \(f(x)\to-\infty\).
En \(+\infty\) : \(\frac{\ln x}{x}\to 0\) par croissance comparée.
b)
\(f'(x)>0\) pour \(x<\e\), \(f'(x)<0\) pour \(x>\e\).
| \(x\) | \(0^+\) | \(\e\) | \(+\infty\) | ||
|---|---|---|---|---|---|
| \(f'(x)\) | \(+\) | \(0\) | \(-\) | ||
| \(f(x)\) | \(-\infty\) | \(\nearrow\) | \(\frac{1}{\e}\) | \(\searrow\) | \(0\) |
Maximum
c) \(\frac{\ln x}{x}=\frac{1}{3}\), soit \(f(x)=\frac{1}{3}\). Comme \(\frac{1}{3}<\frac{1}{\e}\approx 0{,}368\) : la droite \(y=\frac{1}{3}\) coupe la courbe en deux points.
Sur \(]0,\e]\) : \(f\) strictement croissante de \(-\infty\) à \(\frac{1}{\e}\), et \(\frac{1}{3}\in]-\infty,\frac{1}{\e}[\) : unique solution par le corollaire du TVI.
Sur \([\e,+\infty[\) : \(f\) strictement décroissante de \(\frac{1}{\e}\) à \(0\), et \(\frac{1}{3}\in]0,\frac{1}{\e}[\) : unique solution par le corollaire du TVI.
Total : exactement deux solutions.
Exercice 8
\(f(x)=x-\ln x\) sur \(]0,+\infty[\).
a) En \(0^+\) : \(x\to 0\) et \(-\ln x\to+\infty\), donc \(f(x)\to+\infty\).
En \(+\infty\) :
\(f'(x)=0\iff x=1\). \(f'<0\) sur \(]0,1[\), \(f'>0\) sur \(]1,+\infty[\).
| \(x\) | \(0^+\) | \(1\) | \(+\infty\) | ||
|---|---|---|---|---|---|
| \(f'(x)\) | \(-\) | \(0\) | \(+\) | ||
| \(f(x)\) | \(+\infty\) | \(\searrow\) | \(1\) | \(\nearrow\) | \(+\infty\) |
b) Le minimum de \(f\) est
Donc pour tout \(x>0\) : \(f(x)\geqslant 1\), i.e. \(x-\ln x\geqslant 1\).
c) \(x-\ln x\geqslant 1\iff \ln x\leqslant x-1\) pour tout \(x>0\).
Égalité quand \(x=1\) (l'unique minimum). C'est l'inégalité \(\boxed{\ln x\leqslant x-1}\), fondamentale en analyse.
Interprétation géométrique : la courbe \(y=\ln x\) est entièrement en dessous de sa tangente en \((1,0)\), qui est \(y=x-1\). Cela traduit la concavité de \(\ln\).
Exercice 9
a)
b) \(\frac{2x}{x^2+1}=\frac{u'}{u}\) avec \(u(x)=x^2+1\). Donc
c)
avec \(u=x^2+2x+3\),
Primitive : \(F(x)=\frac{1}{2}\ln(x^2+2x+3)+C\).
d)
avec
Exercice 10
a) \(u_n=\ln(1+\frac{1}{n})\). Comme \(\frac{1}{n}>0\), \(1+\frac{1}{n}>1\), donc \(u_n=\ln(1+\frac{1}{n})>0\).
Décroissance :
Or \(n(n+2)=n^2+2n<n^2+2n+1=(n+1)^2\), donc \(\frac{n(n+2)}{(n+1)^2}<1\) et \(u_{n+1}-u_n<0\).
b)
somme télescopique.
c)
quand \(n\to+\infty\).
Exercice 11
a) Posons \(\alpha=\ln a\), \(\beta=\ln b\) (i.e. \(a=\e^\alpha\), \(b=\e^\beta\)). Alors
En appliquant \(\ln\) :
b) Pour \(x>0\), posons \(x=\e^t\). Quand \(x\to+\infty\), \(t\to+\infty\). \(\frac{\ln x}{x}=\frac{t}{\e^t}\).
Pour \(t>0\), l'inégalité de la tangente \(\e^{t/2}\geqslant1+t/2\geqslant t/2\) se met au carré entre quantités positives : \(\e^t\geqslant t^2/4\). Donc
Cette preuve utilise une inégalité déjà démontrée, sans développement de Taylor.
Par le théorème des gendarmes (car \(\frac{t}{\e^t}\geqslant 0\)) : \(\frac{\ln x}{x}\to 0\).
c) \(g(x)=x-1-\ln x\) pour \(x>0\).
\(g'(x)<0\) sur \(]0,1[\), \(g'(x)=0\) en \(x=1\), \(g'(x)>0\) sur \(]1,+\infty[\).
Minimum en \(x=1\) : \(g(1)=0\). Donc \(g(x)\geqslant 0\) pour tout \(x>0\), avec égalité ssi \(x=1\).
D'où \(\ln x\leqslant x-1\) pour tout \(x>0\).
Exercice 12
pour \(x>0\).
a) \(\lim_{x\to 0^+}x\ln x=0\) (croissance comparée). Donc
b) Posons \(\varphi(x)=x\ln x\), alors \(f(x)=\e^{\varphi(x)}\).
c)
(car \(x^x>0\) toujours).
\(f'(x)<0\) pour \(0<x<\frac{1}{\e}\) (car \(\ln x<-1\)), \(f'(x)>0\) pour \(x>\frac{1}{\e}\).
| \(x\) | \(0^+\) | \(\frac{1}{\e}\) | \(+\infty\) | ||
|---|---|---|---|---|---|
| \(f'(x)\) | \(-\) | \(0\) | \(+\) | ||
| \(f(x)\) | \(1\) | \(\searrow\) | \(\e^{-1/\e}\) | \(\nearrow\) | \(+\infty\) |
d) Minimum :
Corrigé du problème
Partie A : \(L\) coïncide avec \(\ln\)
1. Par le théorème fondamental de l'analyse, \(L(x)=\int_1^x\frac{1}{t}\,\mathrm{d}t\) est dérivable sur \(]0,+\infty[\) et \(L'(x)=\frac{1}{x}\).
2.
3. Fixons \(a>0\). La fonction \(g(b)=L(ab)-L(b)\) est définie et dérivable pour \(b>0\), car \(ab>0\). Par composition,
Elle est constante sur \(]0,+\infty[\), avec valeur
Donc \(L(ab)-L(b)=L(a)\), ce qui donne la relation demandée. Cette preuve fonctionne aussi pour \(a<1\) ou \(b<1\), sans changement de variable intégral supplémentaire.
4. On a montré que \(L\) est dérivable,
et
Deux primitives de \(\frac{1}{x}\) ne diffèrent que d'une constante : \(L(x)=\ln x+C\). Or
donc \(C=0\) et \(L=\ln\).
Partie B : Encadrements intégraux
Cas \(k=2\) : la largeur des rectangles vaut 1. L'aire sous la courbe est comprise entre celle du rectangle plein de hauteur \(1/3\) et celle du rectangle pointillé de hauteur \(1/2\).
5. Sur \([k,k+1]\) : \(\frac{1}{k+1}\leqslant\frac{1}{t}\leqslant\frac{1}{k}\) (car \(k\leqslant t\leqslant k+1\) et \(t\mapsto\frac{1}{t}\) décroissante). En intégrant sur \([k,k+1]\) (intervalle de longueur 1) :
Or
6. On somme l'encadrement pour \(k=1,\ldots,n-1\) :
Le terme central est télescopique : \(\ln n-\ln 1=\ln n\). À gauche, en reindexant (\(j=k+1\)) : \(\sum_{j=2}^n\frac{1}{j}\). D'où :
7. De l'inégalité de droite : \(\ln n\leqslant\sum_{k=1}^{n-1}\frac{1}{k}\), donc \(\sum_{k=1}^{n-1}\frac{1}{k}\geqslant\ln n\to+\infty\). La série harmonique diverge.
8. \(\gamma_n=\sum_{k=1}^n\frac{1}{k}-\ln n\). Montrons que \((\gamma_n)\) est décroissante :
Par l'encadrement de la question 5 avec \(k=n\) : \(\frac{1}{n+1}\leqslant\ln(\frac{n+1}{n})\), donc \(\gamma_n-\gamma_{n+1}\geqslant 0\).
Pour \(n\geqslant2\), l'inégalité de gauche de la question 6 donne un majorant : \(\sum_{k=2}^n\frac{1}{k}\leqslant\ln n\), donc \(\gamma_n=\frac{1}{1}+\sum_{k=2}^n\frac{1}{k}-\ln n\leqslant 1+\ln n-\ln n=1\). Et par l'inégalité de droite : \(\ln n\leqslant\sum_{k=1}^{n-1}\frac{1}{k}\leqslant\sum_{k=1}^n\frac{1}{k}\), donc \(\gamma_n\geqslant 0\).
Pour \(n=1\), \(\gamma_1=1\), ce qui vérifie aussi les bornes. La suite \((\gamma_n)\) est décroissante et minorée par 0 : elle converge vers \(\gamma\approx 0{,}5772\) (constante d'Euler–Mascheroni).
Partie C : Inégalités classiques
9. \(g(x)=x-\ln(1+x)\) pour \(x>-1\).
\(g'(x)<0\) sur \(]-1,0[\), \(g'(x)=0\) en \(x=0\), \(g'(x)>0\) sur \(]0,+\infty[\).
Minimum en \(x=0\) : \(g(0)=0\). Donc \(g(x)\geqslant 0\) pour tout \(x>-1\), avec égalité ssi \(x=0\).
D'où \(\ln(1+x)\leqslant x\) pour tout \(x>-1\), avec égalité ssi \(x=0\).
Pour l'inégalité stricte (\(x\neq 0\)) : comme le minimum est atteint uniquement en 0, si \(x\neq 0\) alors \(g(x)>0\), i.e. \(\ln(1+x)<x\).
10. Appliquons l'inégalité \(\ln(1+u)<u\) (pour \(u\neq 0\), \(u>-1\)) à \(u=\frac{-x}{1+x}\) (valide pour \(x>-1\), \(x\neq 0\), car \(\frac{-x}{1+x}>-1\iff\frac{1}{1+x}>0\), vrai pour \(x>-1\)).
\(\ln\!\bigl(1+\frac{-x}{1+x}\bigr)<\frac{-x}{1+x}\), soit \(\ln\!\bigl(\frac{1}{1+x}\bigr)<\frac{-x}{1+x}\), i.e. \(-\ln(1+x)<\frac{-x}{1+x}\).
En multipliant par \(-1\) (et renversant l'inégalité) : \(\ln(1+x)>\frac{x}{1+x}\).
Bilan : pour \(x>-1\), \(x\neq 0\) : \(\boxed{\frac{x}{1+x}<\ln(1+x)<x}\).
11. (Bonus) De \(\frac{x}{1+x}<\ln(1+x)<x\) avec \(x=\frac{1}{n}>0\) :
En multipliant par \(n\) : \(\frac{n}{n+1}<n\ln\!\bigl(1+\frac{1}{n}\bigr)<1\).
L'inégalité de droite donne \(n\ln(1+\frac{1}{n})<1\), donc \(\ln\!\bigl((1+1/n)^n\bigr)<1\), i.e. \((1+\frac{1}{n})^n<\e\).
On reprend l'inégalité avant multiplication par \(n\) :
En multipliant par \(n+1>0\), puis en appliquant l'exponentielle croissante,
Bilan : \(\bigl(1+\frac{1}{n}\bigr)^n<\e<\bigl(1+\frac{1}{n}\bigr)^{n+1}\).
Pour justifier leur convergence, l'encadrement donne
Les deux bornes tendent vers 1, donc le terme central aussi. Par continuité de l'exponentielle, \((1+1/n)^n\to\e\). Le second terme est le produit du premier par \(1+1/n\to1\), donc sa limite vaut également \(\e\). Un simple encadrement de \(\e\) entre deux suites n'aurait pas suffi à établir ces limites.
Faire le point par une variante autonome
Maîtrise du chapitre
Validation contrôlée
Réponds aux QCM, sélectionne les bonnes propositions ou remets les étapes dans l'ordre. Le site vérifie chaque réponse avant d'ouvrir la balise suivante.
Parcours validé
Tu as validé les checkpoints et le bilan. Tu peux maintenant t’entraîner et revenir sur les notions quand tu le souhaites.
Télécharger la synthèse