Sucesiones y recurrencias

Roberto Quezada Departamento de Matem aticas, UAM-Iztapalapa 14 de enero de 2014

Resumen: Discutimos algunas relaciones de recurrencia y su relaci on con sucesiones num ericas bien conocidas.

1.

Introducci on

En este art culo realizamos una discusi on elemental de algunas sucesiones num ericas bien conocidas, as como algunas relaciones entre ellas. Nuestro prop osito es ilustrar con ejemplos sencillos, los procesos de descubrimiento y escritura rigurosa de resultados matem aticos. El contenido de este art culo se puede usar en un curso introductorio para j ovenes estudiantes de matem aticas que, adem as de motivarlos, muestre la manera en que algunos matem aticos realizamos nuestro trabajo. Aunque el tema es muy popular y se presenta en muchas referencias que van desde libros, v ease por ejemplo [1], hasta presentaciones interactivas en internet, nuestro enfoque tiene cierta originalidad. Adem as de presentar alguna de estas sucesiones num ericas escribiendo sus primeros t erminos y de inferir a partir de ellos algunas de sus propiedades, aprovechamos la relaci on de recurrencia que ella satisface, para proponer una denici on y demostrar sus propiedades de manera deductiva.

2.

Qu e es una ecuaci on en diferencias?

Una ecuaci on en diferencias es una relaci on de recurrencia (o simplemente recurrencia), que permite calcular los valores {a1 , , an , } de una suce1

si on a = (an )n1 . Por ejemplo, la relaci on de recurrencia an+1 + an = 0, determina una sucesi on a = (an )n1 cuyos valores son a2 = a1 , a3 = a2 = a1 , a4 = a3 = a2 = a1 , . Esta sucesi on depende del valor de a1 . Por ejemplo, si a1 = 1 la sucesi on es a = (an )n1 = ((1)n+1 )n1 = {1, 1, 1, 1 }. Pero si a1 = 2, entonces la sucesi on a es {2, 2, 2, 2, }. En otras palabras, la relaci on de recurrencia (1) no determina un sola sucesi on, i.e., la soluci on de (1) no es u nica. De hecho, existen tantas soluciones diferentes como valores de a1 . Si queremos determinar una u nica sucesi on que satisfaga la ecuaci on (1), debemos a nadir una condici on inicial como a1 = i, con i un valor jo i R. Es decir, el problema an+1 + an = 0, a1 = i, con i R, un valor jo, tiene una u nica soluci on dada por: {i, i, i, i, }. N otese que esta sucesi on se representa de manera concisa mediante la f ormula n+1 an = (1) i. Es claro que esta sucesi on satisface la condici on inicial, pues a1 = i. Para demostrar que esta sucesi on tambi en satisface la ecuaci on (1) basta observar que an+1 + an = (1)n+2 i + (1)n+1 i = (1)n+1 i + i = 0. (2) (1)

3.

N umeros poligonales

Si a un punto se le agregan dos puntos m as para formar un tri angulo equil atero y a su vez a este tri angulo se le agregan tres puntos m as para obtener un tr angulo equil atero con tres puntos en cada lado y continuamos de esta manera agregando cuatro, cinco, etc. puntos, el n umero de puntos en cada tri angulo equil atero as obtenido dene la sucesi on de n umeros tri angulares. Es decir, la sucesi on de n umeros triangulares es {1, 3, 6, 10, 15, 21, }. Los n umeros cuadrados se obtienen de manera similar; empezando con un punto se agregan tres, puntos m as para formar un cuadrado y a este se agregan cinco puntos m as para formar un cuadrado con tres puntos en cada lado, el n umero total de puntos de cada cuadrado corresponde con los elementos de la sucesi on {1, 4, 9, 16, 25, 36, }. Los n umeros pentagonales se obtienen empezando con un punto y agregando cuatro, siete, diez, etc. puntos de manera que se obtienen los elementos de la sucesi on {1, 5, 12, 22, }. Los n umeros hexagonales son los t erminos de la sucesi on {1, 6, 15, 28, }, que se obtienen iniciando con un punto agregando cinco, nueve, trece, etc. puntos en cada etapa para formar un hex agono m as grande a partir del anterior. Dejamos que el lector dibuje los pol gonos correspondientes en cada sucesi on, o bien consulte alguna referencia, por ejemplo [1], sobre n umeros poligonales donde se ilustre este proceso. Para reconocer las variables de las cuales dependen los n umeros poligonales, a partir de este momento los denotaremos mediante el s mbolo pm (n), con m, n N. El sub ndice m se reere al n umero de lados del pol gono y n corresponde con el lugar que ocupa en la correspondiente sucesi on. Por ejemplo, p4 (4) es el cuarto n umero cuadrado, es decir, p4 (4) = 16, mientras que p5 (3) es el tercer n umero pentagonal, i.e., p5 (3) = 12. En el Cuadro 1, se muestran los primeros n umeros poligonales y la relaci on de recurrencia que satisfacen. Con esta notaci on y observando la tabla, podemos inferir que para cada m N, los n umeros poligonales con m lados (m-gonales), con m 3, satisfacen la ecuaci on en diferencias pm (n + 1) pm (n) = 1 + (m 2)n, n 1 (3)

con las condici on inicial pm (1) = 1. Usaremos los resultados de nuestras observaciones e inferencias para dar una denici on de los n umeros poligonales. Es decir, tomaremos a la ecuaci on 3

N umero poligonal Primero Segundo Tercero Triangular 1 3 6 Cuadrado 1 4 9 Pentagonal 1 5 12 Hexagonal 1 6 15

p3 (n + 1) p3 (n) = 1 + n p4 (n + 1) p4 (n) = 1 + 2n p5 (n + 1) p5 (n) = 1 + 3n p6 (n + 1) p6 (n) = 1 + 4n

Cuadro 1: N umeros poligonales

en diferencias (3) como denici on de los n umeros poligonales, aprovechando que la soluci on de una ecuaci on en diferencias como (3) con la condici on inicial pm (1) = 1 es u nica. Denici on 3.1. El n- esimo n umero poligonal con m lados es el n- esimo t ermino, pm (n), m 3, n 1, de la u nica sucesi on que resuelve la ecuaci on en diferencias (3) con condici on inicial pm (1) = 1. Usando esta denici on demostraremos algunas propiedades y relaciones entre estos n umeros. El siguiente resultado se le atribuye a Te on de Esmirna, siglo II a.C. Proposici on 3.2. Cualquier n umero cuadrado es suma de dos triangulares sucesivos, m as precisamente, para cada n 1 se tiene que p4 (n + 1) = p3 (n) + p3 (n 1). (4)

Demostraci on. De acuerdo con la denici on, bastar a demostrar que el lado derecho de (4) satisface la ecuaci on en diferencias que determina de manera u nica a la sucesi on p4 (n), es decir, la ecuaci on p4 (n + 1) p4 (n) = 1 + 2n, con condici on inicial p4 (1) = 1. Obs ervese que p3 (n + 1) + p3 (n) p3 (n) p3 (n 1) = p3 (n + 1) p3 (n) + p3 (n) p3 (n 1) = (1 + n) + 1 + (n 1) = 1 + 2n. Hemos usado que la sucesi on de n umeros triangulares p3 (n) satisface la ecuaci on en diferencias p3 (n + 1) p3 (n) = 1 + n. Ahora, usando que p3 (1) = 1, 4 (6) (5)

tenemos que p3 (1) + p3 (0) = 1 + 0, pues p3 (0) = 0 por ubicuidad. Esto demuestra que el lado derecho de (4) satisface la ecuaci on (5) junto con la condici on inicial, entonces por la unicidad, podemos concluir que la identidad (4) se cumple para cada n 1. Proposici on 3.3. (Nic omaco de Geresa, alrededor de 100 d.C.) El n- esimo n umero m-gonal, pm (n), es igual a la suma del n- esimo (m 1)gonal, pm1 (n), m as el (n 1)- esimo triangular, es decir, pm (n) = pm1 (n) + p3 (n 1), n 1. (7)

Demostraci on. Bastar a demostrar que el lado derecho de (7) satisface la misma ecuaci on en diferencias que pm (n) y la correspondiente condici on inicial. Para la condici on inicial tenemos que pm1 (1) + p3 (0) = 1. Y, por otra parte, para cada n 2, tenemos que pm1 (n) + p3 (n 1) pm1 (n 1) p3 (n 2) = pm1 (n) pm1 (n 1) + p3 (n 1) p3 (n 2) = 1 + (m 3)(n 1) + 1 + (n 2) = 1 + (m 2)(n 1). Lo cual demuestra (7). El siguiente resultado es una generalizaci on del Teorema de Te on de Esmirna, Proposici on 3.2, que se atribuye a Bachet de M eziriac, siglo XVII. Como su demostraci on es esencialmente la misma que para las dos proposiciones anteriores, dejaremos que el lector complete los detalles. Proposici on 3.4. El n- esimo n umero m-gonal, pm (n), con m 3 y n 1, es igual al la suma del n- esimo triangular m as (m 3) veces el (n 1)- esimo triangular, i.e., pm (n) = p3 (n) + (m 3)p3 (n 1), m 3, n 1. (9) (8)

4.

Sucesi on de Fibonacci

La sucesi on de Leonardo de Pisa (Fibonacci), 1170-1250, es la sucesi on 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, que fue descrita por el mismo en relaci on con un problema de cr a de conejos: Cu antos pares de conejos 5

Mes 1 (inicio) 1 (nal) 2 (nal) 3 (nal) 4 (nal) 5 (nal) 6 (nal)

Producci on Pareja inicial (no productiva) Pareja inicial productiva. Se cruza Segunda pareja. Se cruza la pareja inicial Tercer pareja. Se cruzan dos parejas Dos parejas nuevas. Se cruzan tres parejas Tres nuevas. Se cruzan cinco Cinco nuevas. Se cruzan ocho Cuadro 2: El problema de Fibonacci

Parejas 1 1 2 3 5 8 13

se producir an en un an o si se inicia con una sola pareja que es productiva despu es de un mes, produciendo una segunda pareja, que a su vez es productiva despu es de un mes? El Cuadro 2 muestra el proceso de producci on de parejas de conejos de acuerdo con la regla enunciada. Observando el cuadro se puede inferir que si f (n), n 1, es el n- esimo t ermino de la sucesi on de Fibonacci, entonces se satisface la relaci on de recurrencia f (n) = f (n 1) + f (n 2), n 2. Usando esta relaci on vemos que f (2) = f (1) + f (0), f (3) = f (2) + f (1) = 2f (1) + f (0), f (4) = f (3) + f (2) = 3f (1) + 2f (0), f (5) = f (4) + f (3) = 5f (1) + 3f (0), f (6) = f (5) + f (4) = 8f (1) + 5f (0)

(10)

Los t erminos de esta sucesi on dependen de los valores de f (1) y f (0). Sabemos que f (1) = 1 y para reproducir la sucesi on de Fibonacci debemos tomar f (0) = 0. Es decir la sucesi on de Fibonacci es la soluci on u nica del problema f (n) = f (n 1) + f (n 2), n 2 f (1) = 1, f (0) = 0. (11)

Usaremos este resultado de nuestro razonamiento inductivo para dar una denici on de la sucesi on de Fibonacci y deducir algunas de sus propiedades. 6

Denici on 4.1. La sucesi on de Fibonacci es la soluci on u nica de la ecuaci on en diferencias (11) con sus dos condiciones iniciales. El siguiente resultado sobre la sucesi on de Fibonacci se puede encontrar en la literatura. Lo demostraremos usando nuestra denici on y el m etodo que empleamos en la secci on anterior. Teorema 4.2. La sucesi on de Fibonacci se puede escribir en la forma n xn 1 x2 , n 0, (12) f (n) = 5 donde x1 =
1+ 5 2

y x2 =

1 5 2

son las ra ces de la ecuaci on x2 x 1 = 0.

Demostraci on. De acuerdo con nuestra denici on, bastar a demostrar que la sucesi on (12) satisface la ecuaci on (11) y las condiciones iniciales. Para las x0 x0 x2 1 condiciones iniciales tenemos que f (0) = 15 2 = 1 = 0, y f (1) = x1 = 5 5
5 5

= 1. Por otra parte, tomando en cuenta que x1 + x2 = 1, tenemos que 1 n1 n1 f (n 1) = (x1 x2 ) 5 1 n1 n1 = (x1 x2 )(x1 + x2 ) 5 1 n1 1 x1 + xn x2 xn = (xn 1 x2 1 2) 5 1 1 n n2 2 = (xn xn ) 1 x2 ) + x 1 x2 ( x1 2 5 5 = f (n) + x1 x2 f (n 2) = f (n) f (n 2),

(13)

pues x1 x2 = 1. Esto completa la demostraci on. El n umero x1 = 1+2 5 se conoce como n umero aureo. Otra propiedad del n umero a ureo es la siguiente. Proposici on 4.3. La sucesi on g (n) = xn on en 1 , n 1, satisface la ecuaci 2 diferencias (11) con las condiciones g (1) = x1 y g (2) = x1 . Demostraci on. Es claro que las condiciones iniciales se cumplen. Por otra parte, para cada n 3,
n1 n2 + x1 ) g (n 1) + g (n 2) = (x1 n2 = x1 (x1 + 1) = xn 1 = g (n),

(14)

2 pues x1 satisface la ecuaci on x2 1 x1 1 = 0, es decir x1 + 1 = x1 . Esto demuestra la proposici on. La siguiente propiedad del n umero aureo y la sucesi on de Fibonacci es sorprendente.

Proposici on 4.4. Sea x1 el n umero aureo, entonces se satisface la identidad xn 1 = f (n)x1 + f (n 1), n 0, donde f (n) es la sucesi on de Fibonacci. Demostraci on. Bastar a demostrar que el lado derecho de (15) satisface la misma ecuaci on en diferencias que xn 1 y las mismas condiciones iniciales dadas en la proposici on anterior. Para las condiciones iniciales tenemos para n = 1 que f (1)x1 + f (0) = x1 , para n = 2, f (2)x1 + f (1) = x1 + 1 = x2 1 y para n 3 tenemos que f (n 1)x1 + f (n 2) + f (n 2)x1 + f (n 3) = x f (n 1) + f (n 2) + f (n 2) + f (n 3) = xf (n) + f (n 1), donde hemos usado (11). Esto demuestra la proposici on. (16) (15)

5.

El tri angulo de Pascal

Vamos a considerar ahora una sucesi on con dos ndices, (amn ), m 0, 0 n m, cuyos t erminos aparecen en el siguiente arreglo triangular llamado Tri angulo de Pascal: 1 1 1 1 1 1 4 3 6 2 3 4 1 1 1

A partir de este arreglo vemos que a00 = 0, a10 = 1 = a11 , a20 = 1, a21 = 2, a22 = 1, y observando con m as cuidado notamos que todos los t erminos sobre los lados del tri angulo son iguales a 1, es decir, am,0 = 1 y amm = 1, m 0. 8 (17)

Adem as los t erminos en el interior del tri angulo satisfacen la relaci on de recurrencia amn = am1,n1 + am1,n , m 2, 1 n m 1. El coeciente binomial (o n umero combinatorio) m, se dene mediante las relaciones m n m 0 =
m n

(18)

, m 0, 0 n

m! , m 0, 0 < n m 1, n!(m n)! m = 1, =, m 0. m

(19)

Demostremos que el coeciente binomial resuelve la ecuaci on en diferencias (18) junto con las condiciones (17). Proposici on 5.1. La sucesi on doble amn = m , n satisface la ecuaci on (18) y las condiciones (17). m 0, 0 n m

Demostraci on. En vista de la denici on de m , es claro que esta sucesi on n doble satisface las condiciones (17). Por otra parte, tenemos que am1,n1 + am1,n = m1 m1 + n1 n (m 1)! (m 1)! + = (n 1)!(m n)! n!(m n 1)! (m 1)!(m n) (m 1)!n + = n!(m n)! n!(m n)! m!(m n) m!n + = n! m(m n)! n! m(m n)! m! n (m n) m = = + n!(m n)! m m n = amn .

(20)

Esto demuestra la proposici on. Es bien conocido que varias de las relaciones demostradas en las secciones anteriores se encuentra en el tri angulo de Pascal. Por ejemplo, los n umeros triangulares (encerrados en recuadros) se encuentran en una diagonal del Tri angulo de Pascal: 9

1 1 1 1 1 4 10 3 6 2 3 4 1 1 1 1

Y sumando los t erminos en las diagonales con subrayado o recuadro, 1 1 1 1 1

1 3

2 3 6

1 4 1

se obtiene la sucesi on de Fibonacci , {1, 1, 2 , 3 , 5

}.

Una propiedad muy interesante que se observa en el tri angulo de Pascal es el llamado Patr on del palo de hockey: la suma de todos los t erminos en una diagonal que se inicia en un lado del tri angulo es igual al t ermino que se encuentra abajo del u ltimo . Ilustramos esta propiedad con varios ejemplos en el tri angulo usando recuadros de diferente tipo.

10

1 1 1 1 1 5 4 10 3 6 10 2 3 4 5 1 1 1 1

Ahora, formul emosla con toda generalidad y demostr emosla. Teorema 5.2. Para cada m 1 y 1 n m, se satisface que n n+1 m + + + n n n = m+1 . n+1 (21)

Demostraci on. Usaremos inducci on sobre m 1. Si m = 1, entonces n = 1 y tenemos que 1 2 =1= . 1 2 Ahora sup ongase que el resultado vale para m > 1 y cada 1 n m; demostr emoslo para m + 1 y cada 1 n m + 1. Si 1 n m + 1 tenemos, por la hip otesis de inducci on y la Proposici on 5.1, n n+1 m m+1 + + + + n n n n = = m+1 m+1 + n+1 n m+2 . n+1

(22)

Esto demuestra el teorema. Revisemos algunas consecuencias de este resultado. La primera de ellas es un resultado bien conocido. Corolario 5.3. La suma de los primeros m n umeros naturales es igual a m(m+1) . 2

11

Demostraci on. Para cada m 1, t omese n = 1 y apl quese el teorema anterior para obtener, 1 + 2 + + m = 1 2 m + + + = 1 1 1 m(m + 1) (m + 1)! = . = 2!(m 1)! 2 m+1 1+1

(23)

Corolario 5.4. El n- esimo n umero triangular puede escribirse en la forma n+1 p3 (n) = 2 y adem as p3 (1) + p3 (2) + + p3 (n) = n+2 . 3 (24)

Demostraci on. Para demostrar la primera armaci on bastar a demostrar n+1 que 2 satisface la ecuaci on en diferencias (3) con m = 3 y la condici on 1+1 inicial p3 (1) = 1. En efecto, claramente tenemos que 2 = 1, entonces la condici on inicial se cumple. Adem as, usando el resultado de la Proposici on 5.1 se obtiene que, n+2 n+1 2 2 = n+1 1 = (n + 1)! = 1 + n. n!

Entonces podemos concluir que p3 (n) = n+1 . 2 Por otra parte, para cada m 1 y n = 2 el resultado del teorema anterior implica que p3 (1) + p3 (2) + + p3 (n) = 2 3 n+1 + + 2 2 2 = n+2 . (25) 3

Con lo cual queda demostrado el corolario. Hemos discutido s olo algunas de las propiedades de los n umeros naturales que se encuentran en el tri angulo de Pascal. Invitamos al lector continuar descubriendo y demostrando otras. Referencias 1.- Deza E. and Deza M.M., Figurate Numbers, World Scientic, 2012.

12