Cmo puedo llegar a la unidad desde cualquier nmero?

La
conjetura de Collatz

por Justo Fernndez | 26 Ene, 2015 | Curiosidades | 8 Comentarios

Qu es una conjetura matemtica?

Sin ser demasiado rigurosos, podemos decir que es una

afirmacin que se supone cierta, un problema que todava no
se ha podido demostrar. Muchas conjeturas tienen un enunciado
elemental y fcil de comprender, y resultan adecuadas para
aprender y debatir en clase.

Las conjeturas juegan un papel importante dentro de las

matemticas. Podemos decir que son las semillas de las cuales
germinan los teoremas (aunque es posible que nunca se
conviertan en un teorema, es decir, en una verdad para siempre).

La conjetura de Collatz

En 1937, ha llovido desde entonces, el matemtico alemn Lothar

Collatz propus un problema que hasta la fecha no se ha podido
demostrar. Lo bonito y sorprendente de este problema es que a
partir de cualquier nmero natural, siempre se obtenemos la
unidad,

Elige cualquier nmero natural (n) y realiza los siguientes clculos:

Si n es par divide entre 2 (Es decir n/2)

 Si n es impar multiplica por 3 y suma 1 al resultado (Es
decir 3n+1)

Con el nmero que hayas obtenido tienes que repetir el proceso.

As sucesivamente. Siempre llegars al nmero 1 (como t)

Ejemplos:

Si empezamos por el nmero 4 , obtenemos esta secuencia:

4,2,1

Si n=5, obtenemos esta serie 5,16,8,4,2,1

Si n = 6 6, 3, 10, 5, 16, 8, 4, 2, 1

Si n=13 13,40,20,10,5,16,8,4,2,1

Ten cuidado que la secuencia crece muy rpido. Para una

nmero pequeo como el 27 (333), se obtiene una secuencia
muy grande, de 111 pasos. Asciende ms alto que el Everest,
hasta 9232 metros, para caer vertiginosamente a ras de tierra.

Actualmente, con los ordenadores, todos los clculos son mucho

ms rpidos y fciles de realizar.

Imagnate las secuencias tan largas que se pueden obtener con

nmeros grandes.

Casi 80 aos despus nadie ha demostrado su veracidad,

aunque gracias a las computadoras se ha podido comprobar que
para nmeros hasta 2 elevado a 58, la secuencia acaba siempre
en 1. Esto significa que esta conjetura es cierta para un mogolln
de nmeros, pero esto no nos sirve como demostracin.
Evidentemente, la intuicin nos lleva a pensar que debera ser
cierto, pero recuerda que slo un teorema es para siempre,
aunque se acabe el mundo

Curiosamente esta conjetura se llama de muchas maneras: 3n +1,

algoritmo de Hasse, problema de Ulam o algoritmo de Siracusa
(entre otras)

Muchos matemticos inquietos se encuentran concentrados en el

intento de demostrar la famosa conjetura de Collatz respecto del
algoritmo 3n +1.

Realmente las conjeturas hacen avanzar a las matemticas.

Veamos brevemente tres conjeturas famosas, que fueron

planteadas hace mucho tiempo. Son fciles de entender.

Conjetura de Goldbach (1742)

Fue planteada en 1742 por Christian Goldbach. Establece que:

Todo nmero par mayor que 2 puede expresarse como la
suma de dos nmeros primos La conjetura nos permite repetir
el mismo nmero primo.
Ejemplos: 4=2+2 6=3+3 12=5+7 20=13+7

Nadie ha podido demostrarla.

El problema de los cuatro colores (1852)

Lo plante Francis Guthrie. Afirma que en cualquier mapa, solo

hacen falta cuatro colores para colorearlo, de tal forma que cada
pas tenga un solo color y que pases vecinos lleven colores
distintos. Parece inofensivo, verdad? Nada ms lejos de la
realidad.

Fue resuelto el ao 1976 cuando Appel y Haken , publicaron la

demostracin.

Podemos decir que fue el primer ejemplo de un problema

largamente buscado que logr resolverse gracias al uso de los
ordenadores.
El ltimo teorema de Fermat (1637)

Establece que si n es un numero entero mayor que 2, entonces no

existen nmeros enteros positivos x, y y z, tales que se cumpla la
igualdad:

Esta conjetura tuvo en vilo a los matemticos durante ms de tres

siglos. Finalmente fue resuelta por Andrew Wiles en 1994,
utilizando los recursos ms sofisticados de la matemtica
moderna. Pese a su simple enunciado la demostracin result
enormemente complicada.

Otras conjeturas matemticas que no han podido ser

resueltas hasta ahora

Dos nmeros primos que difieren en dos unidades se llaman

primos gemelos. Se desconoce si el nmero de primos
gemelos es infinito.

Los primos que son de la forma \(2^{p}-1\), donde p es otro

nmero primo, se llaman primos de Mersenne. No se sabe si hay
infinitos nmeros de Mersenne.
 Los nmeros naturales que son iguales a la suma de sus
divisores, se llaman nmeros perfectos.

Por ejemplo, los nmeros 6, 28 y 496 son perfectos.

6=1+2+3 28=1+2+4+7+14.

Nadie ha podido demostrar si hay infinitos nmeros

perfectos, ni tampoco si existe algn nmero perfecto impar.

Espero que te haya resultado interesante el artculo. Hablis de

conjeturas en clase? Puedes comentar aqu.

Si te ha gustado, comparte en tus redes sociales.

La conjetura de Collatz en un Taller de Matemticas

(Esta es nuestra contribucin al Carnaval de Matemticas 2.4
coordinado en esta ocasin por seispalabras)

Ideas para el aula

Despus de leer una entrada sobre la conjetura de Collatz en el blog

Matemticas educativas he recordado las investigaciones escolares
que realic hace aos con unos alumnos de Taller de Matemticas. He
buscado la hoja de trabajo y la comparto hoy debidamente adaptada por
si fuera til a alguien. Mi recuerdo es muy positivo, pues incluso un
alumno aventajado se invent un teoremita que ahora no puedo
recordar.

Nivel 1 Oservacin

Un misterio matemtico

En esta primera fase el objetivo es que todo el alumnado,

individualmente, por parejas o grupos, entienda bien de qu va la
conjetura de Collatz. Se puede organizar al final de una clase y
pedirles que reflexionen en casa y traigan algn resultado o
comentario.

Recomendamos que se use la calculadora o el clculo mental y que

trabajen por parejas, para que uno teclee y otro tome nota.

Texto

El fenmeno que vas a ver ahora tiene intrigados a los matemticos y

no saben explicar las razones del mismo. Consiste en el siguiente
juego:

Piensa un nmero entero, por ejemplo el 11

 Ahora, si es par, lo divides por 2 y si es impar lo multiplicas por 3 y le
sumas 1

Repite el clculo anterior con el nmero que salga y as con el siguiente y

con el siguiente...hasta que observes algo.

Comenzamos: 11 es impar, luego 11 ==> 11*3+1 = 34

34 es par, luego 34 ==> 34/2 = 17
17 es impar, luego 17 ==> 17*3+1 = 52
52 es par, luego 52 ==> 52/2 =26
Cul es el final de estas sucesiones? Prueba con varios nmeros

Nivel 2: Exploracin

Cspides y rbitas

Esta segunda parte se puede organizar con hoja de clculo y una PDI
para la presentacin de la tarea. Consiste en automatizar el trabajo
creando una columna con los trminos de la sucesin recurrente. Se
deja una celda preparada para el nmero inicial (semilla) y despus
se extiende hacia abajo la frmula de recurrencia. Sera deseable
construir un grfico sobre unos 100 trminos de la sucesin.

Texto

Lo que calculamos ayer se hizo un poco pesado. Se lo pediremos al

ordenador. Abre la hoja de clculo Calc, reserva una celda para la
semilla y a partir de la celda que est debajo de ella extiende esta
frmula. Cuando escribimos An-1 nos referimos a la celda de arriba

=SI(RESIDUO(An-1;2)=0; An-1/2; 3*An-1+1)

(Lo de RESIDUO significa resto de dividir. Si vale cero es que es

par. En Excel debes escribir RESTO)
Extiende la frmula hacia abajo hasta un total de 100 o 200 celdas
(si necesitas ms sigues extendiendo). Escribe un nmero como semilla
en la primera celda y crea un grfico lineal con esta columna de
nmeros

Debe quedarte as:

Explica qu ha ocurrido: Cmo termina siempre la sucesin aunque
cambies la semilla?

Cambia la semilla a tu gusto, con un nmero entero positivo. Siempre

ocurrir lo mismo: acabar en 1.

Lo que acabas de descubrir ocurre para todos los nmeros enteros,

pero nadie sabe todava la razn.

Muchos matemticos intentan demostrarlo sin xito. (Al menos al

escribir este texto).

El conjunto de los nmeros que se recorren cuando haces este juego se

llama rbita. Para ver la rbita de un nmero dado, lo escribes
como semilla y rellenas hacia abajo hasta que veas el primer 1 en la
sucesin.

Por ejemplo, el 11 tiene una rbita de 15 nmeros

11,34,17,52,....,4,2,1. Comprubalo.

Llamaremos cspide absoluta de la rbita al punto ms alto que

tenga. Lo puedes ver muy bien en el grfico.

El 11 tiene una cspide de 52, que es el ms alto de su rbita.

Comprubalo.

Escribe aqu nmeros que produzcan u rbitas muy largas o cspides

muy altas.

Nivel 3 Reflexin

Qu viene detrs de cada nmero?

Las cuestiones que se desarrollan a continuacin estn pensadas para
un alumnado de 13 a 18 aos. Por ello la mayora pueden resultar
fciles.

Texto

Cuando el nmero aumente (porque lo hayamos multiplicado por 3 y

aadido 1) diremos que ha dado un paso ascendente (una subida), y
cuando disminuya (por haberlo dividido entre 2) diremos que ha sido
descendente (una bajada).

Reflexiona:

(Se aaden las soluciones, que evidentemente se borraran en caso de

ser usado esto con alumnos)

(a) Detrs de cada nmero slo se asciende una vez (o ninguna) y

despus se baja. Puedes verlo en el grfico, nunca hay dos tramos de
subida distintos Por qu ocurre esto?

Solucin: porque si N es impar, 3N+1 es par

(b) Hay nmeros, como el 48, que producen muchos tramos de bajada
seguidos: 48, 24, 12, 6, 3y comienza a subir Cmo puedes saber con
antelacin cuntas veces va a bajar?

Solucin: Descomponemos el nmero en factores primos y leemos el

exponente de 2

(c) Ciertos nmeros, como el 15, producen una subida, una bajada y
otra subida: 15, 46, 23, 70 Puedes encontrarles una frmula?

Solucin: Todos los nmeros impares son o del tipo 4N+1 o bien 4N+3.
Si es del primer tipo, su siguiente ser 3(4N+1)+1=12N+4, que es
mltiplo de 4 y producir dos bajadas, luego no nos vale ese tipo. Si
es del otro tipo se tendr 3(4N+3)+1= 12N+10, que a su vez bajar a
6N+5, que por ser impar subir a 3(6N+5)+1=18N+16.

(d) Puede ser cspide cualquier nmero?

Solucin: Ha de ser igual a un impar multiplicado por 3 con un 1

aadido, luego ser del tipo N=3(2k+1)+1=6k+4 Los nmeros que no
sigan ese modelo 6k+4 no podrn ser cspides.

(e) Qu tienen de particular estos nmeros?: 5, 21, 85, 341, 1365,

5461, en este proceso que estamos estudiando?

Solucin: Son las entradas impares a una sucesin totalmente

descendente a 1. Tienen la frmula (2n-1)/3 con n par. Y una pregunta
para profesores: Por qu n no puede ser impar?

Con estas cuestiones y otras que te inventes puedes experimentar con

sucesiones de Collatz en clase. Que te diviertas.