En mathématiques , la géométrie analytique , également appelée géométrie des coordonnées ou géométrie cartésienne , est l'étude de la géométrie à l'aide d'un système de coordonnées . Elle se distingue de la géométrie synthétique .
La géométrie analytique est utilisée en physique et en ingénierie , ainsi qu'en aéronautique , en aérospatiale , en sciences spatiales , en statistique , en économie et en sciences sociales . Elle constitue le fondement de la plupart des domaines modernes de la géométrie, notamment la géométrie algébrique , différentielle , discrète et algorithmique .
On utilise généralement le système de coordonnées cartésiennes pour manipuler les équations des plans, des droites et des cercles, souvent en deux dimensions et parfois en trois dimensions. Géométriquement, on étudie le plan euclidien (deux dimensions) et l'espace euclidien. Telle qu'elle est enseignée dans les manuels scolaires, la géométrie analytique peut être expliquée plus simplement : elle consiste à définir et à représenter numériquement les figures géométriques, et à extraire des informations numériques à partir de ces définitions et représentations. Le fait que l'algèbre des nombres réels puisse être employée pour obtenir des résultats sur le continuum linéaire de la géométrie repose sur l' axiome de Cantor-Dedekind .
Histoire
Grèce antique
Le mathématicien grec Ménaechme a résolu des problèmes et prouvé des théorèmes en utilisant une méthode qui ressemblait fortement à l'utilisation des coordonnées et il a parfois été soutenu qu'il avait introduit la géométrie analytique.
Apollonius de Perga , dans son traité « Sur la section déterminée » , aborde les problèmes selon une approche que l'on pourrait qualifier de géométrie analytique à une dimension ; il s'agit notamment de trouver les points d'une droite en rapport avec les autres. Dans ses « Coniques », il développe une méthode si proche de la géométrie analytique que certains pensent que son œuvre a anticipé celle de Descartes d'environ 1800 ans. Son utilisation de lignes de référence, d'un diamètre et d'une tangente est fondamentalement identique à notre utilisation moderne d'un repère orthonormé, où les distances mesurées le long du diamètre à partir du point de tangence sont les abscisses, et les segments parallèles à la tangente et interceptés entre l'axe et la courbe sont les ordonnées. Il établit en outre des relations entre les abscisses et les ordonnées correspondantes, équivalentes à des équations rhétoriques (exprimées en mots) des courbes. Cependant, bien qu'Apollonius ait frôlé l'élaboration de la géométrie analytique, il n'y est pas parvenu car il n'a pas pris en compte les grandeurs négatives et, dans tous les cas, le système de coordonnées était superposé a posteriori à une courbe donnée au lieu d' a priori . Autrement dit, les équations étaient déterminées par les courbes, mais les courbes n'étaient pas déterminées par les équations. Les coordonnées, les variables et les équations étaient des notions subsidiaires appliquées à une situation géométrique spécifique.
Perse
Au XIe siècle, le mathématicien persan Omar Khayyam percevait un lien étroit entre géométrie et algèbre et s'orientait dans la bonne direction lorsqu'il contribua à combler le fossé entre algèbre numérique et algèbre géométrique grâce à sa solution géométrique des équations cubiques générales , mais l'étape décisive fut franchie plus tard avec Descartes. On attribue à Omar Khayyam l'identification des fondements de la géométrie algébrique , et son ouvrage, Traité des démonstrations des problèmes d'algèbre (1070), qui expose les principes de la géométrie analytique, fait partie du corpus des mathématiques persanes qui fut finalement transmis à l'Europe. En raison de son approche géométrique rigoureuse des équations algébriques, Khayyam peut être considéré comme un précurseur de Descartes dans l'invention de la géométrie analytique.
Europe occidentale
La géométrie analytique a été inventée indépendamment par René Descartes et Pierre de Fermat , bien que Descartes soit parfois crédité seul. La géométrie cartésienne , terme alternatif utilisé pour la géométrie analytique, tire son nom de Descartes.
Descartes a réalisé des progrès significatifs dans l'élaboration des méthodes dans un essai intitulé La Géométrie , l'un des trois essais (appendices) publiés en 1637 avec son Discours de la méthode pour bien diriger sa raison et rechercher la vérité dans les sciences , communément appelé Discours de la méthode . La Géométrie , rédigée en français , sa langue maternelle, et ses principes philosophiques ont jeté les bases du calcul infinitésimal en Europe. Initialement, l'ouvrage a été mal accueilli, notamment en raison des nombreuses lacunes dans les arguments et de la complexité des équations. Ce n'est qu'après la traduction en latin et l'ajout du commentaire de van Schooten en 1649 (et d'autres travaux ultérieurs) que le chef-d'œuvre de Descartes a reçu la reconnaissance qu'il méritait.
Pierre de Fermat a également été un pionnier du développement de la géométrie analytique. Bien que non publiée de son vivant, une version manuscrite de son <i>Introduction aux lieux plans et solides</i> (<i>Ad locos planos et solidos isagoge</i> ) circulait à Paris en 1637, juste avant la publication du <i>Discours</i> de Descartes . Claire et bien accueillie, cette introduction a également posé les fondements de la géométrie analytique. La principale différence entre les approches de Fermat et de Descartes réside dans le point de vue adopté : Fermat partait toujours d’une équation algébrique pour ensuite décrire la courbe géométrique qui la satisfaisait, tandis que Descartes partait des courbes géométriques et établissait leurs équations comme l’une de leurs propriétés. De ce fait, Descartes dut traiter des équations plus complexes et développer des méthodes pour résoudre des équations polynomiales de degré supérieur. C’est Leonhard Euler qui, le premier, a appliqué la méthode des coordonnées à une étude systématique des courbes et des surfaces spatiales.
