Cependant, les dimensions ne sont pas indépendantes. La contrainte d’avoir un volume \(V\) se traduit par
\begin{gather*}
xyz = V\text{.}
\end{gather*}
Nous pouvons utiliser cette contrainte pour éliminer une variable. Puisque \(z\) se trouve à la fin de l’alphabet, éliminons \(z\) en remplaçant \(z=\frac{V}{xy}\text{.}\) Nous devons donc trouver les valeurs de \(x\) et \(y\) qui minimisent la fonction
\begin{gather*}
S(x,y) = \frac{2V}{y} + \frac{2V}{x} + xy\text{.}
\end{gather*}
Commençons par trouver les points critiques de \(S\text{.}\) Puisque
\begin{align*}
S_x(x,y) &= -\frac{2V}{x^2} + y \qquad \text{ et } &
S_y(x,y) = -\frac{2V}{y^2} + x\text{,}
\end{align*}
\((x,y)\) est un point critique si et seulement si
\begin{align*}
x^2y&=2V, \tag{E1}\\
xy^2&=2V \tag{E2}\text{.}
\end{align*}
On résout (E1) pour \(y\text{,}\) ce qui donne \(y=\frac{2V}{x^2}\text{.}\) En remplaçant dans (E2), on obtient
\begin{gather*}
x\frac{4V^2}{x^4}=2V \implies
x^3 = 2V \implies x = \root{3}\of{2V}\quad\text{et}\quad
y = \frac{2V}{(2V)^{2/3}} = \root{3}\of{2V}\text{.}
\end{gather*}
Comme il n’y a qu’un point critique, on peut espérer qu’il donne lieu à un minimum. Utilisons le test de la dérivée seconde. Les dérivées partielles requises sont
\begin{align*}
S_{xx}(x,y)&=\frac{4V}{x^3}, &
S_{xx}\left(\root{3}\of{2V},\,\root{3}\of{2V}\right)&=2,\\
S_{xy}(x,y)&=1,&
S_{xy}\left(\root{3}\of{2V},\,\root{3}\of{2V}\right)&=1,\\
S_{yy}(x,y)&=\frac{4V}{y^3}, &
S_{yy}\left(\root{3}\of{2V},\,\root{3}\of{2V}\right)&=2\text{.}
\end{align*}
Alors,
\begin{align*}
S_{xx}\left(\root{3}\of{2V},\,\root{3}\of{2V}\right)\
S_{yy}\left(\root{3}\of{2V},\,\root{3}\of{2V}\right)
-S_{xy}\left(\root{3}\of{2V},\,\root{3}\of{2V}\right)^2
&=3 \gt 0,\\
S_{xx}\left(\root{3}\of{2V},\,\root{3}\of{2V}\right)&=2 \gt 0\text{,}
\end{align*}
et, en vertu du
théorème 2.8.21,
\(\left(\root{3}\of{2V},\,\root{3}\of{2V}\right)\) est un point de minimum local. Ainsi, les dimensions requises sont
\begin{gather*}
x=y=\root{3}\of{2V},\qquad
z=\root{3}\of{\frac{V}{4}}\text{.}
\end{gather*}
Remarquons que, dans la solution, nous avons \(x=y\text{.}\) C’est une bonne chose : la fonction \(S(x,y)\) est symétrique en \(x\) et \(y\text{.}\) Puisque la boîte n’a pas de couvercle, la symétrie ne dépend pas de \(z\text{.}\)