Devoir Surveillé N°1 – Semestre 1
Logique & Ensembles – Filière Sciences Maths
Mathématiques
1ère Année Bac Sciences Mathématiques
Durée : 2 heures
Nom et Prénom : ……………………………………………………
Classe : …………
Note : …….. / 20
Exercice 1 : Raisonnement Logique (8 points)
Partie A : Démonstrations algébriques
- Montrer que : \( \forall (x,y) \in (\mathbb{R}^{+*})^2, \quad \frac{x}{y} + \frac{y}{x} \geq 2 \). (1 pt)
- Soient \(a, b, c\) des réels positifs. Montrer que si \(a \leq b \leq c\), alors : \[ a \leq \sqrt[3]{abc} \leq c \] (1.5 pts)
- Montrer par l’absurde que : \( \forall n \in \mathbb{N}, \quad \sqrt{4n+2} \notin \mathbb{N} \). (1.5 pts)
Partie B : Récurrence
On considère la somme \(S_n = \sum_{k=1}^{n} k^3 = 1^3 + 2^3 + \dots + n^3\).
- Calculer \(S_1, S_2, S_3\). (0.5 pt)
- Montrer par récurrence que pour tout \(n \in \mathbb{N}^*\) : \[ S_n = \frac{n^2(n+1)^2}{4} = \left(\frac{n(n+1)}{2}\right)^2 \] (2 pts)
- En déduire que la somme des cubes des \(n\) premiers entiers est égale au carré de la somme des \(n\) premiers entiers. (0.5 pt)
Partie C : Logique formelle
Déterminer la valeur de vérité de la proposition suivante, puis donner sa négation : \[ P : \exists x \in \mathbb{R}, \forall y \in \mathbb{R}, \quad y^2 > x \] (1 pt)
Exercice 2 : Théorie des Ensembles (5 points)
Soient \(E\) un ensemble et \(A, B, C\) trois parties de \(E\).
- Montrer que : \( (A \cup B) \setminus (A \cap B) = (A \setminus B) \cup (B \setminus A) \). (C’est la différence symétrique \(A \Delta B\)). (1.5 pts)
- Montrer l’implication suivante : \[ (A \cup B = A \cap C) \Rightarrow (B \subset A \subset C) \] (1.5 pts)
- Simplifier l’ensemble \(X\) défini par : \(X = \overline{(A \cap \bar{B})} \cup (A \cap B)\). (1 pt)
- Soient \(A\) et \(B\) deux parties non vides de \(E\). On considère l’application : \[ f : \mathcal{P}(E) \to \mathcal{P}(A) \times \mathcal{P}(B) \] \[ X \mapsto (X \cap A, X \cap B) \] Montrer que \(f\) est injective si et seulement si \(A \cup B = E\). (1 pt)
Exercice 3 : Applications (7 points)
Soit \(f\) l’application définie de \(\mathbb{R}\) dans \(\mathbb{R}\) par : \(f(x) = \frac{x}{1+|x|}\).
- Montrer que \(f\) est impaire. (0.5 pt)
- Montrer que \(f\) est injective. (1.5 pts)
- Montrer que pour tout \(x \in \mathbb{R}\), \(|f(x)| < 1\). \(f\) est-elle surjective de \(\mathbb{R}\) vers \(\mathbb{R}\) ? (1 pt)
- Soit \(g\) la restriction de \(f\) à l’ensemble d’arrivée \(J = ]-1, 1[\). C’est-à-dire \(g : \mathbb{R} \to ]-1, 1[\), \(x \mapsto f(x)\).
Montrer que \(g\) est bijective. (1 pt) - Déterminer l’expression de la bijection réciproque \(g^{-1}(y)\) pour tout \(y \in ]-1, 1[\). (2 pts)
- Calculer l’image directe \(f([-2, 2])\). (1 pt)
