Un número refactorizable o número tau es un entero n que es divisible por el número de sus divisores o, para decirlo algebraicamente, n es tal que . Los primeros números refactorizables se enumeran en (secuencia A033950 en la OEIS ) como
Por ejemplo, 18 tiene 6 divisores (1 y 18, 2 y 9, 3 y 6) y es divisible por 6. Hay infinitos números refactorizables.
Cooper y Kennedy demostraron que los números refactorizables tienen densidad natural cero. Zelinsky demostró que no hay tres números enteros consecutivos que puedan ser refactorizables. [1] Colton demostró que ningún número refactorizable es perfecto . La ecuación tiene soluciones solo si es un número refactorizable, donde es la función del máximo común divisor .
Sea el número de números refactorizables que son como máximo . El problema de determinar un asintótico para es abierto. Spiro ha demostrado que [2]
Todavía hay problemas sin resolver en relación con los números refactorizables. Colton preguntó si existen números arbitrariamente grandes que permitan que tanto y sean refactorizables. Zelinsky se preguntó si existe un número refactorizable , ¿existen necesariamente números que sean refactorizables y ?
Definidos por primera vez por Curtis Cooper y Robert E. Kennedy [3], donde demostraron que los números tau tienen densidad natural cero, fueron redescubiertos más tarde por Simon Colton utilizando un programa de computadora que había creado que inventa y juzga definiciones de una variedad de áreas de las matemáticas, como la teoría de números y la teoría de grafos . [4] Colton llamó a estos números "refactorizables". Si bien los programas de computadora habían descubierto pruebas antes, este descubrimiento fue una de las primeras veces que un programa de computadora había descubierto una idea nueva o previamente oscura. Colton demostró muchos resultados sobre los números refactorizables, mostrando que había infinitos y demostrando una variedad de restricciones de congruencia en su distribución. Colton fue alertado más tarde de que Kennedy y Cooper habían investigado previamente el tema.