Problema Resuelto

Yhon Castro
December 9, 2016

En este trabajo solucionaremos el siguiente problema:

Mostraremos que cada elemento de la secuencia

16 1156 111556 11115556...

que se obtiene agregando a cada termino sucesivo el n

umero 15 en el medio
iniciando con el 16 es un cuadrado perfecto. Para nuestro proposito haremos
uso del siguiente concepto.

on. Definimos la funcion concatenacion como

Definici

: N N N

(m, n) (m, n) = m n
Donde m n denota la concatenacion de m con n, por ejemplo 159 38 = 15938.

on. La funcion concatenacion recursiva la definimos por

Definici

K : A N N

como:
t si n=1
K(t, n) :=
k(t, n 1) t si n>1

Para facilitar la notaci

on escribremos K(t, n) := Kt (n).
Pn1
Lema 1. Kt (n) = i=0 t10i

La demostrac
on es obvia considerando la representaci
on decimal de los n
umeros
naturales.
Lema 2. Si t + r 9 entonces Kt+r (n) = Kt (n) + Kr (n).
Pn1 Pn1 Pn1
Demostracion. Kt (n)+Kr (n) = i=0 t10i + i=0 r10i = i=0 (t+r)10i =Kt+r (n).

Lema 3. Sea x = t + r(mod10) con t + r 10 entonces Kt (n) + Kr (n) =

1 Kx+1 (n 1) x.

1
 Pn1 Pn1 Pn1 Pn1
Demostraci on. Kt (n)+Kr (n) = i=0 t10i + i=0 r10i = i=0 (t+r)10i = i=0 (10+x)10i =
Pn1 i+1
i=0 (10 + x10i )=10n + x10n1 + 10n1 + x10n2 + ... + x10 + 10 + x=10n +
n1
(x + 1)10 + (x + 1)10n2 + ... + (x + 1)10 + x=1 Kx1 (n 1) x.

Lema 4. K23 (n) = K1 (n 1) 0 8 (n 1) 9.

Demostraci on. Procederemos por induccion sobre n
Paso base(n=1): Es inmediato.
Paso inductivo: Supongamos que se cumple para n, luego: K32 (n+1) = (K3 (n)+
3K0 (n))2 = K32 (n)+2K3 (n)(3K0 (n))+9K0 (2n) = K1 (n1)0K8 (n1)9+
3K6 (n)K0 (n)+9K0 (2n) = K1 (n1)0K8 (n1)9+1K9 (n1)8K0 (n)+
90 (2n) = K1 (n1)0K8 (n1)9+10K9 (n1)8K0 (n) = K1 (n)08 (n)9.

Ahora tenemos todos los elementos necesarios para darle soluci on a nuestro
problema. antes introduciremos la notacion conveniente: la sucesi on inicial la
podemos ver en terminos de nuestra funcion concatenacion como bn =K1 (n +
1) K5 (n) 6 ahora considerando la sucesi
on an =K3 (n) 4 pasaremos a probar
que a2n = bn y asi concluir que cada termino de la sucesi
on inicial es un cuadrado
perfecto, en efecto.

a2n = (K3 (n + 1) + 1)2 = K32 (n + 1) + 2K3 (n + 1) + 1 = K1 (n) 0 K8 (n)

9 + K6 (n + 1) + 1 = K1 (n) 0 K8 (n + 1) + K6 (n + 1) + 2 = K1 (n) K0 (n +
2) + K8 (n + 1) + K6 (n + 1) + 2 = K1 (n + 1) K0 (n + 2) + 1 K5 (n) 4 + 2 =
K1 (n + 1) K5 (n) 4 + 2 = K1 (n + 1) K5 (n) 6 = bn .