Pour tout entier n,n est entier ou irrationnel Un beau théorème absent de larithmétique dEuclide (Livres 7 à 9 des Éléments)

Slides:



Advertisements
Présentations similaires
DIVISION Bernard Izard 6° Avon DI I-DEFINITION
Advertisements

COURS DE MATHEMATIQUES DISCRETES SM
Les quotients (6) Définition d’un quotient
La pensée critique en Mathématiques Module 1 Les racines carrées et le théorème de Pythagore 8e année Par Tina Noble.
Les algorithmes arithmétiques
CHAPITRE 2 Nombres entiers, initiation à l’arithmétique- Nombres rationnels.
ARITHMETIQUE Bernard Izard 3° Avon PG I - DIVISEURS
LA DIVINE PROPORTION LE NOMBRE D’OR.
Enseigner l’arithmétique en série L
Autour des nombres en première L(option) et en terminale L (spécialité) Marie-Françoise BOURDEAU Jeanne-Marie DUMAS.
Algorithme des différences Fraction irréductible
L’IRRATIONNALITE DE Démontrer par l’absurde :
Programmes de calculs en 3ème
Nombres en écritures fractionnaires
Mr: Lamloum Med LES NOMBRES PREMIERS ET COMPOSÉS Mr: Lamloum Med.
Texte de lédition dHeiberg : 486 propositions Commandino : liste denviron 190 propositions « démontrées dans ce livre en plus de celles qui le sont par.
Le théorème de Pythagore
DEuclide à Legendre, autour du 5 ème Postulat III - Legendre, un géomètre entêté
Un Powerpoint de Dixit Patel
Proposition de corrigé du concours blanc n°1 IUFM dAlsace Soit le nombre entier cherché. Les indications données dans lénoncé sont traduites.
Les Radicaux (« SURD » en I.B.).
PGCD : sous ce sigle un peu bizarre se cache un outil bien utile dans les simplifications de fractions, mais aussi dans bien des problèmes de la vie courante…
D’Euclide à Legendre, autour du 5ème Postulat
1.2 COMPOSANTES DES VECTEURS
12- Calcul du PGCD Algorithme des différences
Nombres entiers. Ensembles de nombres
CHAPITRE 1 Arithmétique
Chapitre 1 PGCD de deux nombres.
Division euclidienne - décimale
LES NOMBRES PREMIERS ET COMPOSÉS
ARITHMETIQUE : NOMBRES PREMIERS, PGCD
263 = 15 × = + × ARITHMETIQUE I DIVISEURS ET MULTIPLES
La division ne se termine pas
Éléments de correction. EXERCICE n°1 ( 4 points )
Les Nombres Réels Leçon 1. Il y a deux groupes majeures de nombres: Les Nombres Réels – tous les nombres sauf les nombres imaginaires Les Nombres Imaginaires.
EXERCICES D’ARITHMETIQUES
Présentation dans le cadre du congrès mathématique
Le dernier théorème de Fermat
Chapitre 4 Théorème de Pythagore.
Mise en forme en Mathématiques
Un peu de maths (et d’info)
Simulation d’un processus de Poisson
Les Mathématiques- 9e Plus de révision pour le test majeur en novembre.
Eléments d’arithmétique dans l’ensemble des naturels
Arithmétique Classe 3e.
Le chiffrement asymétrique
LE PLAN DE DIEU POUR MA VIE (III)
CHAPITRE 3: LES NOMBRES.
Ou l’histoire du pion sans famille
L’enseignement des décimaux
Chapitre -3- FRACTIONS [A] MULTIPLES ET DIVISEURS (rappels de 6°: fiche n°106) jeudi 13 avril 2017  multiples  diviseurs  critères de divisibilité 
Algorithme Calcul du PGCD Euclide.
Pour Chapitre 1 – Sens de Nombres
Algorithme des différences Fraction irréductible
Leçon Nombres entiers et rationnels
Les fractions
Corrigé Interro 2.
Division euclidienne - décimale
Dans le cadre d’un P.E.R. sur les distances inaccessibles, le travail de la similitude en 4 e à partir du théorème de Thalès AMPERES Groupe didactique.
Analyse de la proposition d’enseignement du cercle circonscrit au triangle Type de tâches et tâches  Un seul type de tâches T : « déterminer le nombre.
Édition 2013 Espace Culturel Treulon Bruges. Drôles d’escaliers Drôles MATH EN 3B MATH EN 3B
Des outils pour penser l’enseignement et l’apprentissage Notion d’O.M. : organisation mathématique ponctuelle Le modèle praxéologique Que devront savoir,
Chap.V RSA. I. Rappels Mathématiques La congruence Définition 1 a et b sont congrus modulo n s’ils ont même reste par la division par n. On note a≡b[n]
Contribution de Bordeaux Enseigner le cosinus en 4ème.
Un usage de la notion d’O.M. pour la préparation de l’épreuve sur dossier du CAPES.
La spécialité mathématique en TS. Les mathématiques sont une science qui se construit elle-même grâce à la démonstration. Axiomes et définitions Théorèmes.
Mesures de tendance centrale et mesures de dispersion.
Régression linéaire (STT-2400) Section 3 Préliminaires, Partie II, La loi multinormale Version: 8 février 2007.
Introduction Le mathématicien
Rapports et proportions
Transcription de la présentation:

Pour tout entier n,n est entier ou irrationnel Un beau théorème absent de larithmétique dEuclide (Livres 7 à 9 des Éléments)

I - L irrationalit é de n n est entier ou irrationnel et la « crise » des quantit é s irrationnelles Si 2 é tait un rapport de deux entiers, la diagonale et le côt é d un carr é seraient mesur é s par une même unit é (i.e. en seraient des multiples entiers). On pourrait alors construire un carr é de côt é plus petit que la moiti é du pr é c é dent et qui serait mesur é par cette même unit é. On peut refaire cette construction jusqu à obtenir une longueur mesur é e par une unit é plus grande qu elle ! (Cf. la d é monstration d Euclide, Livre X, prop. 117). Preuve d Aristote : 2 ne peut pas être le carr é d un rapport d entiers. En effet, si deux entiers a et b é taient dans un rapport irr é ductible (i.e. sans diviseur commun) tel que a 2 = 2b 2, a serait un nombre pair (car le carr é d un nombre impair est impair) et 2b 2 serait multiple de 4. b serait donc pair et 2 serait diviseur commun de a et b !

I - L irrationalit é de n n est entier ou irrationnel 2 - G é n é ralisations ? Th é odore de Cyr è ne ( ) avait obtenu l irrationalit é de 3 et 5 Platon ( ) dans le dialogue du Th éé th è te: « Th é odore que voici nous avait trac é quelques figures à propos de racines et nous avait montr é que celles de trois pieds et de cinq pieds ne sont point pour la longueur commensurables avec celle d'un pied, et, les prenant ainsi, l'une apr è s l'autre, il é tait all é jusqu' à celle de dix-sept pieds et il s' é tait, je ne sais pourquoi, arrêt é l à ». La question g é n é rale de l irrationalit é de n é tait à la port é e des Grecs, tous les arguments n é cessaires sont rassembl é s dans le Livre VII des É l é ments d Euclide (prop. 20 à 32), pourtant le r é sultat g é n é ral n y figure pas.

I - L irrationalit é de n n est entier ou irrationnel 3 - D é monstration de la propri é t é, pr é requis : Elle s appuie sur le th é or è me dit « de Gauss » suivant : Soient a, b, c trois entiers naturels. Si a est premier avec b et si a divise le produit bc, alors a divise c. On utilisera seulement cette cons é quence imm é diate, pr é sente dans les É l é ments (Livre VII, prop. 25) : (1) Si p est un nombre premier divisant a 2, alors p divise a. On y trouve aussi (prop. 32) que : (2) pour tout entier non premier b > 1, il existe un diviseur premier de b. Enfin (prop. 20 à 22) que : (3) tout rationnel peut être repr é sent é par une fraction irr é ductible unique.

I - L irrationalit é de n n est entier ou irrationnel 3 - D é monstration de la propri é t é : - Supposons que n soit rationnel non entier, - Ce rationnel peut donc être repr é sent é par la fraction irr é ductible a/b, avec b > 1 (3). - a et b sont donc deux entiers premiers entre eux, tels que a 2 = nb 2. - Soit p un diviseur premier de b (2). - p divise a 2 et donc divise a (1). - a et b ayant p pour diviseur commun, ne seraient pas premiers entre eux ! - rejet de l hypoth è se absurde: si n n est pas entier, il ne peut être rationnel.

II - Arithm é tique dans les É l é ments d Euclide. n est entier ou irrationnel 1 - La division euclidienne Pour Euclide, toute l'arithm é tique dans IN* repose sur cette division naturelle, non é nonc é e dans les É l é ments : Pour tout couple d'entiers non nuls (a, b) tels que a b, il existe un couple unique d'entiers (q, r) tels que: a = b q + r, avec q 1 et 0 r < b. R é sultat obtenu simplement en retranchant b de a autant de fois q qu'il est possible. Le reste r est donc strictement inf é rieur à b, sinon on pourrait enlever b de a – b q une fois de plus. 2 - L algorithme d Euclide (Livre VII, prop. 1) : « Deux nombres in é gaux é tant propos é s et le plus petit é tant retranch é du plus grand de fa ç on r é it é r é e et en alternance, si le reste ne mesure jamais le [reste] pr é c é dent jusqu à ce qu il subsiste une unit é, les nombres initiaux seront premiers entre eux ».

II - Arithm é tique dans les É l é ments d Euclide. n est entier ou irrationnel Avec les propositions 2 à 12 du Livre VII, Euclide é tudie les propri é t é s de la divisibilit é, et celles des proportions avec les propositions 13 à 19. Proportion : Deux couples d entiers (a, b) et (c, d) sont en proportion si et seulement si a d = b c (prop. 19). Euclide dit qu ils sont en « même raison », ou « dans le même rapport ». (Pour nous : ils d é finissent un même rationnel). 3 - La r é duction des fractions Proposition 20, la cl é : « Les plus petits nombres parmi ceux qui ont le même rapport qu eux mesurent ceux qui ont le même rapport autant de fois, le plus grand le plus grand et le plus petit le plus petit ». Traduction: Si a et b sont deux entiers non nuls et si pour tout (c, d) formant avec (a, b) une proportion on a a c et b d, alors il existe un entier q tel que c = q a et d = q b.

II - Arithm é tique dans les É l é ments d Euclide. n est entier ou irrationnel 3 - La r é duction des fractions Proposition 21, la bonne remarque : « Les nombres premiers entre eux sont les plus petits parmi ceux qui ont le même rapport qu eux ». Proposition 22, r é ciproque : « Les nombres les plus petits parmi ceux qui sont dans le même rapport qu eux sont premiers entre eux ». Synth è se: le th é or è me d Euclide : Soient (a, b) et (c, d) deux couples d entiers non nuls en même rapport (a d = b c). Si a et b sont premiers entre eux, alors c et d sont é quimultiples de a et b (i.e. il existe un entier q tel que c = a q et d = b q). Interpr é tation moderne: Tout nombre rationnel repr é sent é par une fraction c/d, peut être repr é sent é par une fraction irr é ductible unique a/b avec c = aq et d = bq, o ù q est le p.g.c.d. de c et d).

II - Arithm é tique dans les É l é ments d Euclide. n est entier ou irrationnel 4 - Cons é quence directe : le th é or è me dit « de Gauss » – Supposons que a divise b c et que a est premier avec b. – Il existe donc d non nul tel que a d = b c. – a et b sont premiers entre eux dans le même rapport que (c, d). – D apr è s le th é or è me d Euclide, a divise c. 5 - Les é nonc é s d Euclide : Proposition 24 : Si a est premier avec b et avec c, alors a est premier avec b c. Cas particulier (proposition 25): Si a est premier avec b, alors a est premier avec b 2. Cons é quence contrapos é e pour a premier : Si p premier divise b 2, alors p divise b. Th é or è me de Gauss pour a premier (proposition 30) : « Si deux nombres se multipliant l un l autre produisent un certain [nombre] et si un certain nombre premier mesure leur produit, il mesurera aussi l un des nombres initiaux. » Si p est un nombre premier et si il divise le produit b c, il divise b ou il divise c