الانتقال إلى المحتوى
DaoudMathالرياضيات مع محمد بن داود

La fonction logarithme népérien - Cours et exercices corrigés | 2e Bac PC et SVT

KORASATI · MATHÉMATIQUES

Retrouvez le cours intégral ci-dessous et sa version A4 mise en page, avec toutes les figures et les exercices corrigés.

Ouvrir et télécharger le cours en PDF

Sur téléphone, utilisez le bouton ci-dessus pour agrandir le document. La lecture est accessible sans inscription.


Objectifs. Définir ln\ln, utiliser ses propriétés avec leurs conditions, étudier ses variations et limites, résoudre des équations et inéquations, puis analyser une fonction comportant un logarithme.

Définition, dérivée et signe

La primitive de 1/x1/x qui s’annule en 11

La fonction x↦1/xx\mapsto1/x est continue sur ]0;+∞[]0;+\infty[. Elle y admet des primitives, qui diffèrent d’une constante. Il en existe exactement une qui vaut 00 en 11.

Définition du logarithme népérien

Cette primitive est notée ln\ln. Son domaine est ]0;+∞[]0;+\infty[ et elle vérifie ln⁡1=0,(ln⁡x)′=1x(x>0).\ln1=0,\qquad (\ln x)'=\frac1x\quad(x>0). Un logarithme réel ln⁡u\ln u n’existe que lorsque son argument uu est strictement positif.

Par exemple, ln⁡(x−2)\ln(x-2) est défini pour x>2x>2, tandis que ln⁡(x2+1)\ln(x^2+1) est défini pour tout réel xx. Les expressions ln⁡0\ln0 et ln⁡(−3)\ln(-3) n’ont pas de valeur réelle.

Une fonction strictement croissante

Pour x>0x>0, la dérivée 1/x1/x est positive. La fonction ln\ln est donc strictement croissante sur son domaine. Pour a,b>0a,b>0, ln⁡a=ln⁡b⇔a=b,ln⁡a<ln⁡b⇔a<b.\ln a=\ln b\iff a=b,\qquad \ln a<\ln b\iff a<b. En comparant xx à 11, on en déduit le signe : ln⁡x<0(0<x<1),ln⁡1=0,ln⁡x>0(x>1).\ln x<0\ (0<x<1),\quad\ln1=0,\quad\ln x>0\ (x>1).

Exemple - Poser le domaine avant de comparer

Résolvons ln⁡(x+3)≥0\ln(x+3)\ge0. L’expression est définie pour x>−3x>-3. Sur ce domaine, ln⁡(x+3)≥ln⁡1\ln(x+3)\ge\ln1 équivaut à x+3≥1x+3\ge1, donc x≥−2x\ge-2. Tous ces réels sont autorisés : la solution est [−2;+∞[[-2;+\infty[.

Le logarithme n’est pas un coefficient

On ne simplifie pas une équation en divisant par le symbole ln\ln. On utilise une propriété de la fonction, en vérifiant les domaines. Par exemple, ln⁡a=ln⁡b\ln a=\ln b implique a=ba=b parce que ln\ln est injective sur les réels positifs.

Transformer des expressions logarithmiques

Du produit à la somme

Identités et conditions

Pour a>0a>0, b>0b>0 et n∈ℤn\in\mathbb{Z}, ln⁡(ab)=ln⁡a+ln⁡b,ln⁡(ab)=ln⁡a−ln⁡b,\ln(ab)=\ln a+\ln b,\qquad \ln\!\left(\frac ab\right)=\ln a-\ln b, ln⁡(1a)=−ln⁡a,ln⁡(an)=nln⁡a,ln⁡a=12ln⁡a.\ln\!\left(\frac1a\right)=-\ln a,\qquad \ln(a^n)=n\ln a,\qquad \ln\sqrt a=\frac12\ln a. Les arguments de chaque logarithme doivent être positifs. Pour x≠0x\ne0, ln⁡(x2)=2ln⁡|x|\ln(x^2)=2\ln|x| ; l’écriture 2ln⁡x2\ln x exige x>0x>0.

Justification du produit. Fixons a>0a>0 et posons h(x)=ln⁡(ax)−ln⁡xh(x)=\ln(ax)-\ln x pour x>0x>0. La dérivée vaut a/(ax)−1/x=0a/(ax)-1/x=0 ; hh est constante et h(x)=h(1)=ln⁡ah(x)=h(1)=\ln a. En prenant x=bx=b, on obtient la formule du produit. Les autres identités en découlent.

Exemple - Une simplification exacte

On a ln⁡18−ln⁡2=ln⁡9=2ln⁡3\ln18-\ln2=\ln9=2\ln3. Ainsi ln⁡18−ln⁡2−2ln⁡3=0\ln18-\ln2-2\ln3=0. La simplification est possible car 1818, 22 et 33 sont positifs.

Exemple - Les signes changent la forme autorisée

Pour x>3x>3, ln⁡(x2−9)=ln⁡(x−3)+ln⁡(x+3)\ln(x^2-9)=\ln(x-3)+\ln(x+3). Pour x<−3x<-3, cette dernière somme est interdite car ses deux arguments sont négatifs. On peut en revanche écrire ln⁡(x2−9)=ln⁡(3−x)+ln⁡(−x−3),x<−3,\ln(x^2-9)=\ln(3-x)+\ln(-x-3),\qquad x<-3, car ces deux arguments sont alors positifs et leur produit vaut x2−9x^2-9.

Une somme ne se sépare pas

En général, ln⁡(a+b)≠ln⁡a+ln⁡b\ln(a+b)\ne\ln a+\ln b. Prenons a=b=1a=b=1 : le membre de gauche est ln⁡2>0\ln2>0 et celui de droite vaut 00. La règle porte sur un produit, pas sur une somme.

Le nombre ee et le logarithme décimal

La continuité, la croissance et les limites de ln\ln permettent de définir l’unique nombre e>0e>0 tel que ln⁡e=1\ln e=1. Il vaut environ 2,718282{,}71828. On a donc ln⁡(en)=n\ln(e^n)=n pour tout entier nn.

Le logarithme décimal est log⁡10x=ln⁡x/ln⁡10\log_{10}x=\ln x/\ln10 pour x>0x>0. Il satisfait log⁡10(10)=1\log_{10}(10)=1. Les notations ln\ln et log⁡10\log_{10} ne sont pas interchangeables : la base doit rester précisée.

Limites et représentation graphique

Aux deux extrémités du domaine

Limites fondamentales

limx→0+ln⁡x=−∞,limx→+∞ln⁡x=+∞.\lim_{x\to0^+}\ln x=-\infty, \qquad \lim_{x\to+\infty}\ln x=+\infty. L’axe des ordonnées x=0x=0 est une asymptote verticale à la courbe. La croissance vers +∞+\infty est lente mais n’est pas bornée.

Pour comprendre la deuxième limite, ln⁡(2n)=nln⁡2→+∞\ln(2^n)=n\ln2\to+\infty et ln\ln est croissante. La première en découle avec ln⁡x=−ln⁡(1/x)\ln x=-\ln(1/x) lorsque x→0+x\to0^+.

Une tangente utile

La courbe passe par A(1;0)A(1;0) et B(e;1)B(e;1). Comme ln⁡′(1)=1\ln'(1)=1, sa tangente en AA est y=x−1y=x-1. Pour h(x)=x−1−ln⁡xh(x)=x-1-\ln x, on a h′(x)=(x−1)/xh'(x)=(x-1)/x ; hh décroît jusqu’à 11, puis croît. Son minimum est h(1)=0h(1)=0. ln⁡x≤x−1(x>0), avec égalité seulement pour x=1.\boxed{\ln x\le x-1\quad(x>0),\text{ avec égalité seulement pour }x=1.} La courbe de ln\ln se situe donc sous cette tangente.

Figure disponible dans la version PDF ci-dessus.

Trois limites à reconnaître

La dérivée en 11 donne lim⁡x→1ln⁡x/(x−1)=1\lim_{x\to1}\ln x/(x-1)=1, soit, avec h=x−1h=x-1, limh→0ln⁡(1+h)h=1.\lim_{h\to0}\frac{\ln(1+h)}h=1. La comparaison des croissances fournit limx→+∞ln⁡xx=0,limx→0+xln⁡x=0.\lim_{x\to+\infty}\frac{\ln x}{x}=0, \qquad \lim_{x\to0^+}x\ln x=0. Par exemple, pour x≥1x\ge1, 0≤ln⁡x=2ln⁡x≤2(x−1)≤2x0\le\ln x=2\ln\sqrt x\le2(\sqrt x-1)\le2\sqrt x. En divisant par xx, on obtient la première limite par encadrement. Pour la seconde, poser t=1/xt=1/x donne xln⁡x=−ln⁡t/t→0x\ln x=-\ln t/t\to0.

Dériver et calculer une limite composée

La règle pour ln⁡u\ln u

Positivité avant dérivation

Si uu est dérivable et strictement positive sur un intervalle II, alors ln⁡u\ln u est dérivable sur II et (ln⁡u)′=u′u.(\ln u)'=\frac{u'}u. Si uu ne s’annule pas, ln⁡|u|\ln|u| est également dérivable sur II, avec la même dérivée u′/uu'/u.

Exemple - Deux domaines différents

Pour f(x)=ln⁡(3−2x)f(x)=\ln(3-2x), le domaine est ]−∞;3/2[]-\infty;3/2[ et f′(x)=−2/(3−2x)f'(x)=-2/(3-2x). La dérivée y est négative : ff est strictement décroissante.

Pour g(x)=ln⁡(x2+1)g(x)=\ln(x^2+1), le domaine est ℝ\mathbb{R} et g′(x)=2x/(x2+1)g'(x)=2x/(x^2+1). Elle décroît sur ]−∞;0]]-\infty;0], croît sur [0;+∞[[0;+\infty[ et atteint son minimum g(0)=0g(0)=0.

Lire le comportement de l’argument

Lorsque u(x)>0u(x)>0, on examine d’abord u(x)u(x). Si u(x)→ℓ>0u(x)\to\ell>0, la continuité donne ln⁡u(x)→ln⁡ℓ\ln u(x)\to\ln\ell. Si u(x)→0+u(x)\to0^+, alors ln⁡u(x)→−∞\ln u(x)\to-\infty. Si u(x)→+∞u(x)\to+\infty, alors ln⁡u(x)→+∞\ln u(x)\to+\infty.

Exemple - Une différence de logarithmes

Pour x>0x>0, ln⁡(x+2)−ln⁡x=ln⁡(1+2x)→0quand x→+∞.\ln(x+2)-\ln x=\ln\!\left(1+\frac2x\right)\longrightarrow0 \quad\text{quand }x\to+\infty. La différence initiale présente la forme +∞−(+∞)+\infty-(+\infty) ; la règle du quotient la transforme en une limite directe.

Exemple - La limite du taux d’accroissement

Lorsque x→0x\to0 avec 1+3x>01+3x>0, ln⁡(1+3x)x=3ln⁡(1+3x)3x→3.\frac{\ln(1+3x)}x =3\frac{\ln(1+3x)}{3x}\longrightarrow3. Le facteur 33 est indispensable. On ne remplace pas une expression par 0/00/0 : cette écriture signale qu’une transformation est nécessaire.

Une démarche pour étudier une fonction

  1. Résoudre toutes les conditions de définition, y compris celles des dénominateurs.

  2. Calculer les limites aux bornes de chaque intervalle du domaine.

  3. Dériver puis étudier le signe de la dérivée sur ce domaine.

  4. Construire les variations et préciser valeurs remarquables, tangentes et asymptotes.

La croissance de ln\ln seule ne suffit pas pour conclure sur un produit ou un quotient, comme (ln⁡x)/x(\ln x)/x : il faut dériver la fonction entière.

Équations et inéquations

Un raisonnement en deux temps

Le domaine reste présent jusqu’à la réponse

On détermine d’abord les arguments positifs. Ensuite seulement, on transforme les logarithmes. Les solutions algébriques obtenues sont finalement croisées avec le domaine initial.

Exemple - Une solution algébrique à rejeter

Résolvons ln⁡(x−1)+ln⁡(x+1)=ln⁡3\ln(x-1)+\ln(x+1)=\ln3. Le domaine est x>1x>1. Sur ce domaine, la formule du produit puis l’injectivité donnent ln⁡(x2−1)=ln⁡3⇔x2−1=3⇔x=2 ou x=−2.\ln(x^2-1)=\ln3\iff x^2-1=3\iff x=2\text{ ou }x=-2. Seul 22 appartient au domaine. La solution est donc {2}\{2\}. La valeur −2-2 rendrait les deux logarithmes initiaux impossibles.

Exemple - Un quotient et le sens de l’inégalité

Résolvons ln⁡(x+2)−ln⁡(x−1)≤ln⁡2\ln(x+2)-\ln(x-1)\le\ln2. Le domaine est x>1x>1. Puis ln\ln est croissante et x−1>0x-1>0, donc ln⁡(x+2x−1)≤ln⁡2⇔x+2x−1≤2⇔x+2≤2x−2⇔x≥4.\ln\!\left(\frac{x+2}{x-1}\right)\le\ln2 \iff\frac{x+2}{x-1}\le2 \iff x+2\le2x-2\iff x\ge4. Les solutions sont [4;+∞[[4;+\infty[. On a multiplié par x−1x-1 sans changer le sens parce que son signe avait été établi.

Une équation polynomiale en ln⁡x\ln x

Quand l’équation contient (ln⁡x)2(\ln x)^2 et ln⁡x\ln x, on peut poser t=ln⁡xt=\ln x pour x>0x>0. Par exemple, (ln⁡x)2−3ln⁡x+2=0⇔(t−1)(t−2)=0.(\ln x)^2-3\ln x+2=0\iff(t-1)(t-2)=0. On revient à xx : ln⁡x=1\ln x=1 donne x=ex=e, et ln⁡x=2\ln x=2 donne x=e2x=e^2. Les deux solutions sont positives.

Notations à distinguer

(ln⁡x)2(\ln x)^2 désigne le carré du nombre ln⁡x\ln x. Pour x>0x>0, ln⁡(x2)=2ln⁡x\ln(x^2)=2\ln x : ce n’est pas le même objet. Par exemple en x=ex=e, les deux expressions valent respectivement 11 et 22.

Utiliser un logarithme pour trouver un exposant

Pour a>0a>0 et un entier nn, an=b>0a^n=b>0 implique nln⁡a=ln⁡bn\ln a=\ln b. Si a≠1a\ne1, on peut diviser par ln⁡a\ln a. Son signe compte dans une inéquation : pour 0<a<10<a<1, on a ln⁡a<0\ln a<0 et la division inverse le sens. Cette méthode s’applique notamment aux évolutions multiplicatives successives.

Changer de base et compléter les méthodes

Logarithme de base aa

Pour une base a>0a>0 différente de 11, on définit sur ]0;+∞[]0;+\infty[ log⁡ax=ln⁡xln⁡a.\log_a x=\frac{\ln x}{\ln a}. Le dénominateur est une constante non nulle. On a log⁡a1=0\log_a1=0, log⁡aa=1\log_a a=1 et les règles de produit, quotient et puissance se déduisent de celles de ln\ln. Pour une autre base b>0b>0, b≠1b\ne1, on obtient log⁡ax=log⁡bx/log⁡ba\log_a x=\log_b x/\log_b a.

La base détermine le sens de variation

(log⁡ax)′=1xln⁡a.(\log_a x)'=\frac1{x\ln a}. Si a>1a>1, la fonction est strictement croissante : son signe est négatif pour 0<x<10<x<1 et positif pour x>1x>1. Si 0<a<10<a<1, elle est strictement décroissante et ces signes sont inversés. Dans les deux cas, elle s’annule en 11.

Pour 0<a<10<a<1, ses limites en 0+0^+ et en +∞+\infty sont respectivement +∞+\infty et −∞-\infty. Pour a>1a>1, elles sont celles de ln\ln. Si u>0u>0 est dérivable, (log⁡au)′=u′/(uln⁡a)(\log_a u)'=u'/(u\ln a).

Exemple - Une base comprise entre 00 et 11

Résolvons log⁡1/2(2x−1)≥2\log_{1/2}(2x-1)\ge2. Le domaine impose x>1/2x>1/2. Puis log⁡1/2(1/4)=2\log_{1/2}(1/4)=2 et cette fonction est décroissante. Ainsi l’inégalité équivaut à 2x−1≤1/42x-1\le1/4 sur le domaine initial.

Conclusion

Les solutions sont ]1/2;5/8]]1/2;5/8]. La borne gauche reste exclue car le logarithme de 00 n’existe pas.

Comparer le logarithme à une puissance entière

Pour tout entier n≥1n\ge1, limx→+∞ln⁡xxn=0,limx→0+xnln⁡x=0.\lim_{x\to+\infty}\frac{\ln x}{x^n}=0, \qquad\lim_{x\to0^+}x^n\ln x=0. En effet, pour x≥1x\ge1, on a 0≤ln⁡x/xn≤ln⁡x/x0\le\ln x/x^n\le\ln x/x, et la dernière expression tend vers 00. Puis le changement t=1/xt=1/x transforme xnln⁡xx^n\ln x en −ln⁡t/tn-\ln t/t^n, qui tend vers 00 lorsque t→+∞t\to+\infty. Ces résultats concernent des limites : le logarithme n’est pas nul pour les valeurs finies de xx.

Un système : additionner puis vérifier

Résolvons dans les réels le système {ln⁡x+ln⁡y=ln⁡6,ln⁡x−ln⁡y=ln⁡(3/2).\begin{cases}\ln x+\ln y=\ln6,\\ \ln x-\ln y=\ln(3/2).\end{cases} Le domaine est x>0x>0, y>0y>0. En additionnant les deux équations, 2ln⁡x=ln⁡9=2ln⁡32\ln x=\ln9=2\ln3, donc x=3x=3. La première donne alors ln⁡y=ln⁡6−ln⁡3=ln⁡2\ln y=\ln6-\ln3=\ln2, donc y=2y=2. Ces nombres sont positifs et vérifient aussi la différence ln⁡3−ln⁡2=ln⁡(3/2)\ln3-\ln2=\ln(3/2).

Conclusion

Le système possède l’unique solution (x;y)=(3;2)(x;y)=(3;2). Chaque étape réversible et la vérification finale conservent les deux équations.

Exercices corrigés

Exercice 1 - Domaines et dérivées

Déterminer les domaines puis les dérivées de f(x)=ln⁡(x2−4),g(x)=ln⁡(x−1x+2).f(x)=\ln(x^2-4),\qquad g(x)=\ln\!\left(\frac{x-1}{x+2}\right). Solution. Pour ff, il faut x2−4>0x^2-4>0, donc Df=]−∞;−2[∪]2;+∞[,f′(x)=2xx2−4.D_f=]-\infty;-2[\,\cup\,]2;+\infty[, \qquad f'(x)=\frac{2x}{x^2-4}. Pour gg, l’étude des signes du numérateur et du dénominateur donne (x−1)/(x+2)>0(x-1)/(x+2)>0 exactement pour x<−2x<-2 ou x>1x>1. Ainsi Dg=]−∞;−2[∪]1;+∞[.D_g=]-\infty;-2[\,\cup\,]1;+\infty[. En posant u=(x−1)/(x+2)u=(x-1)/(x+2), on a u′=3/(x+2)2u'=3/(x+2)^2 puis g′(x)=u′u=3(x+2)(x−1).g'(x)=\frac{u'}u=\frac3{(x+2)(x-1)}. Sur les deux intervalles, le produit du dénominateur est positif ; gg y est donc strictement croissante séparément. Il serait incorrect d’écrire ln⁡(x−1)−ln⁡(x+2)\ln(x-1)-\ln(x+2) sur l’intervalle x<−2x<-2.

Exercice 2 - Équation avec deux logarithmes

Résoudre ln⁡x+ln⁡(x−2)=ln⁡3\ln x+\ln(x-2)=\ln3. Solution. Les deux arguments imposent x>2x>2. Sur ce domaine, ln⁡[x(x−2)]=ln⁡3⇔x2−2x−3=0⇔(x−3)(x+1)=0.\ln[x(x-2)]=\ln3\iff x^2-2x-3=0 \iff(x-3)(x+1)=0. Les candidats sont 33 et −1-1. Seul 33 est autorisé. La vérification donne ln⁡3+ln⁡1=ln⁡3\ln3+\ln1=\ln3.

Conclusion

L’ensemble des solutions est {3}\{3\}.

Exercice 3 - Inéquation quadratique en ln⁡x\ln x

Résoudre (ln⁡x)2−ln⁡x−2≤0(\ln x)^2-\ln x-2\le0. Solution. Le domaine est x>0x>0. Avec t=ln⁡xt=\ln x, l’inéquation devient (t−2)(t+1)≤0(t-2)(t+1)\le0, d’où −1≤t≤2-1\le t\le2. Or ln⁡(1/e)=−1\ln(1/e)=-1 et ln⁡(e2)=2\ln(e^2)=2. Par croissance stricte de ln\ln, −1≤ln⁡x≤2⇔1e≤x≤e2.-1\le\ln x\le2\iff\frac1e\le x\le e^2.

Conclusion

Les solutions sont [1/e;e2][1/e;e^2], entièrement comprises dans le domaine initial.

Exercice 4 - Quatre limites

Calculer les limites suivantes sur leurs domaines : A=limx→0ln⁡(1+2x)x,B=limx→+∞[ln⁡(3x+1)−ln⁡x],A=\lim_{x\to0}\frac{\ln(1+2x)}x,\qquad B=\lim_{x\to+\infty}\bigl[\ln(3x+1)-\ln x\bigr], C=limx→0+xln⁡(2x),D=limx→+∞ln⁡(x2+1)x.C=\lim_{x\to0^+}x\ln(2x),\qquad D=\lim_{x\to+\infty}\frac{\ln(x^2+1)}x. Solution. Pour AA, le domaine contient un voisinage épointé de 00 et ln⁡(1+2x)/x=2ln⁡(1+2x)/(2x)→2\ln(1+2x)/x=2\ln(1+2x)/(2x)\to2.

Pour BB, on regroupe : ln⁡(3x+1)−ln⁡x=ln⁡(3+1/x)→ln⁡3\ln(3x+1)-\ln x=\ln(3+1/x)\to\ln3.

Pour CC, xln⁡(2x)=xln⁡2+xln⁡xx\ln(2x)=x\ln2+x\ln x pour x>0x>0. Les deux termes tendent vers 00, donc C=0C=0.

Pour DD, x2+1=x2(1+1/x2)x^2+1=x^2(1+1/x^2) et, pour x>0x>0, ln⁡(x2+1)x=2ln⁡xx+ln⁡(1+1/x2)x→0+0=0.\frac{\ln(x^2+1)}x=2\frac{\ln x}x+ \frac{\ln(1+1/x^2)}x\longrightarrow0+0=0. Le second numérateur tend vers 00 tandis que x→+∞x\to+\infty. Donc D=0D=0.

Exercice 5 - Étude de f(x)=(ln⁡x)/xf(x)=(\ln x)/x

Étudier les limites, variations et asymptotes de ff, puis donner sa tangente en x=1x=1. Solution. Le domaine est ]0;+∞[]0;+\infty[. Quand x→0+x\to0^+, ln⁡x→−∞\ln x\to-\infty et 1/x→+∞1/x\to+\infty, donc f(x)→−∞f(x)\to-\infty. Quand x→+∞x\to+\infty, f(x)→0f(x)\to0 par la limite de croissance comparée. f′(x)=1−ln⁡xx2.f'(x)=\frac{1-\ln x}{x^2}. Le dénominateur est positif. Le numérateur est positif pour 0<x<e0<x<e, nul en ee et négatif pour x>ex>e. La fonction croît jusqu’à ee, puis décroît ; son maximum vaut f(e)=1/ef(e)=1/e. Elle est négative sur ]0;1[]0;1[, nulle en 11 et positive au-delà.

Les droites x=0x=0 et y=0y=0 sont respectivement asymptote verticale en 0+0^+ et horizontale en +∞+\infty. Enfin, f(1)=0f(1)=0 et f′(1)=1f'(1)=1 : la tangente en 11 est y=x−1y=x-1.

Exercice 6 - Une quantité qui diminue

Une quantité vaut Qn=100(0,8)nQ_n=100(0{,}8)^n après nn étapes, où n∈ℕn\in\mathbb{N}. Trouver le premier rang pour lequel elle vaut au plus 2525. Solution. La condition équivaut à (0,8)n≤0,25(0{,}8)^n\le0{,}25. Le logarithme conserve l’ordre, puis la division par ln⁡(0,8)<0\ln(0{,}8)<0 l’inverse : nln⁡(0,8)≤ln⁡(0,25)⇔n≥ln⁡(0,25)ln⁡(0,8)≈6,213.n\ln(0{,}8)\le\ln(0{,}25) \iff n\ge\frac{\ln(0{,}25)}{\ln(0{,}8)}\approx6{,}213. Le premier entier est 77. Vérification : Q6=26,2144>25Q_6=26{,}2144>25 et Q7=20,97152≤25Q_7=20{,}97152\le25. L’arrondi final porte sur le rang entier, pas sur l’inégalité avant sa résolution.