Académique Documents
Professionnel Documents
Culture Documents
Exercice 5 Exercice 10
Soient n, p N . Combien existe-t-il dapplications strictement croissantes de J1, nK dans
Soit E un ensemble. On associe, toute partie A de E, lapplication lindicatrice de A
J1, pK ?
n o 1 si x A
A : E 0, 1 dfinie par : x E, A (x) = .
0 si x /A
Exercice 6 ( n oE
1) Soient E un ensemble fini de cardinal n et p, k N tels que 0 6 k 6 p 6 n. P(E) 0, 1
Montrer que lapplication est une bijection. Retrouver ainsi,
Calculer de deux faons le nombre de couples (A, B) P(E)2 tels que A B, A 7 A
card A = k et card B = p. dans le cas o E est fini, un rsultat du cours.
1
c Christophe Bertault - MPSI
TD - Ensembles finis et dnombrement
Exercice 11
1) Soit n N . On range (n + 1) chaussettes dans n tiroirs. Montrer quau moins
un tiroir contient deux chaussettes. Ce rsultat simple et essentiel est connu sous
le nom de principe des tiroirs.
2) a) Soient x R et n N . Pour tout k J0, nK, on pose k = kx kx, lment
de [0, 1[. Appliquer le principe des tiroirs aux rels k , k dcrivant J0, nK, pour
montrer le thorme dapproximation de Dirichlet suivant :
p 1
(p, q) Z N / q 6 n et x < .
q nq
b) En dduire
que pour tout x R, lensemble des couples (p, q) Z N pour
p 1
lesquels x < 2 est infini.
q q
c) Dmontrer le thorme de Bzout partir de la question a) : pour tous a, b Z
premiers entre eux, il existe u, v Z tels que au + bv = 1.
d) On admet
lirrationnalit
de , de sorte que sin n 6= 0 pour tout n N . La
1
suite possde-t-elle une limite, et si oui laquelle ?
n sin n nN
Exercice 12 1 1
Soient p et q deux irrationnels strictement positifs tels que + = 1. On souhaite
n p oq n o
prouver le thorme de Beatty selon lequel les ensembles np et nq
nN nN
forment une partition
n o de N , i.e.nsonto disjoints de runion N tout entier.
On pose P = np et Q = nq .
nN nN
1) Montrer que les ensembles
P et Q sontdisjoints.
2) En dduire que card (P Q) [1, N ] = N 1 pour tout N N .
3) Conclure.
Exercice 13 n o
Soit n N . On pose G = Sn / k J1, n + 1K, (n k + 1) = n (k) + 1 .
1) Montrer que G est un sous-groupe de Sn .
2) Calculer le cardinal de G.
Exercice 14
On se donne n entiers relatifs quelconques. Montrer que lon peut toujours former par
somme, en choisissant certains dentre eux, un multiple de n.