Vous cherchez à déterminer s’il existe un réel strictement positif $C$ minimal tel que, quels que soit les réels strictement positifs $a$ et $b\comma$ vous ayez :
Définissez une fonction
Soit $b$ un réel strictement positif fixé.
Pour tout réel $x$ strictement positif, vous posez :
Étudiez la fonction $g_b$
Soit $b$ un réel strictement positif fixé.
La fonction $g_b$ est dérivable sur $]0,+\infty[$ et pour tout $x$ de cet intervalle :
Il s’ensuit que la fonction $g_b$ est strictement croissante sur l’intervalle $]0,b].$ Elle est strictement décroissante sur l’intervalle $[b,+\infty[.$
Ainsi, la fonction $g_b$ admet un maximum en $b$ et ce maximum vaut :
Du coup, vous avez montré que :
Concluez
D’après ce qui précède, si $b$ est un réel strictement positif fixé et si $a$ un réel strictement positif, vous avez $g_b(a)\leq \sqrt{2}$ ce qui fournit
En prenant $C = \sqrt{2}$ vous avez montré que :
Le nombre $C$ est optimal dans l’inégalité précédente. En effet, supposez qu’il existe un réel $D$ strictement positif tel que :
En prenant $a=b=1\comma$ vous obtenez :
