Dérivation et convexité

Problème 1 : Optimisation de la surface d'une boîte de conserve
Énoncé
On souhaite concevoir une boîte de conserve cylindrique fermée de volume fixé V=1 dm3V = 1 \text{ dm}^3 (1000 cm31000 \text{ cm}^3). On note rr le rayon de la base du cylindre (en cm) et hh sa hauteur (en cm).
  • Exprimer le volume VV en fonction de rr et hh. En déduire hh en fonction de rr.
  • Montrer que l'aire totale S(r)S(r) de la boîte de conserve (les deux bases circulaires et la paroi latérale) est donnée par :
S(r)=2πr2+2000rS(r) = 2\pi r^2 + \frac{2000}{r}
  • Étudier les variations de la fonction SS sur ]0,+[]0, +\infty[.
  • En déduire le rayon r0r_0 (en cm) qui permet de minimiser la quantité de métal utilisée pour fabriquer cette boîte. Calculer alors la hauteur correspondante h0h_0 et montrer que h0=2r0h_0 = 2r_0.

Solution :

  • Le volume d'un cylindre est donné par : V=πr2hV = \pi r^2 h. Puisque V=1000V = 1000, on a πr2h=1000    h=1000πr2\pi r^2 h = 1000 \implies h = \frac{1000}{\pi r^2}.
  • L'aire totale est la somme de l'aire latérale et de l'aire des deux bases :
S(r)=2×(πr2)+2πrh=2πr2+2πr(1000πr2)=2πr2+2000rS(r) = 2 \times (\pi r^2) + 2\pi r h = 2\pi r^2 + 2\pi r \left( \frac{1000}{\pi r^2} \right) = 2\pi r^2 + \frac{2000}{r}
  • La fonction SS est dérivable sur ]0,+[]0, +\infty[ :
S(r)=4πr2000r2=4πr32000r2=4(πr3500)r2S'(r) = 4\pi r - \frac{2000}{r^2} = \frac{4\pi r^3 - 2000}{r^2} = \frac{4(\pi r^3 - 500)}{r^2}
Le dénominateur r2r^2 étant positif, le signe de S(r)S'(r) est celui de πr3500\pi r^3 - 500.
S(r)0    πr35000    r3500π    r500π35,42 cmS'(r) \ge 0 \iff \pi r^3 - 500 \ge 0 \iff r^3 \ge \frac{500}{\pi} \iff r \ge \sqrt[3]{\frac{500}{\pi}} \approx 5,42 \text{ cm}
La fonction SS est donc strictement décroissante sur ]0,500π3]\left]0, \sqrt[3]{\frac{500}{\pi}}\right] et strictement croissante sur [500π3,+[\left[\sqrt[3]{\frac{500}{\pi}}, +\infty\right[.
  • L'aire est minimale pour le rayon :
r0=500π35,42 cmr_0 = \sqrt[3]{\frac{500}{\pi}} \approx 5,42 \text{ cm}
Calculons la hauteur h0h_0 correspondante en utilisant r03=500πr_0^3 = \frac{500}{\pi} :
h0=1000πr02=2×500πr02=2×(πr03)πr02=2r0h_0 = \frac{1000}{\pi r_0^2} = \frac{2 \times 500}{\pi r_0^2} = \frac{2 \times (\pi r_0^3)}{\pi r_0^2} = 2r_0
La hauteur optimale est égale au diamètre du cylindre, ce qui donne une boîte bien proportionnée.
Problème 2 : Recherche de tangentes communes
Énoncé
On considère la courbe C1\mathcal{C}_1 associée à la fonction f(x)=x2f(x) = x^2 et la courbe C2\mathcal{C}_2 associée à la fonction g(x)=x2+2x3g(x) = -x^2 + 2x - 3. Déterminer s'il existe une ou plusieurs droites tangentes simultanément à C1\mathcal{C}_1 et C2\mathcal{C}_2. Si oui, donner leurs équations.

Solution : Soit aa l'abscisse du point de tangence sur C1\mathcal{C}_1 et bb l'abscisse du point de tangence sur C2\mathcal{C}_2.

  • L'équation de la tangente Ta\mathcal{T}_a à C1\mathcal{C}_1 en aa est (avec f(x)=2xf'(x) = 2x) :
y=f(a)(xa)+f(a)    y=2ax2a2+a2    y=2axa2y = f'(a)(x-a) + f(a) \implies y = 2ax - 2a^2 + a^2 \implies y = 2ax - a^2
  • L'équation de la tangente Tb\mathcal{T}_b à C2\mathcal{C}_2 en bb est (avec g(x)=2x+2g'(x) = -2x+2) :
y=g(b)(xb)+g(b)    y=(2b+2)(xb)b2+2b3    y=(22b)x+b23y = g'(b)(x-b) + g(b) \implies y = (-2b+2)(x-b) - b^2 + 2b - 3 \implies y = (2-2b)x + b^2 - 3
Les deux droites sont confondues si et seulement si leurs coefficients directeurs et leurs ordonnées à l'origine sont égaux, d'où le système :
{2a=22ba2=b23    {a=1b(1b)2=b23\begin{cases} 2a = 2 - 2b \\ -a^2 = b^2 - 3 \end{cases} \iff \begin{cases} a = 1 - b \\ -(1 - b)^2 = b^2 - 3 \end{cases}
En développant la seconde équation :
(12b+b2)=b23    1+2bb2=b23    2b22b2=0    b2b1=0-(1 - 2b + b^2) = b^2 - 3 \iff -1 + 2b - b^2 = b^2 - 3 \iff 2b^2 - 2b - 2 = 0 \iff b^2 - b - 1 = 0
Le discriminant est Δ=(1)24(1)(1)=5>0\Delta = (-1)^2 - 4(1)(-1) = 5 > 0. Les solutions pour bb sont b1=152b_1 = \frac{1-\sqrt{5}}{2} et b2=1+52b_2 = \frac{1+\sqrt{5}}{2}.
  • Si b=b1=152b = b_1 = \frac{1-\sqrt{5}}{2}, alors le coefficient directeur est m1=22b1=1+5m_1 = 2-2b_1 = 1+\sqrt{5}, et a1=1b1=1+52a_1 = 1-b_1 = \frac{1+\sqrt{5}}{2}. L'ordonnée à l'origine est a12=(1+52)2=3+52-a_1^2 = -\left(\frac{1+\sqrt{5}}{2}\right)^2 = -\frac{3+\sqrt{5}}{2}. L'équation de la première tangente commune est : y=(1+5)x3+52y = (1+\sqrt{5})x - \frac{3+\sqrt{5}}{2}.
  • Si b=b2=1+52b = b_2 = \frac{1+\sqrt{5}}{2}, alors le coefficient directeur est m2=22b2=15m_2 = 2-2b_2 = 1-\sqrt{5}, et a2=1b2=152a_2 = 1-b_2 = \frac{1-\sqrt{5}}{2}. L'ordonnée à l'origine est a22=(152)2=352-a_2^2 = -\left(\frac{1-\sqrt{5}}{2}\right)^2 = -\frac{3-\sqrt{5}}{2}. L'équation de la deuxième tangente commune est : y=(15)x352y = (1-\sqrt{5})x - \frac{3-\sqrt{5}}{2}.

Il existe donc exactement deux tangentes communes aux deux courbes.

Problème 3 : Étude d'une fonction logarithme et branches infinies
Énoncé
Soit la fonction ff définie sur l'intervalle ]0,+[]0, +\infty[ par :
f(x)=x1+ln(x)xf(x) = x - 1 + \frac{\ln(x)}{x}
On note Cf\mathcal{C}_f sa courbe représentative dans un repère orthonormé.
  • Calculer la limite de ff en 0+0^+. Donner une interprétation géométrique du résultat.
  • Calculer la limite de ff en ++\infty, puis montrer que la droite DD d'équation y=x1y = x - 1 est une asymptote oblique à la courbe Cf\mathcal{C}_f en ++\infty.
  • Étudier la position relative de la courbe Cf\mathcal{C}_f et de la droite DD.
  • Calculer la dérivée f(x)f'(x) et montrer que pour tout x>0x > 0 :
f(x)=x2+1ln(x)x2f'(x) = \frac{x^2 + 1 - \ln(x)}{x^2}
  • On admet que pour tout x>0x > 0, x2+1ln(x)>0x^2 + 1 - \ln(x) > 0. Dresser le tableau de variations de ff.
  • Démontrer que ff réalise une bijection de ]0,+[]0, +\infty[ sur R\R.

Solution :

  • En 0+0^+ : On a limx0+(x1)=1\lim_{x \to 0^+} (x-1) = -1. Puisque limx0+ln(x)=\lim_{x \to 0^+} \ln(x) = -\infty et limx0+1x=+\lim_{x \to 0^+} \frac{1}{x} = +\infty, on a par produit limx0+ln(x)x=\lim_{x \to 0^+} \frac{\ln(x)}{x} = -\infty. Par somme de limites, on en conclut :
limx0+f(x)=\lim_{x \to 0^+} f(x) = -\infty
Interprétation géométrique : La droite d'équation x=0x = 0 (l'axe des ordonnées) est une asymptote verticale à la courbe Cf\mathcal{C}_f.
  • En ++\infty : On a limx+(x1)=+\lim_{x \to +\infty} (x-1) = +\infty. D'après le cours sur les croissances comparées, limx+ln(x)x=0\lim_{x \to +\infty} \frac{\ln(x)}{x} = 0. Par somme :
limx+f(x)=+\lim_{x \to +\infty} f(x) = +\infty
Pour l'asymptote oblique : calculons la différence f(x)(x1)f(x) - (x-1) :
limx+[f(x)(x1)]=limx+ln(x)x=0\lim_{x \to +\infty} [f(x) - (x-1)] = \lim_{x \to +\infty} \frac{\ln(x)}{x} = 0
La droite DD d'équation y=x1y = x-1 est donc bien une asymptote oblique à la courbe Cf\mathcal{C}_f en ++\infty.
  • Étudions le signe de la différence f(x)(x1)=ln(x)xf(x) - (x-1) = \frac{\ln(x)}{x} sur ]0,+[]0, +\infty[ : Le dénominateur xx étant strictement positif, la différence est du signe de ln(x)\ln(x) :
  • Si 0<x<10 < x < 1, ln(x)<0\ln(x) < 0 : la courbe Cf\mathcal{C}_f est située en dessous de la droite DD.
  • Si x>1x > 1, ln(x)>0\ln(x) > 0 : la courbe Cf\mathcal{C}_f est située au-dessus de la droite DD.
  • Si x=1x = 1, la courbe Cf\mathcal{C}_f et la droite DD se coupent au point de coordonnées (1,0)(1, 0).
  • La fonction ff est dérivable sur ]0,+[]0, +\infty[ comme somme de fonctions dérivables :
f(x)=10+1x×xln(x)×1x2=1+1ln(x)x2=x2+1ln(x)x2f'(x) = 1 - 0 + \frac{\frac{1}{x} \times x - \ln(x) \times 1}{x^2} = 1 + \frac{1 - \ln(x)}{x^2} = \frac{x^2 + 1 - \ln(x)}{x^2}
  • D'après l'indication, x2+1ln(x)>0x^2 + 1 - \ln(x) > 0 pour tout x>0x > 0. De plus, x2>0x^2 > 0. La dérivée f(x)f'(x) est donc strictement positive sur ]0,+[]0, +\infty[. La fonction ff est strictement croissante sur ]0,+[]0, +\infty[.
  • La fonction ff est continue (car dérivable) et strictement croissante sur l'intervalle I=]0,+[I = ]0, +\infty[. D'après le théorème de la bijection, ff réalise une bijection de II sur l'intervalle image J=f(I)J = f(I) :
J=]limx0+f(x),limx+f(x)[=],+[=RJ = \left] \lim_{x \to 0^+} f(x), \lim_{x \to +\infty} f(x) \right[ = ]-\infty, +\infty[ = \R
Problème 4 : Concavité d'une fonction exponentielle
Énoncé
Soit la fonction ff définie sur R\R par :
f(x)=(x2)ex+x+2f(x) = (x-2)e^x + x + 2
On note Cf\mathcal{C}_f sa courbe représentative.
  • Calculer la dérivée première f(x)f'(x) et la dérivée seconde f(x)f''(x) sur R\R.
  • Étudier le signe de f(x)f''(x) sur R\R.
  • En déduire la concavité de la courbe Cf\mathcal{C}_f.
  • Montrer que la courbe Cf\mathcal{C}_f admet un point d'inflexion unique II dont on donnera les coordonnées.

Solution :

  • La fonction ff est deux fois dérivable sur R\R par somme et produit de fonctions de référence :
  • Dérivée première :
f(x)=1ex+(x2)ex+1=(x1)ex+1f'(x) = 1 \cdot e^x + (x-2)e^x + 1 = (x-1)e^x + 1
  • Dérivée seconde :
f(x)=1ex+(x1)ex=xexf''(x) = 1 \cdot e^x + (x-1)e^x = x e^x
  • Étudions le signe de f(x)=xexf''(x) = x e^x sur R\R : La fonction exponentielle exe^x étant strictement positive pour tout réel xx, la dérivée seconde f(x)f''(x) est du signe de xx :
  • Pour x<0x < 0, f(x)<0f''(x) < 0.
  • Pour x>0x > 0, f(x)>0f''(x) > 0.
  • Pour x=0x = 0, f(x)=0f''(x) = 0.
  • D'après le théorème du cours :
  • Sur l'intervalle ],0]]-\infty, 0], f(x)0f''(x) \le 0, donc la courbe Cf\mathcal{C}_f est concave.
  • Sur l'intervalle [0,+[[0, +\infty[, f(x)0f''(x) \ge 0, donc la courbe Cf\mathcal{C}_f est convexe.
  • La dérivée seconde ff'' s'annule en 0 et change de signe autour de 0. La courbe Cf\mathcal{C}_f admet donc un unique point d'inflexion II d'abscisse x=0x=0. Calculons l'ordonnée de II :
f(0)=(02)e0+0+2=2×1+2=0f(0) = (0-2)e^0 + 0 + 2 = -2 \times 1 + 2 = 0
Le point d'inflexion est l'origine du repère I(0,0)I(0, 0).
Problème supplémentaire : Convexité et inégalité
Énoncé
Soient a,b>0a, b > 0. Étudier la convexité de la fonction logarithme et en déduire l'inégalité aba+b2\sqrt{ab} \le \frac{a+b}{2}.

Solution :

  • Soit f(x)=ln(x)f(x) = \ln(x). On a f(x)=1xf'(x) = \frac{1}{x} et f(x)=1x2f''(x) = -\frac{1}{x^2}. Comme f(x)<0f''(x) < 0 pour tout x>0x > 0, la fonction logarithme est strictement concave sur ]0,+[]0, +\infty[.
  • Par définition de la concavité, pour tous a,b>0a, b > 0, on a :
f(a+b2)f(a)+f(b)2    ln(a+b2)ln(a)+ln(b)2f\left(\frac{a+b}{2}\right) \ge \frac{f(a)+f(b)}{2} \implies \ln\left(\frac{a+b}{2}\right) \ge \frac{\ln(a)+\ln(b)}{2}
On sait que ln(a)+ln(b)2=12ln(ab)=ln(ab)\frac{\ln(a)+\ln(b)}{2} = \frac{1}{2} \ln(ab) = \ln(\sqrt{ab}). L'inégalité devient :
ln(a+b2)ln(ab)\ln\left(\frac{a+b}{2}\right) \ge \ln(\sqrt{ab})
Comme la fonction logarithme est strictement croissante sur ]0,+[]0, +\infty[, on en déduit par composition inverse :
a+b2ab\frac{a+b}{2} \ge \sqrt{ab}
Ce qui prouve que la moyenne géométrique de deux nombres positifs est toujours inférieure ou égale à leur moyenne arithmétique.
Problème 5 : Points d'inflexion d'une famille de courbes
Énoncé
Pour tout réel k0k \ne 0, on considère la fonction fkf_k définie sur R\R par :
fk(x)=x33kx2f_k(x) = x^3 - 3kx^2
On note Ck\mathcal{C}_k sa courbe représentative.
  • Calculer la dérivée seconde fk(x)f_k''(x).
  • Montrer que pour tout k0k \ne 0, la courbe Ck\mathcal{C}_k admet un unique point d'inflexion IkI_k dont on calculera les coordonnées en fonction de kk.
  • Montrer que lorsque kk varie dans R\R^*, le point IkI_k se déplace sur une courbe fixe Γ\Gamma d'équation y=2x3y = -2x^3.

Solution :

  • Calculons les dérivées successives :
fk(x)=3x26kx    fk(x)=6x6k=6(xk)f_k'(x) = 3x^2 - 6kx \implies f_k''(x) = 6x - 6k = 6(x-k)
  • La dérivée seconde fk(x)=6(xk)f_k''(x) = 6(x-k) s'annule en changeant de signe en x=kx = k (elle est négative pour x<kx < k et positive pour x>kx > k). La courbe Ck\mathcal{C}_k possède donc un unique point d'inflexion IkI_k d'abscisse xI=kx_I = k. Calculons l'ordonnée correspondante yI=fk(k)y_I = f_k(k) :
yI=k33k(k2)=k33k3=2k3y_I = k^3 - 3k(k^2) = k^3 - 3k^3 = -2k^3
Les coordonnées du point d'inflexion sont donc :
Ik(k,2k3)I_k(k, -2k^3)
  • Soit (x,y)(x, y) les coordonnées de IkI_k. On a :
{x=ky=2k3    y=2x3\begin{cases} x = k \\ y = -2k^3 \end{cases} \implies y = -2x^3
Lorsque kk varie dans R\R^*, les coordonnées de IkI_k vérifient l'équation y=2x3y = -2x^3. Le point IkI_k se déplace donc bien sur la courbe fixe Γ\Gamma d'équation y=2x3y = -2x^3.