Hoy os traigo el problema de esta semana. Es el siguiente:
Probar que para cada natural
se verifica que
![\lfloor \sqrt{n} \rfloor + \lfloor \sqrt[3]{n} \rfloor + \ldots + \lfloor \sqrt[n]{n} \rfloor=\lfloor\log_2(n) \rfloor + \lfloor\log_3(n) \rfloor + \ldots + \lfloor\log_n(n) \rfloor](https://s0.wp.com/latex.php?latex=%5Clfloor+%5Csqrt%7Bn%7D+%5Crfloor+%2B+%5Clfloor+%5Csqrt%5B3%5D%7Bn%7D+%5Crfloor+%2B+%5Cldots+%2B+%5Clfloor+%5Csqrt%5Bn%5D%7Bn%7D+%5Crfloor%3D%5Clfloor%5Clog_2%28n%29+%5Crfloor+%2B+%5Clfloor%5Clog_3%28n%29+%5Crfloor+%2B+%5Cldots+%2B+%5Clfloor%5Clog_n%28n%29+%5Crfloor&bg=T&fg=000000&s=0 "\lfloor \sqrt{n} \rfloor + \lfloor \sqrt[3]{n} \rfloor + \ldots + \lfloor \sqrt[n]{n} \rfloor=\lfloor\log_2(n) \rfloor + \lfloor\log_3(n) \rfloor + \ldots + \lfloor\log_n(n) \rfloor")
siendo 
Suerte.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
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.
Premio Prisma 2018
Gaussianos recibió el Premio Prisma 2018 a la mejor web/red social. Haz click en la imagen si quieres saber más.
Los Premios Prismas son una iniciativa de los Museos Científicos Coruñeses para premiar la difusión de la cultura científica y apoyar a profesionales que trabajan en este campo. Más información en Premios Prismas.
Suscríbete por mail
Si quieres recibir los artículos de Gaussianos en tu mail, haz click en la imagen.
Yo construí el poliedro de Császár
Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.
Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.
Información Bitacoras.com…
Valora en Bitacoras.com: Hoy os traigo el problema de esta semana. Es el siguiente: Probar que para cada natural se verifica que siendo la parte entera de (es decir, el mayor número entero que es menor o igual que ). Suerte. Comparte este artículo:……
[…] This post was mentioned on Twitter by gaussianos, redes sociales web. redes sociales web said: #hispaciencia Logaritmos, raíces y parte entera: Hoy os traigo el problema de esta semana. Es el siguiente: Probar… http://bit.ly/cJdoZ4 […]
Hay una errata obvia en la suma de las partes enteras de los logaritmos.
Sea![\lfloor \sqrt[k]{n} \rfloor = m_k , \quad \lfloor \log_k(n) \rfloor = \l_k](https://s0.wp.com/latex.php?latex=%5Clfloor+%5Csqrt%5Bk%5D%7Bn%7D+%5Crfloor+%3D+m_k+%2C+%5Cquad++%5Clfloor+%5Clog_k%28n%29+%5Crfloor+%3D+%5Cl_k+&bg=T&fg=000000&s=0 "\lfloor \sqrt[k]{n} \rfloor = m_k , \quad \lfloor \log_k(n) \rfloor = \l_k")
para 
.![\sqrt[k]{n} = x](https://s0.wp.com/latex.php?latex=%5Csqrt%5Bk%5D%7Bn%7D+%3D+x+&bg=T&fg=000000&s=0 "\sqrt[k]{n} = x")
entonces 
, y como 
es el mayor entero menor o igual que 
resulta que es el mayor entero 
que cumple 
.
ya que este conjunto es siempre de la forma 
y por lo tanto su máximo y su cardinal coinciden.
Si
Es decir:
De igual manera si
, entonces 
, de modo que 
es el mayor entero 
que cumple 
. Así pues:
por la misma razón de antes. Notemos que desde luego se tiene 
para todo 
.
Por lo tanto resulta que:
![\sum_{k=2}^n \lfloor \sqrt[k]{n} \rfloor = \sum_{k=2}^n m_k =\sum_{k=2}^n card(\{ m\in \mathbb{N} : \quad m^k \leq n \} )](https://s0.wp.com/latex.php?latex=%5Csum_%7Bk%3D2%7D%5En+%5Clfloor+%5Csqrt%5Bk%5D%7Bn%7D+%5Crfloor+%3D+%5Csum_%7Bk%3D2%7D%5En+m_k+%3D%5Csum_%7Bk%3D2%7D%5En+card%28%5C%7B+m%5Cin+%5Cmathbb%7BN%7D+%3A+%5Cquad+m%5Ek+%5Cleq+n+%5C%7D+%29+&bg=T&fg=000000&s=0 "\sum_{k=2}^n \lfloor \sqrt[k]{n} \rfloor = \sum_{k=2}^n m_k =\sum_{k=2}^n card(\{ m\in \mathbb{N} : \quad m^k \leq n \} )")
(nos sobran los 
números de la forma 
)
(nos sobran los 
números de la forma 
)
Por lo tanto ambas sumas son iguales y el resultado queda demostrado.
Excelente lo de Dani, me costó un poco verlo.
Por si a alguien lo ayuda, acá va un gráfico de ejemplo (se pueden incluir imágenes en los comentarios? parece que no)
http://hjg.com.ar/varios/mat/tablapot.png
Es como una tabla de multiplicar, pero para potencias; es decir, el valor de cada celda es
. Supongamos que 
. E imaginemos que la tabla se extiende hasta 26 en ambos ejes.
Ahora bien, por el razonamiento de Dani vemos que cada término de la sumatoria de la izquierda (raíz k) equivale a contar la cantidad de celdas que no excedan 26 sobre la FILA k (con k entre 2 y 26). Entonces la sumatoria total de la izquierda equivale a la cantidad de celdas amarillas-naranjas.
Por otro lado, cada término de la sumatoria de la derecha (logaritmo de base k) corresponde a contar la cantidad de celdas sobre la COLUMNA k (con k entre 2 y 26).
Entonces la sumatoria total de la derecha equivale a la cantidad de celdas rojas-naranjas.
Pero hay la misma cantidad de celdas rojas y amarillas, ergo, etc.
A ver qué tal el siguiente problema:
es impar para cualquier natural 
.
Demostrar que
los números de Dani cumplen la recurrencia
con 
y 
.
Dicho de otro modo,
es par para cada 
.
jejejej 🙂 y probar que
no es entero para ningún 
?
Dani, esa propiedad consta en https://gaussianos.com/dos-problemas-sobre-la-serie-armonica/
argh… siempre igual.
Buenos Días, M
Tengo una pregunta. Veo que la ecuación en diferencias que planteas es de orden 2. ¿Por qué no es de orden 3, 4 u otro posible? ¿Cuál es la deducción de esta ecuación?
Ya he comprobado que si uso los primeros tres terminos de la sucesión, puedo hallar la ecuación propuesta. Pero, este método no demuestra la validez general de la recurrencia. Aún así, yo he comprobado que hasta n=15 la recurrencia es valida.
Un saludo
Antonio: el problema de Dani, con la ecuación en diferencias de orden 2 que encuentra M, te resultará muy familiar si conoces la solución explícita de la recurrencia de Fibonacci y sus propiedades: http://es.wikipedia.org/wiki/Ecuaci%C3%B3n_recurrente#Ejemplo_:_N.C3.BAmeros_de_Fibonacci
Que la ecuación sea de orden 2 se corresponde con que tenga un par de soluciones expresable con raíces cuadradas.
Creo que no se me ha entendido. No cuestiono la solución de la ecuación en diferencias, que efectivamente es la que indica M en su segundo post. Estoy familiarizado con la forma de resolver estas ecuaciones en diferencias y he comprobado que la solución que aporta M es la adecuada para la solución en diferencias propuesta con los valores iniciales
, 
y 
Cuestiono la afirmación de que esta ecuación en diferencias nos permita calcular la sucesión de números que genera el problema de Dani para cada n. Si sólo considero los primeros valores del problema de Dani y parto del supuesto a priori de que la ecuación en diferencias es de orden 2, obtengo la ecuación propuesta por M. He comprobado que la ecuación se cumple hasta n=15. Es muy probable que si intento hallar una ecuación en diferencias de orden 3, los datos de los que dispongo me lleven de nuevo a la ecuación en diferencias propuesta por M; pero, con los valores del problema de Dani hasta n=15, puedo como mucho intentar hallar las formas de la ecuaciones en diferencias hasta orden k=7. El que el orden es k=2 no deja de ser una presunción a priori, y nada me asegura que no exista un n a partir del cual para poder generar la sucesión de los número de Dani me haga falta una ecuacion en diferencias de orden mayor.
Para que la demostración esté cerrada, se debe demostrar que la ecuación en diferencias corresponde a los valores del problema de Dani para todo n; y esto es lo que echo en falta.
Un Saludo
Hola AntonioQD, lamento la críptica respuesta de arriba. Vemos que
1) La recurrencia
(
), con 
y 
tiene por solución a 
, para 
.
2) Se tiene la igualdad
para cada 
(pues 
y ambos miembros de la igualdad son naturales).
3) Por tanto, los números
cumplen la recurrencia 
con 
y 
.
Ver que para responder a la cuestión de Dani sólo hace falta leer el punto 2), y eso es lo que quise reflejar en el comentario de 10 de Junio de 2010 | 16:25.