Planos tangentes

Así como la derivada de una sola variable se puede usar para encontrar las rectas tangentes a
una curva, las derivadas parciales se pueden usar para encontrar el plano tangente a una
superficie.

 Derivadas parciales

Qué vamos a construir

 Un plano tangente a una función de dos variables f(x, y)f(x,y)f, left
parenthesis, x, comma, y, right parenthesis es, bueno, un plano que es
tangente a su gráfica.
 La ecuación del plano tangente de la gráfica de una función de dos
variables f(x, y)f(x,y)f, left parenthesis, x, comma, y, right parenthesis en
un punto particular (x_0, y_0)(x0,y0)left parenthesis, x, start subscript, 0,
end subscript, comma, y, start subscript, 0, end subscript, right
parenthesis se ve así:
T(x, y) = f(x_0, y_0) + {f_\blueE{x}(x_0, y_0)}(\blueE{x}-
x_0) + {f_\redE{y}(x_0, y_0)}(\redE{y}-y_0)T(x,y)=f(x0,y0
)+fx(x0,y0)(x−x0)+fy(x0,y0)(y−y0)T, left parenthesis, x, comma, y,
right parenthesis, equals, f, left parenthesis, x, start subscript, 0, end
subscript, comma, y, start subscript, 0, end subscript, right parenthesis,
plus, f, start subscript, start color #0c7f99, x, end color #0c7f99, end
subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y,
start subscript, 0, end subscript, right parenthesis, left parenthesis, start
color #0c7f99, x, end color #0c7f99, minus, x, start subscript, 0, end
subscript, right parenthesis, plus, f, start subscript, start color #bc2612, y,
end color #bc2612, end subscript, left parenthesis, x, start subscript, 0,
end subscript, comma, y, start subscript, 0, end subscript, right
parenthesis, left parenthesis, start color #bc2612, y, end color #bc2612,
minus, y, start subscript, 0, end subscript, right parenthesis

La tarea inmediata
Piensa acerca de una función escalar con una entrada con dos
coordenadas, como esta:
f(x, y) = -x^2 - y^2 + 3f(x,y)=−x2−y2+3f, left parenthesis, x,
comma, y, right parenthesis, equals, minus, x, squared, minus, y,
squared, plus, 3
De manera intuitiva, es común visualizar una función como esta con su
gráfica tridimensional.
Recuerda que puedes describir esta gráfica de manera más técnica al
describirla como un cierto conjunto de puntos en el espacio
tridimensional. Específicamente, son todos los puntos que se ven así:
(x, y, f(x, y)) = (x, y, -x^2-
y^2+3)(x,y,f(x,y))=(x,y,−x2−y2+3)left parenthesis, x, comma, y,
comma, f, left parenthesis, x, comma, y, right parenthesis, right
parenthesis, equals, left parenthesis, x, comma, y, comma, minus, x,
squared, minus, y, squared, plus, 3, right parenthesis

Aquí, xxx y yyy pueden estar en todos los números reales.

Un plano tangente a esta gráfica es un plano que es tangente a la

gráfica. Mmh, esa no es una buena definición. Esto es difícil de describir
con palabras, así que simplemente voy a mostrar un video con varios
planos tangentes diferentes.

Pregunta clave: ¿cómo encuentras una ecuación que represente al plano

tangente a la gráfica de la función en un punto específico (x_0, y_0,
f(x_0, y_0))(x0,y0,f(x0,y0))left parenthesis, x, start subscript, 0, end
subscript, comma, y, start subscript, 0, end subscript, comma, f, left
parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript,
0, end subscript, right parenthesis, right parenthesis en el espacio
tridimensional?

Representar los planos como gráficas

Bueno, en primer lugar, ¿qué funciones g(x, y)g(x,y)g, left parenthesis, x,
comma, y, right parenthesis tienen gráficas que se ven como planos?
 Un plano que pasa por (2, 2, 2)
Un plano que pasa por (2, 2, 2)

La pendiente de un plano en cualquier dirección es constante sobre todos

los valores de entrada, así que ambas derivadas parciales g_xgxg, start
subscript, x, end subscript y g_ygyg, start subscript, y, end
subscript tendrían que ser constantes. Las funciones con derivadas
parciales constantes se ven así:
g(x, y) = ax + by + cg(x,y)=ax+by+cg, left parenthesis, x, comma,
y, right parenthesis, equals, a, x, plus, b, y, plus, c

Aquí, aaa, bbb y ccc son constantes. Estas se llaman funciones lineales.
Bueno, técnicamente, son funciones afines ya que las funciones lineales
deben pasar por el origen, pero es común llamarlas funciones lineales de
todos modos.

Pregunta: ¿cómo puedes garantizar que la gráfica de una función lineal

pase por un punto particular (x_0, y_0, z_0)(x0,y0,z0)left parenthesis, x,
start subscript, 0, end subscript, comma, y, start subscript, 0, end
subscript, comma, z, start subscript, 0, end subscript, right parenthesis en
el espacio?

Una manera limpia de lograrlo es escribir la función lineal como

g(x, y) = \blueD{a}(x-x_0) + \redD{b}(y-y_0) +
z_0g(x,y)=a(x−x0)+b(y−y0)+z0g, left parenthesis, x, comma, y, right
parenthesis, equals, start color #11accd, a, end color #11accd, left
parenthesis, x, minus, x, start subscript, 0, end subscript, right
parenthesis, plus, start color #e84d39, b, end color #e84d39, left
parenthesis, y, minus, y, start subscript, 0, end subscript, right
parenthesis, plus, z, start subscript, 0, end subscript
 [Espera, esto no se ve como ax+by+c]

ccax + by + ca, x, plus, b, y, plus, c

\quad c = z_0 - ax_0 - by_0c, equals, z, start subscript, 0, end subscript,

minus, a, x, start subscript, 0, end subscript, minus, b, y, start subscript,
0, end subscript

Verificación de conceptos: con ggg definida de esta manera,

calcula g(x_0, y_0)g(x0,y0)g, left parenthesis, x, start subscript, 0, end
subscript, comma, y, start subscript, 0, end subscript, right parenthesis.
Escoge 1 respuesta:
Escoge 1 respuesta:

(x_0, y_0, z_0)(x0,y0,z0)left parenthesis, x, start subscript, 0, end
subscript, comma, y, start subscript, 0, end subscript, comma, z, start
subscript, 0, end subscript, right parenthesis

z_0z0z, start subscript, 0, end subscript
Comprobar
[Explicación.]

\begin{aligned} g(x_0, y_0) &= \blueD{a}(x_0-x_0) + \redD{b}(y_0-

y_0) + z_0 \\ &= \blueD{a}(0) + \redD{b}(0) + z_0 \\ &= z_0
\end{aligned}

Escribir g(x, y)g(x,y)g, left parenthesis, x, comma, y, right parenthesis de

esta manera hace claro que g(x_0, y_0) = z_0g(x0,y0)=z0g, left
parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript,
0, end subscript, right parenthesis, equals, z, start subscript, 0, end
subscript. Esto garantiza que la gráfica de ggg pase por (x_0, y_0,
z_0)(x0,y0,z0)left parenthesis, x, start subscript, 0, end subscript, comma,
y, start subscript, 0, end subscript, comma, z, start subscript, 0, end
subscript, right parenthesis:
(x_0, y_0, g(x_0, y_0)) = (x_0, y_0, z_0)(x0,y0,g(x0,y0))=(x0
,y0,z0)left parenthesis, x, start subscript, 0, end subscript, comma, y,
start subscript, 0, end subscript, comma, g, left parenthesis, x, start
subscript, 0, end subscript, comma, y, start subscript, 0, end subscript,
right parenthesis, right parenthesis, equals, left parenthesis, x, start
subscript, 0, end subscript, comma, y, start subscript, 0, end subscript,
comma, z, start subscript, 0, end subscript, right parenthesis

Las otras constantes \blueD{a}astart color #11accd, a, end color

#11accd y \redD{b}bstart color #e84d39, b, end color #e84d39 pueden
ser cualquier valor que queramos. Diferentes opciones
de \blueD{a}astart color #11accd, a, end color #11accd y \redD{b}bstart
color #e84d39, b, end color #e84d39 resultan en diferentes planos que
pasan por el punto (x_0, y_0, z_0)(x0,y0,z0)left parenthesis, x, start
subscript, 0, end subscript, comma, y, start subscript, 0, end subscript,
comma, z, start subscript, 0, end subscript, right parenthesis. El siguiente
video muestra cómo cambian esos planos a medida que
ajustamos \blueD{a}astart color #11accd, a, end color
#11accd y \redD{b}bstart color #e84d39, b, end color #e84d39:

La ecuación de un plano tangente

Regresemos a la tarea que tenemos entre manos. Queremos una
función T(x, y)T(x,y)T, left parenthesis, x, comma, y, right
parenthesis que represente un plano tangente a la gráfica de alguna
función f(x, y)f(x,y)f, left parenthesis, x, comma, y, right parenthesisen el
punto (x_0, y_0, f(x_0, y_0))(x0,y0,f(x0,y0))left parenthesis, x, start
subscript, 0, end subscript, comma, y, start subscript, 0, end subscript,
comma, f, left parenthesis, x, start subscript, 0, end subscript, comma, y,
start subscript, 0, end subscript, right parenthesis, right parenthesis, por
lo que sustituimos f(x_0, y_0)f(x0,y0)f, left parenthesis, x, start subscript,
0, end subscript, comma, y, start subscript, 0, end subscript, right
parenthesis para z_0z0z, start subscript, 0, end subscript en la ecuación
general del plano.
\quad T(x, y) = \greenE{f(x_0, y_0)} + \blueE{a}(x-x_0) +
\redE{b}(y-y_0)T(x,y)=f(x0,y0)+a(x−x0)+b(y−y0)T, left
parenthesis, x, comma, y, right parenthesis, equals, start color #0d923f, f,
left parenthesis, x, start subscript, 0, end subscript, comma, y, start
subscript, 0, end subscript, right parenthesis, end color #0d923f, plus,
start color #0c7f99, a, end color #0c7f99, left parenthesis, x, minus, x,
start subscript, 0, end subscript, right parenthesis, plus, start color
#bc2612, b, end color #bc2612, left parenthesis, y, minus, y, start
subscript, 0, end subscript, right parenthesis

A medida que ajustas los valores de \blueE{a}astart color #0c7f99, a,

end color #0c7f99 y \redE{b}bstart color #bc2612, b, end color #bc2612,
esta ecuación dará varios planos que pasan por la gráfica de fff en el
punto deseado, pero solo uno de ellos va a ser un plano tangente.

De todos los planos que pasan por (x_0, y_0, f(x_0, y_0))(x0,y0,f(x0,y0
))left parenthesis, x, start subscript, 0, end subscript, comma, y, start
subscript, 0, end subscript, comma, f, left parenthesis, x, start subscript,
0, end subscript, comma, y, start subscript, 0, end subscript, right
parenthesis, right parenthesis, aquel tangente a la gráfica de fff tendrá
las mismas derivadas parciales que fff. Gratamente, las derivadas
 parciales de nuestra función lineal están dadas por las
constantes aaay bbb.

 ¡iInténtalo! Toma las derivadas parciales de la ecuación para la

expresión T(x, y)T(x,y)T, left parenthesis, x, comma, y, right parenthesis.
[Solución]

\begin{aligned} \quad T_x(x, y) &= \dfrac{\partial }{\partial

\blueE{x}}( f(x_0, y_0) + \underbrace{a(\blueE{x} - x_0)}_{\text{La
única parte con $\blueE{x}$}} + b(y - y_0) ) = a \\ &\\ T_y(x, y) &=
\dfrac{\partial }{\partial \redE{y}}( f(x_0, y_0) + a(x - x_0) +
\underbrace{b(\redE{y} - y_0)}_{\text{La única parte con $\redE{y}$}}
) = b \\ \end{aligned}

Por lo tanto, hacer \blueE{a = f_x(x_0, y_0)}a=fx(x0,y0)start color

#0c7f99, a, equals, f, start subscript, x, end subscript, left parenthesis, x,
start subscript, 0, end subscript, comma, y, start subscript, 0, end
subscript, right parenthesis, end color #0c7f99 y \redE{b = f_y(x_0,
y_0)}b=fy(x0,y0)start color #bc2612, b, equals, f, start subscript, y, end
subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y,
start subscript, 0, end subscript, right parenthesis, end color
#bc2612 garantizará que las derivadas parciales de nuestra función
lineal TTT coincidan con las derivadas parciales de fff. Bueno, por lo
menos van a coincidir para la entrada (x_0, y_0)(x0,y0)left parenthesis, x,
start subscript, 0, end subscript, comma, y, start subscript, 0, end
subscript, right parenthesis, pero ese es el único punto que nos importa.
Al poner todo esto junto, obtenemos una fórmula útil para el plano
tangente.
\begin{aligned} \quad \large T(x, y) = \greenE{f(x_0, y_0)}
+ \blueE{f_x(x_0, y_0)}(x-x_0) + \redE{f_y(x_0, y_0)}(y-
y_0) \end{aligned}T(x,y)=f(x0,y0)+fx(x0,y0)(x−x0)+fy(x0
,y0)(y−y0)

Ejemplo: encontrar el plano tangente

Problema:

Dada la función

\quad f(x, y) = \sin(x)\cos(y)f(x,y)=sin(x)cos(y)f, left parenthesis, x,

comma, y, right parenthesis, equals, sine, left parenthesis, x, right
parenthesis, cosine, left parenthesis, y, right parenthesis,

encuentra la ecuación para el plano tangente a la gráfica de fff en el

punto \left(\dfrac{\pi}{6}, \dfrac{\pi}{4} \right)(6π,4π)left parenthesis,
start fraction, pi, divided by, 6, end fraction, comma, start fraction, pi,
divided by, 4, end fraction, right parenthesis.

El plano tangente tendrá la forma

\begin{aligned} \quad T(x, y) = {f_x(x_0, y_0)}(x-x_0) +

{f_y(x_0, y_0)}(y-y_0) + f(x_0, y_0) \end{aligned}T(x,y)=fx
(x0,y0)(x−x0)+fy(x0,y0)(y−y0)+f(x0,y0)
Paso 1: encuentra las dos derivadas parciales de fff.
f_x(x, y) =fx(x,y)=f, start subscript, x, end subscript, left parenthesis, x,
comma, y, right parenthesis, equals

f_y(x, y) =fy(x,y)=f, start subscript, y, end subscript, left parenthesis, x,

comma, y, right parenthesis, equals

Comprobar
[Respuesta]

\begin{aligned} \quad f_x &= \dfrac{\partial}{\partial x}(\sin(x)\cos(y))

= \cos(x)\cos(y) \\ &\\ f_y &= \dfrac{\partial}{\partial y}(\sin(x)\cos(y))
= -\sin(x)\sin(y) \\ \end{aligned}

Paso 2: evalúa la función fff y las dos derivadas parciales en el

punto \left(\dfrac{\pi}{6}, \dfrac{\pi}{4} \right)(6π,4π)left parenthesis,
start fraction, pi, divided by, 6, end fraction, comma, start fraction, pi,
divided by, 4, end fraction, right parenthesis:

f(\pi/6, \pi/4) =f(π/6,π/4)=f, left parenthesis, pi, slash, 6, comma, pi, slash,
4, right parenthesis, equals

f_x(\pi/6, \pi/4) =fx(π/6,π/4)=f, start subscript, x, end subscript, left

parenthesis, pi, slash, 6, comma, pi, slash, 4, right parenthesis, equals
f_y(\pi/6, \pi/4) =fy(π/6,π/4)=f, start subscript, y, end subscript, left
parenthesis, pi, slash, 6, comma, pi, slash, 4, right parenthesis, equals

Comprobar
[Respuesta]

\begin{aligned} \quad f\left(\dfrac{\pi}{6}, \dfrac{\pi}{4} \right) &=

\sin\left(\dfrac{\pi}{6}\right)\cos\left(\dfrac{\pi}{4}\right) =
\dfrac{1}{2} \cdot \dfrac{\sqrt{2}}{2} = \dfrac{\sqrt{2}}{4} \\
f_x\left(\dfrac{\pi}{6}, \dfrac{\pi}{4} \right) &=
\cos\left(\dfrac{\pi}{6}\right)\cos\left(\dfrac{\pi}{4}\right) =
\dfrac{\sqrt{3}}{2} \cdot \dfrac{\sqrt{2}}{2} = \dfrac{\sqrt{6}}{4} \\
f_y\left(\dfrac{\pi}{6}, \dfrac{\pi}{4} \right) &= -
\sin\left(\dfrac{\pi}{6}\right)\sin\left(\dfrac{\pi}{4}\right) = -
\dfrac{1}{2} \cdot \dfrac{\sqrt{2}}{2} = -\dfrac{\sqrt{2}}{4} \\
\end{aligned}

Al sustituir estos tres números en la ecuación general para un plano

tangente, puedes obtener la respuesta final:

T(x, y) =T(x,y)=T, left parenthesis, x, comma, y, right parenthesis,

equals

Comprobar
[Respuesta]

\begin{aligned} \quad \boxed{ T(x, y) = \dfrac{\sqrt{2}}{4} +

\dfrac{\sqrt{6}}{4}\left(x - \dfrac{\pi}{6}\right) -
\dfrac{\sqrt{2}}{4}\left(y - \dfrac{\pi}{4} \right) } \end{aligned}
 Resumen
 Un plano tangente a una función de dos variables f(x, y)f(x,y)f, left
parenthesis, x, comma, y, right parenthesis es, bueno, un plano que es
tangente a su gráfica.
 La ecuación del plano tangente de la gráfica de una función de dos
variables f(x, y)f(x,y)f, left parenthesis, x, comma, y, right
parenthesis en un punto particular (x_0, y_0)(x0,y0)left parenthesis, x,
start subscript, 0, end subscript, comma, y, start subscript, 0, end
subscript, right parenthesis se ve así:
T(x, y) = f(x_0, y_0) + {f_\blueE{x}(x_0, y_0)}(\blueE{x}-
x_0) + {f_\redE{y}(x_0, y_0)}(\redE{y}-y_0)T(x,y)=f(x0,y0
)+fx(x0,y0)(x−x0)+fy(x0,y0)(y−