Arithmétique/Exercices/Divers
Exercice 11-1
[modifier | modifier le wikicode]- Trouver tous les entiers strictement positifs , , , tels que .
- Calculez et lorsque , , .
- .
- , d'où .
Exercice 11-2
[modifier | modifier le wikicode]- Vérifier que pour tout réel , .
- Trouvez quatre entiers consécutifs dont le produit est .
- Le polynôme (unitaire et de degré 4) s'annule pour (c'est-à-dire ou ) ou (c'est-à-dire ou ).
- .
- .
Exercice 11-3
[modifier | modifier le wikicode]Un nombre qui, dans le système décimal, s'écrit avec quatre chiffres identiques, peut-il être un carré parfait ?
Non car un tel nombre (ou même un nombre qui s'écrit ) est multiple de , qui est premier et dont le carré a chiffres.
Exercice 11-4
[modifier | modifier le wikicode]Trouvez un nombre de quatre chiffres qui est un carré parfait et qui est tel que, lorsqu'on augmente chacun de ses chiffres d'une unité, on obtient encore un carré parfait.
Si (avec ) et alors donc et , donc . Vérification : et .
Exercice 11-5
[modifier | modifier le wikicode]a et b sont deux entiers tels que a2 + 2b est un carré parfait.
- Démontrer que 2b est le produit de deux nombres pairs.
- Démontrer que a2 + b est une somme de deux carrés entiers.
- . Les deux entiers et ont même parité et leur produit est pair donc ils sont pairs.
- Soient et , alors .
Exercice 11-6
[modifier | modifier le wikicode]- Démontrer que pour tout entier n, le nombre 4n est somme de trois carrés (d'entiers) (si et) seulement si n l'est.
- Démontrer qu'un entier congru à 7 modulo 8 ne peut pas être somme de trois carrés .
- En déduire qu'aucun entier de la forme 4j × (8k – 1) (avec j et k entiers) n'est somme de trois carrés.
- (Le sens « si » est immédiat.) Modulo 4, tout carré est congru à 0 ou 1 donc si a2 + b2 + c2 = 4n alors a, b et c sont pairs et n = (a/2)2 + (b/2)2 + (c/2)2.
- Modulo 8, tout carré est congru à 0, 1 ou 4 donc une somme de trois carrés n'est jamais congrue à 7.
- Récurrence sur j, en utilisant la question 2 pour l'initialisation et la question 1 pour l'hérédité.
Exercice 11-7
[modifier | modifier le wikicode]Trouvez, s'ils existent, les chiffres et tels que le nombre qui s'écrit dans le système décimal est un carré parfait.
Exercice 11-8
[modifier | modifier le wikicode]Démontrer que si un entier est divisible par n entiers premiers entre eux deux à deux, alors il est divisible par leur produit.
On peut raisonner par récurrence sur n. Pour un seul diviseur, c'est immédiat. Supposons que c'est vrai pour n diviseurs et montrons que ça l'est encore pour n + 1 diviseurs. Soient donc , entiers premiers entre eux deux à deux et divisant un entier . Puisque divise , il existe un entier tel que . Et puisque divisent et sont premiers avec , ils divisent (d'après le théorème de Gauss) donc (par hypothèse de récurrence) leur produit divise , si bien que divise .
Exercice 11-9
[modifier | modifier le wikicode]1.
- Démontrer qu'un entier congru à 3 modulo 4 ne peut pas être somme de deux carrés.
- Démontrer qu'un entier congru à 6 modulo 8 ne peut pas être somme de deux carrés.
- En admettant que tout entier positif qui n'est ni de la forme 8k + 7, ni multiple de 4, est somme de 3 carrés, déduire des deux questions précédentes que les nombres de la forme 8k + 3, 8k + 6, 32k + 12 ou 32k + 24 (avec ) sont sommes de trois carrés non nuls.
- En ajoutant un « petit » carré non nul aux nombres de la question précédente, en déduire que tout entier positif non divisible par 8 est somme de quatre carrés non nuls, sauf les onze entiers 1, 2, 3, 5, 6, 9, 11, 14, 17, 29 et 41.
- Modulo 4, tout carré est congru à 0 ou 1 donc une somme de deux carrés est congrue à 0, 1 ou 2.
- Modulo 8, tout carré est congru à 0, 1 ou 4 donc une somme de deux carrés est congrue à 0, 1, 2, 4 ou 5.
- D'après le fait admis et les deux questions précédentes, les entiers de la forme 8k + 3 ou 8k + 6 sont sommes de trois carrés mais pas deux, donc trois carrés non nuls. On termine en multipliant par 4.
- D'après la question précédente, on remarque d'abord que les nombres suivants (pour tout entier k ≥ 0) sont sommes de quatre carrés non nuls :
- 8k + 3 + 12 = 8k + 4 ;
- 8k + 3 + 22 = 8k + 7 ;
- 8k + 3 + 42 = 8(k + 2) + 3 ;
- 8k + 6 + 22 = 8(k + 1) + 2 ;
- 8k + 6 + 42 = 8(k + 2) + 6.
- Le cas des nombres congrus modulo 8 à 2, 3, 4, 6 ou 7 est donc réglé, sauf les nombres 3, 11, 2, 6 et 14, et l'on constate rapidement qu'aucun d'eux n'est somme de quatre carrés non nuls. Il reste à traiter les nombres congrus modulo 8 à 1 ou 5, c'est-à-dire congrus modulo 32 à 1, 9, 17, 25, 5, 13, 21 ou 29.
- À nouveau d'après la question précédente, les nombres suivants sont sommes de quatre carrés non nuls :
- 32k + 12 + 12 = 32k + 13 ;
- 32k + 12 + 32 = 32k + 21 ;
- 32k + 12 + 52 = 32(k + 1) + 5 ;
- 32k + 12 + 72 = 32(k + 2) + 29 ;
- 32k + 24 + 12 = 32k + 25 ;
- 32k + 24 + 32 = 32(k + 1) + 1 ;
- 32k + 24 + 52 = 32(k + 1) + 17 ;
- 32k + 24 + 72 = 32(k + 2) + 9.
- Toutes les classes de congruence restantes sont donc traitées, sauf les nombres 5, 29, 61, 1, 17, 9 et 41. Parmi eux, seul 61 est somme de quatre carrés non nuls (doublement : 61 = 22 + 22 + 22 + 72 = 22 + 42 + 42 + 52).
- Finalement, tous les non multiples de 8 sont sommes de quatre carrés non nuls sauf 1, 2, 3, 5, 6, 9, 11, 14, 17, 29 et 41.
2. Démontrer que pour tout entier n, le nombre 8n est somme de quatre carrés non nuls (si et) seulement si 2n l'est.
(Le sens « si » est immédiat.) Modulo 8, tout carré est congru à 0, 1 ou 4 donc si a2 + b2 + c2 + d2 = 8n alors a, b, c, d sont pairs et 2n = (a/2)2 + (b/2)2 + (c/2)2 + (d/2)2.
3. Déduire de ce qui précède que les entiers strictement positifs qui ne sont pas sommes de quatre carrés non nuls sont :
- 1, 3, 5, 9, 11, 17, 29, 41 et les nombres , et pour tout .
D'après la question 1, les seuls entiers positifs impairs qui ne sont pas sommes de quatre carrés non nuls sont 1, 3, 5, 9, 11, 17, 29 et 41. Soit maintenant n pair, donc de la forme avec et r entier positif pair non divisible par 4. D'après la question 2 (par récurrence sur m), n est somme de quatre carrés non nuls si et seulement si r l'est, c'est-à-dire, d'après la question 1 : toujours sauf si r = 2, 6 ou 14.