Année 2022-2023 – ECG1B & ECG1C – Lycée Janson de Sailly DS 1 –

– Devoir surveillé n◦1 –

– Le samedi 17 septembre 2022 –

Voici les consignes d’usage, présentes dans le libellé des épreuves de mathématiques des concours :

La présentation, la lisibilité, l’orthographe, la qualité de la rédaction, la clarté et la précision des

raisonnements entreront pour une part importante dans l’appréciation des copies.
Les candidats sont invités à encadrer, dans la mesure du possible, les résultats de leurs calculs.
Ils ne doivent faire usage d’aucun document ; seule l’utilisation d’une règle graduée est autorisée.

N’oubliez pas de bien numéroter vos copies et de traiter les questions dans l’ordre. Les
différentes parties de ce problème ne sont pas indépendantes. Il n’est néanmoins pas nécessaire
d’avoir réussi à démontrer un résultat pour l’utiliser dans la suite du problème.

Exercice 1. 1. On considère l’intervalle E = [−1, 5] et les propositions suivantes :

ˆ A : ∀x ∈ E, ∃y ∈ E, x + y ≥ 0,
ˆ B : ∃y ∈ E, ∀x ∈ E, x + y ≥ 0.
La proposition A (respectivement B) est-elle vraie ? On justifiera la réponse.
2. Même question avec l’intervalle E = [−5, 4].
3. Même question avec l’intervalle E = R.

Exercice 2. 1. Vérifier que :

1 1 1 1 1 1
∀x ∈ R \ {−1, 0, 1}, = − +
x(x2 − 1) 2 x−1 x 2 x+1
n
X 1
2. En déduire, pour tout n ∈ N \ {0, 1}, la valeur de .
k(k 2− 1)
k=2

n
X n(n + 1)(2n + 1)
Exercice 3. 1. Démontrer que : ∀n ∈ N∗ , k2 = .
6
k=1
n
X
3 n2 (n + 1)2
Soit un entier n ≥ 1. On admet que k = .
4
k=1
n
X
2. Calculer S = k(k + 1)(k + 2).
k=0

Exercice 4. Soit un entier n ≥ 1.

n
X 5k−1
1. Calculer S1 = .
4k+1
k=0
n+3
X 1
2. Calculer S2 = .
8k
k=2
n  
X n k n+1−k
3. Calculer S3 = 5 3 .
k
k=1

1
Année 2022-2023 – ECG1B & ECG1C – Lycée Janson de Sailly DS 1 –

Exercice 5. Soit x ∈ R. On appelle partie entière de x et on note ⌊x⌋ le plus grand entier inférieur ou égal à x.
1. Justifier que 32 = 1, ⌊1⌋ = 1 et − 25 = −3.
   
√
2. Donner ⌊π⌋ et ⌊− 2⌋.
3. Soit x ∈ R.
(a) Justifier que ⌊x⌋ ≤ x.
(b) Montrer que x < ⌊x⌋ + 1.
On a donc : ∀x ∈ R, ⌊x⌋ ≤ x < ⌊x⌋ + 1
4. Vérifier que : ∀x ∈ R, x − 1 < ⌊x⌋ ≤ x.
5. Montrer que : ∀(x, y) ∈ R2 , ⌊x⌋ + ⌊y⌋ ≤ ⌊x + y⌋ ≤ ⌊x⌋ + ⌊y⌋ + 1.

Exercice 6. Un entier naturel non nul m est dit équilibré s’il existe p ∈ N tel que la somme des entiers naturels
qui précèdent m est égale à la somme des p entiers consécutifs à m, c’est-à-dire :
m−1
X m+p
X
1 + 2 + 3 + ... + m − 2 + m − 1 = m + 1 + m + 2 + ... + m + p − 1 + m + p, autrement dit : k= k
k=1 k=m+1

L’entier p est alors appelé le poids de m.

On convient que 1 est équilibré de poids 0 puisque la somme des prédécesseurs de 1 et la somme des 0 nombres
consécutifs de 1 sont égales à 0.
Le but de cet exercice est de déterminer l’ensemble des entiers équilibrés.
1. Un exemple : calculer 1 + 2 + 3 + 4 + 5 et 7 + 8. En déduire que l’entier 6 est équilibré et donner son poids.
2. Soit m un entier naturel supérieur ou égal à 2 et p ∈ N∗ .
m−1 m+p
X X 2mp + p2 + p
(a) Calculer k en fonction de m et montrer que k= .
2
k=1 k=m+1
(b) Un autre exemple : vérifier que 35 est équilibré de poids 14.
√
3. Soit m un entier naturel non nul tel que 8m2 + 1 ∈ N.
(a) Donner un exemple d’un tel entier m.
√
(b) Vérifier que le nombre −2m − 1 + 8m2 + 1 est un entier naturel.
(c) i. Soit n ∈ N. Montrer que n2 est impair si et seulement si n est impair.
√
ii. Justifier que le nombre −2m − 1 + 8m2 + 1 est un entier pair.
4. Soit m un entier naturel supérieur ou égal à 2 et p ∈ N∗ .
(a) En utilisant la question 2a, montrer que m est équilibré de poids p si et seulement si

p2 + (2m + 1)p − m(m − 1) = 0 .

√
(b) En déduire que m est équilibré si et seulement si 8m2 + 1 ∈ N et que, dans ce cas, son poids est
√
−2m − 1 + 8m2 + 1
p=
2

On introduit maintenant l’équation (E) :

a2 − 8b2 = 1
d’inconnues a ∈ N et b ∈ N.
On dit qu’un couple (a, b) est solution de l’équation (E) lorsque a2 − 8b2 = 1.

5. Soit m ∈ N∗ .
√
(a) Vérifier que 8m2 + 1 ∈ N si et seulement si il existe a ∈ N tel que 8m2 + 1 = a2 .
√
(b) En déduire que 8m2 + 1 ∈ N si et seulement si il existe a ∈ N tel que (a, m) est une solution de
(E).

2
Année 2022-2023 – ECG1B & ECG1C – Lycée Janson de Sailly DS 1 –

(c) Justifier finalement que m est équilibré si et seulement si il existe a ∈ N tel que (a, m) est solution
de (E).
6. On définit les suites (an )n∈N et (bn )n∈N par a0 = 1 et b0 = 0 et :

an+1 = 3an + 8bn
∀n ∈ N,
bn+1 = an + 3bn

(a) Calculer b1 , b2 et b3 .
√
n √
(b) Montrer par récurrence que, pour tout n ∈ N, 3 + 8 = an + bn 8.
√
n √
(c) Montrer que, pour tout n ∈ N, 3 − 8 = an − bn 8.
(d) En déduire que, pour tout n ∈ N, (an , bn ) est solution de (E).
Nous venons de montrer que (E) admet une infinité de solutions : les couples (an , bn ), pour tout n ∈ N. Nous
allons montrer que ce sont les seules. On se donne donc un couple d’entiers naturels (x, y) solution de (E) qui
n’est pas (1, 0).
√
7. (a) Justifier que x + y 8 > 0.
j √ k
(b) Posons n = ln(x+y √
8)
ln(3+ 8)
(on rappelle que la partie entière d’un nombre réel a été définie dans l’exercice
5, dont vous pouvez utiliser les résultats). Montrer que :
√
x+y 8 √
1≤ √ <3+ 8
(3 + 8)n

(c) Vérifier que :

√
x+y 8 √ √ √
√ = (x + y 8)(an − bn 8) = (xan − 8ybn ) + (yan − xbn ) 8
(3 + 8)n
√
x−y 8 √ √ √
et : √ = (x − y 8)(an + bn 8) = (xan − 8ybn ) − (yan − xbn ) 8
(3 − 8) n

(d) On admet que xan − 8ybn et yan − xbn sont des entiers naturels. Montrer alors que le couple
(xan − 8ybn , yan − xbn ) est solution de (E).
(e) Soit (u, v) un couple d’entiers naturels solution de (E).
i. En distinguant suivant les valeurs de v, montrer que u = 1 ou u ≥ 3.
√ √ √
ii. En déduire que u + v 8 = 1 ou u + v 8 ≥ 3 + 8.
x+y
√ √ √
iii. En déduire finalement que (3+ √ 8 = 1 puis que x + y 8 = an + bn 8.
8)n
√
(f) i. Montrer en raisonnant par l’absurde que 2 ∈ R \ Q.
√
ii. En déduire que 8 ∈ R \ Q.
iii. Conclure que y = bn puis que x = an .
On a donc montré que les solutions de (E) sont exactement les couples (an , bn ), avec n ∈ N. Il s’ensuit que les
entiers équilibrés sont exactement les bn , avec n ∈ N∗ .
8. (a) Montrer en utilisant la question 6 que :
√ √
∗ (3 + 8)n − (3 − 8)n
∀n ∈ N , bn = √
2 8

(b) Conclure que :

⌊X2 ⌋
n−1

∗ n
∀n ∈ N , bn = 8j 3n−2j−1
j=0
2j + 1

3
Année 2022-2023 – ECG1B & ECG1C – Lycée Janson de Sailly Corrigé du DS 1 –

Proposition de solutions
Solution 1 1. La proposition A est vraie. En effet, soit x ∈ [−1, 5].
— Si x ≥ 0, alors en posant y = 0 on a y ∈ E et x + y ≥ 0.
— Si x ∈ [−1, 0[, alors −x ∈ E. En posant y = −x on a bien x + y ≥ 0.
La proposition B est vraie. En effet, considérons par exemple y = 3. Alors ∀x ∈ [−1, 5], on a x + y ≥ 0.
2. La proposition A est fausse. En effet posons x = −5. Alors ∀y ∈ [−5, 4], x + y ≤ −1 < 0.
La proposition B est fausse. En effet, pour tout y ∈ [−5, 4], −5 ∈ E et −5 + y ≤ −1 < 0.
3. La proposition A est vraie. En effet, pour tout x ∈ R, on a, en posant y = −x, x + y = 0 ≥ 0.
La proposition B est fausse. En effet, pour tout y ∈ R, en posant x = −y − 1 ∈ R, on a x + y = −1 < 0.

Solution 2 1. Soit x ∈ R \ {−1, 0, 1},

1 1 1 1 1 1 1
− + = (x2 + x − 2x2 + 2 + x2 − x) =
2x−1 x 2x+1 2x(x2 − 1) x(x2 − 1)

2. À l’aide de la question 1, on obtient

n n n n
X 1 1X 1 X 1 1X 1
= − +
k=2
k(k2 − 1) 2 k=2 k − 1 k=2 k 2 k=2 k + 1

En effectuant respectivement les changements de variables j = k − 1 et j = k + 1 dans les 1ère et 3ème somme, il vient
n n−1 n n+1
X 1 1 X 1 X1 1 X 1
= − +
k=2
k(k2 − 1) 2 j=1 j j=2
j 2 j=3 j
   
1 1 1 1 1 1 1
= 1+ − − + +
2 2 2 n 2 n n+1
1 1 1
= − +
4 2n 2(n + 1)

Solution 3 1. Voir cours.

2. On a
n
X
S = k(k + 1)(k + 2)
k=0
Xn
= (k3 + 3k2 + 2k)
k=0
Xn n
X n
X
= k3 + 3 k2 + 2 k
k=0 k=0 k=0
n2 (n + 1)2 n(n + 1)(2n + 1) n(n + 1)
= +3· +2·
4 6 2
 
n(n + 1) 2n + 1
= n(n + 1) + +1
4 2
n(n + 1)(n2 + 5n + 6)
=
4
n(n + 1)(n + 2)(n + 3)
=
4
5
Solution 4 1. On a, comme 4
̸= 1,
n n   5
!
1 X 5 k 1 ( 4 )n+1 − 1
 n+1
X 5k−1 1 5
S1 = k+1
= = 5
= −1 .
k=0
4 20 k=0
4 20 4
− 1 5 4
1
2. On a par le changement d’indice [k′ = k + 2] et comme 8
̸= 1,

n+3 n+1 ′ n+1   ′ 1  n+2 !

X 1 X  1 k +2 1 X 1 k 1 1 − ( 8 )n+2 1 1
S2 = k
= = = · 1
= 1− .
k=2
8
k′ =0
8 64
k′ =0
8 64 1 − 8
56 8
3. D’après la formule du binôme de Newton
n   n   n  
!
X n X n X n
S3 = 5k 3n+1−k = 3 5k 3n−k = 3 5k 3n−k − 3n = 3 · (8n − 3n ) .
k=1
k k=1
k k=0
k

1. Par définition 2 est le plus grand entier inférieur ou égal à 23 , or 1 ≤ 32 < 2, donc 23 = 1.
3  
Solution 5
 ⌊1⌋
De même  est le plus grand entier inférieur ou égal à 1. Or, 1 ≤ 1 < 2 donc ⌊1⌋ = 1.
Enfin − 52 est le plus grand entier inférieur ou égal à − 52 . Or, −3 ≤ − 52 < −2 donc − 25 = −3.
 

1
Année 2022-2023 – ECG1B & ECG1C – Lycée Janson de Sailly Corrigé du DS 1 –

√ √
2. En utilisant là encore la définition, comme 3 ≤ π < 4, ⌊π⌋ = 3 et comme −2 ≤ 2 < −1, ⌊− 2⌋ = −2.
3. (a) Par définition, ⌊x⌋ est un entier inférieur ou égal à x donc ⌊x⌋ ≤ x.
(b) La définition précise que ⌊x⌋ est le plus grand entier inférieur ou égal à x, c’est donc que ⌊x⌋ + 1, qui est un entier,
n’est pas inférieur ou égal à x, autrement dit qu’il est strictement plus grand que x, i.e. x < ⌊x⌋ + 1.
4. Soit x ∈ R. D’après l’encadrement démontré à la question précédente, ⌊x⌋ ≤ x < ⌊x⌋ + 1. En particulier ⌊x⌋ ≤ x, ce qui est
bien la partie de l’encadrement demandé.
Par ailleurs x < ⌊x⌋ + 1, donc en soustrayant 1 à chaque membre, x − 1 < ⌊x⌋.
Conclusion : ∀x ∈ R, x − 1 < ⌊x⌋ ≤ x .
5. Soit (x, y) ∈ R2 .
D’après la question 3, ⌊x⌋ ≤ x < ⌊x⌋ + 1 et ⌊y⌋ ≤ y < ⌊y⌋ + 1.
En sommant on a donc : ⌊x⌋ + ⌊y⌋ ≤ x + y < ⌊x⌋ + ⌊y⌋ + 2.
Donc ⌊x⌋ + ⌊y⌋ est un entier inférieur ou égal à x + y, il est donc inférieur ou égal à ⌊x + y⌋.
De même ⌊x⌋ + ⌊y⌋ + 2 est un entier strictement plus grand que x + y, donc, par définition de la partie entière, ⌊x + y⌋ <
⌊x⌋ + ⌊y⌋ + 2. Les nombres considérés étant tous des entiers, cela signifie que ⌊x + y⌋ ≤ ⌊x⌋ + ⌊y⌋ + 1.
Conclusion : ∀(x, y) ∈ R2 , ⌊x⌋ + ⌊y⌋ ≤ ⌊x + y⌋ ≤ ⌊x⌋ + ⌊y⌋ + 1 .

Solution 6 1. 1 + 2 + 3 + 4 + 5 = 15 et 7 + 8 = 15 donc par définition l’entier 6 est équilibré de poids 2.

m−1
X m(m − 1)
2. (a) D’après le cours, k= et :
k=1
2

m+p m+p m
X X X (m + p)(m + p + 1) m(m + 1) 2mp + p2 + p
k= k− k= − =
k=m+1 k=1 k=1
2 2 2
P34 35×34
(b) On utilise la question précédente : d’une part k=1 k= 2
= 595, d’autre part
49
X 2 × 35 × 14 + 142 + 14 980 + 196 + 14
k= = = 595
k=36
2 2

Conclusion : 35 est équilibré de poids 14.

√ √ √
3. (a) L’entier naturel non nul m = 1 vérifie bien 8m2 + 1 ∈ N puisque 8 × 12 + 1 = 9 = 3 ∈ N.
√
(b) Le nombre −2m − 1 + 8m2 + 1 est alors un entier en tant que somme d’entiers. Montrons qu’il est positif : pour cela
on compare (2m + 1)2 et 8m2 + 1.
8m2 + 1 − (2m + 1)2 = 8m2 + 1 − 4m2 − 4m − 1 = 4m2 − 4m = 4m(m − 1) ≥ 0
√ p
Donc 8m2 + 1 ≥ (2m + 1)2 donc, par croissance de la fonction racine carrée sur R+ , 8m2 + 1 ≥ (2m + 1)2 ,
√
autrement dit, comme 2m + 1 ≥ 0, 8m2 + 1 ≥ 2m + 1.
√
Conclusion : −2m − 1 + 8m2 + 1 ∈ N.
(c) i. Supposons pour commencer que n est impair.
Donc il existe k ∈ N tel que n = 2k + 1. Donc n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2 × (2k2 + 2k) +1 donc n2 est
| {z }
∈N
impair.
Montrons maintenant la réciproque par contraposition : pour cela on va donc montrer que si n est pair alors n2
est pair. On suppose donc maintenant que n est pair.
Donc il existe k ∈ N tel que n = 2k. Donc n2 = (2k)2 = 4k2 = 2 × 2k2 donc n2 est pair.
|{z}
∈N

Conclusion : n2 est impair si et seulement si n est impair.

√ √
ii. Par hypothèse 8m2 + 1 ∈ N donc √ 8m2 + 1 est un entier dont le carré vaut 8m2 + 1, qui est impair. Donc
2
d’après la question précédente, 8m + 1 est impair. √
Il est par ailleurs clair que −2m − 1 est impair, donc par somme d’entiers impairs, l’entier −2m − 1 + 8m2 + 1
est un entier pair.
Pm−1 Pm+p
4. (a) Par définition, m est équilibré de poids p si et seulement si k=1 k = k=m+1 k, c’est-à-dire, d’après la question
m(m−1) 2
2a, si et seulement si 2
= 2mp+p
2
+p
, donc si et seulement si m(m − 1) = 2mp + p2 + p, autrement dit si et
2
seulement si p + (2m + 1)p − m(m − 1) = 0 .
(b) On cherche à résoudre l’équation p2 + (2m + 1)p − m(m − 1) = 0 d’inconnue p ∈ N, avec m ∈ N pour paramètre. On
calcule donc son discriminant :
∆ = (2m + 1)2 + 4m(m − 1) = 8m2 + 1 > 0
√ √
−2m−1+ 8m2 +1 −2m−1− 8m2 +1
Donc l’équation p2 + (2m + 1)p − m(m − 1) = 0 admet pour solutions et . Supposons
√ 2 √ 2
maintenant que√ 8m2 + 1 ∈ N : dans ce cas, d’après la question 3b, −2m − 1 + 8m2 + 1 est un entier naturel pair.
−2m−1+ 8m2 +1
Donc 2
∈ N, donc l’équation p2 + (2m + 1)p − m(m − 1) = 0 admet une solution entière. Donc d’après
la question précédente, m est équilibré de poids p. √
Pour montrer la réciproque raisonnons par contraposition : on suppose donc que 8m2 + 1 ∈ / N. Dans ce cas ni

2
Année 2022-2023 – ECG1B & ECG1C – Lycée Janson de Sailly Corrigé du DS 1 –

√ √
−2m−1+ 8m2 +1 −2m−1− 8m2 +1
2
ni 2
ne sont entiers, donc l’équation p2 + (2m + 1)p − m(m − 1) = 0 (d’inconnue p)
n’admet pas de solution entière. Donc d’après la question précédente, m n’est pas équilibré.
√ √
−2m−1+ 8m2 +1
Conclusion : m est équilibré si et seulement si 8m2 + 1 ∈ N et, dans ce cas, son poids est p = 2
√
5. (a) Raisonnons par double implication : commençons par supposer que 8m 2 + 1 ∈ N. Alors il existe a ∈ N tel que
√
8m2 + 1 = a. Donc en élevant au carré 8m2 + 1 = a2 .
2 + 1 = a2 . Alors, chacun des termes étant positif, en appliquant
Supposons maintenant qu’il existe√ a ∈ N tel√que 8m √
a 8m2 + 1 = a2 , soit 8m2 + 1 = a puisque a ≥ 0.
la fonction racine carrée, on √
On a donc bien montré que 8m2 + 1 ∈ N si et seulement si il existe a ∈ N tel que 8m2 + 1 = a2 .
√
(b) Il est immédiat que 8m2 +1 = a2 ⇐⇒ a2 −8m2 = 1 donc d’après la question précédente, 8m2 + 1 ∈ N si et seulement
si il existe a ∈ N tel que (a, m) est une solution de (E).
(c) La question précédente et la question 4b assurent bien que m est équilibré si et seulement si il existe a ∈ N tel que
(a, m) est solution de (E).
6. (a) Par définition, b1 = a0 + 3b0 = 1. De même a1 = 3a0 + 8b0 = 3. On en déduit que b2 = 6 et a2 = 17 puis que b3 = 35.
 √ n √
(b) Notons, pour tout n ∈ N, P(n) la propriété : ” 3 + 8 = an + bn 8”.
Montrons par récurrence que P(n) est vraie pour tout n ∈ N.
 √ 0 √
— Initialisation : d’une part 3 + 8 = 1 et d’autre part a0 + b0 8 = 1 donc la propriété est vraie au rang 0.
— Hérédité : supposons la propriété vraie au rang n ∈ N fixé. Montrons alors qu’elle est vraie au rang n + 1 : par
 √ n+1  √ n  √ 
définition, 3 + 8 = 3+ 8 3+ 8 .
 √ n √
Or d’après l’hypothèse de récurrence, 3 + 8 = an + bn 8 donc
 √ n+1  √  √  √ √
3+ 8 = an + bn 8 3 + 8 = 3an + 8bn + (an + 3bn ) 8 = an+1 + bn+1 8

Donc la propriété P(n + 1) est vraie.

Donc la propriété est héréditaire.
— Conclusion : la propriété est vraie au rang 0 et elle est héréditaire à partir de ce rang, donc elle vraie pour tout
n ∈ N.
 √  √
Remarque : on peut aussi montrer que la suite an + bn 8 est géométrique de raison 3 + 8.
n∈N
 √ n √
(c) On montre de même que pour tout n ∈ N, 3 − 8 = an − bn 8. Dans l’hérédité, on obtient :
 √ n+1  √  √  √ √
3− 8 = an − bn 8 3 − 8 = 3an + 8bn − (an + 3bn ) 8 = an+1 − bn+1 8
 √  √ 
(d) Soit n ∈ N. On commence par remarquer (c’est une simple identité remarquable) que : a2n −8b2n = an − bn 8 an + bn 8 .
Donc d’après la question précédente :
 √ n  √ n  √  √ n √ 2
a2n − 8b2n = 3 − 8 3+ 8 = 3− 8 3+ 8 = 32 − 8 = 1

Conclusion : pour tout n ∈ N, (an , bn ) est solution de (E).

7. (a) Il est clair que le couple (0, 0) n’est pas solution de (E). Donc (x, y) n’est pas le couple (0, 0) donc x ̸= 0 ou y ̸= 0,
√
donc, x et y étant entiers, x > 0 ou y > 0. Dans ces deux cas x + y 8 > 0 .
√
ln(x+y 8)
(b) D’après la question 3 de l’exercice 5, n ≤ √ < n + 1.
ln(3+ 8)
√ √ √ √  √ 
Donc, comme ln(3 + 8) > 0, n ln(3 + 8) ≤ ln(x + y 8) < (n + 1) ln(3 + 8), autrement dit ln (3 + 8)n ≤
√  √  √
ln(x + y 8) < ln (3 + 8)n+1 + ln(3 + 8). En appliquant la fonction exponentielle croissante sur R, on a donc :
√ √ √
(3 + 8)n ≤ x + y 8 < (3 + 8)n+1
√ √ √
x+y
√ 8
En divisant finalement par (3 + 8)n > 0, on a bien : Conclusion : 1 ≤ <3+ 8.
(3+ 8)n
√ √
(c) On a√remarqué√au calcul de la question 6d que (3 + 8)(3 − 8) = 9 − 8 = 1. On a donc, pour tout n ∈ N,
(3 + 8)n (3 − 8)n = 1n = 1. D’où :
√ √ √
x+y 8 (x + y 8)(3 − 8)n √ √
√ = √ √ = (x + y 8)(an − bn 8)
(3 + 8) n n
(3 + 8) (3 − 8) n
√ √
Un simple développement permet alors d’obtenir x+y√ 8 = (xan − 8ybn ) + (yan − xbn ) 8. On obtient de même :
n (3+ 8)
√ √
√
x−y 8 (x − y 8)(3 + 8)n √ √
√ = √ √ = (x − y 8)(an + bn 8)
(3 − 8)n (3 − 8)n (3 + 8)n
√ √
x−y
√ 8
Un simple développement permet alors d’obtenir = (xan − 8ybn ) − (yan − xbn ) 8.
(3− 8)n

3
Année 2022-2023 – ECG1B & ECG1C – Lycée Janson de Sailly Corrigé du DS 1 –

(d) On utilise une identité remarquable pour obtenir :

√ √
(xan − 8ybn )2 − 8(yan − xbn )2 = (xan − 8ybn − (yan − xbn ) 8)(xan − 8ybn + (yan − xbn ) 8)
En reportant dans l’égalité ci-dessus on a donc :
√ √ √ √
x+y 8 x−y 8 (x + y 8)(x − y 8) x − 8y 2
(xan − 8ybn )2 − 8(yan − xbn )2 = √ √ = √ √ = =1
(3 + 8)n (3 − 8)n (3 + 8)n (3 − 8)n 9−8
(en effet on rappelle que le couple d’entiers naturels (x, y) est solution de (E))
Conclusion : le couple (xan − 8ybn , yan − xbn ) est solution de (E).
(e) i. Par hypothèse (u, v) est un couple d’entiers naturels solution de (E), on a donc u2 − 8v 2 = 1. Raisonnons par
disjonction de cas suivant les valeurs de v :
— si v = 0 alors (E) devient u2 = 1 qui a pour unique solution dans N l’entier u = 1.
— si v ≥ 1 alors (E) devient u2 = 1 + 8v 2 , donc, par croissance de la fonction carrée sur R+ , u2 ≥ 9, donc u ≥ 3
puisque u ≥ 0.
Donc u = 1 ou u ≥ 3.
√
ii. Si u = 1 et v = 0 alors u + v 8 = 1. √ √
Dans le cas où u ≥ 3, on a nécessairement v ̸= 0, donc, comme v ∈ N, v ≥ 1. Donc, comme 8 > 0, u + v 8 ≥ 3 +
√ √ √ √
8. Conclusion : si (u, v) est un couple d’entiers naturels solution de (E) alors u + v 8 = 1 ou u + v 8 ≥ 3 + 8.
iii. On applique la question précédente
√ au couple (xan − 8ybn , yan − xb√n ), qui est
√ bien solution de (E). On a donc :
(xan − 8ybn ) + (yan − xbn ) 8 = 1√ou (xan − 8ybn√ ) + (yan − xbn ) 8 ≥ 3 + 8.
√
Donc, d’après la question 7c, x+y√ 8 = 1 ou x+y √ 8 ≥ 3 + 8.
(3+ 8)n (3+ 8)n
√ √ √
Mais on a montré à la question 7b que 1 ≤ x+y √ 8 < 3 + 8. Donc on a bien x+y √ 8 = 1.
(3+ 8)n (3+ 8)n
√ √ √
En multipliant par (3 + 8)n , on obtient donc x + y 8 = (3 + 8)n , donc d’après la question 6b,
√ √
x + y 8 = an + bn 8
.
√ √
(f) i. Montrons
√ par l’absurde que 2 ∈ R \ Q : on suppose donc que 2 ∈ Q, donc qu’il existe p ∈ Z et q ∈ N∗ tel que
2 = pq et on suppose que cette fraction est irréductible.
2
En élevant au carré on a donc 2 = pq2 , donc p2 = 2q 2 . Donc p2 est un entier pair, donc d’après la question 3(c)i,
p est pair.
Donc il existe p′ ∈ Z tel que p = 2p′ . Donc, comme p2 = 2q 2 , on a : (2p′ )2 = 2q 2 , donc q 2 = 2p′2 . Donc q 2 est
pair, donc, toujours d’après la question 3(c)i, q est pair.
Donc la fraction pq n’est pas irréductible, on aboutit donc à une contradiction.
√
Conclusion : 2 ∈ R \ Q.
√
ii. Montrons, là encore
√ par un raisonnement par l’absurde, que 8 ∈ R \ Q : on suppose donc qu’il existe p ∈ Z et
q ∈ N∗ tel que 8 = pq .
√ √ √ p
On remarque que 8 = 2 2. Donc 2 = 2q ∈ Q, ce qui en contradiction avec la question précédente.
√
Conclusion : 8 ∈ R \ Q.
√ √ √
iii. On a montré ci-dessus
√ que x + y 8 =√an + bn 8, donc x − an = (bn − yn ) 8. Supposons que y ̸= bn : alors
x−an
bn − yn ̸= 0 donc 8 = b −y , donc 8 ∈ Q, ce qui est en contradiction avec ce que l’on vient de démontrer.
n n
Donc y = bn .
Donc x − an = 0, autrement dit x = an .
√  √ n √  √ n
8. (a) Soit n ∈ N∗ . D’après la question 6, an + bn 8 = 3 + 8 et an − bn 8 = 3 − 8 . En soustrayant membre à
√ √ n √ n √
membre ces deux égalités, on obtient donc : 2 8bn = (3 + 8) − (3 − 8) , d’où le résultat en divisant par 2 8 ̸= 0.
(b) D’après la formule du binôme de Newton :
√ n √ n √ n √ n
(3 + 8) − (3 − 8) = ( 8 + 3) − (− 8 + 3)
n
X  n √ k n−k
 n n 
X √ k n−k
= ( 8) 3 − (− 8) 3
k=0 k k=0 k
n n √ n n 
X k n−k X k √ k n−k
= ( 8) 3 − (−1) ( 8) 3
k=0 k k=0 k
n √ k n−k n √ k n−k n n
k √ k n−k k √ k n−k
X n X n X n X n
= ( 8) 3 + ( 8) 3 − (−1) ( 8) 3 − (−1) ( 8) 3
k = 0 k k = 0 k k = 0 k k = 0 k
| {z } | {z } | {z } | {z }
k pair k impair k pair k impair

4
Année 2022-2023 – ECG1B & ECG1C – Lycée Janson de Sailly Corrigé du DS 1 –

Donc :
√ √ Xn n √ Xn n √ Xn n √ Xn n √
(3 + 8)n − (3 − 8)n = ( 8)k 3n−k + ( 8)k 3n−k − ( 8)k 3n−k + ( 8)k 3n−k
k k k k
k=0 k=0 k=0 k=0
| {z } | {z } | {z } | {z }
k pair k impair k pair k impair

n
X n √
= 2 ( 8)k 3n−k
k
k=0
| {z }
k impair
j k
n−1
2
X  n  √ 2j+1 n−2j−1
= 2 ( 8) 3
j=0
2j + 1
j k
n−1
2
√ X  n  √ 2j n−2j−1
= 2 8 ( 8) 3
j=0
2j + 1
j k
n−1
2
√ X  n  j n−2j−1
= 2 8 8 3
j=0
2j + 1
√
En divisant par 2 8 (qui est non nul) on obtient donc bien :
j k
n−1
2
X  n  j n−2j−1
Conclusion : ∀n ∈ N∗ , bn = 8 3 .
j=0
2j + 1