MAT 2

MATerials MATemtics
Volum 2014, treball no. 1, 10 pp. ISSN: 1887-1097
Publicaci electrnica de divulgaci del Departament de Matemtiques
de la Universitat Autnoma de Barcelona
www.mat.uab.cat/matmat

Disquisiciones acerca de las leyes

de formacin de ciertas sucesiones
Juan de Burgos Romn
Antonio Roberto Martnez Fernndez
Todos nos hemos encontrado alguna vez con alguna pregunta similar a
sta: Dados los primeros elementos de una sucesin a1 , a2 , a3 y a4 (por
ejemplo a1 = 13 , a2 = 54 , a3 = 79 y a4 = 16
), se pide averiguar cul es el
9
siguiente elemento (el a5 ). De nosotros se espera que descubramos una ley,
no demasiado retorcida, que funcionando para los primeros elementos dados,
permita calcular los siguientes (en este caso, se espera que intuyamos que lo
n2
).
razonable es tomar an = 1+2
n

En este tipo de preguntas se da por supuesto que estamos capacitados

para la adivinacin, pues es evidente que el elemento a5 podra ser otro
cualquiera, aunque en los casos usuales, como el anterior, hay un a5 que
resulta mucho ms razonable que otros.
Estas preguntas tienen la virtud de avivar la imaginacin y el ingenio,
n2
pero su respuesta no debiera ser an es an = 1+2
, sino un buen valor para
n
n2
an podra ser an = 1+2 n . Vase, por ejemplo, el caso de la sucesin 0, 3, 0,
3, . . . ; si nos preguntan por los dos siguientes elementos, la respuesta ms

Disquisiciones acerca de las leyes de formacin. . .

inmediata, y la que se espera de nosotros, es a5 = 0 y a6 = 3. Sin embargo,

tambin podran valer, por ejemplo, a5 = 24 y a6 = 75, ya que la expresin
an = 2 n3 15 n2 + 34 n 21 proporciona, para n = 1, 2, 3 y 4, los valores
a1 , a2 , a3 y a4 dados, y para n = 5 y n = 6 conduce a a5 = 24 y a6 = 75.
A este asunto de averiguar el siguiente elemento, se suele acudir, tambin, con fines un tanto humorsticos. Este es el caso de Averiguar cul es
el siguiente elemento de la sucesin que empieza con estos siete elementos 2,
10, 12, 16, 17, 18, 19. Despus de buscar alguna ley razonable de formacin,
termina uno por rendirse y, entonces, se nos contesta que el siguiente elemento es el 200, ya que la sucesin est formada por los nmeros naturales cuyo
nombre empieza por d.
A ttulo de ejemplos en los que no es nada fcil averiguar cul es el
elemento siguiente, valgan estos dos:
0, 2, 3, 8, 95, 680, a7

0, 1, 1, 2, 1, 3, 1, 3, 2, 3, 1, b12 .

En estos casos, una respuesta posible es a7 = 4991 (en general an = n! n2 )

y b12 = 5 (en general bn es el nmero de divisores de n distintos del propio
n).
Si se considera la sucesin
41, 43, 47, 53, 61, 71, 83, 97, 113, 131, 151, 173, 197, 223, . . .
cualquiera que tenga despierta la mente matemtica reconocer que son nmeros primos. Una ley de formacin para tal sucesin viene dada por el
polinomio f (n) = n2 + n + 41 introducido por Euler. En efecto, los nmeros
de la lista anterior son f (n), para n = 0, 1, 2, . . . , 13. As que, segn esta regla,
el siguiente nmero debiera ser f (14) = 251, tambin primo. Pero notemos
que esta lista, generada a partir del polinomio de Euler, no genera siempre
nmeros primos. De hecho, se tiene que f (n) es primo para n = 0, 1, 2, . . . , 39,
pero f (40) = 412 es compuesto. El anterior polinomio de Euler da 40 trminos consecutivos de una sucesin que son nmeros primos, y podramos
pensar que hay un polinomio (no constante) f de manera que f (m) es primo
para cada m 0. Pero no hay que gastar el tiempo buscando tal polinomio,
porque no existe, como nos muestra el siguiente resultado:
Proposicin. No existe ningn polinomio no constante f Z[x] tal que
f (m) sea primo para todo m N.
Demostracin. Sea f (x) = an xn + an1 xn1 + + a1 x + a0 Z[x] un
polinomio tal que f (m) es un nmero primo para cada m N. En particular,

J. de Burgos, A. R. Martnez

f (1) = an + an1 + + a1 + a0 = p es primo. Pero entonces, para cada k N

se tendra que
f (1 + k p) = an (1 + k p)n + an1 (1 + k p)n1 + + a1 (1 + k p) + a0
= (an + an1 + + a1 + a0 ) + M (k) p = (1 + M (k)) p ,
siendo M (k) un nmero entero, que depende de k. Como este valor ha de
ser primo, para cada k N, conclumos que M (k) = 0 y f (1 + k p) = p,
para cada k N. De modo que f p es constante, ya que un polinomio no
constante verifica lm |f (x)| = , luego slo puede tomar un valor fijado
|x|

un nmero finito de veces.

Ante el problema de hallar, dado un nmero finito de trminos de una
sucesin, el siguiente trmino de un modo razonado, podemos optar (si el
ingenio o la paciencia se nos agotan) por introducir los trminos de la sucesin que nos proporcionan en la pgina web La Enciclopedia On-Line de
las Secuencias de Nmeros Enteros, http://oeis.org/?language=spanish,
donde hay un buscador que nos dice si la sucesin que buscamos ha aparecido
antes en algn lugar relevante. Esta pgina web es especialmente til para
problemas combinatorios. Pero uno se podra topar con el siguiente problema,
puesto adrede para hacer desistir de su anlisis al ms pintado:
Sea dada la siguiente sucesin, de 40 dgitos (nmeros naturales
de 0 a 9):
4, 8, 2, 6, 0, 4, 8, 3, 7, 1, 5, 9, 3, 7, 2, 6, 0, 4, 8, 2,
6, 1, 5, 9, 3, 7, 1, 5, 0, 4, 8, 2, 6, 0, 4, 9, 3, 7, 1, 5.
Se pide obtener una ley de formacin (funcin f (n), con n N,
expresada en trminos de funciones utilizadas por los alumnos
de 1er curso de cualquier carrera de ciencias) que, verificndose
para los 40 primeros valores de n dados, proporcione los infinitos
elementos restantes de la sucesin.
A pesar del aparente caos que presenta esta sucesin (que, por cierto,
no se encuentra en la base de datos del buscador de la pgina web citada
anteriomente), uno puede empezar a pelearse con este problema observando
que en dicha sucesin aparecen dos ciclos de 7 dgitos, uno con nmeros pares,
y otro con impares. Adems, es fcil ver que si ha aparecido el ciclo abcdeab,
la siguiente aparicin de tal ciclo es cdeabcd. Tampoco hay que hacer arcos de
iglesia para darse cuenta de que el primer ciclo de todos, el 4, 8, 2, 6, 0, 4, 8, no
es ms que la ltima cifra de multiplicar por 4 los nmeros 1, 2, 3, 4, 5, 6, 7, y

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departa
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Disquisiciones acerca de las leyes de formacin. . .

que el primer ciclo de impares, 3, 7, 1, 5, 9, 3, 7, es el resultado de multiplicar

los nmeros 1, 2, 3, 4, 5, 6, 7 por 4, restarles 1, y quedarnos con la ltima cifra.
Ahora, ayudados del hecho de que, si m
 N es un nmero natural entonm
, siendo [x] la parte entera de cada
ces su ltima cifra es U C(m) = m10 10
nmero real x R (es decir, el mayor nmero entero menor o igual que x), y
acudiendo a las potencias de 1, podemos obtener (quiz tras equivocarnos
en los primeros intentos) que:




n1
2(n)
[
]
f (n) = 1 + (1) 7
2(n) 5
5


n1 
1 (1)[ 7 ]
4(n) 1
+
4(n) 1 10
,
2
10
con


n1
(n) := (n) + 2
,
14
6r(n)

6r(n)
7
1 + (1)[ 6 ]
r(n) +
1 (1)[ 6 ] ,
(n) :=
2i
2
hn
r(n) := n 7
.
7
Aunque esta funcin da una ley de formacin vlida, hemos de confesar
que la sucesin dada (la de 40 dgitos) se obtuvo de otro modo muy distinto:
el elemento n-simo es la primera cifra decimal del nmero que resulta de
multiplicar por n la raz cuadrada de 2, es decir
"
#


n 10 2
.
finicial (n) = n 10 2 10
10
Nos parece estar ante un hecho enormemente sorprendente, el de que
dos leyes de formacin tan dispares se satisfagan para, nada menos, que las
cuarenta primeros elementos de la sucesin dada. As que nos parece natural
preguntarse si eso
de los ciclos de nmeros pares e impares es algo que
est
ligado al nmero 2 o si tambin se dara este hecho si, en vez de 2 , se
tomase otro nmero puetero.
De esta forma se nos ocurre repetir el mismo

esquema sustituyendo 2 por, pongamos, el logaritmo neperiano de 5, y nos

encontramos, de nuevo, con algo parecido: una sucesin semidomesticada,
esta vez en ciclos de 10 nmeros pares y 11 nmeros impares. Los 42 primeros
elementos de tal sucesin son
6, 2, 8, 4, 0, 6, 2, 8, 4, 0, 7, 3, 9, 5, 1, 7, 3, 9, 5, 1, 7,
4, 0, 6, 2, 8, 4, 0, 6, 2, 8, 5, 1, 7, 3, 9, 5, 1, 7, 3, 9, 5,

J. de Burgos, A. R. Martnez

y su ley de formacin es, en este caso,

"
#
n 10 log 5
.
Finicial (n) = n 10 log 5 10
10


Nos preguntamos, de la misma manera que con el otro ejemplo, si podramos

dar una ley de formacin similar. Tras unos clculos, ms o menos tediosos,
encontramos que
#!
"


b
3
(n)
h(n)
b
F (n) = 1 + (1)
3 (n)
5
5
"
#!
b
1 (1)h(n)
6
(n)
+
1
b
+
6 (n)
+ 1 10
,
2
10
siendo



k(n)
h(n) :=
,
11


n1
b
,
(n) := (n)
b
+3
21
1 + (1)h(n)
1 (1)h(n)
(n)
b
:=
k(n) +
(k(n) 10),
2
2
20b
r (n)

20b
r (n)
1 + (1)[ 20 ]
21 
k(n) :=
rb(n) +
1 (1)[ 20 ] ,
2
h2n i
rb(n) := n 21
.
21
Al principio nos pareci extraordinariamenteasombroso que en las frmulas
obtenidas no apareciese por ningn lado ni 2 ni log 5. Lo cual nos llev a
preguntarnos si acontecera que f = finicial y si F = Finicial .
Pues bien, aqu viene la gracia de este asunto. Resulta que las leyes de
formacin relativas a la primera sucesin son iguales hasta el trmino 203,
pero
finicial (204) = 4 6= 5 = f (204),
y las de la segunda sucesin son iguales hasta el trmino 73, pero
Finicial (74) = 0 6= 1 = F (74).
El mensaje que nos gustara transmitir con todo esto es que para los asuntos
de hallar leyes de formacin tenemos que ser cautelosos por partida doble.
En primer lugar, porque encontrar una ley de formacin razonable puede no
ser un tema en absoluto trivial, y, en segundo lugar, porque aunque parezca
que slo puede haber una ley de formacin razonable, puede haber varias
(y bien distintas entre s).

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departa
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Disquisiciones acerca de las leyes de formacin. . .

1.

Deduccin de leyes de formacin generales

En esta seccin pasamos a atacar elproblema de encontrar una ley de

formacin como las que aparecan con 2 o log 5, pero en el caso general.
Suponemos, pues, que una tal sucesin viene dada por ciclos de pares de
longitud `, y ciclos de impares de longitud m. A continuacin, disponemos
la sucesin por filas, en las que en cada fila van, por orden, un bloque de
pares y uno de impares. Suponemos que los primeros ` pares se obtienen
como el resultado de multiplicar los nmeros 1, 2, . . . , ` por un nmero par
r y quedarnos con la ltima cifra; y que los primeros m impares se obtienen
como el resultado de multiplicar los nmeros 1, 2, . . . , m por el nmero par r,
sumarle un nmero impar s (positivo o negativo), y quedarnos con la ltima
cifra. En cada paso de una fila a otra, el bloque de pares a1 a2 . . . a` se cambia
por a1+p a2+p . . . a` a1 a2 . . . ap , y el bloque de impares b1 b2 . . . bm se cambia por
b1+p b2+p . . . bm b1 b2 . . . bp .
A continuacin distinguimos dos casos:

1.1.

Caso ` = m

Definimos la posicin de n en cada bloque como

hni
.
r(n) := n `
`
Notemos que estos nmeros aparecern en este orden dentro de cada bloque: 1, 2, . . . , ` 1, 0. De modo que nos interesa cambiar estas posiciones a
1, 2, . . . , ` 1, `. Esto lo conseguimos mediante la funcin
1 + (1)[
(n) :=
2

`1r(n)
`1

1 (1)[
r(n) +
2

`1r(n)
`1

]
`.

Ahora nos interesa mover cada ciclo de nmeros pares a1 a2 . . . a` a los ciclos
a1+p a2+p . . . a` a1 a2 . . . ap en cada paso de fila, y lo mismo para cada ciclo de
nmeros impares. Para ello, definimos


n1
.
(n) := (n) + p
2`
Con todo esto, tenemos que la ley de formacin sera, en este caso,
n1
n1
1 + (1)[ ` ]
1 (1)[ ` ]
f (n) =
U C(r (n)) +
U C(r (n) + s).
2
2

J. de Burgos, A. R. Martnez

1.2.

Caso ` 6= m

Este caso es anlogo, pero tenemos que modificar un poco las frmulas.
Definimos la posicin de n en cada fila como el nmero


n
rb(n) := n (` + m)
.
`+m
Como antes, estas posiciones van etiquetadas en el orden 1, 2, . . . , `+m1, 0,
y nos interesa que aparezcan como 1, 2, . . . , ` + m 1, ` + m. Para ello,
definimos
r (n)
r (n)
]
]
[ `+m1b
[ `+m1b
`+m1
`+m1
1
+
(1)
1

(1)
b
k(n) :=
rb(n) +
(` + m).
2
2

Definimos el siguiente nmero auxiliar, que nos dice si caemos en un bloque

de pares o uno de impares:
#
"
b
k(n)
b
.
h(n) :=
`+1
As, la posicin de n dentro de cada bloque ser el nmero
1 (1)h(n) b
1 + (1)h(n) b
k(n) +
(n)
b
:=
(k(n) `).
2
2
b

Ahora, definimos la siguiente funcin, que mueve las posiciones de los bloques
segn avanzamos la fila,


n

1
b
(n)
:= (n)
b
+p
.
`+m
Finalmente, la ley de formacin resulta, en este caso,
1 + (1)h(n)
1 (1)h(n)
b
b
fb(n) =
U C(r (n))
+
U C(r (n)
+ s).
2
2
b

2.

Una caracterizacin extica de los racionales

En esta seccin nos olvidamos de 2 y log 5, pensamos en un nmero real cualquiera R, y estudiamos el comportamiento de la sucesin
cuyo trmino n-simo es la primera cifra decimal n. Como consecuencia,
obtendremos una caracterizacin de los nmeros racionales en funcin de la
periodicidad de dichas sucesiones.

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departa
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

Disquisiciones acerca de las leyes de formacin. . .

Para ello, dado (0, 1), consideramos la funcin

"
#


n 10
.
f (n) := U C(n 10 ) = n 10 10
10
Observemos que la funcin ltima cifra, U C, estaba definida para los nmeros
naturales, pero tiene sentido considerarla definida para cada nmero real
x R mediante U C(x) := U C(|[x]|).
Proposicin 2.1. Si Q (0, 1), entonces f (n) es peridica.
Demostracin. Pongamos como fraccin irreducible = pq , con p, q N,
p < q. Entonces f es q-peridica. En efecto,
f (n+k q) = U C((n+k q) 10 ) = U C(n 10 +10 k p) = U C(n 10 ) = f (n),
para cada k N. Aqu hemos usado que para cada entero m 1 se verifica
que U C(10 m + ) = U C(), para cada real > 0.
Parece natural preguntarse si se verifica el recproco. Es decir, si f (n)
es peridica, es racional? De ser esto cierto, habramos demostrado que
no existe un nmero irracional de modo que f (n) sea peridica. As, si
proponemos el problema de encontrar la ley de recurrencia de una sucesin
de pares-impares semidomesticada, y resulta que, cogiendo un irracional de
modo que dicha sucesin sea aparentemente peridica (hasta cierto trmino),
sabremos con seguridad que la sucesin formada explota en algn trmino.
Es decir, en algn momento, se deja de cumplirla ley lgica de formacin de
la sucesin. Esto es lo que sucede cuando es 2 log 5.
Veamos que, efectivamente, se verifica el recproco de la Proposicin 2.1.
Para ello, se necesita un resultado previo sobre sucesiones peridicas:
Lema 2.2. Sea {sn }n una sucesin peridica y a > 0 un nmero entero
positivo. Entonces la subsucesin {san }n es finalmente peridica (es decir,
peridica a partir de un trmino).
Demostracin. Supongamos que {sn }n es q-peridica, y realicemos la divisin
entera de an entre q. As, an = q cn + rn , con cn 0 y 0 rn < q. De esta
manera, ver que {san }n es finalmente peridica equivale a que la sucesin de
restos {rn }n sea finalmente peridica.
Calculando an+1 como a an , haciendo la divisin entera de an+1 entre q
e igualando estos valores, obtenemos
an+1 = q a cn + rn a = q cn+1 + rn+1 ,

J. de Burgos, A. R. Martnez

de donde rn+1 rn a = q (a cn cn+1 ) es mltiplo de q. Luego, tomando clases

en1 Zq , obtenemos que
hrn+1 i = hrn ai.
Anlogamente,
hrn+2 i = hrn+1 ai = hrn a2 i,
y, en general,
hrn+k i = hrn ak i.
Como Zq es finito, existir un k0 {0, 1, . . . , q 1} tal que hrn+q i = hrn+k0 i
y, al ser los restos 0 rn+q , rn+k0 < q, tendremos que rn+q = rn+k0 . Esto
nos indica que la sucesin {rn }n>k0 es (q k0 )-peridica, como queramos
ver.
Como consecuencia, tenemos el siguiente resultado.
Teorema 2.3. Sea (0, 1). Si f (n) es peridica, entonces Q (0, 1).
Demostracin. Ver que Q (0, 1) es lo mismo que decir que la sucesin
f (10n ) es finalmente peridica. Pero esto es consecuencia del Lema 2.2 con
el entero a = 10.
De este modo, obtenemos una caracterizacin de los nmeros racionales
en el intervalo (0, 1).
Corolario 2.4. Sea (0, 1). Entonces Q (0, 1) si, y slo si, la
sucesin f (n) es peridica.
Visto esto, podemos decir, sin hacer los clculos explcitos, que las sucesiones f2 (n) y flog 5 (n) no son peridicas, a pesar de la aparente periodicidad
que presentan en los primeros trminos.
Por otra parte, es inmediato observar que, si m N y > 0, entonces
fm+ (n) = f (n). Adems, si < 0, entonces f (n) = f|| (n). Dicho esto,
obtenemos la siguiente caracterizacin, algo extica, de los nmeros racionales:
Corolario 2.5. Sea R. Entonces Q si, y slo si, la sucesin f|| (n)
es peridica.
1

Zq es el anillo cociente Z/qZ. Es decir, es el conjunto formado por las clases residuales
mdulo q (los restos que se obtienen al dividir nmeros enteros por q):
Zq = Z/qZ = {h0i, h1i, . . . , hq 1i}.
Un buen libro de lgebra bsica, que puede servir para una toma de contacto con los
anillos cociente es [1].

MAT 2

MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departa
de la Universitat Aut`
onoma de Barcelona
www.mat.uab.cat/matmat

10

Disquisiciones acerca de las leyes de formacin. . .

Observemos, finalmente, que hay sucesiones peridicas de enteros entre 0

y 9 que no corresponden a ningn nmero real . En efecto, consideremos la
sucesin 3-peridica:
1, 7, 9, 1, 7, 9, 1, 7, 9, . . .
Como es peridica, en caso de corresponder a algn nmero real , ste ha
de ser racional. Pero, si nos restringimos al intervalo (0, 1), tendremos que
= pq , con mcd(p, q) = 1, entonces q = 3 y slo puede ser 1/3 2/3. Pero {f1/3 (n)}n = {3, 6, 0, 3, 6, 0, 3, 6, 0, . . . } y {f2/3 (n)}n = {6, 3, 0, 6, 3, 0, 6, 3,
0, . . . }, que no corresponden a la sucesin 3-peridica dada.

Referencias
[1] Dorronsoro J., Hernndez E., Nmeros, grupos y anillos, AddisonWesley, 2001.
[2] Niven I., Zuckerman H., Introduccin a la teora de los nmeros,
Limusa, Mxico, 1976.

Juan de Burgos Romn

Departamento de Fundamentos Matemticos
Escuela Tcnica de Ingenieros Aeronuticos
Madrid
juan.deburgos@upm.es

Antonio Roberto Martnez Fernndez

Departamento de Matemticas
Universidad de Murcia
Campus de Espinardo
Murcia
antonioroberto.martinez@um.es

Publicat el 5 de febrer de 2014