ATLAS Ouvrir dans l'atlas →

ExercicePremière — Sommes de termes d'une suite arithmétique · Problèmes

Exercice 10

Démonstration

On cherche à écrire un entier comme somme d'entiers consécutifs strictement positifs. On a par exemple 9=4+59=4+5 et 9=2+3+49=2+3+4.

1. Vérifier que 100=18+19+20+21+22100=18+19+20+21+22. Trouver une autre écriture de 100100 comme somme d'entiers consécutifs strictement positifs.

2. Soit a⩾1a\geqslant 1 et p⩾2p\geqslant 2 deux entiers. Montrer que la somme des pp entiers consécutifs à partir de aa vaut S=p (2a+p−1)2S=\frac{p\,(2a+p-1)}{2}

3. Dans l'expression pp et 2a+p−12a+p-1, démontrer que l'un des deux facteurs est pair et l'autre impair.

4. En déduire qu'aucune écriture de ce type n'est possible pour 6464.

Corrigé

1. 18+19+20+21+22=5×18+222=5×20=10018+19+20+21+22=5\times\dfrac{18+22}{2}=5\times 20=100. Pour une autre écriture, on cherche un nombre pair de termes : la somme de 88 entiers consécutifs à partir de 99 convient. 100=9+10+11+12+13+14+15+16\boxed{100=9+10+11+12+13+14+15+16} En effet, 8×9+162=4×25=1008\times\dfrac{9+16}{2}=4\times 25=100. La question 2 donne une méthode pour trouver ces écritures : il faut p(2a+p−1)=200p(2a+p-1)=200, et p=8p=8 donne 2a+7=252a+7=25, soit a=9a=9.

2. Les pp entiers consécutifs à partir de aa sont aa, a+1a+1, …, a+p−1a+p-1. Ils forment une suite arithmétique de raison 11, et leur somme vaut : S=p×a+(a+p−1)2=p (2a+p−1)2S=p\times\frac{a+(a+p-1)}{2}=\boxed{\frac{p\,(2a+p-1)}{2}} On peut aussi écrire S=p a+(0+1+⋯+(p−1))=pa+(p−1)p2S=p\,a+(0+1+\dots+(p-1))=pa+\dfrac{(p-1)p}{2}, et l'on retrouve la même expression.

3. La différence des deux facteurs vaut (2a+p−1)−p=2a−1(2a+p-1)-p=2a-1, qui est impair. Or deux entiers de même parité ont une différence paire. Les deux facteurs sont donc de parités différentes : l’un des facteurs p et 2a+p−1 est pair, l’autre impair\boxed{\text{l'un des facteurs } p \text{ et } 2a+p-1 \text{ est pair, l'autre impair}}

4. Supposons que 6464 s'écrive ainsi. Alors p(2a+p−1)=128=27p(2a+p-1)=128=2^{7}. D'après la question 3, l'un des deux facteurs est impair ; or le seul diviseur impair de 272^{7} est 11. Mais p⩾2p\geqslant 2, et 2a+p−1⩾2+2−1=32a+p-1\geqslant 2+2-1=3 : aucun des deux facteurs ne peut valoir 11. C'est une contradiction. 64 ne s’eˊcrit pas comme somme d’au moins deux entiers conseˊcutifs strictement positifs\boxed{64 \text{ ne s'écrit pas comme somme d'au moins deux entiers consécutifs strictement positifs}} Le même raisonnement s'applique à toutes les puissances de 22 : 22, 44, 88, 1616, 3232, 6464, … On peut montrer que ce sont les seuls entiers qui n'ont pas d'écriture de ce type.

Dans l'édifice

Thèmes

sommes de termes

Ouvrir dans l'atlas interactif →