I.

Proyecto de exploracin matemtica para estudiantes de secundaria: Un nmero bblico

En la Biblia (traduccin de Casiodoro de Reina segn revisada por Cipriano de Valera) en 21:11 del evangelio de San Juan, aparece la siguiente cita: Subi Simn Pedro y sac la red a tierra, llena de grandes peces, ciento cincuenta y tres; y an siendo tantos la red no se rompi. Por aparecer en la Biblia, el nmero 153 ha cobrado cierta notoriedad habiendo sido objeto de especial atencin por parte de muchos de los exgetas de este antiguo escrito. Muchas personas insisten en que todos los nmeros que aparecen mencionados en la Biblia poseen una naturaleza especial que slo puede ser descubierta luego de profundas reflexiones. La primera referencia escrita sobre este nmero se atribuye a San Agustn. De acuerdo a San Agustn, si sumamos todos los enteros del 1 al 17 obtenemos la suma de 153 (por consiguiente, 153 es un nmero triangular). Por otra parte, el nmero 17 es muy especial de acuerdo al famoso santo, ya que es la suma del nmero de mandamientos (10) de la vieja ley mosaica y el nmero de los dones del espritu (7), smbolo de la nueva dispensacin. As pues 17 representa (as reza el argumento de San Agustn) la unin de lo viejo y lo nuevo. Por otra parte, seala Martin Gardner que el 153 satisface la siguiente curiosa relacin: 1! + 2! + 3! + 4! + 5! =153. (En la relacin anterior hemos utilizado la notacin factorial: para un entero positivo n, n! representa el producto de todos los enteros positivos de 1 a n.) Un poco de imaginacin permite descubrir algunas otras propiedades curiosas del 153. Por ejemplo, si sumamos los cubos de los dgitos de este nmero obtenemos 13 + 53 + 33 =1 + 125 + 27 =153. Dicho sea de paso, este no es el nico entero con esta propiedad. Por ejemplo, los nmeros 370 y 371 tambin tienen la propiedad de que cada uno de ellos vale la suma de los cubos de sus dgitos. Un ejemplo mucho menos

dramtico de otro tal entero positivo (pero ejemplo al fin) lo es el 1. Preguntamos al lector: Habr otros nmeros con esta propiedad? Quizs la propiedad ms curiosa e impresionante del 153 parecera ser una que descubri Phil Kohn de Yoqneam, Israel. Fue l quien anunci al mundo que, de cierto modo, el nmero 153 est implcito en uno de cada tres enteros consecutivos. Veamos porqu. Para enunciar adecuadamente el sorprendente descubrimiento de Kohn, Si n es un entero positivo, denotamos por

primeramente fijamos cierta notacin.

sum 3 (n) el resultado obtenido al sumar los cubos de los dgitos de n (cuando n se

representa en la base 10). As pues sum3 (153) ! 153 y sum3 (18) ! 513 . De la misma
(k ) manera, si k es un entero positivo, sum3 (n) representa el resultado obtenido al aplicar

( 3) (6) ! 153 : sum3 k veces corridas comenzando con el entero n. As pues sum3

6 " sum 3 (6) ! 216 " sum 3 (6) ! sum 3 (216) ! 225 " sum 3 (6) ! sum 3 (225) ! 141. !!
Qu ocurre si continuamos repitiendo el proceso iterativo comenzando con el nmero 6. Empleando una calculadora que nos indica los nmeros acumulados en la iteracin luego de cada paso vemos la imagen que se presenta en la Figura 15. Qu ocurre si comenzamos con otro nmero divisible por 3? Por ejemplo, con 3 y con 21; vase la Figura 2.

(2)

(3)

La conjetura de Kohn fue la siguiente: Si n es un entero divisible por 3 y aplicamos repetidamente el proceso descrito comenzando con n, terminaremos eventualmente en el 153. Es decir, existe un entero positivo k tal que sum3 (k) (n) = 153. Adems, si n es divisible por 3, entonces sum3 (n) tambin es divisible por 3. Ahora nos preguntamos que ocurre si el nmero con el que comenzamos la iteracin no es divisible por 3. En la Figura 3 y en la Figura 4 se presentan varios ejemplos, tomando como puntos de partida los nmeros 2, 7, 4 y 16.

Figura 1: Iteraciones comenzando con el nmero 6

Figura 2: Otras iteraciones de nmeros divisibles por 3

Figura 3: Comenzando con 2 y 7

Figura 4: Comenzando con 4 y 16 Podemos as observar patrones muy interesantes. Por ejemplo, la iteracin repetida del proceso comenzando con el 2 termina en 371 (para el cual tenemos sum3 (371) ! 371 ,

y si se comienza con el 7, se termina con el 370 (desde luego, nuevamente

sum3 (370) ! 370 ). La Figura 4 muestra que el proceso no tiene necesariamente que
terminar en un nmero fijo sino que podra terminar en una rbita. Por ejemplo, si se comienza la iteracin con el 4 terminamos alternndonos cclicamente por los nmeros del conjunto {133, 55, 250}; si comenzramos con el nmero 16 ocurrira lo mismo pero en el conjunto {160, 217, 352}. Desde luego, las rbitas de un solo punto (como {1}, {153}, {370}, {371}) corresponden a puntos especiales de la iteracin, llamados puntos fijos. Otra observacin interesante es la siguiente: en una iteracin dada todos los

resultados son congruentes mdulo 3, es decir, todos tienen el mismo residuo al dividir por 3. Sin embargo, no parece haber una regla general para predecir la rbita o el punto fijo dnde habr de terminar un nmero dado con el que se comience la iteracin. Otro dato interesante es que el proceso descrito conlleva un colapso impresionante si comenzamos con nmeros grandes; vase la Figura 5.

Figura 5: Grandes colapsos En efecto, es posible demostrar que el colapso no se hace esperar: si n ! 2,000, entonces sum 3 (n) < n. Este dato nos sugiere un programa para confeccionar la

demostracin del resultado que est implcito en esta iteracin. El programa a seguir podra ser el siguiente:

Hallar todas las rbitas y los puntos fijos de la iteracin con la ayuda de la calculadora (experimentando con nmeros n < 2,000).

 Probar (es decir, cotejar) que todos los nmeros 1 " n < 2,000 cuando se toman como valores iniciales de la iteracin, terminan en una de las rbitas o puntos fijos determinados en el paso anterior.

Si se completa este programa tendramos una demostracin del resultado que subyace en esta exploracin, de la cual podra decirse con toda correccin que es una demostracin matemtica por medio de la calculadora. Finalmente sealamos que este problema admite generalizaciones evidentes. Si b>1 es un entero, entonces todo entero positivo n se puede escribir como una suma de potencias de b,
n ! x m b m " x m #1 b m # 1 " ... " x 0 , x 0 , x1 ,# xm son enteros entre 1 y b-1 inclusive, y x m $ 0 . Utilizando la analoga donde !!

con el sistema decimal, diremos que x0, x1, ... , xm son los dgitos de n respecto a la base b. En este caso escribimos n ! (x m xm # 1 ... x0 )b . Por ejemplo, si b=2, entonces 7 = (1)22 + (1)21 + 1; aqu m=2, x 0 ! x1 ! x 2 ! 1 y 7=(111)2. De la misma manera verificamos que 5=(101)2. Dados una base b y un exponente e podramos definir anlogamente

suma e (n) = x m " x m #1 " ... " x 0 , para n = (x m x m #1 ... x 0 ) b .

(Aqu la suma indicada se completa en el sistema numrico de la base b.) Para qu

bases b y qu exponentes e existen patrones interesantes? Advertimos que el problema de la prediccin (slo a base de b y de e) de las rbitas obtenidas mediante las aplicaciones sucesivas de sume es un problema de tal complejidad que su resolucin parece estar ms all de las posibilidades de la matemtica moderna.

Algunas preguntas interesantes para la exploracin: 1. Demuestre que en una iteracin dada todos los nmeros obtenidos son congruentes mdulo 3.

2. Demuestre que si n > 2000, entonces sume(N) < N.

3. Programe alguna calculadora o computadora para hallar todas las rbitas de la iteracin. Utilice la informacin obtenida en la pregunta anterior.

Referencias Las actividades aqu descrita se han tomado de las siguientes fuentes: Campistrous, L. A., Lpez, J. M. (2001), La calculadora como herramienta heurstica, Revista Uno, Nmero 28, pginas 84-99. Lopez, J. M. (2002) Problemas de investigacin matemtica para la escuela secundaria, Fascculo de los Centros Regionales de Adiestramiento en Instruccin Matemtica (CRAIM), Universidad de Puerto Rico, Ro Piedras