Algunas propiedades de la suma de digitos binarios

ARMANDO HERNANDEZ2 , ALDO REYES1 y LUIS-ANGEL RODRIGUEZ2

CIMFAV, Universidad de Valparaiso, Chile.1
Dpto.de Computacion., FACYT, Universidad de Carabobo, Venezuela.2
Dpto.de Matematicas, FACYT, Universidad de Carabobo, Venezuela.3
{areyes@uc.edu.ve,larodri@uc.edu.ve,}

Resumen

En este trabajo revisamos un conjunto de propiedades relacionados con la funcion suma de digitos.

Palabra Claves: digitos binarios, distribucion, Melfi (maximo 5).

Abstract

The same content of the resumen but in English.En este trabajo revisamos un conjunto de propiedades
relacionados con la funcion suma de digitos.

Keywords: keyword1, keyword2, keyword3 (until 5).

 Pk i1 on: Como ci = 1 ci y n =

1. Introduccion Demostraci
i=1 ci 2 , tenemos que:
Sea n N, y consideremos su representacion
k k
binaria n = (ck . . . c1 ), ci {0, 1}. Definimos la X
i1
X
funcion suma de dgitos por:

n = 2 ci 2i1
i=1 i=1
k
X El primer sumando es una suma de terminos de
B(n) = ci .
una progresion geometrica y el segundo sumando
i=1
es igual a n por hipotesis, por lo tanto:
Haciendo referencia al trabajo [3], un k k
X X
numero n N es (2, 1, 2) si satisface la
n = 2 i1
ci 2i1 = 2k 1 n (1)
propiedad B(n) = B(n2 ). i=1 i=1

Ahora, falta comprobar que B(n) = k B(2k

2. Funcion Suma de Dgitos de un numero n 1).
escrito en representacion binaria
k
X k
X
Definicion 1 Sea n N, n = (ck ck1 . . . c1 ) un B(n) = 1 ci = k B(n )
numero escrito en base dos. Sea B : N N la i=1 i=1
funcion sumaPbinaria de dgitos, la cual se define
Luego, por la ecuacion (1), tenemos que B(n) =
por B(n) = ki=1 ci .
k B(2k n 1).
Ejemplo: Sea n = (11001); en este caso, c5 = Ahora, estableceremos algunos resultados
1, c4 = 1, c3 = 0, c2 = 0 y c1 = 1. Por lo tanto, sobre la distribucion de B(n). Sin embargo,
B(n) = 1 + 1 + 0 + 0 + 1 = 3. debemos acotar antes algunos puntos impor-
tantes.
Observacion 1 Un numero escrito en forma bi-
naria esta compuesto de unos y ceros, por es- Para demostrar la subaditividad de B, es
ta razon, abreviaremos en algunos casos la es- necesario antes demostrar el siguiente:
kveces
z }| { Pk i1
critura del numero denotando (1(k) ) =(1 . . . 1) Lema 1 Sea n = i=1 ci 2 . Sea j N
bveces
z }| { tal
Pk+1 que j 6 k. Ademas, sea n + 2j =
i1
y (0(b) ) =(0 . . . 0); entonces, por ejemplo, el i=1 di 2 .Entonces B(n + 2j ) = 1 Lj +
numero (111100011) se denotara (1(4) 0(3) 1(2) ). B(n), donde:

Lj = mn {l / cj+l = 0}
Observemos que para cada k N, 2k = lN
(10(k) ), por lo tanto, B(2k ) = 1.
Demostracion: Consideramos el caso en que
cj+1 = 0, tenemos que dj+1 = 1 y dq = cq para
Definicion 2 DefinimosPel conjugado de n =
P n i1 n i1 todo q {1, 2, . . . , j, j + 2, . . . , k}; en conse-
i=1 ci 2 por n = i=1 ci 2 , donde ci =
cuencia, B(n + 2j ) = B(n) + 1, por lo que este
1 ci .
caso no es interesante. Para completitud referi-
mos a la tabla 1.
El siguiente teorema muestra una relacion Veamos el caso en que cj+1 = 1. Para
entre B(n) y B(n ). observar lo que ocurre en este caso, referi-
P mos al calculo en la tabla 2, definamos Lj =
Teorema 1 Si n = ki=1 ci 2i1 , entonces n = mnlN {l / cj+l = 0}. En este caso, Lj > 0 (ya
2k n 1 y B(n) = k B(2k n 1). que el mnimo de los ndices para el cual cj+l = 0
 ck ... cj+(l+1) cj+l ... cj+1 cj ... c1
+ 1 0 ... 0
dk+1 dk ... dj+(l+1) dj+l ... dj+1 dj ... d1

Tabla 1.

ck ... cj+(l+1) cj+l ... cj+1 cj ... c1

+ 1 0 ... 0
dk+1 dk ... dj+(l+1) 1 ... 0 dj ... d1

Tabla 2.

es mayor que j). As, B(n+2j ) = 1+B(n)Lj . Lema 2 Para todo j N, B(2j n) = B(n).
En efecto: se suman las cifras de n, se anade 1 (el
uno que se agrega en la posicion j + l) y se le Demostracion: Sea n = (ck ck1 . . . c2 c1 ). Hare-
resta Lj (que no es mas que la cantidad de ceros mos esta prueba por induccion sobre j N:
agregados).
j = 1 : Aqu tenemos que:
Observacion 2 El caso cuando j > k no es in-
k k
teresante, puesto que B(n + 2j ) = B(n) + 1. X X
2n = 2 ci 2i1 = ci 2 i
Utilizando este lema, demostraremos la i=1 i=1
subaditividad de la funcion B.
Por lo tanto:
Teorema 2 Si m, n N, se tiene que
k
X
B(m + n) 6 B(m) + B(n). B(2n) = ci = B(n)
Pd i=1
ej
Demostracion: Sea n = j=1 2 , con e1 >
e2 > . . . > ed > 0; as, solamente consider- Hipotesis inductiva: Supongamos que la
amos las potencias cuyo dgito es uno en la repre- proposicion se cumple para k N, y
sentacion binaria de n. Entonces, por esta escrit- veamos que se cumple para k + 1:
ura y aplicando el lema anterior repetidas veces,
 
tenemos que: B(2k+1 n) = B 2(2k n) = B(2k n) = B(n)
d
X
B(m + n) = B(m + 2ej )
j=1
d
X El siguiente teorema demuestra la submul-
6 1 + 1 + B(m + 2ej ) tiplicatividad de B.
j=3
dveces Teorema 3 Para m, n N,
z }| {
6 (1 + 1 + . . . + 1) +B(m)
B(mn) 6 B(m)B(n).
= B(n) + B(m).
Demostracion: Si m = 0 o n = 0, B(mn) =
0 = B(m)B(n); un resultado analogo obten-
Ahora, veremos un lema que nos muestra dremos si m = 1 o n = 1. As pues, supong-
que, al multiplicar un numero por una potencia amos que m > 1 y n > 1. Sea n = (ck ck1...c1 ).
de dos, no se altera su suma de dgitos. Entonces, aplicando la subaditividad de B y el
lema anterior, y recordando que ci {0, 1} para Demostracion: Como n = 2e1 + 2e2 + . . . + 2er ,
i {1, . . . , k}, tenemos lo siguiente: es facil ver que B(n) 6 e1 + 1 (ya que algunas
de las cifras de n pueden ser iguales a cero, y, en
B(nm) = B(ck 2k1 m + . . . + c1 m) el mejor de los casos, todas las cifras son iguales
6 B(ck 2k1 m) + . . . + B(c1 m) a 1). En consecuencia, usando el lema anterior:
= B(ck m) + . . . + B(c1 m) 
ln(n)

= B(ck )B(m) + . . . + B(c1 )B(m) B(n) 6 e1 + 1 6 + 1 = [log2 (n)] + 1
ln(2)
= [B(ck ) + . . . + B(c1 )]B(m)
= B(n)B(m)

As culmina la demostracion. 3. Dgitos binarios de potencias de enteros

Ahora, en el siguiente lema y en su corre- En lo que sigue, estudiaremos el compor-

j)
spondiente corolario, acotaremos tanto la canti- tamiento de B(m
B(m)
para todo j N y m N
dad maxima de dgitos que tiene un numero bi-
nario como el valor maximo de B(n). Teorema 4 Sean m, h N mayores que uno.
h)
Definamos rh (m) = B(m
B(m)
. Entonces:
Lema 3 Para cada entero positivo n = 2e1 +
1
2e2 + . . . + 2er , con e1 > e2 > . . . > er > 0, rh (m) 6 2 {hlog2 (m)}1 h
se tiene que:
Demostracion: Sea x = B(m). y la submulti-
log2 (n) 1 6 e1 6 log2 (n) plicatividad de B, tenemos que B(mh ) B(m)h
y en virtud del teorema 3 B(m) 6 [log2 (m)] + 1.
Demostracion: Por hipotesis, se tiene que En consecuencia:
2e1 6 2e1 + 2e2 + . . . + 2er = n, entonces
2e1 6 n, por lo que e1 6 ln(n) = log2 (n). B(mh )
ln(2) = rh (m) 6 x1 mn{hlog2 (m) + 1, xh }
B(m)
Observemos que: Si xh > hlog2 (m) + 1 > hlog2 (m), tenemos que:
r  e1 ej  j
X 1 X 1 rh (m) 6 x1 mn{hlog2 (m) + 1, xh }
6 =2
2 2 1
j=1 j=0 6 2 {hlog2 (m)}1 h (2)
de donde: r
X Por otra parte, si xh < hlog2 (m) + 1,
2e1 2ej 6 2
xh
j=1 rh (m) 6
x
2e1 n 6 2
= xh1
 1
h1
n 6 2e1 +1 6 2 {hlog2 (m)} h
De donde, tomando logaritmos, concluimos = 2 {hlog2 (m)}1 h
1
(3)
que:
ln(n)
1 = log2 (n) 1 6 e1
ln(2) En el teorema que sigue veremos que la co-
ta precedente es la mejor que podemos obtener.
No incluimos su demostracion porque hace uso
Corolario 1 Para cada n N: de un resultado debido a Bose y Chowla, el cual
esta fuera del alcance de los objetivos del Traba-
B(n) 6 [log2 (n)] + 1. jo. Vease [4]
Teorema 5 La cota del teorema anterior es la Ahora, procedamos a demostrar el siguien-
mejor posible en el sentido de que existe una con- te:
stante c(h) > 0, que depende solo de h, tal que
Teorema 6 Sea m > 1 tal que m N. Sea
1 h1
rh (m) > c(h) {log2 (m)} rh (m) como se definio en el teorema 5. Entonces:
infinitas veces r2 (m) > {[log2 (m)] + 1}1
Antes de demostrar el siguiente teorema,
enunciaremos y demostraremos dos lemas. Demostracion: Sean q > 1, a(t) = 2t y:
q
Lema 4 Sean a, b N tales que a > b. Entonces X
B(2a 2b ) = a b. S= 2a(q+1)a(j)+1
j=1
a
Demostracion: Notemos que 2 = (10(a) ) y
2b = (10(b) ). Observamos de la tabla 3 que Definamos m = 2a(q+1) S. Entonces, por el
B(2a 2b ) = a b. lema anterior, obtenemos que:

Ahora, procederemos a demostrar un lema B(m) = 2q+1 + 1 (2q+1 2q + 1) q = 2q q

mas general que el anterior.
Ahora, por la forma en que se definio m, tenemos
Lema 5 Sean A > a1 > a2 > . . . > aq > 0 que:
numeros naturales. Entonces:
m2 = 22a(q+1) 2a(q+1)+1 S + S 2 (4)
B(2A 2a1 2a2 . . . 2aq ) = A + 1 aq q

Demostracion: Notemos que: Luego tenemos, desarrollando los 2 u ltimos

terminos de (4):
B(2A 2a1 2a2 . . . 2aq )
= B[(2A 2aq ) 2a1 2a2 . . . 2aq1 ] ( )2
q
X
Por el lema 4, 2A 2aq = (1(Aaq ) 0(aq ) ). S2 = 2a(q+1)a(i)+1
As: i=1
q
X
B[(2A 2aq ) 2a1 2a2 . . . 2aq1 ] = 22a(q+1)a(i+1)+2
= B[(1(Aaq ) 0(aq ) ) 2a1 2a2 . . . 2aq1 ] i=1
X
+2 22a(q+1)a(i)a(j)+2
Ahora, por hipotesis, al restar de 2A 2aq i<j
las restantes potencias de 2, lo que haremos Xq
sera quitar unos en las posiciones respectivas = 22a(q+1)a(i+1)+2
(a1 + 1, a2 + 1, . . . , aq1 + 1), mientras que los i=1
otros dgitos quedaran intactos. En consecuencia, q1
X q
X
al final de la resta, el total de unos sera la cantidad + 22a(q+1)a(i)a(j)+3 (5)
de unos originales (A aq ) menos la cantidad de i=1 j=i+1
unos que vamos quitando sucesivamente (que es
igual a la cantidad de potencias de 2 que vamos por otra parte,
quitando, e sto es, q 1), o en otras palabras: q
X
a(q+1)+1 a(q+1)+1
2 S = 2 2a(q+1)a(i)+1
B(2A 2a1 2a2 . . . 2aq )
i=1
= A aq (q 1) = A + 1 aq q Xq
= 22a(q+1)a(i)+2 (6)
i=1
 Lugar: a+1 a ... b+1 b b1 ... 1
2a = 1 0 ... 0 0 0 ... 0
b
- 2 = 1 0 0 ... 0
0 1 ... 1 0 0 ... 0
Tabla 3.

Los primeros q 1 terminos de S 2 se sim- Teorema 7 Para cada h fijo, con h N, h > 2:
plifican con los terminos 22a(q+1) y 2a(q+1)+1 S
de (4), por lo tanto: B(mh )
lim =0
Q m B(m)
2 a(q+1)+2
X q(q 1)
m =2 + 2el , Q = (7) ) h

l=1
2 Idea de la demostracion Como B(m
B(m)
> 0,
Notemos que a(q + 1) > a(i) para todo i 6 por el teorema 1, basta demostrar que ex-
q. Luego, tenemos que 2a(q + 1) > a(i) + a(j) iste una subsucesion {mk }k>0 para la cual
h
k )]
para todo i, j 6 q, por lo que 2a(q + 1) a(i) lmk B[(m
B(mk )
= 0.
a(j) + 3 > 0 para todo i, j 6 q. En consecuencia,
podemos escribir que 2a(q + 1) a(i) a(j) + 5. Suma Promedio de Dgitos
3 = el , donde el > 0. Ahora, cuantos el hay?
Veamos cuales son los posibles valores de i en En este captulo, enfocaremos nuestra aten-
(5): si j = 2, entonces i {1}; si j = 3, i cion a la funcion suma promedio de dgitos;
{1, 2}, y as sucesivamente hasta que j = q, por en particular, describiremos comportamientos
lo que i {1, 2, . . . q 1}. En consecuencia,
Pq1 la asintoticas de dicha funcion. Antes, sin embargo,
cantidad de posibles valores de i es k=1 k = definiremos brevemente la suma de dgitos en una
q(q1)
2
. Es por ello que en (7), podemos escribir base cualquiera.
que:
q1 q Definicion 3 Sean n, r N, r > 2. Sea n =
X X
2 2a(q+1)a(i)a(j)+3 (ck ck1 . . . c1 )r . Entonces, definimos y denota-
i=1 j=i+1 mos la funcion suma de dgitos en base r de la
Q siguiente manera: Br : N N / Br (n) =
X q(q 1) Pk
= 2el , Q = i=1 ci
2
l=1
n, r N, con r > 2. Denota-
Definicion 4 Sean P
Por la forma que tiene m2 , concluimos que n1
mos por S(r, n) = k=0 Br (k). Entonces, S(r,n)
B(m2 ) = 1 + q(q1)2
. Recordando que B(m) 6 n
es la suma promedio de dgitos.
[log2 (m)] + 1, obtenemos:
B(m2 ) 1 + q(q1)
2 Ahora, procederemos a establecer un compor-
r2 (m) = =
B(m) B(m) tamiento asintotico de S(r,n)
n
.
> {B(m)}1 > {[log2 (m)] + 1}1 Teorema 8
S(r, n) n (r 1)ln(n)

n 2ln(r)
4. Conjetura de Stolarsky
Es decir:
Stolarsky, en su trabajo [4], conjetura que
limm rh (m) = 0. La demostracion de este he- 2S(r, n)ln(r)
lm =1 (8)
cho en el trabajo [2]. n (r 1)nln(n)
 Consideremos todos los numeros desde a 0 Ahora, recordando que a (b c) > a b
hasta n1, inclusive, escritos en su orden natural para todo a, b, c N (por ejemplo, 5 (3 1) =
en base r. Los dgitos que estan en el i esimo 3 > 2 = 5 3), tenemos:
lugar (contando de derecha a izquierda) se repiten  
en perodos de r i numeros, y cada perodo consta 1 r k+1 r
(r 1) kn
de r i1 de cada uno de los dgitos 0, 1, . . . , r 1. 2 r1
El u ltimo perodo estara completo si y solo si n es 1
= {(r 1)kn (r k+1 r)}
divisible entre r i . Sea si la suma de dgitos en el 2
iesimo lugar (contando de derecha a izquierda) 1
i > {(r 1)kn r k+1}.
de todos los numeros desde 0 a n 1. Como  n r 2
Z, por la observacion 2, si hacemos x = ri , de
la primera desigualdad, obtenemos que: Como r > 1 r k+1 < r k+2 y r k > n:

n hni 1 1
1 < {(r 1)kn r k+1} > {(r 1)kn r k+2 }
ri ri 2 2
1
= {(r 1)kn r 2 r k }
Luego, multiplicando por r i , tenemos que: 2
1
hni hni > {(r 1)kn r 2 n}.
n ri < i ri i ri > n ri (9) 2
r r
Por lo tanto:
Ahora, de la misma observacion 2, toman-
do la segunda desigualdad, y aplicando un razon- 1
S(r, n) > {(r 1)kn r 2 n}
amiento analogo, llegamos a que: 2
1
hn i = {(r 1)k r 2 }n. (11)
i
+ 1 6 n + ri (10) 2
r
Por otra parte:
Entonces, por (9) y (10), tenemos que:
k
hni 1 X
i1 r(r 1) S(r, n) < (r 1) (n + r i )
si > r 2
ri 2 i=1
1 hni i 1 1
= r (r 1) > (r 1)(n r i ) = {(r 1)kn + r k+1 r}
2 ri 2 2
y 1
< {(r 1)kn + r k+1}.
2
hn i
i1 r(r 1)
si < + 1 r Como r k1 < n, obtenemos lo siguiente:
ri 2
1 hn i 1
= + 1 r i (r 1) 6 (r 1)(n + r i ) 1
2 r i 2 S(r, n) < {(r 1)kn + r k+1}
2
P 1
Como S(r, n) = ki=1 si , tenemos que: = {(r 1)kn + r 2 r k1}
2
k 1
1 X < {(r 1)kn + r 2 n}.
S(r, n) > (r 1) (n r i ) 2
2 i=1
k k
! Por lo tanto, concluimos que:
1 X X
= (r 1) n ri 1
2 i=1 i=1 S(r, n) < {(r 1)kn + r 2 n}
 k+1
 2
1 r r 1
= (r 1) kn . = {(r 1)k + r 2 }n (12)
2 r1 2
 De (11), tenemos lo siguiente: Haciendo las simplifaciones correspondien-
tes, nos queda que:
1
S(r, n) > {(r 1)k r 2 }n n o
2 (r 1) ln(n) + 1 ln(r)
ln(r) r 2 ln(r)
entonces +
(r 1)ln(n) (r 1)ln(n)
2S(r, n)ln(r) {(r 1)k r 2 }ln(r) (r 1)ln(r) r 2 ln(r)
> = 1+ +
(r 1)nln(n) (r 1)ln(n) (r 1)ln(n) (r 1)ln(n)
Ahora, recordando que n 6 r k implica que Al sumar las fracciones, obtenemos que:
ln(n)
k> r > 2, tenemos:
ln(r)
2S(r, n)ln(r)
2 (r 1)nln(n)
{(r 1)k r }ln(r)
(r 1)ln(n) (r 1)ln(r) r 2 ln(r)
6 1+ +
(r 1)kln(r) r 2 ln(r) (r 1)ln(n) (r 1)ln(n)
=
(r 1)ln(n) (r 1)ln(n) (r 2 + r 1)ln(r)
2
= 1+ .
r ln(r) (r 1)ln(n)
> 1
(r 1)ln(n) Por lo tanto, concluimos que:
Por lo tanto, podemos concluir que: 2S(r, n)ln(r)
lm sup
2S(r, n)ln(r) n (r 1)nln(n)
lm inf
n (r 1)nln(n) (r 2 + r 1)ln(r)
6 lm sup 1 + = 1(14)
r 2 ln(r) n (r 1)ln(n)
> lm inf 1 =1 (13)
n (r 1)ln(n) Ahora, combinando, (13) y (14), obtenemos
Por otro lado, partiendo de (12), tenemos lo que:
siguiente: 2S(r, n)ln(r)
lm = 1,
n (r 1)nln(n)
1
S(r, n) 6 {(r 1)k + r 2 }n Probando as (8).
2
El siguiente teorema nos dice que la
de donde suma promedio de dgitos es menor cuando los
2S(r, n)ln(r) {(r 1)k + r 2 }ln(r) numeros estan escritos en base 2.
6 .
(r 1)nln(n) (r 1)ln(n) Teorema 9 Sea r N / r > 2. Entonces:
ln(n)
Ahora, como n > r k1 k < ln(r)
+ 1, ten- S(r, n)
lm >1
emos: n S(2, n)

{(r 1)k + r 2 }ln(r) Demostracion: Usando el teorema anterior, ten-

(r 1)ln(n) emos que:
(r 1)kln(r) r 2 ln(r)
= + S(r, n)
S(r,n)
(r 1)ln(n) (r 1)ln(n) lm = lm n
n S(2, n) n S(2,n)
Luego: n
(r1)ln(n)
2ln(r)
(r 1)kln(r) r 2 ln(r) = lm ln(n)
+ n
(r 1)ln(n) (r 1)ln(n) 2ln(2)
n o (r 1)ln(2)
ln(n)
(r 1) ln(r) + 1 ln(r) r 2 ln(r) =
= + ln(r)
(r 1)ln(n) (r 1)ln(n)
 Ahora, como: por lo que (16) es una funcion monotona cre-
  ciente con respecto a r2 . Posteriormente, hacien-
d (r 1)ln(2)
do un razonamiento analogo al que se hizo en el
dr ln(r) teorema anterior, se puede llegar a (15).
{ln(r) + r 1 1}ln(2)
= >0 El teorema 11 es un caso particular, el cual gen-
ln2 (r)
eralizaremos en el siguiente:
para r > 2. Concluimos que (r1)ln(2) es una fun-
ln(r) Corolario 2 Sea p N, p > 2. Sea {ri }pi=1 N
cion monotona creciente en r y ademas:
tal que 2 6 r1 6 r2 1 6 r3 1 6 . . . 6 rp 1.
S(r, n) (r 1)ln(2) 2ln(2) 5 Entonces, si 1 6 j < l 6 p, se tiene que:
lm = > > >1
n S(2, n) ln(r) ln(3) 4 S(rl , n)
lm >1
n S(rj , n)
Para todo r > 3. As concluye la de-
mostracion. Demostracion: Sea p N, con p > 2. Sean
j, l N tales que 1 6 j < l 6 p. Ahora, con-
Los teoremas 7 y 8 se pueden usar para de-
sideremos la sucesion creciente {ri }pi=1 tal que
mostrar el siguiente teorema, que propone una
2 6 r1 6 r2 1 6 r3 1 6 . . . 6 rp 1. As, si
situacion mas general que la que se muestra en
j < l,podemos ver que 2 6 rj 6 rl 1. As, las
el teorema anterior:
hipotesis del teorema anterior se cumplen, por lo
Teorema 10 Si 2 6 r1 6 r2 1, entonces se que concluimos que:
cumple la desigualdad: S(rl , n)
lm >1
S(r2 , n) n S(rj , n)
lm >1 (15)
n S(r1 , n)

Demostracion:

6. Numeros (2, 1, 2)
S(r2 ,n)
S(r2 , n)
lm = lm S(rn1 ,n) En este captulo, definiremos a los numeros
n S(r1 , n) n
n (2, 1, 2), los caracterizaremos y enunciaremos
(r2 1)ln(n)
2ln(r2 ) propiedades importantes concernientes a ellos.
= (r1 1)ln(n)
2ln(r1 ) Definicion 5 Se dice que un numero n N es
(r2 1)ln(r1 ) (2, 1, 2), o que satisface la propiedad (2, 1, 2), si
= (16) B(n) = B(n2 ).
(r1 1)ln(r2 )
Ahora, derivando (16) con respecto a r2 , En las siguientes proposiciones, se demuestran
tenemos que: algunas propiedades de los numeros (2, 1, 2). El
  siguiente teorema desmuestra la existencia de
d (r2 1)ln(r1 ) numeros (2, 1, 2).
dr2 (r1 1)ln(r2 )
   Teorema 11 Para todo k N , el numero nk =
ln(r1 ) d r2 1
= 2k 1 es del tipo (2, 1, 2).
r1 1 dr2 ln(r2 )
( )
1
ln(r1 ) ln(r2 ) + r2 1 Demostracion: Como nk = (1(k) ), se ve que
= (17) B(nk ) = k. Ademas:
r1 1 {ln(r2 )}2
(nk )2 = (2k 1)2 = 22k 2k+1 +1 = (1(k1) 0(k) 1)
Recordando que 2 6 r1 6 r2 1 y analizan-
1)
do (17), es claro que ln(r
r1 1
> 0 y ln(r2 ) + r12 > 1, Por lo que B [(nk )2 ] = k.
Ahora, daremos otra caracterizacion de los
numeros (2, 1, 2).
Teorema 12 Para todo k N, k > 9 y n = 2k
2k2 2k3 4, los numeros n, n + 1, n + 2 y
n + 3 son del tipo (2, 1, 2).
Demostracion: En virtud del lema 5, tenemos
que B(n) = k 4. Por otra parte:
n2 = 22k + 22k3 + 22k6 + 2k+1
+2k + 24 22k1 22k2 2k+3
= (1(2) 0(3) 1(k7) 0(k5) 10(4) )
Por lo que B(n2 ) = 2 + k 7 + 1 = k 4.
Por otra parte, en virtud del lema 5, con-
cluimos que B(n + 1) = k 3. Ademas:
(n + 1)2 = 22k + 22k3 + 22k6 + 2k+2 + 2k
+23 + 1 22k1 22k2 2k+3
2k1 2k2
= (1(2) 0(3) 1(k8) 0(3) 10(k4) 10(2) 1)
En consecuencia, B [(n + 1)2 ]
2 + k 8 + 1 + 1 + 1 = k 3.
Por otro lado, en virtud del mismo lema 5,
B(n + 2) = k 2. Haciendo los calculos perti-
nentes, tenemos que:
(n + 2)2 = 22k + 22k3 + 22k6 + 2k + 2k1
+22 22k1 22k2 2k+1
= (1(2) 0(3) 1(k5) 0(k4) 10(2) )
As, concluimos que B [(n + 2)2 ]
2 + k 5 + 1 = k 2.
Invocando nuevamente el lema 5, llegamos
a la conclusion de que B(n+ 3) = k 2. Por otro
lado:
(n + 3)2 = 22k + 22k3 + 22k6 + 2k1 + 2k2
+1 22k1 22k2 2k+1
= (1(2) 0(3) 1(k7) 01(2) 0(k3) 1)
As, B [(n + 3)2 ] = 2 + k 7 + 2 + 1 = k 2.
En el siguiente resultado, establecemos
una propiedad importantsima de los numeros
(2, 1, 2): la existencia de infinitos intervalos (que
se mencionan en la siguiente proposicion) que no
contienen numeros de este tipo.
Proposicion 1 Existen infinitos n N tales que
1
el intervalo (n, n + n 2 ) no contiene numeros
(2, 1, 2).
Demostracion: Sea n = 22k = (10(2k) ). Cada
1
m (n, n + n 2 ) es de la forma n + r tal que 0 <
1
r < n 2 = 2k . En su expansion binaria, m es de
la forma (10(k) ck ck1 . . . c1 ), donde ci {0, 1}
y, por lo tanto, B[(ck ck1 . . . c1 )] = B(r) > 1.
Ahora, sea r 2 = (d2k d2k1 . . . d1 ). Tenemos en-
tonces nuevamente que B(r 2 ) > 1; por lo tanto:
m2 = [22k + (ck ck1 . . . c1 )]2
= 24k + 22k (ck ck1 . . . c1 )
+(ck ck1 . . . c1 )2
= (10(k1) ck ck1 . . . c1 0d2k d2k1 . . . d1 )
As, B(m2 ) = 1 + B(r) + B(r 2 ) > 1 +
= B(r) = B(m).
Ahora, enunciaremos una propiedad de la
funcion B.
Lema 6 Si 0 < n < 2 , entonces B[n(2 1)] =
Demostracion: Tenemos 2 casos:
Supongamos que n es impar. Sea
n = (ck ck1 . . . c1 ) / c1 = ck = 1. Co-
mo n < 2 , tenemos que kP6 (esto es
= k
debido a que n < 2 i=1 ci 2
ki
<
2 k 6 ). Ademas de e sto, notemos
que n(2 1) = (ck ck1 . . . c1 0() )
(ck ck1 . . . c1 ), por lo que n(2 1) =
(ck ck1 . . . c2 c1 1(k) ck ck1 . . . c2 c1 ). En
consecuencia:
B[n(2 1)]
= B[(ck ck1 . . . c2 c1 1(k) ck ck1 . . . c2 c1 )]
= B[(ck ck1 . . . c2 c1 1(k) ck ck1 . . . c2 c1 )]
= B(n) + ( k) + k B(n) =
 Si n es par, entonces n = 2nh es impar para
algun h N y, evidentemente, n < 2 . En
consecuencia, y usando el lema 2, tenemos
que B[n (2 1)] = y B[2h n (2 1)] =
, por lo que B[n(2 1)] = . c.q.d.
Con respecto a los multiplos de potencias
de 2, cuando a estos numeros se les suma una
unidad, cual es la suma de dgitos del numero re-
sultante? Cual es la suma de dgitos del cuadra-
do de e ste numero? Estas dudas nos las aclara el
siguiente
Lema 7 Sea n N, y sea tal que n < 21 .
Entonces:
B(2 n + 1) = B(n) + 1
y = B[(ck ck1 . . . c2 c1 1(h) dh dh1 . . . d2 d1 )]
B[(2 n + 1)2 ] = B(n2 ) + B(n) + 1
Demostracion: Sea n = (ck . . . c1 ). Como n <
21 , k 6 . En consecuencia:
2 n = (10() ) (ck . . . c1 ) = (ck . . . c1 0() )
Por lo tanto, 2 n + 1 = (ck . . . c1 0(1) 1), y,
as, B(2 n + 1) = B(n) + 1. Supongamos
que n2 = (d2k . . . d1 ); entonces (2 n + 1)2 =
22 n2 + 2+1 n + 1. Como k 6 (lo que obvia-
mente implica que k 6 + 1), 2k 6 2. En con-
secuencia, 22 n2 = (d2k . . . d1 0(2) ) y 2+1 n =
(ck . . . c1 0(+1) ).
As, tenemos que:
B[(2 n + 1)2 ]
= B[(d2k . . . d1 0(2) ) + (ck . . . c1 0(+1) ) + 1]
= B(n2 ) + B(n) + 1.
Ahora, si a un multiplo de una potencia de 2
le resto una cantidad cualquiera, Cual es la suma
de dgitos de e ste numero y de su cuadrado? Para
ello, tenemos el siguiente
Lema 8 Sean n = (ck . . . c1 ) y m = (dh . . . d1 )
naturales impares. Si > max{2h1, h+k+1},
tenemos que:
B(n2 m) = B(n) B(m) +
B[(n2 m)2 ] = B(n2 )+B(m2 )B(mn)+1
Demostracion: Notemos que ck = dh = 1 =
c1 = d1 . Ademas, n2 = (ck . . . c1 0() ), por lo
que:
n2 m = (ck . . . c1 0() ) (dh . . . d1 )
= (ck ck1 . . . c2 c1 1(h) dh dh1 . . . d2 d1 )
Como ck = dh = 1, tenemos que ck + dh =
ck + dh (pues ck = 0 = dh ). As:
B(n2 m)
= B[(ck ck1 . . . c2 c1 1(h) dh dh1 . . . d2 d1 )]
= B(n) + B(m)
Supongamos que n2 = (q2k q2k1 . . . q1 ),
m2 = (r2h r2h1 . . . r1 ) y mn =
(sk+h sk+h1 . . . s1 ). Es facil ver que
(n2 m)2 = (n2 22 + m2 ) nm2+1 ;
ademas, notemos que sk+h = 1 = q2k = r2h .
Por hipotesis, 2h 6 + 1 y k + h 6 1.
Por lo tanto:
(n2 m)2 =
(q2k . . . q2 q1 1(kh1) sk+h . . . s2 s1 0(+12h) r2h . . . r1 )
En consecuencia:
B[(n2 m)2 ]
= B[(q2k . . . q2 q1 1(kh1) sk+h . . . s2 s1 0(+12h) r2h . . . r
= B[(q2k . . . q2 q1 1(kh1) sk+h . . . s2 s1 0(+12h) r2h . . . r
Entonces, tenemos que B[(n2 m)2 ] =
B(n2 ) + B(m2 ) + 1 B(mn).
Como una propiedad particular del lema an-
terior, podemos enunciar el siguiente
Corolario 3 Si B(n2 ) = 2B(n) 1 y > k + 2,
entonces 2 n 1 es del tipo (2, 1, 2).
Demostracion: En este caso, h = m = 1. En- Con las hipotesis adecuadas, se pueden construir
tonces, > max{2 1 1, 1 + k + 1} = ciertos numeros para los cuales es facil calcular-
max{1, 2 + k} = k + 2. Por lo tanto, en virtud les su suma de dgitos. Ello se demuestra en el
del lema anterior: siguiente

B(2 n 1) = B(n) + 1 Lema 9 Sea n = (ck ck1 . . . c1 ) un natural im-

par. Supongamos que B(n2 ) > 2B(n) + 1. En-
y tonces, existen y h N tales que, para n =
n2 (2h 1), tenemos que B[(n )2 ] = 2B(n )1
B[(2 n 1)2 ] Demostracion: Sea h = k + 1; entonces, ten-
= B(n2 ) + 1 B(n) + 1 emos que n < 2h 1. Sea = B(n2 )
= B(n) + 1 2B(n) + 2h, luego = 2h + a / a > 1. Es
importante senalar que < 4k + 2. As, las
hipotesis del corolario 3 se cumplen, por lo que
B(n ) = B(n) + h y:
Otro corolario que se puede enunciar al
B[(n )2 ] = B(n2 ) + 1
lema anterior es el siguiente:
= 2B(n) + 2h + 1
Corolario 4 Sea n un natural impar. Sea m = = 2B(n) + 2 2h 1
2h 1 tal que n < m. Si > 2h + 1, entonces: = 2B(n ) 1

B(n2 m) = B(n) + h
El siguiente lema nos muestra que existen ciertos
y numeros para los cuales solamente podemos aco-
B[(n2 m)2 ] = B(n2 ) + 1 tar la suma de dgitos del cuadrado de cada uno.

Demostracion: Sea n = (ck . . . c1 ). En princi- Lema 10 Sea n = (ck ck1 . . . c1 ) >

pio, cabe destacar que m = (1(h) ); ademas, se 1 un numero natural. Sea n0 =
puede ver que k 6 h (lo cual claramente implica (ck ck1 . . . c1 0(k) 10(2k+1) 1). Entonces
que n < 2h ). Como > 2h + 1 = max{2k B [(n0 )2 ] > 2B(n0 ) + 1
1, h+k +1}, en virtud del lema anterior, tenemos Demostracion: Notemos que n0 = (n2k+1 +
que: 1)22k+2 + 1. As,como n < 2k , podemos aplicar
el lema 7, concluyendo que:
B(n2 m) = B(n)B(m)+ = B(n)+ h  
B(n0 ) = B (n2k+1 + 1)22k+2 + 1
Ahora, como n < 2h , tenemos, en virtud del = B(n2k+1 + 1) + 1
lema 6, que: = B(n) + 2
B(nm) = B[n(2h 1)] = h Al aplicar el lema 7 nuevamente, obtenemos lo
siguiente:
Por otro lado, en virtud del teorema 12,  
2 B (n0 )2
B(m ) = h. En consecuencia: n 2 o
= B (n2k+1 + 1)22k+1 + 1
B[(n2 m)2 ]  
= B (n2k+1 + 1)2 + B(n2k+1 + 1) + 1
= B(n2 ) + B(m2 ) B(mn) + 1
= B(n2 ) + B(n) + 1 + B(n) + 1 + 1
= B(n2 ) + h h + 1 = B(n2 ) + 1
= B(n2 ) + B(n0 ) + B(n0 ) + 1
> 2B(n0 ) + 1

Observacion 3 Con las hipotesis del lema ante-
rior, se puede ver tambien que n0 n4
Ahora, demostraremos uno de los teoremas
mas importantes de este Trabajo, el cual nos da
una cota para la funcion que cuenta los numeros
(2, 1, 2).
Teorema 13 Sea p(n) = {q < n / B(q) =
B(q 2 )}. Entonces, tenemos que p(n) n0,025 .
Demostracion: Sea n = (ck ck1 . . . c1 ) un nat-
ural impar. Mostraremos que para una constante
A que no depende de n, es posible construir un
conjunto de n numeros (2, 1, 2) distintos que no
excedan a An40 .
Consideremos los n numeros ni = 2 + i k a power, Proceedings of the American
para i = 1, . . . , n. Obviamente, tenemos que
ni < 4n.
Referencias
[1] Bush, L. E. An Asymptotic Formula for
the Average Sum of the Digits of Integers,
The American Mathematical Montly, Vol.
47, Nro 3 (Mar 1940), pp. 154-156.
[2] Hare, Kevin; Laishram, Shanta y
Stoll, Thomas Stolarskys Con-
jecture and the sum of digits of
polynomial values, disponible en
http://arxiv.org/pdf/1001.4169
[3] Melfi, G. On simultaneous binary expan-
sions of n and n2 , Journal of Number The-
ory, 111 (2005), pp. 248-256.
[4] Stolarsky, K. B. The binary digits of
Mathematical Society, Vol. 71, Nro 1 (Aug
1978).

[5] Stolarsky, K.B. Power and exponential

Para todo i, por el lema 10, existe un
sums related to binomial coefficient parity,
n0,i (ni )4 tal que sus primeros k + 1 dgi-
SIAM J. Applied Math. 32 (1977), 717-730.
tos son los mismos que los de ni y tal que
B [(n0,i )2 ] > 2B(n0,i ) + 1.

Ahora, por el lema 9, existe un

n0,i (n0,i )5 tal que sus primeros k dgi-
 nuevo, los mismos de n y tal que
tos son, de
B (n0,i )2 = 2B(n0,i ) 1.

Finalmente, por el corolario 3 existe

un n0,i (n0,i )2 cuyos primeros dgi-
 son los mismos de n y tal que
tos binarios
B (n0,i )2 = B(n0,i ).

As, tenemos que n0,i (n0,i )2

n o2
2 5
[(n0,i )5 ] [(ni )4 ] n40 .

En su trabajo [3], Melfi plantea la conjetura

de que p(n) n para algun R.

7. Agradecimientos 1

En caso de ser necesario y si la investi-

gacion esta financiada por un proyecto de inves-
tigacion.