Pour bien dmarrer lanne

Ce chapitre a un statut un peu particulier par rapport tous ceux qui vont suivre : nous allons y tudier les bases de la
logique mathmatique et y dfinir quelques notions lmentaires que nous utiliserons toute lanne. Ne paniquez pas si vous
naimez pas ce chapitre, les chapitres suivants ressembleront davantage aux chapitres que lon vous a enseigns au lyce.

1 Un peu de logique
Convenons dappeler proposition toute phrase p au sujet de laquelle on peut poser la question : p est-elle vraie ? La plupart
des phrases grammaticalement correctes sont des propositions, mais par exemple, Dis-le-moi ! , Bonjour ou Comment
vas-tu ? nen sont pas ; la question Est-il vrai que bonjour ? na aucun sens.
La valeur de vrit dune proposition est soit le vrai (V), soit le faux (F). Deux propositions qui ont la mme valeur de vrit
sont dites quivalentes ; cela veut dire quelles sont soit toutes les deux vraies, soit toutes les deux fausses. Cette notion est trs
importante : quand vous devez dmontrer une proposition p, vous ntes pas oblig de dmontrer p elle-mme ; il suffit que vous
dmontriez nimporte quelle proposition q quivalente p.

Exemple Socrate nest pas immortel et Socrate est mortel sont deux propositions quivalentes ; dmontrer lune
revient donc dmontrer lautre.

1.1 Connecteurs logiques

On appelle connecteur logique tout moyen de construire une proposition unique partir dune ou plusieurs propositions. Par
exemple, et , ou , si, alors et parce que sont des connecteurs ; partir des propositions Jai faim et Jai soif ,
on peut construire une nouvelle proposition Jai faim et (jai) soif .
Un connecteur logique est dit vrifonctionnel si la valeur de vrit dune proposition construite laide de ce connecteur
dpend seulement de la valeur de vrit des propositions utilises dans la construction. Ainsi la proposition p et q est vraie
si et seulement si les deux propositions p et q sont vraies. Peu importe le contenu exact de p et q ; seule leur vrit compte.
En mathmatiques, tous les connecteurs logiques sont vrifonctionnels. Lintrt des connecteurs
p q p et q
vrifonctionnels rside dans la facilit avec laquelle on peut les dfinir. Par exemple, pour dfinir le
V V V
connecteur et , il suffit de dcrire, en fonction de la valeur de vrit de p et q, la valeur de vrit de la
V F F
proposition p et q : par dfinition, p et q est vraie si p et q le sont, et fausse dans tous les autres
F V F
cas. Par souci de clart, on prsente gnralement cette dfinition sous forme dun tableau appel une
F F F
table de vrit :

Pour votre propre culture, vous remarquerez que certains connecteurs logiques ne sont pas vrifonctionnels. Cest le cas du
connecteur parce que . Imaginons en effet un contexte dans lequel il est vrai que Ses lunettes sont casses parce quil les a
faites tomber . Alors les deux propositions Ses lunettes sont casses et Il les a faites tomber sont vraies. Remplaons
prsent Il les a faites tomber par La glace est un solide , elle aussi vraie. Si le connecteur parce que tait vrifonctionnel,
notre nouvelle proposition Ses lunettes sont casses parce que la glace est un solide devrait encore tre vraie ; ce qui nest
pas le cas. Cette absurdit prouve que parce que nest pas vrifonctionnel.

1.1.1 Ngation non

p non p
La proposition non p est vraie si p est fausse, fausse si p est vraie. V F
F V

p non p non (non p)

Loi de la double ngation : p et non (non p) sont deux propositions
V F V
quivalentes. On sen rend compte en observant la table suivante :
F V F
- %
Colonnes identiques

1
1.1.2 Conjonction et, disjonction ou
p q p et q p ou q
La proposition p et q est vraie si p et q sont vraies, fausse dans tous les autres cas. V V V V
Quant la proposition p ou q , elle est vraie si p est vraie ou si q est vraie (ventuellement V F F V
les deux), fausse dans le seul cas o p et q sont fausses toutes les deux. F V F V
F F F F

$ $ $ Attention ! Dans le langage usuel, il arrive que le ou oppose les termes quil relie : dans lexpression fromage
ou dessert , le ou est exclusif car il exclut la possibilit quon choisisse les deux (fromage et dessert).
Au contraire, en mathmatiques, ou est inclusif : p ou q est vraie mme quand p et q sont vraies.

Lois de De Morgan :
non (p et q) et (non p) ou (non q) sont deux propositions quivalentes.
non (p ou q) et (non p) et (non q) sont deux propositions quivalentes.

p q non p non q p et q non (p et q) (non p) ou (non q) p ou q non(p ou q) (non p) et (non q)

V V F F V F F V F F
V F F V F V V V F F
F V V F F V V V F F
F F V V F V V F V V
- % - %
Colonnes identiques Colonnes identiques

Je naime ni le chocolat ni la vanille (non p) et (non q)
Exemple Ces deux phrases sont quivalentes : .
Il est faux que jaime le chocolat ou la vanille non (p ou q)

1.1.3 Implication =
p q p = q
La proposition p = q se lit p implique q ou si p, alors q . Elle est vraie si p est fausse
V V V
ou si q est vraie, fausse uniquement lorsque p est vraie et q fausse. Elle rpond la question : si on
V F F
suppose que p est vraie, q lest-elle aussi ? La proposition p est appele lantcdent de limplication
F V V
p = q , et q est appele son consquent.
F F V

   En pratique Pour montrer la vrit dune implication p = q , il convient dabord de supposer que p est
vraie (ce nest l quune hypothse) ; puis de montrer dune faon ou dune autre que, sous cette hypothse, q est vraie. Mme
si vous ne savez pas dmontrer jusquau bout que limplication p = q est vraie, vous devez sur votre copie, de vous-mme,
commencer btement par : Supposons p vraie .

$ $ $ Attention !
Une implication p = q peut tre vraie alors que p et q nont rien de commun. Il suffit que leurs valeurs de vrit
respectent la table de vrit de limplication. Ainsi la phrase Si 0 = 0, alors les oiseaux ont des plumes est vraie.
Par dfinition, p = q est toujours vraie quand p est fausse. Ainsi la phrase trange Si 0 6= 0, alors 0 = 0 est vraie.
Aprs un tel exemple, la dfinition du connecteur = peut sembler suspecte ; pourquoi donc avoir choisi cette table de
vrit ? Nous le justifierons un peu plus loin.
Affirmer que p = q est vraie nimplique ni que p est vraie, ni que q est vraie. Ainsi, il est vrai que Si Pinocchio
est Prsident de la Rpublique, alors il est le chef des armes ; pourtant il est faux que Pinocchio est Prsident de la
Rpublique, et il est galement faux quil est chef des armes.

p q non q p = q non (p = q) p et (non q)

Ngation dune implication : non (p = q) V V F V F F
et p et (non q) sont deux propositions quivalentes. V F V F V V
F V F V F F
F F V V F F
- %
Colonnes identiques

   En pratique Conformment ce qui prcde, pour montrer quune implication p = q est fausse, on peut
montrer que p et (non q) est vraie, i.e. que p est vraie mais que q est fausse.

2
 Exemple Est-il vrai que, si on a 18 ans (p), alors on a le droit de vote (q) ? La rponse est. . . non. Car je peux trs bien
avoir 18 ans p est vraie et un casier judiciaire tel que le droit de vote ma t supprim q est fausse.

p q non q non p p = q (non q) = (non p)

Contraposition :
V V F F V V
p = q et (non q) = (non p) sont deux proposi-
V F V F F F
tions quivalentes. La proposition (non q) = (non p) est
F V F V V V
appele la contrapose de limplication p = q .
F F V V V V
- %
Colonnes identiques

Sil pleut, alors il y a des nuages p = q
Exemple Ces deux phrases sont quivalentes : .
Sil ny a pas de nuages, alors il ne pleut pas (non q) = (non p)

1.1.4 Equivalence
p q p q
V V V
La proposition p q se lit p si et seulement si q ou p et q sont quivalentes . Elle est
V F F
vraie si p et q ont la mme valeur de vrit, fausse sinon.
F V F
F F V

p q p = q q = p p q (p = q) et (q = p)
Equivalence et double implication :
V V V V V V
p q et (p = q) et (q = p) sont deux
V F F V F F
propositions quivalentes. La proposition q = p est
F V V F F F
appele la rciproque de limplication p = q .
F F V V V V
- %
Colonnes identiques

   En pratique Pour montrer quune quivalence p q est vraie, on peut choisir lune des trois mthodes
suivantes :
1) aller de p jusqu q au moyen dun raisonnement dont chaque tape est une quivalence :

p p1 p2 . . . pn q ;

2) montrer limplication p = q , puis sa rciproque q = p ;

3) montrer limplication p = q , puis la contrapose de sa rciproque (non p) = (non q) .

Revenons un instant sur le connecteur =. Nous sommes rests sur un point dinterrogation tout lheure : pourquoi avoir
dcid que p = q est vraie quand p est fausse ? Cela a pour consquence trange que la proposition Si 0 6= 0, alors 0 = 0
est vraie.
En ralit avions-nous le choix ? Ce qui est sr, cest quil nest pas question
p q p = q q p q p et q
de toucher aux deux premires lignes de la table de vrit de limplication.
V V V V V V
Seules les deux dernires lignes nous gnent, lorsque p est fausse. Et si on les
V F F F F F
changeait ? Le problme, cest quen changeant les deux dernires lignes de la
F V V V F F
table de vrit de limplication, on retombe sur des connecteurs dj connus
F F V F V F
comme lillustre la table ci-contre :

1.2 Quantificateurs universel et existentiel

1.2.1 Dfinition

On appelle prdicat toute proprit portant sur un ou plusieurs objets donns en arguments. Par exemple, tre un oreiller
est un prdicat ; si nous le notons O, la notation O(x) signifiera x est un oreiller . De mme, tre plus g que est un
prdicat, portant lui sur deux objets ; si nous le notons A, la notation A(x, y) pourra signifier x est plus g que y . En
mathmatiques, nous connaissons quelques prdicats incontournables : =, 6, < . . . sauf quau lieu de noter 6 (x, y), on prfre
employer la notation x 6 y.

3
 Il existe deux quantificateurs en mathmatiques : le quantificateur universel et le quantificateur existentiel . Si E est un
ensemble et si P est un prdicat un objet :
la proposition Tous les lments de E vrifient la proprit P scrit : x E, P(x)
et se lit : Pour tout x lment de E/quel que soit x lment de E, x vrifie P ;
la proposition Lun (au moins) des lments de E vrifie la proprit P scrit : x E/ P(x)
et se lit : Il existe un lment x de E tel que x vrifie P .

   En pratique La remarque qui suit est trs importante : je me ferai un plaisir de couper la tte tous ceux qui
napprendront pas vite la respecter. Vous la retrouverez avec davantage de dtails dans le Petit manuel de bonne rdaction .
Supposons quon veuille dmontrer un thorme base de de la forme : x E, P(x). La plupart des thormes
mathmatiques peuvent se mettre sous cette forme.
Vous avez le droit de ne pas savoir dmontrer jusquau bout un tel thorme, mais vous navez pas le droit de ne pas savoir
comment commencer votre dmonstration. Sans rflchir, vous la commencerez par : Soit x E . Un lment x tant
ainsi fix, vous tenterez de montrer que ce x a la proprit P. Si vous y parvenez, cest termin.
Supposons quon veuille dmontrer un thorme base de de la forme : x E/ P(x).
Montrer lexistence dun objet mathmatique ici, lexistence dun lment x de E qui vrifie la proprit P revient
exhiber un tel objet. Lexemple suivant illustre la marche suivre dans un tel contexte.

Exemple x, y R, z R/ z > x + y.
En effet Prouvons cette proposition. La formulation x, y R est un raccourci dcriture pour dire
x R, y R .
Dbut de la dmonstration : soient x, y R. Un x et un y tant fixs, nous devons montrer lexistence dun
rel z tel que z > x + y. Or dmontrer lexistence dun objet revient donner un exemple de tel objet. Ici nous
avons le choix : nimporte quel rel strictement suprieur x + y convient. Par exemple, posons z = x + y + 1.
Alors z = x + y + 1 > x + y. Cest termin.

$ $ $ Attention ! La lettre x de x, P(x) ou y, P(x) peut tre remplace par nimporte quel symbole
napparaissant pas dans P ; tout symbole figurant dans P est exclu.
Pour comprendre cela, fixons un entier naturel n (quelconque) et intressons-nous au prdicat tre infrieur ou gal n .
Imaginons quon veuille rpondre la question : tous les entiers naturels sont-ils infrieurs ou gaux n ? Bien sr la rponse est
non, car par exemple n + 1 nest pas infrieur ou gal n. En tout cas, la proposition dmontrer scrit : k N, k 6 n.
La lettre k pourrait ici tre remplace par les lettres x, p . . . mais pas par la lettre n. En effet, la proposition obtenue serait
alors : n N, n 6 n, qui est vraie, tous les entiers naturels tant infrieurs ou gaux eux-mmes.

1.2.2 Ngation


Ngation du quantificateur universel : Les propositions non x E, P(x) et x E/ non P(x)
sont quivalentes.

Exemple Ces deux phrases sont quivalentes :



Il est faux que tout homme a les yeux bleus non x E, P(x)
.
Certains hommes nont pas les yeux bleus / Il existe au moins un homme qui na pas les yeux bleus x E/ non P(x)

Ngation du quantificateur existentiel : Les propositions non x E/ P(x) et x E, non P(x)
sont quivalentes.

Exemple Ces deux phrases sont quivalentes :



Aucun homme na de cornes / Il est faux quil existe un homme cornes non x E/ P(x)
.
Tout homme est sans cornes x E, non P(x)

   En pratique Pour nier une phrase contenant un ou plusieurs quantificateurs, on rcrit cette phrase : 1) en
remplaant tous les par des et tous les par des , et 2) en niant le prdicat final.

Exemple La ngation de la proposition : " #

 
 x 
> 0, > 0/ x R, |x| < = 
 x2 + 1  <
l l l " l Ngation
#
 
 x 
est : > 0/ > 0, x R/ |x| < et  
 x2 + 1  > .

4
1.2.3 Permutation des quantificateurs

On peut toujours permuter les quantificateurs universels entre eux, et les quantificateurs existentiels entre eux.

Exemple
Les propositions x R+ , y R , x>y et y R , x R+ , x > y sont quivalentes.
Les propositions x R+ , y R , x>y et y R , x R+ , x > y sont quivalentes.

$ $ $ Attention ! La permutation dun et dun nest pas aussi facile. Voyons cela sur deux exemples.

Dans toute cerise il y a un noyau . Formellement, cette proposition scrit :

c cerise, n noyau/ n est dans c.

Quarrive-t-il si nous permutons et ? Essayons : n noyau/ c cerise, n est dans c . En bon franais, cela
donne : Il existe un noyau qui se trouve dans toutes les cerises . Tiens donc : alors que nous tions convaincus de la
vrit de la proposition initiale, cette nouvelle proposition nous parat clairement fausse.
Conclusion : quand une proposition de la forme est vraie, la proposition correspondante peut tre fausse.
Lopration de permutation qui fait passer dune configuration une configuration est interdite.

Il existe une femme qui est la mre de tous les tre humains (faisons comme si Eve existait). Formellement, cette
proposition scrit :
f femme/ h tre humain, f est la mre de h.
A prsent permutons et : h tre humain, f femme/ f est la mre de h . En bon franais, cela donne :
Tout homme a une mre , proposition videmment vraie. La permutation a ici fonctionn convenablement, mais la
proposition obtenue aprs permutation est beaucoup moins forte, beaucoup moins contraignante que celle dont nous
sommes partis : la premire tait vraie condition quEve ait exist ; la seconde au contraire est dune banalit incroyable.
Conclusion : quand une proposition de la forme est vraie, la proposition est elle aussi vraie. Ce genre de
permutation est donc autoris.

1.2.4 Le pseudo-quantificateur !

Parfois on ne veut pas seulement affirmer quun objet existe avec certaines proprits, mais affirmer en outre quil est le
seul possder ces proprits. La proposition Il existe (un et) un seul lment de E qui possde la proprit P scrit en
mathmatiques : ! x E/ P(x) et se lit : Il existe un unique x lment de E tel que x vrifie P .

   En pratique Pour dmontrer la proposition ! x E/ P(x) , on a deux choses dmontrer : lexistence dun
tel x et son unicit.
Pour lexistence, on fait comme si on travaillait avec la proposition x E/ P(x) .
Pour lunicit, on suppose gnralement que deux lments x et x de E ont la proprit P et on montre alors que x = x0 .
0

Cela montre quil ne peut y avoir deux objets distincts possdant la proprit P, autrement dit quil ny en a quun seul.

Exemple ! x R+ / x2 = 1.
En effet
Existence : Posons x = 1. Alors x R+ et x2 = 1 comme voulu.
Unicit : Soient x, x0 R+ . On suppose que x2 = x02 = 1. Montrons que x = x0 . Or puisque x2 = x02 , on
a x = x0 ou x = x0 .
Peut-on avoir x = x0 ? Si cest le cas, alors comme x et x0 sont positifs, x = x0 = 0. Cela contredit le fait
que x2 = x02 = 1. On ne peut donc pas avoir x = x0 . Par consquent x = x0 comme voulu.

5
1.3 Le raisonnement par rcurrence
Soient P0 , P1 , P2 , . . . une suite infinie de propositions. Supposons quon veuille dmontrer la proposition : n N, Pn .
Le raisonnement par rcurrence est la technique gnrale de dmonstration adapte ce problme.

Initialisation Hrdit
z }| { z }| {
Principe de la rcurrence : Si P0 est vraie, et si, pour tout n N, la vrit de Pn implique la vrit de Pn+1 ,
alors la proposition : n N, Pn est vraie.
Plus gnralement, n0 tant un entier naturel fix, si Pn0 est vraie, et si, pour tout n N, n > n0 , la vrit de Pn implique
la vrit de Pn+1 , alors la proposition : n N, n > n0 , Pn est vraie.

Exemple Soit (un )nN une suite gomtrique de raison q, o q C. Montrons que pour tout n N : un = q n u0 .
En effet
Initialisation : On a q 0 = 1 par convention, donc u0 = q 0 u0 .
Hrdit : Soit n N. On suppose que un = q n u0 . Il sagit de montrer que un+1 = q n+1 u0 .
Facile : un+1 = qun = q q n u0 = q n+1 u0 comme voulu. Fin de la rcurrence.

Exemple Par dfinition, un entier n Z est pair sil existe k Z tel que n = 2k, et impair sil existe k Z tel que n = 2k + 1.
Nous allons dmontrer que tout entier est pair ou impair.
En effet
Initialisation : Lentier 0 est pair car il scrit 0 = 2 0.
Hrdit : Soit n N. On suppose n pair ou impair. Il sagit de montrer que (n + 1) est lui aussi pair ou
impair. Deux cas se prsentent :
1) si n est pair, de la forme n = 2k o k Z, alors n + 1 = 2k + 1 donc (n + 1) est impair ;
2) si n est impair, de la forme n = 2k + 1 o k Z, alors n + 1 = (2k + 1) + 1 = 2(k + 1) avec
k + 1 Z et donc (n + 1) est pair.
Au final (n + 1) est pair ou impair comme voulu. Fin de la rcurrence.

Nous venons donc de montrer que tout entier naturel est pair ou impair. Quen est-il des entiers ngatifs ?
Soit n un tel entier. Alors n est un entier naturel, donc n est pair ou impair :
1) si n est pair, on peut lcrire n = 2k o k Z, donc n = 2(k) est pair avec k Z ;
2) si n est impair, on peut lcrire n = 2k + 1 o k Z, donc n = 2k 1 = 2(k 1) + 1 est
impair avec (k 1) Z.
Dans les deux cas n est pair ou impair. Cest termin.

   En pratique Pour rdiger vos rcurrences, je vous recommande dadopter la rdaction des deux exemples prcdents.
1) Dabord on initialise ; cest gnralement facile, mais il faut quand mme le faire.
2) Ensuite on se donne un entier naturel n quelconque Soit n N et on suppose que la proprit
dmontrer est vraie au rang n. Il reste dmontrer, sous cette hypothse, la proposition au rang (n + 1). Et cest tout.

$ $ $ Attention ! Dans la partie hrdit dune rcurrence, ne commencez jamais par : On suppose que pour tout
entier n, Pn est vraie. . . Car si vous supposez ainsi le rsultat quil faut montrer, vous ne le montrerez jamais. Cette erreur
est trs grave.

Bien souvent, lhypothse que Pn est vraie ne suffit pas pour montrer que Pn+1 est vraie : on peut avoir besoin de Pn et
Pn1 , voire de toute la suite P0 , P1 , . . . , Pn . Nous allons voir sur un exemple comment le raisonnement par rcurrence peut tre
adapt de tels cas.

Exemple Soit (un )nN la suite relle dfinie par u0 = 1, u1 = 5 et : n N, un+2 = 3un+1 2un .
Alors : n N, un = 6.2n 7.
En effet
Tout terme de la suite (un )nN ne peut tre calcul que si les deux termes prcdents sont dj connus ; on
ne peut calculer un+2 que si lon connat un et un+1 . Quant nous, nous voulons montrer la proprit Pn
un = 6.2n 7 pour tout n N. Nous ne pouvons pas la dmontrer par une rcurrence classique, car
pour montrer Pn+1 , nous aurions besoin de supposer Pn et Pn1 vraies.

Pour tout n N, notons Qn la proprit Pn et Pn+1 . Supposons quon ait russi montrer que Qn est
vraie pour tout n N ; alors on a en fait montr que Pn est vraie pour tout n N. Montrer la proposition
n N, Pn revient donc montrer la proposition n N, Qn . Mais alors que nous ne pouvions pas
montrer la premire par une rcurrence classique, nous allons pouvoir montrer la deuxime trs simplement.

6
 P0 P1
z }| { z }| {
0
1) Initialisation : u0 = 1 = 6.2 7 et u1 = 5 = 6.21 7. Bref, Q0 est vraie.
2) Hrdit : Soit n N. Supposons Qn vraie. Cela revient supposer Pn et Pn+1 vraies. Nous
devons montrer que Qn+1 est vraie, i.e. que Pn+1 et Pn+2 le sont. Mais comme Pn+1 est vraie par
hypothse, il ne nous reste plus qu montrer que Pn+2 est vraie ; ce qui est facile :



un+2 = 3un+1 2un = 3 6.2n+1 7 2 6.2n 7 = 9.2n+2 21 3.2n+2 + 14 = 6.2n+2 7.

Fin de la rcurrence.

En pratique, ne vous embtez pas dfinir proprement la proprit double Qn . Rdigez votre preuve de la
faon suivante :
1) Initialisation : Comme ci-dessus (double initialisation).
2) Hrdit : Soit n N. On suppose que un = 6.2n 7 et que un+1 = 6.2n+1 7. Montrons que
un+2 = 6.2n+2 7. Cest facile : un+2 = . . . = 6.2n+2 7. Et voil, cest termin.

Remarque On a souvent limpression, quand on fait des rcurrences, que les initialisations ne servent rien. Quelle erreur
de le croire ! Tentons par exemple de montrer que : n N, n = n + 1. Ce rsultat est faux, bien entendu.
Hrdit : Soit n N. Nous supposons que n = n + 1 et voulons montrer que n + 1 = (n + 1) + 1. Cest facile, il suffit
dajouter 1 aux deux membres de lhypothse de rcurrence : puisque n = n + 1, alors n + 1 = n + 2. Lhrdit ne pose
donc aucun problme.
Initialisation : En fait cest linitialisation qui pose problme, car lgalit 0 = 1 est fausse.

1.4 Le raisonnement par labsurde

Principe du raisonnement par labsurde : Pour montrer que p est vraie, on suppose quelle est fausse et on
tche den tirer une contradiction, i.e. la vrit de deux propositions q et non q ; une proposition et sa ngation ne pouvant
tre vraies toutes les deux, on en dduit que lhypothse selon laquelle p est fausse est fausse, i.e. que p est vraie.

Exemple Tout entier est pair ou impair, mais pas les deux.
En effet Soit n Z. Nous avons dj vu que n est pair ou impair. Peut-il tre les deux la fois ? Pour montrer
1
que non, supposons que oui. Alors n scrit n = 2k = 2l + 1 o k, l Z. On a donc 2(k l) = 1, et du coup est
2
un entier ; ce qui est faux. Lhypothse selon laquelle n est la fois pair et impair est donc fausse ; par consquent
n est pair ou impair, mais pas les deux.

Exemple Rappelons quun nombre est dit rationnel sil est le quotient dun entier par un entier non nul, i.e. sil est une
fraction dentiers ; au contraire, un nombre est dit irrationnel sil nest pas rationnel.

Nous allons montrer ci-dessous que : 2 est irrationnel.
En effet
Commenons par un petit lemme : pour tout n Z, n est pair si et seulement si n2 est pair. Fixons donc
n Z.
1) Si n est pair, alors on peut crire n = 2k o k Z, et donc n2 = (2k)2 = 2(2k2 ) avec 2k2 Z ;
cela montre que n2 est pair.
2) Pour la rciproque, raisonnons par contraposition : cela revient montrer que si n nest pas pair,
alors n2 nest pas pair. Si donc n nest pas pair, alors n est impair comme nous lavons vu, donc de la
forme n = 2k + 1 o k Z. On a alors n2 = (2k + 1)2 = 2(2k2 + k) + 1 avec (2k2 + k) Z, de sorte que
n2 est impair. Lexemple prcdent implique aussitt que n2 nest pas pair.
p
Supposons prsent, par labsurde, que 2 est rationnel. Alors 2 peut scrire sous la forme o p et q
q
p
sont deux entiers. Choisissons p et q de faon ce que la fraction soit irrductible aucune simplification
q
nest plus possible.

2
1) Lgalit p2 = q 2 = 2q 2 montre que p2 est pair. Mais donc p est pair via le premier point et
0 0
scrit p = 2p avec p Z.

7
    
p
2
2p0
2

2
2) Du coup q 2 = = = p0 2 = 2p02 . Ceci montre que q 2 est pair, et donc q aussi
2 2
est pair, de la forme q = 2q 0 avec q 0 Z.
p
Concluons. Nous venons sans le voir de montrer que la fraction tait rductible, contrairement notre
q
0 0
p 2p p
hypothse, puisque = 0 = 0 contradiction.
q 2q q

2 Un peu de thorie des ensembles

2.1 Appartenance et inclusion E

b x

Les notions intuitives densemble et dappartenance sont supposes connues : les ensembles sont des sacs de billes dont les
lments sont. . . les billes. Pour tout ensemble E, la relation x est un lment de E ou x appartient E est note x E ;
/ E pour dire que x nappartient pas E. Lensemble vide, i.e. qui na pas dlment, est not .
on note x

Exemple
On note N lensemble des entiers naturels, Z lensemble des entiers relatifs, Q lensemble des rationnels, R lensemble des
rels et C lensemble des nombres complexes.
On note en outre E+ lensemble des lments positifs ou nuls de E quand E est lun des ensembles Q ou R ; mme principe
pour la notation E .
On note enfin E lensemble des lments non nuls de E quand E est lun des ensembles N, Z, Q, Q+ , Q , R, R+ , R , C.

Dfinition (Egalit) Soient E et F deux
ensembles. On dit que E et F sont gaux sils possdent exactement les mmes
lments, i.e. si : x, x E x F .
Cette relation entre E et F est note E = F .

Un ensemble peut tre dfini de deux faons : en extension ou en comprhension.

Dfinir un ensemble en extension, cest donner la liste complte explicite dentous ses
o lments ; on note cette liste
entre accolades, lordre des lments lists nayant aucune importance. Par exemple, 0, 1, 2 est un ensemble, le mme que
n o  n o
2, 1, 0 . Un ensemble de la forme x , i.e. seul lment, est appel un singleton ; un ensemble de la forme x, y avec
x 6= y, i.e. deux lments, est appel une paire. Il est bien vident quon ne peut dfinir en extension que des ensembles
ayant un nombre fini dlments, incapables que nous sommes dcrire une liste infinie de symboles.
Dfinir un ensemble en comprhension, cest donner une proprit vrifie par les lments de cet ensemble et eux
seuls. Parler par
n exemple de lensemble
o des entiers naturels qui sont gaux leur carr, cest parler dun ensemble unique
2
que lon note n N/ n = n ; la lettre n pourrait tre remplace par nimporte quelle symbole ne figurant pas dans
la dfinition de lensemble. 
Les lments dun ensemble sont souvent reprs dans une liste par un ou plusieurs paramtres . Ainsi xi iI dsigne
lensemble des lments notsn xi reprs par un indice
o i dcrivant un certain ensemble I. Dcrit en comprhension,

cet ensemble scrit aussi x/ i I/ x = xi . Par exemple, 2n nN dsigne lensemble constitu des lments
20 , 21 , 22 , 23 . . .
Que ce soit bien clair : il ny a pas deux sortes densembles en mathmatiques. Un mme ensemble, sil est fini, sera dfini
tour tour en extension ou en comprhension selon les contextes. Ainsi les quatre ensembles dcrits ci-dessous sont gaux :
n o n o n o n o
0, 1 = n N/ n2 = n = z C/ z2 = z = n Z/ n > 0 et n < 2 .

Dfinition (Inclusion) Soient E et F deux ensembles. On dit que E est inclus dans F si tout lment de E est un lment
de F , i.e. si : x E, x F .
E F
Cette relation entre E et F est note E F . On dit aussi que F contient E ou que E est une partie de F .

Exemple Les inclusions suivantes sont bien connues : N Z Q R C.

8
$ $ $ Attention ! Lerreur classique consiste confondre lappartenance et linclusion . Soyez vigilants !
n  o 
Lensemble 0, 0 est lensemble dont les lments sont exactement 0 et 0 .
n  o n  o
1) Il est vrai que 0 0, 0 car 0 est bien un lment de 0, 0 .
 n  o  n  o
2) Il est vrai que 0 0, 0 car 0 est bien un lment de 0, 0 .
 n  o  
3) Il est vrai que 0 0, 0 . En effet, 0 a pour seul lment 0. Tout lment de 0 est donc bel et
n  o
bien lment de 0, 0 .
n o n  o n o 
4) Il est vrai enfin que 0 0, 0 . En effet, 0 a pour seul lment 0 . Tout lment de
n o n  o
0 est donc bel et bien lment de 0, 0 .
n o n o
On a 0 N, mais 0 * N. On a 1, 0, 1 Z, mais / Z.
1, 0, 1

   En pratique Si vous devez montrer une inclusion E F vous aurez trs souvent le faire commencer sans
rflchir ainsi : Soit x E. Montrons que x F . Vous avez le droit de ne pas russir aller plus loin, mais vous devez au
moins penser faire cela.

n o
Exemple x R/ y R+ / x>y R+ .

En effet Soit x R pour lequel il existe y R+ tel que x > y. Montrons que x R+ .
Or y > 0 par hypothse et x > y, donc x > 0. Cela montre bien que x R+ .

Exemple Si E est lensemble des entiers de la forme k(k + 1) o k N et si 2N est lensemble des entiers naturels pairs,
alors : E 2N. En franais, cela revient dire que tout entier de la forme k(k + 1) avec k N est pair.
En effet Soit n E. Montrons que n 2N. Par dfinition, il existe k N tels que n = k(k + 1). Or lun des
entiers k et (k + 1) est pair. En effet, k est pair ou impair, et si k est impair, alors k + 1 est pair. Par produit,
n = k(k + 1) est donc pair. En dautres termes, n 2N comme annonc.

Thorme Soient E et F deux ensembles. E et F sont gaux si et seulement si E F et F E.

   En pratique Pour dmontrer lgalit de deux ensembles E et F , deux possibilits :

1) soit vous raisonnez directement par quivalence : x E . . . x F ;
Il nest malheureusement pas toujours possible de raisonner ainsi, cela peut savrer compliqu rdiger.
2) soit vous raisonnez par double inclusion en vous appuyant sur le thorme prcdent. Cela revient raisonner
en deux temps. Premier temps : vous vous donnez un lment de E et vous montrez quil appartient F .
Second temps : vous vous donnez un lment de F et vous montrez quil appartient E.

Lexemple suivant illustre lusage de la technique 2). La technique 1) sera illustre plus loin par diffrents thormes.
n o
Exemple R = x R/ y R+ , x6y .

En effet
n o
Montrons que R x R/ y R+ , x6y .
Soit x R . Nous devons montrer que : y R+ , x 6 y. Soit donc y R+ . On a bien x 6 y comme
voulu, puisque x est ngatif et y positif.
n o
Montrons que x R/ y R+ , x6y R .
Soit x R tel que : y R+ , x 6 y. Alors en particulier x 6 0 (pour y = 0). Cela montre bien que
x R .

Dfinition (Ensemble des parties) Soit E un ensemble. Lensemble des parties de E est not P(E).
Pour tout ensemble A, on a donc : A P(E) A E.

$ $ $ Attention ! Dire que A appartient P(E) quivaut dire que A est incluse dans E. Il est ici particulirement
important de comprendre la diffrence entre appartenance et inclusion.

9
Exemple Soit E un ensemble. Alors E P(E) et P(E).
En effet
Montrons que E P(E). Cela revient montrer que E E, ce qui est vrai car tout lment de E est un
lment de E.
Montrons que P(E). Cela revient montrer que tout lment de est un lment de E
; autrement
dit que, pour tout x, si x , alors x E ; ce qui scrit encore : x, x = x E .
Or par dfinition na pas dlment. Dantcdent faux, limplication x
= x E est donc vraie
via la table de vrit de =. Il est donc vrai que : x, x = x E comme voulu.

2.2 Oprations sur les ensembles

Dfinition (Runion, intersection) Soient A et B deux ensembles.

On appelle runion de A et B, note A B, lensemble des x tels que : xA ou x B.
On appelle intersection de A et B, note A B, lensemble des x tels que : xA et x B.

A A

AB AB
B B


Ces dfinitions se gnralisent au cas de plus de deux ensembles. Soit Ai iI
un ensemble densembles cela veut dire que I
est un ensemble, et que pour tout i I, Ai est un ensemble.
[
On appelle runion des Ai , i I, note Ai , lensemble des x tels que : i I/ x Ai .
iI
x est dans lun des Ai
\
On appelle intersection des Ai , i I, note Ai , lensemble des x tels que : i I, x Ai .
iI
x est dans tous les Ai

   Explication On notera bien les paralllismes suivants : /ou/ dune part, /et/ dautre part.

Dfinition (Ensembles disjoints) Soient E et F deux ensembles. On dit que E et F sont disjoints si E F = , autrement
dit si E et F nont aucun lment commun.


Thorme (Distributivit de la runion et de lintersection lune sur lautre) Soient Ai un ensemble densembles
[  [
\  \

iI
et B un ensemble. Ai B = Ai B et Ai B = Ai B .
iI iI iI iI

Dmonstration Contentons-nous de dmontrer la premire galit. La deuxime se montre de la mme faon.

Soit x.
[  [

x Ai B x Ai et xB i I/ x Ai et xB
iI iI


i I/ x Ai et xB i I/ x Ai B
[

x Ai B . 
iI

10
Dfinition (Diffrence, complmentaire)
A
Soient A et B deux ensembles.
ArB B
On appelle diffrence de B dans A, note A r B, lensemble des x tels que : xA et x
/ B.

Ac
Soient E un ensemble et A une partie de E. Lensemble E rA est appel le complmentaire
de A dans E. Il est not Ac ou A quand il ny a pas dambigut. A
E


Thorme (Relations de De Morgan) Soit Ai iI
un ensemble de parties dun mme ensemble E.
[ c \ \ c [
Ai = Aci et Ai = Aci .
iI iI iI iI

   Explication
Pourquoi appeler ces galits
c relations de De Morgan ? Dans le cas de deux ensembles A et B, elles
c
scrivent : A B = Ac B c et A B = Ac B c .
Si nous voyons la runion comme un ou , lintersection comme un et et le passage au complmentaire comme un non ,
ces galits nous rappellent les lois de De Morgan de notre introduction la logique. A mditer.

Dmonstration Contentons-nous de dmontrer la premire galit. Soit donc x E.

[ c  [ 

x Ai non x Ai non i I/ x Ai
iI iI

\
i I, non x Ai i I, x Aci x Aci . 
iI

Nous aurons loccasion de revenir plus tard sur les dfinitions qui suivent. Contentons-nous ici dune prsentation intuitive.
Pour tout m, n Z tels que m 6 n, on note Jm, nK lensemble des entiers compris entre m et n (m et n inclus) ; si on veut
exclure m par exemple, on utilise la notation Km, nK ;

Dfinition (Famille)
Soient E et I deux ensembles. Une suite dlments de E reprs chacun par un lment de I est appele une famille
dlments de E indexe par I.
Une telle famille est note (xi )iI xi E tant repr par lindice i I. Dans le cas o I = Jm, nK o m, n Z
sont tels que m 6 n, on la note plus couramment (xi )m6i6n ou (xm , xm+1 , . . . , xn ).
Deux familles (xi )iI et (yi )iI dlments de E indexes par I sont gales si et seulement si : i I, x i = yi .
Llment xi est appel la composante dindice i de (xi )iI .

$ $ $ Attention !

Ne confondez surtout pas la famille (xi )iI avec lensemble xi . Dans un ensemble, les lments sont donns sans
n oiI n o
ordre ; dans une famille lordre des lments compte. Ainsi 1, 2, 3 = 2, 3, 1 , mais (1, 2, 3) 6= (2, 3, 1).
 
Dans une famille du type (xi )m6i6n , il y a nm +1 lments, et non pas (n m) comme on pourrait le penser.

Dfinition (Produit cartsien) Soient E1 , E2 , . . . , En des ensembles non vides. Lensemble des familles (x1 , x2 , . . . , xn ) dans
lesquelles x1 E1 , x2 E2 , . . . xn En est appel le produit (cartsien) de E1 , E2 , . . . , En et not E1 E2 . . . En .
Dans le cas o E1 = E2 = . . . = En = E, le produit E1 E2 . . . En est gnralement not E n .

Remarque Les dbuts de proposition x E1 , y E2 , . . . et (x, y) E1 E2 , . . . sont rigoureusement identiques.

11
3 Un peu de calcul
P
3.1 Le symbole somme

3.1.1 Dfinition

P
Dfinition (Symbole ) Soient I un ensemble X fini et (zi )iI une famille de nombres complexes indexe par I. La somme
des zi , i parcourant lensemble I, est note zi .
iI
X
n X
Dans le cas o I = Jm, nK o m, n Z sont tels que m 6 n, on la note plus couramment zk ou zk . Elle vaut
k=m m6k6n
zm + zm+1 + zm+2 + . . . + zn .
X
Dans le cas o I = Jm, nK Jp, qK o m, n, p, q Z sont tels que m 6 n et p 6 q, on la note plus couramment zkl .
m6k6n
p6l6q

Remarque La lettre k peut tre remplace par tout symbole distinct des bornes m et n et ne figurant pas dans les zk .

P
   En pratique Le symbole est utilis trs souvent en mathmatiques. Quand vous tes bloqus devant une somme
quelconque, crivez-la in extenso, i.e. en dtaillant les termes qui la composent ; les choses peuvent vous paratre plus claires
X n

alors. Par exemple, pour tudier la somme k, on pourra lcrire 1 + 2 + 3 + . . . + n 1 + n.
k=1

k=m k=m+1 k=n (nm+1) fois

X
n
z}|{ z}|{ z}|{ z }| {
Exemple Soit C. = + +... + = + + . . . + = (n m + 1).
k=m

X
n   X1
n+1
1 1 1 1 1 1 1 1 1 1 1 1
Exemple 1+ = 1+ + + ... + + 1+ = + +...+ + + = .
k n+1 2 3 n1 n n+1 2 3 n1 n n+1 k
k=1 k=2

X
n X
n X
n
$ $ $ Attention ! Dans une somme du type zk , il convient de ne jamais confondre k et n. Ainsi k et n sont
k=1 k=1 k=1
X
n X
n
deux quantits tout fait diffrentes : n = n + n + . . . + n 6= 1 + 2 + 3 + . . . + (n 1) + n = k.
| {z }
k=1 k=1
n fois

3.1.2 Changements dindice

Le changement dindice est une opration trs courante. Les exemples valent ici mieux quun long discours.

Exemple
X
n
1 1 1 1 X 1 n+1
2
= 1 + 2 + 2 + ... + 2
= . On a effectu ici le changement dindice l = k + 1. Cela revient
k=0
(k + 1) 2 3 (n + 1) l=1
l2
remplacer tous les k de la somme initiale par des l 1. Mais il faut aussi changer les bornes. Quand k varie de 0 n, que
fait l = k + 1 ? Il varie de 0 + 1 = 1 n + 1.
X
9 X
7
r r = 22 + 33 + 44 + . . . + 99 = (s + 2)s+2 . On a effectu ici le changement dindice r = s + 2. Pendant que r varie
r=2 s=0
de 2 9, s = r 2 varie de 0 7.

12
3.1.3 Simplifications tlscopiques

Le rsultat suivant est la fois stupide et essentiel : les simplifications tlescopiques sont partout.

Thorme (Simplifications tlescopiques) Soit (zk )m6k6n+1 une famille de nombres complexes.
X
n
(zk+1 zk ) = zn+1 zm .
k=m

Dmonstration
simplification simplification simplification
X
n z }| {z }| { z }| {
(zk+1 zk ) = (zn+1 zn ) + (zn zn1 ) + (zn1 zn2 ) + . . . + (zm+2 zm+1 ) + (zm+1 zm ) = zn+1 zm . 
k=m

X
n Xn  
1 1 1 1
Exemple = =1 .
k=1
k(k + 1) k=1
k k + 1 n + 1

3.1.4 Sommes doubles

P
Thorme (Permutation des ) Soit (zij )16i,j6n une famille de nombres complexes.
X X
n X
n X
n X
n X X
n X
j
X
n X
n X X
n X
j1
X
n1 X
n
zij = zij = zij , zij = zij = zij , zij = zij = zij .
16i6n i=1 j=1 j=1 i=1 16i6j6n j=1 i=1 i=1 j=i 16i<j6n j=2 i=1 i=1 j=i+1
16j6n

Dmonstration
Premire srie dgalits : La famille (zij )16i,j6n peut tre prsente sous la forme dun tableau deux
entres :
j 1 2 3 n X X
i Calculer la somme zij , note aussi zij , cest calcu-
16i6n 16i,j6n
1 z11 z12 z13 z1n 16j6n
2 z21 z22 z23 z2n ler la somme de tous les termes de ce tableau. On peut effec-
3 z31 z32 z33 z3n tuer ce calcul de diffrentes manires. Voyons ce qui se passe si
.. .. .. .. .. .. on effectue dabord la somme des termes de chaque ligne, avant
. . . . . .
dadditionner les rsultats obtenus.
n zn1 zn2 zn3 znn
X
n
Pour tout i J1, nK, la somme des termes de la ime ligne scrit zij ; cest un certain nombre complexe
j=1
X
n X
n
qui dpend de i. Faire la somme des rsultats ainsi obtenus sur chaque ligne, cest faire la somme zij .
j=1 i=1
X X
n X
n
Ceci explique quon ait : zij = zij . On dmontre la seconde galit en sommant dabord
16i6n j=1 i=1
16j6n
sur chaque colonne.
X
Seconde srie dgalits : Calculer la somme zij , cest calculer la somme de termes du tableau
16i6j6n
suivant :
Pour tout j J1, nK, la somme des termes de la j me colonne
j 1 2 3 n X
j

i de ce tableau scrit zij ; cest un certain nombre complexe

i=1
1 z11 z12 z13 z1n
qui dpend de j. Faire la somme des rsultats ainsi obtenus sur
2 z22 z23 z2n X
n X
j
3 z33 z3n chaque colonne, cest faire la somme zij . Ceci explique
.. .. .. j=1 i=1
. . .
X X
n X
j
n znn quon ait : zij = zij .
16i6j6n j=1 i=1
On dmontre la seconde galit en sommant dabord sur chaque ligne.

13
 Troisime srie dgalits : A vous de jouer ! Je vous donne juste le tableau correspondant :
j 1 2 3 n
i
1 z12 z13 z1n
2 z23 z2n
3 z3n
.. .. ..
. . .
n


Q
3.2 Le symbole produit
P Q
Nous passerons plus vite sur les produits que sur les sommes ; car une fois quon a compris , on a compris .

Q
Dfinition (Symbole ) Soient I un Y ensemble fini et (zi )iI une famille de nombres complexes indexe par I. Le produit
des zi , i parcourant lensemble I, est not zi .
iI

(nm+1) fois
Y
n z }| {
Exemple Soit C. = . . . = nm+1 .
k=m

Y
n
Dfinition (Factorielle) Pour tout n N , on appelle factorielle n, note n!, le nombre n! = k = 1 2 3 . . . n.
k=1
Par convention, 0! = 1.

Y
n Y
n Y
n
$ $ $ Attention ! Dans un produit du type zk , il convient de ne jamais confondre k et n. Ainsi k et n sont
k=1 k=1 k=1
Y
n Yn
deux quantits tout fait diffrentes : nn = n = n n . . . n 6= 1 2 3 . . . (n 1) n = k = n!.
| {z }
k=1 k=1
n fois

Thorme (Simplifications tlescopiques) Soit (zk )m6k6n+1 une famille de nombres complexes non nuls.
Y
n
zk+1 zn+1
= .
k=m
zk zm

Q
Thorme (Permutation des ) Soit (zij )16i,j6n une famille de nombres complexes.
Y Y
n Y
n Y
n Y
n Y Y
n Y
j
Y
n Y
n Y Y Y
n j1 Y
n1 Y
n
zij = zij = zij , zij = zij = zij , zij = zij = zij .
16i6n i=1 j=1 j=1 i=1 16i6j6n j=1 i=1 i=1 j=i 16i<j6n j=2 i=1 i=1 j=i+1
16j6n

Y Y
Exemple La notation (ij 2 ) est un rsum de la notation (ij 2 ).
16i,j6n 16i6n
16j6n
! ! !n !n !2n
Y 2
Y
n Y
n
2
Y
n Y
n
2
Y
n Y
n
2
Y
n Y
n
(ij ) = (ij ) = in
j = n
i j = i j = (n!)n (n!)2n = (n!)3n .
16i,j6n i=1 j=1 i=1 j=1 i=1 j=1 i=1 j=1

P Q
$ $ $ Attention ! Les symboles et ne peuvent tre permuts en gnral. Ainsi :
Y
n X
n Y
n X
n X
n Y
n
1 = n = nn 6= n = 1 = 1.
i=1 j=1 i=1 j=1 j=1 i=1

Ce nest pas tonnant, car cest dj faux avec deux termes : (a + b)(c + d) 6= ab + cd en gnral.

14
3.3 Quelques formules connatre par cur

La dfinition et les formules suivantes sont en principe de simples rappels.

Dfinition (Coefficients binomiaux)

!
n
Pour tous n, k N tels que k 6 n, on appelle (coefficient binomial) k parmi n, not , le nombre :
k
!
n n!
= .
k k!(n k)!
! !
n n
Pour tout n N et pour tout k J0, nK : = .
k nk
! ! ! ! ! !
n n n n n n n(n 1)
Pour tout n N : = = 1, = =n et = = .
0 n 1 n1 2 n2 2
! ! !
n n n+1
Formule de Pascal : Pour n > 1, et pour tout k J1, nK : + = .
k1 k k

   Explication On peut calculer tous les coefficients

! binomiaux laide de la formule de Pascal, en construisant un
n
tableau quon appelle le triangle de Pascal. On y range dans la case qui se trouve lintersection de la ligne n et de la
k
colonne k.
k 0 1 2 3 4 5 ... ! !
zoom
n n n
0 1 +
k1 k
1 1 1
2 1 2 1 zoom !
n+1
3 1 3 3 1 =
4 1 4 6 4 1 k
5 1 5 10 10 5 1
.. .. ..
. . . Formule de Pascal

!
n
X
n
n k nk
Thorme (Formule du binme de Newton) Soient n N et a, b C. (a + b) = a b .
k
k=0

Dmonstration Soient a, b C fixs. Raisonnons par rcurrence.

! !
0 0 00 X 0 k 0k
0
0
Initialisation : (a + b) = 1 = a b = a b .
0 k=0
k
!
X
n
n k nk
Hrdit : Soit n N. On suppose que (a + b)n = a b .
k
k=0
! ! !
n+1 n
X
n
n k nk X n n X n n
(a + b) = (a + b)(a + b) = (a + b) a b =a ak bnk + b al bnl
k k l
k=0 k=0 l=0
! ! ! !
X
n
n k+1 nk X
n
n l nl+1 X
n1
n k+1 nk X n l nl+1
n
= a b + ab = an+1 + a b + ab + bn+1
k=0
k l=0
l k=0
k l=1
l
! !
X
n
n 0 0 X n n
= an+1 + ak bnk +1 + al bnl+1 + bn+1 (changement dindice k0 = k + 1)
k 1
0 l
k0 =1 l=1
" ! !#
X
n
n n
= an+1 + + ak b(n+1)k + bn+1
k=1
k1 k

15
 !
X
n
n + 1 k (n+1)k
n+1
=a + a b + bn+1 (formule de Pascal)
k
k=1
!
X
n+1
n + 1 k (n+1)k
= a b . Fin de la rcurrence. 
k=0
k

Pour a = b = 1, et pour a = 1 et b = 1, on obtient les identits suivantes suivantes :

! !
X
n
n n
X
n
k n

Corollaire Soit n N . =2 et (1) = 0.
k k
k=0 k=0

X
n
n(n + 1) X
n
n(n + 1)(2n + 1)
Thorme Soit n N. k= , k2 = .
k=0
2 k=0
6

Dmonstration
X
n
Notons Sn = k. Effectuant dans Sn le changement dindice l = n k, nous obtenons la chane dgalits
k=0
X
n X
n X
n
n(n + 1)
Sn = (n l) = n l = n(n + 1) Sn . Ceci montre que 2Sn = n(n + 1), donc que Sn = .
l=0 l=0 l=0
2

Pour tout k J0, nK : (k + 1)3 k3 = 3k2 + 3k + 1 via la formule du binme de Newton.

n h
X i X
n X
n X
n
Sommons toutes ces identits, de k = 0 k = n : (k + 1)3 k3 = 3 k2 + 3 k+ 1. La
k=0 k=0 k=0 k=0
X
n
somme de gauche est le lieu dune simplification tlescopique ; dautre part nous venons de calculer k et
k=0
X
n X
n
n(n + 1)
savons que 1 = (n + 1). Du coup : (n + 1)3 = 3 k2 + 3 + (n + 1).
k=0 k=0
2
X
n
2
Isolant k et simplifiant les calculs aisment, nous obtenons le rsultat voulu. 
k=0

X
n1
Thorme Soient n N et a, b C. an bn = (a b) ak bnk1 .
k=0

$ $ $ Attention ! Gare ceux qui confondent cette formule avec la formule du binme de Newton !

Dmonstration Dveloppons le membre de droite de la formule :

X
n1 X
n1 X
n1 X
n1 X
n1
(a b) ak bnk1 = a ak bnk1 b ak bnk1 = ak+1 bn(k+1) ak bnk
k=0 k=0 k=0 k=0 k=0
n n
=a b par simplification tlescopique. 

En remplaant dune part n par 2n + 1 et b par b, et dautre part pour a = q et b = 1, on obtient les identits suivantes :

8 n
X
2n X
n1 < q 1
si q 6= 1
Corollaire Soient n N et a, b, q C. a2n+1 +b2n+1 = (a+b) (1)k ak b2nk et qk = q1 .
:
k=0 k=0 n si q = 1

16