SUPER DESAFÍOS: EJERCICIOS CON POESÍA

CALCULO II, PARTE 1

ESCRITO POR RAÚL SALINAS

PRÓLOGO

Muy buenas a todos ustedes. Antes que todo, quisiera decirles ¡Felicitaciones por estar en cálculo II!
Cálculo I ya era un curso difícil de asimilar y más de uno tuvo que llorar sangre para estar en esta etapa
de la vida universitaria ¡Sigan así!

Antes de que empiecen a ejercitarse, quiero decirles que escribí este para dejar plasmado, en ayuda a
todos ustedes, mi enfoque personal para ver este apasionante ramo. Para ninguno de nosotros cálculo
es un ramo sencillo de entender y mucho menos de obtener una nota lo suficientemente alta como
para eximirse (si hay eximición, claro está), por lo que este libro está diseñado para ser un “compañero
de banco de bolsillo” igual que tú; con todas las explicaciones que me parecieron pertinentes a cada
problema (te recomiendo que si una parte te parece aburrida, igual léela). Si estás apurado, los
cálculos en azul son los relevantes al ejercicio; los negros, básicamente demostraciones o simple
álgebra.

Para escribir este compendio, me inspiré en todos los textos de ajedrez para principiantes que tuve
alguna vez en mi mano, en los que cualquier maniobra, por difícil o sencilla que pareciese su
interpretación, tenía un comentario salvador que te ayudaba a entender el porqué de cada
movimiento o sacrificio loco que había por delante. También quise imprimirle un tono ameno (sin dejar
de lado toda la seriedad que una materia tan sublime como la matemática merece) para hacer de tus
noches y días de estudio, probablemente a días de la interrogación o examen, más agradables. Es por
ello que incluí algunas anécdotas que me pasaron mientras hice tal ejercicio e intenté darles nombres
de manera que te acuerdes cuál era la moraleja que conllevaba cada problema.

Muchos podrían criticar la baja cantidad de ejercicios hechos. Mi objetivo es tener una selección de
problemas interesantes ya sea porque enseñan mucho de la materia (su “moraleja”) o incluyen una
resolución “poética”, de esas que hacen maravillarte por este complejo y, para muchos, irresoluble
mundo.
TEMA: ÁREA BAJO CURVAS

EJERCICIO 1: EL “MOON WALKER”, SUBSTITUCIONES A LO MICHAEL JACKSON

Problema:

Demuestre que las áreas comprendidas entre raíces de la función
 =    están
en una proporción geométrica.

Fuente: Guía 1 del 1º semestre del año 2010

Me pareció este ejercicio digno de estar en este compendio ya que explica de manera clara cómo
deben abordarse todos los ejercicios de área bajo curvas: con inteligencia y sin ponerse a integrar a
tontas y a locas. Sorprendentemente, este ejercicio consta de 2 soluciones; mas con una solución (1)
es 99% seguro que te equivoques (integración por partes doble con trigonométricas), mientras que en
la solución (2) existe un paso que, como decía un viejo amigo mío, “son de los que hacen ganar medalla
de olimpiada”.

Vamos a lo nuestro.

Lo primero que hay que hacer es ver con claridad qué es lo queremos calcular, para ello necesitamos
buscar las raíces del problema, pero primero veamos el gráfico de f (x) para hacerse un bosquejo
(generalmente es muy buena idea hacer los gráficos para poder dilucidar mejor el ejercicio)
Para calcular f(x) = 0

( −x )
e sin( x ) = 0

Aquí hay q pensar un poco, si nos ponemos a calcular e − x sin( x ) = a con a cualquier real, ni con el

maple se puede hacer. Sin embargo hay que usar el “poder del cero”. Nótese que e − x > 0 (al ser una

exponencial, siempre es mayor a 0), por lo que podemos dividir por e− x , con lo que queda
sin x = 0 , ecuación que se satisface con k ⋅ π , k ∈ℤ .

Sean (k − 1) π , k π , (k +1) π 3 raíces consecutivas de la función

Para expresar la integral, hay que tener en cuenta que LA FUNCIÓN VA CAMBIANDO DE SIGNO
CUANDO ÉSTA PASA POR UN PUNTO CRÍTICO, por lo que no puedes obviar el valor absoluto.

Para nuestra A1 área entre k-1 Pi y k Pi la integral sería

kπ

A1 = ⌠
( −x )

 e sin( x ) dx Análogamente para 2
⌡( k − 1 ) π
 (k + 1) π

A2 = ⌠
( −x )

 e sin( x ) dx
⌡k π

Sin embargo, como la función se toca y sólo se toca en k Pi (no hay cambios de signo dentro del
intervalo), por lo que podemos sacar los valores absolutos fuera de la integral. Si lo escribimos como
razón quedaría

kπ
⌠
 e
( −x )
sin( x ) dx
A1 
⌡( k − 1 ) π
= (k + 1) π
A2
⌠
 e
( −x )
sin( x ) dx

⌡k π

Solución 1, o cómo NO hacer un ejercicio

Como bien decía un profesor de programación, esta solución “funca”. No obstante, es muy ineficiente
en términos de tiempo y tendencia al error (te demoras harto y es facilísimo equivocarse). En lo
personal, ésta fue la solución que primero obtuve y es probable que haya sido la primera del 90% de
los alumnos que hicieron este problema.

Primero, calculemos la Integral en f(x) para cualquier intervalo [a,b] bien definido.

b
⌠
 e
( −x )
sin( x ) dx

⌡a

1º substitución: -u = x ( “matamos” el -x en el exponente de la función para que no moleste). Cuidado

con NO girar los intervalos a y b (deben multiplicarse por el -1 que queda)

−b
⌠ u
 e sin( u ) d u
⌡−a

Notar que los intervalos no están bien definidos, pero no hay que preocuparse porque el valor
absoluto de la función “arreglará” ese (-1) escondido. Además,
sin( x ) = −sin( x )

2º Integración por partes con exp (x) derivado

−b
−b ⌠ d u 
⌠   ( e )  sin( u ) du
 e sin( u ) du = 
u
  Luego,
⌡−a 
  du
⌡−a
−b −b
⌠
 e sin( u ) d u = −e
u ( −b )
cos( b ) + e
( −a )
cos( a ) − ⌠
 −cos( u ) e d u
u
⌡−a ⌡−a

3º Integración por partes con exp (x) derivado en la integral. Aquí empieza a ponerse fea la cosa…

−b
⌠
 e sin( u ) du =
u
⌡−a
−b
( −b ) ( −a ) ( −b ) ( −a )
−e cos( b ) + e cos( a ) − e sin( b ) + e sin( a ) − ⌠ u
 e sin( u ) du
⌡−a

4º Paso “despeje de ecuación-incógnita”: como obtuvimos la integral pedida en ambos lados (junto a
un tumulto de ecuaciones feas) despejamos la integral. El resultado debe ser este.

−b
⌠ 1 ( −a ) 1 ( −a ) 1 ( −b ) 1 ( −b )
 e sin( u ) du = 2 e cos( a ) + e sin( a ) − e cos( b ) − e
u
sin( b )
⌡−a 2 2 2

¿Horrible no?

No es todo, ahora hay que reemplazar por (k-1) *Pi, k* Pi y (k+1)*Pi según sean los intervalos

kπ
⌠ e ( −x ) sin( x ) dx
Para A1 = 

⌡k − π

Reemplazando
 kπ
⌠
 e
( −x ) 1 ( −( k − 1 ) π)
sin( x ) dx = − e
1 ( −( k − 1 ) π)
cos( ( k − 1 ) π ) − e sin( ( k − 1 ) π )

⌡( k − 1 ) π 2 2

1 ( −k π) 1 ( −k π)
+ e cos( k π ) + e sin( k π )
2 2

Ahora, usaremos las siguientes identidades:

cos( k π − π ) = cos( k π )
sin( k π − π ) = −sin( k π )
sin( k π ) = 0

1 ( −( k − 1 ) π) 1 ( −( k − 1 ) π) 1 ( −k π) 1 ( −k π)
e cos( k π ) + e sin( k π ) + e cos( k π ) + e sin( k π )
2 2 2 2
Como k es un número entero, sin(kπ ) = 0
1 ( −( k − 1 ) π) 1 ( −k π)
e cos( k π ) + e cos( k π )
2 2
1
Podemos factorizar por e − kπ y por al ser éstos siempre positivos
2
1 ( −k π)
A1 = e cos( k π ) + cos( k π ) e π
2
Uf… ahora para A2, cómo es análogo a A1 sólo colocaremos los pasos.
(k + 1) π

A2 = ⌠
( −x )

 e sin( x ) dx
⌡k π

Reemplazamos por su resolución exacta

1 ( −k π) 1 ( −k π) 1 ( −( k + 1 ) π)
A2 = e cos( k π ) + e sin( k π ) − e cos( ( k + 1 ) π )
2 2 2
1 ( −( k + 1 ) π)
− e sin( ( k + 1 ) π )
2
Usamos las propiedades mencionadas
A2 =
1 ( −k π) 1 ( −k π) 1 ( −( k + 1 ) π) 1 ( −( k + 1 ) π)
e cos( k π ) + e sin( k π ) + e cos( k π ) + e sin( k π )
2 2 2 2
 1 ( −k π) 1 ( −( k + 1 ) π)
A2 = e cos( k π ) + e cos( k π )
2 2
1 ( −k π) ( −π)
A2 = e cos( k π ) + e cos( k π )
2

Si se perdió, en resumen:

A1 cos( k π ) + cos( k π ) e π
= ( −π)
A2 cos( k π ) + e cos( k π )
Para resolver, debemos tener en cuenta los 2 casos para k

• k es par
• k es impar

k=2i
Pero como i es natural
A1 cos( 2 i π ) + cos( 2 i π ) e π
= ( −π)
A2 cos( 2 i π ) + e cos( 2 i π )
cos( 2 i π ) = 1
A1 1 + eπ
= ( −π)
A2 1+e
A1
= eπ
A2

Sin embargo, también hay que considerar cuando k es impar

k=2i+1

A1 cos( ( 2 i + 1 ) π ) + cos( ( 2 i + 1 ) π ) e π
= ( −π)
A2 cos( ( 2 i + 1 ) π ) + e cos( ( 2 i + 1 ) π )

Análogo al caso par

cos( ( 2 i + 1 ) π ) = -1
A1 1 + eπ
= ( −π)
A2 1+e
A1
= eπ
A2

Como la relación se cumple para los casos par e impar, se cumple para cualquier entero.

Solución 2, el “moonwalker”: cuando avanzamos hacia atrás

Como ves, la solución 1 llegas a un resultado correcto y coherente pero, ¿Era realmente
necesario calcular la integral para cualquier valor a, b? Como buen profesional que quieres ser, debes
darte cuenta de todas las “ayuditas” que te proporciona el problema (si generalizas una solución más
de la cuenta probablemente estés haciendo más trabajo del necesario). En este ejercicio, no tenemos a
y b cualquiera, sino (k-1) Pi, k Pi y (k+1) Pi (la distancia entre ellos es constante y no cualquier
constante, es π), si los trabajamos bien podremos llegar al resultado de forma rápida, limpia… y mortal.

Primero, por definición de proporción geométrica, debemos calcular la razón entre 2 áreas y que el
resultado sea constante (es decir, que no dependa de qué área está siendo calculada)

kπ
⌠
 e
( −x )
sin( x ) dx
A1 
⌡( k − 1 ) π
= (k + 1) π
A2
⌠
 e
( −x )
sin( x ) dx

⌡k π

Nótese que los valores absolutos no fueron sacados de la integral aún cuando podría haberse hecho…

Ahora, viene el “moonwalker”. “A pito de nada”, vamos hacer la substitución u = x – Pi sólo en A2,
veamos cómo queda…
 kπ
⌠
 e
( −x )
sin( x ) dx
A1 
⌡( k − 1 ) π
= kπ
A2
⌠
 e
( −u − π)
sin( u ) du

⌡k π − π

¡Nuestros intervalos de la integral son iguales! Sin embargo, hay más: como, podemos sacar la
constante fuera de A2. Al final quedaría así

kπ
⌠
 e
( −x )
sin( x ) dx
A1 
⌡( k − 1 ) π
= kπ
A2
e
( −π) ⌠
 e
( −u )
sin( u ) du

⌡k π − π

¡La integral es igual en el denominador y el numerador! Que estén escritas en base a 2 variables
distintas (u y x) no afecta ya que la variable integrada es muda (similar al caso de las sumatorias)

Con esto queda

A1
= eπ
A2

¡EN NINGÚN MOMENTO CALCULAMOS LA INTEGRAL!

Moraleja del ejercicio

Más que ponerse a calcular a tontas y a locas, unos minutos de observación calmada y relajada del
problema puede ayudarte a hacerlo de una manera mucho más óptima y lógica; algo que es
completamente necesario si dispones de poco tiempo. Menciono por enésima vez que el cálculo de la
integral, en este caso, era complicado y completamente innecesario.

EJERCICIO 2: “INTEGRAL Y SUMATORIA CONTRA EL RESTO DEL MUNDO”

Problema:


Demuestre que si 
|−  +  | , entonces  = √ +  − 

Desde un punto de vista totalmente personal, este es uno de los ejercicios más apasionantes y difíciles
con los que me tenido que enfrentar durante mi etapa universitaria. Dónde se pone a prueba el
manejo de conceptos, la capacidad de abstracción y el manejo de información hasta el límite.

Mi razón de colocar el ejercicio en este compendio no es más que mostrarles lo maravilloso y

apasionante que puede llegar a ser el mundo del cálculo. Para ustedes, una joya.

Lo primero es lo primero.

Antes de colocarse a calcular, primero veamos qué es lo que queremos conocer. Esté gráfico que
muestra las funciones seno y coseno te ayudará a comprender mejor el ejercicio, paso trascendente
para una resolución correcta.

Las curvas rojas son los senos y los cosenos, las rectas azules marcan los puntos dónde se intersecan las
curvas.

¿Es claro que la integral calculada no es más que el área entre las curvas seno y coseno?

Al parecer, existen 3 patrones importantes en el dibujo:

 1. Todas las intersecciones de la curva (y, por ende, las raíces de la función en la integral) son de

 1
la forma π  k +  , k ∈ ℤ .
 4

2. Luego de π el área entre las curvas empieza a tener un patrón y es, “numéricamente”, la
4
misma.
3. Al pasar de el área entre raíces entre la curva hacia la izquierda, ésta se “gira”

Aunque en las pruebas no sería necesario demostrar estas conjeturas, las probaremos para estar
completamente seguros de ellas.

Para 1

Las intersecciones de la curva deben cumplir

sin( x ) = cos( x )
Por identidad, sabemos que

sin( x ) 2 + cos( x ) 2 = 1

Si reemplazamos

2 cos( x ) 2 = 1

Ahora, al usar otra identidad

1 1
cos( x ) 2 = cos( 2 x ) +
2 2
Reemplazamos nuevamente
cos( 2 x ) + 1 = 1
cos( 2 x ) = 0

La solución de la ecuación cos(u ) = 0
u =π / 2 + kπ , k ∈ℤ , si reemplazamos con

u = 2x, x pertenece al conjunto
x∈ π { 4
+ kπ
2
: k ∈ℤ }
Sin embargo, si k es impar, x no cumple la condición pedida
k = 2i + 1 , supondremos que i es par i = 2 j

(
cos( x ) = cos π
4 ) = cos (π 4 + π 2 + iπ ) = cos (π 4 + π 2 + 2 jπ )
+ kπ
2
= cos (π + π ) = − sin (π + π ) = − sin (π + π + 2 jπ ) = − sin( x )
4 2 4 2 4 2
Asimismo, si se supone que i es impar, i = 2j + 1

(
cos( x ) = cos π
4 ) = cos (π 4 + π 2 + iπ ) = cos (π 4 + π 2 + 2 jπ + π )
+ kπ
2
= cos (π + π + π ) = − sin (π + π + π ) = − sin (π + π + 2 jπ + π ) = − sin( x )
4 2 4 2 4 2

A su vez, todos los k pares cumplen la condición k = 2i , supondremos que i es par i = 2 j

(
cos( x ) = cos π
4 ) = cos (π 4 + iπ ) = cos (π 4 + 2 jπ ) =
+ kπ
2
= cos (π ) = sin (π ) = sin (π + 2 jπ ) = sin ( x )
4 4 4
Con i impar i = 2 j + 1

(
cos( x ) = cos π
4 ) = cos (π 4 + iπ ) = cos (π 4 + 2 jπ + π ) =
+ kπ
2
= cos (π + π ) = sin (π + π ) = sin (π + 2 jπ + π ) = sin ( x )
4 4 4

Con todo esto, hemos demostrado formalmente que el conjunto solución es

x∈ π { 4
+ kπ : k ∈ ℤ }

Para la conjetura 2 y 3, que son distintas visiones del mismo concepto, vamos a calcular el área bajo
curvas entre 2 puntos dónde se tocan las funciones seno y coseno.

Sean r1 , r2 raíces consecutivas de la función sin( x ) − cos( x ) , entonces el área bajo curvas sería.
 r
2
⌠
 −sin( x ) + cos( x ) dx
⌡r
1

Sin embargo, conocemos la naturaleza de las raíces de la ecuación. Por tanto,

π
+ (k + 1) π
4
⌠
 −sin( x ) + cos( x ) d x
⌡1/4 π + k π

Podemos sacar hacia afuera el valor absoluto ya que son raíces consecutivas.

π
+ (k + 1) π
4
⌠
 sin( x ) − cos( x ) d x
⌡1/4 π + k π

Similar al ejercicio 1, empezaremos a arreglar el intervalo de integración, de manera que sea más
sencillo reemplazar por la primitiva. Si usted quiere, puede utilizar la primitiva inmediatamente, pero
tiende mucho más al error.

π
Hacemos la substitución u = x − ⇒ du = dx para “correr” los intervalos de integración.
4

(k + 1) π
⌠ π π

 sin u +  − cos u +  du

  4   4
⌡k π

Además:

π
sin u +  = sin( u ) 2 + cos( u ) 2
1 1
 4 2 2
π
−cos u +  = − cos( u ) 2 + sin( u ) 2
1 1
 4 2 2
Si sumamos todo queda

(k + 1) π
⌠
 sin( u ) 2 du
⌡k π

Ahora evaluamos la integral

2 2 cos( k π )

 kπ π   kπ 
Recordar que − cos  +  = sin  
 2 2  2 

También sabemos que cos( kπ ) = ±1 ⇒ cos( kπ ) = 1

Resumiendo:

• El área encerrada entre las curvas es constante a 2 2 .

• El área entre [0,π/4] es 2 −1

Aplicaremos todo lo que tenemos al problema, lo anterior fue sólo un análisis previo para entender
que razonamientos llevaron a los pasos que vienen a continuación.

π( n + 1/4 )
⌠
 −sin( x ) + cos( x ) dx
⌡0

Por lo que vimos en el gráfico, podemos separar inteligentemente lo pedido en:

π
4 π( n + 1/4 )
⌠
 −sin( x ) + cos( x ) dx + ⌠
 −sin( x ) + cos( x ) dx
⌡0 ⌡π
4

Lo de la izquierda es conocido, el área representada en la integral a la derecha no es más que el patrón

que se encontró (conjetura 2 y 3) entre intervalos iπ , iπ + π  de i=0..n-1. Para ello, usaremos la
 4 4 
sumatoria como una adición de áreas iguales.

π π( i + 1)
4
 n 4

⌠ 
−sin( x ) + cos( x ) dx +  ∑ ⌠ −sin( x ) + cos( x ) dx 

⌡0   
 i = 1 ⌡π i
 
 4 

Se ve complicado, pero no es más que la formalización de lo evidente en el gráfico.

Ya calculamos ambas integrales así que sólo colocaremos el resultado.

  n 
2 − 1 +  ∑ ( 2 2 ) 
 i = 1 

Sumatoria trivial…

 n 
2 − 1 +  ∑ ( 2 2 )  = 2 ( 2 n + 1 ) − 1
 i = 1 

Q.E.D.

TEMA: CÁLCULO D E AREAS

EJERCICIO 1: ¿QUÉ DIJO? LA COLA DE GUSANO

Problema:

Hallar el volumen del sólido cuyas secciones transversales que se obtienen al cortar con planos
paralelos al plano y = 0 son parábolas no rotadas, al cortar con planos paralelos al plano x = 0
son elipses no rotadas y al cortar con planos paralelos al plano z = 0 también son elipses no
rotadas .Con -2 ≤ x ≤ 2, -4 ≤ y ≤ 4 0 ≤ z ≤ 1.

¿Se entendió?

A primeras el sólido parece inimaginable. No obstante, recuerda la máxima para resolver cualquier
ejercicio matemático: no perder la calma.

Tenemos un sólido definido en relación a (x,y,z), requerimos volumen pero no sabemos cálculo multi-
variable (no por ahora) ¿Qué nos queda? Simplemente establecer un área transversal A(xi) (Área de
sección transversal en alguna variable independiente) para poder integrar y, así, calcular lo necesitado.

En primer lugar y como recomendación personal, lo más importante en estos problemas es conocer
como es el contorno (exterior, superficie) del sólido en el que estamos trabajando. Para ello, las curvas
que se forman en los planos principales (XY, YZ, XZ) sirven de sobremanera. Siempre toma en cuenta
que el objetivo es encontrar un A(x), A(y) o un A(z) para que podemos integrar en relación a una y sólo
una variable.
La cola de gusano

Empecemos con elipses, luego terminaremos con la parábola…

• PLANO XY

Por enunciado sabemos que es una elipse, por tanto deben existir a,b tales que

x2 y2
+ =1
a2 b2
En una vista 3D, el “suelo” debería verse así

Sin embargo, las intersecciones de los ejes con el elipse son (-2, 0, 0), (2, 0, 0), (0, -4, 0), (0, 4, 0)
deben pertenecer a la frontera de ésta en z=0. ¿Por qué? Si perteneciesen al interior (o al
exterior) el intervalo de integración sería menor al pedido (sería mayor al dado). Si
reemplazamos con una intersección en el eje X y otra en el eje Y nos queda:

42 0
2
+ 2 = 1 ⇔ 16 = a 2
a b

0 4
2
+ 2 = 1 ⇔ 4 = b2
a b

Así, la ecuación del contorno en z = 0 es

x2 y2
+ =1
4 16
 En la figura se vería así:

• PLANO YZ

Por enunciado sabemos que es una elipse, así que, de la misma forma, deben existir c,d tales
que

y2 z2
+ =1
c2 d 2
Ahora son los puntos (0,-4,0), (0, 4, 0), (0, 0, 1) deben cumplir la ecuación (al estar éstos en el
plano YZ)

42 0
+ = 1 ⇔ 16 = c 2
c2 d 2

0 1
2
+ 2 =1⇔1= d2
c d
Nos queda la ecuación

y2
+ z2 = 1
16
¡Cuidado! En el caso del plano YZ el intervalo de los z es 0 ≤ z ≤ 1, en otras palabras, solo se considera
tenemos la mitad de la elipse. Si se perdió, veamos cómo se ve en el plano YZ.
Ahora, todo el conjunto

• PLANO XZ
Ahora la parábola.
Quizás estés preguntándote ¿Es coincidencia que se haya elegido la parábola al final? Es
bastante complejo explicar matemáticamente el por qué. No obstante, una razón es que
debería parecerte “más natural” expresar la parábola en relación a las elipses que
relacionar una elipse en relación a otra y una parábola.
Proseguimos a calcular la parábola cuando y = 0. En primer lugar, tenemos ciertas nociones acerca de
ésta:

• Ésta abre hacia abajo y esta traslada “hacia arriba”, de manera que pueda cerrar el sólido.
Además, cuando x=0, z debe ser necesariamente 1, ya que es punto del contorno de la figura.
Además, su eje de simetría está en z=0. Según esto, nuestra parábola debe tener la siguiente
forma
En la perspectiva algebraica, deben existir k y h tales que:
k x2 + h = z

• La parábola debe tocar a las elipses de los planos XY e XY. Lógicamente, porque la función
buscada es un contorno del cuerpo. Así, los puntos (0, 0, 1), (2, 0, 0), (-2, 0, 0) deben pertenecer
a la parábola tal como se ve en la siguiente imagen.

Así, podemos hacer le siguiente sistema de ecuaciones para calcular k y h

k *0 + h = h = 1
−1
k * 2 2 + h = 4k + 1 = 0 ⇒ k =
4
La parábola buscada no es más que
x2
− +1=z
4

Como encontramos el contorno de la figura y está construida a partir de secciones transversales de

igual naturaleza, conocemos todo el sólido. El primer bosquejo está dibujado a partir de las secciones
transversales parabólicas del sólido, el segundo es una malla más general para que vea mejor la forma
de la cola.
Cálculo del volumen a partir de alguna sección transversal

Ya conocemos la figura completa, ahora vamos por el volumen.

¿Será necesario calcular el volumen de toda la figura? No, el sólido es simétrico en el plano y=0 y z=0.
Por tanto, sólo debemos calcular el volumen en algún octante y luego multiplicarlo por 4, para no
enredarse, usaremos el octante x ≥ 0, y ≥ 0, z ≥ 0.

Ya dijimos que queríamos expresar algún área A(x), A(y) o A(z) para después integrar en el intervalo
correspondiente. Antes de calcular alguna ¿Cuál es la más conveniente?, la respuesta a aquella
interrogante sólo depende de cada ejercicio y de qué te parezca más o menos sencilla. Un buen
consejo es simplemente guiarte por lo que usaste para sacar los contornos.
Así que, simplemente expresaremos el área en función del y0 dónde esté, así obtener A(y0) e integrar
tranquilamente.
Tomemos un punto cualquiera en el intervalo [0,4] llamado y0. Lo que queremos es encontrar el área
de la parábola en y0. Para ello, vamos a llevar el razonamiento cuando y = 0 a un punto cualquiera.
Conviene hacer un dibujo para saber a que nos referimos.

y0 = el punto donde estamos calculando el área.

x0 = el punto de la elipse en el plano XY cuando y = y0.
z0 = el punto de la elipse en el plano YZ cuando y = y0.
¡El área de no es más que la integral de la parábola desde 0 a x0! Conocemos la naturaleza de las
parábolas:
x
0
1
A( y0 ) = ⌠
3
 k x + h dx
2 A( y0 ) = k x0 + h x0
⌡0 3

Así que sólo debemos conocer cómo es k, h, x0 en función a y0. Quizás conocer z0 también sea buena
idea…

Cuando establecimos la parábola en y = 0, utilizamos algunas ideas naturales: es simétrica en el plano

YZ (x=0), y interseca a las elipses de los planos XY e YZ; de la primera deducimos la ecuación z = kx 2 + h
. de la segunda sacamos relaciones para obtener k y h. De la misma forma, determinaremos k y h en
función de y para llegar a la ecuación requerida. En álgebra, z = k ( y0 ) ⋅ x 2 + h ( y0 ) .

Sabemos que x0 e y0 se relacionan entre sí (al pertenecer la elipse de XY) de la siguiente forma:
1 2 1 2
x + y =1
4 0 16 0
 Despejamos x0, que es único (ya que x0 ≥0)
1 2
x0 = 16 − y0
2

Análogamente, tenemos una relación entre y0, z0 el pertenecer a la elipse YZ

1 2 2
y0 + z0 = 1 Nuevamente z0 es único.
16
1 2
z0 = 16 − y0
4
Ahora, ¡x0, z0 dependen de y solo de y0!
De la misma forma a nuestro caso base, utilizaremos 2 puntos importantes para calcular k(y0) y h(y0):

Cuando alcanza su máximo (en x = 0) y en las raíces del polinomio 0 = k ⋅ x 2 + h

Es claro que el punto (0, y0, z0) es el máximo de la parábola, ergo:

z0 = h ¡Pero ya habíamos expresado z0 en función de y0!

1 2
h= 16 − y0
4
En este momento hemos resuelto parte importante del problema, escribir un parámetro de la
parábola en función de nuestro punto base. ( h =h ( y0 ) )

También conocemos que la raíz del polinomio-parábola no es más que x0 (vea la figura). Por tanto
h
2
0 = k x0 + h k=− 2
x0

Como h y x0 son funciones de y0 (por tu bien, acostúmbrate a tratar las variables como funciones y a
las funciones como variables…)
1
k=− Logramos lo pedido: expresar la parábola en función de la variable x e y0
2
16 − y0

x2 1 2
z=− + 16 − y0
2 4
16 − y0

Pero el área de la parábola no es más que la integral de la parábola en el intervalo [0, x0]
 x
0
⌠
 2 x0
3
1 1
A( y0 ) = 
x 1 2
A( y0 ) = − + 16 − y0 x0
2
 − + 16 − y0 dx


2 4 3
16 − y0
2 4
 16 − y0
⌡0

Reemplazamos x0
4 1 2
A( y0 ) = − y Finalmente, el volumen no será más que la integral de la sección transversal en el
3 12 0
intervalo [0,4]
4
⌠ 4 y2
V=
32
 − dy V = Listo, ¿o no? ¡Falta multiplicar por 4! Hubiesen sido 0,5 puntos menos…

 3 12 9
⌡0

128
Vt =
9

Dato freak: Este ejercicio no es más que un caso particular del teorema de fubbini (Integral multi-
variable, 7 meses más).

Moraleja

Hay un par de conceptos importantes en la resolución que no debieses olvidar, puede que
te sirvan en los minutos que te restan durante la interrogación.
 Mantén la calma y tente fe: Si crees que no se te ocurrirá, simplemente la respuesta nunca
vendrá a tu cabeza. Au contraire, si estás con confianza posiblemente llegarás a destino.
 Conoce como corta la superficie a los planos coordenados (lo que aquí llamamos
informalmente “contorno”): Aquí tienes que dejarte llevar por tu instinto. Despeja lo fácil y
luego saca conclusiones ¡Ten en la cabeza una buena artillería de secciones cónicas!
 ¿Cuál sección transversal conviene encontrar? Si tu razonamiento del cuerpo es correcto, éste
mismo debe conducirte a la respuesta. Una vez más, ve por lo “natural y fácil”. Es posible que
hayas encontrado redundante la explicación de la parábola en este ejercicio, pero sólo era para
aclarar este punto.
 ¿Hay simetrías? ¡No te compliques de más! Recuerda multiplicar al final.
A tu criterio ¿Qué hubiese pasado si las elipses hubiesen sido rotadas en 45º?

EJERCICIO 2: INTERSECCIÓN DE CILINDROS (O CÓMO NO IMAGINAR UNA ESFERA)

Problema:

Hallar el volumen del sólido definido a partir de la intersección de los cilindros x 2 + z 2 < r2 ;
y2+z2 < r2. Suponga r > 0

¿Hermoso, no?
Bien, como ya tenemos una “receta” para estos bebés, simplemente aplicaremos lo aprendido.
Desafortunadamente, no todo lo que brilla es oro…

¿Porque no es una esfera?

Antes de todo, date cuenta que puedes usar sólo el octante principal y no todo el espacio. Esto es
porque la figura es simétrica en los planos XY, YZ, XZ. Ya que si (x, y, z) pertenece a la región, entonces
los puntos (±x, ±y, ±z) (las 8 combinaciones) también pertenecen.

Aquí es dónde nuestras anteriores reflexiones (véase la moraleja del ejercicio anterior) puede hacer
que te equivoques. Nótese que la intersección en los planos YZ, XZ del sólido y la esfera x2 + y2 + z2 < r2
son los mismos.
Plano YZ (x = 0)
x =0 z >0, r >0
x 2 + z 2 < r 2 → z 2 < r 2 → 0< z<r x =0
x 2 + y 2 + z 2 < r 2 → y2 + z2 < r2
y +z <r
2 2 2

Plano XZ (y = 0)
y =0 z >0,r >0
y 2 + z 2 < r 2   → z 2 < r 2 → 0< z<r y =0
x 2 + y 2 + z 2 < r 2   → x2 + z2 < r2
x +z <r
2 2 2

Dibujo: La intersección cilíndrica estará a la izquierda; la esfera, a la derecha.

¿Y el plano XY? Usemos lo conocido de ambas figuras. Sabemos que las esferas tienen circunferencias
como secciones transversales (dado cualquier plano que las corte), así que no será más que una simple
circunferencia de radio r

¿Qué pasa con nuestro sólido? Veamos cómo se comporta cuando z = 0 y que región crea.
z =0 x >0, r >0
x 2 + z 2 < r 2 → x 2 < r 2 → 0< x<r
z =0 y >0,r >0
y 2 + z 2 < r 2 → y 2 < r 2  →0 < y < r

En resumidas cuentas, nuestra sección no es más que un cuadrado de lado r.

¡Menos mal que nos dimos cuenta!

Ahora, ¡A por la sección transversal! ¿Te parece utilizar A(z0) y luego integrar con respecto a z?
Sabemos que con z=0 la sección era un cuadrado y parece bastante razonable que con z = z0 también lo
sea. Aquí aplicaremos sólo la definición de corte de plano (es decir, sólo intersecar) para hallar la zona.
Sea el plano z = z0
z = z0 x >0,r > z0
x 2 + z 2 < r 2  → x 2 < r 2 − z02  → 0 < x < r 2 − z0 2
z = z0 y >0,r > z0
y 2 + z 2 < r 2  → y 2 < r 2 − z0 2  → 0 < y < r 2 − z0 2

¡Ni se le ocurra aplicar integrales para calcular el área! No es necesario. Tenemos nuestra región
definida como un cuadrado; a los cuadrados es muy sencillo calcularle al área. Sería como dispararle
con una pistola láser a un wookie.
2
A( z0 ) = r2 − z0

Velo por ti mismo

En este momento es cuando debemos integrar

r
2 r3
V=⌠
 r − z dz
2 2
V=
⌡0 3

¿No me digas que se te olvidó multiplicar por 8?

16 r3
Vt =
3

¿Por qué nos imaginamos una esfera?

Resulta interesante esta pregunta porque nos hace dilucidar en que nos equivocamos al pensar
prejuiciadamente un problema. La respuesta yace el plano x = y.
Basta mirar el enunciado para advertir que es aquí donde se cortan los cilindros. Relacionemos con el
corte que hace este plano a la esfera y al cuerpo.

La línea negras (elipse) son las que inducen al error en la figura.

Cuando uno visualiza mentalmente la intersección de cilindros tiene claro que los puntos
pertenecientes a la “línea del medio” forman una cónica, al igual que las esferas. Sin embargo, en los
cilindros esto trazo es una elipse de ejes r, r√ (vea la punta del cuadrado en el plano XY en las
ilustraciones anteriores), en cambio, en la esfera es sólo una circunferencia de radio r.

Así que, para la próxima, no puedes simplemente aplicar fórmulas. Primero siéntate a pensar y procura
no ser pre juicioso.

TEMA: PARAMETRIZACIONES POLARES

EJERCICIO 1: BICHOS

Problema:

Se colocan cuatro insectos en cuatro esquinas de un cuadrado con longitud a. Los

insectos avanzan en sentido contrario a las manecillas del reloj a la misma rapidez, y cada uno
avanza directamente hacia el siguiente insecto todo el tiempo. Se aproximan al centro del
cuadrado a lo largo de trayectorias en espiral. Determine la distancia que recorre un insecto en
el momento que se encuentra con los otros en el centro.
Hint: Use el hecho de que la línea de unión entre un insecto y su “perseguido” es tangente a la
trayectoria del primero

Les presento un problema bastante difícil, ya que se define una trayectoria a partir de las propiedades
de ésta, aunque su verdadera dificultad radica en que es muy fácil perder el rumbo y llegar a nada. A
mí me tomo algo de 3 horas resolverlo (después explicaré el por qué). Además, se genera un problema
bien entretenido cuando crees tenerlo todo bajo control.

¿4 bichos, 4 parametrizaciones?

Parece muy lógico modelar la trayectoria de los bicharracos a partir de una parametrización polar (de
hecho, el problema original te dice explícitamente que uses polares). Así, todo radica en plantear un
sistema bien feo para cada uno de los insectos. Afortunadamente, la vida es bella y no hay que
romperse tanto la cabeza.

Si considerásemos el radio en función del ángulo (el origen se encuentra en el centro del cuadrado), la
posición del bicho que parte desde el primer cuadrante es:

x0 = r( θ ) cos( θ ) y0 = r( θ ) sin( θ )

Es plausible que la distancia al centro para todos los bichos es igual, como también que el ángulo entre
el perseguido y el perseguidor es siempre 90º (basta sumarle 90º más al ángulo para obtener la
posición del bicho a atrapar). Por lo que vamos a suponer que podemos escribir el par ordenado del
seguido como:
xp = −r( θ ) sin( θ ) yp = r( θ ) cos( θ )

Estrictamente, uno debería calcular una parametrización para cada uno de los bichos.
Ahora usemos el hint. Según este la dirección que apunta el bicho es tangente a su trayectoria. Así la
derivada de x con respecto a y es
dr
cos θ − r sin θ
dx dθ
r = r (θ ) ⇒ =
dy dr sin θ + r cos θ
dθ
Como recordarás, la recta tangente en el punto ( x0 , y0 ) = r (θ ) ( cos θ ,sin θ ) no es más que

y − y 0 = m ( x − x0 ) ⇒ y − r sin θ = m ( x − r cos θ )

  d r( θ )  cos( θ ) − r( θ ) sin( θ )  ( x − r( θ ) cos( θ ) )

  dθ  
y − r( θ ) sin( θ ) =  
 d r( θ )  sin( θ ) + r( θ ) cos( θ )
 
 dθ 

Sabemos que el bichito perseguido está sobre la recta tangente, con lo que armamos toda la ecuación.

Con todo este trabajo, logramos armar una ecuación diferencial (no os preocupéis) a partir de una
propiedad que estaba establecida desde antes. De todo el procedimiento, este es lo más importante
que debes comprender: Como llevar una propiedad a alguna ecuación.

¿No habrá un r (θ ) sobrando? O sea, suponiendo que r (θ ) no es 0, claro...

  d r( θ )  cos( θ ) − r( θ ) sin( θ )  ( −sin( θ ) − cos( θ ) )

  dθ  
cos( θ ) − sin( θ ) =  
 d r( θ )  sin( θ ) + r( θ ) cos( θ )
 
 dθ 
Es buena idea pasar multiplicando el denominador y desarrollar el numerador. Aquí el orden hace la
diferencia entre los 3 puntos o haber perdido el tiempo.
cos( θ )  r( θ )  sin( θ ) + r( θ ) cos( θ ) 2 −  r( θ )  sin( θ ) 2 − sin( θ ) r( θ ) cos( θ ) =
d d
 dθ   dθ 
 d   d 
−cos( θ )  r( θ )  sin( θ ) −  r( θ )  cos( θ ) + r( θ ) sin( θ ) 2 + sin( θ ) r( θ ) cos( θ )
2
 dθ   dθ 
Ya unos términos se parecen. Pasaremos todo con diferencial hacia la izquierda y lo monomios con la
función original, a la derecha; junto con factorizar.

 d r( θ )  ( 2 cos( θ ) sin( θ ) + 2 cos( θ ) 2 − 1 ) = −r( θ ) ( 2 cos( θ ) sin( θ ) + 2 cos( θ ) 2 − 1 )

 d θ 

d
r( θ ) = −r( θ ) ¡Que sencillo!
dθ
Por el momento, debes creerme que la solución es:

( −θ )
r( θ ) = c e En la sección de series vamos a liquidar a este nene

Estamos casi, casi listos y sólo nos queda hallar c; lo que es muy sencillo porque conocemos como se
comporta la función en un punto (la posición inicial).

π
r  =
a 2
El radio no es más que la mitad de la diagonal del cuadrado.
4 2
 − π     π
 4 a 2 1
 
c = a 2 e 
4
ce =
2 2
   π
1 ( −θ )
r( θ ) = a 2 e   e
4
2 ¡Si!

¿Me creerás que falta la mitad aún?

Ahora viene la parte entretenida. Ya tenemos la función y para aplicar longitud de arco necesitamos los

intervalos a integrar, es evidente que uno es π y el otro es cuando los bichos se alcancen.
4
Observemos cómo se comporta la distancia entre los 2 bichos.

2 2
d 2 = ( x0 − xp ) + ( y0 − yp )

d 2 = ( r( θ ) cos( θ ) + r( θ ) sin( θ ) ) 2 + ( r( θ ) sin( θ ) − r( θ ) cos( θ ) ) 2

d 2 = 2 r( θ ) 2 cos( θ ) 2 + 2 r( θ ) 2 sin( θ ) 2
d 2 = 2 r( θ ) 2
Efectivamente, los bichos se van a juntar cuando el radio sea 0;

   π
1 ( −θ )
a 2 e  e
4
=0
2
A ver, ¿Alguna las expresiones de la izquierda es cero? No. Es decir, ¡Los bichos jamás se tocan! No os
alarméis, la otra opción disponible es ver cuando se parece a 0. Tenemos que

( −θ )
lim e =0
θ→ ∞

Por lo que debemos considerar que los bichos se juntan cuando theta tiende a infinito.

De esta forma, lo recorrido no será más que.

∞
⌠

2
r( θ ) +  r( θ )  dθ
d dr
T=

2
Pero = − r (θ )

  dθ  dθ
⌡ π
4

∞
T= 2 ⌠
 r( θ ) d θ
⌡π
4

∞
⌠

 π 
 4  ( −θ )
1
T= 2 
 2 a 2 e e dθ Todos positivos, sin valor absoluto


⌡π
4

 π ∞  π
   
T=ae 4 ⌠
 e
( −θ )
dθ ae
4
T=a
 ¡Sublime!
⌡π T= ( 1/4 )
4
( e π)

Comentarios

Mientras resolvíamos, también nos topamos con un inconveniente que parecía tirar por la borda todo
nuestro esfuerzo (los bichos no se tocaban), mas nuestra entereza y comprensión del problema nos
llevó a buen puerto. Como anécdota, yo estuve pegado una hora intentando llegar a la ecuación
porque leí mal (consideré que la rapidez era constante) y otra por error de arrastre (clásico).

TEMA: SERIES DE POTENCIAS

EJERCICIO 1: MI PRIMERA ECUACIÓN DIFERENCIAL

Problema:

df
Determine la función f tal que ( x) = − f ( x)
dx

A este ejercicio todos le sabemos la respuesta:  . Sin embargo, esto se demostró de una forma
bien “charcha”. Durante las siguientes páginas, vamos a utilizar toda la artillería de serie de potencias
para lograr demostrar que, efectivamente, ésta es la única función que cumple con dicha propiedad.

Definimos f como una función expresada a partir de una serie de potencias

 ∞ 
f( x ) = c0 +  ∑ ci xi 
 i = 1 

Lo bueno de llevar una función a serie de potencias es que derivar e integrar cualquier tipo de función
definida así es prácticamente trivial.
∞
d (i − 1)
f( x ) = ∑ ci i x
dx i= 1

Aplicamos la condición impuesta a la función

d
f( x ) = − f( x )
dx

 ∞  ∞ (i − 1)
−c0 −  ∑ ci xi  = ∑ ci i x
 i = 1  i = 1

Ahora, para que ambas series de potencias sean iguales deben ser las constantes iguales en relación a
la que acompaña a la enésima potencia ¡Cuidado con esta parte! Si la explicación no quedó muy clara,
puede que el cambio de índice te aclare las ideas.
  ∞  ∞
−c0 −  ∑ ci xi  = ∑ ( i + 1 ) ci + 1 xi
 i = 1  i = 0

 ∞   ∞ 
−c0 −  ∑ ci xi  = c1 +  ∑ ( i + 1 ) ci + 1 xi 
 i = 1   i = 1 

Ahora podemos igualar las constantes que acompañan a cada una de las potencias
−c0 = c1 Las únicas que no contienen un x multiplicando

−ci = ( i + 1 ) ci + 1 Dada por la sumatoria, para i ≥ 2

Hemos llegado a un método recursivo para calcular cualquier constante. Averigüemos la fórmula
general. Aquí hay que ingeniárselas y “piratear” un poco. Si en la segunda expresión no hubiese un
c0
menos, la expresión no es más que cn = , pero como hay un signo negativo molestando y éste se
n!
“aparece” en las constantes de índice impar (haga la prueba). La expresión general es.

c0 ( -1 ) n
cn = No es complicado demostrar que esta ecuación cumple las condiciones recursivas
n!

¡Ya tenemos la expresión de la serie de potencias! ¿No te recuerda algo familiar?

Sabemos ahora que f es
 ∞ c ( -1 ) i xi 
f( x ) = c0 +  ∑ 
0
Factorizamos y, astutamente, “metemos” el -1 adentro de la
 i = 1 i! 

potencia de x
  ∞ ( −x ) i  
f( x ) = c0 1 +  ∑
  ¡Pero el factor no es más que e− x escrito como serie de potencias!
  i = 1 i!  
( −x )
f( x ) = c0 e ¡Voilá!

Este ejercicio es típico de clase. Si te quedaron dudas, revísalo; usaremos toda esta artillería para hacer
los próximos.

Ideas a recordar
 o Cuando compares constantes, asegúrate que sean del mismo índice en la serie de potencia.
o Manejar cambio de índice es indispensable.
o El 99% de las veces te dará una formula recursiva. Usa funciones conocidas (geométrica,
aritmética, etc.) para llegar a la fórmula general (si es que se puede…).

EJERCICIO 2: BESSEL JOTA, TERROR EN LA I2

Problema:

Sea la función Bessel de orden 0 definida como

"
− 
  =
 !
#

Demuestre que esta función satisface

   +  ′  +  ′′  = 

Era la I2, muchos de nosotros no pudimos contra este problema. Para que no te pase algo similar te
recomiendo que sigas leyendo las líneas que vienen a continuación. Aquí, el orden es vital, tienes que
fijarte bien en cada detalle para que no te pase lo mismo que a mí: Llegar a los 45 minutos y nada.

Antes que nada, por mera inspección (es decir, este trabajo es para ti) es claro que la serie Bessel es
absolutamente convergente con radio de convergencia infinito, por lo que podemos manipularla como
si fuese una serie finita. Si fuese condicionalmente convergente, todo lo que leerá no tendría sentido
porque, como sabes, las permutaciones en las series condicionalmente convergentes alteran el
resultado final.

Derivemos para formar nuestra ecuación principal. En sí, todo el mamotreto que acompaña a x no
complica mucho ya que no depende de éste.
∞ (2 n + 2)
( -1 ) n x
x J0( x ) =
2
∑ ( 2 n)
Llamaremos a este sumando A
n= 0 ( n! ) 2 2
 ∞
 2 ( -1 )n x( 2 n ) n 
x  J0( x )  = ∑ 
d
 a este B
 dx  n = 0  ( n! )2 2 ( 2 n ) 
∞ (2 n)
 d2  ( 4 n 2 − 2 n ) ( -1 ) n x
x2  2 J0( x )  = ∑ y a éste C
 dx  n= 0 ( n! ) 2 2
(2 n)

Sería muy sencillo llegar y sumar… pero, como queremos igualar las constantes que acompañan a 0, lo
mejor es correr el índice de la sumatoria A y tener todos los équites en con el mismo exponente.

∞ (n − 1) ( 2 n)
( -1 ) x
x J0( x ) =
2
∑ ( 2 n − 2)
n= 1 ( ( n − 1 )! ) 2 2
Ahora sí sumo. Date cuenta que no hay problema cuando n = 0. Con n = 0, es claro que en los sumandos B y C el
coeficiente es 0 (cumplen lo requerido), por lo que podemos simplemente sumar A, B, C a partir de 1.

Obsérvalo durante un par de minutos. ¿Te diste cuenta no es más que la suma de la constante 0?

∞  x 2 n ( −1)
n
−4n 2  x ( −1)
n −1 
( )
2n

∑  2 n + ( 4 n 2
− 2 n ) +  
( )  ( ( n − 1!) ) 2
n =1  n !
2 2n
2 − 4 n 2
 2 2 n −2

 

 ( −1)  ∞
∞ n

( )
2n

 2n + ( 4n − 2 n ) − 4 n
2 x
∑ 
n =1 
2
 = ∑0
( n !) 22 n  n =1
2

Q.E.D.

Sí, el ejercicio parece sencillo a primera vista y no te culpo porque pienses así; lo que pasa es que como se hizo
con maple y MathType está más ordenado y se entiende. Cuando estés frente al papel puede que, de todos esos
exponentes, signos o números, llegue el conocido “error de arrastre”. ¡Cuidado con desordenarte!

EJERCICIO 3: COLADOR
Problema:

Encuentre una serie de potencias
 = ∑" 

#   que verifique:

•
 = 
•
′ = 
•
′′ + 
 = 

También determine radio de convergencia.

Uno de los grandes dolores de cabeza que se tuvo que sufrir durante el examen. Muchos de mis amigos (por no
decir todos) no lograron resolver este problema a tiempo. Aunque la resolución a este problema ya está en una
pauta, no vendrá mal extenderla y hacerla algo más entendible.

Las primeras 2 condiciones nos dan poca pero valiosa información del problema.

f ( 0) = a0 + a1 ⋅ 0 + a2 ⋅ 02... = 0 a0 = 0

f ' ( 0 ) = a1 + 2a2 ⋅ 0 + 3a3 ⋅ 02... = 1 a1 = 1

Ahora aplicamos lo aprendido en el ejercicio anterior para deducir lo necesario de la ecuación diferencial.

∞
d2 (n − 2)
2
f( x ) = ∑ n ( n − 1 ) a n x
dx n=2

∞
(n + 1)
x f( x ) = ∑ an x
n= 0

Otra vez tenemos que arreglar las potencias de x en los sumandos, corriendo el índice.

 d 2   ∞ n  ∞ n
 dx2 f ( x )  + x f ( x ) =  ∑ n + 2
a ( n + 2 ) ( n + 1 ) x   ∑ a n − 1 x 
 +
  n = 0  n = 1 
¡Problemas de índice! No importa, sacamos el sumando de índice 0 en la primera sumatoria. Aprovechamos de
juntar ambas sumatorias.

 d 2   ∞ n
 dx2 f( x )  + x f( x ) = 2 a 2 +  ∑ ( an + 2 ( n + 2 ) ( n + 1 ) + a n − 1 ) x 

   n = 1 
Con esto deducimos que a2 tiene que ser 0. Si no lo fuese, con x = 0 la función no cumple lo pedido.

a2 = 0

Por otro lado, obtuvimos la siguiente ecuación recursiva.

an + 2 ( n + 2 ) ( n + 1 ) + an − 1 = 0 ∀n ≥ 1

a n + 3 ( n + 3 ) ( n + 2 ) + a n = 0 ∀n ∈ ℕ 0

an
an + 3 = −
(n + 3) (n + 2)
Puede entreverse que debemos tratar aparte la sucesión según su resto al dividirse por 3. Ya que no
existe relación “explicita” entre términos correlativos.
Con módulo 0, n = 3k
Nótese que si a3k = 0 ⇒ a3( k +1) = 0 . Como a0 = 0 ⇒ a3 = 0 ⇒ a6 = 0 ⇒ a3k = 0

Con módulo 2, el problema es análogo.

Módulo 1
Aquí no es tan sencillo, pero tampoco es cosa del otro mundo. Comencemos con a4

−1
a4 =
4⋅3

( −1)
2
−1 −1
a7 = =
4⋅3 7⋅6 2

∏ ( 3 j + 1)3 j
j =1

( −1)
k

Pareciese que con módulo 1, la sucesión es a3k +1 = k , basta comprobar la recursión

∏ 3 j ( 3 j + 1)
j =1

( −1) ( −1) ( −1)

k k −1 k −1
−1 3 k +1= n + 3 −1 − a3 k − 2
a3k +1 = = ⋅  → ⋅ =
k
3k ⋅ ( 3k + 1) k −1
( n + 3) ⋅ ( n + 2 ) k −1
( n + 3) ⋅ ( n + 2 )
∏ 3 j ( 3 j + 1)
j =1
∏ 3 j ( 3 j + 1)
j =1
∏ 3 j ( 3 j + 1)
j =1

Para n general queda

 n = 3k ⇒ an = 0

( −1)
k
n = 3k + 1 ⇒ a = ,k > 0
 n k
an  ∏ 3 j ( 3 j + 1)
 j = 1

n = 3k + 2 ⇒ an = 0

a1 = 0

Como son los coeficientes con índices de módulo 1 los que aportan, podemos escribir la función cómo
(3 k + 1)
 ∞ ( -1 ) k x 
f( x ) = x +  ∑ 
 k = 1 k 
 ∏ ( 3 j ( 3 j + 1 ) ) 
 j=1 
Aplicamos test de la razón en términos sucesivos no nulos entre potencias
1
k

a x 3k +1
∏ 3 j ( 3 j + 1)
j =1 x3
lim 3k +1 3k −2 = lim x 3 = lim =0
k →∞ a k →∞ 1 k →∞ 3k ( 3k + 1)
3k − 2 x
k −1

∏ 3 j ( 3 j + 1)
j =1

El radio de convergencia es infinito

Comentarios

Este es un lindísimo ejercicio para aprender muchas de las mañas que se usan para resolver ecuaciones
diferenciales mediante series de potencias. Tuvimos que aplicar artillería pesada, pensar mucho,
interpretar varias cosas y mantener siempre un orden para no naufragar. Recuerda lo aprendido en
este ejercicio, planteate unos similares para preparar las interrogaciones y de seguro tendrás unos
puntitos extra que tanto sirven en las instancias finales.

TEMA: SERIES, APLICACIONES GEOMÉTRICAS

EJERCICIO 1: CIRCUNFERENCIAS QUE TOCAN TRÍANGULOS

Problema:
 Sea un triangulo equilátero de lado a. Dentro de él, se encuentra una circunferencia
madre que es tangente a los 3 lados. A su vez, existen 3 circunferencias que son tangentes a la
circunferencia madre y a 2 lados del triángulo. Cada una de éstas tiene 1 circunferencia que es
tangente a ella y a 2 lados del triángulo y de ellas nacen 3 circunferencias de la misma manera
ad infinitum. Calcule el área de todas las circunferencias (Véase figura).

A lo largo de este capítulo veremos que las series tienen variadas interpretaciones y aplicaciones, una
de ellas son el cálculo de áreas para construcciones infinitas y recursivas. Quizá no es el tipo de
ejercicios que te harán hacer durante una prueba. Sin embargo, este tipo de problemas ayudan mucho
a comprender la naturaleza misma del cálculo de series a partir de sus aplicaciones; esencialmente en
las construcciones geométricas recursivas.

Luego de esta motivación, prosigamos con lo que nos compete.

Lo que debemos hacer es interpretar el problema geométrico para llevarlo a uno algebraico, dónde
sin duda tenemos muchas más herramientas de cálculo… ¿Cómo diantres lo hacemos? Se ve difícil,
pero se simplifica mucho si visualizas la figura así.
Parece trivial que a partir de la segunda circunferencia los círculos se repiten pero para cada lado del
triángulo. Para llevar el problema a un cálculo serial hay que expresar el área a partir de alguna
sucesión, en especial a partir de la del radio:
2
An = π rn

Date un par de minutos para pensar el problema, hay una idea importante que se esconde dentro de la
misma construcción recursiva:
• ¿Qué característica comparten todos los círculos?
• ¿Cómo se relacionan entre ellos?

¿Listo? Si no lo lograste (no te preocupes) aquí va un par de ayudas para que sigas rumeando.

• Piensa en una construcción auxiliar que pueda ayudarte en tu tarea.

• ¿Es posible calcular el radio del enésimo círculo si sabes el radio del anterior?

¿Aún no? Última pista.

• Las construcción auxiliares son rectas

Si no pudiste, no importa; para eso estamos. Nótese que, a excepción de la 1º

circunferencia, todas las otras se construyen a partir de su tangencia a la anterior y a
ambos lados. Por lo que conviene construir las rectas que pasan por los puntos de
tangencia entre los círculos y son paralelos al lado inferior.
 Intentemos buscar una forma recursiva para encontrar los radios (cosa lógica, la figura fue
construida recursivamente). Sea rn radio del enésimo círculo. Buscamos f tal que:
f( rn ) = rn + 1

La ilustración de la izquierda será nuestro dibujo base.

Por construcción A ' B '  AB . Por tanto △ ABC ≈△ A ' B ' C

Como el triángulo es equilátero y O es centro de transversales de gravedad

HO 1
= ⇒ 2rn = OC = OH ' + H ' C = rn + H ' C ⇒ H ' C = rn
OC 2
Sabemos que si 2 triángulos son semejantes, su razón será igual a la de sus respectivas
alturas

△ ABC HC 3rn
= = =3
△ A ' B ' C H ' C rn

Pero también, esta proporcionalidad se mantiene en los radios de las circunferencias inscritas al
triángulo
rn r
= 3 ⇒ n = rn+1
rn+1 3
¡Ya tenemos f(rn)! Sin embargo, necesitamos la formula general… no hay problema, debe ser evidente
que los radios se encuentran en proporción geométrica y nosotros conocemos una fórmula para la
forma general para proporciones geométricas, consideremos desde n=0 para no complicarnos:
 n
rn = r0  
1
3
a
Donde r0 es el radio de la circunferencia madre, por ende r0 = 3 (haz el cálculo, usa un poco de
6
Pitágoras y acuérdate de que HC es altura y transversal).
n
1 a 3
 
rn =  
3
Al conocer el radio, sabemos el área del círculo.
6
2
An = π rn
( −n )
π a2 9
An =
12
Así se soluciona la parte compleja del problema: Llevarlo de una interrogante geométrica a un cálculo
de series. El área total será la suma infinita de la sucesión multiplicado por 3 menos 2 veces la
circunferencia madre (esto es porque 3 veces en la construcción de nuestra sucesión y sólo hay 1 en la
figura)
 ∞ 
A = 3  ∑ An  − 2 r0
 n = 0 

Falta matarlo.
 ∞ ( −n ) 
− a 3
A = 3  ∑ π a 2 9  Se sacan constantes indeseables de la sucesión
 n = 0 
3

 ∞ ( −n )  a 3
A = 3 π a  ∑ 9
2  − Conocemos la resolución exacta de la serie (sí, la conocemos…)
 n = 0  3

27 1
A= π a2 − a 3 ¡Bingo!
8 3
La receta:
• ¿Qué están preguntando? Lee bien el problema, no vaya a ser que pidan el perímetro y no
el área, que la figura tenga lado 2a y no a.
• ¿Cómo traduzco a un problema de serie? Reitero, ésta es la parte esencial del problema.
 • La misma naturaleza del problema debe guiarte hacia la solución: ¿Se utilizó recursión o
una formula general? De la misma manera que usamos el hecho que podíamos dividir el
problema en uno de menor grado, tú debes hacer lo mismo.
PROBLEMA ANEXO: CALCULA LA SUMA DE TODOS LOS PERÍMETROS. QUIZÁ TE SORPRENDA EL RESULTADO

EJERCICIO 2: ESCALERA AL CIELO

Problema:

Se trazan triángulo con en la figura Cada uno de los triángulos tiene una altura de 1 y su
base es la hipotenusa del triángulo precedente. Demuestre que esta sucesión de triángulos da
una cantidad indefinida de vueltas alrededor de P mostrando que ∑' es divergente

Un ejercicio muy similar al anterior, por lo que no nos calentaremos mucho la testa y sólo aplicaremos
el razonamiento antes explicado.

Primero, parece algo complicado trabajar a partir del ángulo en sí mismo cuando la construcción fue
hecha a partir de un trabajo con los lados de cada uno de los triángulo (además, ésta es recursiva). Por
lo que vamos a utilizar una sucesión auxiliar llamada an para denotar el largo de los catetos-

hipotenusas que acompañan a theta (es el lado que está abajo). Sabemos que el primer lado tiene
largo 1.

a1 = 1

El n+1esimo término de la sucesión es la hipotenusa de un triángulo de altura 1 y cateto igual al

enésimo lado.

2
an + 1 = an + 1
Si no lo ve, vamos con la figura auxiliar para mostrar sólo la recursión de la construcción.

Tenemos la fórmula recursiva, falta la general. Para ello, no basta con mirar la fórmula de forma tan
general sino que hay que hacer un poquillo de “trampa” evaluando la sucesión en los primeros
términos

a2 = a12 + 1 = 12 + 1 = 2

( 2)
2
a3 = a2 2 + 1 = +1 = 3

A primera vista, la función se comporta como an = n . No obstante evaluar no es suficiente para

decir que realmente ésta es la sucesión en su forma general, pero que no cunda el pánico; lo único
que ha que hacer es ver si esta fórmula cumple con las condiciones recursivas.

a1 = 1 = 1 Cumple la condición inicial.

( n)
2
n +1 = +1 Cumple la recursividad.

Hemos demostrado que la sucesión es

an = n

Relacionamos nuestra sucesión auxiliar con la pedida. Por construcción sabemos que se cumple la
siguiente identidad.
 1
tan( θn ) = Pero ya sabemos cómo se comporta ()
an

θn = arctan
1 

 n

Obtuvimos la formula general, estamos casi listos.

Ahora, debemos demostrar que la serie de theta es divergente, lo que pareciese complicado
considerando que el término general de la sucesión tiende a 0. Lo que se debe hacer es comparar con
LA serie que es divergente aún cuando su término tienda a 0: 1/n.

Por criterio de comparación, calculamos

lim arctan
1 
 n
n→ ∞  n
1
Queda de la forma cero por infinito. Por lo que reemplazamos el n multiplicando como n = .
1
n
Aplicando L’hôpital.

n
lim =∞
2  1 + 
n→ ∞ 1
 n

Argumento suficiente para decir que la serie de theta es divergente. Si no me cree, puede verlo por la
misma definición de límite infinito.

θn
∀M > 0, ∃n0 ∈ ℕ : n > n0 ⇒ >M No ha valor absoluto al ser todos positivos
1
n

En español: No importa cual número se tome (por muy grande que éste sea), a partir de cierto punto
( n0 ) todos los términos siguientes son mayores a éste. En particular se cumple con M=1; por tanto

podemos pasar multiplicando la armónica y aplicar desigualdad.

 θ 
∃n0 ∈ ℕ : n > n0 ⇒  n > 1 ⇔ θn > 1  ∃n0 : n > n0 ⇒ θ n > 1
1 n n
 n 

Con lo que queda demostrado que la serie theta es mayor a la armónica a partir de cierto punto finito,
por lo que es divergente.

TEMA: SERIES, APLICACIONES VARIAS

EJERCICIO 1: ¿TIRA USTED O TIRO YO?

Problema:

Si A y B lanzan un dado de seis caras por turnos hasta que uno de ellos gane al obtener el
primer “uno". Si A tira primero, calcular la probabilidad de que él (el jugador A) gane el juego,
aceptando equi-probabilidad.

Me atrevería a decir que quedaste colgado apenas leíste el enunciado. Este es un problema en
extremo difícil si no se sabe por dónde empezar, mas nos encausaremos junto al sentido común y un
poco de “picardía ingenieril” para llegar a nuestro objetivo. En esta pregunta lo más importante es,
como vengo repitiéndote desde hace varios ejercicios, llevar el problema a una resolución de series.

Desde el papel suena muy bonito todo esto pero ¿Cómo diantres lo lograremos? Primero
contestémonos ciertas dudas preliminares para llegar a la respuesta final.

• ¿Cuando ganamos? La respuesta es, obviamente, cuando sacamos un 1 en un dado. Sin

embargo hay un detalle trivial que a muchos se les pasa de largo: ¡Ganamos sólo si nuestro
contrincante no lo ha hecho! (aplicaremos esta noción más adelante). En otras palabras, lo que
le sucede cuando el rival juega debe ser una variable a considerar en nuestro cálculo.

• ¿Cómo descomponemos el problema? En este punto se encuentra la esencia que debes

manejar a la perfección si no quieres salir decepcionado en caso que te enfrentes a un dilema
 como éste. En sí, el verdadero problema es que el jugador tiene muchas oportunidades de
ganar, ya sea en el 1º turno, al segundo, etc. Por lo que es muy sugerente fraccionar el
problema así:

“Buscaremos cual es la probabilidad de que el jugador gane en el turno enésimo y sólo en el turno
enésimo, es decir, que no ha ganado (ni que tampoco ha perdido) hasta que le toque tirar por
enésima vez”

Con esta poderosa aseveración guiando nuestra razón, lo que haremos es construir una sucesión que
represente la probabilidad de que nuestro afortunado amigo haya ganado en el enésimo turno (sin que
le haya salido el uno o que su contrincante haya obtenido una tirada ganadora). A ésta sucesión le
llamaremos tn (t por turno).

Primer turno:

Es sencillo que la probabilidad de ganar al primer turno son de 1 , en este caso no depende de lo que
6
le suceda al rival ya que nosotros jugamos primero. Por tanto:

1
t1 =
6
¿Cuándo seguimos jugando?

Para que los jugadores tiren otra vez al siguiente turno, basta con que ambos no saquen 1. O sea, la

probabilidad de que el turno haya sido “inútil” es de 5 ⋅ 5 = 25 .

6 6 36

Ganamos sólo al enésimo turno

Para que ganemos en el enésimo turno, deben darse 2 condiciones al mismo tiempo:

 Que en los n-1 turnos anteriores nadie haya ganado (todos los turnos fueron inútiles)
 Sacamos 1 en el enésimo turno.
 ( 36 )
n−1
La posibilidad de que n-1 turnos sean inútiles es de 25 y la posibilidad de que ganemos en el

enésimo turno sigue siendo de 1 . De esta manera para nuestro enésimo turno (con n mayor a 2)
6
no es más que

(n − 1)
 25 
 
tn =  
36
6
Pero con n=1 también la fórmula se cumple, por lo que hemos hallado una forma general para modelar
nuestro problema como una sucesión.

Supongamos que nuestros participantes tienen mucho tiempo y pueden jugar indefinidamente. Las
probabilidades de victoria de nuestro compadre A no es más que la suma de las probabilidades de
ganar para cada turno. Por lo que hemos llevado nuestra sucesión a una linda serie.

  25  ( n − 1 ) 
∞   
  36 
W = ∑    
n= 1  
6

6
W=
11

¡TA-TAN!

La moraleja es de siempre para cualquier aplicación de series.

De yapa obtuvimos las posibilidades de victoria para B (que es 1 menos las de A). Le recomiendo
mucho que utilice el mismo razonamiento para llegar a que esto efectivamente es cierto. Aquí tendrá
que trabajar con el problema de que los tiros de A condicionan las posibilidades de victoria de B
durante el enésimo turno.