Sumando partes enteras

Publicado por ^DiAmOnD^ | 15 enero, 2008 | Juegos | 41 |

El problema de esta semana es el siguiente:

Para cada natural $n$ hallar el valor de la siguiente suma:
$\left \lfloor \cfrac{n+1}{2} \right \rfloor + \left \lfloor \cfrac{n+2}{4} \right \rfloor + \left \lfloor \cfrac{n+4}{8} \right \rfloor + \ldots + \left \lfloor \cfrac{n+2^k}{2^{k+1}} \right \rfloor + \ldots$
Siendo $\lfloor x \rfloor$ la parte entera de $x$ (el mayor número entero menor o igual que $x$ ).

Se pide valor de la suma y justificación del procedimiento empleado para llegar a ella.

4 1 vote

Article Rating

¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉

Sobre el Autor

^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook. También tengo un blog dedicado a las "escape rooms", por si te apetece pasarte: XRooMers.

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$ .

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX, te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.

41 Comments

más antiguo

más reciente más votado

Inline Feedbacks

View all comments

Marcos

15/01/2008 12:26

Yo diría que s(n) = n

Los primeros términos corresponden a la función identidad y, por reducción al absurdo, si no fuera así para todo n, no sé dónde está la broma. Q.E.D

😀

Responde

Juan Miguel

15/01/2008 14:58

La suma propuesta consta de dos factores, el primero es la suma de la progresion geometrica $\frac{n}{2^m}$ desde 1 hasta k. El segundo es la suma de la progresion aritmetica de la unidad, que es $\frac{k(k-1)}{2}$ .

Resumiendo:
$S(n,k) = \sum_{m=1}^k \frac {n+2^{m}}{2^{m+1}} = \frac {1}{2} \sum_{m=1}^k \frac {n}{2^m} + 1 = \frac {k(k-1)}{4} + \frac {n}{2} (1 - \frac {1}{2^k})$

Responde

Esteban Lopez

15/01/2008 16:33

Juan creo que tienes varios errores en el procedimiento propuesto para empezar el enunciado pide la convergencia de la serie, no las sumas parciales (claro que se puede hallar la convergencia llevando al limite la sumas parciales).
Otro error en el procedimiento es que la serie empieza -segun tu notacion – en m =0 sino fuera asi despreciarias el primer termino de la serie

Y creo qu el error de fondo es que falta el uso de Parte entera

Responde

Marcos

15/01/2008 16:39

Yo también razono que s(n) = n.
¿Habrá sorpresas?

Responde

Esteban Lopez

15/01/2008 16:46

Bueno la Serie converge a n

INT((n+2^k)/(2^k+1))=INT(n/2^k+1)+INT(1/2)

teniendo en cuenta que INT(1/2)=0 y que INT(n/2^k+1)=n*INT(1/2^k+1) debido a que n es natural. ya lo unico que falta por saber es cuanto vale la serie desde k=0 hasta infinito de INT(1/2^k+1)la cual es igual a 1+S(INT(1/2^k))es decir vale 1

por lo tanto la serie vale n

PS quisiera saber si alguien me explica como funciona latex

Responde

toni

15/01/2008 16:51

El resultado de la suma es la parte entera de la mitad de n.
S=INT(n/2)

Responde

jbz

15/01/2008 16:58

Parece que la suma diverge… porque la expresión propuesta se compone de dos sumas, (como dijo el so cito anterior), pero una de ellas diverge… asi:

$n(\frac{1}{2}+\frac{1}{4}+\frac{1}{8})+\cdot \cdot \cdot) + (\frac{1}{2}+\frac{2}{4}+\frac{4}{8}+ \cdot \cdot \cdot)$

La primera suma converge a 1, pero la segunda diverge porque es sumar infinita mente 0.5

Responde

Esteban Lopez

15/01/2008 17:07

Jbz si fuera como lo has propuesto si diverge pero la parte entera de 1/2 es cero

Responde

Carlos

15/01/2008 17:18

Esteban creo que la INT(A+B) no es es igual a INT(A) + INT(B)
por ejemplo INT(0.4+0.8) = 1
INT(0.4) + INT(0.8) = 0

Responde

toni

15/01/2008 17:20

He cometido un error, rectifico, la suma vale n.
S(n)= n

Responde

^DiAmOnD^

15/01/2008 17:47

Esteban lee lo que pone justo encima de la caja de texto donde se escriben los comentarios y verás cómo hay que escribir el texto para que salgan las fórmulas. Además puedes encontrar un enlace a un artículo de la Wikipedia donde explican cómo escribir los símbolos.

Y usa la vista previa para asegurarte de que lo que has escrito es correcto :).

Responde

Esteban Lopez

15/01/2008 17:52

Gracias carlos; tambien me di cuenta que la funcion parte entera no cumple la linealidad cuando estaba haciendo unas vueltas por lo tanto seguire pensando sobre esta serie.
Lo Unico que estoy seguro es que la serie es convergente;

Diamond Gracias por la ayuda

Responde

Domingo H.A.

15/01/2008 18:04

efectivamente, basta dar un par de valores a $n$ para darse cuenta de que la suma vale exactamente $n$ (por tanto no diverge, ya que ni siquiera es una suma infinita). A ver si alguien da una justificación convincente.

Responde

Asier

15/01/2008 18:44

Veamos… Si tomamos tenemos que el valor del último sumando no nulo es claramente 1. Para los demás sumandos, dado que tenemos que . Si a esto le sumamos el 1 de antes tenemos en realidad . Vemos también claramente que cada nuevo sumando no nulo se ‘estrena’ cuando alcanzamos una potencia de 2. En cuanto a los números que hay entre y , podemos considerar los números y vemos que los sumandos le van a añadir al total que teníamos para . ¡Pero esta suma es exactamente igual que la original! (pero con ). Por lo tanto podemos aplicar… Lee más »

Responde

Juan Miguel

15/01/2008 19:20

Gracias, Esteban. Es cierto que la suma debiera empezar en 0. Por otra parte, yo he calculado la suma parcial (es decir, hasta un numero K de terminos, y no hasta el ), debido a que, obviamente, la serie no converge, ya que uno de los terminos diverge (la progresion aritmetica), y por lo tanto la suma total de la serie sera infinito, ya que . Quizas ^DiAmOnD^ nos puede iluminar en esto, aunque puede que se vea mas claro si expreso la suma como lo siguiente: Por otra parte, me maravilla que alguna gente haya encontrado que la suma… Lee más »

Responde

Domingo H.A.

15/01/2008 19:28

Asier, me parece muy ingenioso tu razonamiento! Me parece muy interesante que hayas considerado intrínsecamente la expresión en base 2 de los números naturales.

No sé si los demás consideran convincente tu razonamiento, porque hay afirmaciones que haces que a lo mejor no se ven directamente. A mi parecer es bastante correcto en el fondo.

Visto lo visto, propongo estudiar ahora

$\left \lfloor \cfrac{x+1}{2} \right \rfloor + \left \lfloor \cfrac{x+2}{4} \right \rfloor + \left \lfloor \cfrac{x+4}{8} \right \rfloor + \ldots + \left \lfloor \cfrac{x+2^k}{2^{k+1}} \right \rfloor + \ldots$

siendo $x$ un número real cualquiera (positivo o negativo).

Responde

toni

15/01/2008 19:44

Para demostrar que la serie converge es suficiente ver que únicamente tiene m sumandos no nulos, siendo m=int(logbase2(n))+1 Demostración: A partir de que el numerador n+2^k sea menor que el denominador 2^(k+1) la parte entera será cero y el sumando a añadir será cero: n+2^k menor 2^(k+1) n+2^k menor 2*2^k n menor (2-1)*2^k n menor 2^k logbase2(n) menor k k mayor logbase2(n) Es decir los sumandos no nulos son únicamente k=0,1,2,….,int(logbase2(n))+1 n=1 hay 1 sumando no nulo n=2 hay 2 sumandos no nulos n=3 hay 2 sumandos no nulos n=4 hay 3 sumandos no nulos n=7 hay 3 sumandos no… Lee más »

Responde

Masao

15/01/2008 21:35

$\cfrac{n + 2^{k}}{2^{k+1}}$ es entero si i solo si el menor bit distinto de cero es el k-essimo.

la sequencia $\left\lfloor {\cfrac{0 + 2^{k}}{2^{k+1}}}\right\rfloor , \ \left\lfloor {\cfrac{1 + 2^{k}}{2^{k+1}}}\right\rfloor , \ \left\lfloor {\cfrac{2 + 2^{k}}{2^{k+1}}}\right\rfloor , \ \left\lfloor {\cfrac{3 + 2^{k}}{2^{k+1}}}\right\rfloor \dots \ \left\lfloor {\cfrac{n + 2^{k}}{2^{k+1}}}\right\rfloor$ aumenta en 1 cada vez que pasamos por un numero cuyo bit no nulo menos significativo es k, por lo que el ultimo termino representa cuanots numeros de estos hay menores o iguales que $n$ .

Asi pues, el sumatorio es igual a la cantidad de numeros menores o iguales a $n$ , cuyo primer bit no nulo es el 1,2…infinito. Esto es, todos los numeros menores o iguales a $n$ , $s(n) = n$

la serie converge pq solo un numero finito de terminos son no nulos

Responde

Domingo H.A.

15/01/2008 22:36

Generalizando por generalizar, propongo que, una vez estudiemos qué pasa con la suma cuando $n=x$ es un número real cualquiera, pasemos a estudiar qué ocurre si $n=z$ es un número complejo cualquiera. En este último caso hay que tener en cuenta que la parte entera de un número complejo se define como $\lfloor z\rfloor=\lfloor Re\;z\rfloor+i\cdot\lfloor Im\;z\rfloor$ , donde $i=\sqrt{-1}$ es la unidad imaginaria.

Ánimo que el resultado general sale muy simple.

Responde

Carlos

16/01/2008 12:30

Asier no entiendo el paso cuando quitas por primera vez la parte entera, cuando dices dado que … tenemos que …
podrias explicarlo por favor?

Responde

Asier

16/01/2008 13:58

Lo desarrollo paso a paso para verlo mejor:

$\displaystyle \sum_{i=1}^{k} \lfloor \frac{2^k + 2^{i-1}}{2^i} \rfloor = \sum_{i=1}^{k} \lfloor \frac{2^k}{2^i} + \frac{2^{i-1}}{2^i}\rfloor = \sum_{i=1}^{k} \lfloor 2^{k-i} + \frac{1}{2}\rfloor = \sum_{i=1}^{k} 2^{k-i}$

La parte entera la puedo quitar junto con el 1/2 porque $2^{k-i}$ es claramente un entero y el 1/2 no aporta nada.

Responde

Domingo H.A.

16/01/2008 15:52

teniendo en cuenta la expresión a sumar, podemos recordar la identidad

$\lfloor x\rfloor=\lfloor \frac{x}{2}\rfloor+\lfloor\frac{x+1}{2}\rfloor,\quad \forall x\in\mathbb{R}$

y con esto se llega más facilmente a la respuesta general…

Responde

Omar-P

16/01/2008 18:47

Creo que lo más interesante en la construcción del panal es la forma que tiene el fondo de las celdillas: Son tres rombos unidos y con con el ángulo exacto para economizar el máximo de material.

Responde

Domingo H.A.

16/01/2008 21:21

Bueno pongo la respuesta a la cuestión, a ver si junto con la pista de arriba alguien se anima a desarrollarla:

En el caso complejo $x\in\mathbb{C}$ la suma vale $\lfloor Re\;x\rfloor$ .

Responde

chucho

17/01/2008 08:44

No estoy de acuerdo totalmente contigo Domingo ya que no se cumple, esto solo pasa si y esto lo podemos probar tomando de aqui que se mantengan las desigualdes y ahora probamos que de las segundas desigualdades hay al menos una estricta. Si fuera par entonces es trivial que de donde y en el caso de que sea impar entonces es par y esta acotación se resuelve ya que es trivial probar que sea tal que entonces tal que , luego se tiene que y de aqui y como entonces . Pero sea por ejemplo entonces . Si tuve algun… Lee más »

Responde

Asier

17/01/2008 12:14

No he seguido tus cálculos al detalle, chucho, pero parece que tienes razón, puesto que si tomamos x = -4, por ejemplo, el primer sumando vale -2, el segundo sumando vale -1 y los demás valen 0, con lo cual el total es $-3 \ne \lfloor -4 \rfloor$

Responde

Domingo H.A.

17/01/2008 13:47

upss, perdónenme, vaya lapsus de principante!!! Gracias chucho y asier por las correcciones. Si es que a veces el frenesí, las prisas y la confianza juegan malas pasadas…

No obstante, que no cunda el pánico. El error estaba en que olvidé sumar 1 en el caso negativo. Debe decir:

También metí la pata en el caso complejo. Este caso no es válido pues la parte imaginaria es divergente en el caso de los números con parte imaginaria negativa (vamos a sumar -1 infinitas veces). Perdón de nuevo.

Responde

Domingo H.A.

18/01/2008 20:35

Bueno, se acaba la semana y creo va siendo hora de responder a la cuestión propuesta: Por ahorrar notación, vamos a llamar a la suma en cuestión. Es resultado es obvio si . 1) Si entonces existe un único natural tal que . En este caso es inmediato comprobar que y . 2) Del mismo modo, si , sea el menor natural tal que . Entonces tenemos ahora que y . En definitiva, que habiendo elegido el natural de arriba hemos obtenido que la suma «infinita» propuesta se reduce a la suma finita: (donde el último sumando de hecho vale… Lee más »

Responde

Asier

18/01/2008 21:33

Está bien saber cómo lo has resuelto, Domingo, aunque una vez resuelto para los enteros, ¿no es evidente que para los reales tiene que ser igual? Lo digo porque para que alguno de los sumandos cambie es necesario que alguna de las divisiones llegue a ser un entero superior y vemos claramente que cada sumando no puede variar a no ser que x llegue al siguiente entero. Así es como lo había visto yo.

En cuanto a la última suma que planteas, he obtenido esto:

$\displaystyle f(a) = 2^{\lfloor log_2 \ a \rfloor} + f\left ( a - 2^{\lfloor log_2 \ a \rfloor} \right ) - 1$
$f(0) = 0$

Responde

Domingo H.A.

18/01/2008 22:18

Estoy de acuerdo, Asier. Mirando un poco la suma se me ocurre plantear una cuestión sencilla:

¿Existe algún valor $a\succ 0$ de modo que $a=\left \lfloor \cfrac{a}{2} \right \rfloor + \left \lfloor \cfrac{a}{4} \right \rfloor + \left \lfloor \cfrac{a}{8} \right \rfloor + \ldots + \left \lfloor \cfrac{a}{2^{k+1}} \right \rfloor + \ldots$ ?

Responde

Domingo H.A.

18/01/2008 22:20

OK, Asier. Mirando un poco la suma se me ocurre plantear una cuestión sencilla:

Responde

Domingo H.A.

18/01/2008 22:29

…y ya que estamos, hallar todas las soluciones de la ecuación:

$a-1=\left \lfloor \cfrac{a}{2} \right \rfloor + \left \lfloor \cfrac{a}{4} \right \rfloor + \left \lfloor \cfrac{a}{8} \right \rfloor + \ldots + \left \lfloor \cfrac{a}{2^{k+1}} \right \rfloor + \ldots$

Responde

Asier

18/01/2008 22:51

Así, a bote pronto, diría que no existe ese valor $a \succ 0$ y que las soluciones de la ecuación son de la forma $a=2^k$

Responde

Domingo H.A.

19/01/2008 16:20

Efectivamente, Asier. Esas son las soluciones (y no hay más).

Responde

Asier

20/01/2008 19:02

Generalizando también, por generalizar, alguien se anima a dar una expresión cerrada (del tipo función recursiva que he dado antes, por ejemplo) para calcular el caso general?

$\displaystyle f(a,n) = \sum_{k=1}^{\infty} \lfloor \frac{a}{n^k} \rfloor$

Responde

Domingo H.A.

21/01/2008 10:14

Ayer no sé que pasó que el blog no me daba opción a comentar…una mano negra… 🙂

Si $n\geq 2$ , natural, y $a\geq 0$ :

$f(a,n)=\cfrac{n^r-1}{n-1}+f(a-n^r,n)$ , siendo $r=\left\lfloor \cfrac{log\;a}{log \;n}\right\rfloor$

Responde

Asier

21/01/2008 10:28

Así es, Domingo. Sí que debió haber algún problema porque tu último comentario en el post de las abejas no lo he visto hasta esta mañana.

Responde

Domingo H.A.

21/01/2008 10:31

he vuelto a comentar hoy lunes en las abejas, y no me sale lo que he escrito…cosas raras…

Responde

pilar montenegro

10/12/2008 03:05

no entiendo nadaaaaa quisiera recibir un curso ya que mi hija esta en el liceo para ayudara con sus tarea

Responde

Marcelo

16/01/2009 14:54

Hola a todos!
Como buen novato estoy aquí buscando material y tratando de sacarme dudas.
Estoy preparando la materia «Matematica Discreta» y tengo muchos inconvenientes con las demostraciones de los exámenes.
Aquí va uno por ejemplo:

Demuestra que: Si k,l son enteros impares entonces k+l es un entero par.

Por lo que ví más arriba les debe resultar fácil a ustedes, pero para mí es bastante difícil entender el mecanismo de las demostraciones.
Espero que alguien pueda ayudarme…y gracias.
Saludos

Responde

Naka Cristo

16/01/2009 16:10

Marcelo,
si $k$ es impar entonces existe un entero $m$ tal que $k=2m+1$ .
Igualmente, si $l$ es impar existe un $n$ , $l=2n+1$ .
Ahora $k+l=(2m+1)+(2n+1)=2(m+n+1)$ , así que es par