Voir la source de Problème de Znám

En [[théorie des nombres]], le '''problème de Znám''' pose la question de déterminer les [[Ensemble|ensembles finis]] d'[[Entier relatif|entiers strictement positifs]] ayant la propriété que tout élément de l'ensemble est un [[Diviseur|diviseur propre]] du produit des autres éléments de l'ensemble, plus 1. Le problème de Znám doit son nom au mathématicien slovaque [[Štefan Znám]] (1936–1993), qui le suggère en 1972, bien que d'autres mathématiciens envisagent des problèmes similaires à la même époque.

Les termes initiaux de la [[suite de Sylvester]] résolvent presque ce problème, sauf que le dernier terme choisi est égal à un plus le produit des autres, plutôt que d'être un véritable diviseur. Sun (1983) montre qu’il existe au moins une solution au (bon) problème de Znám pour tout <math>k\geqslant 5</math>. La solution de Sun est basée sur une [[Suite définie par récurrence|récurrence]] similaire à celle de la suite de Sylvester, mais avec un ensemble de valeurs initiales différent.

Le problème du Znám est étroitement lié aux [[Fraction égyptienne|fractions égyptiennes]]. On sait qu’il n’existe qu’un nombre fini de solutions pour tout problème fixe <math>k</math>. On ne sait pas s'il existe des solutions au problème de Znám en utilisant uniquement des [[Parité (arithmétique)|nombres impairs]], et plusieurs autres [[Problème ouvert|questions restent ouvertes]].

== Énoncé du problème ==
Le problème de Znám pose la question de déterminer les [[Ensemble|ensembles finis]] d'[[Entier relatif|entiers strictement positifs]] ayant la propriété que tout élément de l'ensemble est un [[Diviseur|diviseur propre]] du produit des autres éléments de l'ensemble, plus 1. En d'autres termes, étant donné <math>k</math>, on demande quels ensembles d'entiers strictement positifs :<math display="block">\{n_1, \ldots, n_k\}</math>sont tels que, pour tout <math>i</math>, <math>n_i</math> divise, sans lui être égal, le nombre :<math display="block">\Bigl(\prod_{j \ne i}^n n_j\Bigr) + 1 .</math>Un problème étroitement lié concerne les ensembles d'entiers pour lesquels tout entier de l'ensemble est un diviseur, mais pas nécessairement un diviseur propre, du produit des autres entiers de l'ensemble, plus 1. Ce problème ne semble pas avoir été nommé dans la littérature et sera appelé problème de Znám impropre. Toute solution au problème de Znám est également une solution au problème de Znám impropre, mais la réciproque n'est pas vraie.

== Historique ==
Le problème de Znám doit son nom au mathématicien slovaque [[Štefan Znám]], qui le suggère en 1972. Barbeau (1971) a posé le problème impropre de Znám pour <math>k=3</math>, et Mordell (1973), indépendamment de Znám, trouve toutes les solutions au problème impropre pour <math>k\leqslant 5</math>. Skula (1975) montre que le problème de Znám est insoluble pour <math>k<5</math>, et crédite J. Janák d'avoir trouvé la solution <math>\{2, 3, 11, 23, 31\}</math> pour <math>k=5</math> <ref>{{Référence Harvard sans parenthèses|Barbeau|1971}}; {{Référence Harvard sans parenthèses|Mordell|1973}}; {{Référence Harvard sans parenthèses|Skula|1975}}</ref>.

== Exemples ==
La [[suite de Sylvester]] est une [[Suite d'entiers|suite entière]] dont chaque terme est le produit des termes précédents plus 1. Les premiers termes de la [[Suite (mathématiques)|suite]] sont
{{Indente|2, 3, 7, 43, 1807, 3263443, 10650056950807, 113423713055421844361000443 {{OEIS|id=A000058}}.}}Les ensembles formés des premiers termes de la suite (tel que <math>\{2, 3, 7, 43\}</math>) fournissent des solutions au problème de Znám impropre, mais pas au problème de Znám lui-même : tout élément de ces ensembles est un [[Diviseur|diviseur propre]] du produit des autres éléments plus 1, sauf le plus grand, qui est ''égal'' par définition au produit des autres  plus 1{{Sfn|Brenton|Hill|1988}}. 

<math>\{a=2, b=3, c=11, d=23, e=31\}</math> est une solution au (bon) problème de Znám pour <math>k=5</math>  car :
{| style="margin-left:1.6em"
| align="right" |<math>(bcde+1)/a=119543</math>
|-
| align="right" | <math>(acde+1)/b=5229</math>
|-
| align="right" | <math>(abde+1)/c=389</math>
|-
| align="right" | <math>(abce+1)/d=89</math>
|-
| align="right" | <math>(abcd+1)/e=49</math>
|}
<math>\{2, 3, 7, 47, 395\}</math> est la seule autre solution pour <math>k=5</math>. 

== Lien avec les fractions égyptiennes ==
[[Fichier:Znam-2-3-11-23-31.svg|vignette|301x301px| Démonstration graphique du fait que <math>\frac12+\frac13+\frac1{11}+\frac1{23}+\frac1{31}+\frac1{2.13.11.23.31}=1.</math>Chaque rangée de {{Mvar|k}} carrés de longueur de côté&#x2009;1/ {{Mvar|k}} a [[Aire (géométrie)|une aire]] totale&#x2009;1/ {{Mvar|k}}, et tous les carrés réunis recouvrent exactement un carré plus grand d'aire égale à 1. La rangée inférieure de 47058 carrés dont le côté mesure 1/47058 est trop petite pour être visible sur la figure et n'est pas représentée.]]
On montre que toute solution <math>\{n_1, \ldots, n_k\}</math> au problème de Znám impropre est telle que les entiers <math>n_i</math> sont deux à deux premiers entre eux. Or, notant <math>N</math> le produit des <math>n_i</math>, par définition, <math>n_i</math> divise <math>\frac N{n_i}+1</math> et divise <math>\frac N{n_j}</math> pour <math>j\neq i</math> donc divise <math>\frac N{n_1}+\cdots+\frac N{n_k}+1</math>. Le produit <math>N</math> des <math>n_i</math> divise donc <math>\frac N{n_1}+\cdots+\frac N{n_k}+1</math>, ce qui signifie que <math>\frac 1{n_1}+\cdots+\frac 1{n_k}+\frac1N</math> est un entier.

Par exemple, pour <math>\{2, 3, 7, 43\}</math> on a <math>\frac12+\frac13+\frac1{11}+\frac1{23}+\frac1{31}+\frac1{2.3.11.23.31}=1</math>.

Autrement dit toute solution au problème  impropre de Znám fournit une solution à l'équation<math display="block">\sum\frac1{x_i} + \prod\frac1{x_i}=y,</math>où <math>y</math> ainsi que chaque <math>x_i</math> est un entier strictement positif, et [[Implication réciproque|inversement]], toute solution de ce type correspond à une solution du problème impropre de Znám. Cependant, toutes les solutions connues sont telles que <math>y=1</math>, donc satisfont l'équation

<math display="block">\sum\frac1{x_i} + \prod\frac1{x_i}=1.</math>

Autrement dit, elles conduisent à une représentation en somme de [[fraction égyptienne|fractions égyptiennes]] du nombre 1. Plusieurs des articles cités sur le problème de Znám étudient également les solutions à cette équation. Brenton & Hill (1988) décrivent une application de l'équation en [[topologie]], à la classification des [[Singularité (mathématiques)|singularités]] sur des surfaces{{Sfn|Brenton|Hill|1988}}, et Domaratzki et al. (2005) décrivent une application à la théorie des [[Automate fini non déterministe|automates finis non déterministes]]{{Sfn|Domaratzki|Ellul|Shallit|Wang|2005}}.

== Nombre de solutions ==
Le nombre de solutions au problème de Znám pour tout <math>k</math> est fini, il est donc logique de dénombrer le nombre total de solutions pour chaque <math>k</math> {{Sfn|Janák|Skula|1978}}. Sun (1983) montre qu’il existe au moins une solution au (bon) problème de Znám pour tout <math>k\geqslant 5</math>. La solution de Sun est basée sur une récurrence similaire à celle de la suite de Sylvester, mais avec des valeurs initiales différentes{{Sfn|Sun|1983}}. Le nombre de solutions pour les petites valeurs de <math>k</math>, commençant à <math>k=5</math>, forme la suite {{Sfn|Brenton|Vasiliu|2002}} :

: [[2 (nombre)|2]] , [[5 (nombre)|5]] ,&#x2009;[[18 (nombre)|18]] , [[96 (nombre)|96]] ({{OEIS|A075441}}).

Actuellement, on connait quelques solutions pour <math>k=9</math> et <math>k=10</math>, mais on ne sait pas combien de solutions restent à découvrir pour ces valeurs de <math>k</math>. Cependant, il existe une infinité de solutions si <math>k</math> n’est pas fixé : Cao & Jing (1998) montrent qu’il existe au moins 39 solutions pour tout <math>k\geqslant 12</math>, améliorant les résultats antérieurs prouvant l'existence de solutions <ref>{{Référence Harvard sans parenthèses|Cao|Liu|Zhang|1987}} {{Référence Harvard sans parenthèses|Sun|Cao|1988}}</ref> ; Sun & Cao (1988) [[Conjecture|supposent]] que le nombre de solutions croît de [[Suite (mathématiques)|façon monotone]] avec <math>k</math> {{Sfn|Sun|Cao|1988}}.

On ne sait pas s'il existe des solutions au problème de Znám n'utilisant que des nombres impairs. À une exception près, toutes les solutions connues commencent par 2. Si tous les nombres d'une solution au problème de Znám ou au problème de Znám impropre sont [[Nombre premier|premiers]], leur produit est un [[nombre semi-parfait primaire]] {{Sfn|Butske|Jaje|Mayernik|2000}} ; on ne sait pas s’il existe une infinité de solutions de ce type.

== Voir aussi ==
* [[Nombre de Giuga]]
* [[Nombre semi-parfait primaire]]

== Références ==

=== Notes ===
{{Traduction/Référence|en|Znám's problem|1197674050|type=note}}
{{Références}}

=== Sources ===
* {{Article
  | nom = Barbeau | prénom = G. E. J.
  | titre = Problem 179
  | journal = [[Canadian Mathematical Bulletin]]
  | volume = 14
  | année = 1971
  | numéro = 1
  | pages = 129}}.
* {{Article
  | nom1 = Brenton| prénom1 = Lawrence
  | nom2 = Hill | prénom2 = Richard
  | titre = On the Diophantine equation <math display=inline>1=\sum 1/n_i+1/\prod n_i</math> and a class of homologically trivial complex surface singularities
  | journal = [[Pacific Journal of Mathematics]]
  | volume = 133
  | numéro = 1
  | année = 1988
  | pages = 41–67
  | mr = 0936356
  | doi=10.2140/pjm.1988.133.41| accès doi = libre
  | url = https://projecteuclid.org/journals/pacific-journal-of-mathematics/volume-133/issue-1/On-the-Diophantine-equation-1sum-1-n_i1-prod-n_i-and/pjm/1102689567.full
  }}.
* {{Article
  | doi = 10.2307/3219178
  | nom1 = Brenton| prénom1 = Lawrence
  | nom2 = Vasiliu| prénom2 = Ana
  | titre = Znám's problem
  | journal = [[Mathematics Magazine]]
  | volume = 75
  | numéro = 1
  | pages = 3–11
  | année = 2002
  | jstor = 3219178}}.
* {{Article
  | nom1 = Butske| prénom1 = William
  | nom2= Jaje|prénom2= Lynda M.
  | nom3 = Mayernik| prénom3 = Daniel R.
  | titre = On the equation <math display=inline>\sum_{p|N}\frac{1}{p}+\frac{1}{N}=1</math>, pseudoperfect numbers, and perfectly weighted graphs
  | journal = [[Mathematics of Computation]]
  | volume = 69
  | année = 2000
  | pages = 407–420
  | url = http://www.ams.org/mcom/2000-69-229/S0025-5718-99-01088-1/home.html
  | mr = 1648363 | doi=10.1090/S0025-5718-99-01088-1| accès doi = libre
  }}.
* {{Article
  | nom1 = Cao |prénom1= Zhen Fu
  | nom2 = Jing| prénom2= Cheng Ming
  | titre = On the number of solutions of Znám's problem
  | journal = J. Harbin Inst. Tech.
  | volume = 30
  | année = 1998
  | numéro = 1
  | pages = 46–49
  | mr = 1651784}}.
* {{Article
  | nom1 = Cao| prénom1 = Zhen Fu
  | nom2 = Liu| prénom2 = Rui
  | nom3 = Zhang| prénom3= Liang Rui
  | titre = On the equation <math display=inline>\sum^s_{j=1}(1/x_j)+(1/(x_1\cdots x_s))=1</math> and Znám's problem
  | journal = [[Journal of Number Theory]]
  | volume = 27
  | année = 1987
  | numéro = 2
  | pages = 206–211
  | mr = 0909837
  | doi = 10.1016/0022-314X(87)90062-X
  }}.
* {{Article
  | nom1 = Domaratzki| prénom1 = Michael
  | nom2 = Ellul | prénom2 = Keith
  | nom3 = Shallit| prénom3 = Jeffrey | lien auteur2 = Jeffrey Shallit
  | nom4 = Wang| prénom4 = Ming-Wei
  | titre = Non-uniqueness and radius of cyclic unary NFAs
  | journal = International Journal of Foundations of Computer Science
  | volume = 16
  | numéro = 5
  | pages = 883–896
  | année = 2005
  | url = http://www.cs.umanitoba.ca/~mdomarat/pubs/DESW_dcfs.ps
  | mr = 2174328
  | doi = 10.1142/S0129054105003352}}.
* {{Article
  | nom1 = Janák| prénom1 = Jaroslav
  | nom2= Skula| prénom2= Ladislav 
  | titre = On the integers <math display=inline> x_{i}</math> for which <math display=inline> x_{i}|x_{1}\cdots x_{i-1}x_{i+1}\cdots x_{n}+1</math>
  | journal = Math. Slovaca
  | volume = 28
  | année = 1978
  | numéro = 3
  | pages = 305–310
  | mr = 0534998}}.
* {{Article
  | nom = Mordell| prénom = L. J. | lien auteur = Louis J. Mordell
  | titre = Systems of congruences
  | journal = [[Canadian Mathematical Bulletin]]
  | volume = 16
  | année = 1973
  | numéro = 3 | pages = 457–462
  | mr = 0332650
  | doi = 10.4153/CMB-1973-077-3 | accès doi=libre}}.
* {{Article
  | nom = Skula| prénom= Ladislav | lien auteur = Ladislav Skula
  | titre = On a problem of Znám
  | type = Russian, Slovak summary
  | journal = Acta Fac. Rerum Natur. Univ. Comenian. Math.
  | volume = 32
  | année = 1975
  | pages = 87–90
  | mr = 0539862}}.
* {{Article
  | nom = Sun| prénom= Qi
  | titre = On a problem of Š. Znám
  | journal = Sichuan Daxue Xuebao
  | année = 1983
  | numéro = 4
  | pages = 9–12
  | mr = 0750288}}.
* {{Article
  | nom1 = Sun| prénom1 = Qi
  | nom2= Cao| prénom2 = Zhen Fu
  | titre = On the equation <math display=inline>\sum^s_{j=1}1/x_j+1/x_1\cdots x_s=n</math> and the number of solutions of Znám's problem
  | journal = Northeastern Mathematics Journal
  | volume = 4
  | année = 1988
  | numéro = 1
  | pages = 43–48
  | mr = 0970644}}.

== Liens externes ==
{{Liens}}
* {{Lien web | auteur = Primefan | url = http://primefan.tripod.com/ZnamProbSols.html | titre = Solutions to Znám's Problem}}.
* {{MathWorld|nom_url=ZnamsProblem|titre=Znám's Problem}}.

{{Portail|mathématiques}} 

{{DEFAULTSORT:Znám, probleme}}
[[Catégorie:Problème mathématique]]
[[Catégorie:Suite d'entiers]]
[[Catégorie:Théorie des nombres]]