La gráfica de la función $f (x , y) = \dfrac{1}{xy} $ es una superficie $\mathcal{S}$ que NO contiene al origen.

$$\mathcal{S} = \Big\{ (x, y, z) \in \mathbb{R}^3 \big| z = \dfrac{1}{xy} , x \neq 0, y \neq 0 \Big\}$$

Queremos saber cuáles son los puntos de $\mathcal{S}$ que son más cercanos al origen, lo que es equivalente a minimizar la distancia al origen.

Entonces

$\Bigg\| \Bigg( x, y, \dfrac{1}{xy} \Bigg) \, – \, (0, 0, 0) \Bigg\| = \sqrt{x^2 + y^2 + \dfrac{1}{x^2 y^2} \, } $

pero minimizar $ f (x, y ) \geq 0 $ es equivalente a minimizar $f^2 (x, y) $

Entonces tenemos que minimizar $ F (x, y) = x^2 + y^2 + \dfrac{1}{x^2 y^2}$.

Precaución: $x \neq 0 $ y también $ y \neq 0 $; por lo que el dominio no es todo $\mathbb{R}^2.$

Analicemos cuando las derivadas parciales valen cero

$\dfrac{\partial f}{\partial x} = 2x + (-2) x^{-3} y^{-2} = 2x \, – \, \dfrac{2}{x^3 y^2} \Rightarrow 2x = \dfrac{2}{x^3 y^2} \Rightarrow x^4 y^2 = 1 $… (1)

$\dfrac{\partial f}{\partial y} = 2y + (-2) x^{-2} y^{-3} = 2y \, – \, \dfrac{2}{x^2 y^3} \Rightarrow 2y = \dfrac{2}{x^2 y^3} \Rightarrow x^2 y^4 = 1$

Por lo que $ x^2 y^4 = x^4 y^2 $ dado que $xy \neq 0 \; \Rightarrow \dfrac{x^2 y^4}{x^2 y^2} = \dfrac{x^4 y^2}{x^2 y^2} \Rightarrow x^2 = y^2 $… (2)

Sustituyendo según (2) en la expresión (1) tenemos que

$ x^4 y^2 = 1 \Rightarrow x^6 = 1 \Rightarrow x = \pm 1$ y por lo tanto $y = \pm 1$.

Por lo que se tienen cuatro puntos críticos, los puntos que corresponden a $( \pm 1, \pm 1).$

Observación

$F (\pm x, \pm y) = F (x, y) $ por lo que la gráfica de $F$ es simétrica respecto al plano $x = 0$ y respecto al plano $y = 0.$ Es decir, basta examinar lo que sucede en la región $x \geq 0 $ y $ y \geq 0.$

Los valores críticos correspondientes son

$F (\pm 1, \pm 1) = (\pm 1)^2 + (\pm 1)^2 + \dfrac{1}{(\pm 1)^2(\pm 1)^2} = 1 + 1 + 1 = 3$

Consideremos uno de los puntos críticos, por ejemplo el punto $( 1, 1)$. ¿Cuál es el polinomio de Taylor que aproxima a $F (x, y)$ cerca del punto $( 1, 1)$?

Calculamos las primeras derivadas parciales

$\dfrac{\partial F}{\partial x} = 2x \, – \, \dfrac{2}{x^3 y^2}$

$\dfrac{\partial F}{\partial y} = 2y \, – \, \dfrac{2}{x^2 y^3}$

Segundas derivadas parciales

$\dfrac{\partial^2 F}{\partial x^2} = 2 + \dfrac{6}{x^4 y^2} $

Luego $f_{xx} (1, 1) = 8$

Análogamente

$\dfrac{\partial^2 F}{\partial y^2} = 2 + \dfrac{6}{x^2 y^4} $

Luego $f_{yy} (1, 1) = 8$

Además

$\dfrac{\partial^2 F}{\partial y \, \partial x} = \dfrac{4}{x^3 y^3} $

Luego $f_{xy} (1, 1) = 4$

Entonces la matriz $H$ queda de la siguiente manera:

$$\begin{vmatrix} f_{xx} (1, 1) & f_{xy} (1, 1) \\ \\ f_{xy} (1, 1) & f_{yy} (1, 1) \end{vmatrix} = \begin{pmatrix} 8 & 4 \\ \\ 4 & 8 \end{pmatrix} = 4 \begin{pmatrix} 2 & 1 \\ \\ 1 & 2\end{pmatrix}$$

El determinante $det(H) = 3 > 0$

Y la traza es $4$

Por lo tanto, $F$ alcanza un valor mínimo en $ ( 1, 1).$

Entonces el polinomio de Taylor de 2° grado de $F$ alrededor del punto $( 1, 1)$ es

$$p ( x, y) = F ( 1, 1) + \dfrac{\partial F}{\partial x} ( 1, 1) (x \, – \, 1) + \dfrac{\partial F}{\partial y} ( 1, 1) (y \, – \, 1) + \dfrac{1}{2} \Big( \dfrac{\partial^2 F}{\partial x^2} ( 1, 1) (x \, – \, 1)^2 + 2 \dfrac{\partial^2 F}{\partial x \, \partial y} ( 1, 1) (x \, – \, 1) (y \, – \, 1) + \dfrac{\partial^2 F}{\partial y^2} ( 1, 1) (y \, – \, 1) \Big)$$

$$p ( x, y) = 3 + \dfrac{1}{2}\Big( 8 (x \, – \, 1)^2 + 8 (x \, – \, 1) (y \, – \, 1) + 8 (y \, – \, 1)^2 \Big)$$

$$p ( x, y) = 3 + 4 \Big( (x \, – \, 1)^2 + (x \, – \, 1) (y \, – \, 1) + (y \, – \, 1)^2 \Big)$$

Luego, uno de los puntos de $\mathcal{S}$ más cercanos al $(0, 0)$ es el punto $(1, 1, 1)$, así como también los puntos $(1, \, – \,1, \, – \,1)$, $(\, – \, 1, \, – \, 1, 1)$ , y $(\, – \, 1, 1, \, – \, 1)$.

La distancia desde cada uno de estos puntos al origen es $\sqrt{3}.$

https://www.geogebra.org/classic/jwnw4fb9