Les Rels-Proprit d'Archimde. Partie entire et approximations...

http://uel.unisciel.fr/mathematiques/analyse1/analyse1_ch01/co/ap...

Mathmatiques Nombres rels, suites et fonctions Les Rels Prcdent Suivant Les Rels Introduction Introduction Proprits algbriques... Proprits de l'ordre... R corps commutatif tota... Majorants, minorants Borne suprieure, borne... Valeur absolue d'un re... Proprit d'Archimde. ... Proprits topologiques... S'exercer S'valuer Proprit d'Archimde. Partie entire et approximations dcimales d'un rel Parmi les rationnels, les dcimaux ont un rle pratique important, leur intrt est d'approcher les rels d'aussi prs que l'on veut, ce qui permet les calculs sur les rels. Dfinition Un rel Exemple On crit . est un nombre dcimal s'il existe tel que .

Cette criture dcimale signifie :

En revanche On note

n'est pas un dcimal.

l'ensemble des dcimaux; on a l'inclusion: ,

mais attention

n'est pas un corps: 3 est un dcimal mais non 1/3.

Le thorme suivant exprime l'quivalence entre quatre proprits, la premire, dite proprit d'Archimde, exprime le fait que tout rel peut tre "dpass" par les multiples d'un rel positif quelconque. Lancer la ressource interactive Thorme

1 of 3

29/03/2014 10:41

Les Rels-Proprit d'Archimde. Partie entire et approximations...

http://uel.unisciel.fr/mathematiques/analyse1/analyse1_ch01/co/ap...

est un corps archimdien , c'est dire qu'il satisfait l'une des quatre proprits quivalentes suivantes : 1. tant donn deux rels 2. tant donn un rel strictement positif, il existe un entier tel que ; ; l'entier est tel que ;

il existe un entier

3. tant donn un rel positif y il existe un entier n unique tel que la partie entire de note ou . 4. tant donn un rel positif et un entier , il existe un dcimal

unique, tel que

est l'approximation dcimale d'ordre Preuve On dmontre les implications l'absurde. : il suffit de prendre : soit lment, soit , Soit convient. La partie entire d'un rel Attention Attention . ,

ou

prs par dfaut de

; puis on montre 1. par

, d'aprs 2. l'ensemble vrifie donc . dfini par :

est fini et admet donc un plus grand

, l'entier

est le plus grand entier infrieur ou gal

et non -3 (comme l'indique la fonction Int de certaines calculettes).

Preuve : retour la preuve : soit un rel, est un rel qui admet donc une partie entire ; , . , et , d'o , en appliquant 4. . ; soit . On a donc, appartient avec , il existe un entier qui vrifie , celle-ci vrifie

d'o, si l'on pose et : soit

On montre alors 1. par l'absurde. Supposons que, pour tout entier on ait ; est non vide et majore, elle admet une borne suprieure pour tout entier , et il existe tel que: d'o , or

2 of 3

29/03/2014 10:41

Les Rels-Proprit d'Archimde. Partie entire et approximations...

http://uel.unisciel.fr/mathematiques/analyse1/analyse1_ch01/co/ap...

, on a donc une contradiction. La proprit d'Archimde, est dans une consquence de la proprit de la borne suprieure; toutefois elle n'est pas caractristique de , est galement archimdien mais ne vrifie pas la proprit de la borne suprieure. On remarque que, dans les calculs numriques, lorsqu'on "approche" 1/3 par 0,33, cela correspond la double ingalit: ; 0,33 est l'approximation dcimale d'ordre 2 (ou l'approximation par excs. UEL est un produit UNISCIEL Lgende : Apprendre S'valuer S'exercer Observer Simuler prs) par dfaut de 1/3, tandis que 0,34 est

3 of 3

29/03/2014 10:41