Casio Claspad 300 Laboratorios - calculoIII

Uni ver si dad Di ego Por tal es I nsti tuto de Ci enci as bsi cas F acul tad de I ngeni er a
C L A S S P A D 3 0 0 2 0 0 8
A C T I V I D A D E S D E
C L C U L O E N V A R I A S
V A R I A B L E S

Mauricio Herrera Rubn Preiss
C l a s s p a d
ACTI VI DADES PARA EL ESTUDI ANTE Y EL
PROFESOR CON CLASSPAD 300.

9 Operaciones Bsicas con Vectores.
9 Planos y Rectas.
9 Funciones Vectoriales y Curvas.
9 Funciones Reales de Varias Variables.
9 Lmites y Continuidad.
9 Derivadas Parciales.
9 Extremos Locales.
9 Extremos Condicionados y Multiplicadores de
Lagrange.
9 Integrales Mltiples.
9 Operaciones Diferenciales Vectoriales.
9 Integrales de Lnea.
9 Integrales de Superficie.
9 Teoremas de Green, Gauss y Stokes.

c c

CONTENI DO

1.0
ACTI VI DADES DEL
ESTUDI ANTE.

2.0
ACTI VI DADES DEL
PROFESOR.

3.0
EJ EMPLOS RESUELTOS.

4.0
EJ EMPLOS DE
EVALUACI ONES.

Rubn Preiss
J efe de Proyecto:
Matemtica Experimental con
Tecnologa
Universidad Diego Portales
I nstituto de Ciencias Bsicas
Facultad de Ingeniera Matemtica
con tecnologa.
1

Facultad de Ingeniera. Asignatura: Clculo III
Instituto de Ciencias Bsicas

Laboratorio N 1, Geometra Vectorial. Operaciones Bsicas
con vectores.
I ntroduccin.

En este laboratorio estudiamos las operaciones bsicas con vectores. Los vectores, a
diferencia de las magnitudes escalares que requieren de un solo nmero para su completa
definicin, son magnitudes que para su determinacin necesitan de un mdulo, una
direccin y un sentido. Ejemplos de vectores lo constituyen: la fuerza, la aceleracin, el
momento lineal, etc. Ejemplos de escalares pueden ser, la temperatura, el valor de la UF, la
energa, etc. Las magnitudes vectoriales no son exclusivas de
2
y
3
, sino que pueden
generalizarse a
n
y a otros espacios vectoriales como los estudiados en lgebra lineal.
Ejemplos Resueltos:
1. Dados los vectores ( ) 3,2, 1 a=
,
,

3 4 5 b i j k =
,
,

c i j k = +
,
, determine
a. a b +
,
,

b. 3 2 a c
, ,

c. a b
,
,

d. c b
,
,

e. El ngulo entre los vectores a
,
y c
,

f. El vector unitario a
g. c
,

h. Descomponga el vector b
,
en la forma b b b
= +
|
, , ,
donde b
|
,
es el componente
del vector b
,
paralelo al vector a
,
y b
,
es el componente perpendicular a a
,
.
Solucin
Primeramente definimos los vectores, como se muestra en la figura 1. En esta
misma figura se dan las soluciones a los ejercicios (a) - (d).
Las soluciones a los ejercicios (e) - (g) se muestran en la figura 2.

2

Para resolver el ejercicio (h) y que este nos sirva para futuras operaciones con
vectores, vamos a definir una funcin de usuario, que permita calcular la
proyeccin de un vector sobre otro. Definimos la funcin proy(p,q), es decir, la
proyeccin del vector p sobre el vector q, empleando los siguientes comandos:

El componente del vector b
,
paralelo al vector a
,
coincide con la proyeccin del vector
b
,
sobre a
,
, es decir,
( )
proy , b b a =
|
, ,
,
. El componente perpendicular se calcula
( )
proy , b b b b b a
= =
|
, , , , ,
,
. En la figura 3 resolvemos este ejercicio.
Nota: Operaciones bsicas con vectores
a b
,
,
dotP(a,b)
c b
,
,
crossP(c,d)

( )
, a b
,
,
< angle(a,b)
aunitV(a)
c
,
norm(c)
2. La calculadora permite la representacin geomtrica de vectores en
2
utilizando segmentos orientados. La longitud del segmento indica el
mdulo, la direccin del segmento es la correspondiente del vector y la flecha
indica el sentido. Construya, empleando la calculadora, la suma y la resta de
los vectores ( ) 2,3 r =
,
y ( ) 4,1 s =
,
mediante la regla del paralelogramo.
Solucin
En el men Geometra abra un archivo nuevo, coloque los ejes coordenados y
dibuje dos vectores que partan del origen y que aproximadamente tengan las
componentes de los vectores r
,
y s
,
de nuestro ejercicio (figura 4). Para construir
Figura 1 Figura 2
Define library\proy(p,q) = dotP(p,q)/dotP(q,q)q
Figura 3
3
exactamente estos vectores marcamos primero el extremo del vector r
,
y apretamos
en ltimo icono de la barra de herramientas. Deber obtenerse una situacin similar
a la dada en la figura 5. Modificamos las coordenadas del extremo colocando las
correctas (figura 6). De manera anloga procedemos con el otro vector (figura 7)

Ahora trasladamos de manera paralela ambos vectores para construir el
paralelogramo (figuras 8 -10)

El vector suma coincide con la diagonal principal del paralelogramo trazado. En
figura 11 se muestra que el vector ( ) 6,4 r s + =
, ,
. La resta de los vectores coincide
con la diagonal secundaria del paralelogramo. La figura 12 muestra que
( ) 2, 2 s r =
, ,

Figura 4 Figura 5 Figura 6
4

3. Defina una funcin de usuario mixto que permita calcular el producto mixto
de tres vectores. Teniendo en cuenta que el valor numrico (positivo) del
producto mixto de tres vectores coincide con el volumen del paraleleppedo
formado por estos vectores, emplee la funcin mixto para hallar el volumen
del prisma obtenido cortando a la mitad el paraleleppedo formado por los
vectores ( ) 1,0, 1 a=
,
, ( ) 2, 2,3 b=
,
, ( ) 1,1,0 c =
,

Solucin:
En la ventana Main escribimos:

La figura 13 muestra la definicin de la funcin de usuario
mixto y el clculo del producto mixto de los vectores arriba
definidos.
De la figura 13 podemos deducir que el volumen del prisma
pedido es
Pr
3
2
isma
V =

Define library\mixto(a,b,c) = dotP(a,crossP(b,c))
Figura 13
5
Laboratorio N 1, Geometra Vectorial. Operaciones Bsicas
con vectores.
Actividades del profesor:
1. Emplee la funcin mixto definida en la pregunta 2 para mostrar con un ejemplo
arbitrario la siguiente propiedad del producto mixto:

( )
( )
( )
a b c b c a c a b = =
, , ,
, , , , , ,

Solucin
En la calculadora escribimos:

y obtenemos 0. De igual modo:

2. Muestre que el producto vectorial triple satisface la siguiente identidad:

( )
( )
( )
a b c b a c c a b =
, , ,
, , , , , ,

Los clculos se muestran en la figura 15.

4. El tringulo mostrado en la figura adjunta est formado por los vectores a
,
, b
,
y c
,
.
a. Demuestre ( )
2 2
2
c c c c c =
, , , ,

a
,
b
,
c
,
simplify(mixto(a,b,c)-mixto(c,a,b))
simplify(mixto(a,b,c)-mixto(b,c,a))
Figura 14
Figura 15
Figura 16 Figura 17
6
b. Muestre, con ayuda de la calculadora que el producto punto entre dos vectores
puede definirse de dos maneras distintas, pero equivalentes.
1 1 2 2 3 3
a b ab a b ab = + +
,
,
, o de otra manera cos a b a b =
, ,
, ,
, donde es el ngulo
entre los vectores a
,
y b
,
.
c. Empleando la relacin
( ) ( )
c c b a b a =
, ,
, , , ,
obtenga la ley de los cosenos.
d. Empleando la relacin ( ) b a c a a = +
,
, , , ,
obtenga la ley de los senos.
Solucin
a. La solucin se muestra en la figura 16.
b. Definimos la funcin de usuario Ppunto

Y comparamos los resultados de las operaciones DotP(a,b) que utiliza la primera
definicin del producto punto con Ppunto(a,b) que emplea la segunda de las
definiciones. La comparacin se muestra en la figura 17.
c. Resolucin manual
( ) ( )
2 2
2 2 cos c c b a b a b b a a a b b a ab = = + = +
, , , , ,
, , , , , , ,

donde a a =
,
, b b =
,
y es el ngulo entre los vectores.
d. Resolucin manual
( ) b a c a a c a a a = + = +
,
, , , , , , , ,
c a =
, ,
. Tomando el mdulo. Tenemos:
sen sen b a b a c a c a = = =
,
, , ,

Dividimos por abcy obtenemos
sen sen

c b

=
5. Dado el vector
1 2 3

a ai a j a k = + +
,
, muestre que el vector unitario a se escribe en
la forma ( ) ( ) ( )

cos cos cos a i j k = + + . Donde , y son los ngulos
que forma la direccin del vector a
,
con los ejes coordenados X, Y, y Z
respectivamente. A los componentes del vector unitario se les denomina por esta
razn, cosenos directores.
a. Muestre que ( ) ( ) ( )
2 2 2
cos cos cos 1 + + =

Define library\Ppunto(p,q)=norm(p) norm(q) cos(angle(p,q))
7

Solucin
La solucin se muestra en las figuras 19 y 20.

6. En los ejercicios anteriores, seguramente ha podido apreciar que a cada vector a
,
de
3
se le asocia un tro de nmeros ( )
1 2 3
, , a a a , que denominamos componentes.
Nada nos impide generalizar este hecho al espacio
n
, es decir a cada vector a le
asociamos una n-pla ( )
1 2 3
, , ,
n
a a a a . Observe, haciendo los siguientes ejercicios
que las operaciones bsicas (salvo el producto vectorial) entre vectores, en su
calculadora, continan funcionando.
Dados los vectores ( ) 1,0, 1,2,4 = a , ( ) 1,1,1,3,3 = b , ( ) 2, 1, 3, 4,0 = c ,
determine:
a. + a b
b. 3 2 a c
c. a (Observe el cambio de notacin para el mdulo)
d. a b
e. El ngulo entre los vectores a y c
f. La proyeccin del vector a sobre el vector c.

Solucin

Las soluciones se muestran en las figuras 21 y 22.

Figura 19
Figura 20 Figura 21
Figura 22
8
Ejemplos de Quiz 1.

Variante 1

a. Definimos los puntos
[ ]
2,3,1 A ,
[ ]
3, 4, 2 B ,
[ ]
0, 3,2 C . Construimos
los vectores AB
,
, AC
,
y calculamos la norma del producto vectorial AB AC
, ,
. El rea
buscada es la mitad del valor del mdulo del producto vectorial indicado (ver la figura
1)
b. Para calcular la altura debemos tener en cuenta que Proy
AB
h AC AC =
,
, ,
. En la
figura 1 se muestran los clculos correspondientes.

Variante 2

a. Definimos los vectores (ver figura 2). Para hallar la relacin entre h y g tal que el
vector gu hv +
, ,
sea ortogonal a w
,
, escribimos:

a. El producto mixto permite calcular el volumen pedido.
b. La diagonal principal est dada por vector u v +
, ,
, mientras que la diagonal
secundaria es u v
, ,
. Para calcular el ngulo empleamos la funcin angle como se
muestra en la figura 2.

Variante 3
a. Definimos los vectores y calculamos la proyeccin del vector u
,
sobre v
,
mediante
la funcin de usuario proy. (figura 3)
b. Para calcular el ngulo empleamos la funcin angle
c. Para hallar la relacin entre h y g tal que el vector gu hv +
, ,
sea ortogonal a w
,
,
escribimos:

solve(DotP(gu+hv,w)=0,h)
solve(DotP(gu+hv,w)=0,h)
Figura 1
Figura 2 Figura 3
9


Laboratorio N 2, Geometra Vectorial. Planos y Rectas.

I ntroduccin.

En este laboratorio estudiamos los elementos geomtricos bsicos en el espacio
3
. Ellos
son los planos, las rectas y los puntos. Empleamos las operaciones vectoriales para
determinar las ecuaciones de planos y rectas as como la distancia de un punto a un plano.

Ejemplos Resueltos:
7. Determine si los siguientes cuatro puntos ( )
1
1,1, 1 P , ( )
2
2,1,0 P , ( )
3
0,1, 2 P ,
( )
4
1,0, 1 P se encuentran sobre un plano. Si es as, encuentre la ecuacin del
plano que los contiene.
Solucin:
Construimos los vectores:
( )
1 2
1,0,1 PP =
,
a ; ( )
1 3
1,0, 1 PP =
,
b ; ( )
1 4
2, 1,0 PP =
,
c . Se observa claramente
que los vectores
1 2
PP
,
y
1 3
PP
,
son proporcionales
1 2 1 3
PP PP =
, ,
. Esto indica que los puntos
1
P ,
2
P y
3
P se encuentran sobre una misma recta.
Los cuatro puntos pertenecern al plano que contiene a los vectores
1 2
PP
,
y
1 4
PP
,
. Para
construir la ecuacin de este plano calculamos el vector normal
1 2 1 4
N PP PP =
, , ,
y
consideramos la ecuacin vectorial del plano
( ) ( )
1
0 1, 2, 1 1, 0, 1 N PP x y z =
, ,
=
2 0 x y z =

8. Para determinar la ecuacin de un plano se necesitan tres puntos que no se
encuentren sobre una misma recta. Confeccione un programa que permita
encontrar la ecuacin de un plano que pase por tres puntos no colineales. Utilice
el programa para hallar la ecuacin del plano que pasa por los puntos ( )
1
0,2, 1 P ,
( )
2
2,1,0 P y ( )
3
4,5, 2 P .

Figura 1
10

Solucin
El programa se denomina Plano3Pt y se muestra en la figura 2.
Empleamos ahora este programa para hallar la ecuacin del plano que pasa por los puntos
dados. Al ejecutar el programa introducimos el primer punto como de indica en la figura 3.
Los otros puntos se introducen de manera anloga. En la figura 4 se muestra la ecuacin
buscada.

9. Obtenga las ecuaciones de dos planos que pasen por un mismo punto de la recta
1 1 2
3 2 4
x y z +
= = y que sean perpendiculares al plano 2 3 4 0 x y z + + = .
Solucin.
Podemos elegir un punto arbitrario de la recta, por ejemplo ( ) 1,1,2 P . El plano que
buscamos tiene la ecuacin general 0 Ax By Cz D + + + = . El punto P debe pertenecer al
plano buscado por tanto se satisface la condicin: 2 0 A B C D + + + = . Por otro lado el
plano buscado es perpendicular a 2 3 4 0 x y z + + = , por lo que debe satisfacerse una
segunda condicin para los coeficientes A, B, C y D: 2 3 0 A B C + = . En la figura 6 se
resuelve el sistema formado por estas dos condiciones respecto a las variables A y B.

Tomamos valores arbitrarios para los coeficientes C y
D:
0, 3 1, 2 C D A B = = = =
3, 0 5, 1 C D A B = = = =
De donde obtenemos los planos:
2 3 0 x y + = y 5 3 0 x y z + =

Figura 6
11

10. Encuentre la ecuacin del plano que pasa por el punto ( ) 2,2, 3 P y contenga la
recta obtenida por la interseccin de los planos 3 2 0 x y z + = y
2 4 1 0 x y z + + = .
a. Determine la distancia del punto ( )
1
1,1,1 P al plano obtenido.
Solucin
Primeramente buscamos la ecuacin de la recta - interseccin de los dos planos
(figura 7)

Tomando la variable z como independiente tenemos la ecuacin paramtrica de la recta:

1 5
1 14
x t
y t
z t
= +
=
=

De acuerdo a esta ecuacin, la recta pasa por el punto ( )
0
1, 1,0 P y posee el vector
director ( ) 5, 14,1 = a . Construimos ahora el vector
( )
0
1,3, 3 P P =
,
b . Los vectores a y bdeben estar sobre el
plano buscado, por tanto para construir su vector normal
podemos calcular el producto cruz ( ) 39,16,29 = = N a b
(figura 8). La figura 9 muestra el clculo de la ecuacin del
plano buscado.
( ) ( ) ( ) 39 2 16 2 29 3 0 x y z + + + =
O de manera simplificada (figura 10)

39 16 29 23 0 x y z + + =

Figura 10
12
Para determinar la distancia del punto ( )
1
1,1,1 P al plano
encontrado utilizamos la frmula:
( )
1 1 1
2 2 2
,
Ax By Cz D
d P
A B C
+ + +
=
+ +

El clculo se muestra en la figura 11.

Figura 11
13
Laboratorio N 2, Geometra Vectorial. Planos y Rectas.
3. Los puntos ( )
1
1,1, 1 P , ( )
2
2,1,0 P , ( )
3
0,1, 2 P se encuentran sobre una misma
recta, al aplicar el programa Plano3Pt se obtiene 0 0 = . Modifique el
programa de modo tal que identifique si los puntos introducidos se encuentran o
no sobre una misma recta y solamente en caso de que no lo estn, determine la
ecuacin del plano correspondiente.
Solucin
El programa Plano3Pt modificado se muestra en la figura 1

4. Determine la ecuacin de la recta que pasa por el
punto ( ) 2, 1,3 P y es paralela a la recta que pasa por los puntos ( ) 1,4, 6 Q y
( ) 2, 1,5 R .
Solucin
La solucin se muestra en la figura 2.

5. Dado el plano: : 2 3 2 0 x y z + + =
a. Determine la ecuacin de la recta perpendicular al plano que pasa por el
punto ( )
0
1,0, 1 P .
b. Determine la distancia del punto
0
P al plano .
c. Determine la interseccin del plano con los
ejes coordenados.
Solucin
a) La solucin se muestra en la figura 3(a).
b) La solucin se muestra en la figura 3(b).
c) De acuerdo a la figura 4 los puntos de interseccin del plano con
Figura 1
Figura 3 (a) y (b)
Figura 2
Figura 4
14
los ejes coordenados son ( ) 1,0,0 con el eje X,
2
0, ,0
3

con el eje Y, ( ) 0,0,2 con
el eje Z.
6. Demuestre que los tres planos de ecuaciones respectivas,
1
:7 2 2 5 0 x y z = ,
2
:3 2 3 10 0 x y z + = y
3
:7 2 5 16 0 x y z + = contienen a una recta
comn. Encuentre la ecuacin y entregue las coordenadas de dos puntos de esta
recta.
Solucin
Para demostrar que los planos contienen una recta en comn hay varias formas
equivalentes, por ejemplo: 1) puede mostrarse que los vectores normales son coplanares
(empleando la funcin mixto) , 2) formamos la matriz
[ ]
1 2 3
, , N N N y mostramos que su
determinante es nulo (ver figura 5), 3) transformamos la matriz a la forma escalonada por
filas y comprobamos que la ltima fila es nula, por lo tanto su rango es dos (ver figura 6),
etc.
La ecuacin de la recta puede obtenerse resolviendo simultneamente las ecuaciones de los
planos, como el rango es dos una de las variables queda indeterminada, por ejemplo la
variable z. De acuerdo a la figura 5 tomando z t = obtenemos la ecuacin de la recta que
constituye la interseccin de los tres planos (ver figura 7) . Tomando dos valores para el
parmetro t obtenemos dos puntos de la recta, tal como se muestra en la figura 7.

Figura 6 Figura 5
Figura 7
15
Ejemplos de Quiz 2.

Variante 1.

1
2, 1,4 P ,
2
7 1
, ,4
4 4
P

, ( )
3
3,1,2 P ,
( )
4
1,2,4 P se encuentran sobre un plano. Si es as, encuentre la ecuacin del plano
que los contiene, de lo contrario calcule el volumen del paraleleppedo que tiene
cuatro vrtices en estos puntos y determine la distancia del punto
4
P al plano que
contiene a los puntos
1
P ,
2
P y
3
P .
Variante 2.

1
1,0,2 P ,
2
3
,4,2
2
P

, ( )
3
1,3,4 P ,
( )
4
1,2,4 P se encuentran sobre un plano. Si es as, encuentre la ecuacin del plano
que los contiene, de lo contrario calcule el volumen del paraleleppedo que tiene
cuatro vrtices en estos puntos y determine la distancia del punto
4
P al plano que
contiene a los puntos
1
P ,
2
P y
3
P .

Variante 3.

13. Determine si los siguientes cuatro puntos
1
8
1, ,2
3
P

, ( )
2
4,8,8 P , ( )
3
15,30,30 P ,
4
3
,4,3
2
P

se encuentran sobre un plano. Si es as, encuentre la ecuacin del
plano que los contiene, de lo contrario calcule el volumen del paraleleppedo que
tiene cuatro vrtices en estos puntos y determine la distancia del punto
4
P al plano
que contiene a los puntos
1
P ,
2
P y
3
P .

16
Pauta
Variante 1.
La figura 1 muestra que los vectores formados con estos puntos son coplanares, por tanto
los cuatro puntos se encuentran sobre un mismo plano. Utilizamos ahora tres de estos
puntos para encontrar la ecuacin del plano con ayuda del programa Plano3pt, por
ejemplo tomando los puntos
1
P ,
2
P y
3
P obtenemos la ecuacin del plano mostrada en la
figura 2

Variante 2

La figura 3 muestra que los vectores formados por estos puntos no son coplanares y
forman un paraleleppedo cuyo volumen es numricamente igual al producto mixto, es
decir 17. Para determinar la ecuacin del plano con ayuda del programa Plano3pt,
tomamos los puntos
1
P ,
2
P y
3
P obtenemos la ecuacin del plano mostrada en la figura 4.
Con esta ecuacin calculamos su distancia al punto
4
P , como se muestra en la figura 5.

Figura 1
Figura 2
Figura 3 Figura 4
Figura 5
17
Variante 3

La figura 6 muestra que los vectores formados por estos puntos son coplanares, por tanto
los cuatro puntos se encuentran sobre un mismo plano. Utilizamos ahora tres de estos
puntos para encontrar la ecuacin del plano con ayuda del programa Plano3pt, por
ejemplo tomando los puntos
1
P ,
2
P y
3
P obtenemos la ecuacin del plano mostrada en la
figura 7

Figura 6
Figura 7
18


Laboratorio N 3, Funciones vectoriales, Cuvas.
I ntroduccin.

En la primera parte de este laboratorio vamos a estudiar algunos aspectos de funciones
vectoriales de una variable, en particular las funciones
3
:[ , ] f a b cuyas grficas
definen curvas en el espacio. Trataremos las nociones de longitud de arco, derivada e
integracin de funciones vectoriales, fundamentalmente aplicados a los conceptos de
posicin, velocidad y aceleracin de una partcula que se mueve en el espacio describiendo
una curva.
En la segunda parte estudiamos los conceptos de vector tangente, normal y binormal,
curvatura, torsin, radio de curvatura, planos tangente, rectificador y osculador, rectas
tangente, binormal y normal principal a una curva en un punto dado.
Los clculos para determinar algunos de estos elementos suelen ser laboriosos y por esta
razn el objetivo principal del trabajo con la calculadora ser el de facilitar el clculo de la
manera ms efectiva posible.
Ejemplos Resueltos:
1. Calcule la longitud de arco de una curva de
2
dada por
2
3
y x = para
[ ]
1,4 x .
Solucin
Cuando la curva est dada en la forma ( ) y f x = para
[ ] , x a b la longitud de arco se
determina mediante la frmula:
( )
( )
2
1
b
a
df x
l C dx
dx

= +

Sin embargo, la calculadora tiene incorporado la funcin arcLen que realiza la misma
operacin. En la figura 1 se muestran los clculos hechos empleando la frmula
anterior y la funcin arcLen incorporada.

2. Construya una funcin de usuario que permita calcular la longitud de arco de una
curva C de
3
dada en forma paramtrica.
a. Utilice la funcin de usuario construida para calcular las longitudes de arco de las
curvas:
Figura 1
Figura 2 Figura 3
19
i-
( )
2
1, , r t t =
,
[ ] 0,2 t ; ii- ( ) ln y x = [ ] 1,3 x
Solucin
Para determinar la longitud de una curva C de
3
dada en forma paramtrica
( ) ( ) ( ) ( ) ( )
, , r t x t y t z t =
,
con
[ ]
, t a b empleamos la frmula:
( )
2 2 2
b
a
dx dy dz
l C dt
dt dt dt

= + +

La funcin de usuario, que denominamos Long, queda definida de la manera
siguiente:

Aqu C es la curva que deber estar definida en la forma:
( ) ( ) ( ) { }
, , x t y t z t C
Observe que hemos usado llaves en lugar de parntesis cuadrados. t indica el
parmetro, p y q son los extremos inicial y final del intervalo de variacin del
parmetro t, es decir
[ ]
, t p q
La figura 2 muestra los clculos hechos para la curva
( )
2
1, , r t t =
,
con
[ ]
0,2 t .
Para calcular la longitud de la curva ( ) ln y x = con
[ ]
1,3 x , podemos usar la funcin
arcLen dada ms arriba, sin embargo podemos emplear la funcin Long si
escribimos la curva en la forma ( ) ( ) ,ln ,0 r x x x =
,
con [ ] 1,3 x . Es decir, aqu el
parmetro es la variable x. La figura 3 muestra en
clculo por ambas vas.

3. Una partcula se mueve en el espacio describiendo una
curva definida por la funcin
( ) ( ) ( )
3

ln 2 ln
t
r t t i e j t t k = + +
,
, a medida que
transcurre el tiempo t en segundos.
a. Calcule la velocidad de la partcula cuando 1[ ] t s = .
b. Calcule la aceleracin para 2[ ] t s = .
Solucin
Construimos la curva en la forma ( ) ( ) { }
3
ln 2 , , ln
t
t e t t a . La figura 4 muestra los
clculos hechos para la velocidad ( ) ( )
3
1
1 1,3 ,1
t
v r e
=
= =
, ,
y la aceleracin
( )
6
2
1 1
2 ,9 ,
4 2
t
a r e
=

= =

, ,

4. Una partcula se mueve en el espacio describiendo cierta curva. En cada instante de
tiempo su velocidad est dada por la funcin ( ) ( )
2 3
2,3 ,4 v t t t t =
,

cm
s

con
[ ]
0,10 t
Define library\Long(C,t,p,q)
[ ] [ ] [ ]
2 2 2
1 2 3
q
p
dC dC dC
dt
dt dt dt

= + +

Figura 4
20
a. Determine la aceleracin de la partcula cuando 4[ ] t s =
b. Si la partcula al inicio de su movimiento se encontraba en el origen de
coordenadas, determine su posicin cuando 3[ ] t s = .
c. Calcule el camino recorrido por la partcula desde que parti hasta que 2[ ] t s =
Solucin
a. La aceleracin se determina derivando la velocidad (figura 5)

b. Para calcular la posicin debemos emplear la frmula:
( ) ( ) ( )
0
0
t
t
r t r t v t dt =
, , ,
, donde
0
t es el valor inicial del tiempo. En este caso la
partcula se hallaba en el origen de coordenadas al inicio del movimiento, por tanto
( ) ( )
0
0,0,0 r t =
,
La figura 6 muestra los clculos.
c. Para calcular el camino recorrido debemos hallar la longitud de arco de la curva
descrita en el intervalo
[ ] 0,2 t . El clculo se muestra en la figura 7.
5. Confeccione un programa para calcular la curvatura de una curva dada en forma
paramtrica.
a. Utilice el programa para calcular la curvatura de la curva
2 3

r ti t j t k = + +
,
.
Solucin.
La figura 8 muestra el programa Curv_t creado para calcular la curvatura de una curva
dada en forma paramtrica ( ) ( ) ( ) ( )

r t x t i y t j z t k = + +
,
.
Al inicio se requiere que se introduzcan los componentes de la curva, es decir ( ) x t , ( ) y t ,
( ) z t . Se emplea la siguiente frmula para determinar la curvatura
2
2
3
dr d r
dt dt
k
dr
dt
=
, ,
,

Aplicamos el programa para calcular la curvatura de
2 3

r ti t j t k = + +
,
. Como se muestra en
las figuras 9 y 10

Figura 5
Figura 6 Figura 7
21

6. Construya un programa para calcular la torsin de una curva dada en forma paramtrica.
a. Utilice el programa para calcular la torsin de la hlice circular
( ) ( )

cos sen r t i t j tk = + +
,
.
b. Con ayuda del programa para calcular la torsin, demuestre que la curva
( ) ( )
2 2 2
1 3 2 ,2 2 ,1 r t t t t t = + +
,
es plana. Es decir, est contenida en un plano.
Solucin.

El programa que denominamos Tors_t (figura 11) permite calcular la torsin de curvas
dadas de manera paramtrica ( ) ( ) ( ) ( )

,
, mediante el uso de la frmula:

2 3
2 3
2
2
2
dr d r d r
dt dt dt
dr d r
dt dt
, , ,
, ,

Donde el signo positivo se toma cuando el vector
dB
ds
posee el mismo sentido del vector
Ny el signo negativo en caso contrario. Aqu
Bes el vector binormal unitario, s es la

longitud de arco de la curva y
N es el vector normal unitario. En la figura 4 se muestra

este programa. Observe que se emple la funcin de usuario mixto, que permite
determinar el producto mixto de vectores.
a. Aplicamos el programa para calcular la torsin de la hlice circular
( ) ( )

cos sen r t i t j tk = + +
,
, ver las figuras 12 y 13.

Figura 8
Figura 9
Figura 10
22

b. Para demostrar que la curva ( ) ( )
2 2 2
1 3 2 ,2 2 ,1 r t t t t t = + +
,
es plana, basta con
encontrar que la torsin de esta curva es nula, es decir 0 = . Para ello
introducimos los componentes de la curva en el programa Tors_t como se
muestra en la figura 14 y calculamos la torsin como se muestra en la figura 15.

7. Para calcular los vectores tangente, binormal y normal podemos emplear las siguientes
relaciones:

dr
T
dt
=
,
,
vector tangente.

2
2
dr d r
B
dt dt
=
, ,
,
vector binormal.
N B T =
, , ,
vector normal.
Los correspondientes vectores unitarios se calculan de la manera usual:
T
T
T
=
,
, ;
B
B
B
=
,
, ;
N
N
N
=
,
,
Figura 11
Figura 12
Figura 13
Figura 14 Figura 15
Figura 16
23
a. Emplee las relaciones anteriores para construir un programa que permita hallar los
vectores tangente unitario, binormal unitario y normal unitario de una curva dada
en forma paramtrica.
b. Con ayuda del programa calcule los vectores
T ,
B y
N para la curva
( ) ( ) ( )
1 cos ,sen , r t t t =
,
.
Solucin
El programa TBN_t mostrado en la figura 16 permite calcular los vectores tangente
unitario, binormal unitario y normal unitario de una curva dada en forma paramtrica.
Primero se introducen los componentes de la curva, como se muestra en la figura 17.

Debido a que en ocasiones los vectores pueden tener expresiones largas, los resultados se
muestran por separado. El comando PrintNatural detiene la ejecucin del programa y
muestra un vector. Para obtener el prximo se oprime en aceptar (ver figuras 18 y 19).

24
Laboratorio N 3, Funciones vectoriales, Curvas.
Actividades del profesor.

1. Calcule la longitud de arco de las curvas siguientes en el intervalo indicado del
parmetro:
a. ( ) ( ) ( ) ( )
cos , sen , r t t t t t t =
,
, 0,
2
t

b. ( ) ( ) ( ) ( ) ( ) ( ) ( )
, ln sec tan ,ln sec r t t t t t = +
,
, 0,
4
t

Solucin
Para calcular la longitud de las curvas empleamos la funcin de usuario Long. Los
resultados para ambas curvas se muestran en la figura 1.

2. Una partcula se mueve siguiendo una trayectoria definida por la hlice circular
( ) ( ) ( ) ( )
3cos ,3 sen ,2 r t t t t =
,
. Determine el ngulo que se forma entre la
aceleracin y la velocidad en cada instante de tiempo.
Solucin
La solucin se muestra en la figura 2. Note que definimos la curva empleando una lista,
es decir usando llaves {}, pero para poder emplear la funcin angle debemos
convertir las listas en vectores.
3. Una partcula se desplaza con aceleracin constante
( )
, ,
x y z
a a a a =
,
, si su velocidad
y posicin inicial estn dadas por
( ) ( ) ( )
( )
0 0 0
, ,
o x y z
v v v v =
,
y ( )
0 0 0 0
, , r x y z =
,

respectivamente. Determine los vectores velocidad y posicin de la partcula en
cada instante de tiempo.
Solucin

Figura 1
Figura 2
Figura 3
25
4. Demuestre que si un punto se mueve por una parbola
2
x
y
a
= , con 0 z= de tal
forma que la primera componente de la velocidad se mantiene constante, es decir
dx
dt

=

constante, entonces la aceleracin tambin se conservar constante.
Solucin
La solucin se muestra en la figura 4

5. Demuestre que las rectas poseen curvatura y torsin nulas.
Solucin
Empleamos los programas Curv_t y Tors_t para calcular la curvatura y la torsin
respectivamente de las rectas dadas en forma paramtrica, es decir, escribimos
( )
0 1
x t x kt = + ( )
0 2
y t y k t = + ( )
0 3
z t z kt = + . Los resultados se muestran en las figuras 5
y 6. Observe que la torsin dada por el programa es indefinida. La razn para ello es que
usamos la frmula
2 3
2 3
2
2
2
dr d r d r
dt dt dt
dr d r
dt dt
, , ,
, ,
para hallar la torsin y en el caso de las rectas
tenemos que el denominador se anula. Una manera de resolver el problema es acudir a la
definicin bsica de la torsin. Por definicin la torsin es la derivada del vector binormal
Brespecto a la longitud de arco s, es decir ,
dB
ds
= , pero para el caso de las rectas el
vector binormal es nulo y por tanto la torsin es tambin nula.
6. Demuestre que para la curva ( )
2 3
2
, ,
3
r t t t t

=

,
se cumple
( )
2
2
2
1 2
k
t
= =
+
.Solucin
El resultado para la curvatura, al aplicar el programa Curv_t, no queda suficientemente
simplificado (figura 7), por esta razn llevamos el valor de K al men principal para
continuar simplificndolo tal como se muestra en la figura 8. Para el caso de la torsin el
Figura 4
Figura 5 Figura 6
26
resultado se muestra en la figura 9 y salvo una pequea transformacin vemos claramente
que coincide con el resultado encontrado para la curvatura.

7. Los planos normales, rectificador y osculador a una curva en un punto dado
( )
0 0 0
, , x y z de una curva C estn dadas por las ecuaciones:

( )
[ ]
( )
[ ]
( )
[ ]
( )
0 0 0
0 0 0 0 0 0 0
, ,
0
x y z
x y z
P P T T x x T y y T z z = + + =
, ,

( )
[ ]
( )
[ ]
( )
[ ]
( )
0 0 0
0 0 0 0 0 0 0
, ,
0
x y z
x y z
P P N N x x N y y N z z = + + =
, ,

( )
[ ]
( )
[ ]
( )
[ ]
( )
0 0 0
0 0 0 0 0 0 0
, ,
0
x y z
x y z
P P B B x x B y y B z z = + + =
, ,

Donde
( )
0 0 0
, , x y z
T
,
,
( )
0 0 0
, , x y z
N
,
y
( )
0 0 0
, , x y z
B
,
son los vectores tangente, normal y binormal
respectivamente, evaluados en el punto ( )
0 0 0
, , x y z de la curva.
a. Construya un programa que permita hallar las ecuaciones de los planos anteriores,
dada una curva en forma paramtrica y un punto de dicha curva.
b. Utilice el programa para determinar las ecuaciones de los planos normales,
rectificador y osculador a la curva ( )
( )
, , 2
t t
r t e e t
=
,
en el punto dado por 0 t = .

Figura 7 Figura 8
Figura 9
SetReal
DelVar a,b,c,f,g,T,G,C,B,N,C0,p,x,y,z
Input a,"x(t)"
Input b,"y(t)"
Input c,"z(t)"
Input p, "Valor de t"
{a,b,c}C
trn(listToMat(C|t=p)) C0
diff(C,t) f
diff(C,t,2) g
[f[1],f[2],f[3]] T
[g[1],g[2],g[3]] G
crossP(T,G) B
crossP(B,T) N
PrintNatural expand(dotP(T|t=p,[x,y,z]-C0))=0,"Plano Normal"
PrintNatural expand(dotP(N|t=p,[x,y,z]-C0))=0,"Plano Rectificador"
PrintNatural expand(dotP(B|t=p,[x,y,z]-C0))=0,"Plano Osculador"
27
Solucin
a. El programa Planos_t se muestra en el recuadro:
b. La aplicacin del programa Planos_t a la curva ( )
( )
, , 2
t t
r t e e t
=
,
se muestra
en las figuras 10-12.

8. Las rectas tangente, binormal y normal principal a una curva en un punto dado
( )
0 0 0
, , x y z de una curva C estn definidas respectivamente por las ecuaciones:

[ ] [ ] [ ]
0 0 0
0 0 0
x y z
x x y y z z
T T T

= = ;
[ ] [ ] [ ]
0 0 0
0 0 0
x y z
x x y y z z
B B B

= = ;
[ ] [ ] [ ]
0 0 0
0 0 0
x y z
x x y y z z
N N N

= =

a. Modifique el programa de la pregunta anterior para encontrar las ecuaciones de
estas rectas, dada una curva en forma paramtrica y un punto de dicha curva.
b. Halle las ecuaciones de la recta tangente, la binormal y normal principal de la curva
( )
4 3 2
, ,
4 3 2
t t t
r t

=

,
en el punto con 1 t = .
En el recuadro, ms abajo, se muestra el programa Rectas_t. Las figuras 13-15
muestran la aplicacin del programa Rectas_t a la curva ( )
4 3 2
, ,
4 3 2
t t t
r t

=

,
en el
punto dado por 0 t =

Note que las rectas tangente, binormal y normal principal quedan guardadas en las variables
rt, rb y rn para futuras manipulaciones.

Figura 10 Figura 11
Figura 12
Figura 13
Figura 14
Figura 15
28

SetReal
DelVar a,b,c,f,g,T,T0,G,C,B,B0,N,N0,C0,p
local h1,h2,h3
Input a,"x(t)"
Input b,"y(t)"
Input c,"z(t)"
{a,b,c} C
C|t=pC0
diff(C,t) f
diff(C,t,2) g
[f[1],f[2],f[3]] T
[g[1],g[2],g[3]] G
crossP(T,G) B
crossP(B,T) N
matToList(trn(T|t=p),1) T0
matToList(trn(B|t=p),1) B0
matToList(trn(N|t=p),1) N0
C0+T0t h1
C0+B0t h2
C0+N0t h3
{x=h1[1],y=h1[2],z=h1[3]}rt
{x=h2[1],y=h2[2],z=h2[3]}rb
{x=h3[1],y=h3[2],z=h3[3]}rn
PrintNatural rt,"Recta Tangente"
PrintNatural rb,"Recta Binormal"
PrintNatural rn,"Recta Normal"
29
Ejemplos de Quiz 3.

Variante 1.

Dada la curva:
( ) ( ) ( )

sen cos
t t t
r t ei e t j e t k = + +
,

Determine:
a. Los vectores velocidad y aceleracin adems del ngulo que se forma entre ellos.
b. La longitud de la curva para [ ] 0,1 t
c. La ecuacin del plano osculador para el punto con 0 t = .

Variante 2

Determine las ecuaciones del plano osculador, de la recta normal principal y de la
binormal a la recta definida por las relaciones
2
y x = ,
2
x z = en el punto ( ) 1,1,1 .
Sugerencia: Considere y como parmetro y defina la curva parametrizada ( ) r t
,
con y t

Variante 3
Calcule la curvatura y la torsin de la curva definida por
2
2 x y = ,
3
6 x z = en un
punto arbitrario y demuestre que son iguales.
Sugerencia: Considere x como parmetro y defina la curva parametrizada ( ) r t
,
con x t
Pauta

Variante 1
a. La figura 1 muestra los clculos para determinar el ngulo entre la velocidad y la
aceleracin.
b. La figura 2 muestra los clculos para determinar la longitud de la curva en el
intervalo dado.
c. Para determinar la ecuacin del plano osculador empleamos el programa
Planos_t. El resultado se muestra en la figura 3.

Figura 1
Figura 2 Figura 3
30
Variante 2

Tomamos y t y escribimos la curva en la forma ( )
2 4

r t t i tj t k = + +
,

Para encontrar la ecuacin del plano osculador empleamos el programa Planos_t con
1 t = . El resultado se muestra en la figura 4. Para determinar las rectas binormal y normal
principal, empleamos el programa Rectas_t como se muestra en las figuras 5 y 6.

Variante 3
Tomamos x t y escribimos la curva en la forma ( )
2 3

2 6
t t
r t ti j k = + +
,
. Para calcular la
curvatura y la torsin empleamos los programas Curv_t y Tors_t respectivamente. Las
figuras 7 y 8 muestran los resultados.

Figura 4
Figura 5
Figura 6
Figura 7
Figura 8
31

Laboratorio N 4, Funciones Reales de varias variables.

I ntroduccin.

En este laboratorio graficaremos funciones de variable real, estudiaremos sus curvas de
nivel y sus dominios de definicin.
Ejercicios Resueltos:
1. Grafique el paraboloide
2 2
z x y = + y el cono elptico
2 2 2
3 z x y = +
a. Determine sus curvas de nivel y grafquelas.
Solucin.
Para el paraboloide
2 2
z x y = + .
Escribimos la ecuacin en el editor de funciones 3D (figura 1). En la figura 2 se obtiene la
grfica. Para que aparezcan los ejes coordenados, una vez graficada la superficie,
oprimimos la tecla =. Si volvemos a oprimir esta tecla, obtenemos los ejes en forma de
caja (figura 3).

Las curvas de nivel se obtienen tomando valores constantes para z, es decir las curvas
estn definidas por la ecuacin z c = , donde c es una constante arbitraria positiva. Una
visualizacin desde arriba de la grfica (figura 4) sugiere que las curvas de nivel son
circunferencias.

Figura 1
Figura 2 Figura 3
32

Las curvas de nivel son circunferencias de radio ccuyas ecuaciones estn dadas por:
( )
2
2 2
x y c + = . Para graficar las curvas de nivel de una manera efectiva, vamos a
emplear la siguiente parametrizacin de la circunferencia:
( )
( )
cos
sen
x c t
y c t
=
=

La figura 5 muestra las curvas de nivel para 1,4 c= . En la figura 6 se grafican ms
curvas para 1,4,9,16 c= .
Para el cono elptico
2 2 2
3 z x y = +
La representacin grfica 3D en la calculadora tiene varias limitaciones, en particular solo
es posible graficar una sola funcin y esta debe estar dada de manera explcita. Es decir,
solo se grafican funciones dadas en la forma ( ) , z f x y = . En el caso del cono debemos
despejar la variable z para obtener
2 2
3 z x y = + . El signo positivo indica la parte
superior del cono mientras que el negativo su parte inferior. Vamos a representar
solamente su parte superior. En el editor de funciones escribimos
2 2
3 z x y = + (figura 7).
En la figura 8 se muestra la grfica de la parte superior del cono elptico.
Una visualizacin z en el men Zoom (figura 9) permite sugerir que las curvas de
nivel son elipses. Efectivamente, tomando z c = tenemos:
2 2
2 2 2
2 2
3 1
3
x y
c x y
c
c
= + + =

33

Para graficar las curvas de nivel tomamos la siguiente parametrizacin de las elipses:
( )
( )
cos
sen
3
x c t
c
y t
=
=

La figura 10 muestra las curvas de nivel para 1,2 c= , mientras que la figura 11 muestra las
curvas de nivel para 1,2,3,4,5,6 c= .

2. Grafique y determine el dominio de las siguientes funciones:
a. z x y = +
b.
( )
2 2
ln 9 9 z x y =

34
Solucin

La figura 12 muestra la grfica de la funcin z x y = + . Su dominio est definido por la
condicin 0 x y + . O de otra manera, y x . Esta desigualdad se representa en la figura
13.

La figura 14 muestra la grafica de la funcin
( )
2 2
ln 9 9 z x y = . El dominio est
definido por la condicin
2 2
9 9 0 x y > , o escrito de otra manera
2
2 2 2
2
9 9 1
3
x
x y y + < + < , es decir el dominio lo constituye el interior de una elipse con
semieje mayor 3 y semieje menor 1. Para representar el dominio despejamos la variable y,
2 2
2 2
1 1
3 3
x x
y < < . La figura 15 muestra el dominio para esta funcin.

Figura 13
Figura 14 Figura 15
35
Laboratorio N 4, Funciones Reales de varias variables.
1- Grafique el paraboloide hiperblico
2 2
z x y = y el hiperboloide de una sola hoja
2 2 2
1 x y z + =
c. Determine sus curvas de nivel y grafquelas.
Solucin:
La grfica del hiperboloide se muestra en la figura 1, la figura 2 muestra una visualizacin
con z constante y la figura 3 las curvas de nivel. Para graficar las curvas de nivel tomamos
las siguientes parametrizaciones de la curva
2 2
c x y = dada por:
( )
( )
cosh
sinh
x c t
y c t
=
=
,
( )
( )
cosh
sinh
x c t
y c t
=
=
cuando c es positiva;
( )
( )
sinh
cosh
x c t
y c t
=
=
,
( )
( )
sinh
cosh
x c t
y c t
=
=
cuando c es negativa y y x = , y x = cuando 0 c= . Para graficar
simultneamente para varios valores de c podemos escribir una lista, por ejemplo en la
figura 3 en lugar de c escribimos { } 2,4,8 en las parametrizaciones.

36
2- Grafique y determine el dominio de las siguientes funciones:
a.
2 2
4 1 z x y = +
b.
2 2
1
4
z
x y
=

Solucin
a. La grfica de la funcin
2 2
4 1 z x y = + se muestra en la figura 4.

Para encontrar el dominio debemos resolver
2
4 0 x
2
1 0 y . En las figuras 5 y 6 se
muestra el dominio de definicin achurado. La unin de las dos franjas es el dominio
buscado. (La calculadora no permite achurar franjas separadas al mismo tiempo). La
visualizacin z en el men 3D permite ver el dominio claramente (figura 7).

b. La grfica de la funcin
2 2
1
4
z
x y
=

se muestra en la figura 8. Para determinar el
dominio debemos tener en cuenta que
2 2 2 2
4 0 4 x y x y > + < . La figura 9 muestra
el dominio.
37
3- Determine y grafique las curvas de nivel de las funciones
a. z x y = +
b.
y
z
x
=
c. 1 z x y =
Solucin

a. Las curvas de nivel para la funcin z x y = + estn dadas por las rectas y c x = . La
figura 10 muestra las curvas de nivel para { } 2, 1,0,1,2 c=

b. Las curvas de nivel para la funcin
y
z
x
= estn dadas por las parbolas y c x = , con
0 x> . Las curvas de nivel para { } 3, 2, 1,1,2,3 c= se muestran en la figura 11.
c. La funcin 1 z x y = se muestra en la figura 12. Las curvas de nivel son cuadrados
obtenidos tomando las rectas:
1 0 0 y x c y x = +
1 0 0 y x c y x = + <
1 0 0 y x c y x = + <
1 0 0 y x c y x = + < < .
En la figura 13 se muestran las ecuaciones de estas rectas para { } 2, 1,0 c= En la figura
14 se muestran el grfico. En la figura 15 se toma la visulaizacin z dada por la
calculadora en el men 3D para tener una idea ms clara de las curvas de nivel.
Figura 10 Figura 11
Figura 12
38

Notas:
La calculadora tiene dificultades para graficar tomando c como una lista, por
ejemplo definiendo { } 2, 1,0 c y tomando restricciones al mismo tiempo. Es
decir no grafica correctamente algo como esto: { } 1 2, 1,0 1 0 0 y x x y = + ,
lo que sera de gran utilidad para simplificar la figura 13.
La calculadora tiene dificultades para achurar una regin que tiene varias partes. Por
ejemplo las figuras 5 y 6 tienen que mostrarse las regiones achuradas por separado.
Para graficar las curvas de nivel
2 2
c x y = , podra despejarse las y y graficar
2
1 y x c = ,
2
2 y x c = en lugar de utilizar una parametrizacin de las curvas
empleando funciones hiperblicas. Sin embargo al seguir este camino las ramas 1 y
e 2 y nunca se tocan y la grfica queda partida, adems surgen complicaciones
adicionales sin explicaciones evidentes. Como consejo, es muy conveniente
parametrizar cuando se pueda o sea relativamente fcil.

Figura 13
Figura 14
Figura 15
39
Ejemplo de Quiz 4.

Variante 1
1. Dada la funcin real ( ) ( )
2 2
, ln f x y x y = + :
a. Determine el dominio y dibjelo con ayuda de la calculadora.
b. Determine y dibuje las curvas de nivel.
Solucin
a. Aunque no se pide la grfica (figura 1), es conveniente tenerla para analizar el
dominio. La funcin ( ) , f x y est definida siempre que el logaritmo posea argumento
estrictamente positivo. Por tanto
2 2
0 x y + > , pero esto siempre se obtiene para todo
( ) , x y salvo ( ) 0,0 , por tanto el dominio est dado por ( ) ( ) { }
2
Dom , 0,0 f x y = .
La figura 2 muestra el dominio (visualizacin z con la calculadora).

b. Para determinar las curvas de nivel tomamos z c = con 0 c
2 2 c
x y e + = , es
decir las curvas de nivel son circunferencias centradas en el origen con radio
c
e . En
la figura 3 se muestra una familia de estas curvas para { } 0,ln4,ln9,ln16 c=

Variante 2

1.
a. Dada la funcin
1
z
y x
=
determine y grafique su dominio con ayuda de la

calculadora.
b. Determine y grafique las curvas e nivel de la funcin
( )
2
ln z x y = +
Solucin.

a. La grfica de la funcin se muestra en la figura 4. La figura 5 (viszualizacin z ) nos
da una idea del dominio de definicin de la funcin ( ) , f x y
Figura 1
Figura 2 Figura 3
40
Para hallar el dominio tenemos que resolver las inecuaciones 0 0 y x x > .
Es decir y x > , por tanto el dominio est dado por:
( ) ( )
{ }
2
Dom , , , 0 f x y x y y x x = >
La figura 6 muestra este dominio.

b. Las curvas de nivel de la funcin
( )
2
ln z x y = + se obtiene tomando z c = con
c. Esto implica
2 2 c c
x y e y e x + = = . La figura 7 muestra las curvas de
nivel para { } 2, 1,0,1,2 c=

Figura 4
Figura 5 Figura 6
Figura 7
41
Variante 3

1.
a. Dada la funcin ( ) sin z y x = determine y grafique su dominio con ayuda de la
calculadora.
b. Determine y grafique las curvas de nivel de la funcin
2 2
2x
z
x y
=
+

Solucin

Graficamos la funcin para tener una idea ms clara de su dominio, la figura 8 muestra la
grfica. Las figuras 9 y 10 nos ayudan an ms en la determinacin del dominio.

Para determinar el dominio tenemos la inecuacin ( ) sin 0 y x esto implica resolver los
casos
0
sin 0
y
x

0
sin 0
y
x

Para el primer caso tenemos: 0 y 2 2 k x k + , con kZ
Para el segundo caso tenemos 0 y ( ) 2 2 1 k x k + + con kZ . El dominio
es la unin de estas dos soluciones.
c. Las curvas de nivel de la funcin
2 2
2x
z
x y
=
+
se obtienen tomando z c = , con
c. Cuando 0 c= , tenemos 0 x= y la curva de nivel esta formada por el eje Y.
Cuando 0 c tenemos las circunferencias
2
2
2
1 1
x y
c c

+ + =

con centro en
1
,0
c

y radio
1
c
.
Figura 8
Figura 9 Figura 10
42
Para graficar de manera ms cmoda la familia de curvas de nivel, tomamos la siguiente
parametrizacin ( )
1
cos 1 x t
c
= ,
1
sin y t
c
= . Con { } 3, 2, 1,1,2,3 c= . La figura 11
muestra las curvas de nivel.

Figura 11
43


Laboratorio N 5, Lmites y continuidad de una funcin real en
varias variables.
I ntroduccin.
La notacin
( ) ( )
( )
, ,
lim ,
x y a b
f x y L
= indica que la funcin ( ) , f x y tiende a L , cuando

( ) , x y tiende a ( ) , a b . Para ser rigurosos debemos precisar lo que significa
matemticamente la palabra tiende, para ello se utiliza el concepto de distancia. La
distancia en se mide a partir del mdulo, mientras que en
2
a partir de la norma.
Decimos que L es el lmite de la funcin ( ) , f x y , cuando ( ) , x y tiende a ( ) , a b , si para
0 > existe un nmero 0 > tal que ( ) , f x y L < siempre que ( ) ( ) , , x y a b <
y ( ) , x y se encuentre en el dominio de definicin de ( ) , f x y . Aqu es una norma en
el espacio
2
, en particular ( ) ( ) ( ) ( )
2 2
, , x y a b x a y b = + < .
Una funcin ( ) , f x y es continua en ( ) , a b si
( ) ( )
( ) ( )
, ,
lim , ,
x y a b
f x y f a b
= . Una manera til

para estudiar numricamente los lmites y en particular la continuidad es el hecho de que
una funcin ( ) , f x y es continua en ( ) , a b si para cualquier sucesin convergente
( ) ( ) , ,
n n
n
x y a b
se cumple ( ) ( ) lim , ,
n n
n
f x y f a b
= .
Ejemplos Resueltos:

1. Dados los lmites
i.
( ) ( )
2 2
2 2
, 0,0
lim
x y
x y
x y
+

ii.
( ) ( )
2
2 2
, 0,0
lim
x y
x y
x y
+

a. Obtenga evidencias numricas de que el lmite (i) no existe, mientras que
el lmite (ii) si existe.
b. Demuestre matemticamente estas afirmaciones.
Solucin
a.
Consideremos las sucesiones ( )
1
, ,
2 2
n n n n
k
x y

=

, con 1,3,5 k= . Estas sucesiones
convergen a ( ) 0,0 , cuando n . Vamos a estudiar la convergencia de la sucesin
( )
2 2
2 2
,
n n
n n
n n
x y
f x y
x y
=
+
cuando n tiende a infinito. En el men main definimos la
funcin ( ) , f x y (figura 1) y en el men Secuencia definimos las sucesiones para cada
44
valor de k, como se muestra en la figura 1. Los resultados, con al menos tres cifras
decimales de exactitud, se muestran en las figuras 2 y 3.

Claramente las sucesiones convergen a distintos lmites en dependencia del valor de
k y este hecho es una evidencia clara de que el lmite (i) no existe.
Para el segundo lmite empleamos las mismas sucesiones, solo que redefinimos la funcin.
Los resultados entre 85 n= y 100 n= se muestran en la figura 4 y 5.

Se observa claramente que, independiente del valor de k, las sucesiones convergen a cero.
Sin embargo esta no es una evidencia concluyente, porque no sabemos si para otras
sucesiones del tipo ( ) , 0
n n
n
x y

la convergencia a cero se mantendr. La figura 6 muestra
los clculos para el caso de las sucesiones ( )
1 1
, ,
2 2
n n n n
x y

=

; ( )
2
1 1
, ,
2
n n n
x y
n

=

.
Estos resultados sugieren que el lmite (ii) existe y es cero, pero no lo demuestran. Para
hacerlo debemos recurrir a una demostracin formal.

b.
Figura 4
Figura 6 Figura 5
45
Para demostrar matemticamente que el lmite
( ) ( )
2 2
2 2
, 0,0
lim
x y
x y
x y
+
no existe,
consideremos la sustitucin y k x =
2 2 2 2
2 2 2 2
0
1
lim
1
x
x k x k
x k x k

=
+ +
. El lmite depende
de k y por tanto no existe. (Geomtricamente, indica que el valor del lmite
depende de la direccin de convergencia a ( ) 0,0 ).
Demostremos la existencia del lmite
( ) ( )
2
2 2
, 0,0
lim
x y
x y
x y
+
, empleando el lenguaje
. Sabemos que
2 2 2
x y y y + < < < . Por otro lado

2
2 2
x y
y
x y
<
+
, ya que
2
2 2
1
x
x y
<
+
. Por tanto,
2
2 2
0
x y
y
x y
< <
+
, tomando =
tenemos
2
2 2
0
x y
x y
<
+
. Queda demostrado as que el lmite
( ) ( )
2
2 2
, 0,0
lim
x y
x y
x y
+
existe
y es igual a cero.

2. Use coordenadas polares para calcular el lmite
( ) ( )
( )
2 2
2 2
, 0,0
sen
lim
x y
x y
x y
+
+
.
a. Grafique la funcin y confirme el valor hallado.
b. La funcin es continua en ( ) 0,0 ?.
Solucin
Empleamos coordenadas polares cos x r = , sin y r = , de este modo tenemos
( )
2 2 2 2 2 2
cos sin x y r r + = + = y el lmite puede escribirse en la forma
( )
2
2
0
sen
lim
r
r
r
.
Este es un lmite en una sola variable y puede resolverse empleando la calculadora como se
muestra en la figura 7, donde tambin se ha construido la grfica de la funcin.
b. Claramente la funcin no es continua en el punto ( ) 0,0 , porque este punto no
pertenece al dominio de definicin como se muestra en la figura 8.

Figura 7 Figura 8
46
Laboratorio N 5, Lmites y continuidad de una funcin real en
varias variables.

1. Use una tabla de valores numricos de la funcin ( ) , f x y cerca del origen de
coordenadas para hacer una conjetura respecto a los lmites:
a.
( ) ( )
2 3 3 2
, 0,0
5
lim
2
x y
x y x y
xy

b.
( ) ( )
2 2
, 0,0
2
lim
2
x y
xy
x y
+

Explique por qu su conjetura debe ser correcta.
Solucin
a. Consideremos las sucesiones ( )
1
, ,
2 2
n n n n
k
x y

=

, con 10,23 k= . Estas
sucesiones convergen a ( ) 0,0 , cuando n (ver figura 1). Vamos a estudiar la
convergencia de la sucesin ( )
2 3 3 2
5
,
2
n n n n
n n
n n
x y x y
f x y
x y
+
=
cuando n tiende a infinito. En

el men main definimos la funcin ( ) , f x y escribiendo:

En el men Secuencia definimos las sucesiones para cada valor de k. En la figura 1, se
toma 10 k= y se muestran los ltimos 5 valores de 100 trminos de la sucesin
( )
1 10
, ,
2 2
n n n n
x y

=

. Observe la tendencia a ( ) 0,0 . Los resultados para la sucesin
( ) ,
n n
f x y con 10 k= y 23 k = se muestran en las figuras 2 y 3.

Define ( )
2 3 3 2
5
,
2
x y x y
f x y
xy
+
=

47
Se establece una tendencia clara ( ) , 2.5
n n
f x y . Para estar algo ms seguro
empleemos otras sucesiones por ejemplo ( )
3
1 1
, ,ln 1
2
n n n
x y
n

=

y comprobamos
nuevamente la misma tendencia.

Por tanto la conjetura que podramos hacer es que el lmite

( ) ( )
2 3 3 2
, 0,0
5
lim 2.5
2
x y
x y x y
xy
+
=
.
Esta conjetura es correcta ya que la funcin ( )
2 3 3 2
5
,
2
x y x y
f x y
xy
+
=
es continua
en su dominio y est definida en el punto ( ) 0,0 , por tanto basta reemplazar este punto
en la funcin, es decir, en este caso tenemos
( ) ( )
( ) ( )
, 0,0
5
lim , 0,0
2
x y
f x y f
= =

b. a. Consideremos las sucesiones ( )
1
, ,
2 2
n n n n
k
x y

=

, con 5,7 k= . Estas
sucesiones convergen a ( ) 0,0 , cuando n . Estudiamos la convergencia de la sucesin
( )
2 2
2
,
2
n n
n n
n n
x y
f x y
x y
=
+
cuando n tiende a infinito. En el men main definimos la
funcin ( ) , f x y escribiendo:

Los resultados para la sucesin ( ) ,
n n
f x y con 5 k = y 7 k = se muestran en las figuras 6
y 7.

Figura 4
Figura 5
Define ( )
2 2
2
,
2
xy
f x y
x y
=
+
48

Las figuras muestran claramente que para valores diferentes de k se obtienen
diferentes lmites y por tanto podemos asegurar que el lmite no existe.

2. Use coordenadas esfricas para resolver el lmite
( ) ( )
2 2 2
, , 0,0,0
lim
x y z
xyz
x y z
+ +

Solucin

Escribimos en la calculadora

Resultado es un poco extrao, sin embargo lo importante es que el lmite queda en la forma
( )
0
lim ,
r
r f
. La funcin ( ) , f es continua y acotada para cualquier valor de los

ngulos, por tanto tenemos ( )
0
lim , 0
r
r f
= .
3. Determine si las siguientes funciones son continuas o no en ( ) 0,0 . Justifique su
respuesta. En caso de discontinuidad vea si es posible repararla.
a. ( )
2 2
2 2
,
x y
f x y
x y
=
+

b. ( )
2 2
, 1 f x y x y = + +
Solucin
a. La figura 8 muestra la grafica de la funcin ( )
2 2
2 2
,
x y
f x y
x y
=
+
. El punto ( ) 0,0 no
pertenece al dominio de definicin de la funcin, como se observa ms claramente
en la figura 9 (visualizacin z), por tanto la funcin ( ) , f x y no puede ser continua
en este punto. Para establecer si es reparable o no, comprobamos la existencia del
Figura 6 Figura 7
simplify( ( ) ( ) ( ) ( ) ( )
2 2 2
cos sin sin sin cos
xyz
x r y r r
x y z
= =
+ +
)
Figura 8
49
lmite. Para calcular el lmite usaremos coordenadas polares. La figura 10 muestra
los clculos. El lmite depende del ngulo , es decir de la direccin de
convergencia y por tanto no existe y es imposible reparar la discontinuidad.

b. La grfica de la funcin ( )
2 2
, 1 f x y x y = + + se
muestra en la figura 11.
El dominio de esta funcin es todo el plano
2
, como se
muestra en la figura 12 (visualizacin z), por lo que la funcin es
continua en el punto ( ) 0,0 .

4. Use coordenadas polares para resolver los lmites siguientes. Grafique y confirme si
las funciones cuyos lmites fueron calculados son continuas o no en ( ) 0,0 .
a.
( ) ( )
3 3
2 2
, 0,0
lim
x y
x y
x y
+
+

b.
( ) ( )
( ) ( )
2 2 2 2
, 0,0
lim ln
x y
x y x y
+ +
Solucin

a. La solucin se muestra en la figura 13. El resultado de reemplazar cos x r = ,
sin y r = se guarda en la variable h para calcular posteriormente el lmite.
b. Debemos reemplazar
2 2
x y + por
2
r La solucin se muestra en la figura 14.
Figura 9
Figura 10 Figura 11
Figura 12
50

Note que la calculadora no resuelve correctamente el lmite, a menos que apliquemos la
regla de L`Hopital.

Figura 13 Figura 14
51
Ejemplo de Quiz 5.

Variante 1
a. Emplee coordenadas polares para calcular el lmite
( ) ( )
( )
2 2
, 0,0
1
lim sin
x y
x y
xy

+

b. Obtenga evidencias numricas de que el lmite
( ) ( )
2 2
, 0,0
4
lim
3 3
x y
xy
x y
+
no existe.
Solucin
a. Escribimos en la calculadora

El resultado se muestra en la figura 1. Despus calculamos el lmite cuando r tiende a cero
de la expresin obtenida. Vemos, partir de la figura 1 que el lmite es 0 independiente del
valor del ngulo .

b. En Main definimos la funcin ( )
2 2
4
,
3 3
xy
f x y
x y
=
+
, escribiendo:

Consideremos las sucesiones convergentes a ( ) 0,0 dadas por ( )
1
, ,
2 2
n n n n
k
x y

=

, con
3,5 k= y estudiamos la convergencia de la sucesin ( ) ,
n n
f x y cuando n tiende a infinito.
Vemos, a partir de las figuras 2 y 3, que la funcin converge a diferentes lmites en
dependencia del valor de k y por tanto el lmite no puede existir.

simplify(
( ) ( ) ( )
2 2 2 2 2
1
sin cos sin x y x y r x r y r
xy

+ + = = =

)
Define ( )
2 2
4
,
3 3
xy
f x y
x y
=
+
Figura 1
Figura 2
Figura 3
52
Variante 2.
a. Demuestre, con ayuda de la calculadora que la funcin ( )
2 2
2
,
xy
f x y
x y
=
posee
una discontinuidad irreparable en ( ) 0,0 .
b. Halle evidencias numricas de que el lmite
( ) ( ) , 0,0
lim
x y
x
x y
+
no existe.
Solucin
a. La funcin ( )
2 2
2
,
xy
f x y
x y
=
posee una discontinuidad en ( ) 0,0 ya que este

punto no pertenece a su dominio de definicin (este hecho puede apoyarse
grficamente). Mostramos ahora que el lmite no existe. Podemos hacerlo con una
tabla de valores numricos o empleando coordenadas polares .En Main
definimos:

Tomamos el lmite ( ) ( ) ( )
0
lim cos , sin
r
f r r
. El resultado se muestra en la figura

4. El lmite es igual a ( ) tan 2 y por tanto depende del ngulo , es decir no puede existir.
La funcin ( )
2 2
2
,
xy
f x y
x y
=
posee entonces una discontinuidad en ( ) 0,0 y el lmite no

existe en este punto, por lo que esta discontinuidad es irreparable.

b. Consideremos las sucesiones convergentes a ( ) 0,0 dadas por ( )
1
, ,
2 2
n n n n
k
x y

=

, con
7,9 k= y estudiamos la convergencia de la sucesin ( ) ,
n
n n
n n
x
f x y
x y
=
+
cuando n tiende
a infinito. Vemos, a partir de las figuras 5 y 6, que la funcin converge a diferentes lmites
en dependencia del valor de k y por tanto el lmite no puede existir.
Define ( )
2 2
2
,
xy
f x y
x y
=

53

Variante 3.

a. Determine el valor de A para que la siguiente funcin sea continua en (0,0).

2 2
2 2
si ( , ) (0,0)
( , )
si ( , ) (0,0)
x y
x y
f x y x y
A x y
= +

b. Encuentre evidencias numricas de que el lmite
2
2 2
( , ) (0,0)
lim
x y
x y
x y
+
+
no existe.
Solucin
a. Calculamos el lmite
( ) ( )
2 2
2 2
, 0,0
lim
x y
x y
x y
+
empleando coordenadas polares (ver figura
7). El resultado es 0 y por tanto debemos tomar 0 A= para que la funcin
( ) , f x y sea continua en ( ) 0,0 .

b. Consideremos las sucesiones convergentes a ( ) 0,0 dadas por ( )
1 11
, ,
2 2
n n n n
x y

=

y
( )
1 13
, ,
2 2
n n n n
x y

=

estudiamos la convergencia de la sucesin ( )
2
2 2
,
n n
n n
n n
x y
f x y
x y
+
=
+

cuando n tiende a infinito. Vemos, a partir de las figuras 8 y 9, que la funcin converge a
diferentes lmites ( y ) en dependencia de la sucesin empleada y por tanto el lmite
no existe.

54


Laboratorio N 6, Funciones de varias variables, Derivadas.
I ntroduccin.
En este laboratorio vamos a estudiar la diferenciabilidad de las funciones vectoriales
y algunas de las propiedades ms importantes de las derivadas.
Decimos que la funcin vectorial :
n m
f U es diferenciable en
0
r U si
existen las derivadas parciales en
0
r y se cumple:

( ) ( ) ( )( )
0
0 0 0
0
lim 0
r r
f r f r Df r r r
r r

Donde ( ) Df r se denomina matriz de derivadas parciales y cuyos elementos son las
derivadas parciales
i
j
f
dx
con 1 i m = y 1 j n = . En la prctica para demostrar que una

funcin vectorial es diferenciable en un punto dado basta con comprobar que posee
derivadas parciales continuas en dicho punto.
Ejercicios Resueltos:
1. Dada la funcin
2 2
: f definida por
( )
2
,
x y
f e y y x
+
= + calcule ( ) , Df x y
a. Evale la matriz de derivadas parciales en el punto ( ) 1,1 .
Solucin
Para resolver este ejercicio vamos a definir una funcin de usuario, que permite
encontrar la matriz de derivadas parciales para funciones
2
:
m
f . Denominamos
la funcin de usuario por Df2_m y est definida de la manera siguiente:

Define library\Df2_m(a,b,c)=listToMat(diff(a,b),diff(a,c))
55
Aqu a representa la funcin vectorial, b es la primera variable y c la segunda
variable. En la figura 1 se muestra la aplicacin esta funcin a f arriba definida. La figura 2
muestra la evaluacin de la matriz de derivadas parciales en el punto ( ) 1,1 , ( ) 1,1 Df .
2. Dadas las funciones f , g y
f
h
g
= (con 0 g ) se cumple que
2
Df g g Df
Dh
g

= . Verifique esta propiedad de la derivada en el caso que
2 2
f x y = + y
2
1 g x = + .
En las figuras 3 y 4 se muestran los clculos correspondientes. En este caso las
funciones son del tipo
2
: f y para poder emplear la funcin de usuario
Df2_m escribimos la funcin entre llaves.

3. Sea :
n m
g y :
m s
f , supongamos que la funcin compuesta
:
n s
f g est definida, que g es diferenciable en
0
n
r y f es
diferenciable en ( )
0 0
m
g g r = , entonces se cumple la siguiente propiedad
denominada regla de la cadena ( )( ) ( ) ( )
0 0 0
D f g r Df g Dg r = .
a. Verifique la regla de la cadena para el caso de una funcin
2 2
: g
definida por ( ) ( )
2 2
, , g x y x y y = , la funcin
2
: f definida por
( )
2 2
, f u v u v = + y la funcin compuesta
2
: f g .
Solucin:
Los clculos para verificar la regla de la cadena se muestran en la figura 5. El procedimiento
empleado se indica a continuacin:
Definimos las funciones vectoriales:

Figura 4
{ }
2 2
, x y y g
{ }
2 2
, u v f
Figura 5
56

Calculamos la derivada ( ) D f g mediante el empleo de la funcin de usuario
Df2_m de la manera siguiente:

El resultado es ( )( )
3 2 4 3
, 4 ,2 4 D f g x y x y x y y = +

Calculamos por separado las matrices ( ) [1], [2] Df g g y ( ) , Dg x y mediante los
comandos:

Los resultados son guardados en las variables
2 2
1 2 ,2 D x y y =

y
2
2
2
0 2
xy x
D
y

=

Finalmente calculamos el producto matricial

2
2 2 3 2 4 3
2
1 2 2 ,2 4 ,2 4
0 2
xy x
D D x y y x y x y y
y

= = +

4. Determine la derivada parcial ( )( ) 1,0 f T
s
dadas las funciones vectoriales

( ) ( ) , cos sen f u v u v = y ( ) ( )
( )
2 2
, cos ,ln 1 T s t t s s = +
Solucin
Empleamos la regla de la cadena para calcular ( )( ) 1,0 D f T el primer componente de
la matriz obtenida es justamente ( )( ) 1,0 f T
s
. Los resultados se muestran en las

figuras 6 y 7
Definimos las funciones vectoriales:

Calculamos ( ) Df T y ( )( ) , D T s t

Calculamos el producto ( ) ( )( ) , Df T D T s t
Df2_m(f|u=g[1]|v=g[2],x,y)
Df2_m(f,u,v)|u=g[1]|v=g[2] D1
Df2_m(g,x,y) D2
( ) { }
cos sen u v f
( )
{ }
2 2
cos ,ln 1 t s s T +
Df2_m(f,u,v)|u=T[1]|v=T[2] D1
Df2_m(T,s,t) D2
Figura 6
57

( )
( ) ln 2
cos 1 cos
2
1 2 ,0
2
D D

=

El primer componente de esta matriz es ( )( ) 1,0 f T
s
:
( )( )
( )
( ) ln 2
cos 1 cos
2
1,0
2
f T
s

5. Construya una funcin de usuario para calcular la derivada implcita de una funcin
en la forma ( ) , 0 F x y =
a. Utilice la funcin para calcular las derivadas
dy
dx
y
dx
dy

si ( ) ( ) , 0 cos 0
xy
F x y y e xy = + =
Solucin:

La figura 8 muestra los clculos y resultados para
dy
dx
y
dx
dy

respectivamente.
Nota: Observe que la funcin de usuario DerImpl tambin se puede emplear para
calcular las derivadas parciales
z
x
y
z
y
de la funcin ( ) , z z x y = dada de manera

implcita ( ) , , 0 F x y z = . La figura 9 muestra un ejemplo. En general la funcin puede
emplearse para el caso de funciones ( )
1 2
, , , 0
n
F x x x z = para calcular las derivadas
i
z
x
,
con 1,2 i n = y ( )
1 2
, , ,
n
z z x x x = .

Figura 7
Define library\DerImpl(p,q,r)=-((diff(p,r))/(diff(p,q)))
Figura 8
Figura 10
Figura 11
Figura 9
58

6. Utilice la funcin de usuario DerImpl para demostrar que si
( ) , , 0 F x y z = entonces se cumple 1
z x y
x y z

=

.
Solucin
En la figura 10 se muestran los clculos correspondientes.

7. Dadas las relaciones ( ) , , , 0 F x y u v = y ( ) , , , 0 G x y u v = determine las derivadas
parciales
u
x
,
u
y
,
v
x
y
v
y
.
Solucin
Las frmulas para calcular estas derivadas son las siguientes:
v x
v x
u v
u v
F F
G G
u
F F x
G G
,
v y
v y
u v
u v
F F
G G
u
F F y
G G
,
u x
u x
u v
u v
F F
G G
v
F F x
G G
,
u y
u y
u v
u v
F F
G G
v
F F y
G G

Con la calculadora definimos

Y aplicamos las frmulas:

8. Aplique las frmulas anteriores para calcular la derivada
u
y
, si
( )
2 2 2 2
, , , 0 F x y u v u uv v x y xy = + + = y ( )
2 2
, , , 0 G x y u v uv x y = + = .
Solucin
En la figura 11 se muestra el resultado de los clculos.

9. Calcule el determinante del Jacobiano de transformacin:
a. De las coordenadas cartesianas a polares.
b. De las coordenadas cartesianas a cilndricas.
c. De las coordenadas cartesianas a esfricas.
Solucin.
{F(x,y,u,v),G(x,y,u,v)}m
( ) ( )
( ) ( )
det Df2_m , ,
det Df2_m , ,
mv x
u
x mu v
( ) ( )
( ) ( )
det Df2_m , ,
det Df2_m , ,
mv y
u
y mu v
( ) ( )
( ) ( )
det Df2_m , ,
det Df2_m , ,
mu x
v
x mu v
( ) ( )
( ) ( )
det Df2_m , ,
det Df2_m , ,
mu y
v
y mu v
DerImpl(F(x,y,z),z,x) DerImpl(F(x,y,z),x,y) DerImpl(F(x,y,z),y,z)

59
a. Dada la transformacin
cos
sen
x r
y r

, el determinante del jacobiano se calcula

como se indica en la figura 12 aplicando el comando.

b. Para resolver este ejercicio introducimos una nueva funcin de usuario que
denominamos Df3_m dada por:

Las transformaciones son
cos
sen
x r
y r
z z
. En la figura 13 mostramos los resultados del

calculo para este caso.

c. Las transformaciones son
( )
( )
( )
cos sen
sen sen
cos
x r
y r
z r

. En la figura 14 se muestran los

clculos correspondientes.

simplify(det(Df2_m(m,r, )))
Figura 12
Define library\Df3_m(a,b,c,e)=listToMat(diff(a,b),diff(a,c),diff(a,e))
simplify(det(Df3_m(m,r, ,z)))
Figura 13
Figura 14
simplify(det(Df3_m(m,r, , )))
( ) ( ) ( ) { }
cos sen , sen sen , cos r r r m
{ } cos , sen , r r z m
60
Laboratorio N 6, Funciones de varias variables, Derivadas.

1. La funcin de usuario Df3_m calcula la matriz de derivadas parciales de
funciones
3
:
m
f .
b. Aplique la funcin de usuario Df3_m a la funcin vectorial
( )
,
x z
f ze ye = .
c. Considere el caso particular de la funcin
3
: f . Demuestre que
( ) , , Df x y z es una matriz 1 3 que coincide con el gradiente f
,
.
Solucin
1. Las soluciones para (a) y (b) se muestran en la figura 1.

2. Dadas las funciones ( ) ( )
2 2
, 1, g x y x y = + y ( ) ( )
2
, , , f u v u v u v = + calcule la
derivada ( )( ) 1,1 D f g empleando la regla de la cadena.
Solucin
La solucin se muestra en la figura 2

3. Sean ( ) ( ) ( )
2 2
, tan 1 ,
v
f u v u e u v = y ( ) ( )
, ,
x y
g x y e x y
= . Calcule f g y
( ) D f g .

Solucin
La solucin se muestra en la figura 3, en particular ( ) D f g est dado por la matriz:
( )
( ) ( ) ( ) ( )
( ) ( )
2 2
2 2
tan 1 tan 1
2 2 2 2 2 2
x y x y x y x y
x y x y
e e e e
D f g
x y e x y e

=

+ +

Figura 1 Figura 2
Figura 3
61

4. Suponga que la temperatura en cada punto de una regin del espacio este dada por
la funcin ( )
2 2 2
, , T x y z x y z = + + . Sea una partcula que viaja por la hlice
circular ( ) ( ) ( ) ( )
cos ,sen , r t t t t =
,
y sea ( ) T t su temperatura en el tiempo t.
Determine ( ) T t .
Solucin:

5.
a. Demuestre que la derivada direccional de la funcin
2
y
z
x
= sobre cualquier
punto de la elipse
2 2 2
2x y c + = , tomada en la direccin de la normal a esta
curva, es igual a cero.
b. Demuestre que la funcin
2
2
2
x
y y
z e F ye

=

satisface la ecuacin:

( )
2 2
z z
x y xy xyz
x y

+ =

.
Solucin
Podemos definir una funcin de usuario para calcular las derivadas direccionales.
Para el caso de funciones de dos variables definimos la funcin Ddirec del siguiente
modo:
La funcin Ddirec requiere de una funcin a de dos variables b y c, del vector d
a lo largo de cuya direccin se calcula la derivada y el punto e donde se evala la
derivada.
Define library\Ddirec(a,b,c,d,e)=dotP([diff(a,b),diff(a,c)],unitV(d))|b=e[1,1]|c=e[1,2]
Figura 4 Figura 5
Figura 6
62
a. La direccin normal de la elipse
2 2 2
2x y c + = se determina calculando el gradiente
de la funcin ( )
2 2
, 2 f x y x y = + . Para calcular gradientes de funciones de dos
variables podemos definir otra funcin de usuario:


b. Escribimos en la calculadora las siguientes operaciones, que tambin se muestran
en la figura 6.

La ltima expresin es justamente zxy.

Define library\grad2(a,b,c)=[diff(a,b),diff(a,c)]
( )
2 2 y
x y e diff(F(u),u)diff(
2
2
2
x
y
ye ,x) a
xy(
y
e F(u)+
y
e diff(F(u),u) diff(
2
2
2
x
y
ye ,y)) b

simplify(a+b)

y
e F(u) x y

63
Ejemplo de Quiz 6.

Variante 1

1.
a. La ecuacin de Dieterici del estado de un gas est dada por:
( )
a
RVT
P V b e RT =
Donde a, b y R son constantes. Considere el volumen V como una funcin de
la temperatura T y la presin P y calcule
V
P
. Sugerencia: Para simplificar la

respuesta final haga el reemplazo
( )
a
RVT
RT
e
P V b
=
y simplifique.
b. Dadas las funciones ( )
2 2
, f u v u v = + y ( ) ( )
, ,
x y xy
g x y e e

=
i. Halle f g
j. Halle ( ) D f g
k. Halle
( )
( ) 0,0
f g
x

Solucin
a. Definimos la funcin ( ) , , F P T V y escribimos el comando:


b. Las soluciones para i-k se muestran en la figura 2.
simplify(DerImpl(F,V,P) |
( )
a
RVT
RT
e
P V b
=
)
Figura 1
Figura 2
64

Nota: Para calcular ( ) D f g escribimos la funcin en la forma ( ) { }
, f u v F y la
funcin
{ }
,
x y xy
e e g

. Aplicamos la funcin de usuario Df2_m y el resultado lo
guardamos en la variable res.

Variante 2
1.
a. La ecuacin de Van der Waals del estado de un gas est dada por:
( )
2
a
P V b RT
V

+ =

Donde a, b y R son constantes. Considere el volumen V como una funcin de
la temperatura T y la presin P y calcule
V
T
.
b. Dadas las funciones:
( ) ( )
2 2
, , , f u v t u v t uvt = + y ( ) ( )
2
, 2 , 2 , g x y x y x y yx = +
i. Halle f g
ii. Halle ( ) D f g
iii. Halle
( )
[ ] 1,1
f g
x

Solucin
a. La solucin se muestra en la figura 3


Figura 3 Figura 4
65
Variante 3

a. La ecuacin de un proceso adiabtico para un gas de Van der Waals est dada por:
( )
2
a
P V b c
V

+ =

Donde a, b cy son constantes. Considere el volumen V como una funcin de
la presin P y calcule
dV
dP
.

b. Dadas las funciones:
( ) ( )
2 2
, , , f u v s u v s u v s = y ( ) ( )
, , ,
x y
g x y e e xy =
iv. Halle f g
v. Halle ( ) D f g
vi. Halle
( )
[ ] 1,1
f g
x

Solucin



Figura 5 Figura 6
66


Laboratorio N 7, Extremos de funciones reales en varias
variables.

I ntroduccin.

En este laboratorio estudiaremos los extremos locales de las funciones reales de varias
variables. Si el punto
0
r es un extremo local, entonces ( )
0
0 Df r = . Los puntos que anulan
la primera derivada de f se denominan puntos crticos, por tanto los extremos locales
deben buscarse entre los puntos crticos.
Para determinar los tipos de extremos locales vamos a emplear el concepto de hessiano.
Dada una funcin :
n
f que tiene derivadas parciales de segundo orden
0
2
i j
r
f
x x

para , 1, , i j n = en
0
r el hessiano de la funcin f en
0
r est dado por la forma cuadrtica
( )
0
2
0
, 1
1
2
n
i j
i j
i j
r
f
Hf r hh
x x
=

h . Esta forma permite clasificar los extremos locales de la

funcin f . La matriz cuyos elementos son las derivadas parciales de segundo orden, se
denomina matriz hessiana. Si el hessiano es definido positivo en el punto crtico
0
r
entonces este punto es un mnimo local y si es definido negativo es un mximo local. Si el
hessiano es nulo en
0
r , entonces usando el hessiano no es posible obtener informacin
sobre este punto. Los puntos crticos que no son extremos locales se denominan puntos
silla.
Ejercicios Resueltos

1. Construya una funcin de usuario que permita calcular la matriz hessiana para una
funcin
2
: f , es decir, una funcin real de dos variables.
a. Utilice la funcin de usuario creada para calcular el hessiano de la funcin
2 2
z x y = + en el punto ( ) 0,0 .
Solucin

La figura 1 muestra los clculos hechos para construir el hessiano de la funcin
2 2
z x y = + . Primeramente se define la funcin de usuario Hess que permite calcular
la matriz hessiana para cualquier funcin
2
: f .

Define library\Hess(a,b,c)=listToMat(diff({diff(a,b),diff(a,c)},b),diff({diff(a,b),diff(a,c)},c))
67
En el caso particular de la funcin
2 2
z x y = + el hessiano es constante y positivo para
cualquier punto (ver figura 1). Por esta razn no evaluamos el punto ( ) 0,0 .

2. Construya un programa que permita clasificar los extremos locales de una funcin
2
: f .
a. Utilice el programa para clasificar los extremos locales de la funcin
3 2
3 15 12 z x xy x y = + .
Solucin.

En el recuadro se muestra el programa ExtrFxy,
que permite identificar si un extremo local de una
funcin es un mximo, un mnimo o un punto silla.
El programa requiere que se introduzcan la funcin
( ) , f x y y el punto extremo local que debe
clasificarse.
Para determinar los extremos locales debemos
calcular las primeras derivadas parciales, igualarlas a
cero y resolver las ecuaciones as obtenidas. La figura
2 muestra una manera de resolver dichas ecuaciones
para la funcin
3 2
3 15 12 z x xy x y = + . De esta
manera obtenemos los siguientes extremos locales:
( )
1
1,2 P , ( )
2
2,1 P , ( )
3
1, 2 P y ( )
4
2, 1 P . Para
clasificarlos emplearemos el programa ExtFxy. La
figura 3 muestra que al ejecutar el programa debemos
ingresar la funcin. En la figura 4 se muestra la
manera en que debe introducirse el punto,
empleando una llave en lugar de un parntesis.

Figura 1
Delvar F,P,S
InputFunc F(x,y),"f(x,y)"
Input P,"{punto}"
Hess(F(x,y),x,y)|x=P[1]|y=P[2] S
If det(S)=0
Then
Print "Sin Informacion"
Else
If S[1,1]>0 and det(S)>0
Then
Print "Minimo"
Else
If S[1,1]<0 and det(S)>0
Then
Print "Maximo"
Else
Print "Punto Silla"
IfEnd
IfEnd
IfEnd
Figura 2 Figura 3
Programa ExtFxy
68

.

El resultado se muestra en la figura 5. Despus de aplicar el programa a cada punto
obtenemos la siguiente clasificacin:
( )
1
1,2 P Punto Silla
( )
2
2,1 P Punto Mnimo Local
( )
3
1, 2 P Punto Silla
( )
4
2, 1 P Punto Mximo Local.

3. En muchas aplicaciones, es necesario determinar los extremos locales de una
funcin cuadrtica de n variables. Una manera compacta de escribir estas
funciones es empleando las matrices.

1
2
n
x
x
X
x

=

.
;
11 12 1
12 22 2
1 2
n
n
n n nn
a a a
a a a
A
a a a

=

. . .
;
1
2
n
q
q
Q
q

=

.

Donde X es el vector formado por las variables de la funcin, A es una matriz
simtrica y Q una matriz columna arbitraria. Definimos la funcin cuadrtica en la
forma:

T T
f X AX Q X = + .
Para encontrar sus puntos crticos debemos calcular la derivada Df e igualar a
cero.
a. Calcule Df para el caso particular de tres variables y compruebe que
2
T T
Df X A Q = + . (Esta relacin se cumple en general).
b. Defina una funcin de usuario que permita calcular el Hessiano ( ) H f para
una funcin de tres variables y con ayuda de esta funcin compruebe que el
( ) 2 H f A = .
c. Resuelva manualmente la ecuacin matricial 2 0
T T
X A Q + =
Figura 4
Figura 5
69
Solucin

Definimos las matrices, tal como se muestra en la figura 6 y construimos la funcin
T T
f X AX Q X = + , aplicando el comando:

Despus calculamos la matriz de derivadas parciales Df empleando la funcin de usuario
Df3_m y comparamos el resultado con 2
T T
X A Q + tal como se muestra en la figura 7.

b. La funcin de usuario Hess3 para calcular la matriz hessiana de una funcin
3
: f se puede definir de la siguiente manera:

Aplicamos la funcin de usuario Hess3 a la funcin f (escribimos Fu[1], porque
la habamos escrito entre llaves). Comparamos los resultados y encontramos
claramente que ( ) 2 H f A = .
c. 2 0
2
T
T T T
Q
X A Q X A + = =
Tomando la transpuesta de ambas partes y teniendo en cuenta que A es simtrica
(
T
A A = ) tenemos
1
1
2
X A Q
=

Define
library\Hess3(a,b,c,s)=listToMat(diff({diff(a,b),diff(a,c),diff(a,s)},b),
diff({diff(a,b),diff(a,c),diff(a,s)},c),diff({diff(a,b),diff(a,c),diff(a,s)},s))
matToList(simplify(trn(X)AX+trn(Q) X),1) Fu
Figura 6 Figura 7
Figura 8
70
Laboratorio N 7, Extremos de funciones reales en varias
variables.

1. Determine los extremos locales y clasifquelos, empleando el programa ExtFxy ,
para las funciones:
a. ( )
2 2
, f x y x y xy = +
b. ( )
2 2
1
,
x y
f x y e
+
=
Solucin:
a. Encontramos primeramente el punto crtico, tal como se muestra en la figura 1.
Aplicamos el programa ExtFxy. El resultado se muestra en la figura 2.

La funcin ( )
2 2
, f x y x y xy = + es cuadrtica para ella podemos aplicar tambin el
programa ExtCuadr (dado en la respuesta a la pregunta 5). En este caso tenemos:
1
1
2
1
1
2
A

;
0
0
Q

=

;
x
X
y

=

El resultado se muestra en las figuras 3 y 4

Figura 1
Figura 2
Figura 3
Figura 4
71
b. De la figura 5 podemos ver que el punto crtico es ( ) 0,0 La figura 6 muestra el
resultado de aplicar el programa ExtFxy.

2. Utilice la funcin de usuario Hess3 para calcular el hessiano de las siguientes
funciones, en el punto indicado:

i. ( ) , , f x y z xyz = , ( )
0
1,1,1 P
ii. ( )
2 2 2
, , f x y z x y z = + + , ( )
0
1, 1,0 P

Solucin
Las soluciones para (i) y (ii) se muestran en las figuras 7 y 8 respectivamente.

3. Emplee el programa listado a continuacin (que utiliza la funcin Hess3 ) para
clasificar los extremos locales de las siguientes funciones:
i. ( )
2 2 2
, , f x y z x y z = + +
ii. ( ) , , f x y z xyz x y z =
a. Explique cuales fueron las condiciones utilizadas en el programa ExtFxyz para
clasificar los extremos locales de la funcin.

Figura 5 Figura 6
Figura 8
Figura 7
72

Solucin
(i) La funcin ( )
2 2 2
, , f x y z x y z = + + posee un
punto crtico en ( ) 0,0,0 . El resultado de aplicar el
programa ExtFxyz se muestra en la figura 9.
(ii) A partir de la figura 10, vemos que la funcin
( ) , , f x y z xyz x y z = tiene dos puntos
crticos en los puntos ( ) 1,1,1 y ( ) 1, 1, 1

El resultado de aplicar el programa ExtFxyz se muestra en las figuras 11 y 12
respectivamente.

DelVar F,P,S,a,b,c
InputFunc F(x,y,z),"f(x,y,z)"
Input P,"{punto}"
Hess3(F(x,y,z),x,y,z)|x=P[1]|y=P[2]|z=P[3] S
S[1,1] a
det(subMat(S,1,1,2,2)) b
det(S) c
If a=0 and b=0 and c=0
Then
Else
If a>0 and b>0 and c>0
Then
Print "Minimo"
Else
If a<0 and b>0 and c<0
Then
Print "Maximo"
Else
Print "Punto Silla"
IfEnd
IfEnd
IfEnd
Programa ExtFxyz
Figura 9
73

a. Para la explicacin sobre el programa se recomienda el libro Clculo
Vectorial, Marsden Tromba, seccin 4.2 Extremos de funciones con
valores reales (particularmente el teorema 4, pgina 253 en la tercera
edicin).

4. Construya una funcin de usuario Hess4 para calcular la matriz hessiana de una
funcin
4
: f .
Solucin

Definimos la funcin de usuario Hess4 mediante:

5. Construya un programa que permita encontrar y clasificar los puntos crticos para
funciones cuadrticas con un nmero arbitrario de variables.
a. Aplique el programa para el caso en que:
1 2 0
2 1 1
0 1 0
A

=

;
x
X y
z

=

;
1
1
0
Q

=

b. Usando el programa determine el punto crtico de la funcin
2 2
2 f x xy y x y = + + y clasifquelo.
Define
library\Hess4(a,b,c,e,f)=listToMat(diff({diff(a,b),diff(a,c),diff(a,e),diff(a,f)},b),diff({diff(a,b),
diff(a,c),diff(a,e),diff(a,f)},c),diff({diff(a,b),diff(a,c),diff(a,e),diff(a,f)},e),diff({diff(a,b),diff(a,c
),diff(a,e),diff(a,f)},f))
Figura 10
Figura 11
Figura 12
74

Solucin
En el recuadro, ms abajo muestra el programa ExtCuadr que permite encontrar y
clasificar los puntos crticos de una funcin cuadrtica en la forma
T T
f X AX Q X = + . El
programa requiere la definicin de las matrices A, X y Q y devuelve el punto crtico
indicando su tipo.
a. Las figuras 13 y 14 muestran la solucin.

Figura 13
Figura 14
75

DelVar Qq,Ma,Xx,T,k,s,l,T1,j,pp,tt
Input Ma,"matriz simtrica A"
Input Xx,"Vector columna X"
Input Qq,"Vector columna Q"
matToList(1/2Ma^(-1) Qq,1) sol
{} T
For 1k To dim(sol)
det(subMat(Ma,1,1,k,k)) pp
augment(T,{pp}) T
Next
{}T1
For 1l To dim(sol)
det(subMat(-Ma,1,1,l,l)) tt
augment(T1,{tt}) T1
Next
For 1j To dim(sol)
If T[j]>0
Then
Skip
Else
Break
IfEnd
Next
If j=dim(sol)
Then
PrintNatural sol,"Mnimo"
GoTo h
Else
For 1s To dim(sol)
If T1[s]>0
Then
Skip
Else
Break
IfEnd
Next
IfEnd
If s=dim(sol)
Then
PrintNatural sol,"Mximo"
Else
If k 0 or s 0
Then
PrintNatural sol,"Punto Silla"
Else
Print "Sin informacin"
IfEnd
IfEnd
Lbl h
Programa ExtCuadr
76

b. Construimos las matrices correspondientes. Debemos tener especial cuidado con la
matriz A, ya que para que el programa funcione correctamente A debe ser simtrica.
En este ejercicio en particular podramos construir la matriz en la forma:
1 1
0 1
A

=

, sin embargo esta matriz no es simtrica
1
. La matriz correcta es:

1
1
2
1
1
2
A

=

. Las figuras 15 y 16 muestran la solucin del ejercicio.

Actividades adicionales.

6. Perfeccione el programa ExtCuadr para permitir incluir matrices no simtricas.
Deber agregar en este caso una lnea para construir la matriz simtrica
correspondiente en la forma
( )
( )
1
2
S T
A A A = + .
7. *Construya un programa para calcular la matriz hessiana de cualquier orden, es
decir para funciones :
n
f .
8. Construya un programa para clasificar los extremos locales de funciones de cuatro
variables ( ) , , , f x y z t .
9. *Construya un programa que permita clasificar los extremos de funciones reales
con cualquier nmero de variables.

1
El programa puede mejorarse permitiendo incluir matrices no simtricas. En este caso
debemos agregar una lnea que construya la matriz simtrica en la forma
( )
( )
1
2
S T
A A A = +

Figura 15
Figura 16
77
Ejemplos de Quiz 7
Variante 1.

10. Encuentre y clasifique, con ayuda de la calculadora, los extremos locales para las
siguientes funciones:
a. ( )
1 1
, f x y xy
x y
= + +
b. ( )
2 2 2
, , 2 2 F x y z x y z xy x y = + + + + +
Solucin.
a. De las figuras 1 y 2 se obtiene que la funcin ( )
1 1
, f x y xy
x y
= + + posee un punto
crtico en ( ) 1,1 , para identificar el tipo de punto aplicamos el programa ExtrFxy. La
figura 3 indica que el punto es un mnimo.

b. Construimos las matrices A, Q y X (figura 4 y 5) y empleamos el programa
ExtrCuadr para encontrar el punto crtico y clasificarlo (figura 6).

Figura 1
Figura 2
Figura 3
Figura 4
Figura 5
Figura 6
78
Variante 2

a. ( ) ( )( ) , 1 f x y x y xy =
b. ( )
2 2 2
, , 3 4 2 3 F x y z x y z xy zx x y z = + + + + +
Solucin

a. De acuerdo a la figura 7 tenemos 2 puntos crticos ( )
1
1, 1 P , ( )
2
1,1 P . Aplicando
el programa ExtrFxy, tenemos que:

( )
1
1, 1 P Punto Silla
( )
2
1,1 P Punto Silla


Figura 7
Figura 10
Figura 9
Figura 8
79
Variante 3

a. ( ) ( ) , sin f x y x y = con
[ ]
, x ;
[ ]
, y
b. ( )
2 2 2
, , 2 3 3 4 F x y z x y z xy zy x y z = + + +
Solucin
a. De acuerdo a la figura 11 tenemos infinitos puntos crticos dados por ( ) 0,k con
kZ . En el intervalo indicado, tenemos los puntos ( ) 0,0 , ( ) 0, . Aplicando en
programa ExtrFxy tenemos:

( ) 0,0 Punto silla
( ) 0, Punto silla
( ) 0, Punto silla


Figura 11
Figura 12
Figura 13 Figura 14
80


Laboratorio N 8, Extremos condicionados, Multiplicadores de
Lagrange.

I ntroduccin.

En este laboratorio estudiaremos los extremos condicionados de las funciones reales de
varias variables. Dadas las funciones :
n
f y :
n
g , el punto
0
r donde la
funcin f , restringida al conjunto nivel g c = , toma un valor mximo o mnimo se
denomina extremo condicionado. Si
0
r es un extremo condicionado y ( )
0
0 g r
,
,
entonces existe un nmero real tal que ( ) ( )
0 0
f r g r =
, ,
. El nmero se denomina
multiplicador de Lagrange. Este hecho permite construir una funcin auxiliar F f g =
entre cuyos puntos crticos (los puntos
0
r , tales que ( )
0
0 F r =
,
) podemos encontrar los
extremos condicionados de f . Para determinar el tipo de extremo condicionado podemos
ayudarnos en primer lugar con consideraciones geomtricas, por ejemplo si el conjunto
nivel g c = es una superficie acotada entonces la funcin f restringida a dicha superficie
debe tener un valor mximo y uno mnimo. Si los puntos crticos de la funcin auxiliar
F son dos, entonces uno debe ser un mximo y el otro mnimo. Reemplazando en la
funcin f podremos saber cul es cul. En general, podemos emplear el hessiano de la
funcin auxiliar F , pero en este caso los criterios cambian. En particular para una funcin
2
: f , denotando por ( ) ( )
0
H F r la matriz hessiana, si ( ) ( )
0
det 0 H F r >

entonces
0
r es mximo condicionado, si ( ) ( )
0
det 0 H F r <

,
0
r es un mnimo
condicionado y si ( ) ( )
0
det 0 H F r =

, no hay informacin sobre el tipo de punto.
Ejercicios Resueltos

1. Determine los extremos condicionados de la funcin ( )
2
, f x y x y = dada la
condicin ( )
2 2
, 2 6 g x y x y = + = .
a. Verifique ( ) ( )
0 0
f r g r =
, ,
en los extremos condicionados.
b. Represente las curvas de nivel ( ) , f x y c = , la curva constriccin ( ) , 6 g x y = .
Trace una recta que tenga la direccin del gradiente y que pase por uno de los
extremos condicionados
0
r . Compruebe que dicha recta es perpendicular tanto a la
curva de nivel ( )
0
,
r
f x y f = como a la constriccin ( ) , 6 g x y = .

81
Solucin
Construimos la funcin auxiliar ( ) ( ) ( ) ( )
, , , , F x y f x y g x y c = :
( ) ( )
2 2 2
, , 2 6 F x y x y x y = +
Resolvemos la ecuacin 0 F =
,
, es decir, debemos igualar a cero las derivadas parciales.
Los clculos se muestran en la figura 1. Tenemos las siguientes relaciones entre las variables
2 x y = , y = ,
2
1 0 y = . De donde obtenemos los puntos:
( )
1
2,1 ; 1 P = ; ( )
2
2,1 ; 1 P = ; ( )
3
2, 1 ; 1 P = ; ( )
4
2, 1 ; 1 P = .
Note que para resolver la ecuacin ec1 hemos supuesto 0 x . Otra solucin posible de
esta ecuacin es 0 x= , lo que implica de acuerdo a la ecuacin ec2, que 0 y= o 0 = .
Pero 0 y= no puede ser ya que en este caso 0 g= , lo que contradice la ecuacin ec3. Si
0 = y 0 x= , de la ecuacin ec3 obtenemos 3 y= . Tenemos los puntos:
( ) 5
0, 3 ; 0 P = = ;
( ) 6
0, 3 ; 0 P = = .
El conjunto nivel (curva de nivel)
2 2
2 6 x y + = constituye una curva cerrada, por tanto la
funcin f alcanza su valor mximo y mnimo. Evaluamos los puntos en la funcin
(figura 2) y comprobamos que los puntos ( )
1
2,1 P y ( )
2
2,1 P son mximos
condicionados, mientras que ( )
3
2, 1 P y ( )
4
2, 1 P son mnimos condicionados. En los
puntos
( ) 5
0, 3 P = y
( ) 6
0, 3 P = la funcin se anula.

a. Para calcular el gradiente podemos emplear la funcin de usuario Df2_m
como se muestra en la figura 3. Vemos por ejemplo que:
( ) ( ) [ ] [ ]
1 1
4,4 1 4,4 f P g P = =
, ,

( ) ( ) [ ] [ ]
3 3
4,4 1 4, 4 f P g P = =
, ,

b. Las figuras 4 muestran las curvas de nivel de
2
2
c
x y c y
x
= = para 2, 4, 5 c= .
Tambin se grafica la elipse
( )
2 2
2 2
2
6cos
2 6 1
3
3 sen
6
x t
x y
x y
y t
+ = + =

=

Figura 1 Figura 2
Figura 3
82
Buscamos la ecuacin de la recta que pasa por el punto ( )
1
2,1 P en la direccin del
vector gradiente en ese punto
2 4
1 4
x t
y t
= +
= +
o eliminando en parmetro t, 1 y x = .

2. Construya un programa para aplicar el criterio del hessiano a la funcin auxiliar
F f g = en la clasificacin de los extremos condicionados de una funcin
2
: f
b. Compruebe su programa aplicndolo a la funcin de la pregunta anterior.
Solucin.

En el recuadro se muestra el programa ExtConxy, que permite clasificar los extremos
condicionados de una funcin. El programa requiere que se introduzcan la funcin auxiliar
( ) , F x y f g = (figura 6) el valor del multiplicador de Lagrange y el punto extremo que
deben escribirse entre llaves (figura 7).

Figura 4 Figura 5
83

El resultado se muestra en la figura 8.
Despus de aplicar el programa a cada
punto obtenemos la siguiente
clasificacin:
( ) 2,1 Mximos condicionados
( ) 2, 1 Mnimos condicionados

3. Calcule la distancia mxima al origen de coordenadas de un punto que se encuentra
sobre la curva
3 3
6 0 x y xy + = .
Solucin

La distancia de un punto ( ) , P x y al origen de coordenadas se calcula mediante la funcin
( )
2 2
, d x y x y = + . Debemos encontrar el mximo de esta funcin con la condicin de
que ( ) , P x y se encuentre sobre la curva dada. Es fcil darse cuenta que el mximo
condicionado de la funcin ( )
2 2
, f x y x y = + coincide con el mximo condicionado de la
funcin ( ) , d x y . El empleo de la funcin ( ) , f x y simplifica los clculos, por lo que
vamos a utilizar la siguiente funcin auxiliar:
( ) ( )
2 2 3 3
, , 6 F x y x y x y xy = + + .
Programa ExtConxy
Delvar F,P,S,a
InputFunc F( ,x,y),"f- g"
Input P,"{ ,x,y}"
Hess3(F( ,x,y), ,x,y)| =P[1]|x=P[2]|y=P[3] S
det(S) a
If a=0
Then
Else
If a<0
Then
Print "Minimo"
Else
Print "Maximo"
IfEnd
IfEnd
Figura 9 Figura 10
Figura 11
84
Para hallar los puntos crticos de la funcin F tomamos sus derivadas parciales y las
igualamos a cero: 0; 0; 0
x y
F F F
= = = . De las dos primeras ecuaciones despejamos el

valor de (figura 9), eliminamos la variable igualando ambas expresiones (s1 y s2
en la figura 9) y obtenemos la relacin: (ver figura 10).
( )( ) 2 2 0 x y xy x y + + = ( ) *
Una solucin esta dada por x y = . Reemplazamos ahora x y = en la tercera ecuacin y
encontramos los valores para x(figura 10). Los puntos crticos hallados son ( )
1
0,0 P y
( )
2
3,3 P . Es evidente, por consideraciones geomtricas, que el punto ( )
1
0,0 P es un
mnimo. De la relacin ( ) * vemos que otra posibilidad de solucin es cuando
2 2 0 xy x y + + = . Despejamos x en funcin de yy reemplazamos en la tercera ecuacin.
La figura 11 muestra que las soluciones son complejas o nulas.
{y=-1.703194113-1.265004358 i , y=-1.703194113+1.265004358i , y=-1.296805887-
2.997055166 i , y=-1.296805887+2.997055166i , y=0}
Todos estos valores pueden desecharse ya que solo nos interesan las soluciones reales,
adems el caso 0 y= ya fue considerado.
Finalmente, a partir de consideraciones geomtricas, podemos afirmar que el punto ( ) 3,3
corresponde al mximo condicionado buscado. Para asegurarnos de esto, primeramente
graficamos la curva
3 3
6 0 x y xy + = . Esta curva recibe el nombre de Folio de
Descartes y la mejor manera de graficarla en la calculadora es empleando la
parametrizacin:
2
3 3
6 6
;
1 1
t t
x y
t t
= =
+ +
(ver figura 12). En la figura 13 se calcula la distancia
del punto ( )
2
1,1 P al origen de coordenadas.

4. Halle el mnimo de la funcin ( )
2 2 2 2
, , , 2 f x y z t x y z t = + + + con las condiciones
3 2 x y z t + + = y 2 2 4 x y z t + + = .
Solucin:
Construimos la funcin auxiliar:
( ) ( ) ( )
2 2 2 2
1 2 1 2
, , , , , 2 3 2 2 2 4 F x y z t x y z t x y z t x y z t = + + + + + + +
Figura 12 Figura 13
Figura 14
85
Note que en este ejercicio se emplean dos multiplicadores de lagrange debido a la existencia
de dos condiciones. Es fcil percatarse que las ecuaciones obtenidas al igualar las derivadas
parciales de la funcin auxiliar a cero son lineales. Por esta razn, resolvemos las
ecuaciones empleando un sistema de ecuaciones lineales tal como se muestra en la figura
14. Por comodidad los multiplicadores
1
y
2
se reemplazaron por ay b
respectivamente.

La solucin:

Para hallar el valor mnimo de la funcin reemplazamos los valores hallados en
( )
2 2 2 2
, , , 2 f x y z t x y z t = + + +

5. Construya un programa para aplicar el criterio del hessiano a la funcin auxiliar
F f g = en la clasificacin de los extremos condicionados de una funcin
3
: f .
c. Utilice el programa para estudiar los extremos de la funcin
( ) , , f x y z xyz = sobre la superficie unitaria
2 2 2
1 x y z + + = .
Solucin
El recuadro muestra el programa requerido:

solve({diff(m,x)=0,diff(m,y)=0,diff(m,z)=0,diff(m,t)=0,diff(m,a)=0,diff(m,b)=0},{x,y,z,
t,a,b}) s
{x=67/69, y=2/23, z=14/69, t=67/69, a=26/69, b=18/23}
2 2 2 2
2 x y z t + + + |s[1]|s[2]|s[3]|s[4]
134/69
Delvar F,P,S,a,b
InputFunc F( ,x,y,z),"F( ,x,y,z)"
Input P,"{ ,x,y,z}"
Hess4(F( ,x,y,z), ,x,y,z)| =P[1]|x=P[2]|y=P[3]|z=P[4] S
det(subMat(S,1,1,3,3)) a
det(S) b
If a=0 and b=0
Then
Else
If a<0 and b<0
Then
PrintNatural {P[2],P[3],P[4]}, "Minimo"
Else
If a>0 and b<0
Then
PrintNatural {P[2],P[3],P[4]}, "Maximo"
Else
PrintNatural {P[2],P[3],P[4]}, "Punto Silla"
IfEnd
IfEnd
IfEnd Programa ECondXYZ
86

Laboratorio N 8, Extremos condicionados, Multiplicadores de
Lagrange.

11. Compruebe, empleando el programa ExtConxy, que el punto ( )
2
3,3 P del
ejercicio resuelto 3 es un mximo condicionado. (El valor del multiplicador de
Lagrange se muestra en la figura 10 del laboratorio 8).
Solucin

La solucin se muestra en las figuras 1 3:

12. Determine la distancia mnima de la hiprbola
2 2
8 7 225 x xy y + + = al origen de
coordenadas.
Solucin

Figura 1
Figura 2
Figura 3
Figura 4 Figura 5
87

De acuerdo a las figuras 4 y 5 tenemos los puntos crticos:
( )
1
1
, , , 5,2 5
9
P x y

=

( )
2
1
, , , 5, 2 5
9
P x y

=

. Para encontrar el mximo
aplicamos el programa ExtConxy. Los resultados se muestran en las figuras 6 - 9.
(Desechamos los valores complejos.

Los puntos
1
P y
2
P poseen la misma distancia al origen de
coordenadas tal como se ilustra en la figura 10.

Figura 6
Figura 7
Figura 8 Figura 9
Figura 10
88

13. Determine el volumen de la mayor caja rectangular que es posible construir en el
primer octante con tres caras en los planos coordenados y un vrtice en el plano
2 3 6 x y z + + = .
Solucin.
De acuerdo a los clculos dados en las figuras 11 13 tenemos un punto crtico dado por
( )
2 2
, , , ,2,1,
3 3
P x y z

=

, para comprobar que es el mximo buscado empleamos el
programa ECondXYZ tal como se muestra en la figura 14.

14. Halle el volumen del mayor paraleleppedo rectangular que puede ser inscrito en el
elipsoide
2 2 2
1
9 16 36
x y z
+ + = .
Solucin

De las figuras 15 18 tenemos que el punto crtico est dado por:
Figura 14
89
( )
4 3
, , , 12 3, 3, ,2 3
3
P x y z

=

.
La figura 19 muestra la aplicacin de programa ECondXYZ, que indica que el punto
hallado es un mximo.

El volumen buscado debe ser 8 veces el producto xyz. Es decir el volumen del
paraleleppedo inscrito en el elipsoide es:
4 3
8 3 2 3 64 3
3
= .

15. Halle el mnimo de la funcin ( )
2 2 2 2
, , , f x y z t x y z t = + + + , con las condiciones:
2 1 x y z t + + + = y 2 3 3 x y z t + + = .
Figura 15 Figura 16
Figura 17
Figura 18 Figura 19
90

Solucin
Los clculos se muestran en la figura 20. La solucin esta dada por:

17 22 4 21 18 26
, , , , ,
41 41 41 41 41 41
x y z t a b

= = = = = =

Donde a y b son los multiplicadores de Lagrange.

Actividades adicionales.

16. *Construya un programa para aplicar el criterio del hessiano a funciones con
cualquier nmero de variables :
n
f y con una sola condicin g c = .
17. Construya un programa que calcule y clasifique el punto crtico de funciones
cuadrticas con n variables ( )
1 2
, ,
n
f x x x , considerando l condiciones lineales
( )
1 1 2
, ,
n
g x x x , ( ) ( )
2 1 2 1 2
, , , , , ,
n l n
g x x x g x x x .

Figura 20
91
Ejemplo de Quiz 8.

Variante 1.

2. El plano 6 4 3 z x y = , corta al cilindro
2 2
1 x y + = formando una curva cerrada.
Encuentre, con ayuda de la calculadora, los puntos mximo y mnimo de esta
curva.
Solucin
De acuerdo a las figuras 1 3 tenemos los puntos crticos ( )
1
5 4 3
, , , ,
2 5 5
P x y

=

y
( )
2
5 4 3
, , , ,
2 5 5
P x y

=

. Para clasificarlos empleamos el programa ExtConxy. Los
resultados se muestran en las figuras 4 - 7.

Figura 1
Figura 2 Figura 3
Figura 4
Figura 5
92

Variante 2

1. Determine y clasifique, con ayuda de la calculadora, los extremos de la funcin:
a. ( ) , 2 f x y x y = + con la condicin
2 2
5 x y + = .
Solucin
a. De acuerdo a las figuras 8 10 tenemos los puntos crticos
( )
1
1
, , , 1, 2
2
P x y

=

y ( )
2
1
, , ,1,2
2
P x y

=

. Para clasificarlos
empleamos el programa ExtConxy. Los resultados se muestran en las
figuras 11 - 14.

Figura 6
Figura 7
93

Variante 3.

1. Determine y clasifique el (los) extremo(s) de la funcin ( )
2 2
, f x y x y = + , con la
condicin 1
2 3
x y
+ = .
Solucin
De acuerdo a las figura 15 tenemos un punto crtico ( )
72 18 12
, , , ,
13 13 13
P x y

=

y
( )
2
1
, , ,1,2
2
P x y

=

. Este punto, por consideraciones geomtricas, debe ser un mnimo,
hecho que podemos comprobar empleando el programa ExtConxy. Los resultados se
muestran en las figuras 16 y 17.

Figura 11
Figura 12
Figura 13
Figura 14
Figura 16 Figura 17
Figura 15
94


Laboratorio N 9, Integrales Multiples.
I ntroduccin.
En este laboratorio estudiamos las integrales dobles y triples. Para calcular integrales dobles
sobre una regin D, estas se transforman en integrales iteradas teniendo en cuenta la
forma de la regin y buscando siempre la simplicidad de los
clculos. Por ejemplo, dada una regin de integracin D de la
forma indicada en la figura (i) tenemos:

( ) ( )
( )
( )
2
1
, ,
p x
b
D a p x
f x y dxdy f x y dy dx

=

.

En cambio, si la regin est dada en la forma indicada en la
figura (ii) tenemos:
( ) ( )
( )
( )
2
1
, ,
q y
d
D c q y
f x y dxdy f x y dx dy

=

.
De manera similar, dada una regin R de
3
la integral
triple puede calcularse transformndola a integrales
iteradas, por ejemplo:
( ) ( )
( )
( )
( )
( )
2 2
1 1
,
,
, , , ,
y x z x y
b
R a y x z x y
f x y z dxdydz f x y z dzdydx =

Otras elecciones de los lmites de integracin tambin son posibles, de acuerdo a la regin
R. En las integrales dobles, dado el cambio de variables ( ) , x u v = , ( ) , y u v = , la
regin de integracin D se transforma en una nueva regin G y la integral se calcula
mediante la frmula:
( ) ( ) ( ) ( )
( )
( )
,
, , , ,
,
D G
x y
f x y dxdy f u v u v dudv
u v

=

Para las integrales triples, dado el cambio de variables ( ) , , x u v s = , ( ) , , y u v s = ,
( ) , , z u v s = , la regin R se transforma en una nueva regin R y la integral se calcula
mediante la frmula:
( ) ( ) ( ) ( ) ( )
( )
( )
, ,
, , , , , , , , , ,
, ,
R R
x y z
f x y z dxdydz f u v s u v s u v s dudvds
u v s

En estas frmulas
( )
( )
,
,
x y
u v
y
( )
( )
, ,
, ,
x y z
u v s
son los determinantes de los jacobianos de

transformacin.

D
( )
1
y p x =
( )
2
y p x =
a
b
D ( )
1
x q y =
( )
2
x q y =
c
d
( ) i
( ) ii
95
Ejemplos Resueltos:
1. Construya una funcin de usuario para calcular integrales dobles.
a. Empleando la funcin de usuario calcule la integral
2 2
2 2
0 0
a a x
x y dydx
+

con 0 a> ,
pasando previamente a coordenadas polares.
Solucin.
La funcin de usuario DobleInt definida a continuacin permite calcular integrales
dobles:

a. Para graficar el dominio de integracin con ayuda de la calculadora tomamos un valor
particular para a, por ejemplo 1 a= . La figura 1 muestra el dominio de integracin. A
partir de la grfica podemos determinar que en coordenadas polares ( ) , r los lmites de
integracin corresponden a 0 r a y 0
2
. Por tanto, empleando coordenadas

polares cos x r = , sin y r = , la integral se transforma de la siguiente manera
2 2
2
2 2 2
0 0 0 0
a a x a
x y dydx r drd
+ =

. Las figuras 2 y 3 muestran el clculo de esta integral
empleando la funcin de usuario DobleInt.

2. Calcule la integral doble
( )
2
D
xy y dxdy
donde D es un tringulo cuyos vrtices estn

en los puntos ( ) 0,0 O , ( ) 4,1 A y ( ) 1,1 B .
Figura 1
Define library\DobleInt(a,e,b,p,c)=(((a,e,b[1],b[2])),p,c[1],c[2])
Figura 3
Figura 2
96
Solucin
El lado OA del tringulo define la recta
4
x
y= , el lado OB define la recta y x = , mientras
que el lado AB define la recta 1 y= . La regin de integracin est graficada en la figura 3.
Observe que si integramos primero por la variable y y despus por la variable x debemos
dividir la regin de integracin en dos partes. La primera esta representada en la figura 4 y
est dada por los lmites de integracin 0 1 x ,
4
x
y x . La segunda regin se grafica
en la figura 5 y esta definida por los lmites 1 4 x , 1
4
x
y . En cambio si integramos
por xprimero y despus por ypodemos integrar por toda la regin, definida en este caso
por 0 1 y , 4 y x y . Las figura 6 y 7 muestran los clculos por ambas vas usando la
funcin de usuario DobleInt.

Primeramente definimos todos los intervalos y la funcin (figura 6), despus escribimos las
integrales dobles, empleando la funcin de usuario ms arriba
definida (figura 7). Debemos escribir en la calculadora:

Observe que el resultado es el mismo por ambas vas.
Note adems el orden correcto en que deben escribirse los
intervalos en la funcin de usuario DobleInt.

Figura 4 Figura 5
Figura 6
DobleInt(f,y,h2,x,h1)+DobleInt(f,y,h4,x,h3)
DobleInt(f,x,h5,y,h1)
Figura 7
97
3. Halle el rea limitada por la elipse ( ) ( )
2 2
2 3 3 4 1 100 x y x y + + + = .
Solucin
Para calcular el rea de la elipse introducimos nuevas variables 2 3 u x y = + y
3 4 1 v x y = + . Expresamos las variables ( ) , x y en funcin de las variables ( ) , u v . La
figura 8 muestra como hacerlo con la calculadora. Tenemos as que
2 1
1
5 5
x u v = + ,
3 1
1
10 10
y u v = + + . Con el empleo de este cambio de variables la elipse
, x y
E :
( ) ( )
2 2
2 3 3 4 1 100 x y x y + + + = dada en el plano XY se transforma en la circunferencia
, u v
C :
2 2 2
10 u v + = en el plano UV. Para calcular el rea de la circunferencia podemos
emplear coordenadas polares, es decir cos u r = , sin v r = . Este ltimo cambio de
variable permite transformar la circunferencia
, u v
C en el rectngulo
{ }
,
: 0 10,0 2
r
R r
. Teniendo en cuenta la frmula para la transformacin de

coordenadas en las integrales dobles tenemos:

( )
( )
( )
( )
( )
( )
, , ,
, , ,
, , ,
x y u v r
E C R
x y x y u v
A dxdy dudv drd
u v u v r

= = =

.
Esta ltima integral doble puede calcularse fcilmente. La figura 9 muestra los clculos
hechos con la funcin de usuario DobleInt.
Para calcular el jacobiano
( )
( )
,
,
x y
u v
se defini la funcin:

y utilizamos la funcin de usuario Df2_m. El jacobiano
( )
( )
,
,
u v
r
de transformacin a
coordenadas polares ya lo hemos calculado con anterioridad y es igual r .

{getRight(s[1]),getRight(s[2])} f
Figura 8
Figura 9 Figura 10
98

4. Halle el volumen del slido limitado por el paraboloide elptico
2 2
2 1 z x y = + + , el
plano 1 x y + = y los planos coordenados.
Solucin
La calculadora no permite graficar dos superficies simultneamente, sin embargo en
muchas ocasiones necesitamos solamente conocer las tapas inferior y superior de un
slido, as como la proyeccin sobre el plano coordenado XY. Este ejercicio en particular
ilustra este hecho. El plano 1 x y + = no contiene la variable z, por tanto es infinito en la
direccin del eje Z, por lo que no puede constituir la tapa superior o inferior del slido.
La tapa superior est dada por el paraboloide elptico
2 2
2 1 z x y = + + (ver figura 10),
mientras que la tapa inferior est dada por el plano coordenado XY, es decir el plano cuya
ecuacin es 0 z= . La figura 11 muestra la regin de integracin definida por 0 1 y x ,
0 1 x

La figura 12 muestra los clculos del volumen en el que se emple la frmula
( ) ( )
2 1
, ,
D
V z x y z x y dxdy =

.
5. Determine el volumen del elipsoide
2 2 2
2 2 2
1
x y z
a b c
+ + =
Solucin
Definimos primeramente una funcin de usuario que permita calcular integrales triples.

Para calcular el volumen del elipsoide empleamos la frmula
, ,
Vol
x y z
E
dxdydz =

e
introducimos la siguiente transformacin de coordenadas cos sin x a r = ,
sin sin y b r = y cos z c r = . Por medio de esta transformacin el elipsoide
, , x y z
E :
2 2 2
2 2 2
1
x y z
a b c
+ + = en el espacio XYZ se transforma en el paraleleppedo
, , r
P

:
Figura 11
Figura 12
Figura 13
Define library\TripInt(a,e,b,p,c,q,s)=((((a,e,b[1],b[2])),p,c[1],c[2]),q,s1],s[2])
99
{ } 0 1,0 2 ,0 r en el espacio r . Usando estas nuevas coordenadas el
volumen se calcula mediante
( )
( )
, , , ,
, ,
Vol
, ,
x y z r
E P
x y z
dxdydz drd d
r

= =

. Para calcular el
jacobino empleamos la funcin de usuario Df3_m. La figura 13 muestra los clculos del
jacobiano y la definicin de los intervalos de integracin. El jacobiano as calculado se le
asigna a la variable J mediante:

La figura 14 muestra el resultado buscado.

Figura 14
Simplify(det(Df3_m(f,r, , ))) J
100
Laboratorio N 9, Integrales Multiples.

1. Halle las coordenadas del centroide de la figura plana limitada por las parbolas
2
4 4 y x = + y
2
2 4 y x = + .
Solucin
Para calcular las coordenadas del centro de gravedad de una figura empleamos las frmulas:

D
D
xdxdy
x
dxdy
=

,
D
D
ydxdy
y
dxdy
=

.
La figura 1 muestra la regin de integracin. Por simetra respecto al eje X tenemos que
0 y= , por tanto solo debemos calcular x. Los lmites de integracin se toman de la
manera siguiente
2 2
4 4
4 2
y y
x

, 2 2 y . El clculo se muestra en la figura 2. Las
coordenadas del centroide son ( )
2
, ,0
5
x y

=

.

2. Calcular la integral triple
( )
3
1
V
dxdydz
x y z + + +
, donde V es el slido limitado por los

planos coordenados y el plano 1 x y z + + = .
Solucin
La figura 3 muestra el plano 1 x y z + + = . La regin de integracin es mostrada en la figura
4 y la figura 5 muestra el clculo de la integral triple.

Figura 1 Figura 2
Figura 3
101

3. Halle el volumen del slido limitado por las superficies
2 2 2
2 2 2
2
x y z
a b c
+ + = y
2 2 2
2 2 2
0
x y z
a b c
+ = con 0 z .
Solucin
Las figuras 6 y 7 muestran la parte superior del elipsoide
2 2 2
2 2 2
2
x y z
a b c
+ + = y el cono
elptico
2 2 2
2 2 2
0
x y z
a b c
+ = respectivamente, para 3 a= , 2 b= y 5 c= . A partir de estas
grficas se establece que el elipsoide constituye la tapa superior y el cono es la tapa inferior
del slido. Ambas superficies se cortan formando la elipse
2 2
2 2
1
x y
a b
+ = , cuando z c = . Por
tanto debemos calcular la integral doble
,
2 2 2 2
2 2 2 2
2
x y
E
x y x y
c c dxdy
a b a b

+

, donde
, x y
E es la regin interior a la elipse
2 2
2 2
1
x y
a b
+ = . Utilizamos la transformacin de
coordenadas cos x a r = , sin y b = . Empleando las coordenadas ( ) , r , la elipse
, x y
E
en el plano XY se transforma en el rectngulo { }
,
: 0 1,0 2
r
R r
en el plano r .

102

En la figura 8 se muestra el reemplazo de las nuevas coordenadas en las funciones bajo
la integral, la definicin de los intervalos de integracin para las variables y el clculo
del jacobiano de la transformacin. En la figura 9 se muestra el clculo de la integral
pedida.
4. Sea
( ) ( )
1
2 3 1 2
2 2 2 2
1 0
2
y y
y y
I x y dxdy x y dxdy

= + + +

a. Grafique la regin de integracin de I
b. Calcule la integral I empleando el cambio de coordenadas u x y = + , v x y =
Solucin

a. La regin de integracin se muestra en la figura 10. Despus de la transformacin
en el plano UV la regin toma la forma indicada en la figura 11. En la figura 12
se indican los clculos del jacobiano de transformacin y en las figuras 13,14 se
muestran los clculos de la integral empleando la funcin de usuario DobleInt

Figura 7
Figura 8
Figura 9
Figura 10
Figura 11
Figura 12
103

Figura 13
Figura 14
104
Ejemplo de Quiz 9.

Variante 1.
1. Dada la regin slida R que est limitada por la superficie ( )
2
,
x
f x y e
= y los
planos 0 z= , 0 y= , y x = , 1 x= .
a. Dibuje, con ayuda de su calculadora, la proyeccin de la regin R sobre el plano
0 z= y determine de esta manera los lmites de integracin.
Nota: Debe anotar claramente las desigualdades que emple para construir el
grfico solicitado.
b. Utilice integrales dobles para calcular el volumen de la regin R. (Recomendacin:
Emplee la funcin de usuario DobleInt)
Solucin
La tapa superior de la regin R est dada por la funcin ( )
2
,
x
f x y e
= y la tapa
inferior est definida por el plano 0 z= . Podemos emplear una integral doble para
calcular el volumen. El dominio de integracin est representado en la figura 1.

Para resolver la integral empleamos la funcin de usuario DobleInt. Los clculos se
muestran en la figura 2

Figura 1
Figura 2
105
Variante 2.

1. Dada la funcin ( ) , , f x y z xyz = en el dominio V limitado por los planos 0 x= ,
0 y= , 0 z= , 1 x y z + + = .
a. Dibuje, con ayuda de su calculadora, la proyeccin de la regin V sobre el plano
0 z= .
grfico solicitado.
b. Calcule la integral triple ( ) , ,
V
f x y z dxdydz
, para la funcin ( ) , , f x y z y la regin

V definidas en la pregunta. (Recomendacin: Con ayuda del grfico del punto (a) determine los
lmites de integracin, luego emplee la funcin de usuario TripInt)

Solucin
a. La proyeccin de la regin V sobre el plano 0 z= se muestra en la figura
3.
b. Para resolver la integral empleamos la funcin de usuario TripInt. Los
clculos se muestran en la figura 4

Figura 3
Figura 4
106
Variante 3

1. Dado el slido R limitado por el paraboloide elptico
2 2
2 1 z x y = + + , el plano
1 x y + = y los planos coordenados 0 x= , 0 y= , 0 z=
a. Dibuje, con ayuda de su calculadora, la proyeccin del slido R sobre el
plano 0 z= y determine de esta manera los lmites de integracin.
grfico solicitado.
b. Utilice integrales dobles para calcular el volumen de la regin R.
(Recomendacin: Emplee la funcin de usuario DobleInt)
Solucin
a. La proyeccin del slido R sobre el plano 0 z= se muestra en la figura 5.
b. Para resolver la integral empleamos la funcin de usuario DobleInt. Los
clculos se muestran en la figura 6

Figura 5
Figura 6
107


Laboratorio N 10, Operaciones diferenciales. Gradiente,
divergencia y rotacional.
I ntroduccin.
El gradiente es una operacin que se aplica sobre una funcin real :
n
f y su
resultado es una funcin vectorial (campo vectorial) cuyos componentes son las derivadas
parciales de la funcin f . En particular para funciones
3
: f tenemos que:
( ) ( ) , , grad , ,
f f f
f x y z f
x y z

=

, ,
.
La divergencia es una operacin que se aplica sobre una funcin vectorial :
n n
F y
su resultado es una funcin real formada por la suma de las derivadas parciales:

( )
1
n
i
i
i
F
F div F
dx
=
, , ,
.
El rotacional es una operacin que se aplica sobre una funcin vectorial y el resultado es
otra funcin vectorial. En particular, para funciones
3 3
: F tenemos:

( )
3 3 2 1 2 1
1 2 3

rot
i j k
F F F F F F
F F i j k
x y z y z z x x y
F F F

= = + +

, , , ,
.
Las funciones vectoriales F
,
, tales que 0 F =
, ,
se denominan campos potenciales o
conservativos. Como se ver en el ejercicio resuelto (3a), deber existir una funcin real f ,
que habitualmente se le denomina potencial escalar, tal que F f =
, ,
. Un campo de
divergencia nula se denomina campo solenoidal.
Ejemplos Resueltos:
1. Defina funciones de usuario para calcular las operaciones diferenciales bsicas, es
decir para el gradiente, la divergencia y el rotacional.
Solucin.
Denominamos grad a la funcin de usuario que permite calcular el gradiente de
funciones
3
: f :

Debemos hacer notar que el gradiente, tambin puede calcularse usando la funcin de
usuario Df3_m aplicada sobre funciones definidas en la forma {f} m , es decir,
suponiendo que las funciones reales (campos escalares) son funciones vectoriales con
un solo componente y escribiendo el comando Df3_m( m,x,y,z)
Denominamos div a la funcin de usuario que calcula la divergencia de una funcin
vectorial:
Define library\grad(a,b,c,e)=[diff(a,b),diff(a,c),diff(a,e)]
108

Otra manera de calcular la divergencia es tomando la traza de la matriz de derivadas
parciales, es decir aplicando el comando traza(Df3_m(F,x,y,z)). Recuerde que la traza
es una funcin de usuario que se define de la siguiente manera:

Denominamos rot a la funcin de usuario que calcula el rotacional de una funcin
vectorial:

2. Empleando las funciones de usuario arriba definidas calcule la divergencia y el
rotacional de las siguientes funciones vectoriales:
a. ( ) , , F xy yz zx =
,

b. ( ) ( )

sen cos
x x
F e y i e y j zk = + +
,

Solucin
a. Los clculos se muestran en la figura 1
b. Los clculos se muestran en la figura 2

3. Con ayuda de la calculadora demuestre que:
a.
( )
0 f =
, ,
, el rotacional del gradiente es cero
b.
( )
0 F =
, , ,
, la divergencia del rotacional es cero.
Solucin
a. Al aplicar la funcin de usuario grad sobre la funcin general ( ) , , f x y z
se obtiene un vector en la forma
( ) ( ) ( ) , , , , , ,
, ,
f x y z f x y z f x y z
x y z

.
Por otro lado la funcin de usuario rot se aplica sobre una lista por lo que
primeramente debemos convertir este vector a una lista mediante el
siguiente comando:

Define library\div(a,b,c,e)=diff(a[1],b)+diff(a[2],c)+diff(a[3],e)
Define library\traza(a)=sum(matToList(trn(diag(a)),1))
Define library\rot(a,b,c,e)=[diff(a[3],c)-diff(a[2],e),diff(a[1],e)-diff(a[3],b),diff(a[2],b)-diff(a[1],c)]
Figura 1 Figura 2
Figura 3
109

Aplicamos ahora la funcin rot sobre la lista m. El resultado se muestra en la
figura 3. Resumimos aqu los resultados obtenidos:
( ) ( ) ( )
1
, , , , , , , 0 rot mx y z f x y z f x y z
z y y z

= + =

( ) ( ) ( )
2
z x x z

= =

( ) ( ) ( )
3
y x x y

= + =

Vemos que cada componente esta compuesto por la resta de las derivadas cruzadas,
como estas derivadas son iguales cada componente se anula.
b. Definimos un campo vectorial general:

Calculamos su rotacional, lo escribimos como una lista y la almacenamos en m

Aplicamos la funcin de usuario div sobre m (ver figura 4) y obtenemos el
siguiente resultado:
( ) ( ) ( )
( ) ( )
( ) ( )
, , , , , , ,
, , , ,
, , , , 0
div mx y z P x y z P x y z
z y y z
Q x y z Q x y z
z x x z
R x y z R x y z
y x x y

= +

+

+ =

En esta expresin se observa claramente que las derivadas cruzadas de una misma
funcin aparecen con distintos signos y por lo tanto se cancelan.

matToList(trn(grad(f(x,y,z),x,y,z)),1) m
{P(x,y,z),Q(x,y,z),R(x,y,z)} F
matToList(trn(rot(F,x,y,z)),1) m
110

4. Cree un programa que permita determinar si un campo vectorial es conservativo o
no y en caso de que sea conservativo calcule el potencial escalar correspondiente.
a. Utilice el programa creado para encontrar el potencial escalar del campo:
( ) ( ) ( )

cos cos F yi z yz x j y yz k = + + +
,

Solucin

En el recuadro se muestra en programa Pot_f que permite calcular el potencial escalar
(salvo constante numrica) en caso de que la funcin vectorial sea un campo conservativo.
a. La utilizacin del programa Pot_f para determinar el potencial escalar del campo:
( ) ( ) ( )

cos cos F yi z yz x j y yz k = + + +
,

Se muestra en las figuras 5 y 6

5. Construya una funcin de usuario para calcular factores de escala de coordenadas
curvilneas.
a. Utilice la funcin de usuario para calcular los factores de escala de las coordenadas
i. Cilndricas.
ii. Esfricas.
DelVar F,h,g,C
Input F, "{P(x,y,z),Q(x,y,z),R(x,y,z)}"
If (norm(rot(F,x,y,z))
11 12 13
10 10 10 x y z = = = )=0
Then
(F[1],x)
h
(simplify(F[2]-diff(h,y)),y)
g
(simplify(F[3]-diff(h,z)-diff(g,z)),z)
C
PrintNatural h+g+C, El potencial es:
Else
Print "No es conservativo"
IfEnd
Programa Pot_f
111
Solucin
Los factores de escala correspondientes a las coordenadas curvilneas ( )
1 2 3
, , u u u se
denotan por
1
h ,
2
h y
3
h respectivamente y se calculan mediante las frmulas
i
i
r
h
u
,
,
con 1,2,3 i = . Definimos funcin de usuario FactEsc:
a-i La figura 7 muestra el clculo de los factores de escala para las coordenadas cilndricas
( ) , , r z .

a-ii Para calcular los factores de escala para las coordenadas esfricas ( ) , , r construimos
la funcin:
{ } cos sin , sin sin , cos r r r m
La figura 8 muestra el clculo para los correspondientes factores de escala. Hacemos notar
que los factores de escala calculados son esencialmente correctos. Sin embargo, el factor h

puede simplificarse an ms y quedar en la forma sen h r
=
6. Construya una funcin de usuario para calcular el gradiente en coordenadas curvilneas.
Solucin:
La frmula del gradiente en coordenadas curvilneas:
1 2 3
1 1 2 2 3 3
1 1 1

f f f
f e e e
h du h du h du

= + +
,
, donde
1
h ,
2
h y
3
h son los factores de escala
correspondientes a las coordenadas ( )
1 2 3
, , u u u
1
e,
2
e y
3
e son los vectores unitarios
correspondientes.
La funcin de usurario gradCurv permite calcular el gradiente en coordenadas
curvilneas. Para poder utilizarlo es necesario calcular antes los factores de escala.
Un ejemplo de aplicacin de este gradiente para coordenadas esfricas est dado en la
figura 9.

Define library\FactEsc(a,b)=(simplify(dotP(listToMat(diff(a,b)),listToMat(diff(a,b)))))
Figura 7
Figura 8
[ ]
( )
[ ]
( )
[ ]
( )
1 1 1
Define library\gradCurv(a,b,c,e,f)= diff , , diff , , diff ,
1 2 3
a b a c a e
f f f

Figura 9
112
Laboratorio N 10, Operaciones diferenciales. Gradiente,
divergencia y rotacional.
1. Determine cules de las siguientes funciones vectoriales constituyen campos
conservativos o solenoidales. En caso de que sean conservativos determine el potencial
escalar.
a.

F yzi xzj xyk = + +
,

b.
( )
2 2

2 2 F xyi x yz j y k = + + +
,

Solucin
a. El campo

F yzi xzj xyk = + +
,
es conservativo y solenoidal (ver figura 1). El
potencial se halla con ayuda del programa Pot_f. El clculo se muestra en la
figura 2

b. El campo
( )
2 2

2 2 F xyi x yz j y k = + + +
,
es conservativo, pero no solenoidal (ver
figura 3). El potencial se muestra en la figura 4.

2. Con ayuda de la calculadora demuestre que
2 n n
r nr r
=
,
,
, donde
2 2 2
r x y z = + + y

r xi yj zk = + +
,
.
Solucin

La solucin se muestra en la figura 5. Note que transformamos el resultado de aplicar el
gradiente a una lista. El objetivo de esto es poder manipular el resultado de una manera
ms eficiente. Al dividir la lista por
2 n
n r

obtenemos el vector r
,
, con esto queda
demostrado que
2 n n
r nr r
=
,
,
.

Figura 1
Figura 2
Figura 3
Figura 4
113

3. Halle el ngulo que se forma entre las superficies
2 2 2
9 x y z + + = y
2 2
3 z x y = + en el
punto ( ) 2, 1,2 . Indicacin: El gradiente f
,
es perpendicular a la superficie dada de manera implcita
por ( ) , , f x y z c = .
Solucin
Escribimos (figura 6)
grad(F,x,y,z)|x=P[1]|y=P[2]|z=P[3] a
grad(G,x,y,z)|x=P[1]|y=P[2]|z=P[3] b
Y despus calculamos el ngulo entre los vectores a
,
y b
,
.
El resultado en grados, que no se alcanza a ver en la figura, es: 54.41469755
4. Sea A un cuerpo rgido que rota alrededor del eje Z. La rotacin puede describirse
mediante el vector velocidad angular
k =
,
. El vector velocidad lineal en un punto dado
por el vector posicin ( ) , , r x y z =
,
se calcula mediante v r =
, , ,
. Con ayuda de la
calculadora demuestre:
a.

v yi xj = +
,

b. 2 v =
,
, ,

Solucin
La solucin se muestra en la figura 7. Note que debemos transformar el vector v
,
en una
lista antes de aplicar la funcin de usuario rot.

5. Con ayuda de la calculadora verifique las siguientes identidades:
a. 3 r =
,
,

b.
2 3
12 r r =
c. 0 r =
,
,

d. ( ) ( )
2
ln
r
r
r
=
,
,

En todos los casos

r xi yj zk = + +
,
y
2 2 2
r x y z = + + .
114
Solucin
Las soluciones se muestran en las figuras

La funcin de usuario laplac permite calcular el laplaciano ( ) ( )
2
, , , , f x y z f x y z
En coordenadas cartesianas.

Ejercicios adicionales.
6. Una manera distinta de encontrar el potencial escalar de un campo vectorial conservativo
( ) [ ]( ) [ ]( ) [ ]( ) ( )
, , 1 , , , 2 , , , 3 , , F x y z F x y z F x y z F x y z =
,
esta dada por la frmula:
( ) [ ]( ) [ ]( ) [ ]( )
0 0 0
, , 1 ,0,0 2 , ,0 3 , ,
y x z
f x y z F t dt F x t dt F x y t dt = + +

Utilice est frmula para construir un programa alternativo a Pot_f que permita calcular
el potencial escalar de un campo conservativo.

7. Construya funciones de usuario para calcular la divergencia, el rotacional y el laplaciano
en coordenadas curvilneas.

Define library\laplac(a,b,c,d)=diff(a,b,2)+diff(a,c,2)+diff(a,d,2)
Figura 8
Figura 9
115
Pauta de Quiz 10.

Variante 1.
1. Determine si la siguiente funcin vectorial constituye un campo conservativo o
solenoidal. En caso de que sea conservativa determine el potencial escalar.
k
z y x
z
j
z y x
y
i
z y x
x
F
, ,
2 2 2 2 2 2 2 2 2

+ +
+
+ +
+
+ +
=
Solucin

Es conservativo, pero no solenoidal (figura 1). El potencial se muestra en la figura 2.

Variante 2

( ) ( ) ( )

F y z i x z j x y k = + + + + +
,

Solucin
El campo ( ) ( ) ( )

F y z i x z j x y k = + + + + +
,
es conservativo y solenoidal (ver figura 1).
El potencial se halla con ayuda del programa Pot_f. El clculo se muestra en la figura 2

Figura 2 Figura 1
Figura 1 Figura 2
116
Variante 3


xz xz xz
F yze i e j xye k = + +
,

Solucin.

a. Es conservativo, pero no solenoidal (figura 1). El potencial se muestra en la figura 2.

Figura 1
Figura 2
117


Laboratorio N 11, Integrales de lnea.
I ntroduccin.
Las integrales de lnea pueden ser de dos tipos:
I tipo.
( ) ( ) ( ) ( ) ( )
2 2 2
, , , ,
C
f x y z ds f x y z x t y t z t dt
= + +

II tipo.
( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
, , , , , ,
, , , , , ,
C
P x y z dx Q x y z dy R x y z dz
P x t y t z t x t Q x t y t z t y t R x t y t z t z t dt
+ + =
= + +

Donde la curva C est dada de forma paramtrica, ( ) ( ) ( ) { }
, , , C x t y t z t t =
Las siguientes proposiciones son equivalentes en regiones simplemente conexas del plano.
F
,
es conservativo.

C
Fdr
,
,
es independiente de la trayectoria.
0
C
Fdr =
,
,
en una trayectoria cerrada.

Las derivadas parciales cruzadas de F
,
son iguales.
Ejemplos Resueltos:
1. Construya una funcin de usuario para calcular integrales de lnea de II tipo en el
plano.
a. Utilice la funcin hallada para calcular el trabajo realizado por el campo de
fuerza F
,
al trasladar un objeto desde A hasta B, siguiendo a) un camino
compuesto de un tramo horizontal seguido de uno vertical y b) un camino
compuesto por un tramo vertical seguido de uno horizontal. Discutir si el
resultado.

( )
2
2
2

( , ) ; (1,1) ; (4, 2)
y y
F x y i j A B
x
x
Q
P

=

,
_
_

Solucin
La funcin de usuario LineInt permite calcular las integrales de lnea de II tipo en el
plano.

Define library\LineInt(a,b,c)=
((a[1]|x=b[1]|y=b[2]) diff(b[1],t)+(a[2]|x=b[1]|y=b[2]) diff(b[2],t),t,c[1],c[2])
118
a. Si llamamos C a la curva indicada, la podemos subdividir en las curvas C
1
y C
2
mostradas en la figura. En tal caso tendremos

+ =
2 1

C C C

Calculado ambas integrales por separado tendremos (escogiendo parametrizaciones
simples):
1
1
, 0 3
1
x t
C t
y
= +
=

2
4
,0 3
1
x
C t
y t
=

La figura 1 muestra los clculos hechos para calcular ambos integrales de lnea
empleando el comando:

Con lo que resulta 0
C
Pdx Qdy + =
.

b) Llamando C
*
a este nuevo camino, vemos que lo podemos
separar en dos tramos C
3
y C
4
.
Tendremos entonces, igual que en el caso anterior, que

+ =
4 3

* C C C

Realizando parametrizaciones parecidas a las ejecutadas en
el punto anterior, llegamos a lo siguiente:
3
1
,0 3
1
x
C t
y t
=
=

4
1
, 0 3
2
x t
C t
y
= +
=

La figura 2 muestra los clculos correspondientes.

Con lo que resulta
*
0
C
Pdx Qdy + =

Por ambas vas obtenemos el mismo resultado. Esto es lgico, ya que se cumple:
x
y
(1;1)
C
1
(4;-2)
C
2
LineInt(F,C1,h)+LineInt(F,C2,h)
x
(1;1)
C
3
(4;-2)
C
4
LineInt(F,C3,h)+LineInt(F,C4,h)
Figura 1 Figura 2
119

x
Q
x
y
y
P
= =
2
2

Las derivadas cruzadas son iguales, excepto cuando x = 0, pero esto ltimo no ocurre
dentro de un dominio simplemente conexo que abarca a ambos caminos analizados.
Por lo tanto, las integrales sobre ambos caminos deben ser iguales.

2. Dado el campo de fuerzas ( ) ( ) ( )
2

, , 4 cos 2
z z
F x y z xei y j x e z k = + + +
,

a) Determine el potencial escalar ( ) , , f x y z tal que f F =
, ,
.
b) Halle el trabajo que realiza la fuerza F
,
cuando transporta una partcula desde el punto
( ) ( )
2 2 2 3
2 2 2 2
, , al 0, ,0 siguiendo el camino ms corto sobre la esfera
2
3
2 2 2
= + + z y x .
Solucin
Para determinar el potencial escalar empleamos el programa Pot_f. El resultado se
muestra en la figura 3

Podemos ahora calcular el trabajo igualndolo a la diferencia de valores del potencial
escalar entre sus extremos final e inicial. Definimos la funcin potencial escalar en la forma:

Evaluamos en los puntos: final
( )
3
2
0, ,0 e inicial
( )
2 2 2
2 2 2
, , y
calculamos la diferencia como se muestra en la figura 4.

3 1 1 1
2 2 2 2
(0, ,0) ( , , ) 0,94072 2,9278
1,987
W f f C C = = +
=

DelVar F, h, g, C
11 12 13
10 10 10 x y z = = =
)=0
Then
(F[1],x)
h
g
C
Else
IfEnd
Figura 3
Define ( )
2 2
1
2
( , , ) 2 sin
z
f x y z x e y z C = + + +
Figura 4
120
x
y
(-1,0)
C
1
(1, 0)
C
2
3. Dado el campo vectorial
2 2

( , )
yi xj
F x y
x y
+
=
+
,

a) Probar que
x
Q
y
P

b) Calcule
1
C
Fdr
,
,
y
2
C
Fdr
,
,
, donde C
1
y C
2
son las mitades superior e inferior de la
circunferencia
2 2
1 x y + = desde (1,0) a (-1,0). Cmo se explica que la integral dependa del
camino en vista del resultado de (a)?
Solucin
En la figura 5 se muestra que las derivadas cruzadas son iguales. Para calcular las integrales
de lneas tomamos las siguientes parametrizaciones para las
curvas C
1
y C
2

=
=
t 0 ,
sen
cos
1

t y
t x
C
2
cos
, de 0 a
sen
x t
C
y t

=

La figura 5 muestra que
1
C
Fdr =
,
,
, mientras que
2
C
Fdr =
,
,
.
La explicacin para esta dependencia de la integral de
lnea respecto al camino elegido para la integracin radica en
que cualquier regin que abarque ambos caminos no puede ser
simplemente conexa. Debe excluirse alguna subregin que
incluya el (0, 0), porque no pertenece al dominio de definicin
de ( ) , F x y
,

Figura 5
121
Laboratorio N 11, Integrales de lnea.
3. Una partcula se mueve en el plano XY siguiendo una trayectoria Centre los
puntos ( ) 0,2 A y ( ) 5,1 B , debido a la accin de la fuerza:

( ) ( )
2
2
2
2

3 2 ln 1 2
1
xy
F i y x j
x

= + + +

+

,

a. Demuestre que el trabajo hecho no depende de la trayectoria elegida entre
los puntos dados.
b. Calcule el trabajo realizado por la fuerza.
Solucin
a. Mostramos que el campo
( ) ( )
2
2
2
2

3 2 ln 1 2
1
xy
F i y x j
x

= + + +

+

,
es
conservativo y hallamos el potencial escalar (figuras 1 y 2).
b. Calculamos la integral reemplazando los puntos A y B en el potencial
escalar . Escribimos:

El resultado se muestra en la figura 3.

4. Cree la funcin de usuario LineInt3 que permita calcular las integrales de lneas
de II tipo para funciones vectoriales
3 3
: F .
a. Empleando la funcin de usuario LineInt3 calcule el trabajo realizado
para desplazar una partcula en un campo de fuerzas dado por
k x j z i xy F
, ,
10
3 + = a lo largo de la curva
( )
2 2 3

1 2 r t i t j t k = + + +
,

desde t = 0 hasta t = 2.
Solucin
Definimos la funcin LineInt3 en la forma:

simplify(p|x=B[1]|y=B[2]-p|x=A[1]|y=A[2])
Figura 1
Figura 3 Figura 4
[ ] [ ]
[ ]
Define library\LineInt3(a,b,c)=
((a[1]|x=b[1]|y=b[2] z=b 3 ) diff(b[1],t)+(a[2]|x=b[1]|y=b[2] z=b 3 )
diff(b[2],t)+(a[2]|x=b[1]|y=b[2] z=b 3 ) diff(b[3],t),t,c[1],c[2])
122

5. De una interpretacin geomtrica a la integral de lnea de tipo I dada por
( ) ,
C
f x y ds
.
a. Calcule la integral
2 2
3
1
1
C
ds
x y

+

+ +

, donde C es la elipse definida por la

ecuacin
2
2
1
4
x
y + = .
Solucin
La integral de lnea de tipo I puede interpretarse como el rea lateral de una superficie
cilndrica cuyo borde esta dado por la cuva C y cuya altura est definida por la funcin
( ) , f x y .
a. Para este y futuros clculos de la integral de lnea de primer tipo definimos la
funcin de usuario:

a. Para calcular la integral pedida podemos parametrizar la elipse mediante
2cos x t = , sin y t = Donde 0 2 t . La figura 6 muestra los clculos.

Figura 5
2 2 c[2]
c[1]
b[1] b[2]
Define library\LineIntI(a,b,c)= a x=b[1] y=b[2] t
t t
d d
d
d d

+

Figura 6
123

6. Construya un programa que permita calcular integrales de lnea del I o II tipo, dada
la funcin, la curva en forma paramtrica y el intervalo de variacin del parmetro.
Solucin

DelVar C, k1, k2,k3,k4, f
Input p, "1 si I tipo, 2 si II tipo"
If p=1
Then
Input f, "f(x,y,z)"
Input C, "{x(t),y(t),y(t)}"
Input h, "Intervalo en la forma { , }"
(simplify((diff(C[1],t))^2+(diff(C[2],t))^2+(diff(C[3],t))^2)) k1
f|x=C[1]|y=C[2]|z=C[3] k2
(k2 k1,t,h[1],h[2])
res
PrintNatural res, "Resultado"
Else
Input f, "{P(x,y,z),Q(x,y,z),R(x,y,z)}"
(f[1]|x=C[1]|y=C[2]|z=C[3]) diff(C[1],t) k1
(f[2]|x=C[1]|y=C[2]|z=C[3]) diff(C[2],t) k2
(f[3]|x=C[1]|y=C[2]|z=C[3]) diff(C[3],t) k3
simplify(k1+k2+k3) k4
(k4,t,h[1],h[2])
res
IfEnd
124
Ejemplo de Quiz 11.

Variante 1

a. Con ayuda de la calculadora calcule el trabajo realizado por la fuerza
( ) ( ) ( )

f y z i z x j x y k = + +
,
al trasladar una partcula a lo largo de la primera
vuelta de la hlice circular 2cos x t = , 2sin y t = , 3 z t = .
b. Con ayuda de la calculadora calcule la integral
2 2
4
C
ds
x y + +
, donde C es el
segmento de recta que une los puntos ( ) 0,0 A , ( ) 1,2 B .
Solucin

b. La recta que une los dos puntos es 2 y x = . Podemos emplear la x como
parmetro con 0 1 x . La solucin se muestra en la figura 2.

Variante 2

( ) ( )
4 3 2 2 4

4 6 5 f x xy i x y y j = + +
,
al trasladar una partcula a lo largo de la elipse
2
2
1
6
x
y + = .
2
C
y ds
donde C es el primer arco de

la cicloide ( ) 2 sin x t t = , ( ) 2 1 cos y t = .
Solucin

a. Parametrizamos la elipse mediante 6cos x t = , sin y t = con 0 2 t . Los
clculos se muestran en la figura 3. El resultado es 0. En la misma figura se
Figura 1
Figura 2
125
demuestra que el campo es conservativo y por tanto el trabajo realizado a lo largo
de una curva cerrada tiene que ser nulo.

b. La solucin se muestra en la figura 4.

Variante 3

( ) ( )
2 4

2 4 f x xy i xy y j = + +
,
al trasladar una partcula a lo largo de la elipse
2 2
1
9 25
x y
+ = .
2 2
2
C
y z ds +
, donde C es la curva
obtenida de cortar la esfera
2 2 2
1 x y z + + = con el plano x y = .

Solucin

a. Parametrizamos la elipse mediante 3cos x t = , 5sin y t = con 0 2 t . Los
clculos se muestran en la figura 5.
b. Reemplazamos x y = en la ecuacin de la esfera
2 2 2
1 x y z + + = para obtener
2 2
2 1 y z + = . Esto permite simplificar la integral
2 2
2
C
y z ds +
a
C
ds
donde Ces
la la elipse definida por la ecuacin
2 2
2 1 y z + = . Podemos parametrizar esta curva
tomado
2
cos
2
y t = , sin z t = . En la figura 6 se muestran los clculos.

Figura 3 Figura 4
126

Figura 5 Figura 6
127


Laboratorio N 12, Integrales de superficie.
I ntroduccin.
Las integrales de superficie pueden ser de dos tipos:
I Tipo:
( ) ( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
( )
2 2 2
,
, , ,
, , , , , , ,
, , ,
u v
S G
x y y z x z
f x y z ds f x u v y u v z u v dA
u v u v u v

= + +

II Tipo:
S
Fnds
,
Esta integral permite introducir el concepto de flujo.
El flujo del campo vectorial F
,
a travs de la superficie S est definido por la integral de
superficie de segundo tipo
S
F nds =
,
,
. Si la superficie S se da en forma paramtrica
podemos calcular esta integral transformndola en una integral doble sobre la regin G de
variacin de los parmetros u y v, mediante la frmula:
( ) ( )
,
, ,
u v u v
S G
F nds F r u v r u v dA = =

, ,
, , ,

El vector ( ) ( ) , ,
u v
n r u v r u v =
, , ,
es normal a la superficie S. Puede mostrarse (ver ejercicio
2 de problemas propuestos) que el vector normal tambin puede escribirse en la forma:

( )
( )
( )
( )
( )
( )
, , ,

, , ,
y z z x x y
n i j k
u v u v u v

= + +

,

Ejemplos Resueltos:
1. Construya un programa para calcular el rea de una superficie parametrizada en la
forma ( ) ( ) ( )

, , , r x u v i y u v j z u v k = + +
,
, con a u b y c v d .
a. Utilice el programa para calcular el rea de la superficie de la esfera dada por la
ecuacin
2 2 2
1 x y z + + = .
Solucin
Para calcular el rea de una superficie parametrizada con los parmetros u y v vamos a
emplear la frmula:
( )
( )
( )
( )
( )
( )
( )
2 2 2
, , ,
, , ,
u v
D D
x y y z x z
A S r r dudv dudv
u v u v u v

= = + +

, ,

El recuadro muestra el programa AreaS_uv

128
Figura 1
Figura 2 Figura 3

a. Para el caso de la esfera escribimos la superficie en la forma:

Donde 0 2 u y 0 v . El empleo del programa y los resultados se muestran en las
figuras 1-4.

DelVar F, H, h
SetDecimal
Input F, "{x(u,v),y(u,v),z(u,v)}"
Input ru,"Rango de u {a,b}"
Input rv,"Rango de v {c,d}"
simplify((det(Df2_m({F[1],F[2]},u,v)))^2+(det(Df2_m({F[2],F[3]},u,v)))^2
+(det(Df2_m({F[1],F[3]},u,v)))^2) H
simplify( ( ( H ,u,ru[1],ru[2]),v,rv[1],rv[2])) h
PrintNatural h, "El Area es:"
{cos(u)sin(v),sin(u)sin(v),cos(v)}m
129
2. Construya una funcin de usuario que permita calcular el vector normal a una
superficie dada en forma paramtrica ( ) ( ) ( )

, , , r x u v i y u v j z u v k = + +
,
.
a. Calcule el vector normal al cilindro
2 2
4 x y + = en el punto ( ) 2,0,1 .
Solucin:
La funcin de usuario VectN que permite calcular el vector normal a una superficie
dada en forma paramtrica es:
a. Para el caso del cilindro, los clculos se muestran en la figura 5. La evaluacin del
vector normal debe realizarse en el punto ( ) 2,0,1 esto corresponde a 0 u= y 1 v= .
3. Construya una funcin de usuario que permita calcular el flujo de un campo
vectorial a travs de una superficie dada en forma paramtrica.
a. Calcule el flujo del campo vectorial

18 12 3 F zi j yk = +
,
a travs de la parte del
plano 2 3 6 12 x y z + + = situada en el primer octante.
Solucin:
Recordemos primeramente la definicin de la funcin de usuario DobleInt para calcular
integrales dobles:

Con ayuda de DobleInt definimos la siguiente funcin que permite calcular el flujo de un
vector a travs de una superficie:

Para aplicar la funcin de usuario Flujo escribimos el campo vectorial en la forma:
{ } 18 , 12,3 z y m
La superficie es el plano 2 3 6 12 x y z + + = y podemos elegir como parmetros las
variables x e y para parametrizar esta superficie, es decir escribimos el plano en la
forma ( )

, 2
3 2
x y
r x y xi yj k

= + +

,
. En la calculadora escribimos
, ,2
3 2
x y
x y S

Para determinar la regin de integracin consideramos la proyeccin del plano
2 3 6 12 x y z + + = sobre el plano coordenado XY en el primer cuadrante. Es decir
tomamos 0 z= , lo que implica
2
4
3
y x = + . La figura 6 muestra la grfica
correspondiente, de la cual obtenemos los intervalos de integracin
2
0 4
3
y x +
Define
library\VectN(a,u,v)=[det(Df2_m({a[2],a[3]},u,v)),det(Df2_m({a[3],a[1]},u,v)),det(Df2_m
({a[1],a[2]},u,v))]
Define
library\Flujo(a,s,u,c,v,p)=DobleInt(dotP(VectN(s,u,v),trn(listToMat(a)))|x=s[1]|y=s[2]
|z=s[3],u,c,v,p)
130
Figura 7
y 0 6 x . En la calculadora escribimos estos intervalos en la forma:
2
0, 4 1
3
x h

+

y { } 0,6 2 h Finalmente empleamos la funcin de usuario
Flujo. Los clculos se muestran en la figura 7.

Una observacin final que es importante destacar es que en este ejercicio consideramos
como sentido positivo de la normal la direccin que apunta del plano
2 3 6 12 x y z + + = hacia el plano coordenado XY. Una eleccin opuesta, trae consigo
un cambio de signo en el resultado final del flujo.

Campo vectorial
Superficie parametrizada
Flujo(m,S,y,h1,x,h2)
Parmetro 1
Intervalo del parmetro 1
Parmetro 2
131
Laboratorio N 12, Integrales de superficie.

1. Utilice la funcin de usuario VectN para calcular el vector normal a la superficie
toroidal dada en forma paramtrica por las ecuaciones:

( )
( )
1 2cos cos
1 2cos sen
2sen
x
y
z

= +
= +

En el punto definido por
4
= ,
4
=
Solucin

2. Dada una superficie en forma paramtrica ( ) ( ) ( ) ( ) ( )
, , , , , , r u v x u v y u v z u v =
,
el
vector normal unitario a dicha superficie se calcula mediante la frmula
u v
u v
r r
n
r r
, ,
, ,
. Demuestre, con ayuda de la calculadora, que usando el jacobiano el
vector normal unitario se puede expresar en la forma:

( )
( )
( )
( )
( )
( )
, , ,
1

, , ,
u v
y z z x x y
n i j k
r r u v u v u v

= + +

, ,
.
Indicaciones: Defina la funcin vectorial ( ) ( ) ( ) { }
, , , , , x u v y u v z u v r calcule el
producto cruz de los vectores ru y rv definidos por listToMat(diff(r,u)) ru y
listToMat(diff(r,u)) ru y compare los componentes del vector obtenido con los
jacobianos. El jacobiano
( )
( )
,
,
y z
u v
, por ejemplo puede calcularse usando

det(Df2_m({y(u,v),z(u,v)},u,v)).

Figura 1
132
Solucin

La solucin se muestra en las figuras 2 4.

3. La cinta de Mbius puede parametrizarse mediante:

( )
( )
sen cos
2
sen sen
2
cos
2
x a s
y a s
z s

= +

= +
,
0 2
h s h

Calcule el vector normal en los puntos dados por ( ) 0, 1 s = = y ( ) 2 , 1 s = =
Solucin
La figura 5 muestra la solucin

4. El elemento de superficie, para una superficie dada en forma paramtrica ( ) , r u v
,
,
esta dado por
( )
( )
( )
( )
( )
( )
2 2 2
, , ,
, , ,
x y y z x z
ds dudv
u v u v u v

= + +

. Con ayuda de la
calculadora calcule el elemento de superficie cuando los parmetros u, y v son x e
y respectivamente.
Figura 2
Figura 3 Figura 4
Figura 4
133
Solucin
La solucin se muestra en la figura 5. El resultado que no se alcanza a ver correctamente es:

5. Calcule la integral de superficie
2
S
z ds
, donde S es la superficie lateral del cilindro

2 2
4 x y + = entre los planos 0 z= y 3 z x = + .
Solucin
Construimos, para incluir futuros
clculos similares, un programa que
permita calcular las integrales de
superficie de primer tipo. En el
recuadro se muestra el programa
IntSupT1
Empleamos coordenadas cilndricas.
La superficie S est definida por
2 r = , 2cos x = , 2sin y = ,
z z = . Donde 0 2 y
0 2 2cos z + . Los clculos,
empleando el programa IntSupT1
se muestran en las figuras 6 10.

( ) ( )
2 2
. .
1
z xy z xy
ds dxdy
x y

= + +

Figura 5
Figura 6
Figura 7
Figura 8
Figura 9 Figura 10
DelVar f,S,hu,hv,n,G,u,v
Input f,"Funcin"
Input S, "Parmetros u,v;{x(u,v),y(u,v),z(u,v)}"
Input hu,"Rango de u {a,b}"
Input hv, "Rango de v {c,d}"
MatToList(trn(VectN(S,u,v)),1) n
simplify(P((n[1])^2+(n[2])^2+(n[3])^2)) H
simplify(f|x=S[1]|y=S[2]|z=S[3]) G
DobleInt(HG,u,hu,v,hv) res
PrintNatural res,"Integral de superficie:"
134
Ejercicicios adicionales.

6. Suponiendo que G es la proyeccin de la superficie Ssobre el plano coordenado
XY. Demuestre que
S G
dxdy
Fnds Fn
n k
=

, ,
. Donde la segunda de las integrales es
doble.
7. Construya un programa que calcule las integrales de superficies mediante la frmula
dada en el ejercicio anterior.
a. Utilice el programa creado para calcular la integral
S
Fnds
,
, donde
2

3 F zi xj y zk = +
,
y S es la superficie del cilindro
2 2
16 x y + = , situada en el
primer octante entre 0 z= y 5 z= .

135
Ejemplo de Quiz 12

Variante 1.
1. Calcule la integral
2
S
x ds
, donde S es la superficie del cono

2 2 2
z x y = + cortada
por los planos 1 z= y 2 z= .

Solucin.

Usamos coordenadas cilndricas. Tenemos en este caso cos x u v = , sin y u v = , z u = ,
donde 1 2 u , 0 2 v . Los clculos con ayuda del programa IntSupT1 se
muestran en las figuras 1 5.

Figura 2
Figura 1
Figura 4 Figura 5
136
Variante 2.

( )
2 2 2
2
S
x y z ds +
, donde S es la superficie de la esfera

2 2 2
1 x y z + + = .
Solucin

Primeramente simplificamos la funcin bajo la integral conociendo que sobre la esfera se
cumple
2 2 2
1 x y z + = . La integral a resolver es
( )
2
1 3
S
z ds
. Empleamos coordenadas
esfricas ( ) ( ) cos sin x u v = , ( ) ( ) sin sin y u v = , ( ) cos z v = , donde 0 2 u ,
0 v . Los clculos con ayuda del programa IntSupT1 se muestran en las figuras 6
10.

Figura 6
Figura 7
Figura 8
Figura 9
Figura 10
137

Variante 3

S
xzds
, donde S es la parte del cilindro

2 2
1 x y + = cortado por
los planos 0 z= , 2 z x = + .
Solucin
Usamos coordenadas cilndricas cos x v = , sin y v = , z u = , con 0 cos 2 u v + ,
0 2 v . Los clculos con ayuda del programa IntSupT1 se muestran en las figuras 11
15.

Figura 11
Figura 12
Figura 13
Figura 14
Figura 15
138


Laboratorio N 13, Teoremas de Green, Gauss y Stokes.
I ntroduccin.
Teorema de Green. Sea C una curva simple y cerrada, suave a trozos y orientada
positivamente y sea ( ) , F P Q =
,
un campo vectorial cuyos componentes tienen derivadas
parciales continuas sobre una regin abierta que contiene a la regin D acotada por C.
Entonces
D C C
Q P
dA Fdr Pdx Qdy
x y

= = +

,
,
.
Teorema de Gauss. Sea V una regin simple, slida cuya superficie frontera S tiene una
orientacin positiva (hacia afuera). Sea F
,
un campo vectorial cuyos componentes tienen
derivadas parciales continuas sobre una regin abierta que contiene a V. Entonces:
div
S V
FndS F dV =

, ,

Teorema de Stokes. Sea S una superficie orientada y suave a trozos, acotada por una curva
C suave a trozos, cerrada y simple, cuya orientacin es positiva. Sea F
,
un campo vectorial
cuyas componentes tienen derivadas parciales continuas sobre una regin abierta en
3

que contiene a S. Entonces: rot
C S
Fdr FndS =

, ,
,
.
Ejemplos Resueltos:
1. Empleando el Teorema de Green determine el rea de la regin limitada por la
hipocicloide dada en forma paramtrica ( ) ( ) ( )
3 3

cos sen r t t i t j = +
,
, 0 t 2
Solucin
El rea de una regin D se
calcula tomando
=
D
dA A 1 . El
teorema de Green nos permite
transformar esta integral doble
en una integral de lnea, usando
como trayectoria la hipocicloide
del enunciado y definiendo una
funcin apropiada para la integracin. Para aplicar el teorema
de Green debemos encontrar las funciones P, Q /
1 =
y
P
x
Q
. Un par de funciones sencillas que cumplen
esta condicin son P =0, Q =x. La figura 1 muestra los
clculos hechos con la funcin de usuario LineInt

De esta manera contamos con una nueva herramienta para calcular el rea de una regin
encerrada por una curva
y
x
1
1
-1
-1
Figura 1
139

2. Evaluar, empleando el teorema de Green, la integral
4
C
x dx xydy +
, donde C es la curva triangular que une

los puntos (0,0), (0,1) y (1,0), orientada positivamente.
Solucin
La grfica indica la regin encerrada por la curva C. Tenemos
4
( , ) 0
P
P x y x
y
= =
y ( , )
Q
Q x y xy y
x
= =
Por tanto
debemos calcular la integral doble:
1 1
4
0 0
x
C D
Q P
x dx xydy dA ydydx
x y

+ = =

Recordamos que la funcin de usuario DobleInt permite calcular integrales dobles:

La figura 2 muestra el clculo de la integral doble empleando esta funcin de usuario.

Ntese que si hubiramos hecho la integral de lnea habramos
tenido que calcular 3 integrales con las correspondientes
parametrizaciones.

3. Emplee el Teorema de la Divergencia para evaluar la integral
G
F ndS
,
.
Donde
( ) ( ) ( )
2 2 2

z x y
F x ye i y ze j z xe k = + + + + +
,
y G es la regin slida al
interior del cilindro
2 2
1 x y + = entre los planos 0 z= y 2 z x = + .
Solucin
Recordamos primeramente la definicin de la funcin de usuario TripInt que permite
calcular integrales triples.

Escribimos el campo vectorial F
,
en la calculadora en la forma:
{ }
2 2 2
, ,
z x y
x ye y ze z xe m + + +
x
y
1
1
y = 1 - x
Figura 2
140
Empleamos coordenadas cilndricas ( ) , , r z para la solucin de la integral triple. Los
lmites de integracin son:
Para z, ( ) 0 2 cos z r + usando la calculadora escribimos ( ) { }
0,2 cos 1 r h + .
Para r , 0 1 r usando la calculadora escribimos { } 0,1 2 h
Para , 0 2 usando la calculadora escribimos { } 0,2 3 h
Recordamos adems que el Jacobiano de transformacin de
coordenadas cartesianas a cilndricas es igual a r y que la
divergencia en la calculadora podemos hallarla con la funcin de
usuario div. El comando para hallar la integral triple buscada es:

Los resultados del clculo se muestran en la figura 3

4. Compruebe el Teorema de Stokes, calculando la integral
C
v dr
, ,
, donde
2 3

v x y i j zk = + +
,
, C es el borde de la superficie definida por el hemisferio
superior de la esfera
2 2 2
1 x y z + + = .
Solucin
Debemos calcular las integrales de lnea
C
v dr
, ,
y de superficie ( )
S
rot v nds
,
y
comprobar que son iguales. La segunda de las integrales es
el flujo del rotacional del campo vectorial v
,
, por lo que
vamos a emplear la funcin de usuario Flujo para
calcularlo. Al calcular el rotacional se obtiene un vector,
pero la funcin de usuario requiere de una lista, por tanto
escribimos:

{ }
2 3
,1, x y z m
matToList(trn(rot(m,x,y,z)),1) F
Podemos emplear coordenadas esfricas para parametrizar
la superficie:
( ) ( ) ( ) ( ) ( ) { }
cos sin ,sin sin ,cos S
Los intervalos de integracin para los parmetros y se
definen respectivamente por:
0, 1
2
h

{ } 0,2 2 h
Los clculos en la calculadora se muestran en la figura 4
TripInt(r(div(m,x,y,z))|x=rcos( )|y=rsin( ),z,h1,r,h2, ,h3)
Figura 3
Figura 4
141
Para resolver la integral de lnea vemos que la curva C, que constituye el borde de la
semiesfera es una circunferencia sobre el plano coordenado XY. Esta curva podemos
parametrizarla mediante
( ) ( ) { }
cos ,sin t t C
Nota: Para emplear la funcin de usuario LineInt siempre debemos nombrar t al
parmetro.
El campo vectorial sobre el borde se simplifica porque 0 z=
y por tanto podemos escribir:

{ }
2 3
,1 x y m . Observe que la tercera componente
se anula, por lo que esencialmente sobre el borde es
bidimensional.
El intervalo de variacin del parmetro tes:
{ } 0,2 h
Vamos a emplear la funcin de usuario LineInt para
calcular la integral de lnea. La figura 5 muestra los clculos,
demostrando la igualdad de ambas integrales, con lo cual se
comprueba la veracidad del teorema de Stokes en este
ejemplo.

Figura 5
142
Laboratorio N 13, Teoremas de Green, Gauss y Stokes.
1. Emplee el teorema de Green para calcular el rea encerrada por la elipse
= +
x
2
a
y
2
b
1
.Sugerencia: Utilice el campo vectorial ,
2 2
y x
F

=

,

Solucin
Tenemos 1
2 2
C D D
y x Q P
dx dy dA dA A
x y

+ = = =

.
Parametrizamos la elipse C mediante cos x a t = ,
sin y b t = La figura 1 muestra los clculos con el empleo
de la funcin de usuario LineInt.

2. Verifique el teorema de Gauss (Teorema de la divergencia)
mediante el clculo directo de las integrales de superficie y triple:
( )
div
S V
A ndS A dV =

, ,

Donde

2 3 ; A xi yj zk = +
,
y el volumen V est acotado por el cilindro
x
2
+ y
2
=1 y los planos z =1, z = x 2. S es la superficie lateral del cilindro ms las
tapas definidas por los planos y n es el vector normal a la superficie S.
Solucin
Calculamos primeramente la integral triple. La figura 2 muestra los clculos. La
divergencia del campo A
,
es nula y por tanto la integral triple es cero.

Las figuras 3 y 4 muestran los clculos del flujo del campo A
,
a travs de la superficie
S del cilindro y las tapas:
Figura 1
Figura 2
Figura 3 Figura 4
143

1
S ( ) 1 z= con la parametrizacin ( ) ( ) { }
1
cos , sin ,1 r r S , 0 1 r ,
0 2 .
2
S ( ) 2 z x = + con la parametrizacin ( ) ( ) ( ) { }
2
cos , sin , cos 2 r r r S + ,
0 1 r , 0 2 .
Note, primeramente el orden de integracin y en segundo lugar los signos correctos
para garantizar que el vector normal se toma hacia fuera de la superficie.
La suma de los flujos obtenidos para cada superficie es cero.

3. Compruebe el teorema de Stokes para
2

F xzi yj x yk = +
,
, siendo S, la
superficie de la regin limitada por 0 x= , 0 y= , 0 z= , 2 2 8 x y z + + = .
Solucin
Primeramente calculamos el flujo del rotacional del campo vectorial F
,
para ello
tomamos las variables x e y como parmetros. En la figura 7 se muestran los clculos.
Note que debemos integrar primero por y y despus por x esto causa que el vector
normal en la funcin de usuario Flujo no tenga la direccin positiva, esta es la razn
del signo menos en el clculo de la integral de superficie (ver figura 8).

Para la segunda parte del Teorema de Stokes debemos
considerar las siguientes tres curvas para calcular la
integral de lnea:
{ }
1
: ,8 2 ,0 C t t , donde t va desde 4 t = , hasta 0 t = .
{ }
2
: 0,8 2 , C t t , donde t va desde 0 t = , hasta 4 t = .
{ }
3
: ,0,4 C t t , donde t va desde 0 t = , hasra 4 t = .

Los clculos de muestran en la figura 9.

Figura 5
Figura 6
Figura 7
Figura 8
144

4. Aplicacin al concepto de circulacin de un campo. Calcular la circulacin del
campo de velocidades de un fluido ( ) ( ) ( )
( )
1 2 3
, , tan ,3 , tan
z
F x y z x x e z
=
,
a lo
largo de la interseccin de la esfera x
2
+y
2
+z
2
=4 con el cilindro x
2
+y
2
=1, con
0 z> .
Solucin
La circulacin de un campo es su integral a lo
largo de una lnea cerrada. Recordemos que la
razn entre la circulacin del campo de
velocidades y el rea de la superficie encerrada
por la curva tiende a un cierto valor a medida
que el radio de la curva tiende a 0; si este valor
es nulo, entonces el fluido es irrotacional y una
hlice ubicada en ese punto lmite no rotar.
La circulacin se calcula mediante la integral de
lnea
C
Fdr
,
,
, sin embargo vemos que el campo

vectorial F
,
posee una ley bastante compleja,
por lo que se puede anticipar que el clculo de
la circulacin como integral de lnea puede
resultar engorroso. Aplicamos el teorema de
Stokes, rot
C S
Fdr FndS =

, ,
,
donde S es la superficie achurada de la figura, que
podemos parametrizar tomando:

( )
( )
2
cos
0 1
( , ) sin ,
0 2
4
x r
r
r r y r
z r
=

=
,
.
La figura 10 muestra los clculos hechos con la calculadora.

Figura 9
X
Y
Z
1 2
2
C
Figura 10
145

Ejercicios adicionales.

5. Ley de Gauss. Demostrar, con ayuda de la calculadora (empleando la funcin
Flujo) el siguiente resultado, de importancia trascendente en electromagnetismo.
Sea V una regin simple slida en
3
y S su frontera. Sea tambin ( ) , , r x y z =
,
el
vector posicin. Entonces si ( ) 0,0,0 S , tenemos:

3
4 si (0,0,0)
0 si (0,0,0)
S
V
r
n ds
V r

=

,

RECOMENDACIN. Notar que si el origen pertenece a V no podemos aplicar el
teorema de la divergencia, pues el campo vectorial no es suave all. Aplicar el
teorema de la divergencia a toda la regin salvo una pequea bola de radio
centrada en el origen, y luego calcular el flujo sobre la frontera de esta ltima.

6. Si integramos el campo de velocidades de un fluido sobre una superficie obtenemos
el caudal que atraviesa la misma. Sea un lquido sometido a un campo de
velocidades dado por ( ) ( ) ( )
1 2 3 2

, , tan ln 1 v x y z z y i z x j zk
= + + +
,
, que incluye
en su formulacin todos los efectos debidos a rozamientos, viscosidad y dems
factores disipativos. Con ayuda de la calculadora halle el caudal del lquido que
atraviesa un filtro de forma paraboloidal dado por la ecuacin
2 2
1 x y z + = y que
est por encima del plano 1 z= . Tomar el filtro orientado hacia arriba.

146
Ejemplo de Quiz 13.

Variante 1.

Emplee el teorema de Stokes para calcular la integral
C
Fdr
,
,
donde
( )

sin cos
x x
F e yi e y z j yk = + +
,
y C es el borde de la superficie definida por la parte
del cono
2 2 2
z x y = + con 1 2 z .
Solucin

Debemos calcular el flujo de la rotacional del campo vectorial F
,
, es decir la integral
rot
S
FndS
,
. Los clculos se muestran en la figura 1.

Variante 2.

Verifique el Teorema de Stokes para el campo vectorial

F zi xj yk = + +
,
, si S es la parte
del paraboloide
2 2
1 z x y = para el cual 0 z> y
0 n k > .

Solucin

Calculamos primeramente la integral de lnea
C
Fdr
,
,
. La curva C es la circunferencia
2 2
1 x y + = . Los clculos se muestran en la figura 2. Para calcular la integral de superficie
rot
S
FndS
,
parametrizamos la superficie del paraboloide mediante
{ }
2
cos , sin ,1 u v u v u S , con 0 1 u , 0 2 v . Los clculos se muestran en la
figura 3.

Figura 1
147

Variante 3.

Verifique el Teorema de Stokes para el campo vectorial
F yzi =
,
, si S es la parte de la
esfera
2 2 2
4 x y z + + = , que est fuera del cilindro
2 2
1 x y + = con el vector normal
apuntando hacia fuera.

Solucin
Calculamos primeramente la integral de lnea
C
Fdr
,
,
. El borde C de la superficie est
formado por dos circunferencias
2 2
1 x y + = con 3 z= . Estas circunferencias son las
curvas formadas por la interseccin del cilindro con la esfera. Teniendo en cuenta que
2 2
1 x y + = , tenemos
2 2 2 2 2
4 1 4 3 3 x y z z z z + + = + = = = .
Parametrizamos estas curvas mediante:
{ } 1
cos ,sin , 3 t t C , con 0 2 t
{ } 2
cos ,sin , 3 t t C , con 0 2 t
Los clculos se muestran en la figura 4.
Para calcular la integral de superficie rot
S
FndS
,
, parametrizamos la superficie usando
coordenadas esfricas. En este caso tenemos:

3
3 2cos 3 cos
2 6
z u u u

= = = =
Por tanto la superficie queda definida mediante: { } 2cos sin ,2sin sin ,2cos v u v u u S
con 0 2 v ,
6 6
u

. Los clculos se muestran en la figura 5.

Figura 2
Figura 3
148

Figura 4
Figura 5
149
Funciones de usuario para Clculo III.
D
La funcin de usuario por Df2_m permite encontrar la matriz de derivadas
parciales para funciones
2
:
m
f .

La funcin vectorial a debe definirse con el uso de llaves: {f1,f2,fm} a , las
variables son dadas por las letras by c.
* Definida en el laboratorio 6.

La funcin de usuario Df3_m calcula la matriz de derivadas parciales de
funciones
3
:
m
f
La funcin vectorial a debe definirse con el uso de llaves: {f1,f2,fm} a , las
variables son dadas por las letras b, c y e.

La funcin de usuario DerImpl permite calcular la derivada implcita de una
funcin en la forma ( ) , 0 F x y =

p es la funcin ( ) , F x y , q y r son las variables.
* Definida en el laboratorio 6
Para calcular derivadas direccionales definimos la funcin Ddirec que requiere
de una funcin a de dos variables b y c, del vector d a lo largo de cuya
direccin se calcula la derivada y el punto e donde se evala la derivada.
El vector debe definirse en la forma
[ ] 1, 2 d d d y el punto se define en la forma
[ ]
1, 2 e e e
*Definida en las actividades del profesor correspondiente al laboratorio 6.

La funcin de usuario DobleInt definida a continuacin permite calcular
integrales dobles:


Define library\Df3_m(a,b,c,e)=listToMat(diff(a,b),diff(a,c),diff(a,e))
Define library\DerImpl(p,q,r)=-((diff(p,r))/(diff(p,q)))
Define library\Ddirec(a,b,c,d,e)=dotP([diff(a,b),diff(a,c)],unitV(d))|b=e[1,1]|c=e[1,2]
Define library\Df2_m(a,b,c)=listToMat(diff(a,b),diff(a,c))
150
Denominamos div a la funcin de usuario que calcula la divergencia de una
funcin vectorial:


F

Los factores de escala correspondientes a las coordenadas curvilneas ( )
1 2 3
, , u u u se
denotan por
1
h ,
2
h y
3
h respectivamente y se calculan mediante las frmulas
i
i
r
h
u
,
, con 1,2,3 i = . Para calcularlos usamos la funcin de usuario FactEsc:


La funcin de usuario Flujo permite calcular el flujo de un vector a travs de una
superficie:


G

Denominamos grad a la funcin de usuario que permite calcular el gradiente de
funciones
3
: f :

* Definida en el laboratorio 10

Define library\div(a,b,c,e)=diff(a[1],b)+diff(a[2],c)+diff(a[3],e)
Define
library\Flujo(a,s,u,c,v,p)=DobleInt(dotP(VectN(s,u,v),trn(listToMat(a)))|x=s[1]|y=s[2]
|z=s[3],u,c,v,p)
Campo vectorial
Superficie parametrizada
Flujo(m,S,y,h1,x,h2)
Parmetro 1
Parmetro 2
Define
library\FactEsc(a,b)=(simplify(dotP(listToMat(diff(a,b)),listToMat(diff(a,b)))))
Define library\grad(a,b,c,e)=[diff(a,b),diff(a,c),diff(a,e)]
151
Para calcular gradientes de funciones de dos variables a con las variables b y
c

*Definida en las actividades del profesor correspondiente al laboratorio 6.

La funcin de usurario gradCurv permite calcular el gradiente en coordenadas
curvilneas. Para poder utilizarlo es necesario calcular antes los factores de escala.


H

La funcin de usuario Hess permite calcular la matriz hessiana para una
funcin
2
: f .

La funcin de usuario Hess3 permite calcular la matriz hessiana de una
funcin
3
: f :

* Hess y Hess3 estn definidas en el laboratorio 7.

La funcin de usuario Hess4 permite calcular la matriz hessiana de una
funcin
4
: f .

* Hess4 est definida en actividades del profesor del laboratorio 7.
L
La longitud de una curva dada en forma paramtrica se determina mediante la
funcin Long, definida de la manera siguiente:

Define library\grad2(a,b,c)=[diff(a,b),diff(a,c)]
Define library\Long(C,t,p,q)
[ ] [ ] [ ]
2 2 2
1 2 3
q
p
dC dC dC
dt
dt dt dt

= + +

Define library\Hess(a,b,c)=listToMat(diff({diff(a,b),diff(a,c)},b),diff({diff(a,b),diff(a,c)},c))
Define
library\Hess3(a,b,c,s)=listToMat(diff({diff(a,b),diff(a,c),diff(a,s)},b),diff({diff(a,b),diff(a
,c),diff(a,s)},c),diff({diff(a,b),diff(a,c),diff(a,s)},s))
Define
library\Hess4(a,b,c,e,f)=listToMat(diff({diff(a,b),diff(a,c),diff(a,e),diff(a,f)},b),diff({diff(a,b),
diff(a,c),diff(a,e),diff(a,f)},c),diff({diff(a,b),diff(a,c),diff(a,e),diff(a,f)},e),diff({diff(a,b),diff(a,c
),diff(a,e),diff(a,f)},f))
[ ]
( )
[ ]
( )
[ ]
( )
1 1 1
Define library\gradCurv(a,b,c,e,f)= diff , , diff , , diff ,
1 2 3
a b a c a e
f f f

152
Aqu C es la curva que deber estar dada en la forma ( ) ( ) ( ) { }
, , x t y t z t C
Observe que hemos usado llaves en lugar de parntesis cuadrados. t indica el
parmetro, p y q son los extremos inicial y final del intervalo de variacin del
parmetro t, es decir [ ] , t p q .

La funcin de usuario laplac permite calcular el laplaciano
( ) ( )
2
, , , , f x y z f x y z en coordenadas cartesianas.

*Definida en actividades del profesor del laboratorio 10

La funcin de usuario LineInt permite calcular las integrales de lnea de II tipo en
el plano.


La funcin de usuario LineInt3 permite calcular las integrales de lneas de II tipo
para funciones vectoriales
3 3
: F .

* Definida en actividades del profesor del laboratorio 11.

La funcin de usuario LineIntI permite calcular integrales de lnea de tipo I.

* Definida en actividades del profesor del laboratorio 11.

M
Para el clculo del producto mixto de los vectores a, b, c


Define library\mixto(a,b,c) = dotP(a,crossP(b,c))
Define library\laplac(a,b,c,d)=diff(a,b,2)+diff(a,c,2)+diff(a,d,2)
Define library\LineInt(a,b,c)=
((a[1]|x=b[1]|y=b[2]) diff(b[1],t)+(a[2]|x=b[1]|y=b[2]) diff(b[2],t),t,c[1],c[2])
[ ] [ ]
[ ]
Define library\LineInt3(a,b,c)=
((a[1]|x=b[1]|y=b[2] z=b 3 ) diff(b[1],t)+(a[2]|x=b[1]|y=b[2] z=b 3 )
diff(b[2],t)+(a[2]|x=b[1]|y=b[2] z=b 3 ) diff(b[3],t),t,c[1],c[2])
2 2 c[2]
c[1]
b[1] b[2]
Define library\LineIntI(a,b,c)= a x=b[1] y=b[2] t
t t
d d
d
d d

+

153
P

La proyeccin del vector p sobre el vector q, se calcula mediante la funcin
proy(p,q):


R

Denominamos rot a la funcin de usuario que calcula el rotacional de una
funcin vectorial:

T

La traza es una funcin de usuario que se define de la siguiente manera:


La funcin de usuario TripInt que permita calcular integrales triples.

Definida en el laboratorio 9.

V

La funcin de usuario VectN que permite calcular el vector normal a una
superficie dada en forma paramtrica es:

Define library\proy(p,q) = dotP(p,q)/dotP(q,q)q
Define library\traza(a)=sum(matToList(trn(diag(a)),1))
Define library\rot(a,b,c,e)=[diff(a[3],c)-diff(a[2],e),diff(a[1],e)-diff(a[3],b),diff(a[2],b)-
diff(a[1],c)]
Define
library\VectN(a,u,v)=[det(Df2_m({a[2],a[3]},u,v)),det(Df2_m({a[3],a[1]},u,v)),det(Df2_m
({a[1],a[2]},u,v))]
154
Programas de ClassPad300 para Clculo III.

A

El programa AreaS_uv para calcular el rea de una superficie parametrizada en la forma
( ) ( ) ( )

, , , r x u v i y u v j z u v k = + +
,
, con a u b y c v d .

* Construido en el laboratorio 12

C

El programa Curv_t creado para
calcular la curvatura de una curva
dada en forma paramtrica:
( ) ( ) ( ) ( )

,

Mediante la frmula:

2
2
3
dr d r
dt dt
k
dr
dt
=
, ,
,

* Construido en el laboratorio 3.

DelVar a,b,c,f,g,K,F,G,C
Input a,"x(t)"
Input b,"y(t)"
Input c,"z(t)"
{a,b,c}C
diff(C,t) f
diff(C,t,2) g
[f[1],f[2],f[3]] F
[g[1],g[2],g[3]] G
simplify(norm(crossP(F,G))/(norm(F))^3) K
PrintNatural K, "Curvatura"
DelVar F, H, h
SetDecimal
Input F, "{x(u,v),y(u,v),z(u,v)}"
Input ru,"Rango de u {a,b}"
Input rv,"Rango de v {c,d}"
simplify((det(Df2_m({F[1],F[2]},u,v)))^2+(det(Df2_m({F[2],F[3]},u,v)))^2
+(det(Df2_m({F[1],F[3]},u,v)))^2) H
simplify( ( ( H ,u,ru[1],ru[2]),v,rv[1],rv[2])) h
PrintNatural h, "El Area es:"
155
E
El programa ExtCuadr permite
encontrar y clasificar los puntos crticos de
una funcin cuadrtica en la forma
T T
f X AX Q X = + . El programa requiere
la definicin de las matrices A, X y Q y
devuelve el punto crtico indicando su tipo.
* Construido en actividades del profesor
del laboratorio 7

DelVar Qq,Ma,Xx,T,k,s,l,T1,j,pp,tt
Input Ma,"matriz simtrica A"
Input Xx,"Vector columna X"
Input Qq,"Vector columna Q"
matToList(1/2Ma^(-1) Qq,1) sol
{} T
For 1k To dim(sol)
det(subMat(Ma,1,1,k,k)) pp
augment(T,{pp}) T
Next
{}T1
For 1l To dim(sol)
det(subMat(-Ma,1,1,l,l)) tt
augment(T1,{tt}) T1
Next
For 1j To dim(sol)
If T[j]>0
Then
Skip
Else
Break
IfEnd
Next
If j=dim(sol)
Then
PrintNatural sol,"Mnimo"
GoTo h
Else
For 1s To dim(sol)
If T1[s]>0
Then
Skip
Else
Break
IfEnd
Next
IfEnd
If s=dim(sol)
Then
PrintNatural sol,"Mximo"
Else
If k 0 or s 0
Then
PrintNatural sol,"Punto Silla"
Else
Print "Sin informacin"
IfEnd
IfEnd
Lbl h
156
El programa ExtrFxy, permite identificar si un
extremo local de una funcin de dos variables es
un mximo, un mnimo o un punto silla. El
programa requiere que se introduzcan la funcin
( ) , f x y y el punto extremo local que debe
clasificarse.

El programa ExtrFxyz, permite
identificar si un extremo local de una
funcin de tres variables es un
mximo, un mnimo o un punto silla.
El programa requiere que se
introduzcan la funcin ( ) , , f x y z y el
punto extremo local que debe
clasificarse.
* Construido en actividades del
profesor del laboratorio 7

Delvar F,P,S
InputFunc F(x,y),"f(x,y)"
Input P,"{punto}"
Hess(F(x,y),x,y)|x=P[1]|y=P[2] S
If det(S)=0
Then
Else
If S[1,1]>0 and det(S)>0
Then
Print "Minimo"
Else
If S[1,1]<0 and det(S)>0
Then
Print "Maximo"
Else
Print "Punto Silla"
IfEnd
IfEnd
IfEnd
DelVar F,P,S,a,b,c
InputFunc F(x,y,z),"f(x,y,z)"
Input P,"{punto}"
Hess3(F(x,y,z),x,y,z)|x=P[1]|y=P[2]|z=P[3] S
S[1,1] a
det(subMat(S,1,1,2,2)) b
det(S) c
If a=0 and b=0 and c=0
Then
Else
If a>0 and b>0 and c>0
Then
Print "Minimo"
Else
If a<0 and b>0 and c<0
Then
Print "Maximo"
Else
Print "Punto Silla"
IfEnd
IfEnd
IfEnd
157
El programa ExtConxy permite
clasificar los extremos condicionados de
una funcin. El programa requiere que se
introduzcan la funcin auxiliar
( ) , F x y f g = , el valor del
multiplicador de Lagrange y el punto
extremo que deben escribirse entre llaves.

El programa ECondXYZ
aplica el criterio del hessiano
a la funcin auxiliar
F f g = en la
clasificacin de los extremos
condicionados de una
funcin
3
: f .
* Construido en el laboratorio
8

L

El programa LineInt permite calcular integrales de lnea del I o II tipo, dada la funcin,
la curva en forma paramtrica y el intervalo de variacin del parmetro.
Delvar F,P,S,a
InputFunc F( ,x,y),"f- g"
Input P,"{ ,x,y}"
Hess3(F( ,x,y), ,x,y)| =P[1]|x=P[2]|y=P[3] S
det(S) a
If a=0
Then
Else
If a<0
Then
Print "Minimo"
Else
Print "Maximo"
IfEnd
IfEnd
Delvar F,P,S,a,b
InputFunc F( ,x,y,z),"F( ,x,y,z)"
Input P,"{ ,x,y,z}"
Hess4(F( ,x,y,z), ,x,y,z)| =P[1]|x=P[2]|y=P[3]|z=P[4] S
det(subMat(S,1,1,3,3)) a
det(S) b
If a=0 and b=0
Then
Else
If a<0 and b<0
Then
PrintNatural {P[2],P[3],P[4]}, "Minimo"
Else
If a>0 and b<0
Then
PrintNatural {P[2],P[3],P[4]}, "Maximo"
Else
PrintNatural {P[2],P[3],P[4]}, "Punto Silla"
IfEnd
IfEnd
IfEnd
158

* Construido en actividades del profesor del laboratorio 11.

P

El programa Plano3Pt
identifica si los puntos
introducidos se encuentran o
no sobre una misma recta y
solamente en caso de que no lo
estn, determina la ecuacin del
plano que pasa por los tres
puntos.
* Construido en actividades del
profesor laboratorio 2

El programa Planos_t permite hallar las ecuaciones de los planos normales, rectificador y
osculador a una curva dada en forma paramtrica en un punto dado ( )
0 0 0
, , x y z de dicha
curva.

DelVar a,b,c
Input a,"Punto1 [x1,y1,z1]"
Input b,"Punto2 [x2,y2,z2]"
Input c,"Punto3 [x3,y3,z3]"
If norm(crossP(b-a,c-a))=0
Then
Print "Puntos no vlidos"
Else
PrintNatural expand(dotP([x,y,z]-a,crossP(b-a,c-a)))=0
IfEnd
DelVar C, k1, k2, f
Input p, "1 si I tipo, 2 si II tipo"
If p=1
Then
Input f, "f(x,y,z)"
(simplify((diff(C[1],t))^2+(diff(C[2],t))^2+(diff(C[3],t))^2)) k1
f|x=C[1]|y=C[2]|z=C[3] k2
(k2 k1,t,h[1],h[2])
res
Else
Input f, "{P(x,y,z),Q(x,y,z),R(x,y,z)}"
(f[1]|x=C[1]|y=C[2]|z=C[3]) diff(C[1],t) k1
(f[2]|x=C[1]|y=C[2]|z=C[3]) diff(C[2],t) k2
(f[3]|x=C[1]|y=C[2]|z=C[3]) diff(C[3],t) k3
simplify(k1+k2+k3) k4
(k4,t,h[1],h[2])
res
IfEnd
159

* Construido en actividades del profesor del laboratorio 3.

El programa Pot_f permite calcular el potencial escalar (salvo constante numrica) en
caso de que la funcin vectorial sea un campo conservativo.


DelVar a,b,c,f,g,T,G,C,B,N,C0,p,x,y,z
Input a,"x(t)"
Input b,"y(t)"
Input c,"z(t)"
{a,b,c}C
trn(listToMat(C|t=p)) C0
diff(C,t) f
diff(C,t,2) g
[f[1],f[2],f[3]] T
[g[1],g[2],g[3]] G
crossP(T,G) B
crossP(B,T) N
PrintNatural expand(dotP(T|t=p,[x,y,z]-C0))=0,"Plano Normal"
PrintNatural expand(dotP(N|t=p,[x,y,z]-C0))=0,"Plano
Rectificador"
PrintNatural expand(dotP(B|t=p,[x,y,z]-C0))=0,"Plano
Osculador"
DelVar F,h,g,C
11 12 13
10 10 10 x y z = = = )=0
Then
(F[1],x)
h
g
C
Else
IfEnd
160
R

El programa Rectas_t permite hallar las
rectas tangente, binormal y normal principal a
una curva C dada en forma paramtrica en un
punto dado ( )
0 0 0
, , x y z mediante las
ecuaciones:
[ ] [ ] [ ]
0 0 0
0 0 0
x y z
x x y y z z
T T T

= = ;
[ ] [ ] [ ]
0 0 0
0 0 0
x y z
x x y y z z
B B B

= = ;
[ ] [ ] [ ]
0 0 0
0 0 0
x y z
x x y y z z
N N N

= =
* Construido en actividades del profesor del
laboratorio 3.

T

El programa TBN_t permite calcular los vectores
tangente unitario, binormal unitario y normal unitario de
una curva dada en forma paramtrica.
*Construido en el laboratorio 3.

DelVar a,b,c,f,g,T,G,C,B
Input a,"x(t)"
Input b,"y(t)"
Input c,"z(t)"
{a,b,c} C
diff(C,t) f
diff(C,t,2) g
[f[1],f[2],f[3]] T
[g[1],g[2],g[3]] G
crossP(T,G) B
crossP(B,T) N
PrintNatural unitV(T),"T"
PrintNatural unitV(B),"B"
PrintNatural unitV(N),"N"
DelVar a,b,c,f,g,T,T0,G,C,B,B0,N,N0,C0,p
local h1,h2,h3
Input a,"x(t)"
Input b,"y(t)"
Input c,"z(t)"
{a,b,c} C
C|t=pC0
diff(C,t) f
diff(C,t,2) g
[f[1],f[2],f[3]] T
[g[1],g[2],g[3]] G
crossP(T,G) B
crossP(B,T) N
matToList(trn(T|t=p),1) T0
matToList(trn(B|t=p),1) B0
matToList(trn(N|t=p),1) N0
C0+T0t h1
C0+B0t h2
C0+N0t h3
{x=h1[1],y=h1[2],z=h1[3]}rt
{x=h2[1],y=h2[2],z=h2[3]}rb
{x=h3[1],y=h3[2],z=h3[3]}rn
PrintNatural rt,"Recta Tangente"
PrintNatural rb,"Recta Binormal"
PrintNatural rn,"Recta Normal"
161

El programa Tors_t permite
calcular la torsin de curvas
dadas de manera paramtrica
( ) ( ) ( ) ( )

,
,
mediante el uso de la frmula:

2 3
2 3
2
2
2
dr d r d r
dt dt dt
dr d r
dt dt
, , ,
, ,

*Construido en el laboratorio 3.

DelVar a,b,c,f,g,K,F,G,C
Input a,"x(t)"
Input b,"y(t)"
Input c,"z(t)"
{a,b,c} C
diff(C,t) f
diff(C,t,2) g
diff(C,t,3) h
[f[1],f[2],f[3]] F
[g[1],g[2],g[3]] G
[h[1],h[2],h[3]] H
simplify(mixto(F,G,H)/norm(crossP(F,G))^2) tors
PrintNatural tors,"Torsin"

Casio Claspad 300 Laboratorios - calculoIII

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Casio Claspad 300 Laboratorios - calculoIII

Caricato da

Copyright:

Formati disponibili

Uni ver si dad Di ego Por tal es I nsti tuto de Ci enci as bsi cas F acul tad de I ngeni er a

Ny el signo negativo en caso contrario. Aqu

Bes el vector binormal unitario, s es la

N es el vector normal unitario. En la figura 4 se muestra

Brespecto a la longitud de arco s, es decir ,

determine y grafique su dominio con ayuda de la

= indica que la funcin ( ) , f x y tiende a L , cuando

= . Una manera til

cuando n tiende a infinito. En

Figura 1 Figura 2 Figura 3

. La funcin ( ) , f es continua y acotada para cualquier valor de los

posee una discontinuidad en ( ) 0,0 ya que este

. El resultado se muestra en la figura

posee entonces una discontinuidad en ( ) 0,0 y el lmite no

Figura 4 Figura 5 Figura 6

con 1 i m = y 1 j n = . En la prctica para demostrar que una

dadas las funciones vectoriales

. Los resultados se muestran en las

de la funcin ( ) , z z x y = dada de manera

DerImpl(F(x,y,z),z,x) DerImpl(F(x,y,z),x,y) DerImpl(F(x,y,z),y,z)

, el determinante del jacobiano se calcula

. En la figura 13 mostramos los resultados del

. En la figura 14 se muestran los

. Sugerencia: Para simplificar la

h . Esta forma permite clasificar los extremos locales de la

= = = . De las dos primeras ecuaciones despejamos el

son los determinantes de los jacobianos de

. Por tanto, empleando coordenadas

donde D es un tringulo cuyos vrtices estn

. Teniendo en cuenta la frmula para la transformacin de

, donde V es el slido limitado por los

, para la funcin ( ) , , f x y z y la regin

en una trayectoria cerrada.

, donde C es la elipse definida por la

donde C es el primer arco de

, por ejemplo puede calcularse usando

, donde S es la superficie lateral del cilindro

, donde S es la superficie del cono

, donde S es la superficie de la esfera

, donde S es la parte del cilindro

, donde C es la curva triangular que une

, sin embargo vemos que el campo

Potrebbero piacerti anche