Exercice 1

Soient les assertions suivantes :

• (a) \( \forall x \in \mathbb{R}, \exists y \in \mathbb{R}, x + y > 0 \)
• (b) \( \forall x \in \mathbb{R}, \forall y \in \mathbb{R}, x + y > 0 \)
• (c) \( \exists x \in \mathbb{R}, \forall y^2 > x \)
• (d) \( \forall x \in \mathbb{R}, x^2 + x + 2 > 0 \)
• (e) \( \forall x \in \mathbb{R}^+, \forall y \in \mathbb{R}^+, \quad \frac{x}{x + 3} = \frac{y}{y + 3} \Rightarrow x = y \)
• (f) \( \forall x > 0, \quad x + \frac{1}{x} > 2 \)

1. Les assertions (a), (b), (c), (d), (e), (f) sont-elles vraies ou fausses ?

2. Donner leur négation.

Exercice 2

Soient \( a, b \in \mathbb{R}^+ \). Montrer que si \( a \leq b \) alors \( a \leq \frac{a + b}{2} \leq b \) et \( a \leq \sqrt{ab} \leq b \).

Exercice 3

Montrer que si \( n \) est un entier strictement positif, alors \( n^2 + 1 \) n’est pas le carré d’un entier naturel.