3.2 Th´eor`eme. Soient p, q, r des entiers >0premiers entre eux. On pose
Mp,q =pgcd(p, q)r+ppcm(p, q)et de mˆeme avec q, r et p, r et on appelle
Mle minimum de ces trois nombres. Alors, tout entier n>M (resp. n >
M−p−q−r) s’´ecrit sous la forme n=ap +bq +cr avec a, b, c > 0(resp.
a, b, c ≥0).
D´emonstration. Supposons par exemple n > Mp,q . Posons d=pgcd(p, q),
on a donc p=dp0et q=dq0avec p0et q0premiers enture eux et m:=
ppcm(p, q) = dp0q0. Comme rest premier avec d, il existe c∈ {1,2, . . . , d}
tel que n−cr ≡0 (mod d). Posons n0= (n−cr)/d. On a n > dr +m=
dr +dp0q0≥cr +dp0q0, donc n0> p0q0. En vertu de 2.1, il existe a, b > 0 tels
que n0=ap0+bq0, donc n−cr =ap +bq et on a le r´esultat.
Le cas des in´egalit´es larges en r´esulte. Si l’on a n > M −p−q−r, donc
n+p+q+r > M, on peut ´ecrire n+p+q+r=ap +bq +cr avec a, b, c ≥1.
On a donc n= (a−1)p+ (b−1)q+ (c−1)ravec a−1, b −1, c −1≥0.
3.3 Remarques. 1) Si p, q, r sont pemiers entre eux deux `a deux et si l’on a
p≤q≤ron v´erifie qu’on a Mp,q =r+pq ≤Mq,r =q+pr ≤Mq,r =p+qr,
de sorte que le minimum Mest ´egal `a Mp,q . Si les nombres ne sont pas deux
`a deux premiers entre eux, en revanche, on ne peut affirmer que le minimum
Mest ´egal `a Mp,q , mˆeme si l’on suppose p<q<r. Par exemple, pour p= 9,
q= 11 et r= 21, on a Mp,q = 21 + 99 = 120 mais Mp,r = 33+63 = 96 <120.
2) Attention, le nombre Mn’est pas en g´en´eral optimal, il se peut que
des nombres < M soient de la forme ap +bq +cr avec a, b, c > 0. Voici un
exemple : p= 3, q= 5, r= 7, le nombre Mest ´egal `a Mp,q c’est-`a-dire `a 22.
Pourtant on atteint non seulement 22, mais encore 21 et 20, de sorte que le
dernier entier nnon atteint avec des coefficients positifs est 19.
3) Si Nest le plus grand entier qui ne s’´ecrit pas ap +bq +cr avec
a, b, c > 0, il est clair que N−p−q−rest le plus grand entier qui ne s’´ecrit
pas ap +bq +cr avec a, b, c ≥0.
3.2.2 Optimalit´e
Voici un r´esultat partiel en ce sens :
3.4 Th´eor`eme. Soient p, q, r des entiers >0premiers entre eux. Soit d=
pgcd(p, q),m=ppcm(p, q),M=Mp,q =dr +m. On ´ecrit p=dp0,q=dq0
avec p0, q0premiers entre eux et on suppose r > p0q0−p0−q0. Alors, Mn’est
pas de la forme ap+bq +cr avec a, b, c > 0(donc Mest le plus grand nombre
qui n’est pas de cette forme).
3