Autour d'un thorme d'Erds sur les combinaisons

coefficients des premiers carrs.

par Olivier Bodini
2
, Pierre Duchet
1
, Sandrine Lefranc

Rsum. - Nous gnralisons dans ce papier un rsultat de jeunesse peu connu de P. Erds sur
les combinaisons coefficients en des premiers carrs. Nous montrons que pour tout
polynme prenant des valeurs entires premires dans leur ensemble, tout nombre entier peut
s'crire comme combinaison coefficients des (entier dpendant de ) premires valeurs
de .

Cet article est tir du cours de DEA (1995-1996) de modlisation discrte: Structures et
mthodes combinatoires de Pierre Duchet. Le problme suivant de thorie des nombres tait non
rsolu en 1937 : tout nombre entier peut-il s'crire, pour un certain , comme combinaison
coefficients 1 des premiers carrs ? Autrement dit, tout entier s'crit-il sous la forme:


Assez curieusement, on savait dj qu'une telle combinaison existait pour les nombres premiers (
dsignant dans ce cas le -me nombre premier), mais on ne parvenait pas dmontrer la
mme chose pour . Paul Erds, qui tait alors un lycen de 16 ans, apporta une rponse
ce problme par une remarquable astuce combinatoire.
Nous donnons dans ce papier deux gnralisations successives de ce rsultat qui rexploitent et
prolonge le raisonnement de P. Erds, d'abord aux puissances ( ), puis aux polynmes
valeurs entires sur ( ).

Notes
... Duchet
1


...P
2


Universit Pierre et Marie Curie, Paris

Gnralisation du thorme d'Erds pour les puissances
Gnralisation aux polynmes valeurs entires

Gnralisation du thorme d'Erds pour les puissances
Introduisons quelques dfinitions pour simplifier nos propos. On appelle configuration de
Page 1sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=397&Type=enonce&Num=0&Mode=...
longueur une suite dont les termes sont gaux ou . Soit un
polynme, l'valuation de A au rang q pour P est dfinie par et sera note
.
Nous dirons que l'entier est ralisable par P suivant A si . Si et sont
deux configurations, nous notons simplement la configuration obtenue en mettant la
suite de . On a:


De manire analogue, nous notons la configuration obtenue en rptant fois la
configuration . Enfin, la configuration obtenue en changeant chaque signe de est note .
L'objectif de cette section est de prouver la proposition suivante:
Thorme 1.1 Quelque soit , tout nombre entier peut s'crire, pour un certain entier
, comme combinaison coefficients des premires puissances -imes,
autrement dit, sous la forme:


Il suffit de prouver la proposition pour positif, ce que nous supposerons dans la suite. La
premire partie du raisonnement d'Erds se gnralise sans difficult:
Lemme 1.2 Tout entier est ralisable par si et seulement si les (o
dsigne le coefficient dominant de ) premiers entiers positifs sont ralisables par .
Preuve: Notons la configuration de longueur dfinie par la
rcurrence suivante :


Chaque mot est ainsi la premire moiti du mot suivant . Le mot limite
(infini) est appel la suite de (Prouhet-)Thue-Morse; elle est souvent exprime comme une suite
de 0 et de 1 (remplaant respectivement et ).
Pour tout polynme , on a:
Page 2sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=397&Type=enonce&Num=0&Mode=...


Ainsi si , le degr du polynme est-il infrieur d'une unit celui
de . La configuration agit sur les polynmes comme un oprateur diffrentiel
d'ordre . En consquence:
pour tout polynme de degr infrieur .
Si , le polynme est constant. De plus, si dsigne le coefficient
dominant de , on a pour tout :


D'aprs l'hypothse on sait que pour tout entier , il existe une
configuration telle que l'entier est ralisable par suivant ; on remarque alors
que pour tout positif (resp. ngatif), l'entier est ralisable par
suivant (resp. ).
Thorme 1.3 (P. Erds)
Tout nombre entier peut s'crire, pour un certain , comme combinaison coefficients 1 des
premiers carrs.
Preuve: D'aprs le Lemme 1.2, il suffit de montrer que les 1, 2, 3, 4 sont ralisables par . Voici
des ralisations possibles:


Posons dornavant ; pour prouver le Thorme 1.1, il nous suffit, comme
prcdemment, de prouver que entiers conscutifs sont ralisables. La croissance rapide de
en fonction de ne nous permet plus de rechercher les premires ralisations la main.
En fait, il suffit de prouver que, modulo , tous les restes sont ralisables : en
effet, si est ralisable pour , on a pour une certaine configuration ,
d'o:
Page 3sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=397&Type=enonce&Num=0&Mode=...


Le nombre 0 est ralisable de plusieurs manires. En particulier, on a par exemple
pour tout . Soient une configuration de longueur et ;
posons . La configuration obtenue en changeant le signe du -ime terme
de donne:


En particulier si est congru 1 modulo et , on a
. La configuration ralise aussi pour : la
partie terminale de cette configuration contient un terme dont le rang
dans la configuration est congru 1 modulo ; mais alors
et donc, par , on en dduit que est
ralisable pour . De mme est ralisable pour (il suffit d'oprer le changement
de signe de mme rang dans ). Soit alors un entier positif quelconque; en
effectuant dans la configuration des changements de signe identiques dans chaque
morceau de la forme , on obtient:
Lemme 1.4 Si est un entier ralisable pour , tous les entiers de la forme sont
ralisables pour .
Puisque 0 et 1 sont ralisables pour , le lemme achve la preuve du Thorme 1.1.

Gnralisation aux polynmes valeurs entires
Thorme 2.1 Soit un polynme de degr qui ne prend que des valeurs entires sur .
Les proprits suivantes sont quivalentes:
Les valeurs de sur sont premires dans leur ensemble.
Tout nombre entier peut s'crire, pour un certain entier (dpendant de ), comme
combinaison coefficients 1 des premires valeurs de , soient ,
autrement dit sous la forme:
Page 4sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=397&Type=enonce&Num=0&Mode=...


Preuve: L'implication rsulte simplement du critre de Bzout. Pour montrer
, nous utilisons ici encore les configurations et , agissant comme
oprateurs diffrentiels sur les polynmes.
Posons . On vrifie que . Comme prcdemment,
pour qu'un entier soit ralisable, il suffit qu'il soit ralisable modulo . Le Lemme 1.4 se
gnralise aisment en :
Lemme 2.2 Pour tout entier , si est un entier ralisable par , alors les entiers
sont ralisables par .
Preuve: Soit une configuration qui ralise pour , la configuration ralise
aussi pour et donc:


Pour tablir le thorme, remarquons que la condition se formule avec la proprit de
Bzout: pour certains entiers , , , on a . Donc, l'entier 2 s'crit sous la
forme:


Ainsi, en appliquant itrativement fois le Lemme 2.2 (pour chaque , on l'itre
avec ), on voit que et sont ralisables ds que l'est.
Puis, de nouveau en itrant fois notre rsultat, nous obtenons:
Lemme 2.3 Si est ralisable, tout entier de la forme est ralisable.
Au vu de ce lemme, tous les entiers pairs sont ralisables (on peut prendre la configuration vide
pour raliser 0), il suffit donc pour conclure de trouver un entier impair ralisable. C'est
lmentaire: les sommes sont ralisables ( ), l'une d'elles est
impaire.
Thorme 2.4 Pour tout polynme de degr valeurs entires sur , les conditions
Page 5sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=397&Type=enonce&Num=0&Mode=...
suivantes sont quivalentes:
Les valeurs de sur sont premires entre elles dans leur ensemble.
Les nombres , , , , sont premiers dans leur ensemble.
Les nombres , , , , sont premiers dans leur
ensemble pour chaque entier .
Il existe un entier tel que , , , soient premiers dans
leur ensemble.
Preuve: Il suffit d'tablir l'quivalence entre et , le reste en dcoule facilement, en
considrant le polynme . Il suffit en fait de dmontrer l'assertion suivante: si
divise les entiers , , , , , alors divise . On procde par
rcurrence sur le degr de . Le polynme est de degr
infrieur . Si divise , , , , il divise , , , , donc
(hypothse de rcurrence), il divise , donc il divise .
Le Thorme 2.1 peut ainsi tre reformul en une version plus forte:
Thorme 2.5 Soit un polynme de degr qui ne prend que des valeurs entires sur .
Les proprits suivantes sont quivalentes:
valeurs conscutives de sur sont premires dans leur ensemble.
Tout nombre entier peut s'crire, pour un certain entier (dpendant de ), comme
combinaison coefficients des premires valeurs de , soient , , , ,
autrement dit sous la forme:



Page 6sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=397&Type=enonce&Num=0&Mode=...