N meros naturales y recursividad u

Rafael F. Isaacs G. Sonia M. Sabogal P.

*

Fecha: 8 de marzo de 2005

N meros naturales u
Se sabe que los nmeros naturales constituyen la estructura bsica de la Matemtica; as el u a a camino usual que se recorre es, partiendo de los naturales (N) pasar a los enteros (Z), de estos a los racionales (Q), luego a los reales (R) y nalmente a los complejos (C); el paso de un conjunto numrico a otro se da por la necesidad de ampliar cada conjunto a otro (que e lo contenga) y en el cual se puedan resolver ciertos problemas que no tienen solucin en el o conjunto dado. Una aproximacin intuitiva de los nmeros naturales asegura que son los nmeros que nos o u u sirven para contar (0,1,2,3,4,...). A nosotros nos interesa dos propiedades: que empiezan en 0 y que de uno en uno los podemos recorrer todos. Estas propiedades de los nmeros u naturales se explotan en el sistema universalmente aceptado de axiomas propuesto por el matemtico italiano Giusseppe Peano (1858-1932), que usan solo tres trminos tcnicos: a e e Nmero natural u Primer nmero natural u La funcin el siguiente de. o En los axiomas de Peano se establece la esenciade los nmeros naturales que corresponde u a la idea intuitiva que tenemos de ellos: empiezan en algn momento(existe el primero) y u van en la(uno enseguida de otro). Los axiomas son 5: N1 . El 1 es un nmero natural (Aqu puede ser 1 o 0, o cualquier otro s u mbolo, en realidad lo que importa es que existe al menos un natural). N2 . El siguiente de todo nmero natural es tambin un nmero natural. u e u N3 . Si los siguientes de dos nmeros naturales son iguales, entonces los nmeros son iguales. u u N4 . No existe un nmero natural cuyo siguiente es 1 (aqu nuevamente puede ser 1 o 0, o u cualquier otro s mbololo que importa es que existe un primer elemento). N5 . Si S es una coleccin de nmeros naturales que cumple: o u
*

UIS

Figura 1: Giussepe Peano (i) 0 S (ii) Cada vez que un natural est en S, tambin el siguiente de l est en S. a e e a Entonces S es el conjunto de todos los naturales. Notas 1 . El conjunto de los nmero naturales se simboliza N, as la expresin k N signica que u o k es un nmero natural. u 2 . Si k N, el siguiente o sucesor de k se simboliza k + 1. 3 . Como convencin entenderemos los nmeros naturales empezando por 0, as N = {0, 1, 2, 3, . . .}. o u Cuando se empiece por 1 hablaremos de enteros positivos que se notarn Z+ = a {1, 2, 3, . . .} De los 5 axiomas de Peano queremos destacar el axioma N5. llamado el Principio de induccin matemtica (Algunas veces el conjunto N se dene como el conjunto ms pequeo o a a n de R que satisface las condiciones (i) y (ii) de N5). El principio de Induccin Matemtica o a constituye la base de las demostraciones que trabajaremos en la siguiente seccin. o

Ejercicios
1. Si N es el conjunto de los naturales, Z el conjunto de los enteros , Q el de los nmeu ros racionales, I el conjunto de irracionales y R son los reales,cul de las siguientes a proposiciones NO es cierta ? a) Z contiene a N b) Q contiene a N y a Z c) I contiene a N d) R contiene a N 2

e) R contiene a I. f ) R contiene a Q. 2. No existe un nmero natural mayor que todos los dems. Por qu? u a e 3. Cul es el menor subconjunto A de los reales que cumple: a i) 0 A ii) Si x A entonces (x + 2) A 4. Cul es el menor subconjunto A de los reales que cumple: a i) 0 A ii) Si x A entonces (x + 2) A y (x 2) A

Demostraciones por induccin matemtica o a

. Es posible que el estudiante alguna vez se haya encontrado con armaciones como las siguientes: Para todo natural n, n2 + n es par. Si r R, r > 1 entonces 1 + r + r2 + ... + rn = (1 rn+1 )/(1 r) para todo n natural. 2n > n, para todo natural n. Para todo natural n se tiene que 1 + 2 + 3 + ... + n = n(n + 1)/2. Las armaciones anteriores tienen en comn la expresin: para todo natural ; en todas se u o arma que algo es vlido para todo nmero natural, es decir todos ellos son de la forma: a u p(n), para todo n N, donde p(n) es una proposicin relativa al natural n. Es fcil vericar o a que cada armacin es vlida por ejemplo para 1, 2, 3, u otros valores particulares, pero cmo o a o probar que en efecto p(n) es vlida para todo nmero natural? a u La idea es la siguiente: Si llamamos S al conjunto de nmeros naturales que hacen cierta u la proposicin p(n), o sea S = {n N : p(n) es verdadera}, entonces bastar probar que o a S = N; para sto, usamos el principio de induccin matemtica, es decir debemos probar: e o a i) Que 0 S, o lo que es lo mismo que p(1) es verdadera. ii) Que si k S entonces k + 1 S, es decir que asumimos que para algn k, p(k) es verdau dera (Hiptesis de Induccin) entonces se debe demostrar que p(k + 1) es verdadera. o o Al demostrar (i) y (ii), por el P.I.M. se concluye que S = N, es decir, que p(n) es verdadera para todo n.

Ejemplo 1. Un ejemplo muy interesante son las Torres de Hanoi. Tenemos n discos con radios crecientes y 3 estacas verticales (A, B y C) en donde se incrustan los discos. Los discos estn inicialmente por orden de tamao en la estaca A. Se pueden mover un disco de a n una estaca a cualquier otra desde que ningn disco quede encima de uno ms pequeo. u a n Notemos Tn el nmero de pasos requeridos para mover n discos y aseguramos que Tn = 2n 1 u para n N. Como T0 = 0 = 20 1, el resultado es cierto para n = 0. Sea k > 0 y supongamos que se tienen k discos. Ahora la unica manera de mover el disco mayor es mover los otros k 1 discos a C (en Tk1 movimientos). Ponemos el disco mayor en B (en 1 movimiento) y movemos los k 1 discos menores encima de l (en Tk1 movimientos e de nuevo). Asumamos que Tk1 = 2k1 1. Tenemos que Tk = 2Tk1 + 1 = 2k 1. Por tanto el resultado se ha probado por el princip de induccin. o o

Ejercicios
1. Demostrar por induccin sobre n: o a) 1 + 2 + ... + n = n(n + 1)/2 b) a + (a + d) + (a + 2d) + ... + (a + (n 1)d) = n[2a + (n 1)d]/2 (suma de una progresin aritmtica). o e c) 1 + x + x2 + x3 + ... + xn = (1 xn+1 )/(1 x) (suma de una progresin geomtrica, o e x no es 1). d) 1 + 22 + 32 + ... + n2 = n(n + 1)(2n + 1)/6 e) 1 4 + 9 16 + ... + (1)n+1 n2 = (1)n+1 n(n + 1)/2 f ) 1 2 + 3 4 + 5 6 + .... + (2n 1)(2n) = n(n + 1)(4n 1)/3 g) Si r > 1 entonces rn > 1. h) 1 + 23 + 33 + ... + n3 = [n2(n + 1)2]/4 i) 1 + 2n < 3n con n > 1. j) n < 2n con n > 1. 2. Si b1 , b2 , b3 , . . . , bn y r son nmeros reales demostrar por induccin que: u o a) r(b1 + b2 + b3 + ... + bn ) = rb1 + rb2 + . . . + rbn b) |b1 + b2 + . . . + bn | |b1 | + |b2 | + . . . + |bn |. 3. Probar que n rectas en el plano, tales que dos cualesquiera de ellas no son paralelas y tres cualesquiera de ellas no tienen un punto en comn, determinan (n2 + n + 2)/2 u regiones diferentes. 4. Sea x > 0 . Probar que para todo entero n 3 se tiene que (1 + x)n > 1 + nx + nx2

5. Cul es el error en la siguiente demostracin ? a o Teorema:Todos los caballos tienen el mismo color. Demostracin: Sea Pn la proposicin Todos los caballos de un conjunto de n cao o ballos son del mismo color. a) P1 es claramente verdadera. b) Supongamos que Pk es verdadera. Veamos que Pk+1 tambin es verdadera. Sean c1 , c2 , c3 , ..., ck+1 los k + 1 e caballos en un conjunto de k + 1 caballos. Consideremos el conjunto de k caballos {c1 , c2 , c3 , ..., ck } . Por hiptesis de induccin todos estos caballos son del mismo coo o lor. En el conjunto anterior reemplacemos ck por ck+1 . Luego el conjunto resultante {c1 , c2 , c3 , ..., ck1 , ck+1 } de k caballos, por hiptesis de induccin, todos son del mismo o o color; como c1 y ck al igual que ck+1 y c1 son de igual color, todos los k + 1 caballos son del mismo color. Luego Pk+1 es verdadera y por el principio de induccin se sigue o que todos los caballos son del mismo color. 6. Demostrar que si un conjunto S tiene n elementos entonces S tiene 2n subconjuntos. 7. Sin hacer las multiplicaciones de todos los trminos muestre que: e a) 10! = 6!7! b) 16! = 14!5!2! c) 10! = 7!5!3! d) 9! = 7!3!3!2!

Otras formas del principio de Induccin o

A veces para demostrar una proposicin Pn necesitaremos que se cumpla no solamente en o un primer elemento, sino en varios, digamos por ejemplo P0 , . . . , Pr , y adems para hacer a el paso inductivo, para demostrar Pk+1 es posible que requiramos que adems de cumplirse a en el anterior se cumpla en todos los anteriores es decir que se tenga P0 , . . . , Pk . Este es el principio de induccin completa. Antes de formularlo presentemos un ejemplo del muy o usado algoritmo de la divisin, para enteros positivos. Este nos garantiza que dado un dio videndo (por ejemplo 10) y un divisor (por ejemplo 3) existe un cociente (3) y un residuo (1). Teorema 1. Algoritmo de la divisin. Sea b un nmero entero positivo jo. Entonces o u que para todo natural n existen q y r naturales tales que n = bq + r y 0 r < b . Demostracin. Haremos induccin sobre n entonces suponemos jo b 1. Base: Si n < b el o o cociente es 0 y el residuo es n y se cumple la proposicin. o Paso inductivo: Sea n b y supongamos que tenemos el resultado cuando el dividendo es menor que n. En especial se cumple para n b (pues (n b) N), por tanto existen q1 y r1 naturales tales que n b = bq1 + r1 y 0 r1 < b. De esto se deduce que n = bq1 + b + r1 es decir, n = b(q1 + 1) + r1 con 0 r1 < b o sea que la proposicin se cumple para n. o Ahora s formalicemos esta versin del principio de induccin, que es equivalente. o o Teorema 2. Principio de Induccin Completa Si A N es tal que: o 5

i) 0 A ii) Si {0, . . . , k 1} A se deduce que k A entonces A = N Otro principio equivalente al de induccin es el siguiente: o Principio del Buen Orden Todo subconjunto no vac de nmeros naturales tiene primer o u elemento.

Ejercicios
1. Demostrar que en el algoritmo de la divisin el cociente y el residuo son unicos. o 2. Utilizando el principio del buen orden, demuestre el algoritmo de la divisin (Ayuda: o considere el conjunto {bq a N : q N} demuestre que es no vac y haga r su o primer elemento). 3. Demostrar que jo b un entero mayor que 1, cualquier natural se puede expresar en base b, es decir, para todo a N existen a0 , . . . ak (que son llamados los d gitos de a), tales que a = a0 + a1 b + . . . + ak bk y adems 0 ai < b para cada i = 1, . . . k a

Deniciones Recursivas
. Otra aplicacin importante del principio de induccin matemtica la encontramos en las o o a deniciones recursivas. Un concepto se dice denido recursivamente, si se dene expl citamente para el caso n = 1 (o n = 0, o en general para un primer caso, o primeros casos) y se da una regla (o lista de reglas) que lo denen para el caso n-simo, en trminos del e e caso anterior )o casos anteriores). Por ejemplo el concepto de potenciacinse puede denir o 1 n n1 recursivamente as Para a R denimos: a =: a y a =: a a, para todo n 2; de : esta manera tendr amos por ejemplo que a2 = a21 a = a1 a = aa, a3 = a31 a = a2 a = aaa y as sucesivamente. Muchas sucesiones de nmeros se pueden denir recursivamente: Sea por ejemplo (Sn )nN la u sucesin denida por: S1 =: 1 y Sn+1 = 2Sn + 1 o entonces los 4 primeros trminos de esta sucesin sern: e o a 1, 3, 7, 15 En realidad, podemos armar que toda denicin recursiva al n y al cabo lo que siempre o dene es una sucesin en un determinado conjunto X, es decir una funcin f del dominio o o N y codominio X; as por ejemplo las potencias de una base ja a se pueden obtener con la funcin f : N R denida por f (1) =: a y f (n) =: f (n 1)a para n 2. o

Que una sucesin denida recursivamente quede bien denida se debe al principio de induco cin. o La importancia de las deniciones recursivas radica en que se da un mtodo constructivo e para encontrar los trminos de la sucesin. Es as que se puede asegurar que los programas e o , de cmputo en general son aplicaciones de deniciones recursivas. Como se raticar ms o a a adelante, casi todas las cosas que hacemos en matemticas tiene que ver con deniciones a recursivas, por ejemplo la sumatoria y productoria , aunque se pueden y se deben entender de manera intuitiva, para programarse, encontrar y demostrar sus propiedades, deben ser denidos y tratados recursivamente. Algunas veces en las deniciones recursivas el elemento ak+1 no se dene solamente en trmie nos de ak sino que se usan adems otros anteriores. Por ejemplo en la muy famosa sucesin a o de Fibonacci el trmino siguiente se obtiene sumando los dos anteriores y se empieza por e 0, 1 as : 0, 1, 2, 3, 5, 8, 13, 21, 34, . . . La denicin recursiva de fn es as o : i) f0 = 0;f1 = 1 ii) fn+1 = fn + fn1 Tambin se puede denir sucesiones recursivas con varias variables. Por ejemplo, para la e sucesin de Fibonacci podemos denir an y bn as o : f1 = 1; g1 = 0 fn+1 = fn + gn ; gn+1 = fn Ntese que en esta denicin recursiva es realmente un algoritmo o programa para calcular o o paso a paso los trminos de la sucesin. e o

Ejercicios
1. El factorial de un nmero natural es el producto de l por todos sus anteriores hasta 1. u e Por ejemplo, 5! = 5x4x3x2 = 120 . Para 0, se considera 0! = 1. Denir recursivamente factorial de n. 2. Demuestre utilizando la denicin recursiva e induccin: o o a) (a.b)n = an bn b) an am = an+m c) 2n < n! para n > 3. 3. Sea Sn una sucesin denida recursivamente as o : i) Base: S0 = 1
1 ii) Paso recursivo: Sn+1 = Sn + 2 , para todo natural n > 0.

Encuentre el valor de S100 . Muestre una frmula no recursiva para hallar Sn . o 7

4. Se dene Sn recursivamente as : S1 = 2 Sn+1 = Sn + n + 1. Demostrar que Sn = (n2 + n + 2)/2 5. Si se dene an recursivamente as : a0 = 0; b0 = 1 an+1 = an + bn ; bn+1 = bn encuentre el valor de a976 . 6. Suponiendo conocida la sucesin an dena recursivamente: o a) Sn = a0 + a1 + . . . + an = b) Pn = a0 .a1 . . . . .an =
n i=0 n i=0

ai

ai

o e e 7. Sea = 1+2 5 y = 12 5 ; demuestre por induccin que el n-simo trmino de la sucesin de Fibonacci cumple: o 1 fn = (n n ) 5 8. Sea A = 1 1 , conjeture y demuestre por induccin una frmula para An en o o 1 0 trminos de la sucesin de Fibonacci e o

9. Se dene Sn recursivamente as : S0 = 1 Sn+1 = xSn + 1. Demostrar que Sn = 1 + x + x2 + x3 + ... + xn 10. A continuacin se dene recursivamente la sucesin an de diferentes maneras: o o a) a0 = 0; b0 = 1 an+1 = an + bn ; bn+1 = xbn b) a0 = 0; b0 = 0 an+1 = an + bn ; bn+1 = x + bn c) a0 = 0; b0 = 1 an+1 = an + bn ; bn+1 = bn + 1 d ) a0 = 1; b0 = 1 an+1 = an bn ; bn+1 = bn + 1 8

e) a0 = 0 : b0 = 0 an+1 = an + 2bn + 1; bn+1 = bn + 1 f ) a0 = 0; b0 = 1; c0 = 1 an+1 = an + bn ; bn+1 =

bn ; zn+1 cn

= zn + 1

enseguida estn, en otro orden, las deniciones no recursivas de an , halle las corresa pondientes: a) an = n! b) an = n2 c) an = n(n 1)/2 d ) an = e) an =
n i i=0 x n xi i=0 i!

f ) an = xn(n 1)/2

Aritmtica recursiva e
El poder de la recursividad est basado en que sabiendo contar, es decir sabiendo sumar 1, a podemos realizar los algoritmos ms comunes de la aritmtica: desde decidir de dos nmeros a e u cul es mayor, sumar, restar, multiplicar, hallar cociente y residuo, mximo comn divisor, a a u hasta decidir si un nmero es primo. u Ejemplo 2. La siguiente es la denicin recursiva de suma de dos numeros naturales, a o partir de sumar 1. a0 = a an+1 = an + 1 entonces an = a + n. Ntese que aplicamos la lgica de sumar con los dedos de la mano. Realmente tenemos una o o denicin recursiva de la suma de dos nmeros naturales, basada unicamente en saber sumar o u 1. Utilizando condicionales podemos denir recursivamente el producto solamente sumando 1, pero como ya sabemos sumar dos nmeros naturales cualesquiera entonces, es sensato u utilizar tal suma (como si fuera una subrutina). Ejemplo 3. Denicin recursiva de producto de dos nmeros naturales a partir de la suma o u a0 = 0 an+1 = an + c entonces an = cn. Estas dos deniciones las podemos traducir en algoritmos. Ejemplo 4. Algoritmo SUMA(a,b) Si b=0 entonces SUMA(a,b)=a si b=0 entonces SUMA(a,b)=SUMA(a,b-1)+1 FIN 9

Ejemplo 5. Algoritmo PRODUCTO(a,b) Si b=0 entonces PRODUCTO(a,b)=0 Si b=0 PRODUCTO(a,b)=PRODUCTO(a,b-1)+a FIN Ejemplo 6. Algoritmo COCIENTE(a,b) Si b>a entonces COCIENTE(a,b)=0 Si ba COCIENTE(a,b)=COCIENTE(a-b,b)+1 FIN Ejemplo 7. El algoritmo para el Cociente lo podemos traducir como denicin recursiva o a0 = a; c0 = 0 Si an < b entonces cn+1 = cn Si an bn entonces an+1 = an b; cn+1 = cn + 1 el cociente al dividir a entre b se obtiene como cn cuando an < b Denicin 1. Dados dos nmeros naturales a y b se dice que a divide a b si existe un o u natural k tal que b = ak. Se nota a|b. Denicin 2. El mximo com n divisor de dos naturales a y b es un nmero c tal que o a u u i) c|a y c|b ii) Si n|a y n|b entonces n|c. se nota c = M CD(a, b) En primaria se aprende a hallar el mximo comn divisor de dos nmeros, generalmente a u u descomponiendo los nmeros en sus factores primos, este algoritmo es prctico para nmeu a u ros muy pequeos, para nmeros grandes descomponer en factores primos es un problema n u que puede requerir mucho tiempo y por lo tanto este algoritmo no es prctico. Existe una a algoritmo muy antiguo llamado el algoritmo de Euclides que emplea sucesiones sucesivas (averiguar) y que se basa en el siguiente hecho: Proposicin 1. Siendo a > b se tiene que M CD(a, b) = M CD(a b, b). o Demostracin. Sea c = M CD(a, b) y d = M CD(a b, b). Como c|a y c|b entonces c|a b o por tanto c es un divisor comn de a b y b y tenemos que c|d. Similarmente se ve que d|c. u Entonces c|d y d|c por tanto c = d

Ejercicios
1. Expresar algoritmos (en seudocdigo o en su lenguaje preferido) para que solamente o sabiendo sumar 1 y distinguiendo cundo dos nmeros son iguales: a u a) Determinar cul de dos nmeros es mayor (si no son iguales) a u b) Hallar la diferencia entre dos nmeros. u c) Duplicar un nmero. u 10

d) Hallar el residuo y el cociente al dividir entre dos. 2. Expresar algoritmos (en seudocdigo o en su lenguaje preferido) para que solamente o sabiendo sumar y restar dos naturales y decidir cul es el mayor: a a) Halle el residuo al dividir a entre b. b) Decidir si a divide a b. c) Elevar al cuadrado un nmero. u d) Hallar el mximo comn divisor entre dos nmeros. a u u 3. Expresar algoritmos (en seudocdigo o en su lenguaje preferido) para que solamente o sabiendo sumar y restar y multiplicar dos naturales y decidir cul es el mayor: a a) Decida si un nmero es primo. u b) Expresar un nmero por sus factores primos. u c) Calcular los coecientes binomiales. d) Hallar el mximo comn divisor entre dos nmeros. a u u e) Expresar a en base b. 4. Sea Sn una sucesin denida recursivamente as o : i) Base: S0 = 1 ii) Paso recursivo: Sn+1 = Sn + 1 , para todo natural n > 0. 2 Encuentre el valor de S100 . Muestre una frmula no recursiva para hallar Sn . o 5. Multiplicacin campesina: Para multiplicar dos nmeros (de manera relativamente o u a gil) no es necesario saber las tablas de multiplicar, basta con saber duplicar un nmero u cualquiera y saber dividir entre 2. Se colocan los dos nmeros uno al lado del otro y u mientras uno se va dividiendo por dos el otro se va multiplicando por dos. Las divisiones se hacen, naturalmente enteras y los nmeros no pares de esta columna se distinguen u digamos con un . El proceso termina cuando en la columna de los nmeros que se u van dividiendo se encuentre 1. El resultado del producto se encuentra sumando los nmeros correspondientes a en la columna de los nmeros que se van multiplicando u u por 2. Vemos este proceso cuando se trata de multiplicar 312 por 45. 312 624 1248 2496 4992 9984 45 22 11 5 2 1

entonces 312 45 = 312 + 1248 + 2496 + 9984 = 14040. a) Multiplique 19 por 168 por ste mtodo. e e 11

b) Observe la siguiente denicin recursiva: o a0 = a; b0 = b; s0 = 0 an+1 = 2an ; bn+1 = COC(bn , 2); sn+1 = sn + RES(bn , 2)an Explique por qu este proceso recursivo representa realmente el algoritmo came pesino para multiplicar a y b. c) Demuestre por induccin que en la anterior recursin se tiene an bn ab = sn . o o

Recursin en las palabras o

Dado un conjunto nito (denominado alfabeto) se construye un el conjunto de las palabras con letras en , conjunto de gran inters en la informtica. Intuitivamente, una palabra e a es una sucesin nita de letras, no nos interesa para nada por ahora, que tengan sentido. As o , si = {a, b} entonces las palabras con tres letras son exactamente aaa, aab, aba, abb, baa, bab, bba, bbb. Hay muchas formas de denir formalmente el conjunto de palabras, utilizaremos (por variar) un manera recursiva. Para ello, tendremos en cuenta dos cosas: la palabra ms pequea que a n se puede hacer sobre cualquier alfabeto es la palabra sin letras que notamos ; por otra parte suponemos que sabemos agregar una letra a la derecha de una palabra dada. siendo as : Denicin 3. Siendo cualquier conjunto nito se dene recursivamente as o : Base: Paso Recursivo: Si w y x entonces wx . Para cualquier = se tiene que es un conjunto innito. As si = {a, b} entonces , = {, a, b, aa, ab, ba, . . .}. La denicin recursiva es muy util para formalizar conceptos alo rededor de las palabras palabras y hacer demostraciones. La operacin ms importante entre o a palabras es la concatenacin,que intuitivamente signica pegar palabras y que denimos o a continuacin. o Denicin 4. Se dene en la concatenacin recursivamente as o o : Base: Si v entonces v Paso Recursivo: Si v, w y x entonces v(wx) = (vw)x

Ejercicios
1. Denir recursivamente longitud de una palabra. 2. Si tiene n letras cuntas palabras hay en con longitud k? Demuestre por induca cin sobre k su armacin. o o 3. Se dene |w|x , para w , x recursivamente as : i) Base: |w|x = 0 ii) Paso recursivo: |wy|x = |w|x , si y = x y |wy|x = |w|x + 1, si y = x. Intuitivamente qu es |w|x ? e 4. Demostrar que la concatenacin entre palabras es asociativa. o 12

5. Sea = {a, b}, para v, w se entiende que v w se obtiene cuando reemplazamos en v todas las as por w. Denir recursivamente esta operacin. Demostrar en base a o su denicin que esta operacin es asociativa. o o

13