Prcticas de Matemticas con

Mathematica .
Fundamentos de Matemticas III . Grado en Ingeniera
Civil.
Prctica n 12. Area de una superficie no plana.
Departamento de Matemtica Aplicada.
E.P.S. de Zamora
Universidad de Salamanca
Ejemplo 1: Halle el r ea de la par te del cilindr o y
2
a x a que est dentr o del cilindr o x
2
z
2
a
2
.
Para dibujar la regin cuya rea nos piden, tomamos a = 1.
c1 = ParametricPlot3D__t^2 - 1, t, 1 - (t^2 - 1)
2
_,
_t, - 2 , 2 _, PlotStyle - {Red, Thickness[0.01]}_;
c2 = ParametricPlot3D__t^2 - 1, t, - 1 - (t^2 - 1)
2
_,
_t, - 2 , 2 _, PlotStyle - {Red, Thickness[0.01]}_;
lineas = Graphics3D_
_Red, Table_Line___t^2 - 1, t, - 1 - (t^2 - 1)
2
_, _t^2 - 1, t,
1 - (t^2 - 1)
2
___, _t, - 2 + 0.00001, 2 , 0.05____;
Show[c1, c2, lineas, PlotRange - All,
AxesOrigin - {0, 0, 0}, AxesLabel - {x, y, z}]
1.0
0.5
0.0
0.5
1.0
x
1
0
1
y
1.0
0.5
0.0
0.5
1.0
z
El primer mtodo que vamos a considerar para hallar el rea pedida es utilizando la
integral de trayectoria respecto de la diferencial de arco.Utilizamos la simetra de la figura,
y siendo z f x, y a
2
x
2
y la curva en el plano z 0 de ecuaciones paramtricas
x t
t
2
a
a, y t con t en 0, a 2 , el rea se puede expresar en la forma
4
_

f ds = 4
_
0
a 2
a
2
-
t
2
a
- a
2
1 +
4 t
2
a
2
dt =
2
a
2
_
0
2 a
2
[2 a
2
- z| [4 z + a
2
| dz
donde para obtener la ltima integral hemos hecho el cambio z
t
2
. El Mathematica nos proporciona directamente el resultado siendo,
2/a^2 Integrate_ (2 a^2 - z) (4 z + a^2) , {z, 0, 2 a^2}_ //
Simplify
1
64
a
4
56 2 81 162 ArcTan
7
4 2

Mtodo alemn :
_
(2 a^2 - z) (4 z + a^2)
(2 a^2 - z) (4 z + a^2)
dz =
(A z + B) (2 a^2 - z) (4 z + a^2) +
_
k
(2 a^2 - z) (4 z + a^2)
dz
2 12 FM III (4-12-2012) Ejemplo rea superficie.nb
(2 a^2 - z) (4 z + a^2)
(2 a^2 - z) (4 z + a^2)
= D_(A z + B) (2 a^2 - z) (4 z + a^2) , z_ +
k
(2 a^2 - z) (4 z + a^2)
// Simplify
4 a
4
(1 A) 7 a
2
(B (2 3 A) z) 2 (k 4 z (B z 2 A z)),
2 a
4
7 a
2
z 4 z
2
0
Solve]Map] = 0 &, CoefficientList]4 a
4
(-1 + A) +
7 a
2
(B + (-2 + 3 A) z) + 2 (k - 4 z (B - z + 2 A z)), z, {A, B, k}
A
1
2
, B
7 a
2
16
, k
81 a
4
32

int = Simplify_(A z + B) (2 a^2 - z) (4 z + a^2) +

_
k
(2 a^2 - z) (4 z + a^2)
dz /.
_A -
1
2
, B - -
7 a
2
16
, k -
81 a
4
32
_, a > 0_
1
64
4 7 a
2
8 z 2 a
4
7 a
2
z 4 z
2

81 a
4
ArcTan
7 a
2
8 z
4 2 a
4
7 a
2
z 4 z
2

Comprobamos que la primitiva obtenida es correcta, para ello derivamos, y vemos que la derivada coincide
con el integrando.
D[int, z] // Simplify
2 a
4
7 a
2
z 4 z
2
Expand[(2 a^2 - z) (4 z + a^2)]
2 a
4
7 a
2
z 4 z
2
Hay que tener cuidado al evaluar, pues en el punto z = 2 a
2
el denominador se anula, y el arcotangente ser
Pi/2 o - Pi/2. Tomando el lmite por la izquierda en ese punto se resuelve el problema.
2/a^2 ((Limit[int, z - 2 a^2]) - (int /. z - 0)) //
Simplify (+ valor incorrecto +)
1
64
56 2 a
4
81 a
2
162 a
2
ArcTan
7 a
4
4 2 a
2

12 FM III (4-12-2012) Ejemplo rea superficie.nb 3

2/a^2
((Limit[int, z - 2 a^2, Direction - 1]) - (Limit[int, z - 0])) //
Simplify (+ valor correcto +)
1
64
56 2 a
4
81 a
2
162 a
2
ArcTan
7 a
4
4 2 a
2

Simplify_
1
64
56 2 a
4
+ 81 a
2
+ 162 a
2
ArcTan_
7 a
4
4 2 a
2
_ , a > 0_
1
64
a
2
56 2 81 162 ArcTan
7
4 2

Otra forma de resolver el problema es calculando el rea de la superficie y

f x, z a x a dentro del cilindro cuya circunferencia base es x
2
z
2

a
2
. Por la simetra de la regin consideramos nicamente la parte de la superficie cuya proyeccin
corresponde al semicrculo en el semiplano y 0, z 0, y la multiplicamos por 4.
c1 = ParametricPlot3D__t^2 - 1, t, 1 - (t^2 - 1)
2
_,
_t, - 2 , 2 _, PlotStyle - {Red, Thickness[0.01]}_;
c2 = ParametricPlot3D__t^2 - 1, t, - 1 - (t^2 - 1)
2
_,
_t, - 2 , 2 _, PlotStyle - {Red, Thickness[0.01]}_;
c3 = ParametricPlot3D_{t^2 - 1, t, 0},
_t, - 2 , 2 _, PlotStyle - {Blue, Thickness[0.006]}_;
lineas2 = Graphics3D__Red,
Table_Line__{t^2 - 1, t, 0}, _t^2 - 1, t, 1 - (t^2 - 1)
2
___,
_t, 0, 2 , 0.05____;
4 12 FM III (4-12-2012) Ejemplo rea superficie.nb
Show[c1, c2, c3, lineas2, PlotRange - All,
AxesOrigin - {0, 0, 0}, AxesLabel - {x, y, z}]
1.0
0.5
0.0
0.5
1.0
x
1
0
1
y
1.0
0.5
0.0
0.5
1.0
z
4
_ _
D
xz
1 + (y
x
')
2
+ (y
z
')
2
dx dz =
2
a
_
-a
a
_
0
a
2
-x
2
4 a x + 5 a
2
a (a + x)
dz dx
El Mathematica resuelve la integral, proporcionando el mismo valor que anteriormente. De nuevo el mtodo
Alemn es una tcnica eficaz para resolver la integral.
2
a
Integrate_ (a - x) (4 a x + 5 a^2) , {x, -a, a}_ // Simplify
1
64
a a
3
56 2 81 162 ArcTan
7
4 2

Simplify_
1
64
a a
3
56 2 + 81 + 162 ArcTan_
7
4 2
_ , a > 0_
1
64
a
2
56 2 81 162 ArcTan
7
4 2

Y an podemos considerar una tercera forma para calcular el rea. Desarrollando el cilindro parablico
vertical, y la curva interseccin sobre el mismo, el rea buscada ser el rea encerrada por dicha curva plana.
12 FM III (4-12-2012) Ejemplo rea superficie.nb 5
Y an podemos considerar una tercera forma para calcular el rea. Desarrollando el cilindro parablico
vertical, y la curva interseccin sobre el mismo, el rea buscada ser el rea encerrada por dicha curva plana.
Las ecuaciones paramtricas de dicha curva plana obtenida al desarrollar el cilindro son :
x (t)

0
t
2 t
a
2
1 t, y (t) a
2

t^2
a
a
2
Simplify_
_
0
t
2 t
a
2
+ 1 dt, {a > 0, t > 0}_
1
4
2 t 1
4 t
2
a
2
a ArcSinh
2 t
a

a = 1; ParametricPlot__
1
4
2 t 1 +
4 t
2
a
2
+ a ArcSinh_
2 t
a
_ ,
a
2
-
t^2
a
- a
2
_, _t, 0, a 2 __
0.5 1.0 1.5 2.0 2.5
0.2
0.4
0.6
0.8
1.0
a =.; a
2
-
t^2
a
- a
2
D_
1
4
2 t 1 +
4 t
2
a
2
+ a ArcSinh_
2 t
a
_ , t_ // Simplify
1
4 t
2
a
2
2 t
2

t
4
a
2
Simplify_4 Integrate_ 1 +
4 t
2
a
2
2 t
2
-
t
4
a
2
, _t, 0, a 2 __, a > 0_
1
32
a
2
28 2 81 Log[9] 81 Log7 4 2
Ntese que aunque el Mathematica al realizar directamente la integral nos muestra una solucin con nmeros
complejos, en realidad corresponde al mismo valor que hemos obtenido anteriormente. De hecho, la integral
anterior es la misma que la integral que se obtena con el primer mtodo, y por tanto el resultado final es igual
que el obtenido con cualquiera de los otros dos mtodos.
6 12 FM III (4-12-2012) Ejemplo rea superficie.nb
Ntese que aunque el Mathematica al realizar directamente la integral nos muestra una solucin con nmeros
complejos, en realidad corresponde al mismo valor que hemos obtenido anteriormente. De hecho, la integral
anterior es la misma que la integral que se obtena con el primer mtodo, y por tanto el resultado final es igual
que el obtenido con cualquiera de los otros dos mtodos.
FullSimplify_
1
64
a
2
56 2 + 81 + 162 ArcTan_
7
4 2
_ -
1
32
a
2
]28 2 + 81 r Log[9] - 81 r Log_-7 + 4 r 2 _, a > 0_
0
12 FM III (4-12-2012) Ejemplo rea superficie.nb 7