Subjects logique, algèbre

Negation Proposition

Step-by-step solutions with LaTeX - clean, fast, and student-friendly.

Search Solutions

Negation Proposition


### Exercice 1 1. **Problème : Trouver la négation des propositions suivantes :** - $P_1 : (\forall x \in \mathbb{R})(\exists y \in \mathbb{R}^+): y^2 \geq x$ - $P_2 : x^2 + y = y^2 + x \Rightarrow (x = y \text{ ou } x + y = 1)$ **Solution étape par étape :** 1. La négation de $P_1$ est la négation d'un quantificateur universel suivi d'un quantificateur existentiel: $$\neg (\forall x \in \mathbb{R})(\exists y \in \mathbb{R}^+) : y^2 \geq x$$ équivaut à $$(\exists x \in \mathbb{R})(\forall y \in \mathbb{R}^+) : y^2 < x$$ 2. Pour $P_2$, la négation de l'implication $A \Rightarrow B$ est $A \wedge \neg B$, donc: $$\neg [x^2 + y = y^2 + x \Rightarrow (x = y \text{ ou } x + y = 1)] = (x^2 + y = y^2 + x) \wedge \neg (x = y \text{ ou } x + y = 1)$$ qui se simplifie en: $$(x^2 + y = y^2 + x) \wedge (x \neq y) \wedge (x + y \neq 1)$$ 2. **Montrer que $P_2$ est vraie** 1. Supposons $x^2 + y = y^2 + x$. 2. On réarrange: $$x^2 - x = y^2 - y$$ soit $$(x^2 - x) - (y^2 - y) = 0$$ 3. Factorisons: $$(x - y)(x + y - 1) = 0$$ 4. Donc, on a soit $x = y$ soit $x + y = 1$. Ce qui prouve $P_2$. 3. **Montrer par récurrence que :** $$\forall n \in \mathbb{N}, 1 + 3 + 5 + \cdots + (2n + 1) = (n + 1)^2$$ 1. Initialisation ($n=0$): $$1 = (0 + 1)^2 = 1$$ Vrai. 2. Hypothèse : Supposons vrai pour $n=k$: $$1 + 3 + 5 + \cdots + (2k + 1) = (k + 1)^2$$ 3. Montrons pour $n = k+1$: $$1 + 3 + 5 + \cdots + (2k + 1) + [2(k+1) + 1] = (k+1)^2 + 2k + 3$$ $$= (k+1)^2 + 2k + 3 = (k+1)^2 + 2(k+1) + 1 = (k+2)^2$$ Donc, la propriété est vraie par récurrence. 4. **Contre-exemple de :** $$(\forall y \in \mathbb{R})(\forall x \in \mathbb{R}): 2x - 4y \neq 5$$ Prenons $x=5$, $y=1$: $$2 \times 5 - 4 \times 1 = 10 -4 =6 \neq 5$$ Non, ce n’est pas égal à 5, mais on veut $(2x - 4y) \neq 5$, donc testons $x=5$, $y=1.25$: $$2 \times 5 - 4 \times 1.25 = 10 -5 = 5$$ qui montre que la proposition est fausse par contrer-exemple. 5. **Compléter par la contraposée:** $$\forall (x,y) \in \mathbb{R}^2, [(xy -1)(x - y) \neq 0 \Rightarrow x(y^2 + y + 1) \neq y(x^2 + x +1)]$$ La contraposée est: $$\forall (x,y), [x(y^2 + y +1) = y(x^2 + x +1) \Rightarrow (xy -1)(x - y) = 0]$$ On part de $$x(y^2 + y +1) = y(x^2 + x +1)$$ et on montre que soit $xy=1$ soit $x=y$. 6. **Résolution par cas de :** $$|x -1| + |2x -3| = 6$$ Cas 1: $x -1 \geq 0$ et $2x -3 \geq 0$: $$x-1 + 2x -3 = 3x -4 =6 \Rightarrow x = \frac{10}{3}$$ Cas 2: $x -1 \geq 0$ et $2x -3 < 0$: $$x-1 - (2x -3) = -x + 2 =6 \Rightarrow x = -4$$ (non valide car $x \geq 1$) Cas 3: $x -1 < 0$ et $2x -3 \geq 0$: $$-(x-1) + 2x -3 = -x +1 + 2x -3 = x -2 =6 \Rightarrow x=8$$ (non valide car $2x-3 \geq 0 \Rightarrow x \geq 1.5$) Cas 4: $x-1 < 0$ et $2x-3 < 0$: $$-(x-1) - (2x-3) = -x+1 -2x +3= -3x +4 =6 \Rightarrow x = -\frac{2}{3}$$ Solutions valides: $x=\frac{10}{3}$ et $x = -\frac{2}{3}$. --- ### Exercice 2 1. **Déterminer le domaine de définition de** $$f(x) = \frac{x^2 + x + 1}{x^2 + 1}$$ Le dénominateur $x^2 +1$ est toujours strictement positif donc $$D_f = \mathbb{R}$$ 2. **Montrer que f admet une valeur maximale en 1** - Calculons la dérivée: $$f'(x) = \frac{(2x+1)(x^2+1) - (x^2 + x +1)(2x)}{(x^2 +1)^2}$$ - Simplifions le numérateur: $$(2x+1)(x^2+1) - 2x(x^2 + x +1) = 2x^3 + 2x + x^2 +1 - 2x^3 - 2x^2 - 2x = -x^2 +1$$ - Donc: $$f'(x) = \frac{1 - x^2}{(x^2+1)^2}$$ - $f'(x)=0$ pour $x=\pm 1$. - Étude du signe de $f'(x)$ : $f'$ est positif pour $x\in (-1,1)$, négatif en dehors. - Donc $f$ est croissante jusqu'à 1, décroissante après: maximum en $x=1$. 3. **Montrer que f est minorée par 1/2** On étudie: $$f(x) \geq \frac{1}{2} \iff 2(x^2 + x +1) \geq x^2 +1 $$ $$2x^2 + 2x + 2 \geq x^2 +1 \iff x^2 + 2x + 1 \geq 0$$ $$ (x + 1)^2 \geq 0$$ qui est toujours vraie. Donc $f(x) \geq \frac{1}{2}$ pour tout $x$. --- ### Exercice 3 1. **Domaines de définition :** - $f(x) = \frac{1}{4} x^3$ est défini sur $\mathbb{R}$. - $g(x) = \sqrt{x+2}$ défini pour $x+2 \geq 0 \Rightarrow x \geq -2$. Donc $$D_f = \mathbb{R}, \quad D_g = [-2, +\infty)$$ 2. **Parité de $f$:** $$f(-x) = \frac{1}{4}(-x)^3 = - \frac{1}{4} x^3 = -f(x)$$ Donc $f$ est une fonction impaire. 3. **Graphes** (non fournis ici, mais à tracer sur un même repère) 4. **Image de $[0,2]$ par $f$:** $$f(0) = 0, \quad f(2) = \frac{1}{4} \times 8 = 2$$ Comme $f$ est croissante sur $\mathbb{R}^+$: $$f([0,2]) = [0, 2]$$ 5. **Résolution graphique de $g(x) \leq f(x)$** On cherche $x$ tel que: $$\sqrt{x + 2} \leq \frac{1}{4} x^3$$ Sur $[ -2, +\infty )$, on compare les deux fonctions. --- ### Exercice 4 1. **Tableaux de variation :** - $g(x) = -x^2 + 2x + 2$ - $g'(x) = -2x + 2 = 0 \Rightarrow x=1$ - $g$ est croissante sur $(-\infty,1)$, décroissante sur $(1,+\infty)$. - Valeur maximale: $g(1) = -1 + 2 + 2 = 3$. - $f(x) = \sqrt{x+1}$ - Défini sur $[-1, +\infty)$ - Dérivée: $$f'(x) = \frac{1}{2\sqrt{x+1}} >0$$ - $f$ est strictement croissante sur $[-1, +\infty)$ 2. **Domaine de $g \circ f$: ** $$g \circ f (x) = g(f(x)) = g(\sqrt{x+1})$$ On impose $x+1 \geq 0\Rightarrow x \geq -1$ 3. **Calcul de $g \circ f(x)$:** $$g(\sqrt{x+1}) = - (\sqrt{x+1})^2 + 2 \sqrt{x+1} + 2 = - (x +1) + 2\sqrt{x+1} + 2 = 1 + 2\sqrt{x+1} - x$$ 4. **Étude des variations de $g \circ f$ sur $[-1;3]$:** Calcul de la dérivée: $$h(x) = g \circ f (x) = 1 + 2\sqrt{x+1} - x$$ $$h'(x) = \frac{2}{2\sqrt{x+1}} - 1 = \frac{1}{\sqrt{x+1}} -1$$ - Pour $x > -1$, on examine le signe de $h'(x)$ : - $h'(x) = 0$ pour $\sqrt{x+1} = 1 \Rightarrow x+1=1 \Rightarrow x=0$ - Pour $x < 0$, $\sqrt{x+1}<1$ donc $h'(x) >0$, et pour $x >0$, $h'(x) <0$. Donc $h$ est croissante sur $[-1,0]$ et décroissante sur $[0,3]$. Le maximum est en $x=0$. ---