Cmo generar conjuntos CuCu

Introduccin
A los matemticos nos encanta poner nombre a las cosas, y cuanto ms descriptivo sea el nombre mucho mejor. As, los puntos frontera de un conjunto son los que grficamente situaramos como frontera geogrfica de dicho conjunto o una sucesin montona es una sucesin en la que nunca pasa nada distinto, es decir, una sucesin en la que la tendencia no cambia, es siempre creciente o siempre decreciente, pero no hay cambios. Los conjuntos que os voy a presentar hoy no tienen nombre (al menos yo no conozco ningn nombre para ellos). Por eso los he bautizado a partir de la propiedad que tienen. Son los conjuntos CuCu.

Qu es un conjunto CuCu?
Lo primero que voy a hacer es explicar qu es para m un conjunto CuCu. Un conjunto CuCu es un conjunto de nmeros enteros positivos tales que la suma de sus Cubos es igual al Cuadrado de su suma. Es decir: Un conjunto CuCu es un conjunto de nmeros enteros positivos que cumplen que:

Un ejemplo muy interesante de conjunto CuCu es el conjunto , para cualquier . Que este conjunto de nmeros sea un conjunto CuCu significa lo siguiente:

Vamos a demostrar este resultado por induccin: Demostracin: El resultado es evidente para : , es decir, que

Supongamos ahora que es cierto para

y demostremos que la igualdad es cierta para . Para ello partiremos de la parte de la igualdad relativa al cuadrado y utilizaremos el caso (esto es, la hiptesis de induccin) para llegar al objetivo buscado. Partimos entonces de esta expresin:

Tomamos como primer trmino y como segundo trmino y desarrollamos el cuadrado de la suma:

Ahora utilizamos la hiptesis de induccin en la primera suma y que en la segunda:

Operando ahora el ltimo sumando obtenemos y agrupndolo con el segundo sumando obtenemos , llegando entonces a la igualdad buscada.

Cmo generar conjuntos CuCu?

Pero el conjunto de los primeros enteros positivos no es el nico que cumple esta propiedad. De hecho existe un procedimiento para generar conjuntos de nmeros que cumplen que la suma de sus cubos es igual al cuadrado de su suma, es decir, conjuntos CuCu.

Joseph Liouville Dicho procedimiento se lo debemos a Joseph Liouville y consiste en lo siguiente: 1. Tomamos un nmero entero positivo cualquiera y calculamos los divisores de dicho nmero (el 1 y el propio nmero tambin cuentan). 2. De cada divisor calculado antes contamos cuntos divisores tiene. 3. Los nmeros que designan las cantidades de divisores de cada divisor del nmero inicial son un conjunto CuCu. Vamos a ver un ejemplo sobre la aplicacin de este procedimiento: Nmero 1. Los divisores 2. Ahora: - El 1 tiene - El 2 tiene - El 4 tiene - El 5 tiene - El 10 tiene - El 20 tiene de son y .

divisor (el 1 solamente). divisores (el 1 y el 2). divisores (el 1, el 2 y el 4). divisores (el 1 y el 5). divisores (el 1, el 2, el 5 y el 10). divisores (el 1, el 2, el 4, el 5, el 10 y el 20).

3. Entonces el conjunto

es un conjunto CuCu: .

Efectivamente, ambos miembros de la igualdad dan como resultado