Solución
Primero, calculamos f ( x 0 , y 0 ) , f x ( x 0 , y 0 ) f(x_0, y_0), f_x(x_0, y_0) f ( x 0 , y 0 ) , f x ( x 0 , y 0 ) y f y ( x 0 , y 0 ) f_y(x_0, y_0) f y ( x 0 , y 0 ) usando x 0 = 2 x_0 = 2 x 0 = 2 e y 0 = − 3 y_0 = −3 y 0 = − 3 , luego usamos la ecuación 4.26:
f ( 2 , − 3 ) = 2 ( 2 ) 2 − 4 ( − 3 ) = 8 + 12 = 20 f x ( 2 , − 3 ) = 4 ( 2 ) = 8 f y ( 2 , − 3 ) = − 4. \begin{aligned}
f(2, −3) &= 2(2)^2 − 4(−3) = 8 + 12 = 20\\
f_x (2, −3) &= 4(2) = 8\\
f_y (2, −3) &= −4.
\end{aligned} f ( 2 , − 3 ) f x ( 2 , − 3 ) f y ( 2 , − 3 ) = 2 ( 2 ) 2 − 4 ( − 3 ) = 8 + 12 = 20 = 4 ( 2 ) = 8 = − 4.
Por lo tanto, m 1 = 8 m_1 = 8 m 1 = 8 y m 2 = − 4 m_2 = −4 m 2 = − 4 , y la ecuación 4.26 se convierte en
f ( x , y ) = f ( 2 , − 3 ) + f x ( 2 , − 3 ) ( x − 2 ) + f y ( 2 , − 3 ) ( y + 3 ) + E ( x , y ) 2 x 2 − 4 y = 20 + 8 ( x − 2 ) − 4 ( y + 3 ) + E ( x , y ) 2 x 2 − 4 y = 20 + 8 x − 16 − 4 y − 12 + E ( x , y ) 2 x 2 − 4 y = 8 x − 4 y − 8 + E ( x , y ) E ( x , y ) = 2 x 2 − 8 x + 8 \begin{aligned}
f(x, y) &= f(2, −3) + f_x(2, −3)(x − 2) + f_y(2, −3)(y + 3) + E(x, y)\\
2x^2 − 4y &= 20 + 8(x − 2) − 4(y + 3) + E(x, y)\\
2x^2 − 4y &= 20 + 8x − 16 − 4y − 12 + E(x, y)\\
2x^2 − 4y &= 8x − 4y − 8 + E(x, y)\\
E(x, y) &= 2x^2 -8x + 8
\end{aligned} f ( x , y ) 2 x 2 − 4 y 2 x 2 − 4 y 2 x 2 − 4 y E ( x , y ) = f ( 2 , − 3 ) + f x ( 2 , − 3 ) ( x − 2 ) + f y ( 2 , − 3 ) ( y + 3 ) + E ( x , y ) = 20 + 8 ( x − 2 ) − 4 ( y + 3 ) + E ( x , y ) = 20 + 8 x − 16 − 4 y − 12 + E ( x , y ) = 8 x − 4 y − 8 + E ( x , y ) = 2 x 2 − 8 x + 8
A continuación, calculamos el límite
lim ( x , y ) → ( x 0 , y 0 ) E ( x , y ) ( x − x 0 ) 2 + ( y − y 0 ) 2 = lim ( x , y ) → ( 2 , − 3 ) 2 x 2 − 8 x + 8 ( x − 2 ) 2 + ( y + 3 ) 2 = lim ( x , y ) → ( 2 , − 3 ) 2 ( x 2 − 4 x + 4 ) ( x − 2 ) 2 + ( y + 3 ) 2 = lim ( x , y ) → ( 2 , − 3 ) 2 ( x − 2 ) 2 ( x − 2 ) 2 + ( y + 3 ) 2 ≤ lim ( x , y ) → ( 2 , − 3 ) 2 ( ( x − 2 ) 2 + ( y + 3 ) 2 ) ( x − 2 ) 2 + ( y + 3 ) 2 = lim ( x , y ) → ( 2 , − 3 ) 2 ( x − 2 ) 2 + ( y + 3 ) 2 = 0 \begin{aligned}
\lim\limits_{(x, y) \to (x_0, y_0)}\frac{E(x, y)}{\sqrt{(x - x_0)^2 + (y - y_0)^2}} &= \lim\limits_{(x, y) \to (2, -3)}\frac{2x^2 -8x + 8}{\sqrt{(x - 2)^2 + (y + 3)^2}}\\
&= \lim\limits_{(x, y) \to (2, -3)}\frac{2(x^2 -4x + 4)}{\sqrt{(x - 2)^2 + (y + 3)^2}}\\
&= \lim\limits_{(x, y) \to (2, -3)}\frac{2(x - 2)^2}{\sqrt{(x - 2)^2 + (y + 3)^2}}\\
&\le \lim\limits_{(x, y) \to (2, -3)}\frac{2\bigg((x - 2)^2 + (y + 3)^2\bigg)}{\sqrt{(x - 2)^2 + (y + 3)^2}}\\
&= \lim\limits_{(x, y) \to (2, -3)}2\sqrt{(x - 2)^2 + (y + 3)^2}\\
&= 0
\end{aligned} ( x , y ) → ( x 0 , y 0 ) lim ( x − x 0 ) 2 + ( y − y 0 ) 2 E ( x , y ) = ( x , y ) → ( 2 , − 3 ) lim ( x − 2 ) 2 + ( y + 3 ) 2 2 x 2 − 8 x + 8 = ( x , y ) → ( 2 , − 3 ) lim ( x − 2 ) 2 + ( y + 3 ) 2 2 ( x 2 − 4 x + 4 ) = ( x , y ) → ( 2 , − 3 ) lim ( x − 2 ) 2 + ( y + 3 ) 2 2 ( x − 2 ) 2 ≤ ( x , y ) → ( 2 , − 3 ) lim ( x − 2 ) 2 + ( y + 3 ) 2 2 ( ( x − 2 ) 2 + ( y + 3 ) 2 ) = ( x , y ) → ( 2 , − 3 ) lim 2 ( x − 2 ) 2 + ( y + 3 ) 2 = 0
Como E ( x , y ) ≥ 0 E(x, y) \ge 0 E ( x , y ) ≥ 0 para cualquier valor de x x x o y y y , el límite original debe ser igual a cero. Por lo tanto, f ( x , y ) = 2 x 2 − 4 y f(x, y) = 2x^2−4y f ( x , y ) = 2 x 2 − 4 y es diferenciable en el punto ( 2 , − 3 ) (2, −3) ( 2 , − 3 ) .