Metodologa de la Matemtica

Tarea N 1

Sebastin lvarez Avendao Jessica Katherine Serna Morales

Estudiantes de Matemticas

13 de diciembre de 2013

Problema. De cuntas formas se puede escribir un entero como suma de enteros positivos consecutivos? Comprensin. Un entero n es suma de enteros positivos consecutivos, si n es de la forma

n = m + (m + 1) + ... + (m + k) para algunos enteros positivos m y k. Sabemos que existen inntos nmeros n que satisfacen tales condiciones. (por ejemplo los impares son de la forma 2n = n + (n + 1) y sabemos que son innitos). Adems, la forma en que podemos escribir un entero positivo n no es necesariamente nica, pues tomemos n = 9, y digamos (m1 = 2, k1 = 2), (m2 = 4, k2 = 1), valores con los cuales escribimos a 9 de dos formas distintas:

2 9 = (k1 + 1)(2m1 + k1 ) = (k2 + 1)(2m2 + k2 ) Deseamos entonces saber de cuantas formas podemos escribir un numero como suma de enteros positivos consecutivos. Diseo de plan de solucin. Examinamos casos particulares y conjeturamos una formula. Ejecucin del plan. Vemos conveniente realizar la siguiente denicin: Denicin 1 Sea n un entero positivo. Decimos que n se puede construir, o que n es construible si es suma de enteros positivos consecutivos, es decir, si existen m y k enteros positivos tales que n = m + (m + 1) + + (m + k) Simplicando la suma de la denicin, podemos decir que el numero n es construible si y solo si 2n = (k + 1)(2m + k) Para algunos m, k enteros positivos. (1)

Los siguientes resultados los usaremos libremente de ahora en adelante por la simplicidad de su demostracin: Observaciones 1. (k + 1) al igual que (2m + k) dividen a 2n. 1

2. Si k es par, es decir, k = 2i para algn entero positivo i, entonces 2n = (2i + 1)(2(m + i)) = (2i + 1)(2s) Con s 2 entero. Entonces 2n es el producto de un nmero par por un impar. 3. Si k es impar, es decir, k = 2i 1 para algn entero positivo i, entonces, 2n = (2i)(2(m + i) 1) = (2i)(2s 1) Con s 2 entero. Igualmente, 2n es el producto de un nmero par por otro impar. 4. Como k 1 y m 1, tenemos que 2m + k > m + k k + 1 2, entonces el menor factor en la denicin, determina k + 1, con k el nmero de sumandos consecutivos. Como primera aproximacin, podemos examinar el caso particular de cuando n = p con p un primo. Sin embargo, nos es fcil generalizar tal situacin en el siguiente ejemplo: Ejemplo 1 Consideremos el caso particular en que n = p con p = 2 primo. Supongamos 2 p = (k + 1)(2m + k), con m,k en los enteros positivos. Encontremos condiciones para k y m.

Es claro adems que las nicas posibles formas en que podemos factorizar a 2 p (en parejas y con todos sus factores positivos), son las siguientes: 2 p = (1)(2 p ) = ( p)(2 p 1 ) = ( p2 )(2 p 2 ) . . . = ( pi )(2 p i ) . . . = ( p 1 )(2 p) = ( p )(2) Que en total, son + 1 posibilidades distintas. Una de las condiciones es que como 2m + k > m + k k + 1 2, debemos eliminar todos aquellos casos tales que alguno de los factores sea menor que dos; es decir, aquellos casos tales que uno de los factores sea precisamente 1, lo cual ocurre solo en la primera factorizacin. La otra condicin que se debe cumplir es que k + 1 sea el menor de los dos factores (son distintos puesto que uno de ellos es par y el otro impar). As tenemos que para 1 i , si pi < (2 p i ), denamos ki = pi 1 (menor de los factores) y mi = (2 p i pi + 1)/2 (mayor de los factores). Si pi > (2 p i ), denimos mi = pi 1 (mayor de los factores) y ki = (2 p i pi + 1)/2 (menor de los factores). En cualquier caso, como p > 2, entonces 2

k 1 y m > 1. Entonces el par ordenado (mi , ki ) cumple con la denicin de construible para n = p , y como i puede tomar valores, concluimos que hay ( + 1) 1 pares ordenados distintos que cumplen la denicin de construible para n. Si analizamos el ejemplo anterior, podemos conjeturar que el nmero de formas en que n se puede construir, es precisamente el numero de formas en que n puede ser escrito como producto de dos factores, par por impar, eliminando el caso particular de cuando el factor impar es 1. Podemos pensar en demostrar el siguiente teorema. La demostracin es similar al modo en como desarrollamos el ejemplo anterior.
m 1 2 Teorema 1 Sea n un entero positivo par y sea n = 20 p 1 p2 . . . pm su factorizacin prima, con 0 1, i 1, pi = 2 con i = 1, 2, ..., m. Entonces el nmero de formas en que n puede ser escrito como producto de dos factores distintos, tales que uno de ellos es par y el otro impar, es (n) = m i=1 (i + 1).

Demostracin Procedamos por induccin sobre m (el nmero de factores primos de n):
1 Paso base: Si m = 1 entonces n = 20 p 1 .

Como debemos factorizar a n como el producto de par por impar, solo uno de los factores debe tener la potencia de 2. Las nicas posibles factorizaciones (distintas) son entonces productos de la forma j 1 j (20 p )( p1 ) con j = 0, 1, 2, . . . , 1 , y como p1 = 2, uno de los factores es par y el otro impar. Como 1 para cada valor de j, se obtiene una solucin diferente, concluimos que (n) = 1 i=1 (i + 1) = (1 + 1) Paso inductivo: Supongamos que si m = k y n1 = 20 q1 1 q2 2 . . . qk k entonces (n1 ) = k i=1 (i + 1). k k+1 k+1 1 2 Veamos que si m = k + 1 y n = 20 p p entonces ( n ) = . . . p p ( + 1 ) . i=1 i 1 2 k k+1

k+1 k 1 2 Llamemos s = 20 p 1 p2 . . . pk y notemos que n = (s)( pk+1 ).

Podemos aplicar la hiptesis inductiva y tenemos que (s) = k i=1 (i + 1). Las posibles factorizaciones distintas tales que s es producto de par por impar, son de la forma: s = j j j1 j2 1 j1 2 j2 (20 p p2 . . . pk k k )( p1 p2 . . . pkk ) con ji = 0, 1, 2, . . . , i ei = 1, 2, . . . , k. Son claramente distin1 tas porque uno de los factores es par, y el otro impar. j +1 j k+1 jk+1 j1 j2 1 j1 2 j2 Tome j1 , j2 , . . . , jn jos. Entonces n = (20 p p2 . . . pk k k pk+ )( p1 p2 . . . pkk 1 1 +1 ), donde jk+1 = 0, 1, 2, . . . , k+1 . En tales factorizaciones, uno de los productos es par y el otro impar, pues por hiptesis, pi = 2. Esto signica que por cada forma de escribir a s, existen k+1 + 1 formas de escribir a k+1 n, esto es, existen (n) = (k+1 + 1) (s) = (k+1 + 1) k i=1 (i + 1) = i=1 (i + 1) formas de escribir a n como producto de un par por un impar, lo que completa la demostracin. Sea n un entero positivo. Notemos entonces que segn la demostracin anterior, las factorizaciones de 2n j j j1 j2 1 j1 2 j2 tienen la forma 2n = (20 p p2 . . . pk k k )( p1 p2 . . . pkk ) con i 1. La nica forma entonces 1 en que uno de los factores sea 1, es precisamente cuando ji = 0 para todo i = 1, . . . , k. Con esto en mente pasamos al objetivo fundamental de este trabajo, el siguiente corolario. Corolario 1 Sea n entero positivo. El nmero de formas en que n se puede construir es (n) 1. 3

Demostracin Recordemos que n es construible si existen m, k enteros positivos tales que 2n = (k + 1)(2m + k). En el teorema anterior, vimos que el nmero de formas de factorizar a n en dos factores par e impar, es (n) = m i=1 (i + 1). Lo nico que debemos hacer, es eliminar el caso en que uno de los factores sea 1. En el resto de los casos, tomamos a k + 1 como el menor de los factores y 2m + k como el mayor. Por lo tanto, el nmero de formas en que n puede ser construido, es m i=1 (i + 1) 1. Mirada retrospectiva. Podemos pensar en generalizar el anterior resultado como sigue: de cuntas formas se puede escribir un nmero como suma de elementos consecutivos de una progresin aritmtica?, resultado mas general que de hecho tratamos en otro trabajo.

Metodologa de la Matemtica
Tarea N 2

Sebastin lvarez Avendao Jessica Katherine Serna Morales

Estudiantes de Matemticas

12 de diciembre de 2013

Problema. De cuntas formas se puede escribir un entero como suma de trminos positivos consecutivos en una progresin aritmtica? Comprensin. Una progresin aritmtica es una funcin de los naturales en un subconjunto de los naturales, cuyo nsimo trmino denotamos por an , tal que a0 es el primer elemento, y la distancia entre dos elementos consecutivos de la progresin es constante. Es decir an+1 an = d para cada an en la progresin. Teniendo en cuenta que el i-simo trmino de la progresin es ai = a0 + id , la suma de elementos consecutivos de la progresin, toma entonces la forma: m = ai + (ai+1 ) + . . . + (ai+k ) = ai + (ai + d ) + . . . + (ai + kd ) = (a0 + id ) + (a0 + (i + 1)d ) + . . . + (a0 + (i + k)d ) con a j trminos de la progresin. En forma equivalente: m = (k + 1)(2a0 + 2id + dk) 2 (1)

para algunos i, k enteros positivos. Con el n de simplicar la escritura, nos conviene hacer una denicin. Decimos entonces que un entero m esta en (a0 , d ) si y solo si es suma de enteros positivos consecutivos de la progresin aritmtica de trmino inicial a0 y distancia d . En otras palabras, m esta en (a0 , d ) si y solo si m es de la forma dada en (1). A la ecuacin (1), la llamamos la ecuacin de caracterizacin de (a0 , d ). Nuestro objetivo es entonces clasicar los elementos de (a0 , d ). Diseo de plan de solucin. Para las condiciones sucientes que queremos encontrar, solo tenemos inicialmente los datos a0 , d , m, es decir, no tendremos ningn k, i. Si queremos demostrar que un elemento m que cumpla con tales condiciones, es suma de trminos consecutivos de una progresin aritmtica dada, debemos hallar k e i que tomen la forma de la ecuacin de caracterizacin de (a0 , d ). Entonces, si logramos establecer condiciones sobre k e i en trminos de los datos iniciales a0 , d , m, tales que m esta en (a0 , d ) si y solo si el par (k, i)(en trminos de los datos iniciales) cumple las condiciones para m, habremos resuelto el problema. Ese ser nuestro objetivo. Ejecucin del plan Durante el resto del texto, tomemos a0 , d , m enteros positivos. Partamos entonces con la ecuacin de caracterizacin de (a0 , d ). m = (k + 1)(2a0 + d (2i + k)) 2

m Llamemos T = (2a0 + d (2i + k)). Claramente tenemos que T = k2 +1 . Podemos simplicar la ecuacin al considerar los siguientes casos:

Caso 1 Si k es de la forma k = 2n para algn n = 1, 2, . . . (es par), entonces: T = (2a0 + d (2s)) con 2m = 2n + 1 = 2n m = 2 1 T s = i+n n (2)

(3)

De donde observamos inmediatamente lo siguiente: I. d divide a T 2a0 II. III. T 2a0 = 2s (es par), despejando 2s en (2) d T 2a0 2m 1 de la condicin de s n en (2) d T

Vemos entonces que si k es par y m est en (a0 , d ), estas condiciones son necesarias. Podemos pensar en establecer condiciones sucientes partiendo de las tres que tenemos arriba. Si en el camino de vuelta (partiendo de estas condiciones y tratando de demostrar que m est en (a0 , d ) ), vemos que nos hace falta alguna otra condicin, podemos agregarla. Notemos que algo particular de las 3 condiciones dadas, es que todas dependen de trminos conocidos para los datos iniciales a0 , d , m, y T es un divisor de m. (en contraposicin con la frmula original que solo nos hablaba de la existencia de k, i enteros positivos y no nos daba informacin alguna sobre como obtenerlos). Afortunadamente las condiciones listadas son sucientes para concluir que si un nmero m las cumple, entonces est en (a0 , d ). Enunciamos el teorema general despus de considerar el caso en que k es impar. De este caso, planteamos entonces la siguiente conjetura (por el momento es conjetura). Notemos antes que segn (3), k est en trminos de m y T , as que la hiptesis inicial 2 m T 1 es par viene del hecho que k es par en este caso. Por lo que podemos enunciar la conjetura como sigue: Conjetura 1 Sea m un entero positivo. Si existe un divisor T de m tal que 2 m T 1 es par y adems I. d divide a T 2a0 II. III. T 2a0 es par d T 2a0 2m 1 d T

Entonces m esta en (a0 , d ) Ahora el otro caso

Caso 2 Si k es impar, es de la forma k = 2n 1 para algun n = 1, 2, . . .. Entonces T = (2a0 + d (2s 1)) con 2m = 2n = 2n 1 m = 2 1 T s = i+n n

Igualmente observamos I. d divide a T 2a0 II. III. T 2a0 = (2s 1) es impar d T 2a0 2m 1 d T

Y similarmente planteamos la siguiente conjetura: Conjetura 2 Sea m un entero positivo. Si existe un divisor T de m tal que 2 m T 1 es impar y adems I. d divide a T 2a0 II. III. T 2a0 es impar d T 2a0 2m 1 d T

Entonces m est en (a0 , d ) Notamos que la condicion (I) y (III) son identicas en ambos casos. Podemos entonces enunciar una conjetura general (que ahora veremos que es teorema) que abarque las ideas expuestas: Teorema 1 Sea m un entero positivo. Existe un divisor T de m tal que I. d divide a T 2a0 II. III.
2m T

1 es impar si y solo si

T 2a0 es impar d

T 2a0 2m 1 d T

si y solo si m est en (a0 , d ) Demostracin La primera implicacin () la demostramos en el anlisis anterior. Pasemos entonces a la segunda implicacin(). Sea m un entero positivo. Supongamos que existe T divisor de m que cumpla las tres condiciones del 3

teorema. Veamos que m est en (a0 , d ). Para esto, construyamos k e i que cumplan con la formula de la denicin. Consideremos los siguientes casos: Caso 1: 2m 1 es par, entonces: T

2m 1 = 2n T
T a0 d

(4) es par (tiene

Para algn n en los enteros positivos. Por la condicion (II) se debe cumplir que 2a0 sentido hablar de T por la condicin (I)) es decir: d T 2a0 = 2s d

(5)

Para algn s en los enteros positivos. Notemos que con la condicin (III) y las frmulas (4) y (5), tenemos s n. Entonces existe un i en los enteros no negativos tal que s = n + i. Reemplazando en (5) y despejando T , nos queda: T = 2(n + i)d + 2a0 reemplazando en (4) y despejando 2m obtenemos: 2m = (2n + 1)(2(n + i)d + 2a0 ) Tomemos k = 2n entonces la anterior ecuacin toma la forma: 2m = (k + 1)(2a0 + 2id + dk) que claramente cumple con la denicin, es decir, m est en (a0 , d ).

Los argumentos en el siguiente caso son similares, por lo cual se omiten algunos pasos. m 1 es impar, entonces Caso 2: 2T 2m 1 = 2n 1 T para algn n en los enteros positivos. Por la condicin (II) T 2a0 = 2s 1 d

(6)

(7)

Para algn s en los enteros positivos. De (III) tenemos que s n de donde existe i en los enteros no negativos tal que s = n + i. De (6) y (7) tenemos: T 2m = ((2(n + i) 1)d + 2a0 ) = (2n)T = (2n)((2(n + i) 1)d + 2a0 ) Llamemos k = 2n 1 entonces: 2m = (k + 1)(2a0 + 2id + dk) 4

que claramente es la frmula de la denicin y por lo tanto m est en (a0 , d ). Por disyuncin de casos , tenemos el resultado. En la prctica, nos resulta ms sencillo aplicar el siguiente corolario: Corolario 1 Sea m un entero positivo. Entonces existe T divisor de m tal que: I. 2m 2T 8md + (d 2a0 )2 + 2a0 d

II. d divide a T 2a0 III.

2m T

1 es impar si y solo si

T 2a0 d

es impar

si y solo si m est en (a0 , d ) Ms an, el nmero m se escribe en tantas formas distintas como divisores de m cumplan tales condiciones. Demostracin Slo debemos demostrar la equivalencia de la condicin (I) con la (III) en el anterior teorema. Las siguientes armaciones son equivalentes: T 2a0 2m 1 d T T 2 2a0 T 2md dT T 2 + (d 2a0 )T 2md 0
2a0 2 2a0 2 (T + ( d 2 )) 2md + ( d 2 )

(2T + (d 2a0 ))2 8md + (d 2a0 )2 2m 2T 8md + (d 2a0 )2 + 2a0 d

Ya que T divide a m entonces m T . El ms an es claro, pues cualquiera que sea el divisor de m que cumpla con tales condiciones, dene una factorizacin distinta para m y por lo tanto, una solucin diferente. Ahora s, veamos algunos ejemplos:

Ejemplo 1: Sea a0 = 10, d = 6; queremos saber si m = 2013 es suma de trminos de la progresin aritmtica con trmino inicial a0 y razn d , es decir, si m est en (a0 , d ). Segn el corolario, debemos encontrar un divisor T de 2013 que cumpla 3 condiciones. Las posibilidades para T son entonces: 1, 3, 11, 33, 61, 183, 671, 2013 y por la condicin (I) tenemos: T 162, 57 (8)

De donde reducimos las posibilidades para T : 183, 671, 2013. Por la condicin (II),6 divide a T 2 10, pero fcilmente vemos que esto no sucede con ningn divisor 5

en la lista y por lo tanto, 2013 no est en (a0 , d ).

Ejemplo 2: Sea a0 = 7, d = 5. Ser que m = 20131212 est en (a0 , d )? Siguiendo los pasos del ejemplo 1, los divisores de m son: 1, 2, 3, 4, 12, 241, 482, 723, 964, 1446, 2892, 6961, 13922, 20883, 27844, 41766, 83532, 1677601, 3355202, 5032803, 6710404, 10065606, 20131212 Segn la condicin (I) del corolario, T 28386. Las nicas posibilidades para T son entonces: 41766, 83532, 1677601, 3355202, 5032803, 6710404, 10065606. Vemos que solo el 6710404 cumple la condicion (II) y adems 6710404 14 T 2a0 = 1342078 = 5 d Y por la ltima condicin, como 20131212 no est en (a0 , d ).
2m T

(9)

1 = 5 es impar (mientras que en (9) es par) concluimos que

Y un ltimo ejemplo necesario: Ejemplo 3: Sea a0 = 12, d = 9. Sabemos que m = 1149 = 570 + (570 + 9) esta en (a0 , d ) porque 570 es un trmino de la progresin dada. Deduzcamos esto con las herramientas que construimos: Los divisores de 1149 son: 1,3,383,1149. Por la condicion (I) del corolario, se debe cumplir para un divisor T que T 170. As que los nicos casos posibles para T son: 383, 1149. Por la condicion (II) del corolario, 9 divide a T 2 12, y el nico que la cumple es 1149. Por la condicion (III): 1149 2 12 T 2a0 = 125 = 9 d (10)

m 1149 y como 2T 1 = 2 1149 1 = 1 (impar) al igual que en (10), concluimos que m esta en (a0 , d ) tal y como lo habiamos dicho. Es ms, por el ms an del corolario, existe una nica forma de expresar a m como suma de trminos consecutivos de la progresin, que es la expuesta al principio del ejemplo.

Mirada retrospectiva Podiamos haber planteado directamente el corolario y no pasar por el teorema. Lo hicimos de esta forma para explicar paso a paso lo que nos llevo a la conclusin.

Hemos solucionado el problema. Sin embargo la solucin es ineciente para grandes nmeros. Podemos plantear otro problema: Ser que existe una caracterizacin ms eciente que la aqu propuesta?