• Aucun résultat trouvé

Devoir à la maison n

N/A
N/A
Protected

Academic year: 2022

Partager "Devoir à la maison n"

Copied!
2
0
0

Texte intégral

(1)

TS1&3 – spécialité mathématiques octobre 2018

Devoir à la maison n

2

À rendre le jeudi 08 novembre 2018

L’équation x2+y2 =ak pour a ∈J1,9K

Si a etk sont deux entiers naturels tels que a>1, on note Ea,k l’équation x2+y2 =ak

d’inconnue (x;y)∈(N)2. Ainsi, par exemple, E2,3 est l’équationx2+y2 = 23 i.e. x2+y2 = 8 où les inconnuesx et y sont deux entiers naturels non nuls.

Le but de ce qui suit est d’étudier l’équation Ea,k poura∈J1,9K et k∈N. Partie A. — Le cas a = 1

1. Soit k ∈N. Résoudre l’équation E1,k. 2. Soit a∈N. Que dire de l’équation Ea,0?

Partie B. — Les cas a = 2, a = 4 et a = 8

1. Soitnun entier. En utilisant un tableau de restes modulo 4, déterminer les restes possibles den2 modulo4.

2. Soitx et y deux entiers. En utilisant un tableau à double entrée, déterminer les restes possibles de x2+y2 modulo 4 et justifier que x2+y2 ≡0 [4] si et seulement si x et y sont pairs.

3. On va montrer que, pour tout k ∈ N, l’équation E4,k n’a pas de solution. Pour cela, on raisonne pas l’absurde en supposant qu’il existe au moins un entier k tel que E4,k admette au moins une solution. On note alorsk0 le plus petit des entiers naturels k tels queE4,k admette une solution.

a. Montrer que k0 >1.

b. Montrer qu’il existe deux entiers naturels non nuls u etv tels que u2+v2 = 4k0−1. c. Conclure.

4. Soit k un entier naturel au moins égal à 1.

a. Déduire des questions précédentes que si k est pair alors E2,k n’a pas de solution.

b. On suppose que k est impair et on écritk = 2n+ 1 avec n∈N.

Démontrer par récurrence sur n que l’unique solution de E2,2n+1 est(x;y) = (2n; 2n).

5. Déduire des questions précédentes les entiers k tels que E8,k admette au moins une solution et déterminer, pour ces valeurs de k, l’ensemble des solutions de E8,k.

(2)

Partie C. — Les cas a = 3 et a = 9

1. Soitnun entier. En utilisant un tableau de restes modulo 3, déterminer les restes possibles den2 modulo3.

2. Soitx et y deux entiers. En utilisant un tableau à double entrée, déterminer les restes possibles dex2+y2 modulo 3et justifier que x2+y2 ≡0 [3]si et seulement si 3divise x ety.

3. On va montrer que, pour tout k ∈ N, l’équation E3,k n’a pas de solution. Pour cela, on raisonne pas l’absurde en supposant qu’il existe au moins un entier k tel que E3,k admette au moins une solution. On note alorsk0 le plus petit des entiers naturels k tels queE3,k admette une solution.

a. Montrer que k0 >2.

b. Montrer qu’il existe deux entiers naturels non nuls u etv tels que u2+v2 = 3k0−2. c. Conclure.

4. En déduire que, pour tout k∈N, l’équation E9,k n’a pas de solution.

Partie D (facultative). — Les cas a = 5, a = 6 et a = 7

1. En suivant la même démarche que pour a= 3, montrer que, pour tout k∈N, E7,k n’a pas de solution.

2. Démontrer que, pour tout k∈N, l’équation E5,k admet au moins une solution.

3. Que dire de l’équation E6,k pour k∈N?

Références

Documents relatifs

La qualité de la rédaction sera prise en compte dans la notation (en particulier, vous ferez attention à bien donner les hypothèses des théorèmes invoqués).. On note ext(K)

• Le CO 2 contenu dans l'air se dissout dans la solution ; on peut raisonnablement supposer que la quantité est proportionnelle au volume de solution de soude (dissolution

Q₂ Pour chacune des valeurs de k précédemment determinées, trouver tous les entiers réversibles de 10 chiffres. Les six nombres en caractères gras sont les seuls nombres

Quelle est la probabilité d'obtenir au moins trois fois (( face

Pour déterminer les antécédents de k on se place sur la valeur k de l’axe des ordonnées (images) et on cherche les abscisses des points de la courbe d’ordonnée k.

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/. 1 Rémy

* Si _C1=-1/4 et _C2=0 alors la solution correspondante tend vers 0 en +infini et en -infini (croissances comparées). En effet Sol_bornee semble admettre un minimum local

This question leads to diffcult realization problems over Q: I f the answer is negative then there exists an extension K/Q with Galoisgroup GI (2, q) unramified over