1

SECTION SMIA
MODULE Algbre 1
Chapitre I
Notions de bases mathmatiques
Par
Mustapha Chellali
Le 2 Septembre 2014

1. N OTIONS DE LOGIQUE
1.1. Oprateurs logiques. Les objets de la logique sont les propositions. Une proposition est soit
VRAIE soit FAUSSE. A partir de propositions P 1 P 2 P n , on peut construire au moyen dun oprateur f , une nouvelle proposition :
Q = f (P 1 , P 2 , , P n )
La valeur logique de Q est donne en fonction des 2n valeurs possibles de (P 1 P 2 P n ), pour
cela on utilise souvent une table 2n entres, dite table de vrit de loprateur f . Voici les oprateurs fondamentaux utiliss en logique :

Loprateur ngation Q = Non(P ) (not aussi P ou P )

P
V
F

Non(P )
F
V

Remarque . Non(Non(P ) a toujours mme valeur logique que P. On crit :

Non(Non(P )) P

Loprateur conjonction logique Q = P 1 et P 2

P 1 P 2 P 1 et P 2
V V
V
V F
F
F V
F
F F
F
Loprateur disjonction logique Q = P 1 ou P 2
P 1 P 2 P 1 ou P 2
V V
V
V F
V
F V
V
F F
F
Loprateur implication logique
Q = (P 1 = P 2 ) = (Non(P 1 ) ou P 2 )
P 1 P 2 P 1 = P 2
V V
V
V F
F
F V
V
F F
V

 Loprateur equivalence logique

Q =(P 1 P 2 ) = ((P 1 = P 2 ) et (P 2 = P 1 ))
P 1 P 2 P 1 P 2
V V
V
V F
F
F V
F
F F
V
Remarque . Quand P 1 P 2 est vraie, P 1 et P 2 ont toujours mme valeur logique; tout se
passe comme si P 1 = P 2 .

1.2. Le quantificateur universel . On appel tautologie une proposition qui est toujours vraie (exemple : Soit P une proposition, la proposition (P ou Non(P)) est une tautologie). Si une proposition
P dpend dun paramtre x, une faon de dire que P est une tautologie est dcrire :
x

qui se lit "Quel que soit x P est vraie".

Exemple :
(x = y) ou (x 6= y)

Remarque . Il arrive de trouver une proposition de la form

x 1 , x 2 , , x n

Il est quivalente
x 1

(x 2

(x 3

(x n

P )) )

1.3. Le quantificateur existentiel . Quand une proposition nest pas une tautologie, cela ne veut
pas dire quelle est toujours fausse, on crit alors ;
Non(P )

x
qui se lit : Il existe x tel que P est fausse

Ainsi dire que Non(P) nest pas une tautologie quivaut

x

qui se lit : Il existe x tel que P est vraie.

On a donc
Non(x

P ) = (x

Non(P ))

Non(x

P ) = (x

Non(P ))

On peut imbriquer les quantificateurs universel et existentiel

(y

(z

(t

P ))))

(v

La ngation est
(x

(y

(z

(t

(v

Non(P )))))

Remarque . Il arrive de trouver une proposition de la form

x 1 , x 2 , , x n

Il est quivalente
x 1

(x 2

(x 3

(x n

P )) )

1.4. proprits des oprateurs logiques.

Commutativit du ET
(P 1 et P 2 ) (P 2 et P 1 )
Associativit du ET
(P 1 et (P 2 et P 3 )) ((P 1 et P 2 ) et P 3 )
Remarque . Lassociativit du ET permet sans spcifier les parenthses de donner un sens
lcriture :
P 1 et P 2 et et P n
Distributivit du ET par rapport lui-mme
(P 1 et (P 2 et P 3 )) ((P 1 et P 2 ) et (P 1 et P 3 )
Idempotence du et
(P et P ) P
Commutativit du ou
(P 1 ou P 2 ) (P 2 ou P 1 )
Associativit du ou
(P 1 ou (P 2 ou P 3 )) ((P 1 ou P 2 ) ou P 3 )
Remarque . Lassociativit du OU permet sans spcifier les parenthses de donner un sens
lcriture :
P 1 ou P 2 ou ou P n
Distributivit du ou par rapport lui-mme
(P 1 ou (P 2 ou P 3 )) ((P 1 ou P 2 ) ou (P 1 ou P 3 )
Idempotence du ou
(P ou P ) P

 Distributivit du et par rapport ou

(P 1 et (P 2 ou P 3 )) ((P 1 et P 2 ) ou (P 1 et P 3 )
Distributivit du ou par rapport er
(P 1 ou (P 2 et P 3 )) ((P 1 ou P 2 ) et (P 1 ou P 3 )
Relations de Morgan
(Non(P 1 et P 2 )) (Non(P 1 ) ou Non(P 2 ))
(Non(P 1 ou P 2 )) (Non(P 1 ) et Non(P 2 ))
Implication contrapose
(P = Q) (Non(Q) = Non(P ))
Principes de superposition
((P 1 ou P 2 ou ou P n ) = R) ((P 1 = R) et (P 2 = R) et et (P n = R)
((P 1 et P 2 et et P n ) = R) ((P 1 = R) ou (P 2 = R) ou ou (P n = R)
(P = (R 1 et R 2 et et R n )) ((P = R 1 ) et (P = R 2 ) et et (P = R n )
(P = (R 1 ou R 2 ou ou R n )) ((P = R 1 ) ou (P = R 2 ) ou ou (P = R n )
Rflexivit de limplication : Pour tout proposition P la proposition P = P est vraie
Transitivit de limplication : Pour toutes propositions P,Q, R on a
((P = Q) et (Q = R)) = (P = R)
Rflexivit de lquivalence : Pour tout proposition P la proposition P P est vraie
Transitivit de lquivalence : Pour toutes propositions P,Q, R on a
((P Q) et (Q R)) = (P R)
Remarque . Ils existent de nombreaux thormes dans lesquels il est question de montrer que
des propositions P 1 , P 2 , , P n sont equivalentes il suffit par la transitivit de montrer
P 1 = P 2 = = P n = P 1
Lordre P 1 , P 2 , , P n est arbitraire, il est astucieux dadopter lordre qui simplifie le mieux
les preuves des implications.

Pour dmontrer ces relations, cest facile, on calcule dans une mme table de vrit le membre de gauche et le membre de droite, et on vrifie quils ont toujours mme valeurs logiques,
autrement dit les colonnes correspondants sont gaux. A titre dexemples voici les preuves de la
distributivit du ET par rapport OU et de la distributivit du OU par rapport ET et des relations
de Morgan :

P1
V
V
V
V
F
F
F
F
P1
V
V
V
V
F
F
F
F

P2
V
V
F
F
V
V
F
F
P2
V
V
F
F
V
V
F
F

P 3 P 1 et (P 2 ou P 3 ) (P 1 et P 2 ) ou (P 1 et P 3 )
V
V
V
F
V
V
V
V
V
F
F
F
V
F
F
F
F
F
V
F
F
F
F
F
P 3 P 1 ou (P 2 et P 3 ) (P 1 ou P 2 ) et (P 1 ouP 3 )
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
F
F
V
F
F
F
F
F

P1 P2
V V
V F
F V
F F

Non(P 1 et P 2 ) Non(P 1 ) ou Non(P 2 )

F
F
V
V
V
V
V
V

P1 P2
V V
V F
F V
F F

Non(P 1 ou P 2 ) Non(P 1 ) et Non(P 2 )

F
F
F
F
F
F
V
V

2. T HORIE DES ENSEMBLES

2.1. Axiomes de la Thorie des ensembles. Les objets de base en mathmatiques sont les ensembles. En dfinitif en mathmatiques tout est ensemble. La manipulation des ensembles se fait par
la logique et par les axiomes suivants (les rgles du jeu) :
Axiome -1 Etant donns les ensembles x et X , la proposition x X est vraie ou fausse (On lit x appartient X ou x est un lment de X ).
Axiome -2 Deux ensembles X et Y sont dit gaux si :
x

(x X ) (x Y )

Axiome -3 Soient x 1 , x 2 , , x n des ensembles (des objets), il existe un ensemble X tel que :
x

(x X ) ((x = x 1 ) ou (x = x 2 ) ou ou (x = x n )))

On le note X = {x 1 , x 2 , , x n }. On dit que lensemble X est not en extension.

Remarques .
(a) Par laxiome 2, lensemble X ainsi dfinit est unique.
(b) {a, a, a, b, b, c, c, c, c} = {a, b, c}
car par lidempotence ((x = a) ou (x = a) ou (x = a)) (x = a)

Soit X un ensemble, si il existe une proposition P (x) dpendant de lobjet x tel que :
x

(x X ) P (x)

On crit X = {x | P (x)}. On dit que X est not en comprhension (par opposition la

notation en extension).

P (x) = Descr i pt i f d es el ement s d e X

Exemple : X = x | x N x 100 et x 2 61
Remarque . Pas nimporte quelle proposition P (x) dfinit un ensemble. Par exemple
{x | x x}
nest pas un ensemble car supposons que cest un ensemble X , si X X alors X X , et si
X X alors X X .

De mme X = {x | x X } et X = {x | X x} et X = {x | V r ai e} ne dfinissent pas des ensembles.

Axiome -4 Pour tout ensemble X on a X X .
(Il en rsulte en particulier que pour tout ensemble X on a X 6= {X } car sinon comme on
X {X } alors X X ).
Remarque . Les axiomes prcdents ne permettent pas dexhiber un seul ensemble. Cest
lobjet de laxiome suivant.

Axiome -5 Il existe un ensemble ; vrifiant :

x

x ;

On lappel lensemble vide. Par laxiome 2, il est unique.

Remarque . On peut maintenant construire un ensemble un lment {;} et un ensemble
deux lments {;, {;}} et un ensemble trois lment {;, {;} , {;, {;}}} et ainsi de suite. Mais il
est impossible de construire jusqu maintenant un ensemble infini. Cest lobjet de laxiome
suivant :
Axiome -6 Il existe un ensemble infini
Nous prcisement plus loin le terme infini, grosso et modo cest un ensemble qui ne peut
pas tre not en extension, ce qui ne veut pas dire quun ensemble not en comprhension
est forcment infini.

Axiome -7 Soit E un ensemble, alors

x | X E et x X
[
est un ensemble. On le note
X

X E

Si E = {A, B } on a
[

X = {x | (x A) ou (x B )}

X E

On le note A B ce qui se lit A union B.

Axiome -8 Soit E un ensemble, alors
x | X
(X E ) = (x X )
\
est un ensemble. On le note
X

X E

Si E = {A, B } on a
\
X E

X = {x | (x A) et (x B )}

On le note A B ce qui se lit A intersection B.

Dfinition 1. Soient A, B des ensembles. On dit que lensemble A est inclu dans lensemble B
(ou que A est un sous ensemble de B ou que cest une partie de B ) si
x
on note A B

Remarque .

((x A) = (x B ))

(a) Soient A, B des ensembles, on a

((A = B ) ((A B ) et (B A)))
(b) Pour tout ensemble E on a E E .
(c) Pour tout ensemble E on a ; E .
Rien de ce qui prcde ne permet daffirmer que les parties dun ensemble forment un
ensemble.

Axiome -9 Soit E un ensemble, alors

{X | X E }
est un ensemble. On lappel ensemble des parties de E , on le note (E ).

Exemple : Soit E = {a, b, c} alors

(E ) = {;, {a} , {b} , {c} , {a, b} , {a, c} , {b, c} , E }

Axiome -10 Soit P (x) une proposition dpendant du paramtre x et E un ensemble, alors
{x | (x E ) et P (x)}
est un ensemble (de plus cest un sous ensemble de E ).

Il en rsulte en particulier que si A, B sont des ensembles

{x | (x A) et (x B )}
est un ensemble, on le note A \B qui se lit A moin B . pour E fix et A E lensemble E \ A
sappel complmentaire de A dans E et se note auss A c .

2.2. Les quantificateurs et et les ensembles. On utilise aussi beaucoup la notation

x E

P (x)

(o E est un ensemble) cette expression quivaut :

x

((x E ) = P (x))

De mme
x E

P (x)

quivaut
x

((x E ) et P (x))

Par application des rgles de ngation des quantificateurs, on voit que la ngation de

x E

P (x)

est
x E

Non(P (x))

De mme la ngation de
x E

P (x)

est
x E

Non(P (x))

On peut imbriquer les quantificateurs universel et existentiel

x E

(y F

(z G

(t H

u I

(v J

P ))))

La ngation est
x E

(y F

(z G

(t H

u I

(v J

Non(P )))))

2.3. Proprits des oprations sur les ensembles.

Soient E , F des ensembles. Notons E et F en comprhension :
E = {x | P }

F = x |Q

Il en rsulte que

E F = x | P et Q

E F = x | P ou Q

E \ F = x | P et Non(Q)
(E F ) (P = Q)
(E = F ) (P Q)
Il rsulte des proprits des oprateurs logiques des proprits parallles sur les ensembles :
Commutativit du
E1 E2 = E2 E1
Associativit du
E 1 (E 2 E 3 ) = (E 1 E 2 ) E 3
Remarque . Lassociativit du permet sans spcifier les parenthses de donner un sens
lcriture :
E1 E2 En
Distributivit du par rapport lui-mme
E 1 (E 2 E 3 ) = (E 1 E 2 ) (E 1 E 3 )

 Idempotence du
E E =E
Commutativit du
E1 E2 = E2 E1
Associativit du
E 1 (E 2 E 3 ) = (E 1 E 2 ) E 3
Remarque . Lassociativit du permet sans spcifier les parenthses de donner un sens
lcriture :
E1 E2 En
Distributivit du par rapport lui-mme
E 1 (E 2 E 3 ) = (E 1 E 2 ) (E 1 E 3 )
Idempotence du
E E =E
Distributivit du par rapport
E 1 (E 2 E 3 ) = (E 1 E 2 ) (E 1 E 3 )
Distributivit du par rapport
E 1 (E 2 E 3 ) = (E 1 E 2 ) (E 1 E 3 )
Relations de Morgan
(E 1 E 2 )c = (E 1 )c (E 2 )c
(E 1 E 2 )c = (E 1 )c (E 2 )c
Inclusion contrapose
(E F ) (F c E c )
Principes de superposition
((E 1 E 2 E n ) F ) ((E 1 F ) et (E 2 F ) et et (E n F )
((E 1 E 2 E n ) F ) = ((E 1 F ) ou (E 2 F ) ou ou (E n F )
(E (F 1 F 2 F n )) ((E F 1 ) et (E F 2 ) et et (E F n )
(E (F 1 F 2 F n )) = ((E F 1 ) ou (E F 2 ) ou ou (E F n )
Rflxivit de linclusion :
E

(E E )

Transitivit de linclusion :
E , F,G

((E F ) et (F G)) = (E G)

 rflexivit de lgalit
E

(E = E )

Transitivit de lgalit
E , F,G

(((E = F ) et (F = G))) = (E = G)

Pour dmontrer ces relations, on les dmontre localement pour chaque x fix en posant P i = x
E i et en utilisant les proprits des oprations sur les oprateurs logiques (cf paragraphe 4 de la
section I)

A titre dexercice expliquer pourquoi les implications 2 et 4 ci-dessous du principe de superposition ne sont pas des quivalences.
3. L ENSEMBLE N DES ENTIERS NATURELS
Le but de ce paragraphe est de construire lensemble N des entiers naturels. Cest aussi locasion
de voir lutilit des ensembles et de voir beaucoups de type de raisonnements (labsurde, distinction des cas, dductions, . . . ).
Thorme 2. [Thorme de de Peano]
Il existe un ensemble N vrifiant :
1.
2.
3.
4.
5.

Il existe un lment 0 N.
Tout lment n N admet un suivant unique n + 1.
Deux lments qui ont mme suivant sont gaux.
Aucun lment de N na pour suivant 0.
Si une partie A de N contient 0 et le suivant de chacun de ses lments alors A = N.

Ce thorme rsulte de laxiome de lexistance dun ensemble infini. Prcisons dabord ce quest
un ensemble infini :
Dfinition 3. Un ensemble E et dit infini si il existe x 0 E et une bijection : E E \ {x 0 }.
Nous prcisons au chapitre 2 les notions dapplications et de bijections.

Preuve du thorme de Peano : Par laxiome 5 il existe un ensemble infini E . Soit x 0 E et

: E E \ {x 0 } une bijection. Une partie A de E est dite stable par si pour tout x A on a
(x) A, par exemple E est stable et toute intersection de parties stable est stable. Posons N
lintersection des parties stables de E contenant x 0 , Montrons que avec 0 = x 0 et (n) = n + 1,
lensemble N rpond aux conditions du thorme :
1.
2.
3.
4.
5.

0 N par construction.
Tout lment n N vrifie (n) N car N est stable.
Deux lments de N qui ont mme suivant sont gaux car est injective.
Aucun lment de N na pour suivant 0 car : E E \ {x 0 }.
Si une partie A de N vrifie 0 A et x A
(x) A, alors A est stable et contient 0 par
suite N A (car par construction N est lintersection des parties stables de E ), par suite
N=A
.

Remarque . La proprit 5 est la base du raisonnement par rcurrence (voir paragraphe suivant).

Nous approfondirons au chapitre 3 ltude de N. Pour le paragraphe suivant on aura besoin

seulement du thorme de Peano et de lordre naturel de N :
Proposition 4. Soit N un ensemble des entiers naturel solution du thorme de Peano. Lapplication
suivant : N N \ {0} est une bijection (autrement dit tout lment 6= 0 de N est le suivant dun
lment de N).
Preuve de la proposition : Soit x N avec x 6= 0, si x (N) alors N \ {x} serait aussi stable et
contient 0 par suite par la proprit 5 du thorme de Peano N = N \ {x} ce qui est absurde

Corollaire 5. N est infini.

Notation : Soit N une solution du thorme de Peano. Soit : N N \ {0} la bijection suivant.
Pour x N on note N x lintersection des parties stables par contenant x.

Il rsulte de cette dfinition que pour toute partie S de N on a

(x S et S st abl e) = N x S)

Dfinition 6. Pour x, y N on dit que x est infrieur ou gal y et on note x y si y N x .

Remarque .
x y N y N x

Proposition 7. La relation est une relation dordre total sur N.

Pour la preuve de cette proposition on aura besoin des deux lemmes suivants :
Lemme 8. Soit x N et (x) le suivant de x, on a :
N x = {x} N(x)
Preuve du lemme : Comme x N x et N x stable on a (x) N x , par suite N(x) N x , donc {x}
N(x) N x . dautre part {x} N(x) est stable par (car pour x 1 {x} N(x) , si x 1 = x on a (x)
.
{x} N(x) , pour x 1 N(x) on a (x 1 ) N(x) ), comme il contient x on a N x {x} N(x)
Lemme 9. Soit x N et lapplication suivant de x, on a :
(N x ) = N x \ {x}

Preuve du lemme :Soit
y

N
\
Si
on
avait
y

(N
),
alors
N
\
y serai stable et contient
{x}.
x
x
x

x, par suite N x N x \ y ce qui est absurde. Montrons que x (N x ). Posons

A = x | x N et x (N x )
On a 0 A car 0 (N). Soit x A, supposons que (x) A, cest--dire (x) (N(x) ), par suite
il existe x 1 N(x) tel que (x) = (x 1 ), comme est injective x = x 1 donc x N(x) , montrons que
N(x) (N x ), on a (N x ) stable (car ((N x ) N x ) = (((N x )) (N x ))) et contient (x) donc

N(x) (N x ), donc x (N x )) cest--dire x A contradiction, par suite (x) A, par la proprit

5 du thorme de Peano on a A = N, cest--dire
x N

x (N x )

Preuve de la proposition : Montrons que est une relation dordre sur N.

est rflexive car pour tout x N comme x N x on a par dfinition x x.
est anti-symtrique cest--dire :
x, y N

(x y et y x) = x = y

On a (x y et y x) = (N y N x ) et (N x N y ) donc N x = N y , donc x N y , si on avait

x 6= y alors x (N y ) = (N x ) ce qui contredit le lemme 9, donc x = y.
est transitive, cest--dire :
x, y, z N

(x y et y z) = x z

On a (x y et y z) ((N y N x ) et (N z N y )) = N z N x = x z.
est un ordre total car soit x N, soit :

A = y N | (x y) ou (y x)
On a :
0 A car x N0 et N0 = N par la proprit 5.
Soit y A, montrons que (y) A :
Si x y cest--dire y N x alors (y) N x soit x (y) donc (y) A.
Si y x cest--dire x N y alors x y N(y) , donc ou bien x = y donc x y on
est dans le 1er cas, ou bien x N(y) donc (y) x, donc (y) A.
Conclusion par la proprit 5 du thorme de Peano on a A = N

Proposition 10. Toute partie non vide de N admet un plus petit lment.
Preuve de la proposition : Soit A une partie non vide de N. Supposons que A nadmet pas de
plus petit lment, posons :
A 1 = {x N | [0, x] A = ;}
0 A 1 car [0, 0] = {0} et 0 A sinon A admettrai un plus petit
lment
0.

Soit x A 1 , montrons
que
(x)

A
on
a
par
le
lemme
8
0,
(x)
=
x]

(x)
, comme
[0,
1

[0, x] A = ; on a 0, (x) A = (x) A = ; sauf si (x) A, or si (x) A comme

y [0, x] cest--dire y > x donc y (x) et comme (y)
[0, x] A = ; on aurait y A
A il serait le plus petit lment de A contradiction.
Conclusion A 1 = N donc A = ;
.
La proposition quit suit montre quil nexiste essentiellement quun seul ensemble N solution
du thorme de Peano :
Proposition 11. Soient N1 , N2 deux solutions du thorme de Peano, notons n . le suivant de n pour
n N1 et n N2 , il existe une bijection : N1 N2 vrifiant :
n N1

(n . ) = ((n)).

4. R AISONNEMENTS MATHMATIQUES
4.1. Notion de preuve mathmatiques : Une preuve mathmatique est une suite de dduction
lmentaires (cest--dire impossible mettre en dsaccord deux personnes sages). La dduction rsulte soit dun rsultat bien connu du cours (axiome, tautologie, dfinition, proposition,
thorme, lemme, corollaire) ou dun rsultat classique (thorme de Pythagore, . . . ) ou du rsultat dune tape prcdente.

4.2. Principales mthode de raisonnement mathmatiques.

4.2.1. Raisonnement par dduction : Le principe est le suivant : Sachant que limplication P = R
est vraie, et sachant que P est vraie, on en dduit que R est vraie.

Exemples (Autant qul y a dimplications vraies)

1. x R = x 2 0 et x = 2 alors (2)2 0.
2. (d , n N et d |n et n pr emi er ) = d = 1 ou n et a N et a|17 et a 6= 1 alors a = 17.
3. . . .

4.2.2. Raisonnement par implication contrapose : Pour montrer quune implication P = Q est
vraie, il peut tre plus simple de montrer sa contrapos Non(Q) = Non(P ).
Exemples :
1. Montrer que (a 2 6= 16) = (a 6= 4), il est plus simple de montrer que a = 4 = (a 2 = 16).
2. On ne doit pas abuser de cette mthode car dans de nombreux
p exemples la contrapose
nest gure plus simple que limplication directe, exemple x = 2 = x Q

4.2.3. Raisonnement par distinction des cas : le principe est le suivant : Pour montrer quune implication P = R, on cherche des propositions P 1 , P 2 , , P n (les cas) telles que P (P 1 ou P 2 ou ou P n )
alors montrer que P = R quivaut montrer que P 1 = R et P 2 = R et . . . P n = R, lintret est
que parfois P i = R sont beaucoups plus simples dmontrer.

Exemples (Thoriquement autant quil y a dimplications vraie, mais il y a des exemples type)

1. Montrer que pour tout entier n on a 6|n(n 1)(n 2). Soit r le reste de la division division
euclidienne de n par 6. On a n = 6q + r
1er cas r = 0 alors n(n 1)(n 2) = 6q(n 1)(n 2).
2me cas r = 1 alors n(n 1)(n 2) = n(6q)(n 2).
3me r = 2 alors n(n 1)(n 2) = n(n 1)(6q).
4me r = 3 alors n(n 1)(n 2) = 6(2q + 1)(3q + 1)(n 2).
5me r = 4 alors n(n 1)(n 2) = 6(3q + 2)(2q + 1)(n 2).
6me r = 5 alors n(n 1)(n 2) = 6n(2q + 3)(2q + 1).
2. Montrer que x R = x 2 0.
1er cas x 0 = x 2 = x.x 0.

3.
4.

5.
6.
7.

8.
9.

10.

2me cas x 0 = (x) 0 = x 2 = (x)(x) 0.

Rsoudre 3|x 1| + 2|x| 1 = 0.
Montrer que x R = x 2 + x + 1 > 0.
1er cas x 0 = x 2 + x + 1 > 0.
2me cas x < 0 = x 2 + x + 1 < x 2 + 1 = (x + 1)2 < x 2 + x + 1 = 0 < x 2 + x + 1.
Rsoudre lingalit 0 sin(x) 1/2. On discute suivant les rgions de x dans le cercle
trigonomtrique.

xy =m
Rsoudre le systme
x + y = 2
On discute suivant les valeurs de m, .
Trouver tous les x, y Z tel que x + y + 2x + 4y = 16.
On transforme lexpression x + y + 2x + 4y = 16 en (x + 4)(y + 2) = 24 et en discute suivant
les diviseurs de 24.
Montrons que x |x 1| est continue en x = 1.
On discute suivant que x 1+ ou x 1 .
Soit p un nombre premier. Sachant que pour n premier p on a p|(n p1 1), montrons que
n N
p|(n p n).
On discute suivant que n est premier p ou divisible par p.
Soit un polygone n cots. Montrons que la somme de ses angle est gal (n 2).
on discute suivant que le polygone est un triangle ou non.

4.2.4. Raisonnement par la table de vrit.

Cest un cas particulier de raisonnement par distinction des cas.

Exemples
1. Pour prouver une loi logique (une tautologie)
f (P 1 , , P n ) g (P 1 , , P n )
On calcul les deux membres dans une mme table de vrit 2n entres et on vrifie que
les deux colonnes correspondants sont identiques.
2. Pour montrer une galit entre ensembles f (E 1 , E 2 , , E n ) = g (E 1 , E 2 , , E n ) o f , g sont
des expressions nutilisant que , , \ on crit E i = {x | P i } on transforme lgalit f (E 1 , E 2 , , E n ) =
g (E 1 , E 2 , , E n ) en une loi logique (en utilisant lisomorphisme entre oprations logiques et
oprations ensemblistes)
4.2.5. Raisonnement par le contre-exemple.
Le principe est le suivant : Pour montrer quune proposition de la forme :
x

est fausse, on montre que sa ngation :

x

Non(P )

est vraie, pour cela on procde par tatonnement en donnant des valeurs successives x jusqu
obtenir le x qui vrifie Non(P ), a peut tre une opration longue (on peut mme avoir besoin de
laide dun ordinateur).

Exemples :

1. Montrer que la proposition suivante est fausse :

x R
x 2 5x + 6 0
On essaye x = 0, 1, 2, 3 on trouve x = 5/2.

2. Montrer que la proposition suivante est fausse :

Tout e f onc t i on cont i nue en 0 est d r i v abl e en 0
On prend f : x |x|
3. Montrer que la proposition suivante est fausse :
Tout e f onc t i on cont i nue d r oi t e en 0 est d r i v abl e d r oi t e en 0

x sin(1/x)
si x 6= 0
On prend f : x
0
si x = 0
4. Le mathmaticien Euler affirmait que :
n

n N
22 + 1 est pr emi er
Montrer que laffirmation dEuler est fausse.

Laffirmation dEuler est vraie jusqu n = 0, 1, 2, 3, 4. Pour n = 5 on a :

5

22 + 1 = 4294967297 = 641.6700417
5. Soit p N si 2p 1 est premier alors p est premier (crire p = ab pui 2p 1 = (2a 1)(2a(b1) +
2a(b2) + 2a + 1)), montrer que la rciproque est fausse :
2p 1 est premier pour p = 2, 3, 5, 7 cependant :
211 1 = 2047 = 23.89
6. Montrer que la proposition suivante est fausse :
X
(u n ) 0 = u n conver g e
P
La suite u n = 1/n tend vers 0, mais (1/n) = +
7. Montrer que la proposition suivante est fausse :
Tout e par t i e ma j or e d e R ad met un pl us g r and l ment
On prend [0, 1[.
4.2.6. Raisonnement par labsurde.
Le principe est le suivant : Pour montrer quune proposition P est vraie, on montre que Non(P )
donne une proposition fausse Non(P ) = F aux, par suite Non(P ) est fausse car le vrai nimplique
pas le faux, par suite P est vraie.

Exemples : On peut construire autant dexemples que lon veut en remarquons que chaque fois
quon a un thorme de la forme H = R, on se place dans une situation ou R est fausse et on
demande de montrer que H est fausse.

1. Montrer quun triangle de cots 2, 4, 5 si il existe ne peut tre rectangle.

Sinons soit c la longueur de son hyporthnuse, comme c 2 = a 2 + b 2 a 2 , b 2 cela montre

que c a, b 52 = 22 + 42 = 20 ce qui est absurde.

2. Montrer que x R

x2 + x + 1 > 0

Supposons le contraire, cest--dire (x R

x 2 + x + 1 0) donc x 2 + 2x + 1 x, donc

(x +1)2 x, donc 0 x, donc 0 < x 2 + x +1, nous obtenons donc x 2 + x +1 0 et 0 < x 2 + x +1

ce qui est faux (on dit aussi absurde).

3. Montrer que 1 N

Supposons que 1 N, donc 1 0, donc 1 + 1 1, donc 0 1 ce qui est absurde.

4. Montrer que

p
2N

Supposons que

p
p
2 N, posons p = 2, donc p 2 = 2, on a p 6= 0, 1 car 02 , 12 6= 2, donc p 2,

donc p 2 4, donc 2 4 ce qui est absurde.

5. Montrer que

p
2Q

Supposons que

p
p
2 Q, posons 2 = p/q,

p, q N,

pg cd (p, q) = 1, donc 2/1 = p 2 /q 2 ,

comme pg cd (p 2 , q 2 ) = pg cd (2, 1) = 1, nous avons une galit entre deux fractions irrductibles 0, donc ils ont mme numrateur et mme dnomrateur soit p 2 = 2 N ce
qui est faux daprs lexemple prcdent.
q p
p
6. Montrer que 3 + 5 + 2 Q
p p
p p
p p
Supposons que 3 + 5 + 2 Q, donc son carr 3 + 5 + 2 Q, donc 5 + 2 Q, donc
p
p
5 + 2 Q, donc 2 Q ce qui est absurde.
q

7. Soit e la base des logarithmes npriens, montrer que e Q.

On a

1
1 1
e = lim 1 + + + +
n
1! 2!
n!
Donc 1 +

1 1
1
+ + + < e, dautre part
1! 2!
n!

1
1
1
1
1
1
+
+ =
1+
+
+
+
(n + 1)! (n + 2)!
(n + 1)!
n + 2 (n + 2)(n + 3) (n + 2)(n + 3)(n + 4)

2
3
1
1
1
1
+
+
1+
+

(n + 1)!
n +2
(n + 2)
(n + 2)

1
(n + 1)!

1
1
1
n +2

1
1 n(n + 2)
<
2
n(n)! (n + 1)
nn!

Donc
1+

1 1
1
1 1
1
1
+ ++ < e < 1+ + ++ +
1! 2!
n!
1! 2!
n! nn!

avec n = 1 2 < e < 3 e N.

Supposons que e Q, posons e = p/q

p, q N, comme e N q > 1, posons n = q
dans lingalit ci-dessus et multiplions lingalit par n! une ingalit N < p(q 1)! <
N + 1 ce qui est absurde.

8. Q

Supposons Q, posons = p/q

Z
In =

p, q N, soit :

sin(x)P n (x)d x

P n (x) =

(x(p q x))n
n!

par des intgrations par partie successives

h
i
h
i
0
00
I n = [( cos(x))P n ]0 + (sin(x))P n (cos(x))P n +
0

On montre que I n N. Soit M = sup[0,] (x(p q x)), on a |I n |

pour n assez grand I n = 0 ce qui est absurde.

9. ln(2) Q

Mn
, donc I n 0, donc
n!

Pareil que lexemple prcdent on pose

Z ln(2)
ln(2) = p/q
p, q N et I n =
e t P n (x)d x
0

10. Montrer que pour tout n N( 2) on a 1 +

P n (x) =

(x(p q x))n
n!

1 1
1
+ ++ N
2 3
n

On montre (ct TD 1) que tout entier n > 1 scrit de faon unique n = 2m u avec u impair.
Soit k n lentier [1, n] pour lequel m est le plus grand, alors k n est unique car si on avait
1 2m u 1 < 2m u 2 n
alors 1 2m (u 1 + 1) n, or u 1 + 1 est pair, donc u 1 + 1 = 2q, donc 2m (u 1 + 1) = 2m+1 q
donnerait un exposant meilleur. Supposons que
1
1 1
+ ++ N
2 3
n
Q
Soit D = 2m un i mpai r u, on a D s n est la fois pair et impair, ce qui est absurde.
sn = 1 +

4.2.7. Raisonnement par rcurrence.

Fondamentalement, il ny a quune rcurrence : La recurrence forte, cependant pour la simplicit on peut citer la rcurence simple et la rcurrence multiple aussi.
1. Rcurrence simple.

Le principe est le suivant : Soit P (n) une proprit dpendant de lentier n N, supposons que :

P (a) vr ai e
n N
(n a et P (n) vr ai e) = P (n + 1) vr ai e
Alors : n N et n a
P (n) vr ai e.
Preuve : Soit :
A = {n | P (n) vr ai e}
On a a A et A stable par lapplication suivant, par suite N a A

Exemples :

(a) (Lincontournable exemple des sommes) : Montrer que :

n N

1
0.1 + 1.2 + 2.3 + + n.(n + 1) = n(n + 1)(n + 2)
3

1
On a 0.1 = 0.1.2 donc P (0) est vraie. Supposons P (n) vraie, cest--dire :
3
1
0.1 + 1.2 + 2.3 + + n.(n + 1) = n(n + 1)(n + 2)
3
On a alors :

0.1 + 1.2 + 2.3 + + (n + 1).(n + 2) = (0.1 + 1.2 + 2.3 + + n.(n + 1)) + (n + 1).(n + 2)

1
1
= n(n + 1)(n + 2) + (n + 1).(n + 2) = (n + 1).(n + 2) n + 1
3
3
1
= (n + 1)(n + 2)(n + 3)
3
(b) Montrer que n N

6|n(n + 1)(n + 2)

On a 6|0.1.2 donc P (0) est vraie. supposons P (n) vraie cest--dire 6|n(n + 1)(n + 2)
alors (n + 1)(n + 2)(n + 3) = (n + 1)(n + 2)n + 3(n + 1)(n + 2), on a 6|n(n + 1)(n + 2) et
(n + 1)(n + 2) produit de deux entiers sccessives donc pair, par suite 6|3(n + 1)(n + 2),
donc 6| [(n + 1)(n + 2)n + 3(n + 1)(n + 2)]

(c) Montrer que : n N(n 13)

n 2 < (3/2)n

On a 122 = 144 > (3/2)12 = 129, 746337890625... mais 132 = 169 < (3/2)13 = 194.6195068359375....
Supposons n 2 < (3/2)n , alors (3/2)n 2 < (3/2)n+1 or on a (n +1)2 (3/2)n 2 car 3n 2 2(n +
1)2 = n 2 4n 2 = (n 2)2 6 0 pour n 13

(d) Montrer que la somme des angles dun polygone de n 3 cots vaut : (n 2)

La proprit est bien connue pour le triangle n = 3, soit P n = A 1 A 2 A n un polygone

de n cots, soit T le triangle A 1 A 2 A 3 et P n1 le polygone n 1 cots A 1 A 3 A 4 A n , on
a :
S(P n ) = S(T ) + S(P n1 ) = + (n 3) = (n 2)

2. Rcurrence multiple.

Le principe est le suivant : Soit P (n) une proprit dpendant de lentier n N, supposons que :

P (a), P (a + 1) vr ai e
n N
(n a et P (n), P (n + 1) vr ai e) = P (n + 2) vr ai e

Alors : n N et n a

P (n) vr ai e.

Preuve : Poser P 0 (n) = P (n) et P (n + 1) vr ai e

De mme soit P (n) une proprit dpendant de lentier n N, supposons que :

P (a), P (a + 1), P (a + 2) vr ai e
n N
(n a et P (n), P (n + 1), P (n + 2) vr ai e) = P (n + 3) vr ai e

Alors : n N et n a

P (n) vr ai e.

Preuve : Poser P 0 (n) = P (n) et P (n + 1) et P (n + 2) vr ai e

Exemples :

(a) Soit (u n ) une suite vrifiant u 0 = 0, u 1 = 1 et :

n N
Montrer que n N

u n+2 = 2u n+1 u n

un = n

La proprit est vraie pour n = 0 et pour n = 1. Supposons quelle vraie pour n et n + 1,

alors
u n+2 = 2u n+1 u n = 2(n + 1) n = n + 2

(b) Les coefiients du binme nk interviennent dans la formule de Newton :
!
!
!
n n1
n n2 2
n nk k
n
n
(a + b) = a +
a
b+
a
b ++
a
b + + bn
1
2
k
Montrer que :
!
n
n(n 1)(n 2). (n k + 1)
=
k
1.2.3. .k

()

On identiant la relation (a + b)n+1 = (a + b)n (a + b) on obtient la relation :

!
!
!
n
n
n +1
+
=
k
k +1
k +1
Ceci suggre pour prouver () de raisonner par rcurrence double sur n +k. La formule
est bien vrifie pour n + k = 0 et n + k = 1, supposons quelle est vraie pour n + k et
n + k + 1, on a

! !
!
n +1
n
n
=
+
k +1
k
k +1
=

n(n 1)(n 2). (n k + 1) n(n 1)(n 2). (n k)

+
1.2.3. .k
1.2.3. .k.(k + 1)

n(n 1)(n 2). (n k + 1)

n k
=
1+
1.2.3. .k
k +1

n(n 1)(n 2). (n k + 1) n + 1

1.2.3. .k
k +1

(n + 1)n(n 1)(n 2). (n k)

1.2.3. .k.(k + 1)

(c) Soient r 1 , r 2 , r 3 les racines du polynme X 3 + 3X + 1 dans C. Pour n N on pose S n =

r 1n + r 2n + r 3n . On a :
S n+3 + 3S n+1 + S n = r 1n (r 13 + 3r 1 + 1) + r 2n (r 23 + 3r 2 + 1) + r 3n (r 33 + 3r 3 + 1) = 0
Montrer que S n Z et que S n 1 + 2n+1 (5).

La proprit est vraie pour n = 0, 1, 2. Supposons quelle vraie pour n, n + 1, n + 2 on a

S n+3 = 3S n+1 S n Z et S n+3 3(1 + 2n+2 ) (1 + 2n+1 ) = 1 + 2n+4
(5)

(d) Soit le determinant dordre n (cf cours Algebre 3) :

1 0 0 0 0
2 1 0 0 0
1 2 1 0 0

0 0 0 0 1 2
En dvellopant par rapport la premire colonne on trouve

n =

2
1
0

n = 2n1 n2
ceci avec 1 = 2 et 2 = 5 donne par rcurrence n = 3n 1.

3. Rcurrence forte.

Le principe est le suivant : Soit P (n) une proprit dpendant de lentier n N, supposons que :

n N

Alors : n N et n a

(m [a, n[ P (m) vr ai e) = P (n) vr ai e

P (n) vr ai e.

Preuve : Posons P 0 (a) = (m [a, m] P (m) vr ai e). on a P 0 (a) vraie car comme [a, a[= ;
la proposition (m [a, a[ P (m) vr ai e) est vraie, donc P (a) est vraie. Supposons P 0 (n) vraie,
donc
m [a, n + 1[ P (m) vr ai e
donc P (n + 1) vraie, donc P 0 (n + 1) vraie. Par suite par la rcurrence simple on a
n N

(n a) = P 0 (n) vr ai e

donc
n N

(n a) = P (n) vr ai e

Exemple :

1. Tout entier n N( 2) admet un diviseur premier.

Preuve : Supposons la proprit vraie pour tout entier m [2, n[. Si n est premier cest
vrifi, sinon n est compos n = ab avec a, b > 1 par suite n = ab > a car b > 1 donc par
lhypothse de rcurrence forte a admet u diviseur premier p, comme p divise a et a divise
p, p divise n.

2. La factorisation en nombre premier de tout entier n 1 est unique.

Preuve : Supposons la proprit vraie pour tout entier m [1, n[. Soit n = 22 33 =
0
0
22 33 des factorisation de n en produit de nombres premiers. Il existe un nombre premier p tel que p > 0 (car sinon n = 1 auquel cas p
p = 0p = 0, donc la factorisation est unique), par le lemme de Gauss, 0p > 0, on a n/p < n, par lhypothse de rcurrence forte n/p = 22 33 p p 1 = 22 33 p p 1 admet une factorisation unique
2 = 02 , 3 = 03 , p 1 = 0p 1 , donc n aussi.
0

3. (Identit de Besout) Soient a, b N ( 1) premiers entre eux, ils existent des entier u, v Z
tels que ua + vb = 1.

Preuve : Raisonnons par rcurrence forte sur a+b. Supposons la proprit vraie pour tout
entiers a 0 , b 0 N ( 1) tel que a 0 + b 0 [1, a + b[. On peut supposer a b, on a pg cd (a, b) =
pg cd (a, b a) car a, b et a, b a ont mmes diviseurs communs. Comme a + (b a) = b <
a + b car a > 0 par lhypothse de rcurrence forte u, v Z tels que ua + v(b a) = 1, donc
(u 1)a + vb = 1.

4. Tout nombre premier p 1(4) scrit comme somme de deux carrs (exemples 5 = 1+4, 13 =
4 + 9, 17 = 16 + 1 )
Preuve : Raisonnons par rcurrence forte sur p. Supposons la proprit vraie pour tout
premier m [1, p[. Comme 4|(p 1) le groupe multiplicatif cyclique (Z/pZ) admet un lment x dordre 4, x 4 = 1 = x 2 = 1 car Z/pZ est un corps. posons N le reste de x 2 par p,
donc p|N 2 + 1, soit N 2 + 1 = K p. On a N (p 1) donc N 2 + 1 (p 1)2 + 1 < p 2 par suite
K < p. Soit q un diseur premier de K si q = 2 alors q = 1 + 1 somme de deux carrs, si q
est impair comme N 2 1(q) N est dordre 4 modulo q aussi, donc 4|(q 1) soit q 1(4),
comme q K < p, par lhypothse de rcurrence forte q = a 2 +b 2 . Nous allons montrer que
N2 +1
est encore somme de deux carres, nous continuons de proche en proche jusqu
q
obtenir que p est une somme de deux carrs (encore une rcurrence ). Si q = 2 on a K = 2K 0
N +1 2 N 1 2
et N impair, K 0 p = (
) +(
) , si q 6= 2 on a q|N 2 +1 et q|a 2 +b 2 donc q|(a 2 (N 2 +1)
2
2
N 2 (a 2 + b 2 )) donc q|(a N b)(a + N b) de mme q|(b + N a)(b N a), si q|(a N b), b + N a il

N2 +1
a Nb 2 b + Na 2
=(
) +(
) somme
q
q
q
N2 +1
de deux carrs. De mme si q|(a + N b), b N a donne
somme de deux carrs, si
q
q|(a N b), (b N a) ou q|(a + N b), (b + N a) alors q|(N 2 1)a et q|(N 2 1)b, (comme q ne
peut diviser N 2 1 car sinon il divise N 2 + 1 (N 2 1) = 2 (donc q = 2) q divise a, b or on
aurait q = a 2 + b 2 2q 2 absurde.

divise (a N b)2 + (b + N a)2 = (a 2 + b 2 )(N 2 + 1) donc