Introduccin al Calculo Infinitesimal.

I.T.I. de SISTEMAS.
Funciones reales de varias variables reales.-
4.1.- Derivadas parciales, rectas tangentes, rectas normales,
el plano tangente.-
Consideramos una funcin ( ) f , x y definida en una cierta regin R de su dominio.
La funcin = z ( ) f , x y se representa graficamente por una superficie que nos ayudar a visualizar
los conceptos que vamos a estudiar.
DEFINICIONES Y CONCEPTOS.
Definicin 1.
Derivadas parciales.
La derivada parcial de ( ) f , x y respecto de la variable x se define:
Z
x
= f
x
(x,y) = lim
( ) x 0
( ) f , + x x y ( ) f , x y
( ) x
La derivada parcial de ( ) f , x y respecto de la variable y se define:

Z
y
= f
y
(x,y) = lim
( ) y 0
( ) f , x + y y ( ) f , x y
( ) y

Siempre que sean finitas.
Page 1
Es decir, en la primera derivada se toma la y como constante de modo que la funcin slo
depende de la x; y en la segunda, se intercambian los papeles. Esto nos lleva a que no sera
obligatorio recurrir a la definicion para calcular derivadas parciales, pues quedan reducidas a
derivadas de funciones de una variable, cosa que sabemos hacer, se supone, con soltura.
Haremos ejemplos con Maple muy claros y faciles de comprobar y entender.
EJEMPLO 1:
> restart:
f:=(x,y)->x^4-3*x^2*y+3*y-y^3;
print(`DERIVADAS PARCIALES`);
fx:=D[1](f);
fy:=D[2](f);
:= f ( ) , x y + x
4
3x
2
y 3y y
3
DERIVADAS PARCIALES
:= fx ( ) , x y 4x
3
6x y
:= fy ( ) , x y + 3x
2
3 3y
2
Y si queremos evaluarlas en un punto, por ejemplo el punto P =( 1 , -1).
> fx_p:=D[1](f)(1,-1);
fy_p:=D[2](f)(1,-1);
:= fx_p 10
:= fy_p -3
EJEMPLO 2:
> restart:
f:=(x,y)->exp(x-y)+sin(x+2*y);
print(`DERIVADAS PARCIALES y su valor en (0,0)`);
fx:=D[1](f);
fy:=D[2](f);
fx_p:=D[1](f)(0,0);
fy_p:=D[2](f)(0,0);

:= f ( ) , x y + e
( ) x y
( ) sin + x 2y
DERIVADAS PARCIALES y su valor en (0,0)
:= fx ( ) , x y + e
( ) x y
( ) cos + x 2y
:= fy ( ) , x y + e
( ) x y
2 ( ) cos + x 2y
:= fx_p 2
:= fy_p 1
EJEMPLO 3: Esto se puede extender a funciones de mas variables, por ejemplo a tres.
Page 2
> restart:
f:=(x,y,z)->x^2*z-2*z^2*y+x^2*y^3;
print(`DERIVADAS PARCIALES y su valor en (1,2,3)`);
fx:=D[1](f);
fy:=D[2](f);
fz:=D[3](f);
fx_p:=D[1](f)(1,2,3);
fy_p:=D[2](f)(1,2,3);
fz_p:=D[3](f)(1,2,3);

:= f ( ) , , x y z + x
2
z 2z
2
y x
2
y
3
DERIVADAS PARCIALES y su valor en (1,2,3)
:= fx ( ) , , x y z + 2x z 2x y
3
:= fy ( ) , , x y z + 2z
2
3x
2
y
2
:= fz ( ) , , x y z x
2
4z y
:= fx_p 22
:= fy_p -6
:= fz_p -23
EJERCICIO 1.
Calcular las derivadas primeras de ( ) f , x y = x
2
y y
2
x usando la definicin y despues
particularizarla para el punto (1 , 1).
> restart:
f:=(x,y)->x^2*y-y^2*x;
fx:=Limit((f(x+h,y)-f(x,y))/h,h=0)=limit((f(x+h,y)-f(x,y))/h,h=0
);
fy:=Limit((f(x,y+h)-f(x,y))/h,h=0)=limit((f(x,y+h)-f(x,y))/h,h=0
);
fx_p:=subs(x=1,y=1,fx); fy_p:=subs(x=1,y=1,fy);
:= f ( ) , x y x
2
y y
2
x
:= fx = lim
h 0
+ ( ) + x h
2
y y
2
( ) + x h x
2
y y
2
x
h
y ( ) 2x y
:= fy = lim
h 0
+ x
2
( ) + y h ( ) + y h
2
x x
2
y y
2
x
h
x ( ) x 2y
:= fx_p = lim
h 0
( ) + 1 h
2
1 h
h
1
:= fy_p = lim
h 0
+ h ( ) + 1 h
2
1
h
-1
Como se aprecia, las derivadas ( ) f
x
, x y ; ( ) f
y
, x y son nuevas funciones de dos variables que
llamaremos funciones derivadas parciales.
EJERCICIO 2:
Page 3
Determinar la relacin que debe existir entre m y n para que existan las derivadas parciales
de ( ) f , x y en el origen.
> restart:
f:=(x,y)->PIECEWISE([m*(abs(x)+abs(y))/sqrt(x^2+y^2),(x,y)<>(0,0
)],[n,(x,y)=(0,0)]);
:= f ( ) , x y

m ( ) + x y
+ x
2
y
2
( ) , x y ( ) , 0 0
n = ( ) , x y ( ) , 0 0
f
x
= lim
x 0
( ) f , + x x y ( ) f , x y
x
=>f
x
(0,0) = lim
x 0
( ) f , + 0 x 0 ( ) f , 0 0
x
=
lim
x 0

m x
x
2
n
x
= lim
x 0
m n
x
=>

f
x
=0 si = m n y = f
x
si m n. De modo anlogo f
y
, por lo que, para que existan las
derivadas parciales en el origen, y coincidan ,debe ser = m n puesto que el valor de las derivadas
parciales debe ser finito.
Ya sabemos calcular derivadas parciales y particularizarlas en puntos concretos. Ahora nos
proponemos, con ayuda del Maple, estudiar el significado geometrico de dichos conceptos.
Interpretacion geometrica de las derivadas parciales.
La funcin que vamos a tomar como ejemplo es una funcin cmoda en el sentido que permite
visualizar con claridad lo que queremos explicar. Se trata de una funcin continua y diferenciable
en todo su dominio, el paraboloide eliptico, que tiene por ecuacin: ( ) f , x y =
6 ( ) x 2
2
( ) y 3
2
> restart: with(plots):
with(plottools):
> f:=(x,y)->6-((x-2)^2+(y-3)^2);
:= f ( ) , x y 6 ( ) x 2
2
( ) y 3
2
La representamos graficamente.
Para interpretar el dibujo, debemos entender que la representacin esta hecha en el dominio -2 <x
<5; -2 <y <6, lo que significa que lo que vemos es la superficie cortada por el prisma recto de
base el dominio considerado, que es un rectangulo,
> Superficie:=plot3d([x,y,f(x,y)],x=-2..5,y=-2..6,
grid=[30,30],shading=ZHUE,
axes=none,linestyle=2,
orientation=[60,80]):
display(Superficie);
Page 4
Ahora la representacin la hacemos introduciendo las ecuaciones parametrizadas de la superficie,
lo que nos permite un aspecto mas "real" de ella.
Puedes pinchar dentro del dibujo y sin soltar moverlo a voluntad.
> Superficie:=plot3d([x,y,f(x,y)],x=-1..5,y=-sqrt(6-(x-2)^2)+3..sq
rt(6-(x-2)^2)+3,
grid=[40,40],shading=ZHUE,
axes=normal,linestyle=2,color=aquamarine,
orientation=[-45,80]):
Vista_1:=display(Superficie):
display(Vista_1);
Page 5
Otra posibilidad grafica del Maple es la que usamos para representar la misma superficie con el
estilo patchnogrid, que tiene la "ventaja" de no situar ningun tipo de entramado sobre la superficie.
> Otramanera:=view=[-1..5,0..6,0..12],axes=none,labels=[x,y,z],
tickmarks=[5,5,5],
orientation=[-45,80]:
Superficie:=plot3d([x,y,f(x,y)],x=-1..5,y=-sqrt(6-(x-2)^2)+3..sq
rt(6-(x-2)^2)+3,
grid=[40,40],
style=PATCHNOGRID):
display(Superficie,Otramanera,axes=normal);
Page 6
Sobre esta ultima tecnica de representacin continuamos nuestro trabajo sobre la interpretacin
grafica de las derivadas parciales primeras.
Consideramos un punto de la superficie, por ejemplo el punto A =(3,2,4) y vamos, paso a paso, a
calcular y trazar el plano tangente a la superficie por dicho punto.
1) Interpretaremos el significado geometrico de la derivada respecto a x : f
x

Trazamos el plano que, pasando por el punto P de la superficie, se mantiene paralelo al plano
= y 0 (dicho plano ser = y 2).
> PX:=plot3d([x,2,z],x=-1..5,z=0..6,linestyle=2,style=wireframe,co
lor=blue):Etiqueta1:=textplot3d([5,2,0,` plano Y =
constante`],color =black):
display({Superficie,PX,Hx,Etiqueta1},Otramanera,axes=normal);
Curva_x:=[x,2,f(x,2)]:
Etiqueta:=textplot3d([3,2,4,` A`],color =black):
Tra_x:=spacecurve(Curva_x,x=-1..5,axes=none,thickness=2,color=or
ange,axes=normal):
Hx:=spacecurve([x,2,0],x=-2..6,thickness=2,color=red,axes=normal
):
display({Superficie,Tra_x,Hx,Etiqueta},Otramanera);
Page 7
La curva anterior esta situada sobre el plano = y 2, por lo tanto la y es constante. Situandonos en
dicho plano y trazando la curva en el, resulta claro que el punto A esta en la curva. Nos
proponemos trazar la recta tangente a la curva por dicho punto.
> plot([x,f(x,2),x=-1..5],view=[-1..5,0..6],labels=[x,z],color=red
);
Page 8
> diff(Curva_x,x);
Vector_directorx:=subs(x=3,%);
Recta_tangente_x:=[3,2,f(3,2)]+t*Vector_directorx;
Tangente_x:=spacecurve(evalm(Recta_tangente_x),t=-5..5,axes=norm
al,thickness=2,color=navy):
display({Tra_x,Hx,Tangente_x},Otramanera,Etiqueta,axes=normal);
[ ] , , 1 0 + 2x 4
:= Vector_directorx [ ] , , 1 0 -2
:= Recta_tangente_x + [ ] , , 3 2 4 t [ ] , , 1 0 -2
Page 9
Esta recta tangente tiene por ecuacin:
x x
0
1
=
y y
0
0
=
z z
0
f
x
( ) , x
0
y
0
, pues es la recta que
pasando por el punto A tiene por direccin
Vx = ( 1 , 0 , f
x
(x
0
,y
0
) ). Veamos todo junto.
> display({Superficie,Tra_x,Hx,Tangente_x,Etiqueta},Otramanera);
CONCLUSIN 1:
Page 10
f
x
(A) es la pendiente de la recta tangente a la superficie por el punto A[ , , x
0
y
0
z
0
] segn la
curva interseccin de la superficie con el plano y = y
0
Y dicha pendiente nos mide la tasa o razon de cambio instantaneo de la funcion respecto de
la variable x.


2) Interpretacin del significado geomtrico de la derivada respecto de y : f
y

Trazamos el plano que pasando por el punto A de la superficie que se mantiene paralelo al plano
= x 0 (dicho plano ser el x =3).
> Curva_y:=[3,y,f(3,y)]:
Etiqueta1:=textplot3d([3,2,4+1,` A`],color =black):
Tra_y:=spacecurve(Curva_y,y=-0..6,axes=none,thickness=2,color=or
ange):
Hy:=spacecurve([3,y,0],y=0..6,axes=none,thickness=2,color=khaki)
:
display({Superficie,Tra_y,Hy},Otramanera,Etiqueta1);
diff(Curva_y,y):
Vector_directory:=subs(y=2,%):
Eq_tangent_y:=[3,2,f(3,2)]+s*Vector_directory:
Tangente_y:=spacecurve(evalm(Eq_tangent_y),s=-5..5,axes=none,thi
ckness=2,color=navy):
display({Tra_y,Hy,Tangente_y},Otramanera,Etiqueta1);
display({Superficie,Tra_y,Hy,Tangente_y,Etiqueta1},Otramanera);
Page 11
Page 12
CONCLUSIN 2:
f
y
(A) es la pendiente de la recta tangente a la superficie por el punto A[ , , x
0
y
0
z
0
] segn la
curva interseccin de la superficie con el plano x = x
0
Y dicha pendiente nos mide la tasa o razon de cambio instantaneo de la funcion respecto de
la variable y.
Esta recta tangente tiene por ecuacin:
x x
0
0
=
y y
0
1
=
z z
0
f
y
( ) , x
0
y
0
y es la recta que
pasando por el punto A tiene por direccin
Vy = ( 0 , 1 , f
y
(x
0
,y
0
) ).
Uniendo todo esto.
> display({Superficie,Tra_x,Hx,Tangente_x,Tra_y,Hy,Tangente_y,Etiq
ueta1},Otramanera);
Page 13
Definicin 2.
El plano tangente a la superficie por el punto A( , , x
0
y
0
z
0
) es el plano que pasando por dicho
punto, contiene a los vectores { Vx, Vy }; es decir ser el plano :
:= Plano_Tangente

X x
0
Y y
0
Z z
0
1 0 ( ) f
x
A
0 1 ( ) f
y
A

que desarrollado podemos tambien escribir: Z z
0
= + ( ) f
x
A ( ) X x
0
( ) f
y
A ( ) Y y
0
NOTA IMPORTANTE:
Para que la formulacion anterior corresponda con el plano tangente a una
superficie z = f(x,y) por un punto P, la funcion f(x,y) debe ser diferenciable en
dicho punto. Si la funcion no es diferenciable en P, la formula anterior carece
del significado que le hemos dado.

Mas adelante explicaremos el concepto de diferenciabilidad y cuando una funcion
es diferenciable.
Page 14
Con el Maple.
> Plano_Tangente:=[3,2,f(3,2)]+alpha*Vector_directorx+beta*Vector_
directory;
:= Plano_Tangente + + [ ] , , 3 2 4 [ ] , , 1 0 -2 [ ] , , 0 1 2
Vamos a trazar el plano tangente a la superficie por el punto de nuestro ejemplo.
> Plan_tangent:=plot3d(evalm(Plano_Tangente),alpha=-1.15..1.15,bet
a=-1.15..1.15,

style=wireframe,shading=none,grid=[15,15],axes=none,
color=black,shading=none,thickness=1):
display({Superficie,Tra_x,Hx,Tra_y,Hy,Plan_tangent},Otramanera,o
rientation=[-19,96]);
El plano tangente tambin se puede escribir, lgicamente, en forma general: Ax +B y+C z +D =0.
> N:=linalg[crossprod](Vector_directorx,Vector_directory);
Plano_TANGENTE:=linalg[dotprod](N,[x-3,y-2,z-f(3,2)],'orthogonal
')=0;
:= N [ ] , , 2 -2 1
:= Plano_TANGENTE = + 2x 6 2y z 0
Ordenadamente escrito.
> pi:=sort(Plano_TANGENTE,[x,y,z]);
:= = + 2x 2y z 6 0
Page 15
Definicin 3.
La recta normal a la superficie por el punto A( , , x
0
y
0
z
0
) es la recta que pasa por dicho
punto y tiene por vector de direccin el vector normal a la superficie por A :

siendo el vector normal: Vn =

i j k
1 0 ( ) f
x
A
0 1 ( ) f
y
A
Hagamoslo con Maple.
> Vec_normal:= arrow([3,2,f(3,2)],[3/4,-6/4,3/4],N,.4, 1.8,
.3,color=navy):
> display({Superficie,Tra_x,Hx,Tra_y,Plan_tangent,Vec_normal},
Otramanera,
orientation=[-19,96]);
Para verlo como es en realidad hemos de obligarle a la escala constrained.
> display({Superficie,Tra_x,Hx,Tra_y,Plan_tangent,Vec_normal},
Otramanera,
orientation=[25,100],
scaling=constrained);
Page 16
Ahora haremos ejemplos sobre lo explicado.
Ejercicio 1.
Determinar la ecuacin del plano tangente a la superficie z = + 2 x
2
y x y
2
por el punto P =
(-1,1,1).
> restart:with(linalg):
f:=(x,y)->2*x^2*y +x*y^2;
print(`DERIVADAS PARCIALES y su valor en (-1,1)`);
fx:=D[1](f);
fy:=D[2](f);
fx_p:=D[1](f)(-1,1);
fy_p:=D[2](f)(-1,1);
P_T:=matrix([[X+1,Y-1,Z-1],[1,0,fx_p],[0,1,fy_p]]);
print("PLANO TANGENTE por P: ",det(P_T), " = 0");

War ni ng, new def i ni t i on f or nor m
War ni ng, new def i ni t i on f or t r ace
:= f ( ) , x y + 2x
2
y x y
2
DERIVADAS PARCIALES y su valor en (-1,1)
:= fx ( ) , x y + 4x y y
2
:= fy ( ) , x y + 2x
2
2x y
:= fx_p -3
Page 17
:= fy_p 0
:= P_T

+ X 1 Y 1 Z 1
1 0 -3
0 1 0
, , "PLANO TANGENTE por P: " + + 3X 2 Z " = 0"
Ejercicio 2.
Determinar la ecuacin de la recta normal a la superficie z = + + x
3
3 x
2
y 3 x y
2
y
3
por el
punto P =(-1,1,-6).
> restart:with(linalg):

f:=(x,y)->x^3-3*x^2*y+3*x*y^2+y^3;
print(`DERIVADAS PARCIALES y su valor en (-1,1)`);
fx:=D[1](f);
fy:=D[2](f);
fx_p:=D[1](f)(-1,1);
fy_p:=D[2](f)(-1,1);
V_N:=matrix([[i,j,k],[1,0,fx_p],[0,1,fy_p]]);
print("Vector normal por P: ",det(V_N));
print("La recta normal es la que pasa por (-1,1,-6) y tiene la
direccin: ",det(V_N));


War ni ng, new def i ni t i on f or nor m
War ni ng, new def i ni t i on f or t r ace
:= f ( ) , x y + + x
3
3x
2
y 3x y
2
y
3
DERIVADAS PARCIALES y su valor en (-1,1)
:= fx ( ) , x y + 3x
2
6x y 3y
2
:= fy ( ) , x y + + 3x
2
6x y 3y
2
:= fx_p 12
:= fy_p -6
:= V_N

i j k
1 0 12
0 1 -6
, "Vector normal por P: " + + 12i 6j k
, "La recta normal es la que pasa por (-1,1,-6) y tiene la direccin: " + + 12i 6j k
La recta buscada es :
+ X 1
12
=
Y 1
6
=
+ Z 6
1
.
Page 18
Ejercicio 3.
Determinar los puntos de la superficie z = + x
2
y
2
x y 4 x 2 y en los que el plano
tangente es:
A ) Paralelo al plano x -y + z = 1.
B ) Horizontal.
> restart:with(linalg):

f:=(x,y)->x^2+y^2-x*y-4*x-2*y ;
print(`DERIVADAS PARCIALES y su valor en (a,b)`);
fx:=D[1](f);
fy:=D[2](f);
fx_p:=D[1](f)(a,b);
fy_p:=D[2](f)(a,b);
V_N:=matrix([[i,j,k],[1,0,fx_p],[0,1,fy_p]]);
print("Vector normal por P: ",det(V_N));
War ni ng, new def i ni t i on f or nor m
War ni ng, new def i ni t i on f or t r ace
:= f ( ) , x y + x
2
y
2
x y 4x 2y
DERIVADAS PARCIALES y su valor en (a,b)
:= fx ( ) , x y 2x y 4
:= fy ( ) , x y 2y x 2
:= fx_p 2a b 4
:= fy_p 2b a 2
:= V_N

i j k
1 0 2a b 4
0 1 2b a 2
, "Vector normal por P: " + + + + 4i 2i a i b 2j b j a 2j k
El vector normal a la superficie por un punto generico (a,b) es: Vn =( + 4 2a b , + 2 a 2b, 1
).
a) Si debe ser paralelo al plano x - y +z = 1 , Vn debe ser paralelo a V =( 1 , -1 ,1) vector
normal a este plano dado =>

+ 4 2a b
1
=
+ 2 a 2b
1
=
1
1
<=> + 2a b =-3 , a 2b =-3 sistema que tiene por solucin
a=3 y b =3 que sern las coordenadas primeras del punto
P =( , 3 3, f( , 3 3)) que ser el punto que cumple las condiciones solicitadas.
b) Si ahora debe ser horizontal, ser paralelo al plano = z 0 , luego deber cumplir: + 2a b =-4,
Page 19
= a 2b 2 =>a =
10
3
, b =
8
3
=>
Q =( , ,
10
3
8
3

f ,
10
3
8
3
).
Ejercicio 4.
Calcular el valor de las derivadas parciales de la funcion = ( ) f , x y x y en el punto A=(1,0).
> restart:
f:=(x,y)->x*abs(y);
fx:=Limit((f(x+h,y)-f(x,y))/h,h=0)=limit((f(x+h,y)-f(x,y))/h,h=0
);
fy:=Limit((f(x,y+h)-f(x,y))/h,h=0)=limit((f(x,y+h)-f(x,y))/h,h=0
);
fx_p:=subs(x=1,y=0,fx);
fy_p:=Limit(abs(h)/h,h=0);
:= f ( ) , x y x y
:= fx = lim
h 0
( ) + x h y x y
h
y
:= fy = lim
h 0
x + y h x y
h
undefined
:= fx_p = lim
h 0
( ) + 1 h 0 0
h
0
:= fy_p lim
h 0
h
h
Se observa que la derivada respecto a x existe y vale 0 en el punto A, en cambio la derivada
respecto a y no existe puesto que el limite vale -1 por la izquierda y +1 por la derecha.
Ejercicio 5.
Calcular el valor de las derivadas parciales de = ( ) f , x y ( ) + x
2
y
2

3
2
en un punto cualquiera
distinto del origen y en el origen de coordenadas.
> f:=(x,y)->(x^2+y^2)^(3/2) ;
print(`DERIVADAS PARCIALES y su valor en (a,b) distinto del
origen.`);
fx:=D[1](f);
fy:=D[2](f);
fx_p:=D[1](f)(a,b);
fy_p:=D[2](f)(a,b);
:= f ( ) , x y ( ) + x
2
y
2
( ) / 3 2
DERIVADAS PARCIALES y su valor en (a,b) distinto del origen.
Page 20
:= fx ( ) , x y 3 + x
2
y
2
x
:= fy ( ) , x y 3 + x
2
y
2
y
:= fx_p 3 + a
2
b
2
a
:= fy_p 3 + a
2
b
2
b
> Fx:=Limit((f(x+h,y)-f(x,y))/h,h=0)=limit((f(x+h,y)-f(x,y))/h,h=0
);
Fy:=Limit((f(x,y+h)-f(x,y))/h,h=0)=limit((f(x,y+h)-f(x,y))/h,h=0
);
Fx_p:=subs(x=0,y=0,Fx);
Fy_p:=subs(x=0,y=0,Fy);
:= Fx = lim
h 0
( ) + ( ) + x h
2
y
2
( ) / 3 2
( ) + x
2
y
2
( ) / 3 2
h
3 + x
2
y
2
x
:= Fy = lim
h 0
( ) + x
2
( ) + y h
2
( ) / 3 2
( ) + x
2
y
2
( ) / 3 2
h
3 + x
2
y
2
y
:= Fx_p = lim
h 0
( ) h
2
( ) / 3 2
h
0
:= Fy_p = lim
h 0
( ) h
2
( ) / 3 2
h
0
Ejercicio 6.
Calcular el plano tangente de la funcion = z + x
2
y
2
en P = (1,0).
Usa la definicion para calcular las derivadas parciales..
> f:=(x,y)->sqrt(x^2+y^2);
fx:=Limit((f(x+h,y)-f(x,y))/h,h=0)=limit((f(x+h,y)-f(x,y))/h,h=0
);
fy:=Limit((f(x,y+h)-f(x,y))/h,h=0)=limit((f(x,y+h)-f(x,y))/h,h=0
);
fx_p:=subs(x=1,y=0,fx);
fy_p:=subs(x=1,y=0,fy);
:= f ( ) , x y + x
2
y
2
:= fx = lim
h 0
+ + + x
2
2x h h
2
y
2
+ x
2
y
2
h
x
+ x
2
y
2
:= fy = lim
h 0
+ + + x
2
y
2
2y h h
2
+ x
2
y
2
h
y
+ x
2
y
2
Page 21
:= fx_p = lim
h 0
+ + 1 2h h
2
1
h
1
:= fy_p = lim
h 0
+ 1 h
2
1
h
0
> z0:=subs(x=1,y=0,f(x,y));
Z-z0=1*(X-1)+0*(Y-0); X=Z;
:= z0 1
= Z 1 X 1
= X Z
En relacion con la NOTA IMPORTANTE que antes dimos:
Debemos saber que en los ejemplos en los que hemos ido calculando el plano tangente, las
funciones consideradas eran diferenciables y por lo tanto las ecuaciones halladas de los
planos tangentes eran efectivas. En el ejemplo anterior tiene ciertas peculiaridades. La
funcion que consideramos en el, resulta ser diferenciable en cualquier punto distinto del (0,0)
y por lo tanto en (0,1) el plano tangente existe y es el calculado, pero en (0,0) al no ser
diferenciable, no admite plano tangente aunque fuese posible escribir una ecuacion
supuestamente de el, a partir de la formula.
Ejercicio 7.
Calcular la ecuacion de la recta tangente a la curva interseccion de las superficies
= ( ) f , x y + x
2
y
2
; = ( ) g , x y + 1 y x
2
por el punto P (1,1,2).
> restart:with(linalg):

f:=(x,y)->x^2+y^2 ;
g:=(x,y)->1+y*x^2 ;
print(`DERIVADAS PARCIALESde f , su valor en P y plano tangente
en P`);
fx:=D[1](f);
fy:=D[2](f);
fx_p:=D[1](f)(1,1);
fy_p:=D[2](f)(1,1);
z-2=fx_p*(x-1)+fy_p*(y-1);
print(`DERIVADAS PARCIALESde g y su valor en P y plano tangente
por P`);
gx:=D[1](g);
gy:=D[2](g);
gx_p:=D[1](g)(1,1);
gy_p:=D[2](g)(1,1);
z-2=gx_p*(x-1)+gy_p*(y-1);
War ni ng, new def i ni t i on f or nor m
War ni ng, new def i ni t i on f or t r ace
:= f ( ) , x y + x
2
y
2
Page 22
:= g ( ) , x y + 1 y x
2
DERIVADAS PARCIALESde f , su valor en P y plano tangente en P
:= fx ( ) , x y 2x
:= fy ( ) , x y 2y
:= fx_p 2
:= fy_p 2
= z 2 + 2x 4 2y
DERIVADAS PARCIALESde g y su valor en P y plano tangente por P
:= gx ( ) , x y 2y x
:= gy ( ) , x y x
2
:= gx_p 2
:= gy_p 1
= z 2 + 2x 3 y
Los planos tangentes son: PTf : = + 2x 2y z 2; PTg : = + 2x y z 1 de modo que la recta
solicitada, tangente a la curva interseccion de las superficies, logicamente debe estar en ambos
planos tangentes luego su vector director debe ser el vector ortogonal a los vectores normales de
los dos planos tangentes:
> V_N:=matrix([[i,j,k],[2,2,-1],[2,1,-1]]);
print("Vector direccion de la recta buscada ",det(V_N)), "
por P(1,1,2)";
:= V_N

i j k
2 2 -1
2 1 -1
, "Vector direccion de la recta buscada " i 2k
" por P(1,1,2)"
La recta buscada es :
x 1
1
=
y 1
0
=
z 2
2
Continuidad y derivadas parciales.
La existencia de las derivadas parciales no garantiza la continuidad de la funcion.
Mientras la continuidad depende del comportamiento de la funcion en todos los puntos del
entorno, las derivadas parciales solo dependen del comportamiento de la funcion en dos
direcciones concretas, por lo tanto es posible que la funcion tenga derivadas parciales en puntos
donde no sea continua.
Por ejemplo la funcion :
= ( ) f , x y 1 si x y 0
f(x, y)=0 si = x y 0
Claramente no es continua en (0,0) y sin embargo las derivadas parciales existen: = ( ) f
x
, 0 0 0 ;
= ( ) f
y
, 0 0 0.
Page 23
No es lo mismo derivable que diferenciable en funciones de varias variables.
FIN
Page 24