ENSAM - RABAT 23-24.

✍
Dep. Math. Info.✍ TD 1 :Notions de logique et ensembles Algèbre 1
1 API

1 Exercice 1
① (Raisonnement par contraposée)
Soit a, b ∈ R et n ∈ N∗ . Montrer que :
(1) : (∀ε > 0, | a| ≤ ε) ⇒ a = 0 (2) : (∀ε > 0, a < b + ε ) ⇒ ( a ≤ b ).
(3) : n2 − 1 n’est pas divisible par 8) ⇒ (n est pair )
② (Raisonnement par l’absurde)
(a) Soit n ∈ N∗ . On se donne n + 1 réels x0 , x1 , · · · , xn de [0, 1] vérifiant :
0 ≤ x0 ≤ x1 ≤ · · · ≤ xn ≤ 1.
Montrer que :
1
∃k ∈ [|1, n|], xk − xk−1 ≤ .
n
√
(b) Soit n ∈ N. Montrer que le réel n2 + 2 n’est pas un entier
③ (Raisonnement par analyse-synthèse)
Déterminer toutes les fonctions f : R → R dérivables et telles que, pour tout ( x, y) ∈ R2 ,
( a ) : f ( x + y ) = f ( x ) + f ( y ), (b) : f (y − f ( x )) = 2 − x − y, | f ( x ) − f (y)| = | x − y|.
④ (Raisonnement par récurrence)
(a) Soit θ ∈ R. Établir que :
∀n ∈ N, | sin(nθ )| ≤ n| sin(θ )|.
(b) Montrer que, pour tout entier n ≥ 2 est divisible par au moins un nombre premier.
(c) Montrer que pour tout n ≥ 3, il existe des entiers a1 , · · · , an ∈ N∗ pour lesquels :
n
1
a1 < · · · < a n et ∑ a
=1
k =1 k

2 Exercice 2
Soit E un ensemble. Montrer que pour toutes parties A, B et C de E :
① A∆B = A ∩ B =⇒ A = B = ∅.
② ( A ∪ B = A ∪ C ) et ( A ∩ B = A ∩ C ) =⇒ B = C
③ ( A∆B) ∩ C = ( A ∩ C )∆( B ∩ C ).

3 Exercice 3
Montrer que l’application
f : N2 → N∗
(n, p) → 2n (2p + 1)
est bijective.
En déduire une bijection de N2 sur N.
(Suite)
Page 1