GEOMETRIE EUCLIDIENNE

PDF gnrs en utilisant latelier en source ouvert mwlib . Voir http://code.pediapress.com/ pour plus dinformations. PDF generated at: Tue, 12 Feb 2013 21:53:25 UTC

Contenus
Articles
Gomtrie euclidienne Espace euclidien lments d'Euclide Livre I des lments d'Euclide Livre II des lments d'Euclide Livre III des lments d'Euclide Livre IV des lments d'Euclide Livre V des lments d'Euclide Livre VI des lments d'Euclide Livre VII des lments d'Euclide Livre VIII des lments d'Euclide Livre IX des lments d'Euclide Livre X des lments d'Euclide Livre XI des lments d'Euclide Livre XII des lments d'Euclide Livre XIII des lments d'Euclide 1 14 23 26 29 30 32 33 35 37 39 40 41 44 45 47

Rfrences
Sources et contributeurs de larticle Source des images, licences et contributeurs 48 49

Licence des articles

Licence 50

Gomtrie euclidienne

Gomtrie euclidienne
La gomtrie euclidienne commence avec les lments d'Euclide, qui est la fois une somme des connaissances gomtriques de l'poque et une tentative de formalisation mathmatique de ces connaissances. Les notions de droite, de plan, de longueur, d'aire y sont exposes et forment le support des cours de gomtrie lmentaire. La conception de la gomtrie est intimement lie la vision de l'espace physique ambiant au sens classique du terme. Les conceptions gomtriques connaissent, depuis les travaux d'Euclide, des volutions suivant trois axes principaux : 1. Pour vrifier les critres de rigueur logique actuels, la dfinition axiomatique subit de profonds changements, l'objet mathmatique restant nanmoins le mme. 2. Pour ne plus se limiter aux dimensions deux et trois et pour permettre l'laboration d'une thorie plus puissante, un modle algbrique de la gomtrie est envisag. L'espace euclidien est maintenant dfini comme un espace vectoriel ou affine rel de dimension finie muni d'un produit scalaire. 3. Enfin, la structure gomtrique euclidienne n'est plus la seule envisageable ; il est tabli qu'il existe d'autres gomtries cohrentes. Plus de 2 000ans aprs sa naissance, l'espace gomtrique euclidien est un outil toujours efficace aux vastes domaines d'applications. Par exemple, l'espace des physiciens reste encore principalement du domaine de la gomtrie euclidienne, l'astronomie tant l'exception la plus notoire. Son aspect mathmatique est trait de manire didactique dans l'article produit scalaire. L'article se fonde sur la formalisation d'un vecteur l'aide d'un bipoint, dvelopp dans vecteur. Une approche plus pousse, fonde sur la formalisation axiomatique de l'espace vectoriel est dveloppe dans espace euclidien.

Lapproche euclidienne de la science de lespace

La gomtrie euclidienne au sens des antiques traits du plan et de l'espace ; elle est souvent prsente comme une gomtrie de la rgle et du compas . Les objets considrs sont les points, les segments, les droites, les demi-droites, avec leurs proprits d'incidence (la rgle), ainsi que les cercles (le compas). Les enjeux essentiels sont l'tude de figures et la mesure.

Les outils de la gomtrie d'Euclide

La construction d'Euclide se fonde sur cinq axiomes[1] : 1. Un segment de droite peut tre trac en joignant deux points quelconques distincts. 2. Un segment de droite peut tre prolong indfiniment en une ligne droite. 3. tant donn un segment de droite quelconque, un cercle peut tre trac en prenant ce segment comme rayon et l'une de ses extrmits comme centre. 4. Tous les angles droits sont congruents. 5. Si deux lignes sont scantes avec une troisime de telle faon que la somme des angles intrieurs d'un ct est strictement infrieure deux angles droits, alors ces deux lignes sont forcment scantes de ce ct.
Euclide

Gomtrie euclidienne Les raisonnements sur les figures gomtriques portent sur leurs intersections et leurs dimensions : sur l'incidence et la mesure. De ce point de vue, certaines transformations des figures sont utiles ; les plus pertinentes sont les similitudes, c'est--dire les transformations qui conservent les rapports des distances. Les similitudes les plus simples sont les rotations, les symtries, les translations, qui conservent les distances, ainsi que les homothties. partir de ces quelques objets de base, toutes les similitudes peuvent tre construites par composition. La construction d'Euclide permet le dveloppement des notions de mesure de longueur, d'aire, de volume, d'angle. Il existe de nombreuses aires de surfaces usuelles calculables par les techniques des lments. Une mthode, la mthode d'exhaustion qui prfigure l'intgration, permet d'aller plus loin. Archimde (287-212 av. J.-C.), par exemple ralise la quadrature de la parabole. Une limite de la notion de mesure vient de ce que les nombres considrs sont seulement les nombres constructibles ( la rgle et au compas). Les deux thormes fondamentaux sont le thorme de Pythagore et celui de Thals. Un peu d'analyse permet d'aller plus loin avec la trigonomtrie. C'est le premier exemple de construction d'un pont entre la gomtrie euclidienne pure et une autre branche mathmatique, pour enrichir la palette d'outils disponibles.

Approche gomtrique de l'algbre

La formule de l'aire d'un rectangle ou d'un triangle, le thorme de Thals ainsi que celui de Pythagore offrent tous des relations algbriques entre des grandeurs que sont les cts d'un triangle ou d'un rectangle. Ces diffrentes mthodes sont l'un des ingrdients de l'algbre naissante, initie par Diophante, et dveloppe par la civilisation arabe. Le trait d'Al-Khawarizmi, un mathmaticien persan du VIIIesicle, intitul La transposition et la rduction a pour objectif la rsolution d'une quation du second degr quelconque. Sa mthode se fonde sur ce que l'on appelle maintenant les identits remarquables, qui, chez lui se dmontrent toutes l'aide de la gomtrie euclidienne. Cette gomtrisation de l'algbre porte ses fruits aussi en arithmtique, la science des nombres. La premire dmonstration montrant l'existence de grandeurs irrationnels est probablement gomtrique[2]. Certains calculs comme la valeur du nime nombre triangulaire ou encore la somme des n premiers cubes d'entiers sont raliss gomtriquement[3].

Succs et limites
Un objectif de la gomtrie euclidienne est la construction de figures la rgle et au compas. L'tude du triangle relve de ce domaine. La richesse des rsultats obtenus est illustre par la liste des lments remarquables d'un triangle. Une famille de figures emblmatiques est celle des polygones rguliers (voir l'article Partage d'une tarte). Ils ne sont cependant pas tous constructibles. Les techniques de construction s'appliquent non seulement au plan, mais aussi l'espace comme le montre l'tude des polydres. Une spcificit de la gomtrie euclidienne rside dans le fait qu'elle n'utilise initialement que peu ou pas du tout de thormes complexes et Figure la rgle et au compas : heptadcagone, puissants d'algbre ou d'analyse. C'est une mathmatique autonome et un polygone rgulier de 17 cts. indpendante, o les preuves proviennent essentiellement de raisonnements purement gomtriques. Cependant, pour les cas complexes, comme la construction de la figure ci-contre, d'autres outils, par exemple les polynmes, se rvlent indispensables (cf Thorme de Gauss-Wantzel). Les trois grands problmes de l'antiquit, savoir la quadrature du cercle, la trisection de l'angle et la duplication du cube, l'aide seulement de la rgle et du compas, ne se sont d'ailleurs montrs possibles qu'avec l'apport d'une autre branche des mathmatiques : l'arithmtique, algbrique ou

Gomtrie euclidienne analytique[4]. La gomtrie euclidienne a de nombreuses applications. La Renaissance fait largement appel aux techniques des lments. L'architecture, la peinture travers la perspective[5] regorgent d'exemples de cette nature. L'art des entrelacs[6] de Lonard de Vinci (1452-1519) est un autre cas d'utilisation. Ces mathmatiques servent aussi la mesure, la fois pour les arpenteurs et dans un objectif scientifique. Elles permettent ratosthne (276194 av. J.-C.) de mesurer la circonfrence de la Terre. Les techniques utilises, dites de triangulation et ayant pour base la trigonomtrie, permettent aux marins de connatre leur position.

Application et nouveaux outils : espace euclidien et physique

partir du XVIesicle les mathmatiques s'loignent de plus en plus de la gomtrie du triangle. La gomtrie euclidienne garde son utilit car elle modlise avec pertinence le monde physique ambiant. Cependant, l'approche purement antique devient trop restrictive. Elle n'offre pas un cadre suffisant pour le dveloppement des mathmatiques. Pour tudier les coniques[7] Blaise Pascal (1623-1662) utilise un nouvel outil : le repre. Il s'avre prcieux la naissance du calcul infinitsimal[8]. Avec le temps l'algbre et l'analyse deviennent Systme solaire (tailles et distances relatives non l'chelle) prdominantes : de nouvelles techniques, loignes de celles hrites d'Euclide, sont dveloppes. En ce qui concerne la modlisation de l'espace physique, ces nouveauts sont utilises dans le cadre d'une gomtrie peu formalise, nanmoins avec un large succs. Les thories datant d'avant le XXesicle se contentent de ce cadre. Encore maintenant, et dans un contexte trs gnral, la gomtrie usuelle de la physique reste euclidienne. Elle permet des rsultats spectaculaires, comme la mcanique newtonienne. Ce n'est qu'en 1915, qu'une autre gomtrie, celle de la relativit gnrale, explique mieux un phnomne, celui de l'avance du prihlie de Mercure. La gomtrie euclidienne reste maintenant valable trois exceptions prs : les distances astronomiques, dans le cadre de la relativit gnrale ; les vitesses proches de la lumire, avec la gomtrie de la relativit restreinte ; les dimensions infrieures la taille des particules, dans le cadre de certaines thories contemporaines comme les supercordes. Si la modlisation de la gomtrie de l'espace reste souvent la mme que celle de l'Antiquit (aux exceptions dj cites prs), la formalisation change radicalement.

Approche algbrique de la gomtrie

La conception de l'espace par les mathmaticiens n'est historiquement pas fige ; les volutions se font pour plusieurs raisons : le besoin de mieux fonder la thorie gomtrique, d'une part en comblant certains dficits de rigueur du texte d'Euclide, d'autre part en liant la thorie d'autres branches des mathmatiques ; mais aussi la ncessit de pouvoir utiliser l'important corpus de rsultats gomtriques dans d'autres espaces que celui de notre monde physique ou que le plan usuel. Ces deux derniers objectifs sont en fait atteints grce une branche particulire des mathmatiques : l'algbre linaire.

Gomtrie euclidienne

Motivation : la mcanique du solide

La mcanique du solide apporte un point de vue nouveau sur la gomtrie euclidienne. Si notre espace dcrit la position du centre de gravit, le solide peut tourner autour de ce centre. Il dispose encore trois degrs de libert supplmentaires. Il est ncessaire de considrer un espace de dimension six, pour rendre compte de la position exacte du solide. Il en est de mme pour la vitesse. Elle est dcrite par le mouvement du centre de gravit, reprsent classiquement par un vecteur de l'espace physique et par une rotation, que l'on peut modliser par un vecteur (vecteur perpendiculaire au plan de rotation et dont la longueur est proportionnelle la vitesse angulaire). Mathmatiquement, le champ des vitesses est dit quiprojectif et se reprsente par un torseur. L'espace auquel il appartient est encore de dimension six.

Un solide possde 6 degrs de libert.

Cette dmarche consistant dfinir un espace abstrait, qui ne reprsente plus directement notre univers, mais un espace spcifique au problme tudi, est fconde. Elle permet d'utiliser les outils de la gomtrie euclidienne dans des contextes varis. La mcanique statique est un autre exemple, un objet est considr comme l'assemblage d'un ensemble de solides soumis des contraintes qui les lient entre eux. L'objet est l'tude de la stabilit d'un corps, comme un pont ou un gratte-ciel. La dimension est gale six fois le nombre de solides composant l'objet. Cette dmarche est surtout dveloppe durant le XXesicle. En effet, la dimension crot rapidement et une puissance de calcul accessible uniquement depuis l'arrive des ordinateurs est ncessaire pour rendre ces techniques oprationnelles. Ces mthodes, dans leur forme la plus gnrale, aboutissent la mcanique analytique dont les applications sont innombrables, et qui constitue le cadre gnral de la physique thorique.

Motivation : la statistique
Certaines techniques de dpouillement d'un sondage utilisent les proprits de la gomtrie euclidienne. Celle-ci permet, grce la notion de distance, une modlisation pertinente, et, grce aux outils de l'algbre linaire, une algorithmique pour les calculs effectifs. Si les critres, reprsents par les questions d'un sondage, peuvent tre ramens des grandeurs mesurables, alors chaque sond apparat comme un point d'un espace dont la dimension est gale au nombre de critres. Cette gomtrie est essentielle en statistique : Elle rduit la dimension de l'espace travers le choix d'axes (appels ici composantes) particulirement rvlateurs et en nombre rduit. L'analyse du sondage devient ralisable dans un espace plus petit, dpollue du bruit non significatif, et graphiquement reprsentable pour une comprhension intuitive du dpouillement.

Exemple de reprsentation euclidienne d'un dpouillement

Elle mesure les corrlations entre les diffrentes questions. La figure illustre ici deux critres, chacun reprsent par un axe. Pour cet exemple, en premire analyse, quand le critre de l'axe horizontal prend des valeurs de plus en plus leves, alors le critre de l'axe vertical prend des valeurs de plus en plus basses. Les deux critres sont dits anticorrls.

Gomtrie euclidienne La dmarche consistant analyser des donnes travers une gomtrie euclidienne est utilise dans de nombreuses sciences humaines. Elle permet l'analyse des comportements mme lorsque ceux-ci ne suivent pas des lois rigides.

Modle linaire de la gomtrie : les espaces euclidiens

La notion d'espace vectoriel fournit une premire structure purement algbrique dans laquelle le langage gomtrique peut s'exprimer. La notion de coordonne devient centrale, et le plan, par exemple, est en partie modlis par un espace vectoriel de dimension deux, qui s'identifie essentiellement l'ensemble de tous les couples de coordonnes (x1, x2), o x1 et x2 sont deux nombres rels ; un point est alors simplement un tel couple. La gnralisation se fait facilement l'espace de dimension 3 en considrant des triplets de coordonnes, mais aussi aux espaces de dimension n. Dans cette modlisation, le plan abstrait tel que dcrit par les axiomes a t muni arbitrairement d'une origine.

Version gomtrique du thorme de Pythagore, le thorme fondamental des espaces euclidiens

La description gomtrique des espaces vectoriels fait jouer un rle trs particulier au vecteur nul : le vecteur "0". Les objets mathmatiques habituellement associs sont des droites qui se rencontrent toutes en 0 et des transformations qui laissent inchang le vecteur 0. On dfinit une structure drive de celle d'espace vectoriel, qui porte le nom d'espace affine, et pour lequel les points jouent tous des rles identiques. En termes imags, ce procd consiste transfrer la situation observe en 0 tous les autres points de l'espace. Cela se fait par translation, plus prcisment en faisant agir l'espace vectoriel sur lui-mme par translation. La structure d'espace affine permet de rendre compte pleinement des proprits d'incidence : par exemple, dans un espace affine rel de dimension 2, les droites vrifient le cinquime postulat d'Euclide. Cependant, seules les proprits d'incidence sont modlises, une grande partie de la gomtrie euclidienne classique n'est pas atteinte : il manque essentiellement une notion de mesure. Un outil linaire permet de combler cette lacune ; c'est le produit scalaire. Un espace affine rel muni d'un produit scalaire est appel espace euclidien, toutes les notions gomtriques classiques sont dfinies dans un tel espace, et leurs proprits issues de l'algbre vrifient tous les axiomes euclidiens : les thormes gomtriques issus du corpus classiques, portant sur n'importe quels objets vrifiant ces axiomes, deviennent donc en particulier des thormes pour les points, droites, cercles, tels que dfinis dans un espace euclidien. Enfin, les espaces affines euclidiens ne sont pas limits aux dimensions 2 ou 3 ; ils permettent de rendre compte des diffrents problmes physiques et statistiques voqus ci-dessus, et qui mettent en jeu un plus grand nombre de variables, avec l'utilisation d'un langage gomtrique. Beaucoup de thormes d'incidence et de mesure se gnralisent presque automatiquement, notamment le thorme de Pythagore. Le passage un degr d'abstraction suprieur offre un formalisme plus puissant, donnant accs de nouveaux thormes et simplifiant les dmonstrations ; l'intuition gomtrique habituelle des dimensions 2 ou 3 est parfois dfie par ces dimensions suprieures, mais reste souvent efficace. Les gains sont suffisants pour que les analyses sophistiques soient gnralement exprimes l'aide du produit scalaire.

Gomtrie euclidienne

Historique de l'approche linaire

La notion d'espace vectoriel apparat petit petit. Ren Descartes (1596-1650) et Pierre de Fermat (1601-1665) utilisent le principe de coordonnes comme un outil pour rsoudre avec une approche algbrique des problmes gomtriques. La notion de repre orthonormal est utilise en 1636[9]. Bernard Bolzano (1781-1848) dveloppe une premire conception gomtrique[10] o les points, les droites et les plans sont dfinis uniquement par des oprations algbriques, cest--dire l'addition et la multiplication par un nombre. Cette approche permet de gnraliser la gomtrie d'autres dimensions que celles des plans et des volumes. Arthur Cayley (1821-1895) est un acteur majeur dans la formalisation des espaces vectoriels[11]. Un contemporain William Rowan Hamilton (1805-1865) utilise un autre corps que celui des rels : celui des nombres complexes[12]. Il montre que cette dmarche est essentielle en gomtrie pour la rsolution de nombreux problmes. Hermann Grassmann dcrit enfin les espaces vectoriels (en fait des algbres) dans leur gnralit.

Arthur Cayley

la suite des travaux de Gaspard Monge (1746-1818), son lve Jean Poncelet (1788-1867) rforme la gomtrie projective[13]. La gomtrie projective, gomtrie de la perspective, devient aussi modlisable par l'algbre linaire : un espace projectif se construit l'aide d'un espace vectoriel grce un processus d'identification des points suivant une rgle de perspective. Les espaces projectifs sont gnraliss aux dimensions quelconques. La gomtrie projective est une gomtrie non euclidienne, dans le sens o le cinquime postulat d'Euclide y tombe en dfaut. L'algbre linaire fournit non seulement un modle pour la gomtrie euclidienne, mais aussi, une ouverture vers un monde plus vaste.

Remise en cause de la gomtrie d'Euclide

L'approche linaire n'est pas une remise en question des conceptions euclidiennes. Elle permet au contraire de gnraliser celles-ci, d'tendre leur porte, et de les enrichir en retour. Un autre grand mouvement historique remet en cause la formalisation euclidienne.

Le cinquime postulat

Gomtrie euclidienne Le XIXesicle voit l'apparition de nombreuses nouvelles gomtries. Leur naissance rsulte d'interrogations sur le cinquime postulat, que Proclus exprime de la manire suivante : Dans un plan, par un point distinct d'une droite, il existe une et une seule droite parallle cette droite. Ce postulat, admis par Euclide, et que l'intuition soutient, ne devrait-il pas tre un thorme ? Ou, au contraire, peut-on imaginer des gomtries o il tomberait en dfaut ? Un enjeu durant le XIXesicle pour les mathmaticiens, sera de parvenir se dtacher d'une intuition physique casuellement infconde, ainsi que d'un respect inopportun des leons des anciens, pour oser inventer de nouvelles conceptions gomtriques ; celles-ci ne s'imposeront pas sans difficult.

Exemple de gomtrie hyperbolique

Ds le dbut du sicle Carl Friedrich Gauss s'interroge sur ce postulat[14]. En 1813 il crit : Pour la thorie des parallles, nous ne sommes pas plus avancs qu'Euclide, c'est une honte pour les mathmatiques. En 1817 il semble que Gauss ait acquis la conviction[15] de l'existence de gomtries non euclidiennes. En 1832, le mathmaticien Jnos Bolyai rdige un mmoire sur le sujet[16]. L'existence d'une gomtrie non euclidienne n'est pas formellement dmontre, mais une forte prsomption est acquise. Le commentaire de Gauss est loquent : Vous fliciter reviendrait me fliciter moi-mme[17]. Gauss n'a jamais publi ses rsultats, probablement pour viter une polmique. Indpendamment, Nikola Lobatchevski (1792-1856) devance Bolyai sur la description d'une gomtrie analogue dans le journal russe Le messager de Kazan en 1829. Deux autres publications[18],[19] sur le sujet n'ont nanmoins pas plus d'impact sur les mathmaticiens de l'poque. Bernhard Riemann (1826-1866) tablit l'existence d'une autre famille de gomtries non euclidiennes pour son travail de thse sous la direction de Gauss. L'impact reste faible, la thse n'est publie que deux ans aprs sa mort. Les gomtries de Lobatchevski et Bolyai correspondent des structures hyperboliques o il existe une infinit de parallles passant par un mme point. Cette situation est illustre dans la figure ci-contre, les droites d1, d2 et d3 sont trois exemples de parallles D passant par le point M. Les trois premires droites sont dites parallles D car aucune d'entre elle n'est scante avec D ; mais pourtant ces trois droites ne sont pas parallles entre elles (le paralllisme des droites nest plus une proprit transitive dans une gomtrie hyperbolique). Le cas riemannien correspond au cas elliptique o aucune parallle n'existe.

L'unification de Klein
La situation est devenue confuse, les lments ne sont pas en mesure de rendre compte d'une telle diversit. On compte nombre d'espaces gomtriques : les espaces vectoriels euclidiens, les espaces affines euclidiens, les espaces projectifs, les gomtries elliptiques et hyperboliques, plus quelques cas exotiques comme le ruban de Mbius. Chaque gomtrie possde des dfinitions diffrentes, mais prsentant de nombreuses analogies et aboutissant sur des sries de thormes plus ou moins diffrents selon les auteurs et les gomtries. Universit d'Erlangen La fin de la suprmatie euclidienne engendre un important dsordre, qui rend la comprhension de la gomtrie difficile. Un jeune professeur de 24 ans, Felix Klein, (1848-1925) nouvellement nomm professeur l'universit d'Erlangen, propose une organisation pour

Gomtrie euclidienne toutes ces gomtries dans son discours inaugural[20]. Ces travaux ont cette fois un vaste retentissement sur la communaut scientifique, la suprmatie euclidienne disparat et la polmique ne de la remise en cause du cinquime postulat s'teint. Son travail implique une rforme de la formalisation des espaces euclidiens. Il utilise les travaux de James Joseph Sylvester (1814-1897) sur ce que l'on appelle maintenant les produits scalaires[21]. La gomtrie euclidienne reste d'actualit au prix d'une refonte profonde de sa construction. Dans son programme d'Erlangen, Felix Klein trouve le critre permettant de dfinir toutes les gomtries. Les gains attendus sont au rendez-vous. Les gomtries sont classifies, celles qui se prsentent comme des cas particuliers apparaissent et les thormes gnriques peuvent s'exprimer sur l'intgralit de leur domaine d'application ; en particulier, l'espace vrifiant l'axiomatique euclidienne est la limite qui spare les familles de gomtries hyperboliques de Bolyai et Lobatchevski des gomtries elliptiques de Riemann.

Flix Klein

Klein dfinit une gomtrie euclidienne par l'ensemble de ses isomtries, c'est--dire les transformations laissant les distances invariantes. Cette approche caractrise parfaitement cette gomtrie. Les isomtries bnficient d'une structure de groupe gomtrique. Dans le cas euclidien cette formalisation est quivalente la donne d'un produit scalaire, et si elle est d'un maniement plus abstrait, elle est aussi plus gnrale. Dfinir une gomtrie par un groupe de transformations est une mthode souvent efficace.

Euclide et la rigueur
La dernire rforme de la gomtrie euclidienne est celle de la logique. La critique ne porte pas tant sur les dmonstrations d'Euclide mais sur l'absence de fondements suffisants pour une preuve rigoureuse. Elle ne date pas d'hier : Eudoxe de Cnide (408 355 av. J.-C.) et Archimde (287 212 [22] av. J.-C.) ajoutent celui maintenant appel axiome d'Archimde . Christophorus Clavius (1538-1612) note l'absence d'un postulat pour tablir son trait des proportions. Rien ne garantit l'existence des segments proportionnels, sujet central du livre V[23]. Gottfried Wilhelm von Leibniz (1646-1716) remarque qu'Euclide utilise parfois l'intuition gomtrique pour pallier l'absence de certains postulats, par exemple dans sa mthode de construction d'un triangle quilatral. Il construit deux cercles tel que le centre de chacun est un point de l'autre[24]. Il admet sans preuve que les deux cercles possdent une intersection. Gauss remarque que la relation entre deux points d'un cercle est bien mal formalise et qu'elle ne se gnralise pas la

Thorme de Pythagore

sphre[24].

Gomtrie euclidienne La fin du XIXesicle voit non seulement la multiplication de critiques de cette nature, mais aussi la formulation de postulats manquants. Georg Cantor (1845-1918) et Richard Dedekind (1831-1916) montrent la ncessit d'un postulat de la continuit et le formalisent[25]. Un exemple du manque est donn par le thorme de Pythagore dont la figure de gauche illustre une dmonstration. Les triangles IBC et AEC possdent la mme aire car l'un correspond la rotation d'un quart de tour de l'autre. Cette assertion n'est pas dmontrable dans le cadre Cas o les nombres ne sont pas des rationnels axiomatique choisi par Euclide. Comme illustre sur la figure de droite, la rotation d'un huitime de tour de la diagonale d'un carr de ct 1 ne possde pas, a priori son extrmit A' si l'ensemble de nombres choisi n'est pas celui des rels mais des rationnels. Chez Euclide aucune indication n'est donne sur la nature des nombres utiliss, aucune information ne permet non plus d'tablir qu'une rotation ou une symtrie conserve les distances.

La rponse de Hilbert
l'aube du XXesicle, la connaissance des manques de la formalisation euclidienne, ainsi que les diffrents lments de solutions sont suffisamment connus pour permettre une construction rigoureuse. Les mathmaticiens David Hilbert (1862 1943) et Moritz Pasch (1843 1930) sont l'origine de ce travail[26]. La construction doit tre suffisante pour dmontrer les thormes de gomtrie sans appel l'intuition, l'application de rgles logiques est la seule mthode autorise. Pasch s'exprime ainsi : On noncera explicitement les concepts primitifs au moyen desquels on se propose de dfinir logiquement les autres. On noncera explicitement les propositions fondamentales (postulats) grce auxquelles on se propose de dmontrer logiquement les autres propositions (thormes). Ces propositions fondamentales doivent apparatre comme de pures relations logiques entre les concepts primitifs, et cela indpendamment de la signification que lon donne ces concepts primitifs[24].

David Hilbert

Si une construction est suffisamment solide pour ne plus ncessiter l'apport de l'intuition, le vocabulaire choisi n'a pas d'importance. Hilbert l'exprime ainsi : On devrait pouvoir parler tout le temps, au lieu de point, droite et plan, de table, chaise et chope[24]. Hilbert publie un article[27] sur la question. Dans son introduction, il se fixe comme objectif, la construction d'un systme d'axiomes modlisant le plan et rpondant une triple contrainte : tre simple, complet et indpendant. Si le mot complet n'est pas dfini, Hilbert indique nanmoins, quelques mots plus loin, que ce systme doit permettre la dmonstration des thormes principaux de la gomtrie euclidienne. Le systme d'axiomes est simple au sens o il est ais de savoir quels axiomes sont ncessaires l'tablissement des thormes. Il est indpendant au sens o la suppression d'un postulat autorise l'existence de nouvelles gomtries incompatibles avec les proprits euclidiennes. Dans un premier temps, Hilbert construit un systme contenant cinq groupes d'axiomes dont le dernier concerne la continuit. Ce dernier peut tre enrichi ou non d'un axiome quivalent la compltude. Il montre alors la compatibilit des groupes d'axiomes. Ce terme signifie qu'il existe au moins une gomtrie satisfaisant tous les axiomes. Hilbert construit un univers algbrique, correspondant un plan affine sur un corps de nombre particulier. Il contient les rationnels et tout nombre de la forme 1 + 2 admet une racine carre. Cet univers satisfait

Gomtrie euclidienne l'intgralit des groupes d'axiomes proposs, ce qui serait impossible si les postulats n'taient pas compatibles. L'indpendance est dmontre par la construction de gomtries fondes sur une partie seulement de la base axiomatique. Elles diffrent alors de la gomtrie euclidienne. Hilbert dmontre rigoureusement l'existence de gomtries qu'il qualifie de non euclidiennes, non archimdiennes et non pascaliennes. Si l'indpendance de chaque groupe d'axiomes est prouve, chacun des groupes contient lui-mme plusieurs postulats ( l'exception du Vme qui n'en contient qu'un). Issai Schur (1875 1941) et Eliakim Hastings Moore (1862 1932) dmontrent indpendamment[28],[29] qu'un des axiomes tait redondant.

10

Vers d'autres gomtries

Le concept de gomtrie est maintenant appliqu un vaste ensemble d'espaces. Si la remise en question du cinquime postulat est l'exemple historique qui donne un contenu la notion de gomtrie non euclidienne, une analyse plus prcise montre l'existence de quantit d'autres cas non envisags par Euclide respectant nanmoins le cinquime postulat. Dans le cas des espaces vectoriels, le corps de nombres peut tre modifi, la distance est parfois choisie de manire possder un nouveau groupe d'isomtries, le nombre de dimensions peut devenir infini. Il existe en outre de nombreux cas o l'espace n'est pas un espace vectoriel ; Klein formalise des gomtries non orientables ; Georg Cantor (1845-1918) dcouvre un ensemble triadique dont la dimension n'est pas entire et qui maintenant est class dans la catgorie des gomtries fractales. La topologie ouvre la porte la construction de nombreux autres cas. C'est la raison pour laquelle le terme de gomtrie non euclidienne tombe petit petit en dsutude durant le XXesicle. Il est maintenant entr dans l'usage de dcrire une gomtrie par les proprits qu'elle possde et non pas par une, devenue trs spcifique et qu'elle n'aurait pas, savoir son caractre euclidien. Les exemples suivants sont parmi les plus frquemment utiliss.

Dimension infinie
Les espaces de fonctions valeurs relles disposent d'une structure d'espace vectoriel. Il est fcond de les tudier avec des outils gomtriques. Il est possible d'y associer une distance issue d'un produit scalaire par exemple si les fonctions sont de carr intgrable. Ce produit scalaire est dfini de la manire suivante :

Dans un tel espace, le thorme de Pythagore se gnralise et a permis Joseph Fourier l'quation de la chaleur.

(1768-1830)

de rsoudre

Cette approche, consistant utiliser les outils de la gomtrie pour rsoudre des problmes d'analyse est maintenant dnomme analyse fonctionnelle. De multiples distances diffrentes sont dfinies sur ces espaces, engendrant alors des gomtries distinctes. Suivant les proprits plus ou moins fortes qu'elles possdent, elles prennent pour nom espace de Hilbert, espace de Banach, espace prhilbertien ou espace vectoriel norm. L'espace de Hilbert est la gnralisation la plus naturelle des gomtries euclidiennes.

Espace hermitien
Les nombres rels souffrent d'une faiblesse, le corps qu'ils forment n'est pas algbriquement clos. Cela signifie qu'il existe des polynmes non constants qui n'y ont pas de racine. Cette faiblesse complique l'analyse des applications linaires d'un espace vectoriel dans lui-mme. L'article sur les valeurs propres explicite cette difficult. Une solution souvent utilise consiste gnraliser le corps de nombres et passer aux complexes. Cette mthode est utilise en physique, par exemple pour l'tude des systmes oscillants. La gnralisation d'un espace euclidien aux nombres imaginaires est dnomme espace hermitien.

Gomtrie euclidienne

11

Espace de Minkowski
La physique de la relativit restreinte propose un monde rgi par des lois diffrentes de celle de la mcanique classique. Il n'y est pas possible de dpasser une vitesse critique, celle de la lumire. Cette limite engendre de nombreuses consquences. Pour reprendre l'exemple d'Albert Einstein (1879-1955) un voyageur dans un train en marche et se dplaant dans le sens du train n'a plus, comme vitesse par rapport au sol, la somme exacte de la vitesse du train et de son dplacement, mais un tout petit peu moins[30]. La modlisation physique utilise un espace de dimension quatre contenant la fois l'espace et le temps. Il est associ une gomtrie diffrente. Si l'on note x, y, z et ct les quatre coordonnes d'un point dans un repre orthogonal, en gomtrie euclidienne le carr de la distance du point l'origine est donne par la formule : x2 + y2 + z2 + (ct)2, expression qui a le statut mathmatique de forme quadratique. Dans le monde de la relativit restreinte, la formule : x2 + y2 + z2 (ct)2, qui est aussi une forme quadratique, joue un rle analogue. Ici, c dsigne la clrit de la lumire et t une dure, la formule est bien homogne. Muni de cette forme, l'espace est dit de Minkowski. La modification d'un signe dans l'galit dfinissant la forme quadratique (le carr de la distance ), change la nature de la gomtrie associe : cette quantit n'est plus ncessairement positive. Pour aller du centre not A sur la figure de droite au point C, il est ncessaire de dpasser la vitesse de la lumire. Le carr de la distance entre A et C est strictement ngatif, cette distance est purement imaginaire. En effet, si le carr de la distance est strictement ngatif, la vitesse ncessaire pour atteindre le point C partir du point A est suprieur celle de la lumire. En consquence et dans le cadre de la relativit restreinte, ce point ne peut pas tre en interaction avec A. L'ensemble des points distance (spatio-temporelle) nulle de A forme Pour la gomtrie associe l'espace de un cne appel cne de lumire de A. Ce cne est constitu des points Minkowski l'ensemble des points gale distance qui supposent un dplacement la vitesse de la lumire pour tre joints spatio-temporelle d'un centre n'est plus une partir du point A (dans sa partie suprieure, future) ; et de l'ensemble sphre mais un hyperbolode. des points joignant A la vitesse de la lumire (dans sa partie infrieure, passe). Il correspond la limite physique des points de l'espace-temps en interaction possible avec A : L'intrieur suprieur du cne peut tre vu comme l'ensemble des emplacements futurs possibles du point A, ou de l'ensemble des points qui seront causalement relis avec A ; L'intrieur infrieur comme l'ensemble des emplacements passs possibles de A, ou de l'ensemble des points causalement relis A. Plus gnralement, l'ensemble des points gale distance (spatio-temporelle) de A est un hyperbolode, alors que dans le cas euclidien l'ensemble des points gale distance d'un centre, dfinit une sphre.

Le cne de lumire en relativit restreinte

Gomtrie euclidienne

12

Varit
Toutes les gomtries ne satisfont pas le cinquime postulat d'Euclide. La surface d'une sphre donne un exemple immdiatement accessible. Le plus court chemin entre deux points se situe toujours le long d'un grand cercle dont le centre est celui de la sphre. Cette courbe joue donc le rle de droite pour la gomtrie de la sphre. Voil une gomtrie cohrente, correspondant un cas rel. Cependant le cinquime postulat n'est plus vrifi. Dans cet exemple, deux droites non confondues possdent toujours deux points d'intersection. L'abandon du cinquime postulat est fondamental. Il est en effet souhaitable de considrer la sphre, non pas comme un sous-ensemble d'un espace euclidien de dimension 3 mais comme une gomtrie part entire, disposant d'une distance et d'une relation d'orthogonalit. Sans outil de cette nature, l'tude d'un tel espace devient plus dlicate.
Sur une sphre, la somme des angles d'un triangle n'est pas gale 180 : une sphre n'est pas un espace euclidien. Par contre, les lois de la gomtrie euclidienne sont de bonnes approximations locales. Pour un petit triangle sur la surface de la Terre, la somme des angles est proche de 180.

La formalisation mathmatique est drive de l'exemple illustr dans la figure. Si l'tude se rsume une zone suffisamment petite, alors il est possible d'utiliser une carte plane, cest--dire une reprsentation euclidienne. En se rapprochant suffisamment du point d'tude, celle-ci donne une reprsentation d'une prcision aussi grande que voulue. Ainsi, un plan de Paris ne sera jamais rigoureusement exact car sur une sphre la somme des angles d'un triangle est toujours suprieure 180 degrs. Cependant, la dimension de Paris (relativement celle de la Terre) est suffisamment petite pour que l'erreur soit ngligeable. Ce mode de dfinition de la gomtrie des espaces courbes, par la donne d'une famille de cartes locales, peut tre gnralis. On obtient ainsi une description d'espaces courbes usuels (courbes et surfaces telles que la sphre), mais aussi, la possibilit de construire par la mme mthode des espaces courbes abstraits portant le nom de varits. La gomtrie riemannienne est la branche des mathmatiques qui tudie les espaces courbes sur lesquels existent des distances et des angles, et qui portent le nom de varits riemanniennes. La recherche et l'tude des plus courts chemins, ou godsiques, est une des proccupations importantes de cette branche. Lastrophysique grande chelle ne peut pas se contenter de la gomtrie riemannienne. En thorie de la relativit gnrale, les modles utiliss ne sont plus bass sur la gomtrie euclidienne, mais le sont plutt sur l'espace de Minkowski. Le cadre d'tude est toujours un espace courbe (varit), mais on considre une forme quadratique qui n'est plus ncessairement positive ; la varit devient lorentzienne (ou, plus gnralement, pseudo-riemannienne). Ainsi, la gravitation se manifeste par la trajectoire incurve suivie par une masse le long d'une godsique non euclidienne.

Gomtrie euclidienne

13

Notes et rfrences
[1] Andr Deledicq (avec extraits de la traduction d'Euclide par Franois Peyrard de 1819, Les lments d'Euclide pour le collge et le Lyce, Les ditions du Kangourou, 1999 [2] Ce rsultat date d'avant les dcouvertes de la civilisation islamique : J.-L. Prilli, La dcouverte des incommensurables et le vertige de l'infini (http:/ / www. cndp. fr/ RevueCPhil/ 91/ 00902911. pdf), transcription dune confrence qui a eu lieu le 16 mai 2001 Grenoble, p. 18 [3] A. Dahan-Dalmedico et J. Peiffer, Une Histoire des mathmatiques Routes et ddales , p. 90 [4] Les techniques utilises se fondent largement sur l'algbre des polynmes. Gauss les considre nanmoins comme de l'arithmtique, il crit ce sujet : La thorie de la division du cercle, ou des polygones rguliers [] n'appartient pas par elle-mme l'Arithmtique, mais ses principes ne peuvent tre puiss que dans l'Arithmtique transcendante. Recherches arithmtiques, prface, p. xv [5] (la) Leon Battista Alberti, De pictura, 1435 [6] Daniel Arasse, Lonard de Vinci, Hazan, 1997 [7] Blaise Pascal, Essay pour les coniques, 1640 [8] (la) Isaac Newton, Philosophiae Naturalis Principia Mathematica, 1687 [9] (de) E. Knobloch, Zur Vorgeschichte der Determinantentheorie, dans Theoria cum praxi: zum Verhltnis von Theorie und Praxis im 17. und 18. Jahrundert (Studia Leibnitiana Supplementa, vol. 22), 1982, p. 96-118 [10] (de) Bernard Bolzano, Betrachtungen ber einige Gegenstnde der Elementargoemetrie (littralement : Considrations sur quelques objets de la gomtrie lmentaire), 1804 [11] (en) Arthur Cayley, Chapter in the Analytical Geometry of (n) Dimensions, 1843, dans The Collected Mathematical Papers of Arthur Cayley, vol. 1, n 2, p. 55 62 [12] (en) William Rowan Hamilton, On a general method in dynamics , dans Phil. Trans. R. Soc., part II for 1834, p. 247308 [13] Jean Poncelet, Trait des proprits projectives des figures, 1822 [14] (en) G. Waldo Dunnington(en), Carl Friedrich Gauss: Titan of Science, New York, 1955 [15] C. Houzel, Un sicle de gomtrie, Berlin, 1992 [16] (la) Farkas Blyai de Bolya, Gyula Knig et Jzsef Krschk(hu), Tentamen juventutem studiosam in elementa matheseos purae [] introducendi, Marosvsrhely, 183233, chapitre sur la gomtrie non euclidienne [17] (en) Jeremy Gray(en), The discovery of noneuclidean geometry , dans Studies in the history of mathematics, Washington, DC, 1987, p. 37-60 [18] Nikola Lobatchevski, Gomtrie imaginaire, 1835 [19] (de) Nikola Lobatchevski, Geometrische Untersuchungen zur Theorie der Parellellinien (littralement : Investigations gomtriques sur la thorie des parallles ), 1840 [20] (de) Felix Klein, Das Erlanger Programm, 1872 [21] James Joseph Sylvester thorie sur les invariants algbriques 1852. [22] J.-L. Gardies Pascal entre Eudoxe et Cantor (Problmes et controverses) J. Vrin 1984 p 11 24 (ISBN2711608441). [23] Sabine Rommevaux, Clavius, une cl pour Euclide au XVIe sicle. Paris, J. Vrin, 2005. "Mathesis" (ISBN2711617874) [24] H. Languereau Les 100 ans de la gomtrie de Hilbert Mathmatiques vivantes Bulletin IREM n 66 2001 p 3 pdf (http:/ / www-irem. univ-fcomte. fr/ bulletins/ 066/ bull066. pdf) [25] J. Dhombres Nombre, mesure et continu Fernand Nathan 1978 p 231-238. [26] Si d'autres penseurs ont apport leur pierre sur le sujet, pour Jean Dieudonn, Hilbert et Pasch restent les principaux acteurs : Pour l'honneur de l'esprit humain Hachette Littrature 1987 (ISBN2010119509). [27] David Hilbert Grundlagen der Geometrie 1ire d. 1899, B.G. Teubner, Leipzig version anglaise (http:/ / www. gutenberg. org/ files/ 17384/ 17384-pdf. pdf) [28] Issai Schur Ueber die Grundlagen der Geometrie Math. Annalem, Vol. 55 p. 265 1902. [29] Eliakim Hastings Moore On the Projective Axioms of Geometry Transactions of the Amer. Math. Society 1902. [30] La relativit, Gauthier-Villars (1956)

Rfrences Euclide, Les lments, trad. F. Peyrard, 1804, F. Louis R. Goblot, Thmes de gomtrie: Gomtrie affine et euclidienne - agrgation de mathmatiques, Masson Marcel Berger, Gomtrie (en) Michael Artin, Algebra Serge Lang, Algbre (en) R. J. Trudeau, The non-Euclidean revolution, Birkhauser (en) M. J. Greenberg, Euclidiean and non-Euclidiean geometries, Freeman

Espace euclidien

14

Espace euclidien
En mathmatiques, un espace euclidien est un objet algbrique permettant de gnraliser de faon naturelle la gomtrie traditionnelle dveloppe par Euclide, dans ses lments. Une gomtrie de cette nature modlise, en physique classique, le plan ainsi que l'espace qui nous entoure. Un espace euclidien permet galement de traiter les dimensions suprieures ; il est dfini par la donne d'un espace vectoriel sur les nombres rels, de dimension finie, muni d'un produit scalaire, qui permet de mesurer distances et angles. L'existence d'un produit scalaire permet d'obtenir par exemple des bases particulires dites orthonormales, une relation canonique entre l'espace et son dual, ou des familles d'endomorphismes admettant une thorie simple de rduction. Il permet aussi d'obtenir une structure topologique, ce qui met disposition les mthodes d'analyse. Les espaces euclidiens possdent une longue histoire ainsi que de nombreuses applications. Les relations entre cet outil et le reste des mathmatiques sont multiples et varies, depuis la logique et l'algbre jusqu'aux gomtries non euclidiennes. Cet aspect est trait dans l'article gomtrie euclidienne.

Espace euclidien et bipoints

Dans le cadre de la construction des vecteurs l'aide des classes d'quivalence de bipoints sur un espace affine, une premire dfinition du produit scalaire peut tre obtenue. La norme d'un vecteur correspond la longueur d'un bipoint reprsentatif, l'angle de deux vecteurs correspond celui de deux bipoints reprsentatifs de mme origine. La formule donnant le produit scalaire est alors :

Dans de nombreux cas en physique classique ou en gomtrie analytique, si la dimension de l'espace n'est pas trop leve (typiquement deux ou trois), cette dfinition est suffisante. Toutefois, dans le cas gnral, ce formalisme s'avre la fois lourd et peu adapt pour, par exemple, l'tude des proprits topologiques d'un espace euclidien. Une deuxime approche, purement algbrique et plus abstraite, existe, et permet d'tablir plus facilement des rsultats plus gnraux[1].

Formalisation et premires proprits

Dfinitions
Les axiomes d'un espace vectoriel euclidien E concernent deux structures qui se combinent : la premire est celle d'espace vectoriel de dimension finie sur le corps des nombres rels, et la deuxime est la donne d'une forme bilinaire, note ici <. , .>, appele produit scalaire, possdant des proprits spcifiques. Une forme bilinaire est une application de E2 (l'ensemble des couples d'lments de E) dans l'ensemble R des rels, linaire pour chacune des deux variables, et il s'agit d'un produit scalaire si elle possde de plus les trois proprits : Un produit scalaire est symtrique, ce qui signifie : Un produit scalaire est positif ce qui signifie : Un produit scalaire est dfini ce qui signifie : Dfinition[2] Un produit scalaire sur un espace vectoriel rel E est une forme bilinaire symtrique dfinie positive. En particulier, la dfinition de produit scalaire est valable en dehors du cadre de la dimension finie. Elle se gnralise aux espaces complexes, (cf l'article Hermitien).

Espace euclidien Dfinition Un espace vectoriel euclidien est un espace vectoriel rel de dimension finie muni d'un produit scalaire. Dfinition Un espace affine euclidien est un espace affine dont l'espace vectoriel sous-jacent est muni d'une structure euclidienne. La donne du produit scalaire permet de dfinir une norme et une distance : Dfinition La norme euclidienne associe un espace vectoriel du mme type est la fonction de E dans l'ensemble des rels positifs, qui un vecteur x associe la racine carre du produit scalaire de x avec lui-mme. La norme euclidienne du vecteur x est souvent note . Cette convention est utilise tout au long de l'article. Cette fonction vrifie les axiomes de la notion de norme. Dfinition La distance euclidienne est la distance associe la norme euclidienne. La distance euclidienne de deux vecteurs x et y est la norme de la diffrence x - y. Cette fonction vrifie les axiomes de la notion de distance. Dans le cas d'un espace affine, la distance entre deux points a et b est gale la norme du vecteur d'extrmits a et b.

15

Exemples
L'espace vectoriel Rn, muni du produit scalaire canonique

est un espace euclidien appel espace euclidien canonique[3] de dimension n. L'espace vectoriel des polynmes rels de degr infrieur ou gal n, muni du produit scalaire canonique :

est un espace euclidien de dimension n + 1. muni du produit scalaire :

est aussi un espace euclidien dont la norme et la distance associes sont diffrentes de la prcdente. Ce produit scalaire est plus gnralement dfini sur l'espace des polynmes rels, sans condition de degr (espace de dimension infinie). muni du produit scalaire :

(o x0, ... xn sont n + 1 rels distincts) est aussi un espace euclidien dont la norme et la distance associes sont diffrentes des prcdentes. L'espace des nombres complexes C est un espace vectoriel rel de dimension deux. L'application qui deux complexes x et y associe la partie relle du produit de x et du conjugu de y est un produit scalaire, confrant C une structure d'espace vectoriel euclidien. De manire plus gnrale, un espace hermitien de dimension n est euclidien s'il est considr comme un espace rel de dimension 2.n avec comme produit scalaire la partie relle du produit scalaire d'origine.

Espace euclidien

16

Ingalits de Cauchy-Schwarz et de Minkowski

Deux majorations sont largement utilises dans l'tude des espaces euclidiens. Celle de Cauchy-Schwarz tablit une relation entre un produit scalaire et deux normes : Ingalit de Cauchy-Schwarz La valeur absolue du produit scalaire de deux vecteurs x et y est majore par le produit des normes de x et de y. Cette majoration s'crit :

L'galit n'a lieu que si x et y sont colinaires. La dmonstration de ce rsultat est donne dans l'article associ. Ingalit de Minkowski La norme de la somme de deux vecteurs x et y est infrieure ou gale la somme des normes de chacun des vecteurs. Cette majoration s'crit :

L'galit n'a lieu que si x et y sont colinaires et de mme sens. Cette majoration correspond au troisime axiome dfinissant une norme, dit de sous-additivit ou ingalit triangulaire. Elle est dmontre dans l'article associ.

Proprits algbriques
Base orthonormale
Dans l'tude des espaces euclidiens, certaines bases de l'espace vectoriel sous-jacent sont d'un intrt particulier. Ce sont celles qui vrifient les proprits suivantes, en liaison avec la structure supplmentaire amene par le produit scalaire : chaque vecteur de la base possde une norme gale un et deux vecteurs distincts de la base sont orthogonaux, c'est--dire que leur produit scalaire est gal zro. Une telle base est qualifie d'orthonormale. Orthogonalit et vecteurs libres 1 Toute famille de vecteurs non nuls et orthogonaux deux deux est une famille libre. L'existence de bases orthonormales est assure par la proposition suivante, utile dans de nombreuses situations : Orthogonalit et vecteurs libres 2 Soit x et y deux vecteurs libres, alors le vecteur z gal y - <x , y>/<x , x> x est non nul et orthogonal x. En effet, si x et y forment une famille libre alors x est non nul, et la combinaison linaire dfinissant z ne l'est pas non plus. Le calcul suivant montre que la famille (x, z) est orthogonale.

Le procd de Gram-Schmidt, qui gnralise ce calcul dans le cas de familles libres comptant plus de deux vecteurs, montre l'existence de bases orthonormales, et une mthode pour en calculer explicitement, partir de la donne d'une base pralable : Existence d'une base orthonormale Tout espace euclidien possde une base orthonormale. Dans une base orthonormale la norme et le produit scalaire s'expriment facilement en fonction des coordonnes. Soit (e1, ..., en) une base orthonormale note B, x et y deux vecteurs quelconques de E de coordonnes (x1, ..., xn) et (y1, ..., yn) dans la base B. Les expressions suivantes fournissent la norme et le produit scalaire :

En particulier, tout espace vectoriel euclidien de dimension n est isomorphe Rn, c'est--dire qu'il existe une application linaire bijective de E dans Rn, respectant les deux produits scalaires.

Espace euclidien

17

Orthogonalit et convexit
Tout sous-espace vectoriel F de E est lui-mme un espace euclidien, donc possde des bases orthonormales. Soit (fi) l'une d'entre elles. La preuve de l'ingalit de Bessel consiste alors en la construction[4], pour tout vecteur x, du projet orthogonal de x sur F, c'est--dire du vecteur p(x) de F tel que x-p(x) soit orthogonal F. On prouve, en l'explicitant, l'existence d'un tel vecteur. Son unicit est garantie par le fait que F et son orthogonal n'ont en commun que le vecteur nul. Par le thorme de Pythagore, sa norme est infrieure ou gale celle de x : Projet orthogonal et ingalit de BesselPour tout vecteur x de E, soit

Alors p(x) est le projet orthogonal de x sur F. Ses coordonnes <x , fi> sont appeles coefficients de Fourier, et la somme de leurs carrs est infrieure ou gale au carr de la norme de x. Lorsque (fi) est une base orthonorme de E (autrement dit lorsque F=E, donc p(x)=x), les coordonnes de x dans cette base sont donc ses coefficients de Fourier. Dans le cadre particulier d'un espace euclidien, cette construction du projet orthogonal fournit ainsi une preuve directe d'un thorme plus gnral, le Thorme du supplmentaire orthogonal d'un ferm dans un espace de Hilbert : Thorme du supplmentaire orthogonalF et son orthogonal sont supplmentaires. La projection orthogonale p ci-dessus est une application linaire et idempotente d'image F et de noyau F, aussi appele projecteur orthogonal sur F. D'aprs le thorme de Pythagore, p(x) est l'lment de F le plus proche de x. On peut aussi construire p(x) via cette proprit de minimisation de la distance (puis en dduire sa premire caractrisation), comme cas particulier du thorme suivant. (Ce thorme s'applique F, qui est convexe, et de dimension finie donc ferm.) Thorme de projection sur un convexe fermSoient C un convexe ferm de E et x un vecteur de E. Il existe un unique vecteur t(x) de C, dit projet de x sur le convexe, tel que la distance de x C soit gale celle de x t(x). La dmonstration de ce thorme et les proprits de l'application t sont dtailles dans l'article Thorme de projection sur un convexe ferm.

Espace dual et forme bilinaire

Le dual E* de E dsigne l'espace des formes linaires sur E. Le produit scalaire fournit une application canonique de E dans E*, qui tout vecteur x de E associe la forme linaire x* dfinie par : L'application est linaire. Si x est un lment du noyau de l'application , alors, en particulier, x*(x) est gal zro donc la norme de x est nulle ; ainsi, est injective. De l'galit des dimensions de E et de E* il rsulte que l'application est aussi surjective. Ceci montre la proprit suivante : Proposition 1 Il existe un isomorphisme canonique entre un espace euclidien et son dual. L'isomorphisme est trs largement utilis, en mathmatiques comme en physique. Par exemple un champ scalaire, c'est--dire une application diffrentiable de E dans R, possde comme diffrentielle une application de E dans l'ensemble des formes linaires sur E. L'identification du dual et de E l'aide de l'isomorphisme permet de reprsenter les formes linaires sur E par des lments de E. La diffrentielle prend alors le nom de gradient. En physique, la force est un lment du dual des vecteurs de l'espace gomtrique. Elle est identifie un vecteur de l'espace, mme si elle n'est pas de mme nature. Cette technique permet une reprsentation plus intuitive ainsi qu'un calcul simple. Le travail de la force, une grandeur importante en physique, s'interprte comme le produit scalaire avec la force.

Espace euclidien Il est possible de construire de manire analogue deux morphismes 1 et 2 entre L(E) l'ensemble des endomorphismes de E dans L2(E) l'espace des formes bilinaires. un endomorphisme a, on associe 1a et 2a dfinis par :

18

Un raisonnement analogue au prcdent montre que 1 et 2 sont deux applications linaires injectives. La surjectivit est la consquence du fait que L(E) et L2(E) ont mme dimension, savoir n2. Proposition 2 Les applications 1 et 2 sont deux isomorphismes canoniques entre l'ensemble des endomorphismes et des formes bilinaires sur un espace euclidien.

Adjoint d'un endomorphisme

Les isomorphismes prcdents possdent d'autres applications. La compose de 1 et de l'inverse de 2 est une application de L(E) dans lui-mme. Comme 1 et 2 sont deux isomorphismes, la compose est encore un isomorphisme. Cette application associe l'endomorphisme a, l'application, en gnral note a* dfinie par : Dfinition et proprits L'application de L(E) dans lui-mme, qui a associe l'endomorphisme a* est un isomorphisme involutif. L'image de a par cette application est appele adjoint de a. Cet isomorphisme est diagonalisable et admet deux valeurs propres 1 et -1. Les vecteurs propres de valeurs propres 1 (resp. -1) sont appels autoadjoints (resp. antisymtriques). Il existe une famille importante d'endomorphismes, comprenant notamment les endomorphismes autoadjoints et les endomorphismes antisymtriques : ceux qui commutent avec leur adjoint. Une application linaire ayant cette proprit est dite normale. Un cas particulier important est celui des automorphismes orthogonaux, c'est--dire les automorphismes u qui laissent invariant le produit scalaire :

L'ensemble des automorphismes vrifiant cette proprit forme un groupe appel groupe orthogonal. La relation induite par le produit scalaire entre les formes bilinaires et les endomorphismes possde de nombreuses applications, dans des domaines trs divers (voir notamment l'article thorme spectral dans le cas o les formes sont symtriques et les endomorphismes autoadjoints).

Construction d'espaces euclidiens

Comme frquemment en algbre, la donne d'espaces euclidiens permet d'en construire de nouveaux.

Sous-espace, espace produit

Si F est un sous-espace vectoriel d'un espace euclidien, alors la restriction du produit scalaire induit une structure d'espace vectoriel euclidien sur F. Si E1 et E2 sont deux espaces euclidiens, alors leur produit dispose d'une structure euclidienne. Le produit scalaire est donn par la formule :

Espace euclidien

19

Espace quotient
La nature des projecteurs orthogonaux permet d'attribuer un produit scalaire un quotient d'un espace euclidien. La norme d'une classe de x de l'ensemble E/F correspond la distance entre un reprsentant de la classe et F. Si reprsente la classe de x, alors le produit scalaire <. , . >E/F sur E/F est dfini par :

Il existe une isomtrie canonique entre le supplmentaire orthogonal de F (muni de la structure d'espace euclidien en tant que sous-espace vectoriel), et le quotient E/F, muni de la structure d'espace euclidien dcrite prcdemment, qui tout lment de ce supplmentaire orthogonal associe sa classe dans E/F. Ceci provient de l'identit, suivante, o p est le projecteur orthogonal de direction F :

Produit tensoriel
Soient E1 et E2 deux espaces euclidiens de dimensions respectives n1 et n2, s'ils sont identifis leurs duaux l'aide de l'isomorphisme canonique , l'espace tensoriel E1 E2 s'identifie l'ensemble des formes bilinaires de E1xE2. Le produit tensoriel est une application bilinaire de E1xE2 dans E1 E2 dfinie par : L'image de E1xE2 par le produit tensoriel est une partie gnratrice de E1 E2, il suffit donc de dfinir le produit scalaire sur cette image pour le dfinir sur tout l'espace. Le produit scalaire est alors dfini par l'galit suivante :

Endomorphisme
Si E1 et E2 sont confondus, le produit scalaire prcdent est celui de L2(E). L'isomorphisme canonique 1 de L(E) dans L2(E) permet de munir L(E) d'une structure d'espace euclidien : Le choix de l'isomorphisme 1 ou 2, dfinis dans le paragraphe Espace dual et forme bilinaire, est arbitraire, ils amnent tous deux au mme produit scalaire. Ce produit scalaire de L(E) confre aux deux isomorphismes le caractre d'isomtrie. L'adjoint permet une expression plus simple du produit scalaire sur L(E). le produit scalaire de deux endomorphismes a et b correspond la trace de l'endomorphisme adjoint de b compose avec a :

Pour ce produit scalaire, les endomorphismes autoadjoints et antisymtriques forment deux sous-espaces orthogonaux en somme directe et le groupe orthogonal est inclus dans la sphre unit.

Espace euclidien

20

Gomtrie
Gomtrie du triangle
Un espace euclidien dispose naturellement d'une distance. Il est possible de dfinir un angle entre deux vecteurs x et y non nuls. Un angle apparat comme une classe d'quivalence entre des couples de vecteurs non nuls. Soit (a, b) un couple de vecteurs non nuls reprsentant un angle ; l'angle entre x et y est gal si et seulement s'il existe une rotation dont l'image de a (resp. b) est gale x (resp. y). Si E est de dimension deux, alors il est possible d'orienter l'espace et l'angle (x, y) n'est pas ncessairement gal celui de (y, x). Pour les autres dimensions, il existe toujours une rotation dont l'image de x (resp. y) est gale y (resp. y) et un angle orient ne fait pas sens.

Le cercle d'Euler est un exemple de proprits dmontrables dans le cadre d'un espace euclidien.

La mesure d'un angle est donne par la formule suivante, si (x, y) est un reprsentant de l'angle :

Cette dfinition permet de formaliser un espace disposant de la mme gomtrie du triangle, que celle fonde sur les clbres postulats dcrits dans le livre d'Euclide, les lments. Une telle gomtrie vrifie les thormes de Thals, de Pythagore, ou d'Al-Kashi. Un exemple classique est donn par le cercle d'Euler disposant de neuf points remarquables.

Caractrisation par la forme polaire

Le produit scalaire confre la dimension euclidienne un espace vectoriel de dimension finie. La question se pose de savoir s'il n'existe pas d'autres moyens pour caractriser un espace euclidien. Une analyse montre qu'une norme est un outil suffisant. Proposition 1 Soit N une norme de E. N est euclidienne si et seulement si l'application de ExE dans R, qui deux vecteurs x et y associe la valeur suivante, dite identit de polarisation est un produit scalaire. Il correspond alors au produit scalaire confrant E le statut d'espace euclidien de norme N.

On remarque que si l'application est bilinaire, alors N2 est une forme quadratique. L'galit prcdente montre que la connaissance d'une forme bilinaire sur la diagonale de ExE suffit dterminer intgralement . Ceci donne lieu la dfinition suivante : Dfinition La forme bilinaire est appele forme polaire de la forme quadratique N2. Il existe une autre manire de dfinir le produit scalaire, partir de l'galit dite rgle du paralllogramme. Cette galit stipule que la somme des carrs des longueurs des deux diagonales d'un paralllogramme est gale au double de la somme des carrs de deux cts adjacents. Elle prend la forme suivante :

Une lgre modification de la formule permet d'tablir le rsultat suivant : Proposition 2 Soit N une norme de E. N est euclidienne si et seulement si l'application de ExE dans R, qui deux vecteurs x et y associe la valeur suivante, encore appele identit de polarisation est un produit scalaire. Il correspond alors au produit scalaire confrant E le statut d'espace euclidien de norme N.

Espace euclidien

21

La modification de la formule n'est nanmoins pas ncessaire, le rsultat suivant est aussi vrifi : Proposition 3 Toute norme N de E vrifiant l'galit du paralllogramme confre E le statut d'espace euclidien. La dernire proposition est dmontre dans l'article Identit de polarisation.

Caractrisation par une surface quadrique

Ici, A dsigne un espace affine d'espace vectoriel sous-jacent E de dimension finie n sur R. L'objectif est ici de munir E d'un produit scalaire l'aide d'une surface quadrique particulire. L'espace A est muni d'un repre cartsien Rep. Une surface quadrique dsigne ici l'ensemble des points vrifiant une quation du second degr. Si (xi) dsigne les coordonnes du point X de A dans Rep, il existe alors un polynme Q(X) n variables et de degr 2 tel que la surface quadrique S soit dfinie par :

Il existe plusieurs gomtries possibles pour une quadrique. Un cas scalaire et donc un espace euclidien. particulier correspond celui o la surface S est compacte. En dimension trois, la quadrique est qualifie d'ellipsode. La lettre O dsigne ici le centre de la quadrique. La donne de ce point tablit une isomtrie entre A et E, chaque point a de A est associ le vecteur d'origine O et d'extrmit a. Le thorme suivant assure que la donne d'une telle surface est quivalente celle d'un produit scalaire sur E. Caractrisation par une quadrique Si E est euclidien, la sphre unit est une quadrique compacte non rduite un point dans tout repre cartsien de A. Rciproquement si S est une surface quadrique compacte non rduite un point, alors S correspond la sphre unit pour un unique produit scalaire de E si chaque point de A est identifi un vecteur de E par l'isomtrie prcdente.

La donne d'un ellipsode caractrise un produit

Caractrisation par le groupe orthogonal

Le groupe orthogonal O(E) d'un espace euclidien E est muni d'une structure de groupe topologique dfinie de la faon suivante. Pour tout espace vectoriel rel V de dimension finie, l'espace L(V) de ses endomorphismes est galement de dimension finie donc muni d'une topologie canonique. Le groupe linaire GL(V) des automorphismes de V, inclus dans L(V), hrite ainsi d'une topologie induite, qui en fait un groupe topologique. Si E est un espace euclidien, O(E) est un sous-groupe de GL(E) donc est, lui aussi, un groupe topologique (pour la topologie induite). Fonctorialit du groupe orthogonal Soient E et F deux espaces euclidiens de mme dimension. Tout isomorphisme d'espaces euclidiens entre E et F induit un isomorphisme de groupes topologiques entre O(E) et O(F). En effet, si a est un isomorphisme d'espaces euclidiens de E dans F, l'isomorphisme de groupes a de O(E) dans O(F) dfini par :

est continu (car c'est la restriction d'une application (linaire) continue de L(E) dans L(F)), et son inverse l'est aussi puisqu'il est de la mme forme : (a)-1=(a-1). Ainsi, tous les espaces euclidiens de dimension n ont le mme groupe orthogonal que celui, not O(n), de l'espace euclidien usuel Rn. Comme les groupes topologiques en question sont de faon naturelle des groupes de Lie, ils sont mme isomorphes en tant que groupes de Lie (c'est--dire relis par un isomorphisme de groupes qui est non seulement un homomorphisme mais un diffomorphisme).

Espace euclidien On peut reformuler la fonctorialit du groupe orthogonal en disant que pour tout espace vectoriel V de dimension n et tout sous-groupe G de GL(V), s'il existe sur V un produit scalaire dont G soit le groupe orthogonal, alors G est isomorphe (en tant que groupe topologique) O(n). La rciproque est vraie : Le groupe dtermine le produit scalaire Soient V un espace vectoriel rel de dimension n et G un sous-groupe de GL(V). Si G est isomorphe (en tant que groupe topologique) O(n) alors il est le groupe orthogonal d'un produit scalaire sur V. Un tel produit scalaire est unique homothtie prs. L'unicit du produit scalaire n'est vraie qu' homothtie prs car si <x, y> est un produit scalaire et si est un rel non nul, alors le groupe orthogonal du produit scalaire <x, y> est le mme que celui de <x, y>. Son existence est bien plus profonde. L'une des approches possibles pour la dmontrer puise son inspiration dans la thorie de la reprsentation des groupes de Lie. Elle est relativement gnrique (elle s'applique aux espaces affines euclidiens, aux gomtries projectives ou encore symplectiques), mais dpasse le cadre de cet article.

22

Topologie
Le produit scalaire dfinit une norme et donc une distance, confrant ainsi une structure d'espace mtrique et topologique l'ensemble. Cette structure est compatible avec les deux oprations que sont l'addition et la multiplication externe par un scalaire, c'est--dire que ces deux oprations sont continues. Les espaces vectoriels rels de dimension finie n'admettent qu'une unique topologie spare vrifiant cette compatibilit. Une consquence est que la norme euclidienne est quivalente toutes les normes, euclidiennes ou non. La structure topologique d'un espace vectoriel norm de dimension finie E possde de nombreuses proprits : Toute application linaire de E dans un espace vectoriel norm est continue. E est uniformment homomorphe Rn. Les sous-espaces vectoriels de E sont des ferms. compltude : E est un espace complet, ainsi que l'ensemble des applications linaires continues d'un espace vectoriel norm dans E. compacit : les compacts de E sont les ferms borns. Toute boule ferme de E est compacte (voir thorme de Borel-Lebesgue). Rciproquement, un espace vectoriel norm dans lequel toute boule ferme est compacte est de dimension finie (voir thorme de compacit de Riesz).

Gnralisations
Il existe plusieurs gnralisations des espaces euclidiens. En choisissant comme corps de base le corps des nombres complexes, on obtient la notion d'espace hermitien. De tels espaces admettent une thorie analogue, au prix d'adaptations naturelles : les rsultats prsents dans cet article restent intgralement vrifis pour ces espaces[5]. En dimension infinie, une dfinition analogue (existence d'un produit scalaire ou hermitien) amne d'abord la notion de prhilbertien, dans le cas rel et dans le cas complexe. Le caractre complet n'est pas vrifi en gnral. Un espace prhilbertien, complet pour la topologie d'espace mtrique induite par la norme prhilbertienne, est appel espace de Hilbert. Les espaces de Hilbert font l'objet d'une riche thorie, et sont des objets de base en analyse fonctionnelle[6]. Une gomtrie euclidienne est dfinie par un espace vectoriel et une forme bilinaire particulire (dfinie positive). Travailler avec certaines autres formes bilinaires permet d'obtenir d'autres gomtries, par exemple la gomtrie symplectique. Pour d'autres corps de base que les rels ou les complexes, la notion de forme bilinaire dfinie positive n'est en gnral pas pertinente, car le corps n'est pas ordonn. On remplace gnralement cette hypothse par le fait que la forme est non dgnre, c'est--dire qu'il n'existe pas de vecteur non nul orthogonal tout l'espace. Une telle structure est utilise, par exemple pour la gomtrie sur les groupes finis. Les groupes orthogonaux sur des espaces vectoriels de dimension finie sur les corps finis fournissent notamment des familles infinies de groupes simples[7].

Espace euclidien

23

Rfrences
Notes
[1] Une approche de cette nature se trouve dans : Y. Ladegaillerie Gomtrie pour le CAPES de mathmatiques Ellipses Marketing 2002 (ISBN2729811486) [2] C. Antonini et al., Espace prhilbertien rel (http:/ / www. les-mathematiques. net/ b/ c/ i/ node2. php) sur le site les-mathematiques.net [3] Le terme d'espace vectoriel canonique pour Rn est largement utilis, on peut citer : R. Godement, Domaines fondamentaux des groupes arithmtiques, dans Sminaire Bourbaki, tome 8, 1962 1964, Expos n 257 [4] Cette technique possde des applications, par exemple, en statistique, et elle est le fondement de la mthode des moindres carrs [5] Cette gnralisation est traite par exemple dans Serge Lang, Algbre . [6] Cette gnralisation est traite par exemple dans : Ham Brezis, Analyse fonctionnelle : thorie et applications , p. 78 116. [7] Une rfrence standard mais technique : R. W. Carter, Simple Groups of Lie Type, Wiley & Sons, 1993 (ISBN0-471-50683-4)

Rfrences
J. M. Monier, Cours de mathmatiques - MPSI, PCSI, PTSI et MP, PSI , PC, PT: Algbre et gomtrie MP, t.8, Dunod, 2007, 5ed. (ISBN9782100510382) J. Lelong-Ferrand et J. M. Arnaudis, Cours de mathmatiques: Gomtrie et cinmatique, t.3, Dunod, 1977
(ISBN9782100057160)

E. Ramis, C. Deschamps et J. Odoux, Cours de mathmatiques: Applications de l'analyse la gomtrie, t.5, Dunod, 1998 (ISBN2100041789)

lments d'Euclide
Les lments (en grec ancien / Stoikhea) sont un trait mathmatique et gomtrique, constitu de 13 livres organiss thmatiquement, probablement crit par le mathmaticien grec Euclide vers 300 av. J.-C. Il comprend une collection de dfinitions, axiomes, thormes et leur dmonstration sur les sujets de la gomtrie euclidienne et de la thorie des nombres primitifs. Les lments sont le plus ancien exemple connu d'un traitement axiomatique et systmatique de la gomtrie et son influence sur le dveloppement de la logique et de la science occidentale est fondamentale. Il s'agit probablement du recueil qui a rencontr le plus de succs au cours de l'Histoire : les lments furent l'un des premiers livres imprims (Venise, 1482) et n'est prcd que par la Bible pour le nombre d'ditions publies (largement plus de 1 000). Pendant des sicles, il a fait partie du cursus universitaire standard.

Principes
La mthode d'Euclide a consist baser ses travaux sur des Couverture de la premire dition anglaise des dfinitions, des "demandes" (postulats) , des notions ordinaires lments par Henry Billingsley, 1570 (axiomes), et des propositions (problmes rsolus). Par exemple, le livre I contient 35 dfinitions (point, ligne, surface, etc.), cinq postulats et cinq notions ordinaires. Postulats du livre I :

lments d'Euclide 1. Un segment de droite peut tre trac en joignant deux points quelconques. 2. Un segment de droite peut tre prolong indfiniment en une ligne droite. 3. tant donn un segment de droite quelconque, un cercle peut tre trac en prenant ce segment comme rayon et l'une de ses extrmits comme centre. 4. Tous les angles droits sont congruents. 5. Si deux lignes sont scantes avec une troisime de telle faon que la somme des angles intrieurs d'un ct est infrieure deux angles droits, alors ces deux lignes sont forcment scantes de ce ct. Notions ordinaires du livre I : 1. 2. 3. 4. 5. Des choses qui sont gales une mme chose sont gales entre elles. Si des choses gales sont ajoutes d'autres choses gales, leurs sommes sont gales. Si des choses gales sont soustraites d'autres choses gales, leurs diffrences sont gales. Des choses qui concident avec une autre sont gales entre elles. Le tout est plus grand que la partie.

24

Postrit
Le succs des lments est d principalement la prsentation logique de la quasi-totalit du savoir mathmatique dont Euclide disposait. L'utilisation systmatique et efficace du dveloppement des dmonstrations partir d'un jeu rduit d'axiomes incita les utiliser comme livre de rfrence pendant des sicles. Tout au long de l'Histoire, quelques controverses entourrent les axiomes et les dmonstrations d'Euclide. Nanmoins, les lments Codex Vaticanus 190 restent une uvre fondamentale dans l'histoire des sciences et furent d'une influence considrable. Les scientifiques europens Nicolas Copernic, Johannes Kepler, Galileo Galilei et particulirement Isaac Newton furent tous influencs par les lments et appliqurent leur connaissance du livre leurs propres travaux. Certains mathmaticiens (Bertrand Russell, Alfred North Whitehead) et philosophes (Baruch Spinoza) ont galement tent d'crire leurs propres lments, des structures dductives axiomatiques appliques leurs disciplines respectives. Des cinq postulats noncs dans le livre I, le dernier, dont on dduit le postulat des parallles : en un point extrieur une droite, ne passe qu'une unique droite qui lui est parallle , a toujours sembl moins vident que les autres. Plusieurs mathmaticiens souponnrent qu'il pouvait tre dmontr partir des autres postulats, mais toutes les tentatives pour ce faire chourent. Vers le milieu du XIXe sicle, il fut dmontr qu'une telle dmonstration n'existe pas, que le cinquime postulat est indpendant des quatre autres et qu'il est possible de construire des gomtries non euclidiennes cohrentes en prenant sa ngation.

Histoire
Les premires traces crites des notions de longueurs et d'orthogonalit sont babyloniennes et remontent une priode situe entre 1900 et 1600 av. J.-C.. On y trouve la connaissance du thorme de Pythagore au moins pour le cas d'un triangle dont les cts sont de longueurs respectives trois, quatre et cinq. Le livre d'Euclide constitue la premire formalisation de la gomtrie. Bien que la plupart des thormes lui soient antrieurs, les lments taient suffisamment complets et rigoureux pour clipser les uvres gomtriques qui les ont prcds et peu de choses sont connues sur la gomtrie pr-euclidienne. Son auteur Euclide d'Alexandrie (325-265 av. J.-C.) fut probablement un disciple d'Aristote (-384-322 av. J.-C.). Son histoire ainsi que celle de son livre sont mal connues. Trois hypothses sont avances son sujet. Euclide est:

lments d'Euclide soit un personnage historique principal auteur des lments, soit la tte d'une cole mathmatique soit un nom d'auteur qu'a utilis un groupe de mathmaticiens pour rdiger une compilation, ce nom serait alors une rfrence au philosophe grec Euclide de Mgare (450-380 av. J.-C.) [1]. La premire hypothse a t admise sans l'ombre d'un doute pendant plus de 2000 ans, et elle reste encore la plus vraisemblable. En revanche, il est pratiquement tabli qu'Euclide tait la tte d'une cole mathmatique vigoureuse et ses disciples ont certainement contribu la rdaction[2] des lments. Hippocrate de Chios (470-410 av. J.-C.) est l'auteur du contenu des livres I et II des lments, si on en croit le philosophe byzantin Proclos (411-487). Il crit de lui Il tait le premier crire pour la compilation maintenant connue sous le nom des lments[3]. L'ouvrage fut traduit en arabe aprs avoir t donn aux Arabes par l'Empire byzantin, puis traduit en latin d'aprs les textes arabes (Adelard de Bath au XIIesicle, repris par Campanus de Novare). La premire dition imprime date de 1482 et le livre fut depuis traduit dans une multitude de langues et publi dans plus de 1 000 ditions diffrentes. Des copies du texte grec existent toujours, par exemple dans la bibliothque du Vatican ou la Bodleian Library Oxford, mais ces manuscrits sont de qualit variable et toujours incomplets[4]. Par analyse des traductions et des originaux, il a t possible d'mettre des hypothses sur le contenu originel, dont il ne subsiste aucune copie intgrale.

25

Axiomatisation ultrieure
Les mathmaticiens du XIXe sicle dcouvrirent que les dmonstrations d'Euclide ncessitent des hypothses additionnelles, non spcifies dans le texte original, par exemple l'axiome de Pasch. David Hilbert modifia la liste pour en fournir un jeu complet en 1899 dans un article intitul Les fondements de la gomtrie. La liste des axiomes de Hilbert en contient 20.

Livres
Les lments sont organiss comme suit : Les livres I IV traitent de gomtrie plane : Le livre I nonce les proprits de base de la gomtrie : thorme de Pythagore, galits angulaires et d'aires et paralllisme, somme des angles du triangle, les trois cas d'galit des triangles. Le livre II est couramment nomm livre de l'algbre gomtrique, parce qu'il est un livre de gomtrie facile interprter comme de l'algbre, ce qu'il n'est pas exactement mais il a t compris et utilis en mathmatiques arabes pour l'algbre. En particulier, les thormes qu'il nonce correspondent en grande partie nos identits remarquables. Un cas particulier d'un problme correspondant une quation du second degr est galement donn. Le livre III traite du cercle et de ses proprits : angle inscrit, puissance d'un point, tangente. Le livre IV s'occupe de l'inscription et de la circonscription de triangles ou de polygones rguliers dans le cercle. Les livres V X font intervenir les proportions : Le livre V est le trait des proportions de grandeurs. Le livre VI est celui de l'application des proportions la gomtrie : thorme de Thals, figures semblables. Le livre VII est consacr l'arithmtique : divisibilit, nombres premiers, PGCD, PPCM. Le livre VIII traite de l'arithmtique des proportions et des suites gomtriques. Le livre IX applique les prcdents : infinit des nombres premiers, somme d'une suite gomtrique, nombres parfaits. y est dmontre.

Le livre X est une tentative de classification des grandeurs irrationnelles. L'irrationalit de

lments d'Euclide Les livres XI XIII traitent de gomtrie dans l'espace : Le livre XI gnralise dans l'espace les livres I VI : perpendicularit, paralllisme, volumes de paralllpipdes. Le livre XII compare ou calcule des aires et volumes en utilisant la mthode d'exhaustion : disque, cnes, pyramides, cylindres et sphre. Le livre XIII est la gnralisation du livre IV dans l'espace : section dore, les cinq polydres rguliers inscrits dans une sphre. Il existe deux livres apocryphes, prsents en annexe dans la traduction de Heath.

26

Rfrences
[1] [2] [3] [4] D'aprs Jean Itard, Les livres arithmtiques d'Euclide, Paris, Libr. Albert Blanchard, 1962. Biographie d'Euclide dans Dictionary of Scientific Biography (New York 1970-1990) Cf. Thomas Heath, A History of Greek Mathematics I, Oxford, 1921, p.182-202. Cf. Folkerts 1989.

Livre I des lments d'Euclide

Le livre I des lments d'Euclide pose les fondements pour la suite de l'ouvrage. Il contient : 35 dfinitions de vocabulaire 5 demandes (ou postulats selon Proclos) plus un apocryphe 5 notions communes (ou axiomes selon Proclos) plus quatre apocryphes 48 propositions

Les dfinitions
Y sont dfinis le point, la droite (qui chez Euclide n'est jamais qu'un segment de droite), les angles, le cercle, le triangle, le carr, le rectangle, les parallles. Voici quelques-unes de ces dfinitions : Dfinition 1, le point est ce dont la partie est nulle. Dfinition 2, une ligne est une longueur sans largeur. Dfinition 4, la ligne droite est celle qui est galement place entre ses points. Dfinition 8, un angle plan est l'inclinaison mutuelle de deux lignes qui se touchent dans un plan, et qui ne sont pas places dans la mme direction. Dfinition 9, lorsque des lignes qui comprennent un angle sont des droites, l'angle se nomme rectiligne. Dfinition 10, lorsqu'une droite tombant sur une droite fait deux angles de suite gaux, chacun des angles gaux est droit, et la droite place au-dessus est dite perpendiculaire celle sur laquelle elle est place. Dfinition 11, l'angle obtus est celui qui est plus grand qu'un droit. Dfinition 12, l'angle aigu est celui qui est plus petit qu'un droit. Dfinition 15, un cercle est une figure plane comprise par une seule ligne qu'on nomme circonfrence, toutes les droites menes la circonfrence d'un des points plac dans cette figure tant gales entre elles. Dfinition 16, ce point se nomme le centre du cercle. Dfinition 17, le diamtre du cercle est une droite mene par le centre et termine de part et d'autre par la circonfrence du cercle, le diamtre partage le cercle en deux parties gales. Dfinition 24, parmi les figures trilatres, le triangle quilatral est celle qui a ses trois cts gaux. Dfinition 25, le triangle isocle, celle qui a seulement deux cts gaux.

Dfinition 27, [], le triangle rectangle est celle qui a un angle droit. Dfinition 30, parmi les figures quadrilatres, le carr est celle qui est quilatre et rectangulaire.

Livre I des lments d'Euclide Dfinition 31, le rectangle, celle qui est rectangulaire, et non quilatrale. Dfinition 35, les parallles sont des droites qui, tant situes dans un mme plan, et tant prolonges l'infini de part et d'autre, ne se rencontrent ni d'un ct ni de l'autre.

27

Les demandes
Ce sont les fameux postulats d'Euclide dont le cinquime est le plus clbre. (On parle son propos de postulat d'Euclide, d'axiome d'Euclide, de postulatum,etc Il est quivalent l'axiome des parallles.) : Demande 1, Entre deux points on peut toujours tracer une droite. Demande 2, On peut toujours prolonger indfiniment une droite trace entre deux points. Demande 3, Partant d'un point et d'une longueur donns, on peut toujours tracer un cercle. Demande 4, Tous les angles droits sont gaux entre eux. Demande 5, si une droite, tombant sur deux droites, fait les angles intrieurs du mme ct plus petits que deux droits, ces droites, prolonges l'infini, se rencontreront du ct o les angles sont plus petits que deux droits.

Les dfinitions et les notions communes privilgient le cercle et la droite. La gomtrie d'Euclide sera donc essentiellement attache aux constructions la rgle et au compas.

Les notions communes

Elles noncent la transivit de l'galit, le fait qu'une galit ou une ingalit est conserve si on ajoute ou si on retranche une mme quantit aux deux membres de l'galit ou de l'ingalit. La dernire notion commune nonce que le tout est plus grand que la partie.

Les propositions
Ces propositions traitent des points suivants : Constructions lmentaires. Les trois premires propositions dcrivent quelques constructions lmentaires : construction d'un triangle quilatral de ct donn (prop.1), construction d'un cercle de centre donn et de rayon donn (prop.2), retrancher d'un segment AB donn un segment donn (prop.3) Les cas d'galit des triangles sont traits dans les prop.4 (premier cas d'galit des triangles : deux cts et l'angle compris entre ces deux cts, gaux dans les deux triangles), prop.7 et 8 (deuxime cas d'galit des triangles : trois cts de mme longueur dans les deux triangles), prop.26 (troisime cas d'galit des triangles : deux angles et un ct gaux). Le triangle isocle : les prop.5 et 6 montrent qu'un triangle a deux cts gaux si et seulement s'il a deux angles gaux. Constructions diverses. Un certain nombre de propositions exposent comment procder la construction d'objets gomtrique : la bissectrice d'un angle (prop.9), le milieu d'un segment (prop.10), la perpendiculaire une droite passant par un point donn, un triangle dont les longueurs des cts sont donnes (prop.22), un angle gal un angle donn (prop.23). Les angles. Les propositions 13 19 traitent des angles, par exemple : deux angles d'un triangle sont moindres que deux droits (prop.17) ; dans un triangle, un plus grand ct est oppos un plus grand angle (prop.18) ; deux triangles ayant deux cts gaux, la base de l'un est plus grand que la base de l'autre si et seulement si l'angle au sommet du premier est plus grand que l'angle au sommet de l'autre (prop.24 et 25). Ingalit triangulaire : la prop.20 dmontre l'ingalit triangulaire Ces 26 premires propositions ne font pas appel au cinquime postulat d'Euclide sur les parallles. Il n'en est pas de mme des propositions qui suivent et qui utilisent ce postulat.

Livre I des lments d'Euclide Proprits des parallles. Si une droite tombant sur deux droites fait des angles alternes gaux entre eux, ces deux droites seront parallles (prop.27 et 28), et rciproquement, une droite tombant sur deux parallles fait les angles alternes gaux entre eux (prop.29). Les droites parallles une mme droite sont parallles entre elles (prop.30). La prop.31 expose comment construire une parallle une droite donne passant par un point donn. Somme des angles d'un triangle. C'est dans la prop.32 qu'on prouve que la somme des angles d'un triangle est gal deux droits. Proprits du paralllogramme. Les segments joignant les sommets de deux segments parallles et de mme longueur sont eux-mmes parallles et de mme longueur (prop.33) ; les cts et les angles opposs d'un paralllogramme sont gaux entre eux et une diagonale le partage en deux parties gales (prop.34) ; deux paralllogrammes, construits sur des bases de mme longueur et entre les mmes parallles, ont mme aire (prop.35 et 36). Les propositions 42 45 expliquent comment construire un paralllogramme d'aire gale celle d'un triangle donn, ou d'aire gale celle d'un polygone donn. Proprits des triangles. Deux triangles de mme base ont mme aire si et seulement s'ils ont mme hauteur (prop.37 40). Cette aire est la moiti de celle du paralllogramme correspondant (prop.41). Construction d'un carr. Elle est donne par la prop.46. Thorme de Pythagore. Le livre I se termine par la dmonstration de ce thorme (prop.47) et de sa rciproque (prop.48).

28

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Liens externes
Documents en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632 Les lments d'Euclide [2] traduction de F.Peyrard, 1804

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f6. pagination [2] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k110982q. image. r=les+ %C3%A9l%C3%A9ments+ d%27Euclide. f18. langFR. pagination

Livre II des lments d'Euclide

29

Livre II des lments d'Euclide

Le Livre II des lments d'Euclide contient ce qu'on appelle habituellement et tort l'algbre gomtrique. En effet, une grande partie de ses propositions peuvent s'interprter algbriquement, ce que n'ont pas manqu de faire les mathmaticiens arabo-musulmans, en particulier al-Khwarizmi. Cependant, il ne s'agit pas d'algbre, car ce livre ne rsout pas de problmes numriques et encore moins d'quations. Il ne traite que d'galits d'aires de rectangles ou de carrs. Le livre contient : 2 dfinitions 14 propositions

Les dfinitions
La premire dfinition indique ce qu'on entend par rectangle contenu sous deux droites et dont l'usage est trs frquent dans les lments. Il s'agit simplement du rectangle dont les cts ont des longueurs gales celle des deux droites donnes. Algbriquement, il correspond au produit de ces deux longueurs. La deuxime dfinition dfinit le gnomon : il s'agit de la figure restante d'un paralllogramme dont on a retir un paralllogramme plus petit de mme diagonale.

Les propositions
Bien que les noncs soient purement gomtriques, nous donnerons ci-dessous leur interprtation moderne algbrique. Insistons sur le fait que cette interprtation algbrique est trangre la conception d'Euclide, mme si elle peut clairer nos yeux la dmarche suivie. Distributivit de la multiplication par rapport l'addition (prop.1 3). Elle s'nonce gomtriquement par le fait que des rectangles de mme hauteur disposs cte cte forment un rectangle dont l'aire est la somme des aires de ces rectangles. Algbriquement, Identits remarquables. La prop.4 nonce que, si la droite est coupe volont, le carr de la droite entire est gal aux carrs des segments, et deux fois le rectangle contenu sous les deux segments. On reconnat notre identit remarquable , deux fois le rectangle contenu sous les deux segments n'tant autre que le double produit. La prop.5 nonce que si une ligne droite est coupe en parties gales et en parties ingales, le rectangle sous les segments ingaux de la droite entire avec le carr de la droite place entre les sections, est gal au carr de la moiti de la droite entire, ce qui s'interprte algbriquement par la relation . Cette proposition est d'usage courant dans les lments et fait figure d'identit fondamentale. Par exemple, c'est elle qui est utilise dans la prop.III-35 introduisant la puissance d'un point par rapport un cercle. Les prop.6 10 noncent d'autres identits qui se ramnent aux prcdentes. Problme du second degr. La prop.11 expose comment couper une droite donne, de manire que le rectangle compris sous la droite entire et l'un des segments soit gal au carr du segment restant. Algbriquement, cela revient rsoudre et relve d'un problme du second degr, question dj fort connue des babyloniens. Cette proposition servira Euclide pour construire un pentagone rgulier (prop.IV-11) ou pour couper un segment en extrme et moyenne raison (prop.VI-30). Thorme d'Al-Kashi. Les prop.12 et 13 noncent des rsultats qu'on peut interprter comme le thorme d'Al-Kashi (ou thorme de Pythagore gnralis ou loi des cosinus). Construction de la moyenne gomtrique. La prop.14 nonce comment construire un carr dont l'aire est gale celle d'un rectangle donn.

Livre II des lments d'Euclide

30

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, Editions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Liens externes
Documents en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632 Les lments d'Euclide [2] traduction de F.Peyrard, 1804

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f86. pagination [2] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k110982q. image. r=les+ %C3%A9l%C3%A9ments+ d%27Euclide. f91. langFR. pagination

Livre III des lments d'Euclide

Le livre III des lments d'Euclide traite des proprits du cercle (tangentes au cercle, angles inscrits et angles au centre, puissance d'un point par rapport un cercle). Il comporte : 11 dfinitions 37 propositions

Les dfinitions
Dans le prambule du livre III, on dfinit : La tangente un cercle. Une droite est tangente un cercle si elle le touche sans le couper. Les cercles tangents. Deux cercles sont tangents s'ils se touchent sans se couper une seul fois. Le segment de cercle. Il s'agit du domaine limit par une droite scante un cercle et ce cercle. Le secteur de cercle. Il s'agit du domaine limit par deux rayons et la portion de circonfrence qu'ils dfinissent.

Les propositions
Ces propositions traitent des points suivants : Constructions diverses. La prop.1 dcrit comment construire le centre d'un cercle. Diverses proprits relatives au centre sont galement nonces dans les prop.5 9. Par exemple, si dans un cercle, l'on prend un point quelconque, et si plus de deux droites menes de ce point la circonfrence sont gales entre elles, le point qu'on aura pris sera le centre du cercle. La prop.30 dcrit comment trouver le milieu d'un arc de cercle. Proprit des cordes. Diverses proprits sont nonces, par exemple, une droite coupant une corde est perpendiculaire celle-ci si et seulement si elle la coupe en deux segments de mme longueur (prop.3). Les cordes de mme longueur sont galement loignes du centre et rciproquement, la corde la plus grande tant le diamtre, et la longueur diminuant au fur et mesure qu'on s'loigne du centre (prop.14 et 15). Position relative de deux cercles. Un cercle ne coupe pas un autre cercle en plus de deux points (prop.10). Deux cercles tant tangents, leurs centres sont aligns avec le point de tangence (prop.11 et 12). Un cercle tangent un autre cercle n'a qu'un point commun avec lui (prop.13).

Livre III des lments d'Euclide Proprit des tangentes au cercle. Il s'agit d'une droite perpendiculaire au diamtre passant par une extrmit de ce dernier (prop.16, 18, 19). Dans cette proposition, Euclide conoit l'angle entre la tangente et le cercle comme un angle curviligne, plus petit que n'importe quel angle rectiligne. La prop.17 permet de construire la tangente un cercle passant par un point donn. Angles au centre et angles inscrits. La prop.20 prouve que l'angle au centre est le double de l'angle inscrit correspondant. La prop.21, gnralise dans les prop.26 29, prouve que des angles inscrits interceptant le mme arc sont gaux et rciproquement. La prop.22 prouve que les angles opposs d'un quadrilatre inscrit dans un cercle sont gaux deux droits. Proprit des segments de cercle. Les prop.23 25 traitent des segments de cercle. Par exemple, un segment tant donn, la prop.25 dcrit le cercle dont il est le segment. Les prop.33 et 34 donnent des constructions relatives aux segments de cercle. Triangle rectangle inscrit dans un cercle. La prop.31 prouve qu'un triangle ayant un ct gal au diamtre est rectangle. Puissance d'un point par rapport un cercle. Elle est introduite par les prop.35 37, la prop.35 tant nonce comme suit : si, dans un cercle, deux droites se coupent mutuellement, le rectangle compris sous les segments de l'une est gal au rectangle compris sous les segments de l'autre.

31

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Liens externes
Documents en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632 Les lments d'Euclide [2] traduction de F.Peyrard, 1804

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f111. pagination [2] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k110982q. image. r=les+ %C3%A9l%C3%A9ments+ d%27Euclide. f124. langFR. pagination

Livre IV des lments d'Euclide

32

Livre IV des lments d'Euclide

Le livre IV des lments d'Euclide traite des figures inscrites ou circonscrites, et en particulier des polygones rguliers inscrits dans un cercle. Il comporte : 7 dfinitions 16 propositions

Les dfinitions
Les df.1 et 2 dfinissent ce qu'est un polygone inscrit dans un autre polygone ou circonscrit un polygone. Les df.3 et 4 dfinissent ce qu'est un polygone inscrit dans un cercle ou circonscrit un cercle. Les df.5 et 6 dfinissent ce qu'est un cercle inscrit dans un polygone ou circonscrit ce polygone. La df.7 dfinit ce qu'est une droite adapte un cercle, qui n'est autre qu'une corde.

Les propositions
Elles consistent en des constructions de polygones rguliers ayant de plus en plus de cts, passant de la construction du triangle ou du carr jusqu' celle du pentagone, de l'hexagone et du quindcagone. Construction d'une corde de longueur donne dans un cercle (prop.1) Construction d'un triangle semblable un triangle donn, inscrit dans un cercle donn (prop.2) ou circonscrit ce cercle (prop.3). Ou inversement, inscrire ou circonscire un cercle un triangle (prop.4 et 5). Construction d'un carr inscrit dans un cercle donn, ou circonscrit ce cercle (prop.6 et 7). Ou inversement, inscrire ou circonscrire un cercle un carr (prop.8 et 9). Construction d'un triangle isocle dont chacun des angles de la base est double de l'angle restant (prop.10). Pour cela, on coupe un segment en extrme et moyenne raison, ce qui, de nos jours, s'interprte par l'utilisation du nombre d'or. Cette construction est fondamentale pour construire le pentagone rgulier inscrit dans un cercle donn (prop.11) ou circonscrit ce cercle (prop.12), ou inversement, pour inscrire ou circonscrire un cercle un pentagone rgulier (prop.13 et 14). Le pentagone lui-mme sera utilis pour la construction, dans le livre XIII, de l'icosadre et du dodcadre. Construire un hexagone rgulier inscrit dans un cercle donn (prop.15). Le ct a une longueur gale au rayon. Construire un pentadcagone (ou quindcagone) rgulier inscrit dans un cercle donn (prop.16). On utilise pour cela le dcoupage d'un arc rsultant de l'inscription d'un triangle quilatral et d'un pentagone.

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Liens externes
Documents en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632 Les lments d'Euclide [2] traduction de F.Peyrard, 1804

Livre IV des lments d'Euclide

33

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f157. pagination [2] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k110982q. image. r=les+ %C3%A9l%C3%A9ments+ d%27Euclide. f195. langFR. pagination

Livre V des lments d'Euclide

Le livre V des lments d'Euclide est attribu Eudoxe de Cnide. Il est remarquable par son abstraction et la puissance des outils qu'il dveloppe. Il permet de traiter les rapports de quantits irrationnelles, en se ramenant des comparaisons de rapports de quantits rationnelles. Il permettra par exemple dans le livre VI de comparer les aires de figures, alors mme que ces figures ne possdent pas de cts comparables rationnellement. Par certains aspects, il voque la dfinition des nombres rels que Dedekind donnera 2000 ans plus tard, au moyen de coupures de rationnels. Il comporte : 20 dfinitions 25 propositions

Les dfinitions
Le livre V permet de comparer deux grandeurs de mme nature entre elles (deux longueurs, deux aires planes, ...). En aucun cas, il n'est permis de faire le rapport de deux grandeurs de nature diffrente (une longueur divise par une aire). La df.3 dfinit ce qu'est la raison de deux telles grandeurs : une raison est une certaine manire d'tre de deux grandeurs homognes entre elles, suivant la quantit. Sous forme algbrique moderne, nous aurions tendance voir une raison comme le nombre rel gal au quotient des deux grandeurs, mais c'est ici une vision totalement anachronique. Au temps d'Euclide, la raison n'est pas conue comme un nombre, mais comme une certaine relation permettant de comparer deux grandeurs. L o nous dirions , un exemple typique de formulation chez Euclide consiste dire : le carr de a est au carr de b ce que 5 est 1. D'o la df.4 : une proportion est une identit de raisons. On trouve de telles formulations jusqu'au XVIIe ou XVIIIe sicle. Ainsi Pascal crit-il, dans son Trait sur la pesanteur de l'air : J'ai suppos que le diamtre est la circonfrence, comme 7 22 . Pour dfinir la raison entre deux grandeurs, elles doivent pouvoir se surpasser l'une l'autre, autrement dit, on suppose que l'axiome d'Archimde s'applique elles (df.5). On compare alors les raisons entre elles de la faon suivante (df.6) : des grandeurs sont dites tre en mme raison, la premire la seconde, et la troisime la quatrime, lorsque des quimultiples quelconques de la premire et de la troisime, et d'autres quimultiples quelconques de la seconde et de la quatrime sont tels que les premiers quimultiples surpassent, chacun chacun, les seconds quimultiples, ou leur sont gaux la fois, ou plus petits la fois. Ainsi, soit la raison a/b comparer la raison c/d. n et m tant des entiers quelconques, on dira que les deux raisons sont les mmes si na > mb quivaut nc > md. Nous dirions aujourd'hui que a/b = c/d si et seulement si, pour tout rationnel m/n, a/b > m/n quivaut c/d > m/n. Mais Euclide parvient un type de comparaison analogue, sans faire appel des notions numriques, qui n'existent pas l'poque. De mme, Euclide dit (df.8) que la raison a/b est plus grande que la raison c/d s'il existe deux entiers n et m tels que na > mb, alors que nc < md. Nous dirions que a/b > m/n > c/d, mais l aussi, cette vision moderne est anachronique. Les dernires dfinitions sont relatives des manipulations sur les raisons (raison alterne (df.14), raison inverse (df.15), etc...)

Livre V des lments d'Euclide

34

Les propositions
Bien que les raisonnements d'Euclide soient purement gomtriques, nous aurons recours des notations algbriques permettant d'abrger les formulations des noncs. Les lettres a, b, c... dsigneront des grandeurs, les lettres n, m des entiers. Rappelons que cette notation algbrique n'est qu'un accommodement que nous adoptons et qui n'est pas utilis par Euclide. Les propositions traitent des questions suivantes : distributivit du produit par rapport la somme. La prop.1 nonce essentiellement que . On peut l'interprter comme une rgle de distributivit du produit par rapport la somme, rapprocher de la mme rgle de la prop.1 du Livre II des lments d'Euclide, mais les rgles sont de nature diffrente, bien qu'algbriquement semblables. Dans le livre II, le produit se traduit sous forme d'aire de rectangles, autrement dit, on ne traite que les longueurs, alors qu'ici, il s'agit de multiples entiers de grandeurs quelconques (longueurs, aires, volumes...). La prop.2 traite le cas d'une somme d'entiers multiplie par des grandeurs. Les prop.5 et 6 noncent des rsultats comparables en ce qui concerne la diffrence. La prop.3 nonce essentiellement que m(na) = (mn)a. Proprits de l'galit des raisons. Un certain nombre de rgles relatives la comparaison des raisons sont prouves : si a/b est la mme raison que c/d, alors pour tout entier n et m, na/mb a mme raison que nc/md (prop.4 et 15). a/b a mme raison que c/b si et seulement si a = c, et de mme, a/b = a/c si et seulement si b = c (prop.7, 9). Si a est suprieur b, alors a/c est plus grande que b/c (prop.8 et 10) et rciproquement, ce que nous pourrions appeler, compatibilit de l'ingalit des raisons avec l'ingalit des grandeurs. Les prop.11, 13, 14, 20, 21, 22, 23 noncent diverses proprits de transitivit relatives l'galit ou l'ingalit des raisons. La prop.12 nonce que, si , , ..., sont des raisons gales, alors cette raison est gale la raison de ,

des variantes tant donnes par la prop.24. Manipulation sur les raisons. Si a/b = c/d, alors a/c = b/c (prop.16). Si a/b = c/d, alors (a-b)/b = (c-d)/d (prop.17) et de mme avec une somme (prop.18 et 19). Si a/b = c/d, avec a la plus grande des grandeurs, et d la plus petite, alors a+d est plus grand que b+c (prop.25).

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Lien externe
Document en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f171. pagination

Livre VI des lments d'Euclide

35

Livre VI des lments d'Euclide

Le livre VI des lments d'Euclide porte sur les figures semblables, le thorme de Thals, la comparaison des angles au centre d'un cercle avec leurs arcs. Il utilise la thorie des proportions dveloppe dans le Livre V. Il comporte : 4 dfinitions 33 propositions

Les dfinitions
On y dfinit ce que sont deux figures semblables (df.1 et 2). Le nombre d'or est implicitement contenu dans la df.3 : une droite est dite coupe en extrme et moyenne raison lorsque la droite entire est au plus grand segment comme le plus grand segment est au plus petit. Une telle division a dj t utilise dans la prop.10 du Livre iv relative la construction du pentagone rgulier. Enfin, la df.4 dfinit la hauteur d'une figure comme tant la perpendiculaire mene du sommet la base.

Les propositions
Les propositions abordent les sujets suivants : Aire du triangle et du paralllogramme. La prop.1 nonce que les triangles et les paralllogrammes qui ont la mme hauteur sont entre eux comme leur base. Nous dirions aujourd'hui que leur aire est proportionnelle leur base. Pour prouver cette proposition, Euclide s'appuie d'une part sur la prop.38 du Livre I qui nonce que deux triangles de mme hauteur et mme base ont mme aire, d'autre part sur la thorie des proportions dveloppes dans le Livre V. Pour montrer la proportionnalit des aires de deux triangles, il va montrer que, le triangle A ayant pour base a, et le triangle B ayant pour base b, le triangle ayant pour base na a une aire suprieure au triangle ayant une base mb si et seulement si na est suprieur mb, et ceci pour tout entier n et m. Cela prouve que l'aire de A est l'aire de B comme a est b. Ce type de dmonstration est couramment utilis dans la suite du livre. L'aire du paralllogramme tant double de celui du triangle, proprit prouve dans la prop.41 du Livre I, on en dduit que l'aire du paralllogramme est proportionnelle sa base. Ce thorme permet d'galer l'aire du paralllogramme avec l'aire du rectangle de mme base et de mme hauteur, et l'aire du triangle avec la moiti de l'aire du rectangle de mme base et de mme hauteur. La prop.23 prouve que les paralllogrammes quiangles ont entre eux une raison compose des cts, ce qui peut s'interprter nos yeux par le fait que l'aire d'un paralllogramme est proportionnelle au produit des longueurs des cts. Le thorme de Thals. Celui-ci est prouv dans la prop.2. Sa dmonstration repose sur une comparaison d'aire des triangles, base sur la prop.1. D'autres proprits relatives la proportionnalit de segments dans un triangle ou un paralllogramme sont nonces dans les prop.3, 14, 15. La prop.16 et 17 prouve la rgle selon laquelle le produit des extrmes est gal au produit des moyens. Similitude des triangles et des polygones. Les prop.6 et 7 prouvent l'quivalence dans un triangle entre avoir des angles gaux et avoir des cts proportionnels. La prop.8 nonce une proprit de similitude dans le triangle rectangle, une hauteur tant abaisse. Les prop.19 et 20 prouvent que l'aire de triangles ou de polygones semblables est proportionnelle au carr d'un de leur ct. La prop.21 prouve la proprit de transitivit du fait d'tre semblable. Diverses proprits de similitude dans le paralllogramme sont nonces dans les prop.24, 26, 27. La prop.32 prouve la similitude de deux triangles ayant deux de leurs cts proportionnels, l'angle contenu par ces deux cts tant gal. Constructions diverses. La prop.9 et 10 dcrivent des constructions relatives la division d'un segment de droite en parties donnes, ou selon une proportion donne. La prop.11 13 traitent de la question de construire un

Livre VI des lments d'Euclide segment intervenant dans une relation de proportionnalit, ce qui permet en particulier de construire une moyenne gomtrique, gnralisant la prop.14 du Livre II. Les prop.18 et 25 dcrivent comment construire une figure semblable une autre. Les prop.28 et 29 donnent la construction de paralllogrammes devant respecter certaines contraintes. Le thorme de Pythagore. La prop.31 nonce une gnralisation du thorme de Pythagore dj dmontr dans le Livre I, en ne se limitant pas des carrs construits sur les cts du triangle rectangle, mais en considrant des figures semblables quelconques. Angles et arcs dans un cercle. La prop.33 prouve la proportionnalit des angles au centre avec l'arc qu'ils dlimitent.

36

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Liens externes
Documents en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632 Les lments d'Euclide [2] traduction de F.Peyrard, 1804

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f215. pagination [2] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k110982q. image. r=les+ %C3%A9l%C3%A9ments+ d%27Euclide. f225. langFR. pagination

Livre VII des lments d'Euclide

37

Livre VII des lments d'Euclide

Le Livre VII des lments d'Euclide est le premier des livres d'Euclide traiter proprement parler d'arithmtique. On y dfinit en particulier les nombres premiers et les nombres premiers entre eux, le PGCD et le PPCM. Il comporte : 25 dfinitions 41 propositions

Les dfinitions
Les dfinitions donnes introduisent la notion d'unit, de diviseur et de multiple, de nombre pair ou impair, de nombre premier et de nombres premiers entre eux. Apparat galement la notion de nombre parfait. En voici quelques-unes : Dfinition 1, l'unit est selon quoi chacune des choses existantes est dite une. Dfinition 2, un nombre est un assemblage compos d'units Dfinition 3, un nombre est une partie d'un nombre, le plus petit du plus grand, lorsque le plus petit mesure le plus grand. tre partie signifie ici tre diviseur. Dfinition 5, un nombre est multiple d'un nombre, le plus grand du plus petit, quand il est mesur par le plus petit. Dfinition 6, le nombre pair est celui qui peut tre divis en deux parties gales. Dfinition 7, le nombre impair est celui qui ne peut pas se partager en deux parties gales, ou bien celui qui diffre d'une unit du nombre pair. Dfinition 12, le nombre premier est celui qui est mesur par l'unit seule. Dfinition 13, les nombres premiers entre eux sont ceux qui ont l'unit seule pour mesure commune. Dfinition 16, un nombre est dit multiplier un nombre, lorsque le multipli est ajout autant de fois qu'il y a d'units dans celui qui le multiplie, et qu'un nombre est produit. Dfinition 17, lorsque deux nombres se multipliant font un nombre, celui qui est produit se nomme plan ; et les nombres qui se multiplient se nomment les cts de ce produit. Dfinition 18, lorsque trois nombres se multipliant entre eux font un nombre, celui qui est produit est appel solide ; et les nombres qui se multiplient se nomment les cts du produit. Dfinition 19, le nombre carr est [] celui qui est contenu entre deux nombres gaux. Dfinition 20, le nombre cube est [] celui qui est contenu sous trois nombres gaux. Dfinition 23, le nombre parfait est celui qui est gal ses parties. On notera la vision gomtrique relative au produit de deux ou trois nombres, mais qui peut se rvler un obstacle pour concevoir le produit de quatre nombres ou plus. Il est possible que ce facteur ait jou dans le fait que les Grecs n'ont pas dmontr explicitement le thorme fondamental de l'arithmtique, relatif l'existence et l'unicit de la dcomposition d'un nombre en facteurs premiers, mme s'ils en sont proches. Cette vision gomtrique apparat galement dans le nom attribu aux nombres carrs et cubes.

Livre VII des lments d'Euclide

38

Les propositions
Les propositions abordent les points suivants. Des notations algbriques modernes seront parfois utilises pour rendre les noncs plus lisibles : Algorithme d'Euclide. L'algorithme est expos ds la prop.1 et donne un critre permettant de savoir si deux nombres sont premiers entre eux. Il est appliqu dans la prop.2 pour dterminer le PGCD de deux nombres. cette occasion, il est prouv que, si un nombre en divise deux autres, alors il divise leur PGCD. La prop.3 gnralise le procd plus de deux nombres. Proprits de la proportionnalit. Les prop.5 22 noncent des proprits de la proportionnalit. Par exemple, les prop.5 et 6 noncent que, si a/b est gal c/d, alors c'est aussi gal (a+c)/(b+d). La notation anachronique utilise ici a/b dsigne non pas un nombre rationnel, mais une relation entre deux entiers. Il faut comprendre par exemple que 6 est 4 comme 9 est 6 et comme 15 est 10. On dispose galement des rgles selon laquelle si a/b = c/d, alors a/c = b/d (prop.9 et 10). a/b a mme raison que am/bm (prop.18). a/b = c/d si et seulement si ad = bc (prop.19). Proprit fondamentale de l'arithmtique d'Euclide. Euclide ne prouve pas le thorme de Gauss, selon lequel, si c divise ab et si c est premier avec a, alors c divise b, ce qui est un obstacle certaines questions arithmtiques (en particulier la preuve de l'unicit du dveloppement en facteurs premiers). dfaut, la proprit qui va jouer un rle essentiel dans l'arithmtique d'Euclide est donne par la prop.21, complte par la prop.23 et la prop.24 : en substance, ces propositions noncent que si a/b = c/d avec a et b les plus petits possible, alors a divise c et b divise d. En outre les a et b les plus petits possible sont obtenus lorsqu'ils sont premiers entre eux. Il faut viter de voir cette proposition comme le fait moderne de rduire la fraction c/d sous forme irrductible, car rappelons que c/d est vue comme une relation entre entiers et non comme un nombre rationnel. Par ailleurs, Euclide prouve cette proposition en se basant sur la dfinition qu'il donne de la proportion qu'on peut interprter algbriquement comme suit : a/b = c/d si et seulement s'il existe des entiers n, p, x et y tels que a = nx, b = ny, c = px, d = py. Or cette dfinition utilise implicitement le thorme de Gauss, en particulier lorsqu'il s'agit d'utiliser la transitivit de l'galit des raisons. Proprits des nombres premiers entre eux. Il est prouv que, si c divise a et a premier avec b, alors c est premier avec b (prop.25). Si a et b sont premiers avec c, alors ab est premier avec c (prop. 26). Si deux nombres sont premiers entre eux, le carr du premier est premier avec le carr du second (prop.27), le cas d'une puissance quelconque tant traite dans la prop.29. Si a et b sont premiers avec c et d', alors ab est premier avec cd (prop.28). Si a est premier avec b, alors a+b est premier avec a et avec b, et rciproquement (prop.30). Proprits des nombres premiers. Tout nombre premier p est premier avec tout nombre a qu'il ne divise pas (prop.31). Si p est premier et divise ab alors p divise a ou p divise b (prop. 32). Pour tout entier a, il existe p premier qui le divise (prop. 33 et 34). Proprits du PPCM : Le PPCM est introduit, avec le fait que le produit du PGCD par le PPCM est le produit des deux nombres (prop.36), et la preuve qu'un multiple commun de deux entiers est un multiple du PPCM (prop.37).

Livre VII des lments d'Euclide

39

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Lien externe
Document en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f251. pagination

Livre VIII des lments d'Euclide

Le Livre VIII des lments d'Euclide poursuit l'tude de la proportionnalit dbute dans le Livre VII. On peut l'interprter comme une tude des suites gomtriques d'entiers. Il comporte 27 propositions.

Les propositions
On donne ci-dessous quelques exemples de propositions : Proprits des suites gomtriques. La prop.1 nonce que, dans une suite gomtrique finie d'entiers, si les extrmes sont premiers entre eux, alors les termes de la suite sont les plus petits pouvant former une suite gomtrique de mme raison. La prop.2 explique comment construire une telle suite. La prop.3 expose une rciproque. Si dans une suite gomtrique, le premier terme ne divise pas le second, aucun terme ne divisera un autre terme (prop.6). Si le premier terme divise le dernier, il divise le second (prop.7). Proprits de la proportionnalit et de la divisibilit. Le Livre approfondit les notions relatives la proportionnalit d'entiers. La prop.5 nonce que les nombres plans sont en raison compose des cts. un carr divise un carr si et seulement si le ct du premier carr divise le ct du second (prop.14 et 16). De mme pour un cube (prop.15 et 17). Dans une suite gomtrique de trois termes, si le premier est un carr, le troisime aussi (prop.22). Dans une suite gomtrique de quatre termes, si le premier est un cube, le quatrime aussi (prop.23). Proprits des moyennes proportionnelles. Si a et b sont deux carrs, il est possible de trouver un nombre c tel que a est c comme c est b (prop.11). La prop.18 et 20 gnralise cette proprit deux nombres plans semblables. Si ce sont deux cubes, on trouvera deux nombres c et d tels que a est c, comme c d et comme d b (prop.12). La prop.19 et 21 gnralise cette proprit deux nombres solides semblables. Si la question est rsolue pour des cubes d'entiers, la recherche analogue de deux moyennes proportionnelles entre deux segments, l'un tant le double de l'autre, donne lieu au problme du duplication du cube, qui se rvlera impossible rsoudre la rgle et au compas.

Livre VIII des lments d'Euclide

40

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Lien externe
Document en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f307. pagination

Livre IX des lments d'Euclide

Le Livre IX des lments d'Euclide poursuit l'tude de l'arithmtique, commence dans les livres VII et VIII. On y prouve plusieurs thormes majeurs : l'infinit des nombres premiers, la somme des termes d'une suite gomtrique et la forme des nombres parfaits pairs. Il comporte 36 propositions.

Les propositions
Elles concernent : Proprits des nombres carrs et cubes. Deux nombres plans semblables ont pour produit un carr (prop.1) et rciproquement (prop.2). Le carr d'un cube est un cube (prop.3). Le produit de deux cubes est un cube (prop.4 6). Dans une suite gomtrique d'entiers dbutant par l'unit, les termes de rang 2n+1 sont des carrs, les termes de rang 3n+1 sont des cubes. Les termes de rang 6n+1 un carr et un cube simultanment (prop.8). Si le second terme est un carr, tous les termes sont des carrs. Si le second terme est un cube, tous les termes sont des cubes (prop.9 et 10). Proprits des suites gomtriques. On poursuit l'tude des suites gomtriques d'entiers, commence dans le Livre VIII. Si une suite gomtrique dbute par l'unit, alors un nombre premier divisant le dernier terme divise aussi le second (prop.12). Si le second terme est un nombre premier, aucun autre nombre premier ne divisera le plus grand (prop.13). Si une suite gomtrique est constitue de trois termes premiers entre eux, la somme de deux termes est premire avec le troisime (prop.15). La prop.35 donne l'expression de la somme des termes d'une suite gomtrique : si tant de nombres qu'on voudra sont successivement proportionnels, et si du second et du dernier terme on retranche un nombre gal au premier, l'excs du second sera au premier comme l'excs du dernier est la somme de tous ceux qui sont avant lui. Proprit des nombres premiers. La prop.20 est l'une des plus connues. Elle nonce que les nombres premiers sont en plus grande quantit que toute quantit propose de nombres premiers, autrement dit, ils sont en quantit infinie. La dmonstration consiste prendre des nombres premiers en quantit donne, a, b, c, ..., et ajouter 1 leur PPCM. Euclide montre alors que tout diviseur premier (ou lui-mme s'il est premier) est un nouveau nombre premier. Proprits de parit des entiers. Les prop.21 34 noncent un certain nombre de proprits sur la parit des entiers, par exemple, la somme d'un nombre pair d'entiers impairs est paire (prop.22), le produit d'un impair par un impair est impair (prop.29).

Livre IX des lments d'Euclide Forme des nombres parfaits pairs. Le livre se termine par la prop.36, qui donne la forme des nombres parfaits pairs : si, partir de l'unit, tant de nombres qu'on voudra sont successivement proportionnels en raison double, jusqu' ce que leur somme soit un nombre premier, et si cette somme multiplie par le dernier nombre fait un nombre, le produit sera un nombre parfait. Ainsi, 1 + 2 = 3 et 3 2 = 6 qui est parfait. Ou bien 1 + 2 + 4 = 7 et 7 4 = 28 qui est parfait. La condition donne par Euclide est seulement suffisante pour obtenir un nombre parfait pair, et c'est Euler qui prouvera qu'elle est ncessaire.

41

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris, 1819, nouveau tirage par Jean Itard, ditions Albert Blanchard, 1993 Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Lien externe
Les quinze livres des lments gomtriques d'Euclide BNF
[1]

, traduction de D. Henrion, 1632, sur le site Gallica de la

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f328. pagination

Livre X des lments d'Euclide

Le livre X des lments d'Euclide est le plus volumineux des treize livres constituant les lments. Il a pour objet une classification des grandeurs irrationnelles en fonction de la complexit avec laquelle elles ont t formes. Les oprations utilises sont la somme, la diffrence et l'usage de la moyenne gomtrique entre deux autres grandeurs, autrement dit de la racine carre. Il comporte : 11 dfinitions 117 propositions

Les dfinitions
Les deux premires dfinitions opposent les notions commensurables/incommensurables. La df.1 nonce qu'on appelle grandeurs commensurables celles qui sont mesures par la mme mesure. Autrement dit, a et b sont commensurables s'il existe une grandeur c appele commune mesure telle que a et b soient des multiples entiers de c. Si les grandeurs sont des droites, on dit aussi qu'elles sont commensurables en longueur. Le traitement de telles grandeurs n'est gure diffrent de celui des nombres entiers, dvelopp dans le Livre VII. Un exemple de grandeurs incommensurables est donn par la diagonale et le ct d'un carr. Nous dirions aujourd'hui que est irrationnel. Cependant, le carr construit sur ladite diagonale est double du carr construit sur ledit ct ; ces deux carrs sont donc commensurables. D'o les df.3 et 4 qui opposent les notions commensurables en puissance/incommensurable en puissance. La df.3 nonce que les lignes droites sont commensurables en puissance lorsque leurs carrs sont mesurs par une mme surface. Un exemple de grandeurs incommensurables en puissance est donn par le ct du pentagone rgulier et le rayon du cercle circonscrit ce pentagone. Si ce rayon a pour longueur 1, le ct de ce pentagone a une longueur gale et nous dirions aujourd'hui que ce nombre a un carr irrationnel.

Livre X des lments d'Euclide Les droites commensurables en longueur ou en puissance avec une droite de rfrence donne sont qualifies de rationnelles (df.6) dans les traductions latines du grec ou la traduction franaise de Peyrard utilise ici. Le choix de ce terme est malheureux puisque rationnel au sens prsent signifie non pas ncessairement que la droite a une longueur lment de si la longueur de la droite de rfrence est prise comme unit, mais que son carr est lment de . Dans cet article, nous utiliserons donc plutt le terme exprimable, propos dans la traduction des lments par Bernard Vitrac, pour dsigner une droite commensurable en longueur ou en puissance avec la droite de rfrence, gardant le terme irrationnelle pour les droites incommensurables en longueur et en puissance (df.7 et 11). En ce qui concerne les surfaces, celles qui sont commensurables avec le carr de la droite de rfrence seront appeles rationnelles (df.8 et 9), et irrationnelles celles qui sont incommensurables (df.10).

42

Les propositions
Afin de rendre les notions plus comprhensibles, il nous arrivera d'adopter des notations algbriques modernes, qui bien entendu, ne sont absolument pas du fait d'Euclide. Les propositions abordent les sujets suivants : Une application de l'axiome d'Archimde. La prop.1 nonce que deux grandeurs ingales tant proposes, si l'on retranche de la plus grande une partie plus grande que sa moiti, si l'on retranche du reste une partie plus grande que sa moiti, et si l'on fait toujours la mme chose, il restera une certaine grandeur qui sera plus petite que la plus petite des grandeurs proposes. Cette proprit est utilise dans le Livre XII pour comparer des aires ou des volumes par la mthode d'exhaustion, et est galement largement utilise par Archimde dans ses travaux. Caractrisation de l'incommensurabilit et algorithme d'Euclide. La prop.2 nonce que, deux grandeurs ingales tant proposes, et si la plus petite tant toujours retranche de la plus grande, le reste ne mesure jamais le reste prcdent, ces grandeurs seront incommensurables. Cette proposition caractrise les grandeurs incommensurables par le fait qu'une application de l'algorithme d'Euclide ces grandeurs ne se termine pas. A contratio, si les grandeurs sont commensurables, le mme algorithme se termine et donne la mesure commune (prop.3). On peut itrer pour trouver la mesure commune de trois grandeurs (prop.4). Proprits de la commensurabilit. Les prop.5 9 tablissent la relation entre raison de grandeurs commensurables et raison entre entiers. Les prop.10, 15, 16, 17 explorent la compatibilit de la commensurabilit au sein de diverses proportions, ou avec l'addition. la prop.11 explique comment construire des droites incommensurables en longueur ou en puissance. Les prop.12 14 prouvent la transitivit de la relation de commensurabilit. Construction de diverses quantits. Les prop.18 21 s'intressent la commensurabilit d'un segment divis en deux sous-segments. La prop.22 introduit une notion nouvelle, celle de grandeur mdiale. Elle prouve que le rectangle dont les cts sont des droites exprimables, commensurables en puissance seulement, est irrationnel, le ct du carr d'aire gale ce rectangle tant une grandeur qualifie de mdiale. Algbriquement, si on prend comme unit la longueur de la droite de rfrence, les deux cts auront des longueurs de la forme et ,p tant entier, a tant de carr entier. La mdiale est donc de la forme . La surface carre dont le ct est une

mdiale est irrationnelle, mais est galement qualifie de mdiale. Les prop.23 29 donnent quelques proprits de ces mdiales. Les prop.30 36 expliquent comment construire des longueurs de tel ou tel type (commensurables en longueur, commensurables en puissance, mdiales, irrationnelles ...) selon certaines contraintes. Classification de la somme de deux grandeurs. Euclide va ensuite classifier les droites sommes de deux droites exprimables, incommensurables en longueur, selon qu'elles seront commensurables en puissance ou non, selon que la somme de leurs carrs sera rationnelle ou non, et selon que le rectangle produit sera rationnel ou non. Dans les prop.37 42, il montre dans chacun de ces cas que les droites obtenues sont irrationnelles, et les classe selon six catgories appeles droite de deux noms, premire de deux mdiales, seconde de deux mdiales, majeure, celle qui peut une rationnelle et une mdiale, et celle qui peut deux mdiales. Par exemple, la droite de deux noms est

Livre X des lments d'Euclide la somme de deux droites exprimables commensurables en puissance seulement (prop.37). La majeure est la somme de deux droites incommensurables en puissance, la somme de leurs carrs tant rationnelle et leur produit mdial (i.e carr d'une longueur mdiale) (prop.40). Sous forme algbrique, en prenant la droite de rfrence comme unit de mesure, est une droite de deux noms, et

43

est une majeure. Les prop.43 48 p

dcomposition. Six dfinitions apparaissent alors, distinguant six types de droites de deux noms. La premire de deux noms est par exemple est une droite de deux noms dont le carr du plus grand terme surpasse le carr du plus petit du carr d'une droite commensurable en longueur avec le plus grand terme, ce terme tant par ailleurs commensurable avec la droite de rfrence. Sous forme algbrique, est une premire de deux noms. La quatrime de deux noms est une droite de deux noms dont le carr du plus grand terme surpasse le carr du plus petit du carr d'une droite incommensurable en longueur avec le plus grand terme, ce terme tant par ailleurs commensurable avec la droite de rfrence. est une quatrime de deux noms. Dans les prop.55 60, Euclide va alors associer les six classes d'irrationnelles qu'il a dfinies avec les six types de droites de deux noms : il prouve que la racine carre des six types de droites de deux noms correspondent respectivement aux six classes d'irrationnels. Rciproquement, dans les prop.61 66, il prouve que les carrs des six classes d'irrationnels sont les six types de droites de deux noms. Ainsi, la racine carre de la premire de deux noms est une droite de deux noms : . Le carr d'une majeure est une quatrime de deux noms :

Classification de la diffrence de deux grandeurs. Dans les prop.74 103, Euclide procde de mme avec la diffrence de deux grandeurs, en dfinissant six nouvelles classes d'irrationnels. Par exemple, la diffrence correspondant la dfinition de la droite de deux noms, mais en prenant une diffrence la place d'une somme, s'appelle apotome. est une apotome. Les apotomes sont elles-mmes scindes en six types, et Euclide prouve que les racines carres de ces six types d'apotome donnent les six classes de diffrences irrationnelles qu'il a dfinies, et rciproquement, les carrs de ces six classes donnent les six types d'apotome. Les prop.104 115 donnent diverses proprits et exemples de ce type d'irrationnels. Dans la prop.6 du Livre XIII, Euclide prouve que les deux segments divisant un segment de rfrence en extrme et moyenne raison sont des apotomes. Algbriquement, il s'agit des nombres Irrationalit de et .

. Cette irrationalit est prouve dans la prop.117, mais cette proposition a pu tre rajoute qui serait davantage

ultrieurement aux travaux d'Euclide. En effet, il n'est pas voqu l'irrationalit de du pentagone.

attendue dans ce contexte, d'autant plus que cette irrationalit est utilise plusieurs occasions dans les proprits

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Lien externe
Document en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632

Livre X des lments d'Euclide

44

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f414. pagination

Livre XI des lments d'Euclide

Le livre XI des lments d'Euclide aborde la gomtrie dans l'espace et traite longuement des paralllpipdes. Il comporte : 19 dfinitions 40 propositions

Les dfinitions
Dans le prambule de ce livre, on dfinit ce qu'est un solide. On introduit la notion de perpendicularit dans l'espace, d'angle entre une droite scante un plan ou entre deux plans, de paralllisme de deux plans, de similitude ou d'isomtrie entre deux figures, d'angle solide. On dfinit galement les principaux solides : la pyramide, le prisme, le cne, le cylindre, le cube, le ttradre, l'octadre, le dodcadre, l'icosadre. Voici quelques exemples de dfinitions : Dfinition 1, un solide est ce qui a longueur, largeur et profondeur. Dfinition 2, un solide est termin par une surface. Dfinition 3, une droite est perpendiculaire un plan, lorsqu'elle fait des angles droits avec toutes les droites qui la rencontrent, et qui sont dans ce plan. Dfinition 4, un plan est perpendiculaire un plan, lorsque les perpendiculaires menes dans un des plans leur commune section, sont perpendiculaires l'autre plan. Dfinition 8, les plans parallles sont ceux qui ne se rencontrent point.

Les propositions
Les propositions se rpartissent comme suit : Proprits des droites relatives aux plans. On montre que deux droites scantes sont coplanaires (prop.2), que deux plans scants se coupent suivant une droite (prop.3) Proprits de la perpendicularit. La prop.4 nonce qu'une perpendiculaire deux droites scantes est galement perpendiculaire au plan contenant ces deux droites. La prop.5 nonce que trois droites scantes perpendiculaires une mme droite en leur point commun sont coplanaires. Par un point donn d'un plan, il n'existe qu'une perpendiculaire ce plan (prop.13). Proprit du paralllisme. Deux droites perpendiculaires un mme plan sont parallles (prop.6). Deux droites parallles sont coplanaires (prop.7). Si une droite est perpendiculaire un plan, il en est de mme de toute parallle celle-ci (prop.8). Deux plans perpendiculaires une mme droite sont parallles (prop.14). Les sections de deux plans parallles par un troisime plan sont parallles (prop.16). Si une droite est perpendiculaire un plan, tout plan contenant cette droite est perpendiculaire ce plan (prop.18). Si deux plans scants sont perpendiculaires un plan, la section commune est galement perpendiculaire ce plan (prop.19). Proprit des angles solides. Tout angle solide est compris sous des angles plans qui sont plus petits que quatre angles droits (prop.21). Aujourd'hui, cette proprit est directement lie l'aire de la sphre. La construction d'angle solide est aborde dans la prop.26. Proprit des paralllpipdes. La prop.25 nonce en substance que le volume d'un paralllpipde est proportionnel sa hauteur, et la prop.32 qu'il est proportionnel l'aire de sa base. La dmonstration repose sur la thorie des proportions dveloppe dans le Livre V. Les prop.29, 30 et 31 dveloppent, tape par tape, le fait que

Livre XI des lments d'Euclide les paralllpipdes qui ont des bases gales et la mme hauteur sont gaux entre eux. L'ensemble de ces propositions exprime le fait que le volume d'un paralllpipde est le produit de l'aire de sa base par la longueur de sa hauteur. Des variantes sont donnes par les propositions qui suivent. Le volume du prisme est voqu dans la prop.40. Les volumes des solides plus complexes sont traits dans le Livre XII.

45

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Liens externes
Documents en ligne sur le site Gallica Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632 Les lments d'Euclide [2] traduction de F.Peyrard, 1804

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f517. pagination [2] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k110982q. image. r=les+ %C3%A9l%C3%A9ments+ d%27Euclide. f301. langFR. pagination

Livre XII des lments d'Euclide

Le livre XII des lments d'Euclide poursuit l'tude de la gomtrie dans l'espace, amorce dans le Livre XI. Il traite des volumes de figures plus complexes que le paralllpipde, savoir les pyramides, et les cnes, et en partie la sphre. Il utilise pour cela la mthode d'exhaustion, qui, pendant plusieurs sicles, sera la seule mthode utilisable pour dterminer des aires et des volumes avant l'invention du calcul intgral. Il comporte 18 propositions.

Les propositions
Les propositions se rpartissent comme suit : Proprit du disque. La prop.1 nonce que l'aire d'un polygone inscrit dans un cercle est proportionnelle au carr du diamtre. Cette proposition sert aussi dans la prop.2 qui nonce que l'aire du disque est proportionnelle au carr du diamtre. Pour cela, on procde par un double raisonnement par l'absurde en utilisant un disque de rfrence et en supposant qu'un autre disque a une aire ou bien plus grande, ou bien plus petite que celle qui lui serait donne par la simple proportionnalit au carr du diamtre. Dans chacun des cas, on aboutit une contradiction en approximant le disque d'aussi prs que voulu par des polydres. C'est ce double raisonnement par l'absurde qui constitue le fondement de la mthode d'exhaustion. Par ailleurs, la preuve de l'approximation aussi prcise que souhaite d'un disque par des polygones repose sur l'axiome d'Archimde, expos dans la prop.1 du Livre X. Volume de la pyramide. Les prop.3 9 ont pour but de montrer que le volume d'une pyramide est le tiers de l'aire de la base par la hauteur. Il suffit par dcoupage de raisonner sur des pyramides base triangulaire. Pour cela, la prop.3 procde un dcoupage d'une telle pyramide en deux prismes et deux pyramides plus petites, le procd tant itr dans la prop.4, de faon rendre le volume des petites pyramides ngligeable et se ramener des volumes de prismes, tudis dans la dernire proposition du Livre XI. On peut alors montrer, toujours avec la mthode d'exhaustion, que le volume de la pyramide est proportionnel la hauteur (prop.5), l'aire de la base

Livre XII des lments d'Euclide (prop.6), et que trois pyramides de mme volume donnent un prisme de mme base et de mme hauteur (prop.7). Le volume du prisme tant connu, il en est donc de mme de celui de la pyramide. Il est noter que le calcul du volume de la pyramide repose sur la mthode par exhaustion, anctre du calcul intgral et on peut se demander si cette dmarche est ncessaire. N'est-il pas possible de prouver cette proprit par un simple dcoupage fini, comme on le fait dans le plan pour dterminer l'aire d'un triangle ? Cette question fait l'objet du troisime problme de Hilbert en 1900 et la rponse est ngative. L'utilisation du calcul intgral est ncessaire pour dterminer le volume de la pyramide. Volume du cne. Dans les prop.10 15, Euclide poursuit une dmarche comparable pour dterminer le volume du cne base circulaire. Pour cela, il approxime la base circulaire d'aussi prs que souhait par des polydres, selon la prop.1 dj vue, et se ramne ainsi au volume de la pyramide. Volume de la sphre. Les prop.16 18 tablissent seulement que le volume de la sphre est proportionnel au cube du diamtre. Pour cela, on inscrit dans la sphre des pyramides de sommet le centre de la sphre de faon approcher son volume d'aussi prs que possible. Cette dmarche sera poursuivie par Archimde qui, aprs avoir pu dterminer que l'aire de la sphre est gale quatre fois l'aire d'un disque de mme rayon, pourra en dduire l'expression du volume.

46

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Liens externes
Documents en ligne sur le site Gallica de la BNF Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632 Les lments d'Euclide [2] traduction de F.Peyrard, 1804

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f556. pagination [2] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k110982q. image. r=les+ %C3%A9l%C3%A9ments+ d%27Euclide. f391. langFR. pagination

Livre XIII des lments d'Euclide

47

Livre XIII des lments d'Euclide

Le livre XIII des lments d'Euclide est consacr la construction des polydres rguliers de Platon. Il comporte 18 propositions.

Les propositions
Les propositions abordent successivement la construction du ttradre, de l'octadre, du cube, de l'icosadre et du dodcadre. Prliminaires. Un certain nombre de prliminaires gomtriques, mais que nous pouvons interprter comme des rgles de calcul relatives au nombre d'or, sont exposs dans les prop.1 6. Les prop.7 11 dveloppent les connaissances dj rencontres dans le Livre IV sur le pentagone. La prop.12 donne la longueur du ct d'un triangle quilatral inscrit dans un cercle. Construction des polydres rguliers, inscrits dans une sphre de diamtre donn. Le cas du ttradre est trait dans la prop.13, celui de l'octadre dans la prop.14, celui du cube dans la prop.15, celui de l'icosadre dans la prop.16, et celui du dodcadre dans la prop.17. La prop.18 regroupe en une seule figure les cts des diffrents polydres. Une traduction algbrique moderne s'appuyant sur les constructions gomtriques d'Euclide permet de donner leur longueur respective, le diamtre de la sphre servant d'unit : pour le ct de l'octadre, pour le ct du cube, pour le ct du ttradre, pour le

pour le ct de l'isosadre, et

ct du dodcadre. Au cours de la dmonstration, Euclide prouve que les cts de l'icosadre et du dodcadre sont des grandeurs irrationnelles, appele mineure et apotome, relevant d'un classement tabli dans le Livre X.

Bibliographie
Les uvres d'Euclide, traduction de F. Peyrard, Paris (1819), nouveau tirage par Jean Itard, ditions Albert Blanchard (1993) Euclide, Les lments, traduction, commentaires et notes de Bernard Vitrac

Liens externes
Document en ligne sur le site Gallica de la BnF : Les quinze livres des lments gomtriques d'Euclide [1] traduction de D. Henrion, 1632

Rfrences
[1] http:/ / gallica. bnf. fr/ ark:/ 12148/ bpt6k68013g. image. f583. pagination

Sources et contributeurs de larticle

48

Sources et contributeurs de larticle

Gomtrie euclidienne Source: http://fr.wikipedia.org/w/index.php?oldid=88573263 Contributeurs: (anonyme2), Alain r, Altor, Ambigraphe, Anarkman, Anne Bauval, Antoinetav, Archibald, Badmood, Bertol, Bilou, Bombastus, Buzy oli, Cdang, Cham, Clashman, Cdric Boissire, Dake, Dorylak, Dumontierc, Ektoplastor, Ellisllk, Encolpe, Erasmus.new, FR, Grondilu, Grum, HB, HERMAPHRODITE, Herr Satz, Jean de Parthenay, Jean-Christophe BENOIST, Jean-Luc W, Jef-Infojef, Jim2k, Jonathan1, Kilom691, Kolossus, LEMEN, Lac, Leag, Litlok, Mandelbrot, Mastergreg82, Maurege, Mikay, Mirgolth, Orthogaffe, Oxo, Peps, Phe, Poulos, Proz, Pso, Richardbl, Rogilbert, Rominandreu, Roudoule, Ryo, Rmih, STyx, Salle, Sebletoulousain, Sherbrooke, Sisqi, Skygge, SniperMask, Spooky, Symac, Thierrym, Tonymainaki, Touriste, Treehill, Utilisateur 65872, Valvino, Verdy p, Vlaam, Yelkrokoyade, Youssefsan, 44 modifications anonymes Espace euclidien Source: http://fr.wikipedia.org/w/index.php?oldid=88420362 Contributeurs: Aboumael, Aldoo, Alno, Ambigraphe, Anne Bauval, Ash Crow, Berichard, Claudius, Coyote du 86, Croquant, Crouchineki, David Berardan, Deep silence, Dorylak, Dtcube, Ektoplastor, Flo, Gnu thomas, Gonioul, Greatpatton, HB, Hercule, Hmant, Ilic.ni, Ipipipourax, Jaimie Ann Handson, Jarfe, Jean-Luc W, JymD, Karl1263, Kokoklems, LEMEN, Lomita, Looxix, Nodulation, Orthogaffe, Oxyde, Padawane, Pdm, Peps, Phi-Gastrein, Randomblue, Salle, Sam Hocevar, Selenite, Theon, Thierry Dugnolle, Touriste, TouristeCatgorisant, Vivars, Zorga, 41 modifications anonymes lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=87570228 Contributeurs: (anonyme1), 2514, 2A01:E35:8AA6:D130:9975:D613:821D:2FCD, A2, Abracadabra, Alain r, Anne Bauval, Arct, Badmood, Baronnet, Bibi Saint-Pol, Caton, Cbigorgne, Cgolds, Coyote du 86, Crouchineki, Dgl, EDUCA33E, Ektoplastor, El Caro, Ellisllk, Elopash, Eristik, Fauste, Gz260, HB, Hornord, Ismaelronovsky, JLM, Jastrow, Jean-Luc W, Jef-Infojef, Juliencc, Koui, LEMEN, Laurentleap, Leszek Jaczuk, Linguiste, Lorinc, Lose, Melindaoba, Numbo3, Orthogaffe, Oxo, Pdebart, Peps, Phe, Piero, Piku, Poulpy, Rmih, STyx, Sebleouf, Spooky, Stanlekub, Symac, Tatoute, Thbz, Theon, V1nz, Valvino, Verbex, VonTasha, Wissenz, Yelkrokoyade, 30 modifications anonymes Livre I des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=83521569 Contributeurs: (anonyme1), Ektoplastor, El Caro, Elfix, Ellisllk, Fab97, Gene.arboit, Gzen92, Jastrow, KoS, Nataraja, Nefbor Udofix, Ollamh, Orthogaffe, Pdebart, Peps, Quark67, Scrabble, Theon, Valvino, Xfigpower, 5 modifications anonymes Livre II des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=69268659 Contributeurs: (anonyme1), Ektoplastor, Ellisllk, Jean-Luc W, MicroCitron, Nataraja, Orthogaffe, Pdebart, Peps, QuoiNonne, Rhadamante, Theon, Valvino, Xfigpower, 1 modifications anonymes Livre III des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=69268664 Contributeurs: Crouchineki, Pdebart, Phe, Thedreamstree, Theon, Valvino, 3 modifications anonymes Livre IV des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=75504521 Contributeurs: Elfix, Pdebart, Theon, Valvino Livre V des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=69268652 Contributeurs: LEMEN, Pdebart, Theon, Valvino Livre VI des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=69268653 Contributeurs: Anne Bauval, Pdebart, Theon, Valvino Livre VII des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=74110198 Contributeurs: Chmoul, Gzen92, Pdebart, Theon, Valvino, 2 modifications anonymes Livre VIII des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=69268674 Contributeurs: Pdebart, Theon, Valvino Livre IX des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=87199047 Contributeurs: Anne Bauval, Pdebart, Theon, Valvino Livre X des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=69268668 Contributeurs: Pdebart, Theon, Valvino, 2 modifications anonymes Livre XI des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=76145480 Contributeurs: Nochnix2, Pdebart, Theon, Valvino Livre XII des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=69268671 Contributeurs: Pdebart, Theon, Valvino Livre XIII des lments d'Euclide Source: http://fr.wikipedia.org/w/index.php?oldid=80442740 Contributeurs: Anne Bauval, Pdebart, Theon, Valvino, 1 modifications anonymes

Source des images, licences et contributeurs

49

Source des images, licences et contributeurs

Image:Euklid2.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Euklid2.jpg Licence: Public Domain Contributeurs: 5ko, Anarkman, Arcfrkcommons, Badseed, Bibi Saint-Pol, Cirt, Copydays, Diomede, HB, J.delanoy, Luestling, Plindenbaum, Sailko, Singinglemon, Zolo, 4 modifications anonymes Image:Heptadecagone.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Heptadecagone.jpg Licence: GNU Free Documentation License Contributeurs: Jean-Luc W Image:Solar sys.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Solar_sys.jpg Licence: Public Domain Contributeurs: Harman Smith and Laura Generosa (nee Berwin), graphic artists and contractors to NASA's Jet Propulsion Laboratory. Image:degres de liberte.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Degres_de_liberte.jpg Licence: Public Domain Contributeurs: Original uploader was Ruizo at fr.wikipedia Image:ACP 2.GIF Source: http://fr.wikipedia.org/w/index.php?title=Fichier:ACP_2.GIF Licence: GNU Free Documentation License Contributeurs: User Jean-Luc W on fr.wikipedia Image:Pythagorean.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Pythagorean.svg Licence: GNU Free Documentation License Contributeurs: en:User:Wapcaplet Image:Arthur Cayley.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Arthur_Cayley.jpg Licence: Public Domain Contributeurs: Aliman5040, Asturius, Kilom691, Scewing, Zuirdj, 1 modifications anonymes Image:Para lobatchevski C.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Para_lobatchevski_C.svg Licence: GNU Free Documentation License Contributeurs: Mikay Image:Erlangen 1916.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Erlangen_1916.jpg Licence: anonymous-EU Contributeurs: Anonymous (see Image:Erlangen - Bahnhof.jpg and Image:Erlangen - Schlossplatz.jpg) Image:Felix Christian Klein.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Felix_Christian_Klein.jpg Licence: Public Domain Contributeurs: Darapti, MesserWoland, Sobi3ch Image:Preuveeuclide.png Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Preuveeuclide.png Licence: Public Domain Contributeurs: Original uploader was Fauste at fr.wikipedia Image:Q espace euclidien.svg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Q_espace_euclidien.svg Licence: GNU Free Documentation License Contributeurs: Mikay Image:Hilbert.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Hilbert.jpg Licence: Public Domain Contributeurs: DaTroll, Darapti, Der Eberswalder, Gene.arboit, Harp, Mschlindwein, Yann, Zwikki, 3 modifications anonymes Image:light cone.png Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Light_cone.png Licence: Public Domain Contributeurs: Fredrik Image:Hyperb2N.png Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Hyperb2N.png Licence: Public Domain Contributeurs: Original uploader was Cham at fr.wikipedia Image:Triangle on globe.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Triangle_on_globe.jpg Licence: GNU Free Documentation License Contributeurs: Gene.arboit, Kilom691, Rovnet, 1 modifications anonymes Image:Triangle_cercle_euler.png Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Triangle_cercle_euler.png Licence: Public Domain Contributeurs: Alcandre, Personline, 1 modifications anonymes Image:Ellipsoide.png Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Ellipsoide.png Licence: Public Domain Contributeurs: User:Anarkman Image:Title page of Sir Henry Billingsley's first English version of Euclid's Elements, 1570 (560x900).jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Title_page_of_Sir_Henry_Billingsley's_first_English_version_of_Euclid's_Elements,_1570_(560x900).jpg Licence: Public Domain Contributeurs: Charles Thomas-Stanford Fichier:Euclid Vat ms no 190 I prop 47.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Euclid_Vat_ms_no_190_I_prop_47.jpg Licence: Public Domain Contributeurs: Euclid

Licence

50

Licence
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/