FEUILLE D’EXERCICES 1

 
FEUILLE D’EXERCICES 1 : LOGIQUE,
RAISONNEMENTS

CORRIGÉ DE CERTAINS EXERCICES 

Exercice 23 :
 3
Soit (x; y; z) ∈ R∗+ .
Raisonnons par équivalence pour démontrer les trois inégalités.

1. On a :

y √ y y 2
 
2
x+ ≥2 y ⇔ x +2×x× + ≥ 4y
x tout est positif x x
y2
⇔ x2 + 2y + 2 ≥ 4y
x
y2
⇔ x2 + 2y + 2 − 4y ≥ 0
x
y2
⇔ x2 − 2y + 2 ≥ 0
x
 2
2 y y
⇔x −2×x× + ≥0
x x
y 2
 
⇔ x− ≥ 0, vrai, car le carré d’un nombre réel est toujours positif.
x

2. On a :
!
1 1 x y
(x + y) + ≥4⇔1+ + +1≥4
x y y x
x y
⇔ + ≥2
y x
x2 y2
⇔ + ≥2
xy xy
x2 + y 2
⇔ ≥2
xy
⇔ x2 + y 2 ≥ 2xy car xy > 0
⇔ x2 − 2xy + y 2 ≥ 0
⇔ (x − y)2 ≥ 0, vrai, car le carré d’un nombre réel est toujours positif.

Remarque
x y
Plutôt que de mettre les fractions et au même dénominateur, on pouvait aussi multiplier
y x
chaque membre de l’inégalité par xy > 0.

TERMINALE GÉNÉRALE 1 Lycée Anguier-2022/2023

FEUILLE D’EXERCICES 1

3. On a :
 
(x + y) (y + z) (z + x) ≥ 8xyz ⇔ xy + xz + y 2 + yz (z + x) ≥ 8xyz
⇔ xyz + xz 2 + zy 2 + yz 2 + yx2 + zx2 + xy 2 + xyz ≥ 8xyz
⇔ xz 2 + zy 2 + yz 2 + yx2 + zx2 + xy 2 − 6xyz ≥ 0
⇔ xy 2 − 2xyz + xz 2 + yx2 − 2xyz + yz 2 + zx2 − 2xyz + zy 2 ≥ 0
     
⇔ x y 2 − 2yz + z 2 + y x2 − 2xz + z 2 + z x2 − 2xy + y 2 ≥ 0
x (y − z)2 + y (x − z)2 + |{z}
⇔ |{z} z (x − y)2 ≥ 0, vrai.
| {z } |{z} | {z } | {z }
>0 ≥0 >0 ≥0 >0 ≥0

Exercice 24 :

3. Pour tout (x; y) ∈ R2 , on a :

1 + |xy − 1| ≤ (1 + |x − 1|) (1 + |y − 1|) ⇔ 1 + |xy − 1| ≤ 1 + |x − 1| |y − 1| + |x − 1| + |y − 1|

⇔ |xy − 1| ≤ |(x − 1) (y − 1)| + |x − 1| + |y − 1| .

Or, on a :

xy − 1 = (x − 1) (y − 1) + (x − 1) + (y − 1) .

Donc d’après l’inégalité triangulaire :

|xy − 1| ≤ |(x − 1) (y − 1)| + |x − 1| + |y − 1| est vrai.

Exercice 25 :
1. Raisonnons par récurrence.
n
X 1 3n
Pour tout entier n ≥ 2, on note Pn : 2
> .
k=1 k 2n + 1
∗ Initialisation :
Pour n = 2, on a :
2
X 1 1 1 1 5
2
= + = 1 + = = 1, 25.
k=1 k 12 22 4 4
3×2 6
= = 1, 2.
2×2+1 5
2
X 1 3×2
On a bien > donc P2 est vraie.
k=1 k
2 2×2+1
∗ Hérédité :
Soit n ≥ 2 entier.
Supposons que Pn soit vraie.

TERMINALE GÉNÉRALE 2 Lycée Anguier-2022/2023

FEUILLE D’EXERCICES 1

On a alors : n
X 1 3n
2
> ,
k=1 k 2n + 1

D’où :
n+1
X 1 3n 1
> + .
k=1 k
2 2n + 1 (n + 1)2

Raisonnons par équivalence :

3n 1 3 (n + 1) 3n (n + 1)2 2n + 1 3n + 3
+ 2 > ⇔ 2 + 2 >
2n + 1 (n + 1) 2 (n + 1) + 1 (2n + 1) (n + 1) (2n + 1) (n + 1) 2n + 3
3n (n2 + 2n + 1) + 2n + 1 3n + 3
⇔ 2 >
(2n + 1) (n + 1) 2n + 3
3 2
3n + 6n + 5n + 1 3n + 3
⇔ >
(2n + 1) (n2 + 2n + 1) 2n + 3
3 2
3n + 6n + 5n + 1 3n + 3
⇔ 3 2
>
2n + 5n + 4n + 1 2n + 3

Soit, en multipliant chaque membre de l’inégalité par 2n3 + 5n2 + 4n + 1 > 0 puis par
2n + 3 > 0 :
   
(2n + 3) 3n3 + 6n2 + 5n + 1 > (3n + 3) 2n3 + 5n2 + 4n + 1 ,

Soit :

6n4 + 21n3 + 28n2 + 17n + 3 > 6n4 + 21n3 + 27n2 + 15n + 3 ⇔ n2 + 2n > 0, vrai car n ≥ 2.

3n 1 3 (n + 1)
Ainsi, on a + 2 > , d’où :
2n + 1 (n + 1) 2 (n + 1) + 1

n+1
X 1 3 (n + 1)
2
> .
k=1 k 2 (n + 1) + 1

Donc Pn+1 est vraie, d’où l’hérédité.

∗ Conclusion :
On a bien montré que Pn est vraie pour tout entier n ≥ 2.

2. Raisonnons par récurrence.

n √
X 1
Pour tout entier n ≥ 1, on note Pn : √ < 2 n.
k=1 k
∗ Initialisation :
Pour n = 1, on a :
1
X 1 1
√ = √ = 1.
k=1 k 1
√
2 1 = 2.

TERMINALE GÉNÉRALE 3 Lycée Anguier-2022/2023

FEUILLE D’EXERCICES 1

1
X 1 √
On a bien √ < 2 1 donc P1 est vraie.
k=1 k
∗ Hérédité :
Soit n ≥ 1 entier.
Supposons que Pn soit vraie.
On a alors : n
X 1 √
√ < 2 n,
k=1 k
D’où :
n+1 √
X 1 1
√ <2 n+ √ .
k=1 k n+1
Raisonnons par équivalence :

√ √ √ √ √
!
1 1 2
2 n+ √ <2 n+1√ ⇔ n+1 2 n+ √ <2 n+1
n+1 n+1>0 n+1
q
⇔ 2 n (n + 1) + 1 < 2n + 2
q
⇔ 2 n (n + 1) < 2n + 1
 q 2
⇔ 2 n (n + 1) < (2n + 1)2
tout est positif

⇔ 4n (n + 1) < 4n2 + 4n + 1
⇔ 4n2 + 4n < 4n2 + 4n + 1
⇔ 0 < 1, vrai.

√ 1 √
Ainsi, on a 2 n + √ < 2 n + 1, d’où :
n+1

n+1
X 1 √
√ < 2 n + 1.
k=1 k

Donc Pn+1 est vraie, d’où l’hérédité.

∗ Conclusion :
On a bien montré que Pn est vraie pour tout entier n ≥ 1.

3. Raisonnons par récurrence.

n
(2k + 1)! ≥ ((n + 1)!)n+1 .
Y
Pour tout entier naturel n, on note Pn :
k=0

∗ Initialisation :
Pour n = 0, on a :
0
Y
(2k + 1)! = 1! = 1.
k=0
((0 + 1)!)0+1 = 1.
0
(2k + 1)! ≥ ((0 + 1)!)0+1 donc P0 est vraie.
Y
On a bien
k=0

TERMINALE GÉNÉRALE 4 Lycée Anguier-2022/2023

FEUILLE D’EXERCICES 1

∗ Hérédité :
Soit n un entier naturel.
Supposons que Pn soit vraie.
On a alors : n
(2k + 1)! ≥ ((n + 1)!)n+1 ,
Y

k=0

D’où en multipliant chaque membre par (2n + 3)! > 0 :

n+1
(2k + 1)! ≥ ((n + 1)!)n+1 × (2n + 3)!.
Y

k=0

Raisonnons par équivalence :

((n + 2)!)n+1
((n + 1)!)n+1 × (2n + 3)! ≥ ((n + 2)!)n+2 ⇔n+1 (2n + 3)! ≥ × (n + 2)!
((n+1)!) >0 ((n + 1)!)n+1
!n+1
(n + 2)!
⇔ (2n + 3)! ≥ × (n + 2)!
(n + 1)!
⇔ (2n + 3)! ≥ (n + 2)n+1 × (n + 2)!
(2n + 3)!
⇔ ≥ (n + 2)n+1
(n+2)!>0 (n + 2)!
2n+3
k ≥ (n + 2)n+1
Y
⇔
k=n+3

2n+3
Y
Le produit k est composé de 2n + 3 − (n + 3) + 1 = n + 1 termes positifs, qui sont tous
k=n+3
strictement supérieurs à n + 2, donc la dernière inégalité est vraie.
Ainsi, on a ((n + 1)!)n+1 × (2n + 3)! ≥ ((n + 2)!)n+2 , d’où :

n+1
(2k + 1)! ≥ ((n + 2)!)n+2 .
Y

k=0

Donc Pn+1 est vraie, d’où l’hérédité.

∗ Conclusion :
On a bien montré que Pn est vraie pour tout entier naturel n.

Exercice 27 :
1. Soit x ∈ R.
Raisonnons par récurrence double.
Pour tout entier naturel n, on note Pn : un = 2 cos (nx).

∗ Initialisation :
On a u0 = 2 = 2 cos(0), donc P0 est vraie.

TERMINALE GÉNÉRALE 5 Lycée Anguier-2022/2023

FEUILLE D’EXERCICES 1

On a u1 = 2 cos(x), donc P1 est vraie.

∗ Hérédité :
Soit n un entier naturel.
Supposons que Pn et Pn+1 sont vraies.
On a alors :

un+2 = 2 cos (x) un+1 − un

= 2 cos (x) × 2 cos ((n + 1) x) − 2 cos (nx)
= 2 (2 cos (x) cos ((n + 1) x) − cos (nx))

Or, cos (nx) = cos ((n + 1) x − x) = cos (x) cos ((n + 1) x) + sin (x) sin ((n + 1) x).
D’où :

un+2 = 2 (2 cos (x) cos ((n + 1) x) − (cos (x) cos ((n + 1) x) + sin (x) sin ((n + 1) x)))
= 2 (2 cos (x) cos ((n + 1) x) − cos (x) cos ((n + 1) x) − sin (x) sin ((n + 1) x))
= 2 (cos (x) cos ((n + 1) x) − sin (x) sin ((n + 1) x))
= 2 cos ((n + 2) x) .

Donc Pn+2 est vraie.

∗ Conclusion :
On a bien démontré que pour tout entier naturel n, un = 2 cos (nx).

TERMINALE GÉNÉRALE 6 Lycée Anguier-2022/2023