Академический Документы
Профессиональный Документы
Культура Документы
Ejercicio 231
f(x,y):=cos(y)-y*x^2;
define(parcial1f(x,y),diff(f(x,y),x,1));
define(parcial2f(x,y),diff(f(x,y),y,1));
jacobian([f(x,y)],[x,y]);
define(gradf(x,y),jacobian([f(x,y)],[x,y]));
gradf(0,0);
sin (y) x2
Tambien se puede hacer con gradef y se pueden mostrar con printprops (pruebe
a ejecutar la siguiente celda sin esta u
ltima sentencia:
(%i7)
f(x,y):=cos(y)-y*x^2;
gradef(f(x,y),parcial1f(x,y),parcial2f(x,y));
printprops ([f],gradef);
d
d
f (x, y) = (2) x y
f (x, y) = (1) x2 + (1) sin (y)
dx
dy
(%o9) done
As tenemos la ecuaci
on del plano tangente, que asignamos con define (como
deberamos haber esperado!).
(%i10) define(pltan(x,y),f(0,0)+parcial1f(0,0)*(x-0)
+parcial2f(0,0)*(y-0));
(%o10) pltan (x, y) := 1
Con Maxima podemos representar f(x,y)=cos(y)-y*x^2 y su plano tangente en
(0,0):
(%i11) load(draw)$
draw3d(key= "f", color=blue, explicit(f(x,y),x,-1,1,y,-1,1),
color= red, key="Df(1,0)",
explicit(pltan(x,y),x,-1,1,y,-1,1), surface_hide= true);
(%o12) [gr3d (explicit, explicit)]
Para dibujar las gr
aficas de las funciones f y pltan(x,y) introducimos en Maxima
el siguiente comando que deducimos del dado en el enunciado.
>> draw3d(key= f, color=blue, explicit(f(x,y),x,-1,1,y,-1,1), color=red,
key=Df(0,0), explicit(pltan(x,y),x,-1,1,y,-1,1), surface hide= true);
Observar
a en azul la gr
afica de f y en rojo el plano definido por la grafica de
pltan(x,y). Girando las gr
aficas con el rat
on observamos que son tangentes.
Ejercicio 232
Representamos la funci
on y su plano tangente, como en el ejemplo anterior:
(%i15) kill(all);
f(x,y):=x^2+y^3+exp(x+y);
define(parcial1f(x,y),diff(f(x,y),x,1));
define(parcial2f(x,y),diff(f(x,y),y,1));
jacobian([f(x,y)],[x,y]);
define(gradf(x,y),jacobian([f(x,y)],[x,y]));
gradf(1,-1);
(%o0) done
(%o1) f (x, y) := x2 + y 3 + exp (x + y)
(%o2) parcial1f (x, y) := ey+x + 2 x
(%o3) parcial2f (x, y) := ey+x + 3 y 2
(%o4) ey+x + 2 x ey+x + 3 y 2
As tenemos la ecuaci
on del plano tangente, que asignamos de nuevo con define
y simplificamos con factor:
(%i7)
define(pltan(x,y),f(1,-1)+parcial1f(1,-1)*(x-1)
+parcial2f(1,-1)*(y+1));
factor(%);
load(draw)$
draw3d(key= "f", color=blue, explicit(f(x,y),x,-1,1,y,-1,1),
color= red, key="Df(1,-1)",
explicit(pltan(x,y),x,-1,1,y,-1,1), surface_hide= true);
Ejercicio 234
(%o2)
Ejercicio 235
kill(all);
f(x,y):=(x^2+y^2)*sin((x^2+y^2)^(-1));
limit((f(h,0)-0)/h,h,0);
limit((f(0,h)-0)/h,h,0);
(%o0) done
1
(%o1) f (x, y) := x2 + y 2 sin x2 + y 2
(%o2) 0
(%o3) 0
Maxima no calcula lmites de dos variables, pero s puede ayudarnos para calcular el lmite en coordenadas polares:
(%i4)
limit(2*r*cos(t)*(sin(r^(-2))-(r^(-2))*cos(r^(-2))), r, 0);
(%o4) und
Es indeterminado, por lo que sabemos que no tiene lmite.
Ejercicio 236
kill(all);
f(x,y):=(x*abs(y));
limit((f(h,0)-0)/h,h,0);
limit((f(0,h)-0)/h,h,0);
(%o0) done
4
limit(r*cos(t)*abs(sin(t)), r, 0);
(%o4) 0
Como es 0, la funci
on es diferenciable.
Ejercicio 237
kill(all);
f(x,y):=(4*x^3)/(x^2+y^2);
define(parcial1f(x,y),diff(f(x,y),x,1));
define(parcial2f(x,y),diff(f(x,y),y,1));
jacobian([f(x,y)],[x,y]);
(%o0) done
(%o1) f (x, y) :=
4 x3
+ y2
x2
12 x2
8 x4
2
y 2 + x2
(y 2 + x2 )
12 x2
y 2 +x2
8 x4
(y 2 +x2 )2
8 x3 y
2
(y 2 + x2 )
3
x y
(y82 +x
2 )2
limit(4*cos(t)*(sin(t))^2, r, 0);
limit((f(h,0)-0)/h,h,0);
limit((f(0,h)-0)/h,h,0);
(%o6) 4
5
(%o7) 0
Finalmente, estudiamos al diferenciabilidad en este punto con el lmite en coordenadas polares:
(%i8)
limit(4*r*(cos(t))^3, r, 0);
(%o8) 0
Ejercicio 239
kill(all);
F(r):=(r^2)/log(1-r^2);
limit(F(r),r,0);
(%o0) done
(%o1) F (r) :=
(%o2)
r2
log (1 r2 )
f(x,y):=(x^2+y^2)/(log(1-x^2-y^2));
define(l1(h),(f(h,0)+1)/h);
define(l2(h),(f(0,h)+1)/h);
limit(l1(h),h,0);
limit(l2(h),h,0);
(%o3) f (x, y) :=
(%o4) l1 (h) :=
(%o5) l2 (h) :=
x2 + y 2
log (1 x2 y 2 )
h2
log(1h2 )
+1
h
h2
log(1h2 )
+1
(%o6) 0
(%o7) 0
Ejercicio 241
kill(all);
f(x,y):=x^2-x*y+y^2;
g(x,y):=if x=0 and y=0 then 0
else (f(x,y)+x*y)/sqrt(x^2+y^2);
diff(g(x,y),x,1);
diff(g(x,y),y,1);
(%o0) done
(%o1) f (x, y) := x2 x y + y 2
f (x, y) + x y
(%o2) g (x, y) := ifx = 0andy = 0then0else p
x2 + y 2
x
(%o3) p
y 2 + x2
y
(%o4) p
2
y + x2
define(parcial1g(x,y),diff(g(x,y),x,1));
define(parcial2g(x,y),diff(g(x,y),y,1));
limit((g(h,0)-0)/h,h,0);
x
(%o5) parcial1g (x, y) := p
y 2 + x2
y
(%o6) parcial2g (x, y) := p
2
y + x2
(%o7) und
Observamos que el u
ltimo lmite nos da indefinido, porque no existe.
Ejercicio 242
(%i8)
kill(all);
x:exp(2*t);
y:1/t;
f:x*(1-y^2)-y;
(%o0) done
(%o1) e2 t
1
t
1
1
1 2 e2 t
(%o3)
t
t
(%o2)
diff(f,t,1);
1
2 e2 t
1
(%o4) 2 1 2 e2 t + 3 + 2
t
t
t
10
Ejercicio 243
kill(all);
f:x^2+cos(y);
y:exp(-x);
diff(f,x);
(%o0) done
(%o1) cos (y) + x2
(%o2) ex
(%o3) 2 x
11
Ejercicio 245
(%i4)
kill(all);
g(u,v):=u+u*v;
h(u,v):=tan(u);
f(x,y):=x-y^2;
jacobian([f(g(u,v),h(u,v))],[u,v]);
(%o0) done
(%o1) g (u, v) := u + u v
(%o2) h (u, v) := tan (u)
(%o3) f (x, y) := x y 2
(%o4)
define(gradiente(u,v),jacobian([f(g(u,v),h(u,v))],[u,v]));
gradiente(0,0);
(%o5) gradiente (u, v) := v 2 sec (u)2 tan (u) + 1 u
(%o6) 1 0
12
Ejercicio 246
kill(all);
g(u,v):=u*v;
h(u,v):=sin(u);
k(u,v):=exp(u);
f(x,y,z):=3*x+y+z^2;
jacobian([f(g(u,v),h(u,v),k(u,v))],[u,v]);
(%o0) done
(%o1) g (u, v) := u v
(%o2) h (u, v) := sin (u)
(%o3) k (u, v) := exp (u)
(%o4) f (x, y, z) := 3 x + y + z 2
(%o5)
3 v + cos (u) + 2 e2 u
3u
(%i6)
define(gradiente(u,v),jacobian([f(g(u,v),h(u,v),k(u,v))],
[u,v]));
gradiente(1,0);
(%o6) gradiente (u, v) := 3 v + cos (u) + 2 e2 u 3 u
(%o7) cos (1) + 2 e2 3
13
Ejercicio 249
kill(all);
ec:x^4+x^2*y^3-y^2-1;
ec,x=1,y=1;
(%o0) done
(%o1) x2 y 3 y 2 + x4 1
(%o2) 0
A continuacion, comprobamos que no se anula la derivada con respecto a x en
ese punto:
(%i3)
diff(ec,x);
%,x=1,y=1;
(%o3) 2 x y 3 + 4 x3
(%o4) 6
Ya sabemos que podemos poner que x depende de y:
(%i5)
depends(x,y);
(%o5) [x (y)]
Ahora vamos a encontrar g(1). Derivamos implcitamente y despejamos
dx/dy=g(1).
Llamamos solucion a este valor:
10
(%i6)
diff(ec,y);
solve(%,diff(x,y));
soluc:solve(%,diff(x,y));
d
d
3
2 2
3
(%o6) 2 x
x y +3x y 2y +4x
x
dy
dy
(%o7) [
3 x2 y 2 2 y
d
]
x=
dy
2 x y 3 + 4 x3
(%o8) [
3 x2 y 2 2 y
d
]
x=
dy
2 x y 3 + 4 x3
Para hacer referencia a esta solucion utilizamos al sentencia rhs: En este caso,
como solo hay una solucion, bastara con utilizar la sentencia
(%i9)
rhs(part(soluc,1));
(%o9)
3 x2 y 2 2 y
2 x y 3 + 4 x3
14
3 x2 y 2 2 y
2 x y 3 + 4 x3
1
6
Ejercicio 250
(%o4) 3
Y comprobamos que se puede despejar y en funci
on de x. Sin embargo, no se
puede asegurar que ocurra al reves, porque la derivada de la ecuaci
on respecto
de x es 0:
(%i5)
diff(ec,x);
%,x=1,y=1;
(%o5) 3 y 3 x2
(%o6) 0
15
Ejercicio 252
kill(all);
F(x,y):=y*exp(x)-x^2-1;
jacobian([F(x,y)],[x,y]);
%,x=0,y=1;
(%o0) done
(%o1) F (x, y) := y exp (x) x2 1
(%o2) ex y 2 x ex
(%o3) 1 1
(%o4)
(%o5)
-col(jacobian([F(x,y)],[x,y]),1)/col(jacobian([F(x,y)],
[x,y]),2);
%,x=0,y=1;
ex (2 x ex y)
1
(%o6)
j:jacobian([F(x,y)],[x,y]);
-j[1,1]/j[1,2];
%,x=0,y=1;
ex y 2 x ex
12
(%o7) ex (2 x ex y)
(%o8)
%,x=0,y=1;
(%o9)
16
Ejercicio 253
+x7 1
(%o2) 1 ea
(%o3) [a = 0]
Ahora comprobamos que se cumple la otra hipotesis del teorema de la funci
on
implcita:
(%i4)
diff(ec,z);
%,x=1,y=0,z=0;
(%o4) x ex z+y
+x7 1
(%o5) 1
Ya sabemos que z depende de x e y:
(%i6)
depends(z,[x,y]);
13
(%i7)
(%o7)
(%o8)
ec1:diff(ec,x);
ec2:diff(ec,y);
soluc1:solve(ec1,diff(z,x));
rhs(part(soluc1,1));
define(dzdx(x,y,z),rhs(part(soluc1,1)));
dzdx(1,0,0);
soluc2:solve(ec2,diff(z,y));
rhs(part(soluc2,1));
define(dzdy(x,y,z),rhs(part(soluc2,1)));
dzdy(1,0,0);
d
6
x z+y 2 +x7 1
z z + 7x
x
e
dx
2
7
d
ex z+y +x 1 2 y x
z
dy
(%o9) [
z 7 x6
d
z=
]
dx
x
(%o10)
z 7 x6
x
z 7 x6
x
(%o12) 7
(%o13) [
(%o14)
d
2y
z=
]
dy
x
2y
x
2y
x
(%o16) 0
17
Ejercicio 257
14
(%o1) f (x, y) := x3 + y 3 + x y
(%o2) y + 3 x2 3 y 2 + x
1
3i 1
3i + 1
3i + 1
1
,y =
], [x =
,y =
(%o3) [[x = , y = ], [x =
3
3
6
6
6
3i1
], [x = 0, y = 0]]
6
18
Ejercicio 258
kill(all);
f(x,y):=x*y*(x^2+y^2);
gradiente:jacobian([f(x,y)],[x,y]);
(%o0) done
(%o1) f (x, y) := x y x2 + y 2
(%o2) y y 2 + x2 + 2 x2 y x y 2 + x2 + 2 x y 2
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2]],[x,y]);
19
Ejercicio 259
kill(all);
f(x,y):=x^3+y^2-x*y;
gradiente:jacobian([f(x,y)],[x,y]);
gradiente,x=0,y=0;
gradiente,x=1,y=-1;
gradiente,x=1/6,y=1/12;
(%o0) done
(%o1) f (x, y) := x3 + y 2 + (x) y
(%o2) 3 x2 y 2 y x
15
(%o3)
0 0
(%o4)
4 3
0 0
(%o5)
Observamos que los posibles extremos se alcanzan en el primer y tercer puntos. Ahora obtenemos la matriz hessiana, la evaluamos en los puntos dados y
calculamos su determinante:
(%i6)
mh:hessian(f(x,y),[x,y]);
mh,x=0,y=0;
determinant(%);
mh,x=1/6,y=1/12;
determinant(%);
6 x 1
(%o6)
1 2
0 1
(%o7)
1 2
(%o8)
1
1 1
(%o9)
1 2
(%o10) 1
Los resultados coinciden con los del libro.
20
Ejercicio 260
2 x y 2 2 x 2 x2 y + 2 y + 1
3i
3i
1
i
(%o3) [[x = 0, y = ], [x = , y = 1], [x = , y = 1], [x = , y =
2
2
2
2
i
1], [x =
, y = 1]]
2
(%o2)
16
mh:hessian(f(x,y),[x,y]);
mh,x=0,y=-1/2;
determinant(%);
2
2y 2
4xy
(%o4)
4xy
2 x2 + 2
3
2 0
(%o5)
0 2
(%o6)
21
Ejercicio 261
kill(all);
f(x,y):=x^2*(sin(y))^2;
gradiente:jacobian([f(x,y)],[x,y]);
%,x=0,y=0;
mh:hessian(f(x,y),[x,y]);
mh,x=0,y=0;
determinant(%);
(%o0) done
2
2
2 x sin (y) 2 x2 cos (y) sin (y)
(%o3) 0 0
2
2 sin (y)
4 x cos (y) sin (y)
(%o4)
2
2
4 x cos (y) sin (y) 2 x2 cos (y) 2 x2 sin (y)
0 0
(%o5)
0 0
(%o2)
(%o6) 0
Los resultados coinciden con los del libro.
17
22
Ejercicio 262
kill(all);
f(x,y):=15.1*x-4*x^2+4*x*y-25.5+21*y-10*y^2;
gradiente:jacobian([f(x,y)],[x,y]);
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2]],[x,y]);
mh:hessian(f(x,y),[x,y]);
(%o0) done
(%o1) f (x, y) := 15.1 x 4 x2 + 4 x y 25.5 + 21 y + (10) y 2
(%o2) 4 y 8 x + 15.1 20 y + 4 x + 21
193
571
(%o3) [[x =
,y =
]]
72
360
8
4
(%o4)
4 20
mh,x=193/72,y=571/360;
determinant(mh);
8
4
(%o5)
4 20
(%o6) 144
Los resultados coinciden con los del libro.
23
Ejercicio 263
Definimos f y determinamos d
onde tiene puntos crticos:
(%i7)
kill(all);
f(x,y):=3*x^2+3*y^2-10*x+26-6*y;
gradiente:jacobian([f(x,y)],[x,y]);
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2]],[x,y]);
mh:hessian(f(x,y),[x,y]);
(%o0) done
(%o1) f (x, y) := 3 x2 + 3 y 2 + (10) x + 26 + (6) y
(%o2) 6 x 10 6 y 6
18
5
(%o3) [[x = , y = 1]]
3
6 0
(%o4)
0 6
Coincide con los resultados del libro.
24
Ejercicio 265
kill(all);
f(x,y):=x^2-y^2;
g(x,y):=x+y;
F(x,y,a):=f(x,y)+a*g(x,y);
(%o0) done
(%o1) f (x, y) := x2 y 2
(%o2) g (x, y) := x + y
(%o3) F (x, y, a) := f (x, y) + a g (x, y)
Definimos el gradiente y resolvemos el sistema que resulta de igualarlo a 0. Los
puntos crticos se almacenan en una lista, llamada puntoscriticos:
(%i4)
(%o4)
gradiente:jacobian([F(x,y,a)],[x,y,a]);
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2],
gradiente[1,3]],[x,y,a]);
2x+a a2y y +x
Coinciden con los del libro. Comprobamos que (1,-1) es un punto crtico.
(%i6)
(%o6)
25
gradiente,x=1,y=-1,a=-2;
0 0 0
Ejercicio 266
19
(%i7)
kill(all);
f(r,h):=2*%pi*r^2+2*%pi*r*h;
g(r,h):=%pi*r^2*h-300;
F(r,h,a):=f(r,h)+a*g(r,h);
gradiente:jacobian([F(r,h,a)],[r,h,a]);
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2],
gradiente[1,3]],[r,h,a]);
(%o0) done
(%o1) f (r, h) := 2 r2 + 2 r h
(%o2) g (r, h) := r2 h 300
(%o3) F (r, h, a) := f (r, h) + a g (r, h)
(%o4)
a r2 + 2 r
2ahr + 4r + 2h
1
(%o5) [[r =
23 33 53
43 3
4 33 53
,a =
1 ], [r = 2
1
1
2
1 ,h =
23 3 3 i + 23 3
75 3
31 1
1
1
2
1
3 43 3 i + 43 3
4 33 53
83 5
], [r = 2 1
2 1
2
1 ,a =
2
1 ,h =
1
23 3 3 i + 23 3
23 3 3 i 23 3
2 75 3
1
1
2
1
1
1
8 33 53
343 3 i 43 3
,
a
=
]]
2
1
1
2
1
23 3 3 i 23 3
2 75 3
La u
nica solucion real es la primera y coincide con la del libro.
1
3
26
,h =
23 33 53
h r2 300
2
3
Ejercicio 267
kill(all);
f(x,y):=x-y;
g(x,y):=x^2+y^2-1;
F(x,y,a):=f(x,y)+a*g(x,y);
gradiente:jacobian([F(x,y,a)],[x,y,a]);
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2],
gradiente[1,3]],[x,y,a]);
(%o0) done
(%o1) f (x, y) := x y
(%o2) g (x, y) := x2 + y 2 1
(%o3) F (x, y, a) := f (x, y) + a g (x, y)
(%o4)
2ax+ 1 2ay 1
y 2 + x2 1
20
1
1
1
1
1
1
(%o5) [[x = , y = , a = ], [x = , y = , a = ]]
2
2
2
2
2
2
Ahora evaluamos f en estos puntos:
(%i6)
ev(f(x,y),puntoscriticos[1]);
ev(f(x,y),puntoscriticos[2]);
(%o6) 2
(%o7)
2
Y podemos afirmar que el mnimo se alcanza en el primer punto y el maximo
en el segundo.
27
Ejercicio 269
kill(all);
T(x,y):=exp(x^2)+exp(y^2);
gradiente:jacobian([T(x,y)],[x,y]);
puntoscriticos:algsys([gradiente[1,1],
gradiente[1,2]],[x,y]);
(%o0) done
(%o1) T (x, y) := exp x2 + exp y 2
2
2
(%o2)
2 x ex 2 y ey
(%o3) [[x = 0, y = 0]]
Ahora estudiamos la frontera del disco con los multiplicadores de Lagrange.
Como no son ecuaciones algebraicas, utilizamos la sentencia solve:
(%i4)
g(x,y):=x^2+y^2-4;
F(x,y,a):=T(x,y)+a*g(x,y);
gradiente:jacobian([F(x,y,a)],[x,y,a]);
puntoscriticos:solve([gradiente[1,1],gradiente[1,2],
gradiente[1,3]],[x,y,a]);
(%o4) g (x, y) := x2 + y 2 4
(%o5) F (x, y, a) := T (x, y) + a g (x, y)
2
2
(%o6)
2 x ex + 2 a x 2 y ey + 2 a y y 2 + x2 4
21
(%o7) [[x = 2, y = 0, a = e4 ], [x = 2, y = 0, a = e4 ], [x = 0, y = 2, a =
e4 ], [x = 0, y = 2, a = e4 ]]
Observe que faltan posibles puntos crticos, que s han sido detectados en el
ejercicio. De hecho, si evaluamos gradiente en estos puntos el resultado es el
esperado:
(%i8)
(%o8)
ev(gradiente,[x=sqrt(2),y=sqrt(2),a=-exp(2)]);
0 0 0
ev(T(x,y),[x=0,y=0]);
ev(T(x,y),puntoscriticos[1]);
ev(T(x,y),puntoscriticos[2]);
ev(T(x,y),puntoscriticos[3]);
ev(T(x,y),puntoscriticos[4]);
(%o9) 2
(%o10) e4 + 1
(%o11) e4 + 1
(%o12) e4 + 1
(%o13) e4 + 1
Y en los que hemos obtenido en el libro adicionalmente:
(%i14) ev(T(x,y),[x=sqrt(2),y=sqrt(2)]);
ev(T(x,y),[x=-sqrt(2),y=sqrt(2)]);
ev(T(x,y),[x=sqrt(2),y=-sqrt(2)]);
ev(T(x,y),[x=-sqrt(2),y=-sqrt(2)]);
(%o14) 2 e2
(%o15) 2 e2
(%o16) 2 e2
(%o17) 2 e2
28
Ejercicio 270
22
(%i18) kill(all);
f(x,y):=x^2+y;
g(x,y):=2*x-y;
F(x,y,a):=f(x,y)+a*g(x,y);
gradiente:jacobian([F(x,y,a)],[x,y,a]);
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2],
gradiente[1,3]],[x,y,a]);
(%o0) done
(%o1) f (x, y) := x2 + y
(%o2) g (x, y) := 2 x y
(%o3) F (x, y, a) := f (x, y) + a g (x, y)
(%o4) 2 x + 2 a 1 a 2 x y
(%o5) [[x = 1, y = 2, a = 1]]
29
Ejercicio 271
kill(all);
h(x):=300-x+3*sqrt(x^2+100^2);
diff(h(x),x);
define(d1h(x),diff(h(x),x));
solve(d1h(x),x);
%^2;
puntoscriticos:solve(%);
(%o0) done
(%o1) h (x) := 300 x + 3
p
x2 + 1002
3x
(%o2)
1
x2 + 10000
3x
(%o3) d1h (x) :=
1
2
x + 10000
x2 + 10000
]
(%o4) [x =
3
x2 + 10000
]
9
(%o6) [x = 25 2, x = 25 2]
(%o5) [x2 =
23
diff(h(x),x,2);
ev(h(x),puntoscriticos[2]);
float(%);
3
3 x2
(%o7)
3
x2 + 10000 (x2 + 10000) 2
7
(%o8) 25 2 2 + 300
(%o9) 582.8427124746193
Ademas evaluamos h en x=0,x=300:
(%i10) ev(h(x),x=0);
float(%);
ev(h(x),x=300);
float(%);
(%o10) 600
(%o11) 600.0
5
(%o12) 3 10 2
(%o13) 948.6832980505141
Estos resultados confirman la resolucion del libro.
30
Ejercicio 272
(%o2) g (x, y, z) := x2 + 2 y 2 + 3 z 2 1
(%o3) F (x, y, z, a) := f (x, y, z) + a g (x, y, z)
2 a x + 1 4 a y + 1 6 a z + 1 3 z 2 + 2 y 2 + x2 1
2 3
3
2
11
2 3
,y =
(%o5) [[x =
, y = , z = , a = ], [x =
11
2
11
3 11
2 6
11
3
2
11
, z = , a = ]]
2 11
3 11
2 6
(%o4)
ev(f(x,y,z),puntoscriticos[1]);
ev(f(x,y,z),puntoscriticos[2]);
2 3
3
2
(%o6)
+ +
11
2 11
3 11
2 3
3
2
(%o7)
11
2 11
3 11
Coincide con el resultado del libro.
31
Ejercicio 273
kill(all);
f(x,y,z):=x^2+y^2+z^2;
g(x,y,z):=x*y+4-z;
F(x,y,z,t):=f(x,y,z)+t*g(x,y,z);
gradiente:jacobian([F(x,y,z,t)],[x,y,z,t]);
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2],
gradiente[1,3],gradiente[1,4]],[x,y,z,t]);
(%o0) done
(%o1) f (x, y, z) := x2 + y 2 + z 2
(%o2) g (x, y, z) := x y + 4 z
(%o3) F (x, y, z, t) := f (x, y, z) + t g (x, y, z)
t y + 2 x 2 y + t x 2 z t z + x y + 4
(%o5)
[[x = 3, y = 3, z = 1, t = 2], [x
= 3,y = 3, z = 1, t = 2], [x =
5 i, y = 5 i, z = 1, t = 2], [x = 5 i, y = 5 i, z = 1, t = 2], [x =
0, y = 0, z = 4, t = 8]]
(%o4)
25
ev(f(x,y,z),puntoscriticos[1]);
ev(f(x,y,z),puntoscriticos[2]);
ev(f(x,y,z),puntoscriticos[5]);
(%o6) 7
(%o7) 7
(%o8) 16
Los resultados coinciden con los del libro.
32
Ejercicio 274
kill(all);
f(x,y):=x^2-x*y+y^2;
gradiente:jacobian([f(x,y)],[x,y]);
puntoscriticos:algsys([gradiente[1,1],gradiente[1,2]],[x,y]);
(%o0) done
(%o1) f (x, y) := x2 x y + y 2
(%o2) 2 x y 2 y x
(%o3) [[x = 0, y = 0]]
El u
nico extremos posible se alcanza en (0,0). Estudiamos ahora los extremos
en los lados de los segmentos:
(%i4)
pcrit:[solve(diff(f(1,y),y),[y]),solve(diff(f(-1,y),y),[y]),
solve(diff(f(x,1),x),[x]),solve(diff(f(x,-1),x),[x])];
1
1
1
1
], [y = ], [x = ], [x = ]]
2
2
2
2
Estos valores dan lugar a los puntos (1,1/2),(-1,-1/2),(1/2,1),(-1/2,-1). Evaluamos f en todos los extremos posibles (los anteriores mas los cuatro vertices):
(%o4) [[y =
26
(%i5)
f(0,0);
f(1,1/2);
f(-1,-1/2);
f(1/2,1);
f(-1/2,-1);
f(1,1);
f(1,-1);
f(-1,1);
f(-1,-1);
(%o5) 0
(%o6)
(%o7)
(%o8)
(%o9)
(%o10)
3
4
3
4
3
4
3
4
1
(%o11) 3
(%o12) 3
(%o13) 1
Los resultados coinciden con los del libro.
27