Exercices de khôlles

Romain Gout romain.gout@edhec.com

15 septembre 2023

1 Logique, symboles, raisonnement mathématique

1.1 Logiques et quantificateurs
1.1.1 Vrai/Faux
Dire si les assertions sont vraies ou fausses. Si elles sont vraies, les démontrer, si elles sont fausses,
en donner un contre-exemple.
1. Un produit de nombre pair est pair.
2. Un produit de nombre impair est impair.
3. Si n divise k 2 alors n divise k.
4. Toute fonction continue sur un intervalle I est dérivable sur I.
5. Pour tout y ∈ R, la fonction f : x 7→ x2 admet au moins un antécédant de y i.e.

∀y ∈ R, ∃x ∈ R | f (x) = y.

Solution 1. Vrai 2. Vrai 3. Faux (prendre n = 4 et k = 6) 4. Faux (f : x 7→ |x| est continue sur R
mais pas dérivable en 0) 5. Faux (-1 n’admet aucun antécédent par f dans R).

1.1.2 Négation
Après avoir expliciter ”en français” les assertions suivantes, les nier.
1. Soit (un )n∈N une suite réelle : ∀n ∈ N, un+1 < un .
2. Soit I un intervalle de R et f une fonction de R dans R : ∀x ∈ I, f ′′ (x) ≥ 0.
3. Soit f une fonction de I dans R : ∀(x, y) ∈ I, x < y : f (x) < f (y).
4. Soit P et Q deux propositions : (P ⇒ Q).
5. (⋆) Soit f une fonction de I dans R, soit a ∈ I et l ∈ R. On dit que f admet pour limite l en
a si :
∀ϵ > 0, ∃δ > 0, ∀x ∈ I, (|x − a|< δ ⇒ |f (x) − l|< ϵ)

1
 et on note lim f (x) = l.
x→a
Expliciter ”en français” l’assertion lim f (x) = f (a) (programme de terminale) puis la nier.
x→a

Solution 1. La suite (un ) est strictement croissante, ∃n ∈ N, un+1 ≥ un 2. f est convexe sur I,
∃x ∈ I, f ′′ (x) < 0 3. f est croissante sur I, ∃(x, y) ∈ I, x < y, f (x) ≥ f (y) 4. P implique Q,
(P et Q̄) 5. f est continue en a, ∃ϵ > 0, ∀δ > 0, ∃x ∈ I, (|x − a|< δ et |f (x) − f (a)|≥ ϵ).

1.1.3 Du français vers les quantificateurs

Soit f une fonction de R dans R. Exprimer à l’aide de quantificateurs les assertions suivantes :
1. f est majorée par un réel M donné.
2. f est majorée.
3. f n’est pas majorée.
4. f est croissante sur R.
Solution 1. ∀x ∈ R f (x) ≤ M . 2. ∃M ∈ R ∀x ∈ R f (x) ≤ M . 3. ∀M ∈ R ∃x ∈ R f (x) > M
(c’est la négation de la proposition précédente). 4. ∀x ∈ R, ∀y ∈ R, x < y, f (x) ≤ f (y).

1.2 Récurrence
1.2.1 Récurrence sur une fonction composée
x
Pour tout réel c, on considère la fonction f : x 7→ √
1 + cx2
1. Calculer f (2) (x) = f (f (x)) puis f (3) (x) = f (f (f (x))). Conjecturer f (n) (x).
2. Démontrer cette hypothèse par récurrence.
x
Solution f (n) (x) = √ .
1 + ncx2

1.2.2 Récurrence sur un produit (⋆)

Démontrer par récurrence la proposition suivante :
n
Y
∀n ∈ N, (2k)! ≥ ((n + 1)! )n .
k=1

Solution

1.2.3 Somme des cubes

n
X n2 (n + 1)2
Montrer par récurrence : ∀n ∈ N, k3 = .
4
k=1

Solution Dérouler la récurrence, penser à développer le numérateur à droite si on n’arrive pas à

voir où on veut aller.

2
1.2.4 Un classique
Montrer par récurrence que ∀n ≥ 5, 2n > n2 .
Solution

1.2.5 Récurrence double (⋆)

Soit (un )n∈N une suite définie par u0 = 1, u1 = 3 et un+2 = 4un+1 − 4un . Montrer par récurrence
que :
n
∀n ∈ N, un = 2n (1 + )
2
Solution

1.2.6 Exercice de terminale

On considère une suite (un )n∈N définie par un+1 = 0, 5un + 0, 5n − 1, 5 et de premier terme u0 = 5.
Montrer par récurrence que :
∀n ≥ 4, un+1 ≥ un
Solution

1.2.7 Récurrence forte (⋆)

n
X 1
Pour tout n ∈ N∗ , on pose Hn =
k
k=1

1. Calculer H2 , H3, H4 (on présentera le résultat sous forme d’un quotient d’un entier impair
par un entier pair.
2. Montrer que : ∀n ≥ 2, Hn n’est pas un entier (indice : on pourra effectuer un raisonnement
par réuccrence en distinguant les cas n pair et n impair )
Solution

1.3 Ensemble
1.3.1 Bus et métro
Sur 720 personnes interrogées, 220 prennent le métro, 50 prennent le métro et le bus, 90 ne prennent
ni l’un, ni l’autre. Combien de personnes prennent le bus ? Combien de personnes ne prennent que
le bus ?

1.3.2 Partition
Soit E = {1, 2, 3, 4}.
1. Déterminer P(E).
2. En remarquant le nombre d’élément de P(E), conjecturer Card(P(F )) quand Card(F ) = n.

3
Solution P(E) = {∅, {1}, {2}, {3}, {4}, {1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4}, {3, 4}, {1, 2, 3}, {1, 2, 4},
{1, 3, 4}, {2, 3, 4}, E} et Card(F ) =16.

1.3.3 Intersection et union d’ensemble

Calculer dans chacun des cas A ∩ B, A ∪ B, Ā ∩ B, A ∩ B̄ :
1. A = {1, 2}, B = {2, 4}
2. A =] − ∞, 1], B = [2, +∞[
3. A =] − ∞, 2], B = [1, +∞[
4. A = N, B =]0, +∞[.

1.3.4 Réunion et intersection égale (⋆⋆)

Soient A, B, C trois ensembles.
1. Montrer que si A ∩ B = A ∪ B alors A ⊂ B.
2. Montre que si A ∩ B = A ∩ C et A ∪ B = A ∪ C, alors B ⊂ C.
Solution 1. On suppose que x ∈ A et x ∈ / B. Donc x ∈ A ∪ B mais x ∈ / A ∩ B, donc les ensemble
A ∪ B et A ∩ B sont différents, ce qui est en contradiction avec l’hypothèse de l’énoncé, donc x ∈ B.
2. Soit x ∈ B, on distngue deux cas : 1) x ∈ A d’où x ∈ A ∩ B = A ∩ C donc x ∈ C 2) x ∈ / A d’où
x ∈ A ∪ B = A ∪ C donc x ∈ A ou x ∈ C et comme on a supposé que x ∈ / A alors x ∈ C.

1.3.5 Inéquation
√
Résoudre l’inéquation x + 1 ≤ 2(x − 2).
Solution S =]3, +∞[

1.3.6 Fonction indicatrice

Soit A une partie d’un ensemble E. On appelle ”fonction indicatrice de A” (ou plus ”simple
indicatrice de A”)