[http://mp.cpgedupuydelome.

fr] édité le 3 novembre 2017 Enoncés 1

Relations binaires Exercice 5 [ 02985 ] [Correction]

Soit (G, ×) un groupe et H un sous groupe de (G, ×).
On dénit une relation binaire R sur G par :
Relations d'équivalence
xRy ⇐⇒ xy −1 ∈ H .
Exercice 1 [ 02643 ] [Correction] Montrer que R est une relation d'équivalence et en décrire les classes
Soit R une relation binaire sur un ensemble E à la fois réexive et transitive. d'équivalence.
On dénit les nouvelles relations S et T par :
xSy ⇐⇒ (xRy et yRx) et xT y ⇐⇒ (xRy ou yRx).
Exercice 6 [ 03243 ] [Correction]
Les relations S et T sont-elles des relations d'équivalences ? Soit G un groupe multiplicatif de cardinal pα avec p premier et α ∈ N∗ .
Montrer que
Z(G) 6= {1}.
Exercice 2 [ 02644 ] [Correction]
Soit E un ensemble et A une partie de E .
On dénit une relation R sur ℘(E) par : Exercice 7 [ 02357 ] [Correction]
Soit E un ensemble de cardinal
 n, R une relation
d'équivalence sur E ayant k
XRY ⇐⇒ X ∪ A = Y ∪ A. classes d'équivalence et G = (x, y) ∈ E 2  xRy le graphe de R supposé de
cardinal p. Prouver qu'on a n2 ≤ kp.
(a) Montrer que R est une relation d'équivalence
(b) Décrire la classe d'équivalence de X ∈ ℘(E) Calculs en congruence
Exercice 3 [ 02983 ] [Correction] Exercice 8 [ 01190 ] [Correction]
On considère sur F(E, E) la relation binaire R dénie par : Montrer que 11 | 2123 + 3121 .

f Rg ⇐⇒ ∃ϕ ∈ S(E) telle que f ◦ ϕ = ϕ ◦ g .

Exercice 9 [ 01191 ] [Correction]
(a) Montrer que R est une relation d'équivalence. Quel est le reste de la division euclidienne de 12344321 + 43211234 par 7 ?
(b) Décrire la classe d'équivalence d'une fonction donnée f ∈ F(E, E).
Exercice 10 [ 01192 ] [Correction]
Exercice 4 [ 02984 ] [Correction] Montrer que pour tout n ∈ N :
Soit R une relation binaire réexive et transitive.
On dénit une relation S par : (a) 6 | 5n3 + n (c) 5 | 22n+1 + 32n+1 (e) 9 | 4n − 1 − 3n
(d) 11 |
xSy ⇐⇒ xRy et yRx. (b) 7 | 32n+1 + 2n+2 38n × 54 + 56n × 73 (f) 152 | 16n − 1 − 15n
Montrer que S est une relation d'équivalence et que R permet de dénir une
relation d'ordre sur les classes d'équivalences de S . Exercice 11 [ 01193 ] [Correction]
Trouver les entiers n ∈ Z tel que 10 | n2 + (n + 1)2 + (n + 3)2 .

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 3 novembre 2017 Enoncés 2

Exercice 12 [ 03679 ] [Correction] Exercice 18 [ 01521 ] [Correction]

Montrer que si n est entier impair alors Soit E l'ensemble des couples (I, f ) formé d'un intervalle I et d'une fonction réelle
dénie sur I .
n2 ≡ 1 [8] . On dénit une relation 4 sur E par : (I, f ) 4 (J, g) ⇐⇒ I ⊂ J et g|I = f .
Montrer que 4 est une relation d'ordre sur E .
Exercice 13 [ 03680 ] [Correction]
Soient λ, a, b ∈ Z et m ∈ N∗ . On suppose λ et m premiers entre eux. Montrer
Exercice 19 [ 01523 ] [Correction]
a ≡ b [m] ⇐⇒ λa ≡ λb [m] . Soient A, B deux parties d'un ensemble E ordonné par 4.
On suppose que A et B ont chacun un plus grand élément.
Qu'en est-il de A ∪ B lorsque l'ordre est total ? lorsqu'il ne l'est pas ?
Exercice 14 [ 02359 ] [Correction] Que dire de A ∩ B ?
Soit A la somme des chires de 44444444 , B celle de A et enn C celle de B . Que
vaut C ?
Exercice 20 [ 01524 ] [Correction]
Relations d'ordre Soit (E, 4) un ensemble ordonné tel que toute partie non vide admet un plus
petit élément et un plus grand élément.
Montrer que E est ni.
Exercice 15 [ 01518 ] [Correction]
On dénit une relation binaire 4 sur R∗+ par :
x 4 y ⇐⇒ ∃n ∈ N, y = xn . Exercice 21 [ 01525 ] [Correction]
Soit E un ensemble ordonné par une relation ≤.
Montrer que 4 est une relation d'ordre. Cet ordre est-il total ? Un tableau à n lignes et p colonnes est formé d'éléments ai,j ∈ E avec i indice de
ligne(1 ≤ i ≤ n) et j indice de colonne(1 ≤ j ≤ p).
On note le plus petit élément de chaque colonne et l'on prend le plus grand de ces
Exercice 16 [ 01519 ] [Correction] plus petits :
Soit 4 la relation dénie sur E = (x, y) ∈ R2  x ≤ y par

max ( min ai,j ).
1≤j≤p 1≤i≤n
(x, y) 4 (x0 , y 0 ) ⇐⇒ (x, y) = (x0 , y 0 ) ou y ≤ x0 .
On note aussi le plus grand élément de chaque ligne et l'on prend le plus petit de
Montrer que 4 est une relation d'ordre sur E . ces plus grands :
min ( max ai,j ).
1≤i≤n 1≤j≤p

Exercice 17 [ 01520 ] [Correction]  (a) Comparer ces deux nombres.

On dénit une relation binaire 4 sur z ∈ C  Im(z) ≥ 0 par :

(b) Donner un exemple de non égalité.
z 4 z 0 ⇐⇒ |z| < |z 0 | ou |z| = |z 0 | et Re(z) ≤ Re(z 0 ) .

Montrer qu'il s'agit d'une relation d'ordre total. Exercice 22 [ 02055 ] [Correction]
Montrer qu'il n'existe pas de suite strictement décroissante d'entiers naturels.

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 3 novembre 2017 Enoncés 3

Supremum et inmum
Exercice 23 [ 02107 ] [Correction]
Soit  
1 
A= (−1)n + n∈N .
n+1
Montrer que A est bornée, déterminer inf A et sup A.

Exercice 24 [ 02108 ] [Correction]

Soient A et B deux parties non vides et bornées de R telles que A ⊂ B .
Comparer inf A, sup A, inf B et sup B .

Exercice 25 [ 02110 ] [Correction]

Soient A et B deux parties de R non vides et majorées.
Montrer que sup A, sup B et sup(A ∪ B) existent et
sup(A ∪ B) = max(sup A, sup B).

Exercice 26 [ 02113 ] [Correction]

Pour n ∈ N, on pose fn (x) = xn (1 − x). Déterminer
lim sup fn (x).
n→+∞ x∈[0;1]

Exercice 27 [ 00225 ] [Correction]

Soit A une partie non vide et minorée de R. On pose
m = inf A et B = A ∩ ]−∞ ; m + 1].

Déterminer la borne inférieure de B .

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 3 novembre 2017 Corrections 4

Corrections Exercice 4 : [énoncé]

S est réexive, symétrique et transitive sans dicultés.
Exercice 1 : [énoncé] On dénit Cl(x) 4 Cl(y) ⇐⇒ xRy . La relation 4 est bien dénie, réexive
Les relations S et T sont clairement réexives et symétriques. transitive.
Soient x, y, z ∈ E . Si Cl(x) 4 Cl(y) et Cl(y) 4 Cl(x) alors xSy donc Cl(x) = Cl(y).
Supposons xSy et ySz .
On a alors xRy et yRz donc xRz et aussi yRx et zRy donc zRx puis xSz .
Le raisonnement n'est plus valable avec T et on peut présumer que T ne sera pas Exercice 5 : [énoncé]
une relation d'équivalence. Soit x ∈ G. On a xRx car xx−1 = 1 ∈ H .
Prenons pour R la relation divise dénie sur N∗ . On a 2 | 6 et 3 | 6 donc 2T 6 et Soient x, y ∈ G. Si xRy alors xy −1 ∈ H et donc yx−1 ∈ H d'où yRx.
6T 3 or 2 6 T 3. Soient x, y, z ∈ G. Si xRy et yRz alors xy −1 ∈ H et yz −1 ∈ H donc xz −1 ∈ H
Ici la relation T n'est pas transitive. d'où xRz .
Finalement R est une relation d'équivalence.
Soit a ∈ G.
x ∈ Cl(a) ⇐⇒ xRa ⇐⇒ xa−1 ∈ H
Exercice 2 : [énoncé]
donc
(a) La relation étudiée est évidemment réexive, symétrique et transitive. Cl(a) = Ha = {ha | h ∈ H}.
(b) Y ∈ Cl(X) ⇐⇒ Y ∪ A = X ∪ A.
Soit Y ∈ Cl(X). On a Y ∪ A = X ∪ A
∀x ∈ Y \ A on a x ∈ Y ∪ A = X ∪ A et x ∈ / A donc x ∈ X \ A. Ainsi Exercice 6 : [énoncé]
Y \ A ⊂ X \ A et inversement X \ A ⊂ Y \ A donc X \ A = Y \ A. Considérons la relation binaire R sur G dénie par
Puisque Y = (Y \ A) ∪ (Y ∩ A) on a Y = (X \ A) ∪ B avec B ∈ ℘(A).
Inversement soit Y = (X \ A) ∪ B avec B ∈ ℘(A). y1 Ry2 ⇐⇒ ∃x ∈ G, xy1 = y2 x.
On a Y ∪ A = (X \ A) ∪ (B ∪ A) =(X ∩ A) ∪ A = X ∪ A. Il est immédiat de vérier que R est une relation d'équivalence sur G. Les classes
Finalement Cl(X) = (X \ A) ∪ B  B ∈ ℘(A) . d'équivalence de R forment donc une partition de G ce qui permet d'armer que
le cardinal de G est la somme des cardinaux des classes d'équivalence de R.
Une classe d'équivalence d'un élément y est réduite à un singleton si, et seulement
Exercice 3 : [énoncé] si,
∀x ∈ G, xy = yx.
(a) f ◦ IdE = IdE ◦ f donc f Rf .
Si f Rg alors il existe ϕ ∈ S(E) telle que f ◦ ϕ = ϕ ◦ g mais alors i.e.

g ◦ ϕ−1 = ϕ−1 ◦ f donc gRf . y ∈ Z(G).

Si f Rg et gRh alors il existe ϕ, ψ ∈ S(E) telles que f ◦ ϕ = ϕ ◦ g et En dénombrant G en fonction des classes d'équivalence de R et en isolant parmi
g ◦ ψ = ψ ◦ h donc f ◦ θ = θ ◦ h avec θ = ϕ ◦ ψ ∈ S(E). Ainsi f Rh. celles-ci celles qui sont réduites à un singleton on a
(b)
g ∈ Cl(f ) ⇐⇒ ∃ϕ ∈ S(E), g = ϕ−1 ◦ f ◦ ϕ. Card G = Card Z(G) + N

Finalement avec N la somme des cardinaux des classes d'équivalence de R qui ne sont pas

Cl(f ) = ϕ −1
◦ f ◦ ϕ  ϕ ∈ S(E) .
 réduites à un singleton.
Pour poursuivre, montrons maintenant que le cardinal d'une classe d'équivalence
de la relation R divise le cardinal de G.

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 3 novembre 2017 Corrections 5

Considérons une classe d'équivalence {y1 , . . . , yn } pour la relation R et notons Exercice 9 : [énoncé]
1234 = 2 [7] et 23 = 1 [7] donc 12344321 = 24321 = 24320 × 2 = 1 × 2 = 2 [7].
Hi = {x ∈ G | xy1 = yi x}. 4321 = 2 [7] donc 43211234 = 21234 = 21233 × 2 = 1 × 2 = 2 [7].
Par suite 12344321 + 43211234 = 2 + 2 = 4 [7]. Le reste cherché est 4.
Pour i ∈ {1, . . . , n}, puisque y1 Ryi , il existe xi ∈ G tel que
xi y1 = yi xi .
Exercice 10 : [énoncé]
Considérons alors l'application ϕ : H1 → Hi dénie par (a) Pour n = 0, 1, 2, 3, 4, 5 on a n3 = n [6] donc 5n3 + n = 6n = 0 [6].
(b) 32n+1 + 2n+2 = 3.(32 )n + 4.2n = 3.2n + 4.2n = 7.2n = 0 [7].
ϕ(x) = xi x.
(c) 22n+1 + 32n+1 = 2.(22 )n + 3.(32 )n = 2.4n + 3.4n = 5.4n = 0 [5].
On vérie que cette application est bien dénie et qu'elle est bijective. (d) 38n × 54 + 56n × 73 = 5n × 9 + 5n × 2 = 11 × 5n = 0 [11].
On en déduit (e) 4n − 1 − 3n = (4 − 1)(1 + 4 + · · · + 4n−1 ) − 3n = 3(1 + 4 + · · · + 4n−1 − n)
Card H1 = . . . = Card Hn = m or 1 + 4 + · · · + 4n−1 − n = 1 + · · · + 1 − n = n − n = 0 [3] donc 9 | 4n − 1 − 3n.
et puisque G est la réunion disjointes des H1 , . . . , Hn (f) 16n −1−15n = (16−1)(1+16+· · ·+16n−1 )−15n = 15(1+16+· · ·+16n−1 −n)
or 1 + 16 + · · · + 16n−1 − n = 1 + · · · + 1 − n = n − n = 0 [15] donc
Card G = mn = pα . 152 | 16n − 1 − 15n.

Ainsi toutes les classes d'équivalences qui ne sont pas réduites à 1 élément ont un
cardinal multiple de p et donc p | N .
Exercice 11 : [énoncé]
Puisque p divise Card G = Card Z(G) + N , on a
On a
n 0 1 2 3 4 5 6 7 8 9
p | Card Z(G).
n + (n + 1)2 + (n + 3)2
2
0 1 8 1 0 5 6 3 6 5
Sachant Z(G) 6= ∅ (car 1 ∈ Z(G)) on peut armer donc 10 | n2 + (n + 1)2 + (n + 3)2 ⇐⇒ n = 0 ou 4 [10].
Card Z(G) ≥ p.
Exercice 12 : [énoncé]
On peut écrire n = 2p + 1 et alors
Exercice 7 : [énoncé]
Notons n1 , . . . , nk les cardinaux respectifs des k classes d'équivalence de R. D'une n2 = (2p + 1)2 = 4p(p + 1) + 1.
part n = n1 + · · · + nk , d'autre part p = n21 + · · · + n2k . Par l'inégalité de
Cauchy-Schwarz : (n1 + · · · + nk )2 ≤ k(n21 + · · · + n2k ). Puisque l'un des facteurs de p(p + 1) est pair, le produit 4p(p + 1) est multiple de
8 et donc
4p(p + 1) + 1 ≡ 1 [8] .
Exercice 8 : [énoncé]
25 = −1 [11] donc 210 = 1 [11] puis 2123 = 2120 × 23 = (210 )12 × 8 = 1 × 8 = 8 [11].
35 = 1 [11] donc 3121 = 3120 × 3 = (35 )24 × 3 = 1 × 3 = 3 [11]. Exercice 13 : [énoncé]
Ainsi 2123 + 3121 = 8 + 3 = 0 [11] et donc 11 | 2123 + 3121 . ( =⇒ ) Si a ≡ b [m] alors m divise b − a et divise a fortiori λb − λa = λ(b − a).
( ⇐= ) Si λa ≡ λb [m] alors m divise λ(b − a). Or m et λ sont supposés premiers
entre eux donc, en vertu du théorème de Gauss, m divise b − a.

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 3 novembre 2017 Corrections 6

Exercice 14 : [énoncé] Exercice 18 : [énoncé]

Posons x = 44444444 , 4444 = 7 [9], 73 = 1 [9] donc 44444444 = 7 [9]. La relation est clairement réexive.
x < 105×4444 donc A ≤ 9 × 5 × 4444 = 199980, B ≤ 9 × 5 + 1 = 46 puis Si (I, f ) 4 (J, g) et (J, g) 4 (I, f ) alors I ⊂ J , J ⊂ I et g|I = f donc I = J et
C ≤ 4 + 9 = 13. f = g.
Or C = B = A = x [9] donc C = 7 Si (I, f ) 4 (J, g) et (J, g) 4 (K, h) alors I ⊂ J ⊂ K et hI = (h|J )|I = g|I = f donc
(I, f ) 4 (K, h).
Finalement 4 est une relation d'ordre.
Exercice 15 : [énoncé]
Soit x > 0, on a x = xn pour n = 1 ∈ N donc x 4 x. La relation 4 est réexive.
Soient x, y > 0, si x 4 y et y 4 x alors il existe n, m ∈ N tels que y = xn et Exercice 19 : [énoncé]
x = ym . Si l'ordre est total A ∪ B possède un plus grand élément :
On a alors x = xnm donc ln x = nm ln x max(A ∪ B) = max(max(A), max(B)).
Si x = 1 alors y = xn = 1 = x. Si l'ordre n'est pas total, les plus grands éléments de A et de B peuvent ne pas
Si x 6= 1 alors ln x 6= 0 puis 1 = nm. Or n, m ∈ N donc n = m = 1 puis x = y . être comparés aux éléments de A et B . Dans (N∗ , |), pour A = {2, 4} et
Finalement la relation 4 est antisymétrique. B = {3, 9}, A et B ont un plus grand élément alors que A ∪ B n'en a pas.
Soient x, y, z > 0. Si x 4 y et y 4 z alors ∃n, m ∈ N tels que y = xn et z = y m . A ∩ B peut ne pas posséder de plus grand élément, cet ensemble peut notamment
On a z = xmn avec mn ∈ N donc x 4 z . La relation 4 est transitive. être vide.
Finalement 4 est une relation d'ordre.
Cet ordre n'est pas total car, par exemple, 2 et 3 ne sont pas comparables.
Exercice 20 : [énoncé]
Par l'absurde supposons E inni.
Posons x0 = min E , x1 = min E \ {x0 },. . . , xn = min E \ {x0 , x1 , . . . , xn−1 },. . .
Exercice 16 : [énoncé]
L'ensemble {x0 , . . . , xn , . . .} n'a pas de plus grand élément. Absurde.
4 est clairement réexive et transitive.
Si (x, y) 4 (x0 , y 0 ) et (x0 , y 0 ) 4 (x, y) alors (x, y) = (x0 , y 0 ) ou x ≤ y ≤ x0 ≤ y 0 ≤ x
et donc (x, y) = (x, x) = (x0 , y 0 ).
Exercice 21 : [énoncé]
(a) Pour tout 1 ≤ m ≤ p,
Exercice 17 : [énoncé] ai,m ≤ max ai,j
1≤j≤p
4 est clairement réexive.
Si z 4 z 0 et z 0 4 z alors nécessairement |z| = |z 0 | et Re(z) = Re(z 0 ) donc z = z 0 donc
min ai,m ≤ min max ai,j
car Im(z), Im(z 0 ) ≥ 0. 1≤i≤n 1≤i≤n 1≤j≤p
Si z 4 z 0 et z 0 4 z 00 alors si |z| < |z 00 | alors z 4 z 00 et sinon |z| = |z 0 | = |z 00 | et donc puis
Re(z) ≤ Re(z 0 ) ≤ Re(z 00 ) ce qui permet à nouveau d'armer z 4 z 00 .
max min ai,m ≤ min max ai,j .
Pour z, z 0 ∈ {z ∈ C | Im z ≥ 0}. 1≤m≤p 1≤i≤n 1≤i≤n 1≤j≤p
Si |z| < |z 0 | alors z 4 z 0  
Si |z| > |z 0 | alors z 0 4 z . 1 4
(b) Pour le tableau
Si |z| = |z 0 | alors dans le cas où Re(z) ≤ Re(z 0 ) on a z 4 z 0 et, dans le cas 3 2
complémentaire, on a z 0 4 z . max min ai,j = 2 et min max ai,j = 3.
Dans tout les cas z et z 0 sont comparables, la relation d'ordre est totale. 1≤j≤2 1≤i≤2 1≤i≤2 1≤j≤2

Diusion autorisée à titre entièrement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] édité le 3 novembre 2017 Corrections 7

Exercice 22 : [énoncé] Exercice 26 : [énoncé]

Par l'absurde, supposons que (un ) soit une telle suite. La fonction fn est dérivable avec
A = {un | n ∈ N} est une partie non vide de N, elle possède donc un plus petit
élément m. fn0 (x) = nxn−1 (1 − x) − xn = nxn−1 − (n + 1)xn .
Puisque m ∈ A, il existe n ∈ N tel que m = un . Mais alors
un+1 < un ≤ m = min A. Absurde. On en déduit les variations
x 0 xn 1
fn (x) 0 % Mn & 0
Exercice 23 : [énoncé] avec xn = n
∈ [0 ; 1] et
∀n ∈ N, −1 ≤ (−1)n + n+11
≤ 2 donc A est bornée. n+1

A est une partie de R non vide et bornée donc inf A et sup A existent. 
1
n
1
n 0 1 2 3 ... Mn = sup fn (x) = 1− → 0.
n 1 1 1
(−1) + n+1 2 −1 + 2 1 + 3 −1 + 4 . . . 1 . x∈[0;1] n+1 n+1
2 est plus grand élément de A et donc sup A = max A = 2.
A est clairement minorée par −1 et (−1)2p+1 + 2p+21
→ −1 donc il existe une suite
d'éléments de A qui converge vers −1 donc inf A = −1. Exercice 27 : [énoncé]
Puisque m + 1 ne minore pas A, la partie B est non vide.
De plus B ⊂ A donc la borne inférieure de B existe et

Exercice 24 : [énoncé] inf A ≤ inf B .

A et B sont des parties non vides et bornées de R donc les bornes sup et inf
considérées existent. Soit x ∈ A, si x ≤ m + 1 alors x ∈ B et donc x ≥ inf B .
Pour tout a ∈ A, on a a ∈ B donc a ≤ sup B . sup B majore A donc sup A ≤ sup B . Si x > m + 1 alors à nouveau x ≥ inf B .
Pour tout a ∈ A, on a a ∈ B donc inf B ≤ a. inf B minore A donc inf B ≤ inf A. Ainsi inf B minore A et donc
Enn, puisque A 6= ∅, inf A ≤ sup A. inf A ≥ inf B .
Finalement
inf A = inf B .
Exercice 25 : [énoncé]
A, B, A ∪ B sont des parties de R non vides et majorées donc
sup A, sup B, sup(A ∪ B) existent dans R.
Pour tout x ∈ A ∪ B on a x ≤ max(sup A, sup B) donc

sup(A ∪ B) ≤ max(sup A, sup B).

Puisque A, B ⊂ A ∪ B on a sup A, sup B ≤ sup(A ∪ B) donc

max(sup A, sup B) ≤ sup(A ∪ B)

puis l'égalité.

Diusion autorisée à titre entièrement gratuit uniquement - dD