Problema de Znám

En teoría de números, el problema de Znám pregunta qué conjuntos de k enteros tienen la propiedad de que cada entero en el conjunto es un divisor propio del producto de los demás enteros del conjunto más 1. El problema de Znám toma su nombre del matemático eslovaco Štefan Znám, quien lo sugirió en 1972, aunque otros matemáticos ya estaban trabajando con problemas similares en esa misma época. Un problema directamente relacionado ignora la suposición de que el divisor sea propio; recibe por lo tanto el nombre de problema de Znám impropio.

Demostración gráfica de que 1 = 1/2 + 1/3 + 1/11 + 1/23 + 1/31 + 1/(2×3×11×23×31). Cada fila de k cuadrados de lado 1/k tiene un área total de 1/k, y todos los cuadrados juntos cubren exactamente un cuadrado de área 1. La fila inferior, con 47058 cuadrados de lado 1/47058 es demasiado pequeño para apreciarse en la figura, por lo que no se muestra.

Se puede dar fácilmente una solución para el problema de Znám impropio, dado cualquier k: los primeros k términos de la sucesión de Sylvester cumplen la propiedad pedida. Sun (1983) demostró que hay al menos una solución para el problema de Znám (propio) para cualquier k ≥ 5. La solución de Sun está basada en una recurrencia similar a la de la sucesión de Sylvester, pero con un conjunto distinto de valores iniciales.

El problema de Znám está íntimamente relacionado con las fracciones egipcias. Se sabe que hay solo un número finito de soluciones posibles para cada k. Entre las varias preguntas abiertas en torno al problema, se desconoce si hay alguna solución para el problema usando solo números impares.

El problema

El problema de Znám pregunta qué conjuntos de k enteros tienen la propiedad de que cada entero en el conjunto es un divisor propio del producto de los demás enteros del conjunto más 1. Esto es, dado k, que conjuntos de enteros

$\{n_{1},\ldots ,n_{k}\}$

existen, tales que, para cada i, n_i divide, sin ser igual, a

${\Bigl (}\prod _{j\neq i}^{n}n_{j}{\Bigr )}+1\quad$

Un problema directamente relacionado trata sobre conjuntos de enteros en los que cada entero en el conjunto es un divisor, no necesariamente propio, de uno más el producto de los demás enteros en el conjunto. Este problema no parece haber recibido ningún nombre en la literatura matemática, por lo que será referido como problema de Znám impropio. Toda solución al problema de Znám es también una solución al problema de Znám impropio, pero el inverso no es necesariamente cierto.

Historia

El problema de Znám recibe su nombre del matemático eslovaco Štefan Znám, que lo enunció en 1972.Barbeau (1971) había planteado su versión impropia para k = 3, y Mordell (1973), con independencia de Znám, encontró todas las soluciones del problema impropio para k ≤ 5.Skula (1975) demostró que el problema es irresoluble para k < 5, y reconoció el mérito de J. Janák por encontrar la solución {2, 3, 11, 23, 31} para k = 5.

Ejemplos

Una solución para k = 5 es {2, 3, 7, 47, 395}. Unos pocos cálculos demuestran que

3 × 7 × 47 × 395	+ 1 =	389866,		que es divisible por 2, pero diferente,
2 × 7 × 47 × 395	+ 1 =	259911,		que es divisible por 3, pero diferente,
2 × 3 × 47 × 395	+ 1 =	111391,		que es divisible por 7, pero diferente,
2 × 3 × 7 × 395	+ 1 =	16591,		que es divisible por 47, pero diferente,
2 × 3 × 7 × 47	+ 1 =	1975,		que es divisible por 395, pero diferente,

Un caso interesante de solución que "casi funciona" para k = 4 es el conjunto {2, 3, 7, 43}, formado por los primeros cuatro términos de los secuencia de Sylvester. Tiene la propiedad de que cada entero del conjunto divide el producto de los demás más uno, pero el último elemento del conjunto es igual al producto de los tres primeros más uno, por lo que no es un divisor propio. Es, por lo tanto, solución al problema impropio de Znám, pero no al propio.

Conexión con las fracciones egipcias

Toda solución del problema de Znám impropio es equivalente (dividiendo por el producto de las x_i) a la solución de la ecuación

$\sum {\frac {1}{x_{i}}}+\prod {\frac {1}{x_{i}}}=y,$

donde tanto y como cada x_i tienen que ser enteros. A la inversa, toda solución a la ecuación corresponde a una solución del problema de Znám impropio. Sin embargo, todas las soluciones conocidas tienen y = 1, por lo que satisfacen la ecuación

$\sum {\frac {1}{x_{i}}}+\prod {\frac {1}{x_{i}}}=1.$

Es decir, llevan a una representación en forma de fracción egipcia del número uno como suma de fracciones unitarias. Varios de los artículos citados en referencia al problema de Znám estudian también las soluciones a dicha ecuación.Brenton y Hill (1988) describe una aplicación de la ecuación en topología, a la clasificación de singularidades en superficies, y Domaratzki et al. (2005) describe una aplicación a la teoría de autómatas finitos no deterministas.

Número de soluciones

Como Janák y Skula (1978) demostró, el número de soluciones para cualquier k es finito, por lo que tiene sentido contar el número total de soluciones para cada k.

Brenton y Vasiliu calcularon que el número de soluciones para valores pequeños de k, empezando con k = 5, forma la secuencia

2, 5, 18, 96 (sucesión A075441 en OEIS).

Actualmente se conocen unas pocas soluciones para k = 9 y k = 10, pero no se sabe cuántas soluciones faltan por descubrir para esos valores de k. Sin embargo, hay infinitas soluciones si no se fija k:Cao y Jing (1998) demostró que hay al menos 39 soluciones para cada k ≥ 12, mejorando los resultados anterior sobre existencia de soluciones hechos por (Cao, Liu y Zhang, 1987 y Sun y Cao, 1988).Sun y Cao (1988) conjeturó que el número de soluciones para cada valor de k crece monótonamente con k.

Se desconoce si existen soluciones al problema de Znám usando solo números impares. Con una excepción, todas las soluciones conocidas empiezan por 2. Si todos los números en una solución a cualquiera de las dos versiones del problema son primos, su producto es un número pseudoperfecto primario (Butske, Jaje y Mayernik, 2000); también se ignora si existen infinitas soluciones de este tipo.

Referencias

• Barbeau, G. E. J. (1971), «Problem 179», Canadian Mathematical Bulletin 14 (1): 129 ..
• Brenton, Lawrence; Hill, Richard (1988), «On the Diophantine equation 1=Σ1/n_i + 1/Πn_i and a class of homologically trivial complex surface singularities», Pacific Journal of Mathematics 133 (1): 41-67, MR 0936356 ..
• Brenton, Lawrence; Vasiliu, Ana (2002), «Znám's problem», Mathematics Magazine 75 (1): 3-11, JSTOR 3219178, doi:10.2307/3219178 ..
• Butske, William; Jaje, Lynda M.; Mayernik, Daniel R. (2000), «On the equation $\scriptstyle \sum _{p|N}{\frac {1}{p}}+{\frac {1}{N}}=1$, pseudoperfect numbers, and perfectly weighted graphs», Mathematics of Computation 69: 407-420, MR 1648363, doi:10.1090/S0025-5718-99-01088-1 ..
• Cao, Zhen Fu; Jing, Cheng Ming (1998), «On the number of solutions of Znám's problem», J. Harbin Inst. Tech. 30 (1): 46-49, MR 1651784 ..
• Cao, Zhen Fu; Liu, Rui; Zhang, Liang Rui (1987), «On the equation $\scriptstyle \sum _{j=1}^{s}(1/x_{j})+(1/(x_{1}\cdots x_{s}))=1$ and Znám's problem», Journal of Number Theory 27 (2): 206-211, MR 0909837, doi:10.1016/0022-314X(87)90062-X ..
• Domaratzki, Michael; Ellul, Keith; Shallit, Jeffrey; Wang, Ming-Wei (2005), «Non-uniqueness and radius of cyclic unary NFAs», International Journal of Foundations of Computer Science 16 (5): 883-896, MR 2174328, doi:10.1142/S0129054105003352 ..
• Janák, Jaroslav; Skula, Ladislav (1978), «On the integers $\scriptstyle x_{i}$ for which $\scriptstyle x_{i}|x_{1}\cdots x_{i-1}x_{i+1}\cdots x_{n}+1$», Math. Slovaca 28 (3): 305-310, MR 0534998 ..
• Mordell, L. J. (1973), «Systems of congruences», Canadian Mathematical Bulletin 16: 457-462, MR 0332650, doi:10.4153/CMB-1973-077-3 ..
• Skula, Ladislav (1975), «On a problem of Znám», Acta Fac. Rerum Natur. Univ. Comenian. Math. (Russian, Slovak summary) 32: 87-90, MR 0539862 ..
• Sun, Qi (1983), «On a problem of Š. Znám», Sichuan Daxue Xuebao (4): 9-12, MR 0750288 ..
• Sun, Qi; Cao, Zhen Fu (1988), «On the equation $\scriptstyle \sum _{j=1}^{s}1/x_{j}+1/x_{1}\cdots x_{s}=n$ and the number of solutions of Znám's problem», Northeastern Mathematics Journal 4 (1): 43-48, MR 0970644 ..

Enlaces externos

• Primefan. «Solutions to Znám's Problem». 
• Weisstein, Eric W. «Znám's Problem». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

• Datos: Q649322