Problema de Znám

El problema de Znám pregunta que 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

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

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

${\displaystyle {\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.

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.

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.

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

${\displaystyle \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

${\displaystyle \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.

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 cuantas 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.

• 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 ${\displaystyle \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 ${\displaystyle \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 ${\displaystyle \scriptstyle x_{i}}$ for which ${\displaystyle \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|formato= requiere |url= (ayuda)) 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 ${\displaystyle \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..

• 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.