La construction de l difice mathmatique

1. Introduction

Les mathmatiques existent depuis lAntiquit.

Le premier trait de mathmatiques au sens moderne remonte Euclide (environ 250 avant Jsus-Christ) : cest
le trait des lments.

Ds cette poque, les mathmatiques commencent prendre une forme moderne.


2. noncs mathmatiques

Les mathmatiques sorganisent de la manire suivante.

a. On conoit dabord un certain nombre dnoncs comme axiomes (ou postulats).

Un axiome est un nonc pos mais pas dmontr.

Exemple : laxiome dEuclide ou 5
e
postulat dEuclide (non dmontr)

tant donns une droite D et un point A, il existe une unique droite passant par A et parallle D.

b. Ensuite, Euclide donne des dfinitions dobjets mathmatiques (droites, cercles), plus ou moins claires
dailleurs !

Une dfinition na pas tre discute ; elle doit tre accepte telle quelle. Une dfinition ne peut pas tre
dmontre et donc na pas tre dmontre.

N.B. : La distinction entre axiome et dfinition reste difficile clarifier.

c. Ayant pos des dfinitions pralables, on peut dmontrer des rsultats et noncer ainsi des proprits
( propositions ) ou des thormes. On utilise pour cela un raisonnement mathmatique, par exemple, le
raisonnement hypothtico-dductif.

Une fois ces proprits et thormes dmontrs et noncs, on peut faire dautres dmonstrations en les utilisant
directement.

3. Quelques termes connatre

- lemme ;
- scholie ;
- corollaire.

Ces termes se rencontrent dans danciens traits de mathmatiques (chez Pascal, Descartes etc).

4. Un terme dusage relativement rcent : le mot conjecture

Ce terme est utilis pour formuler un rsultat qui semble plausible au vu dobservations ou de calculs.



Exemple : la conjecture de Golbach

Tout nombre pair infrieur ou gal 4 est la somme de deux nombres premiers .

Cette conjecture nest toujours pas dmontre ce jour.

5. Pour finir, un mot fondamental, le mot hypothse .

Ce mot en mathmatiques a un sens extrmement prcis : il dsigne des donnes, il a un sens diffrent en
S.V.T. o il va dsigner plutt une supposition.














































Notes complmentaires


Les lments dEuclide

Euclide a travaill sur larithmtique, la gomtrie (on parle dailleurs de gomtrie euclidienne) et lalgbre.
Le trait des lments a eu un retentissement norme en Occident.
Il va tre un ouvrage de rfrence pendant vingt sicles.

Euclide y nomme les objets de base qui vont tre utiliss en gomtrie : points, droites, segments...

Au dbut de son trait, Euclide formule un certain nombre de demandes , noncs qui sont accepts comme
vrais.

_________________________________________________________________________________________


propos des axiomes en mathmatiques

Postulat au sens philosophique : on considre que cest vrai bien que lon nait aucune preuve de la vracit de
laffirmation.

Pour les mathmatiques, tout repose sur des axiomes accepts comme vrais.

Un axiome est diffrent dune convention.

_________________________________________________________________________________________


propos des dfinitions en mathmatiques

Les mathmaticiens doivent dfinir les objets sur lesquels ils travaillent.

Certaines notions ont mis trs longtemps avant dtre dfinies clairement. Cest le cas par exemple des
vecteurs, des fonctions
Certaines notions ont mis du temps tre dfinies correctement (drivabilit des fonctions, drives, limites).

_________________________________________________________________________________________


Le statut des noncs mathmatiques

Il est fondamental de faire la distinction entre dfinition et proprit.

On peut par exemple dfinir ce quest un paralllogramme (quadrilatre dont les cts opposs sont parallles)
puis on peut dduire plein de proprits de cette dfinition (les cts opposs sont de mme longueur etc.).

dfinition du paralllogramme



proprits du paralllogramme


On parle des trente-deux premires propositions dEuclide (cf. Pascal enfant).
Il sagit de bien faire la distinction entre dfinition et proprit (Euclide parle de proposition ).

Le cas particulier de la dfinition de la racine carre dun nombre positif ou nul.

_________________________________________________________________________________________


propos des conjectures

La conjecture de Goldbach

Quest-ce quun nombre premier ?

Un nombre premier est un nombre entier suprieur ou gal 2 qui nest divisible que par 1 et par lui-mme.

Attention bien comprendre lnonc :

Tout nombre pair scrit comme somme de deux nombres premiers.

La partie facile serait : La somme de deux nombres premiers suprieurs ou gaux 3 est un nombre pair
(que lon peut aussi formuler sous la forme : Si on a deux nombres premiers suprieurs ou gaux 3, alors la
somme est un nombre pair ).

Exemples de vrification de la conjecture de Golbach sur les premiers nombres pairs suprieurs ou
gaux 4 :

4 =2 +2

6 =3 +3

8 =5 +5

10 =5 +5 = 7 +3

12 =5 +7


Un autre exemple clbre de conjecture : la conjecture de Syracuse

La notion de puits 4, 2, 1, 4, 2, 1

_________________________________________________________________________________________


propos du mot lemme

On parle par exemple de lemme dEuclide.