MATHMATIQUES

1 PRSENTATION
Mathmatiques, science ayant pour objet ltude au moyen du raisonnement et de la dduction dtres ou dentits abstraites (nombres, figures, etc.). Nes des besoins pratiques de lhomme (dnombrement, mesures), les mathmatiques ont pris leur autonomie surtout avec le dveloppement dun mode de dmonstration rigoureuse de proprits partir de prmisses poses pour vraies (mthode axiomatique). Tout en gardant un lien avec le rel nombre de concepts ou de problmes mathmatiques sont ns de la physique , elles ont aussi cr leurs propres objets, concepts et thories. Ceux-ci leur tour sont devenus souvent des outils trs puissants pour ltude des phnomnes physiques ou pour la modlisation des ralits humaines et sociales. partir du XIXe sicle, un double mouvement sest fait jour : vers ltude des relations et des structures, dune part, et, dautre part lie certaines difficults rencontres , vers la refondation complte de la discipline au moyen de la logique mathmatique formelle. Plus rcemment, les mathmatiques, qui ont trs largement contribu llaboration conceptuelle de lordinateur, ont trouv dans cette machine et dans sa puissance de calcul un outil prcieux pour tester et modliser des hypothses ou mme dmontrer des conjectures. Le bref survol de lhistoire des mathmatiques qui suit retrace lvolution des ides et des concepts mathmatiques partir de la prhistoire. En effet, les mathmatiques ont pratiquement le mme ge que lhumanit elle-mme : des preuves du sens gomtrique et de lintrt pour des formes et des motifs gomtriques ont t dcouvertes sur les poteries prhistoriques et sur les peintures des cavernes. Les systmes de calcul sont, cette poque, trs probablement fonds sur lutilisation des doigts de lune ou des deux mains, comme en tmoigne la prdominance des bases 5 et 10 dans la plupart des systmes de numration actuels ( voir chiffres).

2 MATHMATIQUES DE LANTIQUIT
Les premiers documents dcrivant des mathmatiques volues et organises remontent lpoque de lancienne Babylone, en Msopotamie, et lgypte du IIIe millnaire av. J.-C. Les mathmatiques sont alors rgies par larithmtique, laquelle sajoute un intrt particulier pour la mesure et le calcul en gomtrie. Les concepts daxiome ou de dmonstration nexistent pas encore.

2.1 Mathmatiques gyptiennes Les premiers textes gyptiens, datant de 1800 av. J.-C., rvlent un systme de numration dcimale, avec des symboles sparant les puissances successives de 10 (1, 10, 100 et ainsi de suite), exactement comme dans le systme romain. Pour reprsenter les nombres, on crit le symbole dsignant 1 autant de fois que le nombre a dunits, et le symbole mis pour 10 autant de fois que le nombre a de dizaines, etc. Par exemple, le nombre 30 est reprsent par 101010. Laddition est effectue en sommant sparment les units, les dizaines, les centaines, etc. La multiplication correspond des doublements successifs du nombre et la division est linverse de ce processus. Pour exprimer toutes les fractions, les gyptiens utilisent des sommes de fractions du type (), plus quelques fractions comme ou . Par exemple, la fraction est la somme des fractions et ~. En utilisant ce systme, les gyptiens peuvent rsoudre tous les problmes darithmtique sur les fractions, de mme que certains problmes lmentaires dalgbre. En gomtrie, ils parviennent tablir des rgles correctes pour dterminer les aires des triangles, des rectangles, des trapzes et les volumes de solides, tels que les briques, les cylindres et, bien sr, les pyramides. 2.2 Mathmatiques babyloniennes Le systme de numration babylonien est totalement diffrent du systme gyptien. Dans le systme babylonien, on utilise des tablettes dargile constitues de diffrents repres cuniformes : un seul signe cuniforme indique 1 et un signe sous forme de flche indique 10. Les nombres infrieurs ou gaux 59 sont forms partir de ces symboles par un procd daddition, comme dans les mathmatiques gyptiennes. En revanche, pour reprsenter le nombre 60, on crit le symbole mis pour 1, suivi dun symbole de position. Ainsi, les valeurs relles des 59 premiers nombres dpendent de leur position dans le nombre total. Par exemple, un nombre constitu du symbole reprsentant 2, suivi du symbole dsignant 27 et se terminant par le symbole dsignant 10, correspond au nombre 2 602 + 27 60 + 10 = 8 830. Ce principe est galement tendu la reprsentation des fractions : la squence des nombres cidessus peut tout aussi bien reprsenter le nombre 2 2 60 + 27 + 10 (), ou 2 + 27 () + 10 () . Avec ce systme sexagsimal (de base 60), les Babyloniens possdent un systme numrique aussi pratique que le systme dcimal (de base 10). cette poque, les Babyloniens dveloppent une mathmatique complexe qui leur permet de dterminer les racines positives de toute quation du second degr. Ils savent mme dterminer les racines de certaines quations du troisime degr. Ils possdent diffrentes varits de tables, comme les tables de multiplication et de division ou les tables des carrs. 2

Ils savent rsoudre des problmes complexes en utilisant le thorme de Pythagore. Une de leurs tables contient les solutions entires de lquation de Pythagore a2 + b2 = c2, arrange de telle sorte que c2 / a2 diminue progressivement de 2 environ . En outre, les Babyloniens sont capables de calculer la somme de sries arithmtiques et de certaines sries gomtriques. Ils parviennent galement une bonne approximation de .

2.3 Mathmatiques grecques

Les Grecs adoptent les acquis mathmatiques des Babyloniens et des gyptiens. Un nouvel lment apparat cependant dans leurs mathmatiques : une approche abstraite, fonde sur une structure logique de dfinitions, daxiomes et de dmonstrations. Daprs les documents laisss ultrieurement par les Grecs, cette mathmatique commence se dvelopper au VIe sicle av. J.-C., avec Thals de Milet et Pythagore de Samos, chef religieux qui met laccent sur ltude des nombres pour comprendre le monde. Certains de ses disciples font des dcouvertes importantes en thorie des nombres et en gomtrie, dcouvertes qui seront attribues Pythagore lui-mme. Le Ve sicle av. J.-C. compte deux grands gomtres : le philosophe atomiste Dmocrite dAbdre, qui dcouvre la formule du volume dune pyramide, et Hippocrate de Chio, qui montre que les aires des figures en forme de croissant et limites par des arcs de cercle sont gales aux aires de certains triangles. Cette dcouverte est lie au clbre problme de la quadrature dun cercle, cest--dire la construction ( la rgle et au compas) dun carr de mme aire que celle dun cercle donn. Deux autres problmes mathmatiques clbres apparaissent au cours de ce sicle : diviser un angle en trois angles gaux et construire un cube dont le volume est le double dun cube donn. Ces trois problmes seront rsolus laide dinstruments beaucoup plus complexes quune rgle et un compas. Ce nest quau XIXe sicle que lon dmontrera quil est impossible de les rsoudre au moyen de ces deux instruments. Dans la seconde moiti du Ve sicle av. J.-C., une dcouverte drangeante est faite : aucune unit de longueur ne permet de mesurer en mme temps le ct et la diagonale dun carr. En dautres termes, ces deux longueurs sont incommensurables : la relation numrique existant entre le ct et la diagonale ne peut sexprimer par le rapport de deux nombres entiers m et n. Les Grecs considrant que seuls les lments de dnombrement (1, 2, 3, etc.) sont des nombres, ils nont donc pas de moyen numrique pour exprimer le rapport de la diagonale sur le ct. (Ce rapport, , sera appel nombre irrationnel.) Ainsi est mise en doute la thorie de Pythagore sur les rapports des nombres. Une nouvelle thorie

apparat au IVe sicle av. J.-C., introduite par Eudoxe de Cnide. On en trouve la prsentation dans les lments dEuclide. Les treize livres qui constituent les lments contiennent une grande part des connaissances mathmatiques lmentaires, dcouvertes avant la fin du IVe sicle av. J.-C., et concernent la gomtrie des polygones, le cercle, la thorie des nombres, la thorie des incommensurables, la gomtrie des solides et la thorie lmentaire sur les aires et les volumes. Le IVe sicle av. J.-C. est marqu par un brillant dveloppement des mathmatiques, comme en tmoignent, par exemple, les travaux dArchimde de Syracuse et dApollonios de Perga. Archimde utilise, par exemple, une mthode fonde sur la pese thorique de parties de figures infiniment petites et permettant de dterminer les aires et les volumes des figures issues de sections coniques. Ces sections coniques, dcouvertes par Menaechmus, lve dEudoxe, ont fait lobjet dun trait dEuclide. Cependant, les crits dArchimde sur ces sections coniques sont les premiers connus. Archimde tudie galement les centres de gravit et la stabilit de diffrents solides flottant sur leau. Une grande partie de ses travaux conduira la dcouverte du calcul infinitsimal au XVIIe sicle. Son contemporain Apollonios crit un trait de huit livres sur les sections coniques. Ce trait introduit les noms de trois types de courbe : ellipse, parabole et hyperbole, et en donne une prsentation gomtrique qui restera en usage jusquau XVIIe sicle. Aprs Euclide, Archimde et Apollonios, la Grce ne connatra pas de gomtre de stature comparable. Les crits de Hron dAlexandrie, au Ier sicle av. J.-C., tmoignent du fait que les lments babyloniens et gyptiens concernant les mesures et larithmtique survivent ct des thories des grands gomtres. Dans la mme tradition, mais pour des problmes beaucoup plus complexes, on peut citer les livres de Diophante dAlexandrie, du IIIe sicle apr. J.-C. Ils permettent de dterminer des solutions rationnelles dquations plusieurs inconnues. De telles quations, appeles quations diophantiennes, sont le sujet de lanalyse diophantienne. Paralllement ces travaux proprement mathmatiques, de nombreuses tudes sont faites en optique, en mcanique et en astronomie. Des auteurs, tels quEuclide ou Archimde, crivent des ouvrages dans certains domaines dastronomie. Peu aprs Apollonios, les astronomes grecs adoptent le systme babylonien de notation des fractions et tablissent des tables pour les mesures des cordes dun cercle. Pour un cercle de rayon donn, ces tables donnent la longueur des cordes soustendant une squence darcs dont les mesures augmentent suivant un pas fixe. Ces tables sont quivalentes la table des modernes sinus et leur

invention marque les dbuts de la trigonomtrie. Dans les premires tables (celles dHipparque, vers 150 av. J.-C), la mesure des arcs est donne par 7,5, de 0 180. lpoque de Ptolme, au IIe sicle apr. J.-C., la matrise grecque des procdures numriques a tellement progress que ce dernier peut introduire dans son Almageste une table donnant les cordes dun cercle par pas de 0,5. Ce pas, exprim en systme sexagsimal, correspond, en fait, une prcision denviron 10 -5. Dans le mme temps, des mthodes sont dveloppes pour rsoudre des problmes impliquant des triangles plans, et un thorme portant le nom de lastronome Mnlas dAlexandrie permet de dterminer les longueurs de certains arcs sur une sphre, connaissant la mesure dautres arcs. Ces progrs permettent aux astronomes grecs de rsoudre les problmes de lastronomie sphrique et de dvelopper un systme qui servira jusqu lpoque de Johannes Kepler.

3 MATHMATIQUES RENAISSANCE

DU

MOYEN

GE

ET

DE

LA

Aprs Ptolme apparat une tradition consistant tudier les connaissances mathmatiques des sicles antrieurs et qui aura pour heureux corrlat la prservation des ouvrages anciens. Cependant, les premiers dveloppements fonds sur ces connaissances napparatront que dans le monde arabo-islamique. 3.1 Mathmatiques indiennes et arabes Lislam, n dans la pninsule Arabique, connat pendant un sicle une expansion rapide et rgne sur un territoire stendant de lEspagne aux frontires de la Chine. Cela amne les musulmans prendre connaissance des sciences trangres . Dans des centres tels que la Maison de la Sagesse, Bagdad, des traducteurs, soutenus par les califes et par de riches mcnes, donnent les versions arabes des ouvrages mathmatiques grecs et indiens. Vers lan 900, ce travail sachve. Les savants musulmans utilisent ces acquis auxquels ils apportent de nouvelles contributions. Ainsi, les mathmaticiens largissent le systme de numration positionnel indien, en introduisant les fractions dcimales. Au XIIe sicle, Omar Khayam, gnralisant les mthodes indiennes dextraction des racines carres et cubiques, introduit les racines quatrimes, cinquimes et dordres suprieurs. Al-Karadji complte lalgbre de Muhammad al-Khuwarizmi sur les polynmes, en introduisant des polynmes avec un nombre infini de termes le nom dal-Khuwarizmi a donn le mot algorithme, et le titre de lun de ses livres est lorigine du terme algbre. Des gomtres, tels que Ibrahim ibn Sinan, poursuivent les tudes dArchimde sur les aires et les

volumes. Kamal al-Din, entre autres, applique la thorie des sections coniques pour rsoudre des problmes doptique. De Habas al-Hasib Nasir al-Din al-Tusi, les mathmaticiens crent la trigonomtrie plane et la trigonomtrie sphrique, en utilisant la fonction sinus indienne et le thorme de Mnlas. Ces nouvelles disciplines ne prendront place dans la mathmatique occidentale quavec la publication de De Triangulis Omnimodibus, par lastronome allemand Regiomontanus. Enfin, plusieurs mathmaticiens musulmans font dimportantes dcouvertes en thorie des nombres, tandis que dautres exposent diffrentes mthodes numriques pour rsoudre les quations. Le monde occidental latin fera sien une grande partie de ce savoir au cours du XIIe sicle, le grand sicle de la traduction. Avec les traductions des classiques grecs, tous ces travaux musulmans seront lorigine du dveloppement des mathmatiques occidentales au cours du Moyen ge. 3.2 Mathmatiques en Europe Les connaissances des mathmaticiens italiens, tels que Leonardo Fibonacci et Luca Pacioli, dpendent beaucoup des travaux arabes. Luca Pacioli, lun des nombreux auteurs du XVe sicle, publie des traits dalgbre et darithmtique pour les marchands. la fin de lpoque mdivale, des auteurs tel que Nicole Oresme introduisent des considrations mathmatiques sur linfini. Ce nest cependant quau dbut du XVIe sicle quune dcouverte mathmatique vraiment importante est faite en Occident. Il sagit dune formule algbrique donnant la solution des quations du troisime et du quatrime degr qui est publie en 1545 par Jrme Cardan, dans son Ars Magna. Cette dcouverte attire lattention des mathmaticiens sur les nombres complexes et stimule la recherche des solutions des quations de degr suprieur quatre. son tour, celle-ci conduira aux premiers travaux sur la thorie des groupes, la fin du XVIIIe sicle, et la thorie des quations dvariste Galois, au dbut du XIXe sicle. Le XVIe sicle voit apparatre les premiers symboles mathmatiques et algbriques. Paralllement, Franois Vite mne une remarquable tude sur la rsolution des quations. Ses ouvrages influenceront de nombreux mathmaticiens du sicle suivant, dont Fermat en France et Newton en Angleterre.

4 MATHMATIQUES PARTIR DU XVIIE SICLE

4.1 Au XVIIe sicle Au XVIIe sicle, les mathmatiques connaissent les dveloppements les plus importants depuis lpoque dArchimde et dApollonios. Le dbut du sicle est marqu par la dcouverte des logarithmes par John Napier. La thorie des nombres, reste sans grand changement depuis lpoque mdivale, illustre le mieux ce que les progrs du XVIIe sicle doivent aux savoirs anciens. Cest, par exemple, l Arithmtique de Diophante qui permet Pierre de Fermat de faire des progrs considrables dans la thorie des nombres. Sa conjecture la plus importante est la suivante : il nexiste pas de solutions entires positives a, b, c lquation an + bn = cn, si n est suprieur 2. Cette conjecture, connue sous le nom de grand thorme de Fermat, suscitera des travaux importants en algbre et en thorie des nombres : elle ne sera finalement et dfinitivement dmontre quen 1994 par Andrew Wiles. Le XVIIe sicle connat deux importants dveloppements en gomtrie pure. Tout dabord, Descartes publie, dans son Discours de la mthode (1637), les rsultats de ses travaux relatifs la nouvelle mthode quil a labore : la gomtrie analytique. Celle-ci permet dappliquer lalgbre dveloppe depuis la Renaissance ltude des courbes. (Fermat fait la mme dcouverte, mais ne la publie pas.) Ce livre encourage, dans les annes 1660, les travaux mathmatiques dIsaac Newton, dont il constitue les fondements. En 1639, Grard Desargues publie ses travaux sur la gomtrie projective. Cet ouvrage, trs apprci par Descartes et par Blaise Pascal, naura pas de suite immdiate cause de sa terminologie excentrique et de lintrt provoqu par la publication de Descartes sur la gomtrie analytique. Le dveloppement de la gomtrie projective ne reprendra quau dbut du XIXe sicle avec les travaux de Jean Victor Poncelet. Au XVIIe sicle, les mathmatiques connaissent une autre tape capitale : lavnement de la thorie des probabilits, qui apparat dans la correspondance entre Pascal et Fermat. Elle concerne alors un problme de jeu appel problme des partis. Ces travaux, non publis, incitent Christiaan Huygens diter un court trait sur les probabilits dans les jeux de ds. Ce trait est republi par Jacques Bernoulli dans son Art de la conjecture. Bernoulli et Abraham de Moivre, dans sa Doctrine des hasards de 1718, appliquent tous deux les procds de calcul prcdemment dcouverts, et font faire de rapides progrs la thorie des probabilits. Cette thorie aura dimportantes applications dans lindustrie florissante de lassurance.

Cependant, lvnement mathmatique le plus marquant du XVIIe sicle est incontestablement la dcouverte du calcul diffrentiel et intgral ( voir calcul infinitsimal). Dun ct, Newton, entre 1664 et 1666, en dveloppe une version en sappuyant sur les travaux des Anglais John Wallis et Isaac Barrow et sur ceux de Descartes, du pre Francesco Bonaventura Cavalieri, de Johann Van Waveren Hudde et de Gilles Personne de Roberval. Environ huit ans aprs Newton, qui na pas encore publi sa dcouverte, Gottfried Wilhelm Leibniz labore une autre version du calcul diffrentiel et intgral, et publie pour la premire fois, en 1684 et 1686, ses notations encore utilises aujourdhui, comme par exemple dx. 4.2 Au XVIIIe sicle La fin du XVIIe sicle et une grande partie du XVIIIe sicle sont marques par les travaux des disciples de Newton et de Leibniz, qui appliquent les ides des deux mathmaticiens pour rsoudre certains problmes de physique, dastronomie ou certaines questions techniques. Cela les conduit crer de nouveaux domaines. Par exemple, Jean et Jacques Bernoulli inventent le calcul des variations et Gaspard Monge cre la gomtrie diffrentielle. Toujours en France, Joseph Louis de Lagrange traite la mcanique sous un angle purement analytique dans son grand ouvrage, Mcanique analytique (1788), o il prsente ses clbres quations (quations de Lagrange) dcrivant un systme dynamique. Il tudie galement les quations diffrentielles, la thorie des nombres et jette les bases de la thorie des groupes. Son contemporain Laplace crit la Thorie analytique des probabilits (1812) et le classique Mcanique cleste (1799-1825), qui lui vaut le titre de Newton franais . Le plus grand mathmaticien du XVIIIe sicle est Leonhard Euler, qui apporte des contributions fondamentales au calcul infinitsimal et toutes les autres branches des mathmatiques, ainsi quaux mathmatiques appliques. Il crit des manuels sur le calcul diffrentiel et intgral, la mcanique et lalgbre, qui deviennent des ouvrages de rfrence. Euler et dautres mathmaticiens appliquent avec succs les nouvelles mthodes pour rsoudre des problmes mathmatiques et physiques, mais ne parviennent pas en dvelopper une justification satisfaisante. En effet, les travaux de Newton sont fonds sur la cinmatique et la notion de vitesse, lexplication de Leibniz est fonde sur les infinitsimaux, et le traitement de Lagrange, purement algbrique, sur la notion de sries infinies. Tous ces systmes sont insatisfaisants et ne rpondent pas aux critres logiques de la mathmatique grecque. Ce problme ne sera rsolu quau sicle suivant.

4.3 Au XIXe sicle En 1821, Augustin Louis Cauchy parvient donner une approche logique et satisfaisante du calcul infinitsimal. Il fonde uniquement son raisonnement sur des quantits finies et sur lide de limite. Mais cette dmarche pose un autre problme : la dfinition logique des nombres rels . Cest le mathmaticien allemand Julius Richard Dedekind qui en donne une dfinition satisfaisante partir des nombres rationnels. Dautres dfinitions quivalentes sont donnes par Georg Cantor et Karl T. W. Weierstrass. Une autre question importante est souleve, en liaison avec le problme nonc pour la premire fois au XVIIIe sicle et concernant la description du mouvement dune corde vibrante : celle de la dfinition dune fonction. Euler, Lagrange et Joseph Fourier contribuent lui donner une rponse. Mais cest Peter Gustav Lejeune Dirichlet qui propose la dfinition, encore employe aujourdhui : une fonction est une relation de correspondance entre les lments dun ensemble (domaine de dfinition de la fonction) et ceux dun second ensemble (ensemble darrive). Paralllement la constitution de fondements solides pour lanalyse mathmatique, nom quon donne alors aux techniques du calcul infinitsimal, les mathmaticiens du XIXe sicle font faire dimportants progrs ce domaine. Au dbut du sicle, Carl Friedrich Gauss donne une explication satisfaisante des nombres complexes, qui constituent par la suite un nouveau domaine de lanalyse, dvelopp par les travaux de Cauchy, de Weierstrass et de Riemann. Lanalyse mathmatique connat un autre progrs important : ltude des sommes infinies dont les termes sont des fonctions trigonomtriques. Connues aujourdhui sous le nom de sries de Fourier, ce sont de puissants outils en mathmatiques pures et appliques. De plus, ltude des fonctions gales aux sries de Fourier conduit Cantor ltude des ensembles infinis et une arithmtique des nombres infinis. La thorie de Cantor, considre alors comme totalement abstraite et mme qualifie de maladie dont les mathmatiques seront bientt guries constitue aujourdhui lun des fondements des mathmatiques. Le XIXe sicle est aussi celui de la dcouverte dun autre dveloppement considr comme abstrait et inutile : celui de la gomtrie noneuclidienne, dans laquelle, une droite donne et passant par un point nappartenant pas cette droite, soit on ne peut tracer aucune parallle, soit on peut en tracer plus dune. Manifestement, Gauss est lorigine de cette gomtrie, mais, craignant une controverse, il ne publie pas ses rsultats. Ceux-ci sont retrouvs indpendamment par Nikola Ivanovitch Lobatchevski et par Jnos Bolyai. Riemann tudie les gomtries noneuclidiennes dans un cadre trs gnral. Depuis les travaux dEinstein au

XXe sicle, ces gomtries non-euclidiennes ont trouv des applications en physique. Gauss est lun des plus grands mathmaticiens de tous les temps. Ses crits montrent que, dj tout jeune, cet enfant prodige a fait dimportantes dcouvertes en thorie des nombres. Son livre Disquisitiones Arithmeticae (1801) marque le dbut de lre moderne en thorie des nombres. dix-neuf ans seulement, Gauss dmontre quun polygone rgulier ayant un nombre m de cts peut tre construit avec une rgle et un compas lorsque m est un produit de nombres premiers de la forme 22n + 1. Dans sa thse de doctorat, il donne la premire dmonstration satisfaisante du thorme fondamental de lalgbre. Il combine souvent des travaux en sciences physiques et ses tudes mathmatiques. On peut citer, par exemple, son dveloppement de mthodes statistiques men paralllement ses tudes sur lorbite dun astrode, ses travaux innovants dans le domaine de la thorie du potentiel effectus paralllement son tude du magntisme, et son tude de la gomtrie des surfaces courbes associe des travaux de godsie. Au XIXe sicle, on assiste une mutation de lalgbre : ltude des polynmes conduit celle des structures algbriques. Cette volution est finalement plus importante pour lalgbre que la dmonstration du thorme fondamental par Gauss. Linvention de lalgbre symbolique par George Peacok en Angleterre est une tape dcisive dans cette voie. Une autre tape importante est la dcouverte de systmes algbriques prsentant certaines des proprits des nombres rels, mais pas toutes. Ce sont, par exemple, les quaternions, introduits par William Rowan Hamilton, lanalyse vectorielle due J. Willard Gibbs et les espaces n dimensions de lAllemand Hermann Gnther Grassmann. La troisime tape dcisive est le dveloppement de la thorie des groupes, qui voit le jour dans les travaux de Lagrange. Galois, sur la base de ces travaux, fonde une thorie qui indique notamment quand une quation peut tre rsolue par radicaux. Comme Descartes lavait fait avec lalgbre de son temps, lAllemand Christian Felix Klein et le Norvgien Sophus Lie utilisent celle du XIXe sicle pour tudier la gomtrie. Klein donne ainsi une classification des gomtries en fonction de leurs groupes de transformations (programme dErlangen). Lie procde une tude gomtrique des quations diffrentielles, au moyen de groupes continus de transformation appels groupes de Lie. Au XXe sicle, lalgbre sapplique galement une autre approche de la gomtrie appele topologie. Au XIXe sicle, les fondements des mathmatiques sont bouleverss, en particulier par louvrage de George Boole, Recherches sur les lois de la

10

pense (1854), et par la thorie des ensembles de Cantor. Cependant, vers la fin du XIXe sicle, on dcouvre une srie de paradoxes dans la thorie de Cantor. Bertrand Russell met en vidence un paradoxe propos de la notion densemble. Les mathmaticiens reformulent alors des thories des ensembles suffisamment restrictives pour liminer ces paradoxes, mais la question reste ouverte de savoir si dautres paradoxes ne surgiront pas de ces thories, cest--dire de savoir si ces thories sont consistantes. Depuis, et jusqu ce jour, on na pu donner que des dmonstrations de consistance relative, cest--dire correspondant au schma suivant : la thorie A est vrifie si la thorie B lest. Un rsultat particulirement troublant est dmontr en 1931 par Kurt Gdel : dans tout systme daxiomes, il est possible de construire des propositions qui ne peuvent tre dmontres.

5 MATHMATIQUES ACTUELLES
David Hilbert, professeur Gttingen, universit o ont enseign Gauss et Riemann, a apport une contribution majeure la plupart des domaines mathmatiques, de ses classiques Fondements de la gomtrie (1899) jusqu louvrage collectif Mthodes de la physique mathmatique. Gttingen, Hilbert prsente une tude de 23 problmes mathmatiques, dont il pense quils guideront les travaux du XXe sicle. Ils stimuleront, de fait, une grande partie de la recherche mathmatique du XXe sicle. Sil a ainsi fait considrablement avancer la recherche mathmatique, Hilbert ne pouvait pas prvoir un vnement qui semble devoir jouer un rle essentiel dans le dveloppement des mathmatiques : linvention de lordinateur numrique programmable. Bien que les origines de lordinateur remontent au XVIIe sicle, avec les calculateurs engrenages de Pascal et de Leibniz, cest au XIXe sicle que Charles Babbage, en Angleterre, conoit une machine pouvant effectuer des calculs automatiquement au moyen dun programme dinstructions enregistres sur cartes ou sur bande. Mais la technique de lpoque ne permet pas le dveloppement et la concrtisation de ses ides. Pour cela, il faudra linvention du relais, puis celles du tube lectronique et du transistor, lments essentiels de la constitution des ordinateurs. Ceux-ci conduisent reprendre ltude de certains domaines mathmatiques, tels que lanalyse numrique et les mathmatiques des lments finis ou explorer de nouveaux domaines, tels que les algorithmes ou approfondir des domaines aussi diffrents que la thorie des nombres, les quations diffrentielles et lalgbre abstraite. Lordinateur permet aussi de rsoudre des problmes tels que celui du coloriage dune carte, nonc pour la premire fois au milieu du XIXe sicle. Daprs cette conjecture, quatre couleurs suffisent pour colorer une carte quelconque, deux pays limitrophes devant avoir des couleurs diffrentes. Le thorme sera

11

finalement dmontr en 1976, au moyen dun puissant ordinateur, luniversit de lIllinois. Mme si un grand nombre de problmes importants ont t rsolus, dautres restent comme des dfis, telle lhypothse de Riemann, et de nouveaux problmes difficiles surgissent. Cependant, dans le monde moderne, les connaissances mathmatiques progressent toujours plus vite. Des thories, auparavant distinctes, ont t unifies dans des thories la fois plus globales et plus abstraites, et les mathmatiques les plus abstraites finissent aujourdhui par trouver des applications. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

12

ARITHMTIQUE
1 PRSENTATION
Arithmtique, branche des mathmatiques qui tudie les proprits des nombres entiers naturels, des entiers relatifs et des nombres rationnels.

2 HISTORIQUE
On peut considrer que, ds lpoque prhistorique, les hommes ont utilis leurs doigts pour compter ou effectuer des calculs sommaires. Lemploi de symboles pour dsigner les nombres apparat sans doute en Msopotamie, vers 2000 av. J.-C, o lon a retrouv des tablettes babyloniennes couvertes de chiffres en base 60. Puis viennent les systmes de numration gyptiens, grecs et romains. Cest en Grce quest fonde larithmtique thorique par les pythagoriciens au VIe sicle av. J.-C. (voir Pythagore). cette poque, les mathmaticiens grecs savent dj manipuler des notions arithmtiques comme les proportions, les moyennes, ou encore les progressions ( voir arithmtique, progression ; gomtrique, progression). Tout ce savoir a t, par la suite, regroup dans les lments dEuclide. Au Moyen ge, larithmtique ne connat quun faible dveloppement, si ce nest ladoption des chiffres indiens, transmis par lintermdiaire des Arabes. Le mathmaticien italien Leonardo Fibonacci contribue pour beaucoup lutilisation de ces chiffres, en diffusant les connaissances mathmatiques arabes dans son ouvrage Liber abbaci (1202). partir du XVIe sicle, larithmtique progresse grands pas, grce aux travaux de Cardan, Tartaglia, Vite et Fermat, qui tudient notamment les nombres premiers et les suites. En 1617, Napier introduit le symbole de la virgule dans lcriture dcimale, aprs avoir invent les logarithmes trois ans plus tt. Aux XVIIe et XVIIIe sicles, la plupart des grands mathmaticiens, tels Lagrange, Euler et Gauss, sintressent de prs ou de loin larithmtique. En 1801, Gauss publie Disquisitiones arithmeticae, trait qui marque un tournant dans lhistoire de larithmtique, puisquil peut tre considr comme louvrage fondateur de la thorie des nombres. Cette discipline fournit une nouvelle approche de larithmtique, utilisant des outils venant dautres branches des mathmatiques, comme les fonctions analytiques ou la thorie des groupes. Ds lors, lhistoire de larithmtique se confond avec celle de la thorie des nombres, que des mathmaticiens comme Galois ou Dirichlet sauront mettre profit.

13

3 OPRATIONS LMENTAIRES
Il existe quatre oprations fondamentales en arithmtique : laddition, la soustraction, la multiplication et la division. 3.1 Addition Laddition est reprsente par le symbole + ( plus ). Si lon ajoute cinq fichiers un dossier en comportant dj quatre, on peut calculer le total de ces fichiers en les comptant un par un, ce qui nous donne neuf fichiers. Laddition est une opration qui rsume et simplifie ce calcul : 5 + 4 = 9 . Ce mme rsultat est obtenu si lon additionne 4 5 : laddition est commutative. Voir addition (mathmatiques). 3.2 Soustraction Reprsente par le symbole - ( moins ), la soustraction est souvent considre comme lopration oppose de laddition. Pour soustraire 23 66, on pourrait compter rebours un par un 23 fois, mais les rgles de la soustraction permettent dobtenir la rponse plus rapidement : 66 - 23 = 43. Lorsquon se place dans lensemble des entiers naturels, le nombre le plus grand doit tre celui dont on retire (ou soustrait) un nombre plus petit afin que le rsultat obtenu soit bien un entier naturel. En revanche, si la soustraction a lieu dans lensemble des entiers relatifs, cette condition nest plus ncessaire. Pour deux nombres quelconques a et b, on peut effectuer les deux oprations a - b et b - a, ce qui donne deux rsultats diffrents de signe contraire, appels opposs. Lcriture symbolique permet ainsi dcrire a - b = - (b - a). Cette particularit montre que la soustraction nest pas commutative. Voir soustraction. 3.3 Multiplication La multiplication est gnralement indique par le symbole ( fois ), mais galement par un point ou des parenthses. Ainsi, le produit de 3 par 4 peut tre symbolis par 3 4, 3.4 ou encore (3)(4). On peut assimiler la multiplication une addition rpte. Par exemple, lexpression 3 4 ( trois fois quatre ) signifie que 4 doit tre ajout lui-mme trois fois (4 + 4 + 4). On montre quon obtient le mme rsultat si 3 est ajout lui-mme quatre fois (3 + 3 + 3 + 3). Dans les deux cas, le rsultat est identique : la multiplication est commutative. Voir multiplication.

14

3.4 Division La division, que lon peut considrer comme lopration inverse de la multiplication, se note de diverses manires. Ainsi, 12 divis par 4 peut scrire 12 4, 12/4 ou encore . Cette opration permet de dterminer combien de fois un nombre donn (diffrent du zro), appel diviseur, est contenu dans un autre, appel dividende. La division euclidienne est une division propre aux entiers relatifs : si a et b sont deux entiers relatifs, b tant non nul, il existe deux entiers relatifs uniques q et r tels que a = bq + r, avec 0 r b - 1, o q est appel le quotient de la division de a par b, et r le reste de cette division. Dans ce cadre, on dit quun entier n est divisible par un entier p si et seulement si le reste de la division de n par p est gal 0 : p est alors un diviseur de n. Si le reste est non nul, on peut placer une virgule derrire le quotient et continuer cette division. Le quotient obtenu la fin nappartient donc plus lensemble des entiers, mais celui des rationnels. Voir division.

4 ENSEMBLES DAPPLICATIONS
En arithmtique, on utilise trois types de nombres : les entiers naturels, les entiers relatifs et les nombres rationnels. Lensemble des entiers naturels, not , regroupe les nombres usuels servant compter : 1, 2, 3, 4, 5, etc. Tout au long de lhistoire, les peuples ont invent diffrents systmes de numration. Celui qui est aujourdhui en vigueur dans toutes les cultures modernes dnombre les objets par groupes de dix. Il sagit du systme de numration base 10, dit systme dcimal. Les entiers relatifs reprsentent lensemble des entiers positifs et ngatifs, not . La valeur absolue dun nombre relatif est gale ce mme nombre sil est positif, et son oppos sil est ngatif. En notation symbolique, la valeur absolue dun nombre a est note |a|. Les nombres rationnels appartiennent lensemble des nombres issus de la division dun entier relatif par un autre. Cet ensemble, not , runit en fait tous les nombres fractionnaires, symboliss par des fractions telles que 1/3, 3/4, - 5/7, etc. Ainsi, le quotient - 3/7, issu de la division de 3 par - 7, nest pas uniquement lcriture de cette division mais galement un nombre rationnel. Voir nombres.

15

5 NOMBRES PREMIERS
Un nombre premier est un nombre entier qui nadmet pour diviseurs que 1 et lui-mme. Par consquent, le seul nombre premier pair est 2. Lensemble des nombres premiers est infini. Il a comme plus petits lments 2, 3, 5, 7, 11, 13, 17 et 19. On peut dmontrer que tout nombre entier non premier est, dune faon unique, le produit de nombres premiers. Considrons par exemple le nombre 50. Daprs le thorme prcdent, il nexiste quune seule manire dcrire (ou de dcomposer) 50 comme un produit de facteurs premiers, savoir : 50 = 2 5 5 = 2 52. Voir premiers, nombres.

6 PPCM ET PGCD
Le plus petit commun multiple (PPCM) de plusieurs nombres est le plus petit nombre admettant pour diviseurs chacun des nombres considrs. Ce PPCM contient donc tous les facteurs premiers apparus lors des dcompositions de ces nombres. Par exemple, pour calculer le PPCM des nombres 27, 63 et 75, on dcompose dabord chaque nombre en produit de facteurs premiers : 27 = 33, 63 = 32 7, et 75 = 3 52. Le PPCM devant contenir au moins les facteurs 33, 7 et 52, on obtient par consquent 33 7 52 = 4 725. Le plus grand commun diviseur (PGCD) de plusieurs nombres correspond au plus grand facteur commun de ces nombres. Par exemple, 3 est le PGCD de 9, 15 et 27, ce qui peut se voir immdiatement en examinant les dcompositions en produit de facteurs premiers de chacun des nombres : 9 = 32, 15 = 3 5, 27 = 33. En effet, le seul facteur commun tous ces nombres est 3. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

16

GOMTRIE
1 PRSENTATION
Gomtrie, branche des mathmatiques qui tudie les proprits du plan et de lespace. La gomtrie sintresse aux relations entre les points, les droites, les plans, les courbes, les surfaces et les volumes. Sous sa forme la plus lmentaire, elle traite de simples problmes mtriques, comme la dtermination daires et de volumes de figures planes ou de solides ( voir Espace, gomtrie dans l ; Plane, gomtrie). Mais elle tudie aussi des problmes bien plus complexes, dans le cadre de ses diverses disciplines : la gomtrie analytique, la topologie, la gomtrie fractale, la gomtrie projective ou encore la gomtrie non-euclidienne.

2 ORIGINES DE LA GOMTRIE
La gomtrie nat des proccupations des gyptiens et des Babyloniens, qui dsirent connatre avec prcision les dimensions et la grandeur de leurs champs et difier des btiments angles rigoureusement droits. Au e VI sicle av. J.-C., le mathmaticien grec Pythagore pose la premire pierre de la gomtrie classique, en montrant que les lois qui la rgissent peuvent tre dmontres partir dun certain nombre daxiomes et de postulats. Au IIIe sicle av. J.-C., Euclide ralise une premire synthse de la gomtrie dans son ouvrage les lments. Il y donne une dfinition des entits gomtriques (points, droites, surfaces, angles, etc.), y nonce des axiomes (par exemple, deux grandeurs gales une troisime sont gales entre elles ) et des postulats, le plus fameux demeurant celui des droites parallles. Euclide postule en effet que par un point situ en dehors dune droite ne passe quune droite et une seule parallle la premire. Ce postulat quon essaiera longtemps en vain de dmontrer est dailleurs lorigine de la gomtrie dite euclidienne, en opposition avec les gomtries non-euclidiennes, labores vingt-deux sicles plus tard.

3 GOMTRIE DMONSTRATIVE
Ce sont sur les axiomes et postulats noncs par Euclide que reposent toutes les dmonstrations des thormes relatifs la gomtrie. Ainsi, le thorme de Pythagore, qui stipule que dans un triangle rectangle, le carr de la longueur de lhypotnuse est gal la somme des carrs des longueurs des deux autres cts , dcoule de ces axiomes et postulats, tout comme le thorme affirmant que dans un triangle quelconque, la somme des trois angles internes est gale la somme de deux angles

17

droits . La gomtrie pratique par les Grecs est dite dmonstrative : beaucoup plus quun travail de dessin, elle est fonde sur une utilisation particulire du langage o la discussion permet la confrontation darguments dans le but de dmontrer un thorme. laide de cette gomtrie, les Grecs ont tudi principalement les polygones, les cercles et les figures tridimensionnelles correspondantes.

4 PREMIERS PROBLMES GOMTRIQUES

Les Grecs sont les premiers poser des problmes proposant de construire une figure gomtrique avec pour seuls instruments une rgle non gradue et un compas. Par exemple, ils ont tudi la construction, laide de ces deux instruments, dun segment deux fois plus long quun premier fix, ou le trac dune droite divisant un angle donn en deux angles gaux. Le mathmaticien grec Apollonios de Perga sintresse notamment de nombreux problmes de construction dans le plan, mais galement dans lespace : il tudie la famille des courbes appeles coniques, dcouvrant leur sujet un grand nombre de proprits fondamentales. Ces courbes se rvleront tre dune grande importance dans de nombreux domaines de la physique, en particulier en astronomie (voir Orbite). Trois clbres problmes de construction (avec la rgle et le compas) datant de cette poque ont rsist pendant de nombreux sicles aux efforts des mathmaticiens : construire un cube dont le volume est le double dun cube donn, diviser un angle donn en trois parties gales, et le plus fameux dentre eux construire un carr daire gale celle dun cercle donn (quadrature du cercle). Aujourdhui, on sait quaucune de ces constructions nest possible au moyen dune rgle et dun compas. La quadrature du cercle a fait pour sa part lobjet de milliers de mmoires ; son impossibilit na t dmontre quen 1882.

5 GOMTRIE ANALYTIQUE
Au IIIe sicle av. J.-C., Archimde met au point des mthodes permettant de mesurer les aires de certaines figures curvilignes, ou de surfaces et de volumes dlimits par des surfaces curvilignes, comme les parabolodes et les cylindres. Il invente galement un procd fournissant une valeur approche de p, rapport du diamtre dun cercle sa circonfrence ( voir Pi). Archimde encadre cette valeur entre 3 + 10/71 (environ 3,1408) et 3 + 10/70 (environ 3,1428). Il ouvre ainsi la voie la gomtrie analytique qui ne verra cependant le jour quau dbut de la Renaissance. Cette branche de la gomtrie dfinit la nature des formes gomtriques laide de variables, de systmes de coordonnes et de reprsentations graphiques. Dans son ouvrage Gomtrie (1637) Ren Descartes applique les mthodes algbriques ltude des courbes ( voir Algbre), unifiant les

18

diffrentes branches de la gomtrie existant alors. Considrant que toute courbe peut tre dfinie par une quation, il montre quon peut engendrer de nouvelles figures gomtriques laide de ces quations. Au e XVIII sicle, grce en particulier aux travaux des Franais Lagrange et Monge, est introduit le systme de coordonnes avec trois axes, gnralisant ainsi la gomtrie dans le plan celle dans lespace. Les quations de la plupart des types de surfaces sont tablies. La gomtrie analytique prend alors la forme quon lui connat aujourdhui.

6 GOMTRIE PROJECTIVE
Au XIXe sicle, la gomtrie connat un dveloppement important : ltude des figures gomtriques dont les projections sur un plan conservent les mmes proprits, tude qui relve de la gomtrie projective. La figure 1 illustre un exemple simple de thorme en gomtrie projective.

Si les points A, B, C, a, b, et c sont placs arbitrairement sur une section conique, par exemple sur un cercle, et que le point A est reli aux points b et c, le point B c et a, et le point C b et a, alors les points dintersection des couples de droites ( aC) et (Ac), (aB) et (Ab), (bC) et (Bc) sont aligns. De la mme manire, un autre thorme de gomtrie projective est dcrit par la figure 2, sur laquelle on a trac six tangentes quelconques dun cercle.

Alors, les droites reliant les points dintersection opposs de ces tangentes sont concourantes. Ce thorme est dit projectif car il sapplique toutes les projections planes des sections coniques, comme la projection dun cercle en une ellipse sur un plan concourant (voir figure 3).

19

Ds la Renaissance, les peintres savent utiliser certaines notions de perspective, mais ces connaissances prsentent un aspect essentiellement pragmatique, bien loin des proccupations des mathmaticiens. Il faut attendre les travaux du Franais Grard Desargues au XVIIe sicle pour que se dveloppe une approche beaucoup plus formelle et thorique de la perspective. Grce la notion de projection centrale, fondamentale en perspective, Desargues peut appliquer les proprits du cercle aux figures projetes enrichissant ainsi la thorie des coniques labore par Apollonios de Perga. Par ailleurs, il complte lespace euclidien en dfinissant le comportement des points linfini, utilisant la proprit bien connue en perspective que des droites parallles deviennent concourantes linfini. Peu apprcis du vivant de lauteur, ses travaux seront redcouverts au XIXe sicle, inspirant des mathmaticiens comme Michel Chasles et Jean Victor Poncelet. Ce dernier peut tre considr comme le fondateur de la gomtrie projective.

7 GOMTRIE NON-EUCLIDIENNE
La gomtrie connat aussi un autre tournant radical au XIXe sicle, avec les prmices de la gomtrie non-euclidienne, dvelopps indpendamment par les mathmaticiens Carl Friedrich Gauss, Nikola Lobatchevski et Jnos Bolyai. Ces mathmaticiens laborent diffrents modles despaces dans lesquels le postulat dEuclide relatif aux droites parallles nest plus vrifi, mais remplac par dautres postulats non intuitifs, et cependant cohrents.

8 NOTION DHYPERESPACE
la mme poque, le mathmaticien britannique Arthur Cayley dveloppe la gomtrie dans un espace plus de trois dimensions, appel hyperespace. Considrons par exemple un espace quatre dimensions, construit de la manire suivante. Choisissons tout dabord une droite, qui reprsente un espace une dimension. On construit ensuite un plan, espace deux dimensions, en remplaant chaque point de la droite par une droite qui lui est perpendiculaire. De la mme faon, on peut former un espace trois dimensions en traant une droite perpendiculaire au plan. Enfin, si lon remplace chaque point de lespace tridimensionnel par une droite perpendiculaire cet espace, on construit un espace quatre 20

dimensions (voir Espace, gomtrie dans l). Bien que ce type despace soit physiquement impossible et mentalement inimaginable, son concept demeure nanmoins sens. La notion dhyperespace a trouv de nombreuses applications en physique, en particulier dans le domaine de la relativit.

9 GOMTRIE STRUCTURELLE
On peut galement utiliser les mthodes analytiques pour tudier les figures gomtriques quatre dimensions ou plus, ou pour les comparer avec des figures similaires de moins de quatre dimensions. Une telle gomtrie est appele gomtrie structurelle. Voici un exemple simple de cette approche particulire de la gomtrie : la dfinition de la figure gomtrique la plus simple pouvant tre trace dans des espaces zro, une, deux, trois, quatre dimensions ou plus. Dans les quatre premiers espaces, ces figures sont respectivement le point, le segment, le triangle et le ttradre. Dans un espace quatre dimensions, on montre laide de la gomtrie structurelle que la figure la plus simple comporte 5 sommets, 10 artes, 10 faces triangulaires et 5 ttradres. Un ttradre analys de la mme faon se compose de 4 sommets, 6 artes et 4 faces triangulaires (voir figure 4).

10 GOMTRIE FRACTALE
Un autre concept fait son apparition au XIXe sicle : celui dobjet fractal, dont ltude aboutit la gomtrie fractale, dveloppe en 1975 par le Franais Benot Mandelbrot. Cette gomtrie est la premire concevoir des figures dont la dimension ne soit pas un entier, mais un nombre fractionnaire. Voir aussi Plane, gomtrie. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

21

GOMTRIE DANS L'ESPACE

1 PRSENTATION
La gomtrie dans l'espace est une branche de la gomtrie qui tudie les proprits et les mesures des figures gomtriques trois dimensions, comme le cne, le cube, le cylindre, la pyramide, la sphre ou le prisme. La gomtrie dans lespace dveloppe et tend les propositions de la gomtrie plane.

2 NOTION DESPACE MATHMATIQUE

2.1 Historique En mathmatiques, la notion despace a volu au fil des sicles. Pendant longtemps, lespace gomtrique ou descriptif a t considr comme lquivalent mathmatique de lespace physique dans lequel nous nous mouvons. Ainsi, tout comme la droite ou le plan, un espace est en fait assimil un ensemble de points. Sil est muni dun repre cartsien, il est alors possible de dfinir un point laide de ses trois coordonnes, correspondant aux trois dimensions de lespace. Le postulat dEuclide, qui dtermine la condition du paralllisme de deux droites dans le plan par un point situ en dehors dune droite ne passe quune droite et une seule parallle la premire , tait jusque-l suffisant pour dmontrer nimporte quel thorme dans lespace. Mais, au XIXe sicle sont apparus les premiers dveloppements de gomtries non-euclidiennes, dans lesquelles le postulat dEuclide est ni et remplac par dautres postulats tout aussi cohrents. Ce nouveau concept a boulevers totalement la notion despace mathmatique, et abouti la notion dhyperespace ou espace plus de trois dimensions. Paralllement, lavnement de la notion de vecteur et celui de la gomtrie projective, fonde par le Franais Jean Victor Poncelet, permirent denvisager un nouveau mode de description des espaces, laide de transformations. En effet, les translations et les rotations subies par des formes gomtriques quelconques permettent dtablir des systmes de correspondance gomtrique, outils de choix pour la description dun espace.

22

2.2 Types despaces

Aujourdhui, les mathmaticiens classent les espaces en plusieurs catgories, selon lusage quils en font et les proprits quils privilgient : espace mtrique, espace affine ou encore espace vectoriel. Par exemple, on peut manipuler les coordonnes dun point A dans un espace mtrique ou affine, ou bien utiliser les coordonnes du vecteur A dun espace vectoriel (O tant lorigine du repre). Voir Linaire, algbre ; Vecteur.

3 APPLICATIONS
3.1 Extension des proprits du plan Le postulat de base de la gomtrie dans lespace est que tout thorme valable dans le plan est gnralisable tout plan contenu dans lespace. Par exemple, la dfinition du paralllisme dans lespace snonce comme suit : dune part, toute droite parallle une droite dun plan est parallle ce plan, et, dautre part, deux plans sont parallles ds lors que lun deux est parallle deux droites scantes de lautre. Des thormes similaires permettent de dfinir lorthogonalit dans lespace. De mme, on peut galement dfinir un systme de coordonnes dans lespace, qui permettent de construire des figures gomtriques laide dquations, linstar de la gomtrie analytique du plan. 3.2 Utilisations pratiques La gomtrie dans lespace constitue la base indispensable pour le dveloppement de nombreuses branches des mathmatiques. Ainsi, la trigonomtrie sphrique, qui peut tre considre comme une extension de la trigonomtrie dans le plan, utilise tout particulirement les proprits de la gomtrie dans lespace. Cette branche de la trigonomtrie, employe notamment en navigation et en astronomie, permet deffectuer des mesures, des reprages et des projections sur une sphre, appeles projections strographiques. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

23

GOMTRIE ANALYTIQUE
1 PRSENTATION
La gomtrie analytique est une branche de la gomtrie dans laquelle on reprsente les courbes et les figures gomtriques par des relations entre les coordonnes de leurs points.

2 COORDONNES CARTSIENNES
La position dun point du plan peut tre dtermine (on dit aussi repre) par rapport deux droites perpendiculaires orientes, appeles axes, au moyen des distances algbriques de ce point chacun de ces axes. Sur la figure 1, le point A est situ 1 unit de laxe vertical, ou axe des y, et 4 units de laxe horizontal, ou axe des x. Les coordonnes du point A sont donc 1 et 4, ce que lon note comme suit : A (1 ; 4). Cela signifie que, dans le repre (xOy), O tant le point dintersection des deux axes, ou origine du repre, le point A a 1 comme abscisse (x) et 4 comme ordonne (y). Les valeurs positives de x correspondent aux points situs droite de laxe des y, et les valeurs ngatives correspondent aux points placs gauche. De mme, les valeurs positives de y correspondent aux points situs au-dessus de laxe des x et les valeurs ngatives de y correspondent aux points placs en dessous. Ainsi, le point B de la figure 1 a pour coordonnes : x = 5, y = 0. De la mme faon, on peut dterminer la position de points dans lespace par rapport trois droites concourantes perpendiculaires et orientes (les axes), les deux premiers axes tant ceux du plan et le troisime axe, vertical, tant gnralement appel axe des z.

24

3 QUATIONS CARTSIENNES
Lquation cartsienne dune droite est de la forme ax + by + c = 0, a, b et c tant des rels. On peut galement dterminer les quations des cercles, ellipses et autres coniques, ainsi que celles de certaines autres courbes. Les problmes classiques tudis en gomtrie analytique sont de deux sortes. tant donn une description gomtrique dun ensemble de points, on peut chercher dterminer lquation satisfaite par ces points. Dans les exemples ci-dessus, lensemble des points de la droite passant par les points A et B, ou droite (AB), vrifient lquation linaire x + y = 5. Il sagit dune droite oblique, cest--dire coupant les deux axes. Son quation peut donc se mettre sous la forme : ax + by = c. Le second type de problme consiste dcrire le lieu gomtrique des points qui satisfont une relation donne. Par exemple, lensemble des points qui satisfont lquation x2 + y2 = 9 est un cercle de rayon 3, dont le centre est lorigine du repre. partir dquations de ce type, il est possible de rsoudre algbriquement des problmes de gomtrie, tels que la construction du milieu dun segment ou de la bissectrice dun angle, la construction de la perpendiculaire une droite donne passant par un point donn, ou encore le trac dun cercle passant par trois points donns non aligns. La gomtrie analytique a jou un rle important dans le dveloppement des mathmatiques, car elle a permis dunifier les concepts de lanalyse (relations numriques) et de la gomtrie (relations spatiales). Ltude des gomtries non-euclidiennes et des gomtries dans les espaces plus de trois dimensions naurait pas t concevable sans une approche analytique. De mme, les techniques de la gomtrie analytique, en rendant possible la reprsentation graphique de nombres et dexpressions algbriques, ont apport une meilleure comprhension du calcul infinitsimal, de la thorie des fonctions et dautres problmes mathmatiques plus complexes. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

25

TOPOLOGIE
1 PRSENTATION
Topologie, tude des proprits mathmatiques invariantes par dformation gomtrique ou par transformation continue des objets. Lorsqu'un espace est courb, tordu, tir, ou plus gnralement dform, certaines proprits demeurent inchanges : c'est ces dernires que s'intresse la topologie. Par exemple, lorsque l'on dforme une feuille de papier sur laquelle on avait trac un cercle, celui-ci se dforme galement. Toutefois, si on ne dchire pas cette feuille, et si on ne fait pas concider deux points distincts (en pliant la feuille par exemple), on peut toujours dfinir l'intrieur et l'extrieur du cercle, concepts qui demeurent donc invariants par dformation. La gomtrie s'intresse des notions comme la position absolue d'un point, la distance ou le paralllisme, qui changent avec la forme de l'espace considr. l'oppos, la topologie tudie des notions telles que les positions relatives des objets, ou leurs formes gnrales. Elle repose sur les notions fondamentales de continuit et de limite ( voir fonctions ; infinitsimal, calcul).

2 ORIGINES
On considre souvent que l'Analysis situs, ouvrage rdig par Leibniz en 1679, marqua les dbuts de la topologie. Mais le vritable fondateur de cette branche des mathmatiques demeure Henri Poincar, qui en inventa les outils entre 1894 et 1904.

3 NOTIONS
3.1 Homomorphisme On dit que deux figures gomtriques A et B sont homomorphes s'il existe une correspondance continue qui associe tout point de A un point et un seul de B, et si l'inverse de cette correspondance associe, de manire continue, tout point de B un point et un seul de A. Une telle correspondance est appele homomorphisme. On peut galement dfinir un homomorphisme comme tant une application bijective et continue, dont l'inverse l'est aussi. Bien que relativement simple, cette notion est fondamentale en topologie moderne. 3.2 Thorie des nuds

26

La thorie des nuds est connue comme l'une des thories les plus simples en apparence de la topologie actuelle, et pourtant elle suscite encore beaucoup d'interrogations sans rponse. Un nud est une corde dont on a reli les deux extrmits, quelle que soit sa forme dans un espace trois dimensions. Une corde emmle ou noue, recolle par les deux bouts, constitue donc un nud. On dmontre que tout nud est homomorphe un cercle. Deux nuds sont dits quivalents si on peut obtenir l'un des nuds partir de l'autre par une dformation continue. Dans le cas contraire, on dit qu'ils sont distincts. Ainsi, tout nud plan est quivalent au cercle, puisque pour superposer l'un l'autre, il suffit de dformer le nud, ventuellement en le rtrcissant ou en l'agrandissant, tout en gardant ses extrmits jointes. En revanche, il est facile d'imaginer un nud dans l'espace qui soit toujours distinct du cercle, quelle que soit la dformation impose (excepte la coupure). 3.3 Thorie des surfaces La thorie des surfaces constitue une autre thorie majeure de la topologie. Une surface est dfinie par le fait que chacun de ses points possde un voisinage homomorphe au disque ferm. Cette thorie permet l'tude formelle de surfaces lmentaires et de leurs dformations, comme la sphre ou le cylindre, mais aussi d'objets plus particuliers comme le fameux ruban de Mbius. Ce dernier est une surface qu'il est impossible d'orienter. En effet, si on trace une courbe ferme le long du ruban, et si on la parcourt en partant d'un point A, on ne revient pas en A du mme ct de la surface. Autre phnomne surprenant : si on dcoupe le ruban de Mbius en deux le long d'une ligne trace au milieu de sa largeur, on obtient un seul ruban. En revanche, si la ligne est au tiers de la largeur, on obtient deux rubans enlacs.

4 EXEMPLES
4.1 Ponts de Knigsberg Le problme des ponts de Knigsberg illustre clairement les questions abordes par la topologie ses dbuts. Il s'nonce ainsi : en considrant la figure 1, est-il possible de revenir son point de dpart, en passant une fois et une seule sur chacun des sept ponts enjambant la rivire ? Euler dmontra que cette question quivaut poser le problme suivant : est-il possible de tracer le graphe de la figure 2, sans lever le crayon de la feuille et sans passer deux fois sur le mme ct ? Prouvant que c'est impossible, Euler dmontra mme un rsultat plus gnral, en introduisant la notion de sommet impair comme tant l'extrmit d'un nombre impair d'artes : tout graphe linaire ferm peut tre dessin d'un trait continu sans emprunter deux fois la mme arte si, et seulement si, le graphe ne possde aucun sommet impair ou seulement deux sommets

27

impairs. Ainsi, le graphe de la figure 2 comportant quatre sommets impairs, il ne peut donc pas tre dessin d'un trait continu sans passer deux fois par la mme arte. En revanche, le graphe de la figure 3 possdant seulement deux sommets impairs (les sommets A et B), il est par consquent possible de le tracer sans lever le crayon et sans repasser par la mme arte.

4.2

Problme des couleurs

La topologie est un domaine actif des mathmatiques modernes. Ainsi, un clbre problme pos au milieu du XIXe sicle a t rsolu dans les annes 1970. Il s'agissait de dterminer le nombre de couleurs ncessaires pour colorer une carte gographique ordinaire, de sorte que deux rgions limitrophes ne soient jamais de la mme couleur. En 1976, les Amricains Kenneth Appel et Wolfgang Haken dmontrrent, l'aide d'un ordinateur, que quatre couleurs suffisaient quels que soient la taille de la carte et le nombre de rgions reprsentes. Ce rsultat provoqua quelques remous parmi les mathmaticiens de l'poque : certains considrrent en effet la dmonstration non valable, car obtenue au

28

moyen d'une machine et non partir d'un raisonnement logique. Voir dmonstration mathmatique.

THORME DE PYTHAGORE
Le thorme de Pythagore est un thorme de gomtrie plane selon lequel, dans un triangle rectangle, le carr de la longueur de lhypotnuse est gal la somme des carrs des longueurs des deux autres cts. En dautres termes, si le triangle ABC est rectangle en A, alors BC2 = AB2 + AC2. Ce thorme tire son nom du mathmaticien et philosophe grec Pythagore, qui laurait dmontr au Ve sicle av. J.-C. Mais cette formule tait dj connue des Babyloniens. Il en existe de trs nombreuses dmonstrations. Nous en donnons ci-dessous une simple, faisant appel des dcompositions ou dcoupages. Considrons un triangle rectangle dhypotnuse C et de cts adjacents A et B. La figure 1 indique quun carr de ct A + B peut tre dcompos en quatre triangles rectangles, un carr de ct A, et un carr de ct B. Daprs la figure 2, un carr de ct A + B peut galement correspondre quatre triangles rectangles plus un carr de ct C. Comme les deux carrs de ct A + B ont la mme aire, les figures obtenues aprs avoir enlev les quatre triangles doivent donc avoir aussi la mme aire. Laire totale des carrs de la figure 1 est gale A2 + B2, celle du carr de la figure 2 est C2. Par consquent, A2 + B2 = C2. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

29

AXIOME
Axiome, en logique et en mathmatiques, principe de base qui est suppos tre vrai et ne ncessite donc aucune dmonstration. Lutilisation daxiomes en mathmatiques remonte aux Grecs de lAntiquit, vraisemblablement au Ve sicle av. J.-C., et marque le dbut des mathmatiques pures telles que nous les connaissons aujourdhui. Voici quelques exemples daxiomes : Aucune proposition ne peut tre vraie et fausse en mme temps (principe de contradiction) ; Le tout est plus grand que chacune de ses parties. La logique et les mathmatiques pures commencent par de telles hypothses non prouves dont sont drives dautres propositions (thormes). Ce procd est ncessaire si lon veut viter la circularit ou la rgression linfini du raisonnement. Les axiomes de tout systme doivent tre cohrents entre eux ; en dautres termes, ils ne doivent pas entraner de contradictions. Dautre part, ils doivent tre indpendants, au sens o ils ne peuvent tre dduits les uns des autres ; enfin, il ne doit y en avoir quun petit nombre. Les axiomes ont lorigine t interprts comme des vrits videntes. La tendance actuelle est dviter une telle interprtation et daffirmer simplement quun axiome est suppos vrai sans preuve dans le systme dont il fait partie. Les termes axiome et postulat sont souvent employs comme des synonymes. Quelquefois, le terme axiome est employ par rfrence aux principes de base que prsuppose tout systme dductif, et le terme postulat se rfre aux principes premiers propres un systme particulier, tel que la gomtrie euclidienne. Plus rarement, le terme axiome dsigne les principes premiers en logique, et le terme postulat se rapporte aux principes premiers en mathmatiques. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

30

DMONSTRATION MATHMATIQUE
1 PRSENTATION
Dmonstration mathmatique, argumentation prouvant quune assertion mathmatique est vraie. Situe au cur du travail des scientifiques et objet des rflexions de lpistmologie, une dmonstration est universelle en ce sens quelle doit tre reproductible par quiconque matrise le langage scientifique appropri. Les mthodes permettant de conduire correctement une dmonstration sont trs varies, elles ont t parfois discutes et peuvent mme voluer.

2 FONDEMENTS EUCLIDIENS
La stratgie couramment employe, au moins pour des dmonstrations lmentaires, a t expose par le mathmaticien grec Euclide dans les lments, ouvrage dans lequel il nonce les tapes fondamentales constituant la plupart des raisonnements mathmatiques. On commence tout dabord par identifier les hypothses de dpart, partir desquelles on raisonne ensuite de manire logique, grce notamment au calcul propositionnel (voir logique mathmatique). Une progression rigoureuse permet alors de transformer ces hypothses pour aboutir la conclusion dsire. Dans ses dmonstrations, Euclide utilise des thormes, rsultats qui ont dj t montrs, et des axiomes, vrits non dmontrables qui simposent comme videntes.

3 TYPES DE DMONSTRATIONS
Il existe plusieurs raisonnements mathmatiques lmentaires, les plus courants tant les dmonstrations par rcurrence, par la contrapose ou par labsurde.

3.1 Dmonstration par rcurrence

Le raisonnement par rcurrence est gnralement employ lorsque lon dsire montrer quune proposition est vraie pour tout entier naturel n (voir nombres). Il utilise le principe selon lequel une proposition vrifie pour tout entier n + 1 ds quelle lest pour n est vraie pour tout entier n ds quelle lest pour 0. En effet, en montrant que la proposition est vraie

31

pour 0, on en dduit en cascade que le rsultat est vrai pour 1 et donc pour 2 et donc pour 3 et ainsi de suite pour tous les entiers naturels. Considrons par exemple une suite arithmtique (un), de premier terme u0 et de raison r. Appele encore progression arithmtique, cette suite est donc dfinie par un+1 = un + r pour tout n. Dmontrons par rcurrence que la relation un = u0 + nr est vraie pour tout entier n. On vrifie tout dabord que cette relation est valable pour n = 0 : u0 = u0 + 0.r. Supposons alors que pour un entier quelconque n, un = u0 + nr. Comme par dfinition, un+1 = un + r, on peut crire un+1 = un + r = u0 + nr + r = u0 + (n + 1)r. Donc la relation est vraie pour n + 1. Par rcurrence, le rsultat est donc vrai pour tout entier naturel n.

3.2 Dmonstration par la contrapose

Lobjectif dune dmonstration consiste souvent montrer que si une proposition P est vraie, alors la proposition Q lest galement (on crit P Q, P implique Q). Parfois, il est difficile de montrer directement que P Q (voir logique mathmatique). La dmonstration par la contrapose revient montrer que (non Q) (non P), ce qui, selon les rgles du calcul propositionnel, est strictement quivalent P Q. 3.3 Dmonstration par labsurde La dmonstration par labsurde est souvent confondue avec la dmonstration par contrapose car toutes deux se ressemblent lorsquon les met concrtement en uvre. Pourtant, leurs fondements logiques sont trs diffrents. La dmonstration par labsurde consiste montrer que si les propositions P et non Q sont toutes les deux vraies, alors on aboutit un rsultat absurde. Par consquent, si P est vraie, alors Q est forcment vraie. Par exemple, dmontrons que la suite (un) dfinie par la suite des nombres premiers nest pas une suite arithmtique. Supposons donc que la suite des nombres premiers soit arithmtique. Par consquent, un+1 = un + r pour tout n, o r est la raison de la suite. On peut alors crire que r = u2 - u1 = 2 - 1 = 1, si bien que u4 = u3 + r = 3 + 1 = 4. Or 4 nest pas un nombre premier, ce qui prouve que lhypothse de dpart tait fausse. La dmonstration par labsurde prouve donc que si ( un) est la suite des nombres premiers, alors (un) nest pas une suite arithmtique.

32

4 DMONSTRATIONS COMPLEXES
Naturellement, toutes les dmonstrations mathmatiques ne se rsument pas lapplication dune des mthodes lmentaires voques ci-dessus. Lhistoire des sciences, et particulirement celle des mathmatiques, apporte en effet de nombreux exemples de dmonstrations complexes. Celles-ci combinent thormes, axiomes, et mthodes classiques ou novatrices. Ainsi, le thorme de Fermat ne fut dmontr que plusieurs sicles aprs avoir t nonc : jusque-l, il tait considr comme vrai car on navait jamais trouv de contre-exemple. De la mme manire, de nombreuses civilisations anciennes acceptaient le thorme de Pythagore, car il concordait avec leurs observations en situation pratique. Cependant, les Grecs prirent rapidement conscience que lobservation et lopinion publique ne garantissaient pas la vrit mathmatique. Une question centrale de lpistmologie est ainsi de savoir si un trs grand nombre dobservations, ralises dans des contextes varis et jamais contredites, savre suffisant pour affirmer quun rsultat est vrai. Si tel est le cas, lordinateur avec sa puissance de traitement dun nombre gigantesque de cas, de situations simules, etc. constitue un outil prcieux. Par exemple, il a servi dmontrer en 1976 le thorme stipulant que quatre couleurs suffisent pour colorier une carte dont deux rgions quelconques ont des couleurs diffrentes. En ayant recours lordinateur pour dnombrer et vrifier tous les cas, cette dmonstration, qui ne faisait pas appel un pur raisonnement logique et dductif, souleva une vive controverse dans la communaut mathmatique. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

33

LOGIQUE MATHMATIQUE
1 PRSENTATION
Logique mathmatique, science qui tudie les raisonnements, les concepts et les valeurs de vrit des propositions. Cette science, qui est la base de la formalisation des diffrents domaines mathmatiques, ne sintresse pas au contenu des objets tudis mais leur structure formelle. On sait maintenant que certains problmes mathmatiques ne peuvent tre rsolus par de simples mthodes de calcul. La logique mathmatique savre alors indispensable.

2 DIVERSIT DES THORIES

Bien que la logique au sens large ait t thorise ds lAntiquit, notamment par Aristote, cest au XIXe sicle, grce aux travaux de George Boole, quapparaissent les premiers lments significatifs de la logique mathmatique, qui constituent les fondements du calcul propositionnel. Ayant tudi ce dernier, Frege prsente en 1879 la thorie des quantificateurs, notations symboliques utilises en logique mathmatique. Au XXe sicle, la logique mathmatique a t amplement explore et complte par la thorie des ensembles, celle de la dmonstration, celle des modles (qui gnralise le calcul des prdicats), ou encore par lintuitionnisme. Cette varit des thories montre que la logique mathmatique est, encore aujourdhui, loin dtre une science parfaitement arrte.

3 FORMALISATION
On formalise un domaine mathmatique en dfinissant un cadre, des objets spcifiques, une srie de symboles, une liste daxiomes, et un ensemble de rgles permettant de construire des formules et des raisonnements dductifs. Ainsi, dans le cas de larithmtique, le cadre est lensemble des entiers, ces derniers tant les objets tudis. Parmi les symboles utiliss, on emploie les symboles + et . Un des axiomes rgissant lensemble des entiers snonce ainsi : pour tout entier x, x + 0 = x.

34

4 CALCUL PROPOSITIONNEL
On associe au calcul propositionnel un systme formel constitu de variables appeles propositions, et de deux connecteurs et non . Le symbole signifie si..., alors..., tandis que non est la ngation dune proposition. laide de ces symboles, on peut crire les trois formules lmentaires : P, non P, et P Q, o P et Q sont deux propositions. Considrons, par exemple, que la proposition P correspond laffirmation il fait jour . Alors non P est gal la proposition il fait nuit . Appelons Q la proposition il fait nuit . Sil fait jour, alors il ne fait pas nuit se traduit donc par P non Q. On appelle formule une combinaison de ces trois formules lmentaires. Le systme formel du calcul propositionnel est galement constitu dune suite daxiomes, qui permettent de dire si une formule est un thorme, cest--dire une combinaison plus ou moins complexe daxiomes. Un thorme est donc par dfinition toujours vrai. On introduit aussi dans le calcul propositionnel des connecteurs comme et et ou. Le calcul propositionnel constitue aujourdhui dveloppement de linformatique thorique. Voir aussi Boole, algbre de ; Logique. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs. lune des bases du

35

QUATIONS
quations, galit entre deux expressions mathmatiques dont on cherche si elle est vrifie pour certaine(s) valeurs(s) de la variable appele inconnue. Une quation peut comporter une ou plusieurs inconnues. Le plus souvent, on dsigne ces inconnues par des lettres, comme dans les quations : x2 + x - 4 = 8 ; y = sin x + x, ou 3y = log x. Suivant le nombre dinconnues quelle contient, lquation est une, deux, trois inconnues. On dit quune quation est vrifie, ou satisfaite, pour certaines valeurs des inconnues si, lorsque les inconnues sont remplaces par ces valeurs, les expressions situes de part et dautre du signe gal sont quivalentes. Par exemple, lquation 2x + 5 = 13 est vrifie pour x = 4. Si lquation nest pas vrifie pour une ou plusieurs valeurs de linconnue, celle-ci est appele quation conditionnelle. Lquation deux inconnues 3x + 4y = 8 est une quation conditionnelle puisquelle nest pas vrifie pour x = 1 et y = 3. On dit quune quation est une identit si elle est vrifie par toutes les valeurs possibles des inconnues. Par exemple, les quations : (x + y)2 =x2 + 2xy + y2 et sin2 x + cos2 x = 1 sont des identits, car elles sont vraies quelles que soient les valeurs des inconnues. La solution dune quation conditionnelle est une valeur de la variable, ou un ensemble de valeurs de variables, qui vrifie lquation ; ainsi, 3 est une solution de lquation x2 - 2x = 3 ; x = 2, y = 4 est une solution de lquation 3x2 + 4y = 28. La solution dune quation une inconnue est communment appele racine de lquation. Une quation polynomiale a la forme suivante :

a0 + a1x1 + a2x2 + + anxn = 0 les coefficients a0, a1, , an tant des constantes relles et n un entier positif. Le plus grand exposant n est le degr de lquation. On appelle respectivement quations linaires, quadratiques, et cubiques, les quations du premier, second, et troisime degr ( voir quadratiques, quations). Comme autres catgories importantes dquations, citons les quations algbriques, comme : + = 7 ; les quations trigonomtriques, comme sin x + cos 2x = y ; les quations faisant intervenir des

36

logarithmes, comme ln x + 2 ln (x + 1) = 8 ; comme 3x + 2x - 5 = 0.

ou

des

exponentielles,

Les quations diophantiennes sont des quations une ou plusieurs inconnues, coefficients entiers, pour lesquelles on cherche des solutions en nombres entiers. En analyse, les quations diffrentielles et intgrales font intervenir des drives et des intgrales. Un systme dquations est un ensemble dquations une ou plusieurs inconnues. La solution dun tel systme est lensemble des valeurs qui satisfont simultanment toutes les quations du systme. Voir aussi quations, systme d ; quations, thorie des. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

37

TRIGONOMTRIE
1 PRSENTATION
Trigonomtrie, branche des mathmatiques qui traite des relations entre les cts et les angles des triangles, et des proprits des fonctions trigonomtriques. On distingue la trigonomtrie plane, qui tudie les triangles du plan, et la trigonomtrie sphrique, qui sintresse aux triangles situs sur la surface dune sphre (triangles sphriques). Autrefois, la trigonomtrie tait essentiellement utilise en navigation, en topographie et en astronomie, o elle servait notamment calculer des distances non directement mesurables, telles que la largeur dun grand lac ou la distance entre la Terre et la Lune. Aujourdhui, on lemploie dans tous les domaines de la physique, en particulier dans ltude des phnomnes priodiques tels que les vibrations du son ou les courants alternatifs. Les fonctions trigonomtriques jouent aussi un grand rle en analyse mathmatique.

2 HISTORIQUE
Cest en gypte et en Msopotamie que nat la trigonomtrie plus de deux mille ans avant notre re. Elle y est, en effet, utilise par les astronomes et les ingnieurs, notamment dans la construction des pyramides gyptiennes. Elle se dveloppe ensuite chez les Grecs au IIe sicle av. J.C., linitiative dHipparque dAlexandrie qui calcule pour un angle donn la longueur de la corde sous-tendue. Trois cents ans plus tard, Ptolme publie dans son manuel astronomique lAlmageste la premire table trigonomtrique de lhistoire, pour des angles compris entre 0 et 180, par intervalle de 0,75. Paralllement aux travaux de Ptolme, les Indiens laborent un autre systme trigonomtrique qui introduit un paramtre se rapprochant du sinus actuel. Sinspirant des trigonomtries grecque et indienne, les mathmaticiens arabes dfinissent les six lignes trigonomtriques la fin du Xe sicle. Ces rsultats, qui sont retranscrits par lastronome Nasir al-Din al-Tusi dans son Trait du quadrilatre complet, ne seront connus des Europens quau XVe sicle, grce lastronome et mathmaticien allemand Regiomontanus. Un sicle plus tard, lastronome allemand Rheticus dfinit le sinus sous sa forme actuelle et le mathmaticien franais Vite introduit les coordonnes polaires en trigonomtrie sphrique. Au XVIIIe sicle, Euler tablit les relations entre exponentielles complexes et fonctions trigonomtriques, ces dernires pouvant tre, ds lors, considres

38

comme des cas particuliers dexponentielles ( voir Complexes, nombres ; Exponentielle).

3 TRIGONOMTRIE PLANE
3.1 Dfinition dun angle En trigonomtrie, un angle reprsente une grandeur algbrique. Pour dfinir le signe dun angle, considrons un angle orient ayant pour cts les segments [OA] et [OB] de la figure 1. Langle peut tre engendr par la rotation autour de O dun segment mobile [OX] partant de la position [OA] pour finir dans la position [OB]. La mesure de langle est positive si la rotation du segment [OX] se fait dans le sens contraire celui de la rotation des aiguilles dune montre. Ce sens est appel sens positif ou sens direct. Si la rotation seffectue dans le sens des aiguilles dune montre, nomm aussi sens rtrograde, langle est alors ngatif (voir figure 2).

Un angle se mesure gnralement en degrs (symbole ) ou en radians (symbole rad). Lorsque lunit nest pas prcise, langle est exprim en radians. Par exemple, un angle plat a a pour mesure 180 ou p rad. Pour simplifier, on crit a = p. 3.2 Fonctions trigonomtriques Les fonctions trigonomtriques sont des fonctions qui dpendent de lamplitude dun angle. Considrons dans un plan muni dun systme de coordonnes cartsiennes un point P de coordonnes x et y, diffrent de lorigine O du repre. Dfinissons langle mesur dans le sens direct comme tant langle compris entre la demi-droite des abscisses positives et la demi-droite [OP). Soit r la distance entre le point P et lorigine O. Daprs le thorme de Pythagore, cette distance r est gale

39

Les quatre fonctions trigonomtriques usuelles associes langle sont :

On montre facilement que ces quatre fonctions trigonomtriques dpendent que de langle et non directement du choix du point P.

ne

On peut remarquer que ces fonctions trigonomtriques sont priodiques, cest--dire quelles reprennent les mmes valeurs intervalles rguliers appels priodes. Les fonctions cosinus et sinus sont priodiques de priodes 2p, cest--dire que, pour tout entier relatif k (voir Nombres), cos ( + 2kp) = cos et sin ( + 2kp) = sin . Quant aux fonctions tangente et cotangente, elles sont priodiques de priode p. Il faut noter galement que la fonction tangente nest pas dfinie pour x = 0, ni la fonction cotangente pour y = 0. En dautres termes, la tangente nest pas dfinie pour un angle de la forme p/2 + kp, ni la cotangente pour un angle de la forme kp, avec k entier relatif. En revanche, tout angle a un sinus et un cosinus car la distance r ne peut jamais tre nulle. Comme r est suprieur ou gal x et y, sin et cos sont des rels compris entre - 1 et + 1, contrairement tan et cotan qui peuvent prendre toutes les valeurs relles. On peut dterminer facilement les valeurs numriques des fonctions trigonomtriques de certains angles par des considrations gomtriques. Le tableau ci-dessous rcapitule les valeurs du cosinus, du sinus et de la tangente de certains angles remarquables.

40

3.3 Identits trigonomtriques Les formules suivantes, appeles identits, donnent les relations existant entre les diffrentes fonctions trigonomtriques. Elles sont valables pour tout angle, dans la mesure o les fonctions employes sont dfinies.

De nombreuses autres identits trigonomtriques sont issues des identits fondamentales ci-dessus. 3.4 Fonctions rciproques Laffirmation y est le sinus de quivaut dire que est un angle dont le sinus est y . Cette dernire proposition peut se traduire laide du symbole arcsin : = arcsin y = sin-1 y. On dfinit de la mme faon arccos y, arctan y, arccotan y. Ces symboles ne reprsentent pas des fonctions, car une valeur donne de y correspond une infinit de valeurs de . Par exemple, si = arcsin 1/2, peut tre gal 30, 150, 30 + 360 = 390, etc. Cest pourquoi on dfinit plus prcisment la fonction rciproque Arcsin (avec une majuscule) comme la valeur unique darcsin comprise dans lintervalle [-p/2 ; p/2]. On dfinit de mme les

41

fonctions Arccos sur [0 ; p], Arctan sur ]-p/2 ; p/2[ et Arccotan sur ] 0 ; p[. 3.5 Relations dans un triangle 3.5.1 Triangle rectangle Si est lun des angles aigus dun triangle rectangle, les dfinitions des fonctions trigonomtriques donnes prcdemment peuvent sappliquer langle . En effet, si le sommet A se confond avec lorigine O du repre (xOy), si [AC] est situ sur la partie positive de laxe des x, et si B est assimil au point P introduit plus haut tel que AB = AP = r, on peut donc crire sin = y/r = a/c, et ainsi de suite. On aboutit alors aux relations ci-dessous :

3.5.2

Triangle quelconque

Grce la trigonomtrie, il est possible dtablir des relations entre les cts et les angles dun triangle, mme non rectangle. Soient donc A, B, C, les trois angles dun triangle quelconque et a, b, c, les cts respectivement opposs ces angles. On montre que :

Dans la formule faisant intervenir le cosinus, on peut effectuer une permutation circulaire des lettres a, b, c, et A, B, C.

42

Ces trois relations peuvent tre utilises pour dterminer les six lments dun triangle quelconque. En effet, on peut dterminer la longueur des cts ou la mesure des angles inconnus lorsque lon connat un ct et deux angles, ou deux cts et langle form par ces cts, ou deux cts et un angle oppos lun deux (on trouve en gnral deux triangles dans ce cas), ou bien les trois cts.

4 TRIGONOMTRIE SPHRIQUE
La trigonomtrie sphrique, principalement utilise en navigation et en astronomie, tudie les angles des triangles sphriques, triangles forms par des arcs de grands cercles dune sphre. Comme le triangle plan, le triangle sphrique possde six lments caractristiques : trois cts courbes a, b, c, et trois angles associs A, B, C. Les valeurs a, b, et c reprsentent dans ce cas des longueurs darcs et non de segments. Langle A, oppos au ct a, correspond langle qui a pour sommet le centre de la sphre et qui sous-tend le ct a. On dfinit de mme les angles B et C. Pour dterminer les lments caractristiques dun triangle sphrique, il suffit de connatre trois de ces lments. Il existe un certain nombre de formules reliant tous ces paramtres entre eux, qui demeurent encore trs employes en navigation et en astronomie de position. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

43

ALGBRE
1 PRSENTATION
Algbre, branche des mathmatiques qui tudie la rsolution dquations laide de symboles (algbre classique) et les structures mathmatiques telles que les groupes, anneaux et corps (algbre moderne). Lalgbre linaire, qui sintresse la structure despace vectoriel et aux notions associes, constitue une extension de lalgbre moderne. Lalgbre classique permet dexprimer des relations mathmatiques de faon gnrale. Considrons, par exemple, le thorme de Pythagore, qui stipule que, dans tout triangle rectangle, le carr de la longueur de lhypotnuse (le plus long ct du triangle) est gal la somme des carrs des longueurs des deux autres cts. Lalgbre permet dcrire une formule gnrale qui exprime les conditions de ce thorme : a2 + b2 = c2, alors que larithmtique fournit seulement des exemples particuliers de cette formule (par exemple, 32 + 42 = 52). Lalgbre classique permet ainsi de rsoudre des quations au moyen de symboles alphanumriques et de signes dopration en tablissant les rgles de manipulation de ces symboles. Lalgbre moderne peut tre considre comme un prolongement de lalgbre classique, sattachant plus particulirement aux structures mathmatiques que sous-tend la thorie des ensembles. Cet outil permet de caractriser et de comparer des classes dobjets apparents et relis par des lois. Ainsi, sous sa forme la plus gnrale, lalgbre peut tre assimile au langage des mathmatiques.

2 HISTORIQUE
2.1 Origines de lalgbre Lhistoire de lalgbre commence en Msopotamie et en gypte, plus de trois mille ans avant notre re. En effet, les mathmaticiens cherchent dj, cette poque, rsoudre des quations linaires (de la forme ax = b) et des quations du second degr (de la forme ax2 + bx = c), ainsi que les quations indtermines (de la forme x2 + y2 = z2), qui relient plusieurs inconnues entre elles. Vers 350 apr. J.-C., Diophante sinspire des connaissances babyloniennes et gyptiennes pour rdiger son ouvrage Arithmetica, quon peut considrer comme le premier expos mthodique dalgbre. Il y introduit

44

un grand nombre dabrviations et de symboles, qui forment la base de lalgbre classique. 2.2 Algbre arabe Par la suite, lalgbre trouve un foyer daccueil dans le monde islamique, o elle est considre comme la science de la rduction de larithmtique en une forme plus parfaite . Au IXe sicle, le mathmaticien arabe Al-Khuwarizmi labore lun des premiers traits dalgbre, en rdigeant un expos systmatique de la thorie des quations, avec exemples et dmonstrations lappui. Dans cet ouvrage, il emploie les termes dal-djabr et dal-muqabala : le premier, qui a donn algbre en franais, signifie rparation ou remplissage , et dfinit lopration de transposition dans une quation, opration qui consiste ajouter un mme nombre de chaque ct de lgalit ou de lingalit. Le second terme, qui veut dire mise en opposition ou balancement , caractrise lopration consistant rduire les termes semblables de chaque ct de lgalit ou de lingalit, puis simplifier lquation en divisant par un mme nombre les deux termes. Aujourdhui, cette mthode est encore enseigne dans les coles. Vers le XIe sicle, les mathmaticiens arabes manipulent les puissances xn de linconnue x et, sans utiliser le symbolisme moderne, connaissent lalgbre fondamentale des polynmes : ils savent multiplier, diviser les polynmes et en dterminer certaines racines. Omar Khayam a montr comment exprimer les racines des quations du troisime degr au moyen de segments obtenus par certaines intersections de coniques. Cependant, il na pu donner de formule gnrale permettant de trouver ces racines. Une traduction latine du livre dAl-Khuwarizmi, diffuse partir du XIIe sicle en Europe, bouleverse les mthodes des mathmaticiens de lpoque. Ainsi, au dbut du XIIIe sicle, Leonardo Fibonacci sen inspire probablement pour obtenir une bonne approximation des solutions de lquation du troisime degr x3 + 2x2 + cx = d. 2.3 Essor de l'algbre classique Cest au XVIe sicle que se met en place un vritable langage algbrique, celui des lettres et des symboles tel quil est encore employ aujourdhui. Ce langage, dont linitiative revient Franois Vite, permet ainsi aux mathmaticiens italiens Scipione Del Ferro, Niccol Fontana Tartaglia et Jrme Cardan dexprimer les solutions de lquation gnrale du troisime degr en fonction des constantes de lquation. Puis, en 1545, lancien lve de Cardan, Ludovico Ferrari, dtermine une solution exacte pour les quations du quatrime degr.

45

En publiant, en 1637, la Gomtrie, Ren Descartes est galement influenc par la symbolisation de Vite, son trait sapparentant en effet davantage un expos dalgbre qu un ouvrage de gomtrie pure. Il consacre aussi un chapitre la thorie des quations et, en particulier, la loi des signes, loi permettant de compter le nombre de racines dune quation en distinguant les racines vraies (racines relles) des racines fausses (racines complexes). Par ailleurs, Descartes reste le fondateur de la gomtrie analytique, science qui ramne ltude de problmes gomtriques celle de problmes algbriques. Ltude des quations se poursuit jusquau XVIIIe sicle, les mathmaticiens svertuant rsoudre des quations algbriques de degr suprieur ou gal cinq. En 1799, Gauss tablit la preuve dun clbre thorme dont la dmonstration avait jusque-l rsist dillustres mathmaticiens. Appel thorme fondamental de lalgbre, celui-ci stipule que le nombre des racines complexes dune quation algbrique est gal au degr de cette quation. 2.4 Naissance de lalgbre moderne Le dbut du XIXe sicle marque un tournant dans lhistoire de lalgbre, qui entre alors dans sa phase moderne. En effet, lattention des mathmaticiens se dplace peu peu vers ltude densembles mathmatiques abstraits, laissant de ct la rsolution dquations polynomiales concrtes. Ainsi, les fondateurs de lalgbre moderne, comme les Franais variste Galois et Augustin Cauchy, le Britannique Arthur Cayley et les Norvgiens Niels Henrik Abel et Sophus Lie, sattachent dfinir des structures mathmatiques telles que les groupes, les anneaux ou les corps, ensembles dlments rgis par des lois prcises. Ces types densembles constituent les principaux concepts unificateurs des mathmatiques du XIXe sicle. Par ailleurs, la reprsentation gomtrique des nombres complexes permet lAllemand Hermann Grassmann et lIrlandais William Rowan Hamilton de dgager les rgles du calcul vectoriel et dutiliser les outils proposs par lalgbre linaire pour la rsolution de problmes n dimensions. Aujourdhui, lalgbre moderne poursuit son dveloppement, grce la cration de nouvelles structures abstraites et lintervention de la topologie.

46

3 SYMBOLES ET TERMES SPCIFIQUES

Les symboles utiliss en algbre comportent des chiffres, des lettres, ainsi que des signes ou symboles dsignant les diffrentes oprations arithmtiques, le regroupement des oprations et les galits ou ingalits. Les chiffres reprsentent toujours des constantes, tandis que les lettres peuvent correspondre des constantes ou des variables. Les lettres utilises pour reprsenter les constantes sont choisies dans le dbut de lalphabet (a, b, c, etc.), alors que les variables sont gnralement crites avec les lettres de la fin (x, y, etc.). Cette convention nest absolument pas obligatoire, mais elle permet simplement une lisibilit accrue. 3.1 Symboles dopration et de regroupement Les principaux signes dopration en algbre sont issus de larithmtique : ils correspondent laddition (+), la soustraction (-), la multiplication () et la division (). La multiplication peut galement tre note par un point, comme dans lexpression a.b, voire par une omission de signe. Ainsi, une succession de symboles telle que lexpression abc, correspond au produit de a par b et par c. Les fractions sont indiques par une barre horizontale ou oblique qui spare le numrateur, situ au-dessus de (ou avant) cette barre, du dnominateur, situ en dessous (ou aprs). La manire de regrouper les symboles algbriques et de dterminer la squence des oprations arithmtiques est dtermine par des symboles isolant les expressions algbriques : les parenthses ( ), les crochets [ ], les accolades { }. Par exemple, on peut crire : {4 - [7 - (2.3)]} + 2 = 5. 3.2 Ordre des oprations On effectue dabord les multiplications et les divisions, suivies des additions et des soustractions. Le groupement des symboles indique lordre dans lequel seffectuent les oprations : on effectue dabord toutes les oprations lintrieur des groupes prioritaires, sachant que les parenthses ont priorit sur les crochets, qui ont eux-mmes priorit sur les accolades. Ainsi, lcriture a {[(b + c) (d + e)] - (f - g)} indique quil faut faire dans un premier temps les oprations ( b + c), (d + e) et (f - g), puis multiplier les rsultats des premier et deuxime termes entre eux, y soustraire le rsultat du troisime, et multiplier enfin le tout par a. De mme, lexpression ax + b / c - dy indique que ax, b / c et dy sont des termes spars, alors que (ax + b) / (c - dy) reprsente la fraction

3.3 Dfinitions diverses 47

Toute expression contenant la relation dgalit (et donc le symbole =) se nomme quation, tandis quune expression faisant intervenir les symboles <, >, ou est appele inquation (voir ingalit). Un terme est une expression algbrique compose uniquement de produits de constantes et de variables tels que : 2x, - a, s4x, x2 (2zy)3, etc. Une expression est appele monme si elle ne contient quun terme, binme si elle en comporte deux, et trinme si elle en possde trois. Un polynme est une somme algbrique de monmes. Par exemple, un polynme gnral de degr n peut scrire sous la forme : a0 + a1X + a2X2 + a3X3 + + anXn. Le degr du polynme reprsente lexposant le plus lev de tous ses termes. Par exemple, si lexposant le plus lev dun polynme est gal 3, comme dans lexpression aX3 + bX2 + cX, on dit alors que ce polynme est de degr 3. De la mme manire, lexpression Xn + Xn-1 + Xn-2 est de degr n. En gnral, on note un polynme en utilisant la variable X, tandis que lquation polynomiale associe est crite laide de linconnue x. Par exemple, on parle du polynme 2X2 + 1, alors quon manipule lquation 2x2 + 1 = 0, ou lexpression algbrique 2x2 + 1. Une quation linaire est une quation polynomiale de degr 1, cest-dire de la forme ax + b = 0. De telles quations sont appeles quations linaires car leur reprsentation graphique dans un repre orthonorm prsente la forme dune ligne droite. Une quation du second degr une variable, appele parfois quation quadratique, correspond une quation polynomiale de degr 2, cest-dire de la forme ax2 + bx + c = 0.

4 POLYNMES
4.1 Addition et multiplication Lensemble des polynmes peut tre muni des oprations daddition et de multiplication, qui se dfinissent de la mme manire que dans lensemble des nombres rels. Laddition de deux polynmes consiste additionner les termes de mme degr de chaque polynme. Ainsi, laddition dun binme et dun trinme seffectue comme suit : (aX3 + bX2 - cX) + (dX + e) = aX3 + bX2 + (d - c) X + e = aX3 + bX2 - cX + dX + e

48

La multiplication de deux polynmes seffectue en multipliant chacun des termes dun polynme par chacun des termes de lautre. Par exemple, le produit dun binme par un trinme seffectue de la faon suivante : (aX3 + bX2 - cX) (dX + e) = adX4 + aeX3 + bdX3 + beX2 - cdX2 - ceX la suite de ces oprations, tous les termes de mme degr peuvent tre regroups afin de simplifier lexpression entire, comme suit : (aX3 + bX2 - cX) (dX + e) = adX4 + (ae + bd) X3 + (be - cd) X2 - ceX Voir polynmes. 4.2 Factorisation La factorisation consiste transformer une expression algbrique complexe en un produit de plusieurs termes plus simples. Elle utilise la distributivit de la multiplication par rapport laddition. Par exemple, lexpression 2x3 + 8x2y peut tre factorise en scrivant : 2x2 (x + 4y). Cependant, certaines expressions algbriques ne peuvent pas tre factorises en utilisant des coefficients rels. Les polynmes qui leur sont associs sont alors appels polynmes premiers. Voici quelques factorisations usuelles dexpressions algbriques :

49

Pour effectuer une factorisation, il est souvent utile de procder au regroupement des termes, comme dans lexemple suivant :

4.3 Plus petit commun multiple En algbre, lorsque lon effectue une addition ou une soustraction de fractions, on doit procder la recherche du plus petit commun multiple de leurs dnominateurs. Cette procdure est analogue celle utilise en arithmtique pour additionner ou soustraire des fractions : leurs dnominateurs doivent tre identiques (voir addition ; soustraction). Pour cela, la manire la plus simple consiste multiplier tous les dnominateurs entre eux. Par exemple :

Mais le produit bd peut trs bien ne pas correspondre au plus petit dnominateur commun, comme dans le cas o lun des deux dnominateurs est multiple de lautre. En algbre, la recherche du plus petit commun multiple des dnominateurs savre similaire. Lorsquon effectue laddition ou la soustraction de plusieurs expressions algbriques, le plus petit commun multiple de ces dernires correspond au terme de plus bas degr et affect du plus faible coefficient possible, que chaque expression peut exactement diviser. Ainsi, pour dterminer un multiple commun aux termes 2x2y, 30x2y2 et 9ay3, on dcompose chaque terme en produit de facteurs premiers. Les coefficients numriques 2, 30 et 9 se dcomposant respectivement en 2, 2 3 5, et 3 3. Le plus petit commun multiple de ces coefficients est donc 2 3 3 5 = 90 (voir arithmtique). De mme, comme la constante a napparat quune seule fois dans les trois expressions algbriques de dpart, elle doit faire galement partie du plus petit commun multiple, tout comme les variables, x2 et y3. Ainsi, le plus petit commun multiple des trois termes considrs est finalement 90 ax2y3. On peut vrifier que chaque terme divise exactement cette expression.

5 THORIE DES QUATIONS

Lalgbre propose un ensemble doutils permettant de rsoudre divers problmes laide dquations et dinquations. Pour rsoudre une quation, on sattache en fait mettre en uvre la mme procdure arithmtique ou algbrique de chaque ct du signe gal. En utilisant les proprits des oprations arithmtiques (commutativit, associativit,

50

existence dlments neutres pour laddition et pour la multiplication, et distributivit), on isole les variables dun ct du signe gal, et les termes constants de lautre. Ainsi, lcriture de cette galit peut tre amene une expression o figure la ou les valeurs inconnues dun ct du signe =, tandis que de lautre ct se trouve une constante. 5.1 quations linaires Par exemple, pour rsoudre lquation linaire une inconnue 5x + 6 = 3x + 12, on soustrait le terme 3x des deux cts de lquation :

Le nombre 6 est ensuite retranch son tour des deux cts :

Puis, pour isoler x gauche, on divise les deux cts de lquation par 2 :

La solution sobtient alors directement : x = 3. On peut vrifier le rsultat en remplaant x dans lquation de dpart par la valeur 3, montrant ainsi que les deux termes de lgalit sont bien gaux. En effet : 5x + 6 = 5 3 + 6 = 21

>3x + 12 = 3 3 + 12 = 21 5.2 quations du second degr Considrons lquation du second degr une inconnue, de forme gnrale

Selon la nature de cette quation, on peut dterminer un certain nombre de solutions approches ou exactes. Si lquation peut tre factorise, alors les solutions sont exactes. Ainsi, lquation

peut dabord scrire sous la forme standard :

51

On peut la factoriser :

Grce cette factorisation, on remarque que lquation est vrifie si et seulement si lun de ses facteurs est gal zro, cest--dire si x = 5 ou x = - 2. L encore, on peut vrifier ces solutions en les substituant dans lquation originale. Ainsi, 52 - 3 5 - 10 = 0 et (- 2)2 - 3 (- 2) - 10 = 0. Voir aussi quations, thorie des.

6 GROUPES, ANNEAUX ET CORPS

Groupes, anneaux et corps constituent trois structures fondamentales de lalgbre. Un groupe est un ensemble E muni dune loi de composition interne T, associative, possdant un lment neutre e tel que, pour tout lment a de E, a T e = e T a = a, et telle que tout lment x de E admette un symtrique y tel que x T y = y T x = e. Par exemple, lensemble des entiers relatifs muni de la loi de composition daddition forme un groupe. En effet, laddition est associative, possde un lment neutre (0), et implique, pour tout entier relatif z, lexistence dun symtrique (- z). Voir groupes. Un anneau est un ensemble E muni de deux lois de composition, la premire confrant E une structure de groupe commutatif, et la seconde tant associative et distributive par rapport la premire. Ainsi, lensemble des entiers relatifs muni de laddition et de la multiplication constitue un anneau, la multiplication tant distributive par rapport laddition. La structure de corps drive de celle danneau (voir anneaux et corps). Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

THORIE DES ENSEMBLES

52

1 PRSENTATION Thorie des ensembles, branche des mathmatiques fonde au XIXe sicle par le mathmaticien allemand Georg Cantor, qui introduit la notion densemble laide daxiomes. Cette thorie a permis notamment de dfinir de manire plus prcise le concept dinfini. On utilise aujourdhui la notion densemble dans tous les domaines des mathmatiques, pures et appliques. 2 DFINITIONS 2.1 Ensemble Un ensemble est un groupe dentits appeles lments de lensemble. Si a est un lment de lensemble E, on dit que llment a appartient E ou est contenu dans lensemble E, ou que lensemble E contient llment a. Ces assertions quivalentes se notent a E. Si llment a nappartient pas E, on crit alors a E. On dsigne souvent un ensemble par le symbole E = { }. Ces accolades renferment les lments de E crits intgralement ou dfinis par une formule, une rgle ou une affirmation. Voici des exemples densembles : E1 = {2, 4} ; E2 = {0, 2, 4, 6, , 2n, } = {tous les entiers pairs positifs} ; E3 = {x entier / x2 - 6x + 11 > 3} = {tous les entiers x tels que x2 - 6x + 11 > 3} (voir ingalit) ; E4 = {tous les individus masculins prnomms Jean}. Un ensemble vide E est dsign par le symbole . 2.2 Sous-ensemble Si tout lment de lensemble F appartient galement lensemble E, on dit que F est un sous-ensemble de E ou quil est inclus dans E, ou bien que E est un sur-ensemble de F. On note cette assertion par F E et E F. Un ensemble est donc la fois un sous-ensemble et un sur-ensemble de luimme. Si F E, mais quau moins un lment de E nest pas dans F, on dit que F est un sous-ensemble propre de E et que E est un sur-ensemble propre de F. Si tout lment dun ensemble est un lment de lautre et rciproquement, alors F et E sont identiques, soit F = E. Ainsi, dans les exemples donns ci-dessus, E1 est un sous-ensemble propre de E2. 2.3 Union et intersection

53

Soient A et B deux sous-ensembles dun ensemble E. Les lments communs A et B forment un sous-ensemble de E, appel intersection de A et B et not A B. Les lments appartenant A ou B ou lintersection de A et B forment un sous-ensemble de E, appel union de A et B et not A B. Si A et B ne possdent pas dlments en commun, lintersection est vide ; on a alors A B = . Ainsi, si A = {2, 4, 6}, B = {4, 6, 8, 10} et C = {10, 14, 16, 26}, alors A B = {2, 4, 6, 8, 10}, A C = {2, 4, 6, 10, 14, 16, 26}, A B = {4, 6}, A C = . 2.4 Diffrence et complmentaire Lensemble des lments qui sont dans A mais pas dans B est appel diffrence de A et B, note A - B. Ainsi, dans lexemple ci-dessus, A - B = {2}, B - A = {8, 10}. Si A est un ensemble inclus dans un ensemble E, lensemble des lments de E qui ne sont pas dans A, cest-dire E - A, est appel le complmentaire de A dans lensemble E. Il est not . Lorsquon parle de complmentaire, il est indispensable de prciser lensemble de rfrence (ici E).

3 OPRATIONS SUR LES ENSEMBLES

Des dfinitions prcdentes dcoulent les relations suivantes, o A, B, C sont des sous-ensembles dun ensemble E :

Ces relations sont celles de lalgbre des ensembles qui, munie des oprations dintersection, dunion et de complmentarit, constitue un exemple de la structure algbrique appele algbre de Boole.

4 PRODUIT CARTSIEN

54

Si A et B sont deux ensembles, lensemble de toutes les paires ordonnes de la forme (a, b), o a est un lment de A et b un lment de B, est appel produit cartsien de A et B, souvent not A B. Par exemple, si A = {1, 2}, B = {x, y, z}, alors A B = {(1, x), (1, y), (1, z), (2, x), (2, y), (2, z)}. B A = {(x, 1), (y, 1), (z, 1), (x, 2), (y, 2), (z, 2)}. Ici, A B B A, car la paire (1, x) est diffrente de la paire (x, 1).

5 RELATIONS ENTRE ENSEMBLES

Les lments de lensemble A = {1, 2, 3} peuvent tre associs ou apparis avec les lments de lensemble B = {x, y, z} de six manires diffrentes, de sorte que tout lment de B soit associ un lment de A, et inversement. Par exemple, les lments peuvent tre associs de la manire suivante : (1, y), (2, z), (3, x). On appelle ce genre dassociation une bijection entre les ensembles A et B (voir applications). On dit que deux ensembles ont le mme cardinal lorsque lon peut tablir une bijection entre leurs lments respectifs. Les lments de lensemble A = {1, 2, 3} ne peuvent tre mis en bijection avec les lments daucun des sous-ensembles propres de A. Tout ensemble qui vrifie cette dernire proprit est appel ensemble fini ou ensemble cardinal fini. En revanche, pour lensemble = {0, 1, 2, 3, }, ensemble des nombres entiers (voir Nombres), il est possible dtablir une bijection entre ses lments et ceux de son sous-ensemble propre C = {2, 3, 4, 5, } en associant par exemple n de avec n + 2 de C, n = 0, 1, 2, 3, Un ensemble possdant une telle proprit est dit infini ou de cardinal infini (voir infini). Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

INGALIT (MATHMATIQUES)
55

1 PRSENTATION
Ingalit (mathmatiques), relation mathmatique qui indique la manire dont deux nombres sont ordonns. Par exemple, l'ingalit 3 < 10 signifie que le chiffre 3 est strictement infrieur 10. L'ingalit x2 0 signifie que le carr de tout nombre rel est suprieur ou gal zro. 2 INQUATION Les solutions d'une inquation telle que - 2x + 6 > 0 sont les valeurs de x pour lesquelles l'expression - 2x + 6 est strictement suprieure zro. On peut appliquer les rgles de l'algbre pour rsoudre cette inquation ; le sens de l'ingalit doit toutefois tre invers lorsque l'on multiplie ou l'on divise l'ingalit par un nombre ngatif. Ainsi, pour rsoudre l'inquation - 2x + 6 > 0, il faut d'abord soustraire 6 des deux membres de l'ingalit : on obtient - 2x > - 6. On divise ensuite chaque ct de l'ingalit par - 2, en inversant le sens de l'ingalit puisque - 2 est ngatif. On obtient x < 3, ce qui signifie que les solutions de l'inquation sont les valeurs x telles que x < 3. L'ensemble des solutions est galement not S ; S = ] - ;3 [. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

LALGBRE DE BOOLE
56

1 PRSENTATION
Boole, algbre de, branche des mathmatiques dont les lois et les proprits sont analogues celles de l'algbre classique. L'algbre de Boole est trs utilise dans les domaines de la logique et de la thorie des ensembles. En effet, elle s'intresse davantage des propositions et leurs valeurs de vrit, qu' des variables auxquelles on attribue des valeurs numriques. Cette notion fut dveloppe par George Boole ds 1847.

2 DFINITIONS
2.1 Dfinition formelle D'un point de vue formel, une algbre de Boole est dfinie par la donne d'un ensemble, que l'on peut appeler B, auquel on associe deux oprations binaires, notes et . L'algbre ainsi constitue vrifie par dfinition le systme d'axiomes suivant : 1. et sont deux oprations commutatives. Quels que soient x et y, lments de B, on a: x y = y x et x y = y x 2. Chacune des oprations et est distributive par rapport l'autre. Pour trois lments quelconques x, y, et z de B, on a donc : x (y z) = (x y) (x z) et x (y z) = (x y) (x z) 3. Chacune des oprations et possde un lment neutre pris dans B. Gnralement nots 0 et 1, ils sont tels que 0 1 et vrifient pour tout lment x de B: 0 x = x et 1 x = x 4. tout lment x de B, on associe un lment appel complment de x, et gnralement not x. Il vrifie les relations : x x = 1 et x x = 0 Tout systme d'axiomes quivalent dfinit une algbre de Boole. Les symboles +, ou sont parfois utiliss la place du symbole , tandis que les symboles , ^, ou peuvent remplacer le symbole .

57

2.2 Thorie originelle de Boole Les lments de l'ensemble B d'une algbre de Boole peuvent tre des lments abstraits ou concrets, tels que des nombres, des propositions, des ensembles ou mme des circuits lectriques. Dans la thorie originelle de George Boole, les lments sont des propositions ou des phrases affirmatives simples ayant la proprit d'tre soit vraies, soit fausses, mais jamais les deux simultanment. Les oprations sont gnralement des conjonctions et des disjonctions, notes respectivement ^ et . Si x et y reprsentent deux propositions, l'expression x y (lire x ou y ) est vraie si et seulement si l'une au moins des propositions (x ou y) est vraie. L'assertion x ^ y (lire x et y ) est vraie si et seulement si les deux propositions (x et y) sont vraies. Dans ce type d'algbre de Boole, le complment d'un lment x est simplement la ngation de la proposition, soit x = non x. 3 EXEMPLE FONDAMENTAL Muni des oprations d'union () et d'intersection (), l'ensemble P(X) des parties d'un ensemble X constitue une algbre de Boole. Les lments neutres pour () et () sont respectivement l'ensemble vide, not , et l'ensemble X tout entier. On dfinit donc le complment d'une partie Y de X comme la partie Y vrifiant : Y Y = X et Y Y = Y est aussi appel ensemble complmentaire de Y. En fait, toute algbre de Boole peut tre considre comme une algbre d'ensembles (voir ensembles, thorie des).

4 PROPRITS
Grce la symtrie des axiomes relatifs aux deux oprations et leurs lments neutres, on peut prouver le principe dit de dualit : toute proprit algbrique dduite des axiomes ci-dessus reste vraie si on intervertit les oprations et , et les lments neutres 1 et 0. Parmi les nombreux thormes qui peuvent tre dduits des axiomes de l'algbre de Boole, les lois de De Morgan sont particulirement remarquables : pour tout couple d'lments x et y de B, (x y) = x y et (x y) = x y On remarque qu'on passe d'une loi l'autre en appliquant le principe de dualit.

5 APPLICATION AUX CIRCUITS LECTRIQUES

58

Les algbres de Boole ont de nombreuses applications pratiques en physique, notamment en informatique et en lectronique. Par exemple, la thorie des circuits lectriques s'appuie sur une algbre de Boole. Considrons deux propositions p et q. Elles sont soit vraies soit fausses, mais ne peuvent tre vraies et fausses simultanment. Chacune des propositions p et q peut tre associe un interrupteur. Ce dernier est ferm si la proposition est vraie, et ouvert si la proposition est fausse. un ensemble de propositions lies par des oprations (formule), on peut donc associer un circuit lectrique. La formule est vraie si le courant passe dans le circuit, fausse si le courant ne passe pas. Ainsi, la formule p ^ q quivaut un circuit o les deux interrupteurs sont monts en srie. Le courant passe dans le circuit si et seulement si les deux interrupteurs sont ferms, c'est--dire si p et q sont toutes les deux vraies. De mme, l'affirmation p q quivaut un circuit o les deux interrupteurs sont monts en parallle. Le courant passe dans le circuit si l'une ou l'autre des affirmations ou les deux sont vraies, c'est--dire si les interrupteurs correspondants sont ferms. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

ALGORITHME (MATHMATIQUES)
Algorithme (mathmatiques), mthode de rsolution dun problme suivant un enchanement dtermin de rgles opratoires. 59

Le mot algorithme est driv du nom du mathmaticien persan alKhuwarizmi qui lon doit un trait dalgbre (825). Dans le domaine des mathmatiques, les algorithmes furent utiliss ds lAntiquit pour traiter des problmes darithmtique ou de gomtrie. Le calcul du plus grand commun diviseur de deux nombres par la mthode dEuclide (300 av. J.C.) en constitue un exemple clbre. Plus tard, les algorithmes intervinrent dans les mthodes de rsolution dquations algbriques (algorithme de Newton, mthode dlimination de Gauss) et dquations diffrentielles. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

SYMBOLES MATHMATIQUES
1 PRSENTATION

60

symboles mathmatiques, ensemble des signes et des abrviations utiliss en mathmatiques pour indiquer des entits, des relations ou des oprations.

2 NOTATION DES NOMBRES

Dans l'Antiquit, chaque peuple avait son propre systme de notation numrale, dfini par une base particulire et par un ensemble de symboles figurant les chiffres. Ainsi, les Grecs utilisaient un systme dcimal fond sur les lettres de leur alphabet, les Babyloniens employaient un systme sexagsimal figur par des clous et des crochets. Nos chiffres actuels 1, 2, 3, 4, 5, 6, 7, 8 et 9 viennent de l'Inde du dbut de l're chrtienne ; ils nous furent transmis par les Arabes. Voir Chiffres. L'origine du zro demeure en revanche inconnue, car on en trouve des traces chez la plupart des peuples de l'Antiquit la mme poque. L'invention de l'criture dcimale est attribue au mathmaticien flamand Simon Stevin, qui publia en 1585 un ouvrage dans lequel il prconisait l'emploi de cette notation. Il appelait les dizaines primes, les centaines sekondes et les millimes terzes, et utilisait des chiffres entours de cercles pour indiquer les positions des chiffres dans le nombre. Ainsi, 4,628 s'crivait 4 0 6 1 2 2 8 3. Puis au XVIIe sicle se rpandit l'criture dcimale actuelle avec la virgule ou le point. Aujourd'hui, les tats-Unis et la Grande-Bretagne utilisent le point (4.628), tandis que l'Europe continentale emploie la virgule (4,628). En notation scientifique standard, un nombre tel que 0,000000123 s'crit 1,23 10-7. L'origine des fractions est beaucoup plus ancienne que celle des nombres dcimaux : les gyptiens utilisaient ainsi des fractions numrateur 1 comme 1/2, 1/3, 1/6, etc., auxquelles taient attribus des symboles particuliers. Les Indiens n'employaient pas de sigles caractristiques pour les fractions, mais avaient coutume de placer le dnominateur sous le numrateur. La barre de fraction horizontale apparut timidement chez les Arabes, et fut dfinitivement adopte au Moyen ge. Au XVIIe sicle, Leibniz tenta en vain de remplacer cette barre horizontale par deux points. Enfin, au XIXe sicle apparut l'criture des fractions avec une barre oblique.

Dans l'Antiquit, les oprations mathmatiques taient souvent entirement rdiges, ou encore exprimes par des abrviations de mots. Il existait cependant quelques symboles spcifiques comme le renvers, prconis par Diophante, qui dsignait la soustraction. Quant l'addition, 61

elle s'exprimait la plupart du temps par juxtaposition. Les symboles + et ne furent mis en usage qu'au XVe sicle par les algbristes allemands et anglais. On les trouve imprims pour la premire fois dans un manuscrit allemand de 1489 publi par Johann Widman. Le mathmaticien anglais William Oughtred fut le premier employer le symbole pour la multiplication en 1637. Auparavant, la plupart des algbristes comme Ren Descartes prconisaient la multiplication par juxtaposition. En 1698, Leibniz utilisa pour la premire fois un point pour symboliser un produit. L'introduction d'un exposant pour les puissances (comme dans an) est due Descartes, tandis que le mathmaticien anglais John Wallis dfinit en 1656 l'exposant ngatif. La notation reprsentant la division devint populaire en Angleterre ds le XVIe sicle, avant que Leibniz ne prconise le symbole :. Quant au symbole dfinissant la racine carre, il apparut la fin du XVe sicle dans des manuscrits allemands.

3 SYMBOLES DIVERS
Le signe d'galit = fut invent par le mathmaticien anglais Robert Recorde en 1557, alors que les signes > et < pour suprieur et infrieur furent proposs par l'Anglais Thomas Harriot en 1631. Franois Vite introduisit l'usage des lettres en algbre et en gomtrie : les consonnes dsignaient alors des quantits connues, tandis que les voyelles reprsentaient les inconnues. Les symboles de drivation dx et d'intgration , utiliss en calcul infinitsimal, apparurent dans les travaux de Leibniz. Leonhard Euler fut quant lui l'origine des symboles f et F, utiliss pour caractriser des fonctions. Aujourd'hui, malgr l'uniformisation des symboles mathmatiques, il subsiste encore quelques disparits (usage du point ou de la virgule selon les pays dans l'criture dcimale, notations multiples dans la thorie des ensembles, etc.). Il demeure galement quelques ambiguts comme celle portant sur les fonctions. En effet, il ne faut pas confondre la fonction f et la valeur f(x) prise par la fonction f en x. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

NOMBRES (MATHMATIQUES)
1 PRSENTATION

62

Nombres (mathmatiques), mot ou symbole utilis pour dsigner des quantits. En arithmtique, un nombre dsigne un lment des ensembles , , , , ou (ensembles qui sembotent les uns dans les autres).

2 ENTIERS NATURELS
Les nombres les plus simples sont les entiers naturels, ou entiers, qui appartiennent lensemble infini 0, 1, 2, 3, 4, 5, 6, ... On dit que lensemble des entiers naturels, not , est ferm vis--vis de laddition et de la multiplication, ce qui signifie que la somme ou le produit de deux entiers naturels est toujours un entier naturel. En revanche, ce rsultat est faux pour la soustraction de deux entiers naturels. Cest pourquoi on a t amen introduire les entiers relatifs.

3 ENTIERS RELATIFS
Un entier relatif est un entier naturel auquel on attribue un signe, positif (symbole +) ou ngatif (symbole -). Par exemple, 0, 1, - 3, - 6 sont des entiers relatifs. noter que lorsque lentier relatif est positif, on omet souvent de prciser son signe. On constate donc que lensemble des entiers relatifs, not , englobe lensemble des entiers naturels. On peut crire (voir Ensembles, thorie des).

4 NOMBRES DCIMAUX
Un entier dcimal est le quotient dun entier relatif par une puissance de 10. Ainsi, - 100,2 ; 2,4 ; - 0,06 ; 8 et - 5 sont des entiers dcimaux. Lensemble des entiers relatifs est inclus dans lensemble des entiers dcimaux, not . On a donc . Lensemble des entiers relatifs est ferm pour la soustraction, mais non pour la division : on a alors t conduit crer les fractions, dites nombres rationnels.

5 NOMBRES RATIONNELS
On appelle nombre rationnel ou fraction tout nombre gal au quotient de deux entiers relatifs. En dautres termes, r est rationnel sil existe deux entiers relatifs p et q, q non nul, tels que r = p/q. Par exemple, 4/5 ; - 3/6 ; 5 ; 0 ; - 7,5 ; - 4 sont des nombres rationnels. On constate donc que lensemble des entiers rationnels, not , contient lensemble des entiers dcimaux . En effet, tout entier dcimal d peut scrire sous la forme d = n/10p, o 10p est une puissance de 10 ( voir Exposant). De mme, tout entier naturel n correspond la fraction n/1. On a . Par ailleurs, la somme, la diffrence, le produit et le quotient de deux nombres rationnels sont encore des nombres rationnels.

63

6 NOMBRES RELS
6.1 Nombres irrationnels Avec le dveloppement de la gomtrie est apparu le besoin de crer de nouveaux nombres. Ainsi, la longueur de la diagonale dun carr dont le ct mesure une unit ne peut sexprimer laide dune fraction. Cette longueur est gale la racine carre de 2, de symbole . Multiplie par elle-mme, cette valeur vaut 2. De mme, le quotient de la circonfrence dun cercle par son diamtre nest pas un nombre rationnel, mais vaut p = 3,1415... Ces nombres sont dits irrationnels. La runion de lensemble des nombres rationnels et de lensemble des irrationnels constitue lensemble des nombres rels, de symbole . On peut donc crire . 6.2 Nombres algbriques Le nombre rel r est un nombre algbrique sil existe une relation de la forme a0 + a1.r + a2.r2 + ... + an.rn = 0, avec a1, a2, ..., an rationnels et n entier. Par exemple, est un nombre algbrique, car ( )2 - 2 = 0. 6.3 Nombres transcendants Un nombre rel est dit transcendant sil nest pas algbrique. Le mathmaticien franais Joseph Liouville en a dmontr lexistence au XIXe sicle en explicitant les nombres dits de Liouville . On peut aisment construire des nombres transcendants, en sappuyant par exemple sur le thorme suivant : si a est un nombre algbrique non nul, alors ea est un nombre transcendant ( voir Exponentielle). En revanche, dmontrer la transcendance dun nombre donn est beaucoup plus dlicat. Ainsi, la transcendance du nombre e na t dmontre quen 1872 par le mathmaticien franais Charles Hermite, celle du nombre pi (p) en 1882 par le mathmaticien allemand Lindemann et celle de 2 par le mathmaticien allemand Carl Siegel, en 1932.

7 NOMBRES COMPLEXES
Le produit dun nombre rel par lui-mme est toujours positif ou nul ; aussi, lquation x2 = - 1 ne peut pas avoir de solution dans lensemble des nombres rels. Cest pourquoi un nouvel ensemble de nombres a t construit, pouvant vrifier, entre autres, lquation prcdente. En dfinissant le nombre imaginaire i tel que i2 = - 1, on appelle nombre 64

complexe un nombre de la forme x + iy, o x et y sont des nombres rels. On peut alors rsoudre lquation suivante : x2 = - 9 par x = - 3i ou x = + 3i. On appelle nombre imaginaire un nombre pouvant scrire sous la forme ai, a tant un nombre rel. Les nombres complexes sont donc une combinaison des nombres rels et des nombres imaginaires. Par consquent, lensemble des nombres complexes, not , englobe lensemble des rels, ce qui permet dcrire les relations d embotements successifs suivants : . Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

EXPONENTIELLE
1 PRSENTATION

65

Exponentielle, en mathmatiques, fonction rciproque de la fonction logarithme nprien. Note e ou exp, elle associe tout rel x le rel y = exp x = ex tel que ln y = x.

2 DFINITIONS
Limage dun rel x par la fonction exponentielle est souvent note ex, car cette criture traduit que lon lve le nombre e = 2,718... la puissance x (voir exposant). De manire analogue aux logarithmes, on peut galement dfinir lexponentielle de base a, avec a rel strictement positif, comme la fonction rciproque du logarithme de base a. Note expa, elle associe tout rel x le rel y = expa(x) = exln a = ax.

3 PROPRITS
La fonction exponentielle est une fonction dfinie sur lensemble des rels (voir nombres), qui associe tout rel un rel strictement positif. En outre, elle est continue et drivable sur , de drive gale elle-mme (voir infinitsimal, calcul). Par ailleurs, cette fonction possde les proprits suivantes :

e0 = 1 et e1 = e pour tous rels x et y, ex+y = ex.ey et e-x = 1/ex. La fonction exponentielle est dune grande importance en statistiques. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

FONCTIONS (MATHMATIQUES)
1 PRSENTATION
66

Fonctions (mathmatiques), en mathmatiques, correspondances entre un ensemble A et un ensemble B, qui tout lment de A associent au plus un lment de B. Par exemple, la relation qui tout entier associe son carr est une fonction de dans . Par extension, on peut galement dfinir des fonctions de plusieurs variables, telles que la relation qui au triplet de rels (x, y, z) associe le produit xyz. Dans la suite de cet article, on ne sintressera quaux fonctions dune variable.

2 HISTORIQUE
Le terme de fonction est utilis pour la premire fois en 1637 par Descartes pour dsigner une puissance xn dune variable x (voir Exposant). Puis, en 1694, Leibniz applique ce terme diffrentes caractristiques dune courbe. Mais cest Dirichlet qui a le premier nonc le concept de fonction dans son sens moderne de correspondance. Il conoit une fonction y comme une variable dpendante, dont les valeurs sont fixes ou dfinies par les valeurs assignes la variable indpendante x ou plusieurs variables indpendantes x1, x2, , xn. Enfin, au XIXe sicle, lapparition de la thorie des ensembles largit la notion de fonction et ltend vers celle dapplication.

3 DFINITION ET NOTATION
La notion de fonction est souvent confondue avec celle dapplication. Cependant, la diffrence dune application, tous les lments de lensemble de dpart dune fonction nont pas forcment dimage dans lensemble darrive. Par exemple, la correspondance qui associe un nombre son carr est une application ; en revanche, celle qui associe un nombre son inverse nest pas une application car 0 na pas dimage. Soit f une fonction dun ensemble A vers un ensemble B. On note alors :

Il ne faut pas confondre la fonction f avec la valeur f(x) prise en x par la fonction f.

4 OPRATIONS SUR LES FONCTIONS

Soient f et g deux fonctions dun ensemble A vers un ensemble B. On peut alors dfinir la fonction somme f + g, qui tout lment x de A associe llment (f + g) (x) = f(x) + g(x).

67

De mme, il est possible de dfinir la fonction produit ainsi que la fonction quotient de deux fonctions f et g (dans le dernier cas, sous rserve que g(x) soit non nul). Si, pour tout x de A, f(x) appartient A, on peut galement dfinir la compose de f suivie de g, note g o f, telle que pour tout x de A (g o f) (x) = g(f(x)).

5 TUDE DUNE FONCTION

Les diffrentes tapes qui prsident ltude dune fonction sont ltablissement de son domaine de dfinition et de ses proprits, le calcul des limites aux points remarquables, ltude de sa continuit et de sa drivabilit, la recherche dasymptotes et sa reprsentation graphique. On se placera ici dans un repre cartsien (xOy) (voir coordonnes). 5.1 Domaine de dfinition Soit une fonction f dun ensemble A vers un ensemble B. Pour aborder ltude de cette fonction, il faut avant tout dterminer son ensemble de dfinition Df, sous-ensemble de A pour lequel la fonction est toujours dfinie. On peut alors dire que la fonction est une application de son ensemble de dfinition vers lensemble darrive B. Le domaine de dfinition de f correspond aux valeurs de x pour lesquelles f(x) est dfini. Par exemple, le domaine de dfinition de la fonction f, qui tout rel x associe f(x) = 1/[x(x - 2)], est Df = - {0 ; 2}, ensemble des nombres rels, diffrents de 0 et 2, valeurs pour lesquelles le dnominateur de la fraction sannule. 5.2 Proprits particulires Une fonction f est paire si, pour tout x appartenant Df, - x est aussi dans Df et f(- x) = f(x). En consquence, la reprsentation graphique dune fonction paire dans le repre (xOy) admet laxe des ordonnes comme axe de symtrie. Une fonction f est impaire si, pour tout x appartenant Df, - x est aussi dans Df et f(- x) = - f(x). En consquence, la reprsentation graphique dune fonction impaire dans le repre (xOy) admet lorigine O du repre comme centre de symtrie. Ces proprits de parit facilitent ltude de la fonction car il suffit donc dtudier f sur [0 ; + ] Df, puis de gnraliser sur lensemble. Une fonction f est priodique de priode T si, pour tout x appartenant Df, x + T appartient Df et f(x + T) = f(x). Par exemple, les fonctions sinus et 68

cosinus sont des fonctions priodiques de priode 2p (voir trigonomtrie). De mme, la priodicit dune fonction permet den faire ltude sur un intervalle de longueur T, puis de gnraliser lensemble de dpart. 5.3 tude aux limites Pour mieux comprendre le comportement gnral dune fonction, il est souvent utile de dterminer ses limites linfini (en + et / ou - si la fonction y est dfinie) et aux points particuliers o la fonction nest pas dfinie. Par exemple, si lon considre la fonction f, qui tout rel x associe f(x) = 1/[x(x - 2)], on peut calculer ses limites en - , en 0, en 2 et + , en utilisant les thormes associs aux limites. Ces calculs fournissent des indications sur le sens de variation de la fonction f. 5.4 Continuit Soit f une fonction ayant pour ensemble de dfinition Df, et x0 un lment de Df. On dit que f est continue en x0 si et seulement si :

Remarquons quil est inutile de sinterroger sur la continuit de f en un lment nappartenant pas lensemble de dfinition D f. Par exemple, la question de la continuit en 0 de la fonction qui x non nul associe 1/ x ne se pose pas. Toute fonction dfinie sur un ensemble Df nest pas forcment continue sur tout cet ensemble. Ainsi, la fonction f qui x non nul associe 1/ x et qui 0 associe 1 nest pas continue en 0. Une fonction f est continue sur un intervalle [a ; b] si et seulement si elle est continue en tout point de lintervalle [a ; b]. 5.5 Drivabilit Soit f une fonction ayant pour ensemble de dfinition Df, et x0 un lment de Df. On dit que la fonction f est drivable en x0 si et seulement si la quantit :

a une limite relle quand h tend vers 0. Dans ce cas, cette limite est appel nombre driv ou drive de f en x0 et note f(x0). On parle galement de drive infinie lorsque la quantit ci-dessus a pour limite - ou + , mme si, en toute rigueur, le terme de drive ne semploie que pour des limites relles. La valeur de la drive reprsente la pente

69

de la tangente de la reprsentation graphique de f en x0 : une drive nulle correspond une tangente horizontale, une drive infinie une tangente verticale. Par ailleurs, une valeur positive, ngative ou nulle de f (x0) indique respectivement que f(x) augmente, dcrot ou est stationnaire au voisinage de x0. Cest pourquoi il est trs utile dtudier la drivabilit dune fonction f et de dterminer le signe de la fonction drive f aux points o elle existe, car ce signe indique le sens de variation de f. Voir aussi infinitsimal, calcul. Il est noter que toute fonction drivable en un point x0 est continue en ce point. En revanche, la rciproque est fausse : par exemple, la fonction valeur absolue est continue en 0 mais non drivable. 5.6 Asymptotes Certaines fonctions ont la particularit de prsenter linfini une allure trs proche de celle dune droite appele asymptote. Lorsquun point situ sur la reprsentation graphique de la fonction sloigne linfini, la distance entre ce point et la droite asymptote tend vers 0. En calculant le coefficient de cette droite, on peut tracer la courbe associe la fonction avec plus de prcision. Par exemple, la fonction f qui tout x non nul associe f(x) = x + 1/x a pour asymptote en - et + la droite dquation y = x. 5.7 Reprsentation graphique Lorsque lon a dtermin le domaine de dfinition dune fonction, recens ses proprits particulires, calcul ventuellement ses limites aux points remarquables, tudi sa continuit et sa drivabilit, et recherch ses possibles asymptotes, on peut alors procder la reprsentation graphique de la fonction. Cette reprsentation consiste noter dans un repre orthonorm les points de coordonnes dtermins par les couples (x, y), o y = f(x), puis relier ces points entre eux. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

LIMITE (MATHMATIQUES)
1 PRSENTATION
70

Limite (mathmatiques), en mathmatiques, concept li ltude locale dune fonction ou au comportement dune suite infinie. On dit quune fonction f a pour limite le nombre l en un point x0 si lon peut toujours dterminer une valeur x voisine de x0 pour laquelle f est dfinie et telle que la diffrence entre l et f(x) soit arbitrairement petite. De mme, on dit quune suite infinie (un) a pour limite l ou converge vers l si lon peut toujours trouver un rang n de la suite partir duquel la diffrence entre l et un soit arbitrairement petit. Intuitivement, lexistence dune limite l pour une fonction ou une suite correspond au fait que, plus x est proche de x0 ou plus n est grand, plus f(x) ou un se rapproche de l. 2 CAS DUNE FONCTION Mathmatiquement, la dfinition de la limite l dune fonction f en x0 peut sexprimer de la manire suivante : une fonction f a pour limite le nombre l en un point x0 si, pour tout rel e, il existe un rel positif M tel que si |x-x0| M alors |f(x)-l| e. On note alors :

On peut remarquer que, si le rel l appartient lensemble de dfinition de f, alors l = f(x0). Par extension, on parle galement de limite l dune fonction en + et en - (le symbole dsignant linfini). Par exemple, on dit quune fonction f a pour limite l en - si, pour tout rel positif e, il existe un rel M tel que si x M alors |f(x)-l| e. Intuitivement, f(x) tend ainsi se rapprocher de l pour de grandes valeurs ngatives de x. De manire analogue, on introduit la limite infinie dune fonction en un point. Par exemple, une fonction f a pour limite + en un point x0 si, pour tout rel N, il existe un rel positif M tel que si |x-x0| M alors f(x) N. On note alors :

On dfinit de manire analogue la limite infinie dune fonction en + et en - . 3 CAS DUNE SUITE De la mme manire que pour une fonction, on peut traduire mathmatiquement la dfinition de la limite dune suite. On dit quune 71

suite (un) converge vers un rel l si, pour tout rel positif e, il existe un entier p tel que pour tout n p,|un-l| e. 4 OPRATIONS SUR LES LIMITES Soient deux fonctions f et g ayant pour limites respectives l et l en un point x0, l et l pouvant tre des rels ou correspondre + ou - . 4.1 Limite dune somme On dmontre que la fonction f + g a pour limite en x0 : l + l si l et l sont rels ; + si lune des limites l ou l vaut + , lautre tant diffrente de -; - si lune des limites l ou l vaut - , lautre tant diffrente de + . Dans le cas o lune des limites vaut + et lautre - , il est impossible daboutir une conclusion gnrale : on a affaire une forme indtermine et il faut alors procder une tude cas par cas. 4.2 Limite dun produit On dmontre que la fonction f.g a pour limite en x0 : le produit l.l si l et l sont rels ; + si lune des limites est strictement positive, lautre valant + , ou si lune des limites est strictement ngative, lautre valant - ; - si lune des limites est strictement positive, lautre valant - , ou si lune des limites est strictement ngative, lautre valant + ; + si l et l valent + ou - ; - si lune des limites vaut + , lautre tant gale - . Dans le cas o lune des limites est nulle, lautre valant + ou - , il est impossible de conclure dans le cas gnral : il sagit dune autre forme indtermine. 4.3 Limite dun quotient On dmontre que la fonction f / g a pour limite en x0 : le quotient l / l si l et l sont rels, l tant non nul ; 72

 + si l vaut + et l > 0, ou si l vaut - et l < 0 ; - si l vaut + et l < 0, ou si l vaut - et l > 0 ; 0 si l est un rel non nul, l valant + ou - . Dans le cas o les deux limites sont nulles, ou toutes deux infinies, on ne peut conclure, chaque cas tant particulier. Tous ces rsultats (somme, produit, quotient) demeurent valables si lon remplace x0 par + ou - . Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

SUITES ET SRIES
1 PRSENTATION
Suites et sries, on dfinit une suite comme une succession ordonne dlments pris dans un ensemble donn. Une srie est la somme des termes dune suite. Les suites et les sries occupent une place

73

fondamentale dans les mathmatiques modernes. Les travaux dAbel, de Cauchy et de Gauss sur la convergence ont marqu, au dbut du XIXe sicle, ltude des sries. Celle-ci ne se limite pas aux sries de nombres rels, mais sapplique aussi aux sries de nombres complexes, ou aux sries de fonctions. Les sries ont des applications dans de nombreux domaines scientifiques, comme llectronique.

2 SUITES RELLES
2.1 Dfinitions Une suite relle est une application dune partie de lensemble des entiers naturels dans lensemble des rels . On dfinit une suite note (un) par son terme gnral un, appel aussi terme de rang n, et par son premier terme (on suppose ici que cest u0). La suite est alors dtermine par une quation donnant un en fonction de n (par exemple, un = 2n + 1). Une suite peut tre galement dfinie par la valeur du premier terme et par une relation de rcurrence, cest--dire une relation liant plusieurs termes gnraux de rangs diffrents. Un exemple de suite rcurrente est la suite dfinie par u0 = 2, et un+1 = 2un - 6 pour tout n non nul. Une suite finie est une application dune partie finie de dans . Elle possde donc un nombre fini de termes. Au contraire, une suite infinie est une application dune partie infinie de (on prend gnralement tout entier) dans . Par exemple, la suite de Fibonacci, dont les premiers termes sont 0 et 1, et dont les autres termes sont la somme des deux termes prcdents, dtermine la suite 0, 1, 1, 2, 3, 5, 8, 13, etc. Elle est infinie. 2.2 Caractristiques Une suite est croissante si, pour tout entier n, un est suprieur ou gal un-1. Elle est dcroissante si, pour tout entier n, un est infrieur ou gal un-1. Une suite est majore sil existe un rel M et un entier p tels que, pour tout entier n > p, un < M. Une suite est minore sil existe un rel m et un entier p tels que, pour tout entier n > p, un > m. Une suite la fois majore et minore est une suite borne. 2.3 Convergence Une suite (un) converge vers un rel l, si, pour tout rel strictement positif , il existe un entier p tel que pour tout n > p, |un - l| . l est alors appele la limite de (un). Intuitivement, (un) converge vers l si, lorsque n augmente, un se rapproche de plus en plus de l. Par exemple, la 74

suite dfinie par un = 1 / n et u0 = 1 converge vers 0. Si une suite ne converge vers aucun rel, on dit quelle est divergente. partir de ces dfinitions, il est facile de dmontrer quune convergente est forcment borne partir dun certain rang. suite

Dans certains cas, on peut aisment prouver quune suite est convergente laide de certains critres. Soient trois suites (un), (vn) et (wn). Supposons que (vn) et (wn) convergent vers la mme limite l. Si partir dun certain rang, on a pour tout n : wn un vn, alors (un) converge vers l. Par ailleurs, toute suite croissante et majore est convergente. De mme, toute suite dcroissante et minore est convergente. 2.4 Suites de Cauchy Une suite relle est une suite de Cauchy si, pour tout rel strictement positif, il existe un entier p tel que pour tous n et m suprieurs p,| un - um| . Intuitivement, cela signifie que plus les termes dune suite de Cauchy sont de rang lev, plus ils sont proches les uns des autres. Les suites de Cauchy occupent une place trs importante dans lanalyse mathmatique moderne. Toute suite relle convergente est une suite de Cauchy, et tout suite relle de Cauchy est convergente, ce qui nest plus vrai pour les suites de nombres complexes. 2.5 Suites rcurrentes particulires Parmi les suites rcurrentes, les suites arithmtiques et gomtriques ont des proprits remarquables. Une suite arithmtique, ou progression arithmtique, est une suite dont la diffrence entre deux termes successifs est constante. Une suite gomtrique, ou progression gomtrique, est une suite dont le rapport de deux termes successifs est constant. Pour illustrer ces dfinitions, prenons lexemple dun investissement financier. Considrons une somme dargent de F francs, et un taux dintrt de 8 p. 100. Si les intrts ne sont calculs que sur la somme initiale de F francs, la valeur de linvestissement atteint, au bout de n annes, an = F + n (0,08) F francs. Si chaque anne, les intrts sont calculs sur la valeur actuelle de linvestissement, linvestissement initial atteint au bout de n annes la valeur de gn = F (1,08)n francs. Dans le premier cas, on ajoute chaque anne 0,08 F francs : (an) est une suite arithmtique. Dans le second cas, on multiplie chaque anne la valeur de linvestissement par 1,08 : (gn) est une suite gomtrique. 75

Le terme gnral dune suite arithmtique peut scrire : an = a0 + nr, o r est un nombre rel appel raison de la suite (un). De mme, le terme gnral dune suite gomtrique scrit : gn = g0qn, o le rel q est la raison de la suite (gn).

3 SRIES
3.1 Dfinition Soit (un) une suite dfinie sur lensemble des entiers naturels. On appelle srie de terme gnral un la suite (Sn) dfinie par Sn = u0 + u1 +u2 + ... + un pour tout entier n. Les termes Sn sont les sommes partielles de rang n de la srie. Une srie tant une suite, toutes les dfinitions donnes ci-dessus sappliquent. Si la srie (Sn) converge, sa limite est appele somme de la srie. 3.2 Convergence Si, pour tout entier n, le terme gnral de la srie (Sn) est positif, et si (Sn) est majore, alors (Sn) converge. Soient rn et sn, les termes gnraux positifs respectifs des sries (Rn) et (Sn). Supposons que pour tout entier n, rn soit infrieur sn. Alors, si (Sn) converge, (Rn) converge ; et si (Rn) diverge, (Sn) diverge. 3.3 Sries particulires Il est facile de calculer les sommes partielles des sries dont le terme gnral est une suite arithmtique ou gomtrique. Dans le premier cas, Sn = (n + 1) u0 +n (n + 1) r / 2. Dans le second, Sn = (n + 1) u0 si q est gal 1, et Sn = u0 (1 - qn+1) / (1 - q) si q est diffrent de 1. Collection Microsoft Encarta 2004. 1993-2003 Microsoft Corporation. Tous droits rservs.

76