Lumio

Continuité et limites — exercices corrigés

4ème année (Bac) · section Mathématiques. Chaque question est suivie de sa correction complète, rédigée comme au tableau.

Les exercices

Exercice 1

avance

Soit nn un entier naturel non nul et kk un entier appartenant à {1,,n}\{1, \dots, n\}. Pour tout xRx \in \mathbb{R}^*, on considère l'élément générique uk(x)=x(1+kx)(1+(k1)x)u_k(x) = \frac{|x|}{(1 + k|x|)(1 + (k-1)|x|)} et la somme globale associée Sn(x)=k=1nuk(x)S_n(x) = \sum_{k=1}^n u_k(x).

  1. 1)a. Déterminer l'ensemble de définition de l'élément générique uk(x)=x(1+kx)(1+(k1)x)u_k(x) = \frac{|x|}{(1 + k|x|)(1 + (k-1)|x|)} pour xRx \in \mathbb{R}^* et kNk \in \mathbb{N}^*, puis établir sa positivité stricte sur cet ensemble.

    Indice — Observe les facteurs du dénominateur pour déterminer les valeurs annulant chaque terme.

    Correction

    Pour tout xRx \in \mathbb{R}^* et k{1,,n}k \in \{1, \dots, n\}, on a x>0|x| > 0. Ainsi, 1+kx>11 + k|x| > 1 et 1+(k1)x11 + (k-1)|x| \ge 1. Le dénominateur ne s'annule donc jamais sur R\mathbb{R}^*, ce qui établit que l'ensemble de définition de uku_k est R\mathbb{R}^*.

    De plus, le numérateur x|x| et les deux facteurs du dénominateur étant strictement positifs, leur quotient l'est aussi : uk(x)>0u_k(x) > 0 pour tout xRx \in \mathbb{R}^*.

  2. 1)b. Exprimer uk(x)u_k(x) sous la forme d'une différence de deux fractions rationnelles consécutives en la quantité x|x|.

    Indice — Réduis au même dénominateur la différence des deux fractions 11+(k1)x11+kx\frac{1}{1 + (k-1)|x|} - \frac{1}{1 + k|x|}.

    Correction

    En effectuant une décomposition en éléments simples (ou en réduisant la différence au même dénominateur), on obtient pour tout x0x \neq 0 :
    uk(x)=11+(k1)x11+kxu_k(x) = \frac{1}{1 + (k-1)|x|} - \frac{1}{1 + k|x|}

  3. 2)a. Injecter cette identité dans la somme globale Sn(x)=k=1nuk(x)S_n(x) = \sum_{k=1}^n u_k(x) pour x0x \neq 0 et n1n \ge 1.

    Indice — Écris explicitement les premiers et derniers termes de la somme en remplaçant chaque uk(x)u_k(x) par sa forme décomposée.

    Correction

    En substituant le résultat de la question 1)b dans l'expression de Sn(x)S_n(x), la somme s'écrit :
    Sn(x)=k=1n(11+(k1)x11+kx)S_n(x) = \sum_{k=1}^n \left( \frac{1}{1 + (k-1)|x|} - \frac{1}{1 + k|x|} \right)

  4. 2)b. Effectuer la simplification des termes internes pour obtenir la forme close réduite Sn(x)=nx1+nxS_n(x) = \frac{n|x|}{1 + n|x|}.

    Indice — Observe la structure des termes intermédiaires successifs dans le développement de la somme.

    Correction

    On reconnaît une somme télescopique de la forme k=1n(ak1ak)\sum_{k=1}^n (a_{k-1} - a_k) avec ak=11+kxa_k = \frac{1}{1 + k|x|}. Les termes intermédiaires s'annulent deux à deux, il ne reste que le premier et le dernier terme :
    Sn(x)=a0an=111+nx=nx1+nxS_n(x) = a_0 - a_n = 1 - \frac{1}{1 + n|x|} = \frac{n|x|}{1 + n|x|}

  5. 3)a. Calculer la limite en 00 de l'expression Sn(x)x\frac{S_n(x)}{|x|} en exploitant la forme réduite.

    Indice — Remplace Sn(x)S_n(x) par son expression réduite puis simplifie directement le facteur commun au numérateur et au dénominateur.

    Correction

    En utilisant la forme simplifiée obtenue par télescopage Sn(x)=nx1+nxS_n(x) = \frac{n|x|}{1+n|x|}, on exprime le rapport pour x0x \neq 0 :
    Sn(x)x=n1+nx\frac{S_n(x)}{|x|} = \frac{n}{1+n|x|}
    Par passage à la limite lorsque x0x \to 0, on obtient directement :
    limx0Sn(x)x=n\lim_{x \to 0} \frac{S_n(x)}{|x|} = n

  6. 3)b. Étudier l'existence d'un prolongement par continuité en 00 pour la fonction gn(x)=Sn(x)x2+xg_n(x) = \frac{S_n(x)}{x^2 + |x|}, et définir explicitement la fonction prolongée GnG_n en 00.

    Indice — Factorise le dénominateur de gn(x)g_n(x) par x|x| pour faire apparaître une simplification globale avec le numérateur.

    Correction

    On factorise le dénominateur de gn(x)g_n(x) en remarquant que x2=x2x^2 = |x|^2 :
    gn(x)=Sn(x)x(x+1)g_n(x) = \frac{S_n(x)}{|x|(|x| + 1)}
    En injectant la forme réduite de Sn(x)S_n(x) et en simplifiant par x|x| pour x0x \neq 0, il vient :
    gn(x)=n(1+nx)(x+1)g_n(x) = \frac{n}{(1+n|x|)(|x|+1)}
    Par passage à la limite, on trouve :
    limx0gn(x)=n\lim_{x \to 0} g_n(x) = n
    La fonction gng_n admet donc un prolongement par continuité GnG_n en 00 défini par Gn(x)=gn(x)G_n(x) = g_n(x) pour x0x \neq 0 et Gn(0)=nG_n(0) = n.

  7. 4)a. Déterminer la limite en 00 de hn(x)=1cos(xSn(x))x2h_n(x) = \frac{1 - \cos(x \cdot S_n(x))}{x^2}.

    Indice — Fais apparaître le taux d'accroissement canonique 1cos(u)u2\frac{1-\cos(u)}{u^2} en posant la quantité interne comme variable de composition.

    Correction

    On réécrit l'expression de hn(x)h_n(x) pour faire apparaître le taux d'accroissement de la fonction cosinus :
    hn(x)=1cos(xSn(x))(xSn(x))2Sn(x)2h_n(x) = \frac{1 - \cos(x S_n(x))}{(x S_n(x))^2} \cdot S_n(x)^2
    En posant u(x)=xSn(x)u(x) = x S_n(x), on a limx0u(x)=0\lim_{x \to 0} u(x) = 0. Par composition avec la limite usuelle limu01cos(u)u2=12\lim_{u \to 0} \frac{1-\cos(u)}{u^2} = \frac{1}{2}, on obtient :
    limx01cos(xSn(x))(xSn(x))2=12\lim_{x \to 0} \frac{1 - \cos(x S_n(x))}{(x S_n(x))^2} = \frac{1}{2}
    Comme limx0Sn(x)=0\lim_{x \to 0} S_n(x) = 0, on a limx0Sn(x)2=0\lim_{x \to 0} S_n(x)^2 = 0. Par produit de limites, il vient :
    limx0hn(x)=0\lim_{x \to 0} h_n(x) = 0

  8. 4)b. Établir l'encadrement 0Sn(x)<10 \le S_n(x) < 1 pour tout xRx \in \mathbb{R}, puis déterminer les limites de Sn(x)S_n(x) en ++\infty et en -\infty.

    Indice — Étudie le comportement de la quantité x+|x|\to +\infty dans l'expression réduite de Sn(x)S_n(x).

    Correction

    Pour tout xRx \in \mathbb{R}, on a nx0n|x| \ge 0 et 1+nx>nx1+n|x| > n|x|. Puisque le dénominateur est strictement positif, on obtient immédiatement l'encadrement :
    0Sn(x)<10 \le S_n(x) < 1
    Lorsque x±x \to \pm\infty, on a x+|x| \to +\infty. En simplifiant par x|x| dans l'expression de Sn(x)S_n(x), on obtient :
    Sn(x)=n1x+nS_n(x) = \frac{n}{\frac{1}{|x|} + n}
    Par passage à la limite, on en déduit :
    limx+Sn(x)=limxSn(x)=1\lim_{x \to +\infty} S_n(x) = \lim_{x \to -\infty} S_n(x) = 1

Exercice 2

fondamental

Soit aa un nombre réel strictement positif.
On considère la fonction faf_a définie sur R\mathbb{R} par :
fa(x)=x2+a2+xf_a(x) = \sqrt{x^2+a^2} + x
Pour tout réel non nul xx, on pose :
Q(x)=x2xQ(x) = \frac{\sqrt{x^2}}{x}

  1. 1. Calculer la valeur exacte de Q(5)Q(5) et de Q(4)Q(-4).

    Indice — Que vaut X2\sqrt{X^2} selon le signe de XX ?

    Correction

    On utilise la propriété X2=X\sqrt{X^2} = |X|. Pour x=5>0x = 5 > 0, 52=5\sqrt{5^2} = 5, ce qui donne Q(5)=55=1Q(5) = \frac{5}{5} = 1. Pour x=4<0x = -4 < 0, (4)2=4\sqrt{(-4)^2} = 4, ce qui donne Q(4)=44=1Q(-4) = \frac{4}{-4} = -1.

  2. 2. En déduire une expression simplifiée sans radical de Q(x)Q(x) pour x>0x > 0, puis pour x<0x < 0.

    Indice — Que vaut le quotient xx\dfrac{|x|}{x} selon le signe de xx ?

    Correction

    Pour tout réel non nul xx, x2=x\sqrt{x^2} = |x|. Ainsi, si x>0x > 0, x=x|x| = x donc Q(x)=xx=1Q(x) = \frac{x}{x} = 1. Si x<0x < 0, x=x|x| = -x donc Q(x)=xx=1Q(x) = \frac{-x}{x} = -1.

  3. 3. Justifier que pour tout réel x<0x < 0, on a :
    x2+a2=x1+a2x2\sqrt{x^2+a^2} = -x \sqrt{1 + \frac{a^2}{x^2}}

    Indice — Écrire x2+a2=x2left(1+dfraca2x2right)x^2+a^2 = x^2\\left(1+\\dfrac{a^2}{x^2}\\right).

    Correction

    On factorise par x2x^2 sous la racine : x2+a2=x2(1+a2x2)=x21+a2x2\sqrt{x^2+a^2} = \sqrt{x^2\left(1 + \frac{a^2}{x^2}\right)} = \sqrt{x^2} \sqrt{1 + \frac{a^2}{x^2}}. Pour x<0x < 0, on a x2=x\sqrt{x^2} = -x, d'où la relation x2+a2=x1+a2x2\sqrt{x^2+a^2} = -x \sqrt{1 + \frac{a^2}{x^2}}.

  4. 4. En déduire que pour tout réel x<0x < 0, la fonction faf_a s'écrit sous la forme :
    fa(x)=x(11+a2x2)f_a(x) = x \left(1 - \sqrt{1 + \frac{a^2}{x^2}}\right)

    Indice — Factoriser par xx dans l'expression x2+a2+x\sqrt{x^2+a^2}+x.

    Correction

    En réinjectant le résultat de la question précédente dans fa(x)=x2+a2+xf_a(x) = \sqrt{x^2+a^2} + x, on obtient fa(x)=x1+a2x2+xf_a(x) = -x \sqrt{1 + \frac{a^2}{x^2}} + x. Une factorisation immédiate par xx donne fa(x)=x(11+a2x2)f_a(x) = x \left(1 - \sqrt{1 + \frac{a^2}{x^2}}\right).

  5. 5. Montrer que pour tout réel x<0x < 0, on a également :
    fa(x)=a2x2+a2xf_a(x) = \frac{a^2}{\sqrt{x^2+a^2}-x}

    Indice — Considérer le produit (x2+a2+x)(x2+a2x)(\sqrt{x^2+a^2}+x)(\sqrt{x^2+a^2}-x).

    Correction

    On utilise la technique de la quantité conjuguée. Pour tout x<0x < 0, en multipliant et divisant fa(x)f_a(x) par x2+a2x\sqrt{x^2+a^2}-x, l'identité remarquable (u+v)(uv)=u2v2(u+v)(u-v) = u^2 - v^2 donne :
    fa(x)=(x2+a2+x)(x2+a2x)x2+a2x=(x2+a2)x2x2+a2x=a2x2+a2xf_a(x) = \frac{(\sqrt{x^2+a^2}+x)(\sqrt{x^2+a^2}-x)}{\sqrt{x^2+a^2}-x} = \frac{(x^2+a^2) - x^2}{\sqrt{x^2+a^2}-x} = \frac{a^2}{\sqrt{x^2+a^2}-x}

  6. 6. Déterminer alors limxfa(x)\lim_{x\to -\infty} f_a(x).

    Indice — Quelle est la limite du dénominateur x2+a2x\sqrt{x^2+a^2}-x quand xx \to -\infty ?

    Correction

    On utilise l'expression de fa(x)f_a(x) établie à la question précédente.
    Lorsque xx \to -\infty, on a limxx2+a2=+\lim_{x \to -\infty} \sqrt{x^2+a^2} = +\infty et limx(x)=+\lim_{x \to -\infty} (-x) = +\infty.
    Par somme, le dénominateur tend vers ++\infty :
    limx(x2+a2x)=+\lim_{x \to -\infty} (\sqrt{x^2+a^2}-x) = +\infty
    Le numérateur a2a^2 étant constant, on en déduit par quotient que :
    limxfa(x)=0\lim_{x\to -\infty} f_a(x) = 0

Exercice 3

avance

Soit la fonction paramétrée fmf_m définie sur [0;3][0\,;\,3] par fm(x)=x22mx+3f_m(x) = x^2 - 2mx + 3, où mm est un nombre réel.

  1. 1. Soit mm un nombre réel. On considère la fonction fmf_m définie sur [0;3][0\,;\,3] par fm(x)=x22mx+3f_m(x) = x^2 - 2mx + 3. Justifier que fmf_m est continue sur [0;3][0\,;\,3] et établir que pour tout x[0;3]x \in [0\,;\,3], on a fm(x)=(xm)2+3m2f_m(x) = (x-m)^2 + 3 - m^2.

    Indice — Exprime fm(x)f_m(x) en regroupant les termes en xx sous un carré parfait.

    Correction

    En tant que fonction polynomiale, fmf_m est continue sur R\mathbb{R}, et donc en particulier sur l'intervalle [0;3][0\,;\,3]. En reconnaissant le début d'un carré parfait x22mx=(xm)2m2x^2 - 2mx = (x - m)^2 - m^2, on obtient directement la forme canonique : fm(x)=(xm)2+3m2f_m(x) = (x - m)^2 + 3 - m^2.

  2. 2. Calculer en fonction de mm les images des extrémités de l'intervalle [0;3][0\,;\,3], à savoir fm(0)f_m(0) et fm(3)f_m(3).

    Indice — Évalue directement fm(0)f_m(0) et fm(3)f_m(3).

    Correction

    Par calcul direct : fm(0)=022m(0)+3=3f_m(0) = 0^2 - 2m(0) + 3 = 3 et fm(3)=322m(3)+3=126mf_m(3) = 3^2 - 2m(3) + 3 = 12 - 6m.

  3. 3. Dans le cas où m0m \le 0, déterminer le sens de variation de fmf_m sur [0;3][0\,;\,3] puis en déduire l'intervalle image fm([0;3])f_m([0\,;\,3]).

    Indice — Compare (x1m)2(x_1-m)^2 et (x2m)2(x_2-m)^2 pour 0x1<x230 \le x_1 < x_2 \le 3 lorsque m0m \le 0.

    Correction

    Pour m0m \le 0 et x[0;3]x \in [0\,;\,3], on a xm0x - m \ge 0. La fonction carré étant strictement croissante sur [0;+[[0\,;\,+\infty[, fmf_m est strictement croissante sur [0;3][0\,;\,3]. Par continuité et stricte croissance, l'intervalle image est fm([0;3])=[fm(0);fm(3)]=[3;126m]f_m([0\,;\,3]) = [f_m(0)\,;\,f_m(3)] = [3\,;\,12 - 6m].

  4. 4. Dans le cas où m3m \ge 3, déterminer le sens de variation de fmf_m sur [0;3][0\,;\,3] puis en déduire l'intervalle image fm([0;3])f_m([0\,;\,3]).

    Indice — Étudie le signe de (x1m)2(x2m)2(x_1-m)^2 - (x_2-m)^2 pour 0x1<x230 \le x_1 < x_2 \le 3 lorsque m3m \ge 3.

    Correction

    Pour m3m \ge 3 et x[0;3]x \in [0\,;\,3], on a xm0x - m \le 0. La fonction carré étant strictement décroissante sur ];0]]-\infty\,;\,0], fmf_m est strictement décroissante sur [0;3][0\,;\,3]. Par continuité et stricte décroissance, l'intervalle image est fm([0;3])=[fm(3);fm(0)]=[126m;3]f_m([0\,;\,3]) = [f_m(3)\,;\,f_m(0)] = [12 - 6m\,;\,3].

  5. 5. Dans le cas où m]0;3[m \in ]0\,;\,3[, déterminer la valeur du minimum absolu de fmf_m sur [0;3][0\,;\,3] et préciser l'intervalle image fm([0;3])f_m([0\,;\,3]).

    Indice — Où se situe le sommet de la parabole par rapport à l'intervalle [0;3][0\,;\,3] lorsque m]0;3[m \in ]0\,;\,3[ ? Quel y est le minimum absolu ?

    Correction

    La parabole représentant fmf_m a son sommet en x=mx = m. Comme m]0;3[m \in ]0\,;\,3[, le sommet appartient à l'intervalle d'étude [0;3][0\,;\,3].

    Le coefficient de x2x^2 étant positif (a=1a=1), la fonction admet un minimum absolu en x=mx = m, de valeur fm(m)=3m2f_m(m) = 3 - m^2.

    Aux bornes, on a fm(0)=3f_m(0) = 3 et fm(3)=126mf_m(3) = 12 - 6m. L'intervalle image est donc fm([0;3])=[3m2;max(3,126m)]f_m([0\,;\,3]) = [3 - m^2\,;\, \max(3, 12 - 6m)].

  6. 6. Pour m]0;3[m \in ]0\,;\,3[, comparer l'intervalle obtenu par la simple évaluation aux bornes [min(fm(0),fm(3));max(fm(0),fm(3))][\min(f_m(0), f_m(3))\,;\, \max(f_m(0), f_m(3))] avec le véritable intervalle image fm([0;3])f_m([0\,;\,3]). Que remarque-t-on ?

    Indice — Compare la borne inférieure de [min(fm(0),fm(3));max(fm(0),fm(3))][\min(f_m(0), f_m(3))\,;\, \max(f_m(0), f_m(3))] et celle obtenue à la question précédente.

    Correction

    L'évaluation directe aux bornes donne l'intervalle [min(3,126m);max(3,126m)][\min(3, 12-6m)\,;\, \max(3, 12-6m)]. Sa borne inférieure est supérieure ou égale à min(3,126m)>3m2\min(3, 12-6m) > 3 - m^2.

    Le véritable intervalle image [3m2;max(3,126m)][3-m^2\,;\, \max(3, 12-6m)] descend plus bas que cette borne inférieure.

    On remarque qu'évaluer une fonction non monotone uniquement aux bornes sous-estime l'étendue de l'intervalle image en ignorant le minimum atteint à l'intérieur de l'intervalle.

  7. 7. Donner l'expression générale de l'intervalle image fm([0;3])f_m([0\,;\,3]) pour tout réel mm.

    Indice — Rassemble les résultats des trois cas disjoints sur mm : m0m \le 0, m]0;3[m \in ]0\,;\,3[ et m3m \ge 3.

    Correction

    On distingue trois cas selon la position du sommet x=mx = m par rapport à [0;3][0\,;\,3] :
    - Pour m0m \le 0 : fmf_m est strictement croissante sur [0;3][0\,;\,3], donc fm([0;3])=[fm(0);fm(3)]=[3;126m]f_m([0\,;\,3]) = [f_m(0)\,;\, f_m(3)] = [3\,;\, 12 - 6m].
    - Pour m]0;3[m \in ]0\,;\,3[ : d'après la question 5, fm([0;3])=[3m2;max(3,126m)]f_m([0\,;\,3]) = [3 - m^2\,;\, \max(3, 12 - 6m)].
    - Pour m3m \ge 3 : fmf_m est strictement décroissante sur [0;3][0\,;\,3], donc fm([0;3])=[fm(3);fm(0)]=[126m;3]f_m([0\,;\,3]) = [f_m(3)\,;\, f_m(0)] = [12 - 6m\,;\, 3].

  8. 8. Déterminer, suivant les valeurs du paramètre réel mm, le nombre de solutions dans [0;3][0\,;\,3] de l'équation fm(x)=2f_m(x) = 2.

    Indice — Vérifie si la valeur 22 appartient à l'intervalle image déterminé à la question précédente, et examine la stricte monotonie sur les sous-intervalles de monotonie.

    Correction

    En s'appuyant sur l'intervalle image et le théorème des valeurs intermédiaires (variations de fmf_m) :
    - Pour m<1m < 1 : la valeur minimale est 3m2>23 - m^2 > 2 (ou fm(0)=3>2f_m(0)=3 > 2 si m0m \le 0). 2otinfm([0;3])2
    otin f_m([0\,;\,3])
    , il y a 0 solution.
    - Pour m=1m = 1 : le minimum est f1(1)=2f_1(1) = 2, il y a 1 solution unique (x=1x = 1).
    - Pour 1<m531 < m \le \frac{5}{3} : 3m2<23 - m^2 < 2 et fm(3)2f_m(3) \ge 2. La valeur 22 est atteinte une fois sur [0;m][0\,;\,m] et une fois sur [m;3][m\,;\,3], soit 2 solutions.
    - Pour m>53m > \frac{5}{3} : 3m2<23 - m^2 < 2 mais fm(3)<2f_m(3) < 2. La valeur 22 n'est atteinte que sur [0;m][0\,;\,m], soit 1 solution.

Exercice 4

intermediaire

On considère la famille de fonctions fkf_k définies sur [0;+[[0\,;\,+\infty[ par :

fk(x)=4x2+12x+5kxf_k(x) = \sqrt{4x^2+12x+5} - kx

kk est un paramètre réel strictement positif.

  1. 1). Calculer la limite en ++\infty de la fonction f3f_3 définie par :
    f3(x)=4x2+12x+53xf_3(x) = \sqrt{4x^2+12x+5} - 3x

    Indice — Pour x>0x > 0, que vaut 4x2+12x+5\sqrt{4x^2+12x+5} après mise en facteur de x2x^2 sous le radical ?

    Correction

    Pour x>0x > 0, on factorise sous le radical par x2x^2 puis par xx dans l'expression :
    f3(x)=x(4+12x+5x23)f_3(x) = x \left( \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} - 3 \right)
    Comme limx+4+12x+5x2=2\lim_{x \to +\infty} \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} = 2, le terme entre parenthèses tend vers 23=12 - 3 = -1. Par produit avec limx+x=+\lim_{x \to +\infty} x = +\infty, on obtient limx+f3(x)=\lim_{x \to +\infty} f_3(x) = -\infty.

  2. 2). Calculer la limite en ++\infty de la fonction f1f_1 définie par :
    f1(x)=4x2+12x+5xf_1(x) = \sqrt{4x^2+12x+5} - x

    Indice — Applique la même réécriture par factorisation de xx que dans la question précédente.

    Correction

    En réutilisant la même factorisation par xx pour x>0x > 0 :
    f1(x)=x(4+12x+5x21)f_1(x) = x \left( \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} - 1 \right)
    Le terme entre parenthèses tend vers 21=1>02 - 1 = 1 > 0. Par produit avec limx+x=+\lim_{x \to +\infty} x = +\infty, on trouve limx+f1(x)=+\lim_{x \to +\infty} f_1(x) = +\infty.

  3. 3). Justifier qu'en factorisant par xx pour x>0x > 0, la recherche de limx+f2(x)\lim_{x \to +\infty} f_2(x) conduit à une forme indéterminée de la forme 0×0 \times \infty.

    Indice — Que vaut limx+(4+12x+5x22)\lim_{x \to +\infty} \left( \sqrt{4+\frac{12}{x}+\frac{5}{x^2}} - 2 \right) ?

    Correction

    En factorisant f2(x)f_2(x) par xx pour x>0x > 0, on écrit :
    f2(x)=x(4+12x+5x22)f_2(x) = x \left( \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} - 2 \right)
    Or, limx+x=+\lim_{x \to +\infty} x = +\infty et limx+(4+12x+5x22)=22=0\lim_{x \to +\infty} \left( \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} - 2 \right) = 2 - 2 = 0. Par produit des limites, on arrive directement à la forme indéterminée « 0×0 \times \infty ».

  4. 4). En transformant l'écriture de f2(x)f_2(x), déterminer la valeur exacte de limx+f2(x)\lim_{x \to +\infty} f_2(x).

    Indice — Multiplie et divise f2(x)f_2(x) par 4x2+12x+5+2x\sqrt{4x^2+12x+5} + 2x.

    Correction

    Pour lever l'indétermination, on multiplie et divise par l'expression conjuguée 4x2+12x+5+2x\sqrt{4x^2+12x+5} + 2x :
    f2(x)=(4x2+12x+5)4x24x2+12x+5+2x=12x+54x2+12x+5+2xf_2(x) = \frac{(4x^2+12x+5) - 4x^2}{\sqrt{4x^2+12x+5} + 2x} = \frac{12x + 5}{\sqrt{4x^2+12x+5} + 2x}
    En factorisant par xx au numérateur et au dénominateur puis en simplifiant, on obtient :
    f2(x)=12+5x4+12x+5x2+2f_2(x) = \frac{12 + \frac{5}{x}}{\sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} + 2}
    Au passage à la limite quand x+x \to +\infty, le numérateur tend vers 1212 et le dénominateur vers 2+2=42 + 2 = 4. Ainsi, limx+f2(x)=124=3\lim_{x \to +\infty} f_2(x) = \frac{12}{4} = 3.

  5. 5). À la lumière des résultats des questions précédentes, émettre une conjecture sur la valeur de limx+fk(x)\lim_{x \to +\infty} f_k(x) selon la position du paramètre kk par rapport au réel 22.

    Indice — Observe le comportement des limites obtenues pour k=1k=1, k=3k=3 et k=2k=2.

    Correction

    En observant les résultats obtenus pour k=1k=1, k=3k=3 et k=2k=2, on conjecture que :
    - Si 0<k<20 < k < 2, limx+fk(x)=+\lim_{x \to +\infty} f_k(x) = +\infty.
    - Si k=2k = 2, limx+f2(x)=3\lim_{x \to +\infty} f_2(x) = 3.
    - Si k>2k > 2, limx+fk(x)=\lim_{x \to +\infty} f_k(x) = -\infty.

  6. 6). Pour tout x>0x > 0, établir l'égalité :
    fk(x)=x(4+12x+5x2k)f_k(x) = x \left( \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} - k \right)
    et déterminer limx+(4+12x+5x2k)\lim_{x \to +\infty} \left( \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} - k \right) en fonction de k>0k > 0.

    Indice — Exprime fk(x)f_k(x) sous la forme xgk(x)x \cdot g_k(x) pour x>0x > 0 et étudie le signe de limx+gk(x)\lim_{x \to +\infty} g_k(x).

    Correction

    Pour tout x>0x > 0, on factorise x2x^2 sous la racine :
    4x2+12x+5=x2(4+12x+5x2)=x4+12x+5x2\sqrt{4x^2+12x+5} = \sqrt{x^2\left(4 + \frac{12}{x} + \frac{5}{x^2}\right)} = x \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}}
    car x2=x\sqrt{x^2} = x pour x>0x > 0. En factorisant ensuite par xx, on obtient bien l'égalité demandée.

    Comme limx+12x=0\lim_{x \to +\infty} \frac{12}{x} = 0 et limx+5x2=0\lim_{x \to +\infty} \frac{5}{x^2} = 0, par somme et composition avec la fonction racine carrée, on a limx+4+12x+5x2=4=2\lim_{x \to +\infty} \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} = \sqrt{4} = 2.
    On en déduit que limx+(4+12x+5x2k)=2k\lim_{x \to +\infty} \left( \sqrt{4 + \frac{12}{x} + \frac{5}{x^2}} - k \right) = 2 - k.

  7. 7). Démontrer rigoureusement la conjecture établie à la question 5 pour tout k>0k > 0.

    Indice — Distingue les trois cas : k]0;2[k \in ]0\,;\,2[, k]2;+[k \in ]2\,;\,+\infty[ (grâce à la question 6) et k=2k = 2 (grâce à la question 4).

    Correction

    On distingue trois cas en utilisant l'expression factorisée fk(x)=xgk(x)f_k(x) = x \cdot g_k(x) avec limx+gk(x)=2k\lim_{x \to +\infty} g_k(x) = 2 - k :

    - **Si k]0;2[k \in ]0\,;\,2[** : 2k>02 - k > 0. Par produit de limites, limx+fk(x)=(+)×(2k)=+\lim_{x \to +\infty} f_k(x) = (+\infty) \times (2-k) = +\infty.
    - **Si k]2;+[k \in ]2\,;\,+\infty[** : 2k<02 - k < 0. Par produit de limites, limx+fk(x)=(+)×(2k)=\lim_{x \to +\infty} f_k(x) = (+\infty) \times (2-k) = -\infty.
    - **Si k=2k = 2** : 2k=02 - k = 0, ce qui crée une forme indéterminée pour le produit. D'après la question 4 (obtenue par l'expression conjuguée), on a directement limx+f2(x)=3\lim_{x \to +\infty} f_2(x) = 3.

    La conjecture est ainsi entièrement démontrée.

Exercice 5

fondamental

On considère deux fonctions ff et gg définies par leurs expressions respectives sur leurs domaines d'étude. L'objectif est d'analyser le comportement de ces fonctions au voisinage de points particuliers.

  1. 1)a. Soit la fonction ff définie sur R\mathbb{R}^* par f(x)=1cos(2x)sin2(3x)f(x) = \dfrac{1-\cos(2x)}{\sin^2(3x)}. Exprimer f(x)f(x) pour tout xRx \in \mathbb{R}^* en faisant intervenir les quotients 1cos(2x)x2\dfrac{1-\cos(2x)}{x^2} et sin(3x)x\dfrac{\sin(3x)}{x}.

    Indice — Divise le numérateur et le dénominateur par x2x^2 en faisant apparaître les carrés nécessaires.

    Correction

    Pour tout xRx \in \mathbb{R}^*, en divisant le numérateur et le dénominateur par x2x^2, on fait apparaître les quotients demandés :
    f(x)=1cos(2x)x2sin2(3x)x2=1cos(2x)x2(sin(3x)x)2f(x) = \dfrac{\frac{1-\cos(2x)}{x^2}}{\frac{\sin^2(3x)}{x^2}} = \dfrac{\frac{1-\cos(2x)}{x^2}}{\left(\frac{\sin(3x)}{x}\right)^2}

  2. 1)b. Calculer la limite en 00 de chacun des deux quotients constitutifs obtenus précédemment.

    Indice — Rappelle-toi des limites usuelles en 00 pour les fonctions trigonométriques avec des paramètres scalaires.

    Correction

    On utilise les limites usuelles en 00 : limu01cosuu2=12\lim_{u \to 0} \frac{1-\cos u}{u^2} = \frac{1}{2} et limu0sinuu=1\lim_{u \to 0} \frac{\sin u}{u} = 1.
    - Par changement de variable u=2xu = 2x : limx01cos(2x)x2=limx04×1cos(2x)(2x)2=4×12=2\lim_{x \to 0} \dfrac{1-\cos(2x)}{x^2} = \lim_{x \to 0} 4 \times \dfrac{1-\cos(2x)}{(2x)^2} = 4 \times \dfrac{1}{2} = 2.
    - Par changement de variable u=3xu = 3x : limx0sin(3x)x=limx03×sin(3x)3x=3×1=3\lim_{x \to 0} \dfrac{\sin(3x)}{x} = \lim_{x \to 0} 3 \times \dfrac{\sin(3x)}{3x} = 3 \times 1 = 3.

  3. 1)c. En déduire la valeur de la limite de ff lorsque xx tend vers 00.

    Indice — Utilise le théorème algébrique sur la limite d'un quotient et d'une puissance.

    Correction

    En réutilisant l'écriture de la question 1)a et par théorèmes opératoires sur les limites (limite d'un quotient et d'un carré) :
    limx0f(x)=232=29\lim_{x \to 0} f(x) = \dfrac{2}{3^2} = \dfrac{2}{9}

  4. 1)d. Justifier que ff admet un prolongement par continuité en 00 et définir explicitement la fonction prolongée FF sur R\mathbb{R}.

    Indice — Observe l'ensemble de définition de ff : le point 00 appartient-il à DfD_f ? Quelle est la condition sur la limite pour définir un prolongement ?

    Correction

    Le point 00 n'appartient pas au domaine R\mathbb{R}^*, mais la fonction ff y admet une limite finie limx0f(x)=29\lim_{x \to 0} f(x) = \frac{2}{9}. ff est donc prolongeable par continuité en 00.
    Sa fonction prolongée FF est définie sur R\mathbb{R} par :
    F(x)={f(x)si x029si x=0F(x) = \begin{cases} f(x) & \text{si } x \neq 0 \\ \dfrac{2}{9} & \text{si } x = 0 \end{cases}

  5. 2)a. Soit gg la fonction définie sur R\mathbb{R} par g(x)=2x+1g(x) = 2x+1 si x<1x < 1 et g(x)=x2g(x) = x^2 si x1x \ge 1. Calculer les limites latérales de gg à gauche et à droite en 11, ainsi que l'image g(1)g(1).

    Indice — Calcule séparément l'expression pour x<1x < 1 et pour x>1x > 1 en tendant vers 11, ainsi que l'image de 11.

    Correction

    À gauche de 11 (x<1x < 1), limx1g(x)=limx1(2x+1)=3\lim_{x \to 1^-} g(x) = \lim_{x \to 1^-} (2x+1) = 3. À droite de 11 (x>1x > 1), limx1+g(x)=limx1+x2=1\lim_{x \to 1^+} g(x) = \lim_{x \to 1^+} x^2 = 1. Enfin, par définition pour x1x \ge 1, l'image est g(1)=12=1g(1) = 1^2 = 1.

  6. 2)b. Conclure quant à la continuité de gg en 11 et expliquer pourquoi la notion de prolongement par continuité ne s'applique pas à gg en ce point.

    Indice — Compare la limite à gauche et la limite à droite en 11, puis relis les hypothèses du théorème de prolongement par continuité.

    Correction

    Les limites latérales en 11 sont différentes (limx1g(x)=3limx1+g(x)=1\lim_{x \to 1^-} g(x) = 3 \neq \lim_{x \to 1^+} g(x) = 1), donc gg n'admet pas de limite en 11 et n'y est pas continue. De plus, le prolongement par continuité concerne uniquement les fonctions non définies en un point ; or gg est déjà définie sur R\mathbb{R} tout entier, dont 11.

Continuer sur Lumio

Ce chapitre compte 187 exercices dans Lumio, servis un par un selon ce que tu réussis et ce que tu rates, avec la correction détaillée à chaque étape.

Créer mon compte gratuitement