Aller au contenu

« Albert Girard » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Contenu supprimé Contenu ajouté
HB (discuter | contributions)
m Orthographe
 
(123 versions intermédiaires par 71 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
{{En-tête label|AdQ|année=2010}}
{{Homonymes|Albert Girard (homme politique)|Girard}}
{{Voir homonymes|Girard|Albert Girard (homonymie)}}
[[File:Invention Girard.PNG|thumb|Page de couverture de ''Invention nouvelle en l'Algèbre '' d'Albert Girard, publié à Amsterdam en 1629 par Blauew]]
{{Infobox Biographie2
'''Albert Girard''', dit le « '''Samielois''' », également appelé Albertus Gerardus [[Metz|Metensis]], parfois Albert Gérard, né vraisemblablement le {{date|11|octobre|1595}} à [[Saint-Mihiel]]<ref group="Note">Paul Tannery, ''Mémoires scientifiques: Sciences modernes, 1883-1904'', publié en 1926, chez E. Privat, retrouve en 1883 un Humbert Girard né à cette date à Saint-Mihiel. Il est le seul Girard né entre 1576 et 1610 dans cette paroisse.</ref> et mort à 37 ans, le 8 ou {{date|9|décembre|1632}} en [[Hollande]], probablement près de [[la Haye]]<ref group="Note">Christaan Huyguens donne la date du 9 Décembre 1632 dans son journal mais la date du 8 décembre figure dans le ''Dictionary of Scientific Biography''. Elle correspond à la mort, à Middelbourg, de [[Philippe van Lansberge|Philippe Lansberge]] de [[Meulebeke|Maulabeecke]] in le ''Journal'' tenu par Isaac Beeckman {{lire en ligne|lien=http://dbnl.nl/tekst/beec002jour04_01/beec002jour04_01.pdf|date=5 novembre}}.</ref>, est un [[mathématicien]] d'origine [[français]]e ayant mené toute sa carrière aux Pays-Bas.
| image = Invention Girard.PNG
| légende = Page de couverture de ''Invention nouvelle en l'Algèbre'' d'Albert Girard, publié à Amsterdam en 1629 par Blauew.
}}
'''Albert Girard''', dit le « '''Samielois''' », également appelé Albertus Gerardus [[Metz|Metensis]], parfois Albert Gérard, né vraisemblablement le {{date|11|octobre|1595}} à [[Saint-Mihiel]]<ref group="Note">Paul Tannery, ''Mémoires scientifiques: Sciences modernes, 1883-1904'', publié en 1926, chez E. Privat, retrouve en 1883 un Humbert Girard né à cette date à Saint-Mihiel. Il est le seul Girard né entre 1576 et 1610 dans cette paroisse.</ref> et mort à 37 ans, le 8 ou {{date|9|décembre|1632}}<ref group="Note">Christaan Huyguens donne la date du 9 décembre 1632 dans son journal mais la date du 8 décembre figure dans le ''Dictionary of Scientific Biography''. Elle correspond à la mort, à Middelbourg, de [[Philippe van Lansberge|Philippe Lansberge]] de [[Meulebeke|Maulabeecke]] in le ''Journal'' tenu par Isaac Beeckman {{lire en ligne|lien=http://dbnl.nl/tekst/beec002jour04_01/beec002jour04_01.pdf}}. On trouve parfois l'année 1633 comme dans la monographie de Henri Dannreuther, ''Le mathématicien Albert Girard de Saint-mihiel 1595-1633''.</ref> en [[Hollande]], probablement près de [[la Haye]]<ref group="Note">Ce lieu figure dans de nombreuses biographies comme celle de NNBW (voir [http://resources.huygens.knaw.nl/retroboeken/nnbw/#source=2&page=244&view=imagePane ici]. D'autres citent La Haye comme son lieu d'inhumation (Gustave Cohen, ''Écrivains français en Hollande dans la première moitié du {{17e|siècle}}'', [https://archive.org/stream/crivainsfran00coheuoft#page/342/mode/2up/search/Girard p. 342]), mais on trouve aussi [[Leyde]] dans {{MacTutor|id=Girard_Albert}}</ref>, est un [[mathématicien]] [[Duché de Bar|barrois]] [[français|francophone]] ayant mené toute sa carrière aux Pays-Bas.
De son vivant, Albert Girard est connu comme [[ingénieur militaire|ingénieur]]. Élève et traducteur des œuvres de [[Simon Stevin|Stevin]], ami de [[Jacob Golius|Golius]], de [[Willebrord Snell|Snell]] et sans doute de [[Jacques Aleaume]], il s'occupe en tout premier lieu de [[fortification]]s et d'ouvrages militaires.
De son vivant, Albert Girard est connu comme [[ingénieur militaire|ingénieur]]. Élève et traducteur des œuvres de [[Simon Stevin|Stevin]], ami de [[Jacob Golius|Golius]], de [[Willebrord Snell|Snell]] et sans doute de [[Jacques Aleaume]], il s'occupe en tout premier lieu de [[fortification]]s et d'ouvrages militaires.


Son importance est tardivement reconnue dans le domaine des mathématiques et son rôle de traducteur et de mécanicien masque longtemps l'originalité de ses travaux personnels dans cette discipline. Pour le R.P. [[Henri Bosmans]], ses ouvrages sont les plus importants qui ont été écrits entre Viète et [[René Descartes|Descartes]]<ref name="BB">Article du R.P. Henri Bosmans, ''La théorie des équations dans l'invention nouvelle en l'algèbre de Girard'', 1923 {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R012.pdf|date=27 septembre 2010}}.</ref>.
Son importance est tardivement reconnue dans le domaine des mathématiques et son rôle de traducteur et de mécanicien masque longtemps l'originalité de ses travaux personnels dans cette discipline. Pour [[Henri Bosmans]], ses ouvrages sont les plus importants qui ont été écrits entre Viète et [[René Descartes|Descartes]]<ref name="BB">Article du R. P. Henri Bosmans, ''La théorie des équations dans l'invention nouvelle en l'algèbre de Girard'', 1923, {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R012.pdf}}.</ref>.


Son œuvre, qui se situe à la transition des traditions de [[la Coss]], des innovations de l'[[algèbre nouvelle|algèbre spécieuse]] de [[François Viète]] et des préoccupations qui à la même époque animent [[Pierre de Fermat]] ou [[Claude-Gaspard Bachet de Méziriac|Bachet de Méziriac]], touche à des domaines variés et apporte de considérables nouveautés. Son écriture mathématique, héritée de la Coss et en partie de l'[[algèbre nouvelle]], fourmille de nouvelles notations. Plusieurs ont enrichi l'univers des mathématiques, notamment les parenthèses, les crochets, et son indexation des radicaux pour les racines cubiques ou cinquième.
Son œuvre, qui se situe à la transition des traditions de [[la Coss]], des innovations de l'[[algèbre nouvelle|algèbre spécieuse]] de [[François Viète]] et des préoccupations qui à la même époque animent [[Pierre de Fermat]] ou [[Claude-Gaspard Bachet de Méziriac|Bachet de Méziriac]], touche à des domaines variés et apporte de considérables nouveautés. Son écriture mathématique, héritée de la Coss et en partie de l'[[algèbre nouvelle]], fourmille de nouvelles notations. Plusieurs ont enrichi l'univers des mathématiques, notamment les parenthèses, les crochets, et son indexation des radicaux pour les racines cubiques ou cinquièmes.


Mais sa contribution va bien au-delà de cet apport et plusieurs propositions qui font date dans l'histoire des mathématiques sont nées sous la plume de Girard. Parmi celles-ci, se trouvent dès 1626 les premières notations de la fonction sin (pour sinus). Il est parmi les premiers à formuler le [[théorème fondamental de l'algèbre]] dans le cas de polynômes réels (1629), et le théorème des quatre carrés. Il est l'auteur du premier énoncé connu du théorème des deux carrés, dit « Fermat de Noël » (1625), et d'un des premiers énoncés de la formule de [[Edward Waring|Waring]], d'une définition précise des suites de [[Leonardo Fibonacci|Fibonacci]] etc. En anglais, la formule, qu'il est le premier à publier et qu'il démontre partiellement, donnant l'aire d'un triangle sphérique à l'aide de ses angles se nomme le [[trigonométrie sphérique|théorème de Girard]] ou d'[[Thomas Harriot|Harriot]]-Girard.
Sa contribution va bien au-delà de cet apport et plusieurs propositions qui font date dans l'histoire des mathématiques sont nées sous la plume de Girard. Parmi celles-ci, se trouvent dès 1626 les premières notations de la fonction sin (pour sinus). Il est parmi les premiers à formuler le [[théorème fondamental de l'algèbre]] dans le cas de polynômes réels (1629), et le théorème des quatre carrés. Il est l'auteur du premier énoncé connu du théorème des deux carrés, dit « Fermat de Noël » (1625), et d'un des premiers énoncés de la [[Identités de Newton|formule de Girard-]][[Waring]], d'une définition précise des [[Suite de Fibonacci|suites de Fibonacci]], etc. En anglais, la formule, qu'il est le premier à publier et qu'il démontre partiellement, donnant l'aire d'un triangle sphérique à l'aide de ses angles se nomme le [[trigonométrie sphérique|théorème de Girard]] ou d'[[Thomas Harriot|Harriot]]-Girard.


== Biographie ==
== Biographie ==
Albert Girard est né à la fin du XVI{{e}} à [[Saint-Mihiel]], petite ville de Lorraine située à 40 kilomètres au sud-ouest de [[Metz]], selon ce que [[Paul Tannery]], l'éditeur de Fermat et de Descartes, indique en 1883. Cette découverte fait d'Albert Girard un mathématicien français. Rien n'est connu néanmoins avec certitude, ni de ses premières études, ni de la date où sa famille rejoint la [[Hollande]].
Albert Girard est né à la fin du {{s-|XVI}} à [[Saint-Mihiel]], petite ville de l'actuel département de la [[Meuse (département)|Meuse]]. Cette découverte fait d'Albert Girard un mathématicien français. Rien n'est connu néanmoins avec certitude, ni de ses premières études, ni de la date où sa famille rejoint la [[Hollande]].


=== Exil en Hollande ===
=== Exil en Hollande ===
[[Fichier:Jodocus_Hondius.jpg|thumb|Le cartographe [[Jodocus Hondius|Hondius]], dont le portrait est parfois présenté - à tort - comme étant celui de Girard.]]
[[Fichier:Jodocus Hondius.jpg|thumb|Le cartographe [[Jodocus Hondius|Hondius]], dont le portrait est parfois présenté à tort comme étant celui de Girard.]]
Après [[1610]], le culte réformé est interdit sous le règne d'[[Henri II de Lorraine]] (Le favori de ce prince est membre de la maison des [[Maison de Guise|Guise]]) et de nombreux protestants lorrains sont contraints à l'exil<ref name="EU">{{en}} David Scott Richeson, ''Euler's gem: the polyhedron formula and the birth of topology'', Princeton University Press, 2008, {{pp.}}91-98 {{lire en ligne|lien=http://books.google.fr/books?id=LB_6VogerHIC&pg=PA91|date=6 novembre 2010}}.</ref>. Le jeune Albert Girard et sa famille rejoignent alors les [[Pays-Bas]]<ref>À propos des recherches du pasteur Henri Dannreuther, ''Le Mathématicien Albert Girard de Saint-Mihiel, 1595-1633'', in Société de l'histoire du protestantisme français (France), ''Bulletin historique et littéraire'', volume 43, année 1894, {{p.}}335.</ref>. Exilé, Albert Girard conserve toutefois sa vie durant un attachement à Saint-Mihiel et à Metz, dont il se réclame alternativement dans ses écrits. Il demeure simultanément adepte de la religion réformée, notamment au travers de ses polémiques avec son confrère [[Honorat de Meynier]]<ref group="Note">D'origine provençale, cet auteur d'un livre sur les fortifications laisse un portrait de lui ; ce portrait [http://banqueimages.crcv.fr/search.aspx?showtype=single&first=1&token=&type=search&searchform=&advanced=&sortField=&searchfield1=alphasortrepresente&query1=%5BMeynier+(de)%2C+Honorat%5D&searchfield2=&query2=&searchfield3=&query3=unPortrait d'Honorat de Meynier] se trouve sur le site de [http://banqueimages.crcv.fr la banque image crcv].</ref>, lorsque ce dernier traite les Huguenots d'[[hérétique]]s.
Après 1610, le culte réformé est interdit sous le règne d'[[Henri II de Lorraine]] (le favori de ce prince est membre de la maison des [[Maison de Guise|Guise]]) et de nombreux protestants [[lorrains]] sont contraints à l'exil<ref name="EU">{{en}} David Scott Richeson, ''Euler's gem: the polyhedron formula and the birth of topology'', Princeton University Press, 2008, {{p.}}91-98 {{lire en ligne|lien={{Google Livres|LB_6VogerHIC|page=91}}}}.</ref>. Le jeune Albert Girard et sa famille rejoignent alors les [[Pays-Bas]]<ref>À propos des recherches du pasteur Henri Dannreuther, ''Le Mathématicien Albert Girard de Saint-Mihiel, 1595-1633'', in Société de l'histoire du protestantisme français (France), ''Bulletin historique et littéraire'', volume 43, année 1894, {{p.}}335.</ref>. Exilé, Albert Girard conserve toutefois sa vie durant un attachement à Saint-Mihiel et à Metz, dont il se réclame alternativement dans ses écrits. Il demeure simultanément adepte de la religion réformée, notamment au travers de ses polémiques avec son confrère [[Honorat de Meynier]]<ref group="Note">D'origine provençale, cet auteur d'un livre sur les fortifications laisse un portrait de lui ; ce portrait [http://banqueimages.crcv.fr/search.aspx?showtype=single&first=1&token=&type=search&searchform=&advanced=&sortField=&searchfield1=alphasortrepresente&query1=%5BMeynier+(de)%2C+Honorat%5D&searchfield2=&query2=&searchfield3=&query3=unPortrait d'Honorat de Meynier] se trouve sur le site de [http://banqueimages.crcv.fr la banque image crcv].</ref>, lorsque ce dernier traite les Huguenots d'[[hérétique]]s.


=== Musicien et mathématicien ===
=== Musicien et mathématicien ===
En 1613, Girard réside à [[Amsterdam]], dans le quartier de la Halle. Il épouse le 12 avril 1614, Suzanne des Nouettes (également dénommée Suzanne de Noethes (née en 1596), des Monettes, des Mouettes, ou de Nouet)<ref name="NNBW">{{nl}} Nieuw Nederlandsch Biografisch Woordenboek {{lire en ligne|lien=http://www.inghist.nl/retroboeken/nnbw/#source=2&page=244|date=6 novembre 2010}}.</ref> dans l'église wallonne d'Amsterdam. Il est assisté de sa famille et se donne pour joueur de luth. Le 5 février 1615, il fait baptiser son fils Daniel, le premier d'une longue lignée, dans cette même ville. La même année, Girard se lie à [[Jacob Golius]], avec lequel il correspond dès [[1616]], échangeant avec lui quelques problèmes mathématiques<ref>D.J.Korteweg, « Descartes et les manuscrits de Snellius d'après quelques documents nouveaux » in ''Nieuw archief voor wiskunde'', volume 1 à 3, 1895 republié chez Weytingh & Brave, 1969 {{p.}}65.</ref>.
En 1613, Girard réside à [[Amsterdam]], dans le quartier de la Halle. Il épouse le {{date-|12 avril 1614}}, Suzanne des Nouettes (également dénommée Suzanne de Noethes (née en 1596), des Monettes, des Mouettes, ou de Nouet)<ref name="NNBW">{{nl}} ''Nieuw Nederlandsch Biografisch Woordenboek'' {{lire en ligne|lien=http://www.inghist.nl/retroboeken/nnbw/#source=2&page=244}}.</ref> dans l'église wallonne d'Amsterdam. Il est assisté de sa famille et se donne pour joueur de luth. Le {{date-|5 février 1615}}, il fait baptiser son fils Daniel, le premier d'une longue lignée, dans cette même ville. La même année, Girard se lie à [[Jacob Golius]], avec lequel il correspond dès [[1616]], échangeant avec lui quelques problèmes mathématiques<ref>D.J.Korteweg, « Descartes et les manuscrits de Snellius d'après quelques documents nouveaux » in ''Nieuw archief voor wiskunde'', volume 1 à 3, 1895 republié chez Weytingh & Brave, 1969 {{p.}}65.</ref>.


En [[1617]], Girard s'établit à [[Leyde]] (probablement y est-il appelé par Golius) ; il s'inscrit par lui-même à l'[[université de Leyde|université]] de cette ville le 28 avril 1617<ref>D'après Cornelis de Waard et Richard S. Westfall, ''biographie d'Albert Girard'', Projet Gallileo {{lire en ligne|lien=http://galileo.rice.edu/Catalog/NewFiles/girard.html |date=6 novembre 2010}}.</ref> où il étudie la musique. Il est toujours à Leyde, en juillet [[1622]]<ref>Girard fait baptiser sa fille Marie en l'église Saint-Pierre : {{nl}} Nieuw Nederlandsch Biografisch Woordenboek {{lire en ligne|lien=http://www.inghist.nl/retroboeken/nnbw/#source=2&page=244|date=6 novembre 2010}}.</ref>. Réfugié [[protestant]], et toujours joueur de [[luth]] professionnel<ref>Article de Christian Houzel extrait d'un article de La Recherche, novembre 1995, disponible sur [http://www.cerimes.fr/e_doc/nombre/girard.htm e-doc Mathématiques]</ref>, il entre pendant ces années-là en relation avec [[Willebrord Snell]], dont il ne cesse par la suite de chanter les louanges. Il y étudie également les mathématiques et donne quelques premiers travaux sur la [[chaînette]] qu'il identifie à tort<ref>Girard partage cette croyance avec Galilée. Il faut attendre [[Joachim Jung]] et Huyguens pour que la différence entre les deux courbes soit clairement établie. Voir ''Catenary or funicular curve'' sur le site mathcurve.com {{lire en ligne|lien=http://www.mathcurve.com/courbes2d/chainette/chainette.shtml|date=6 novembre 2010}}.</ref> à une parabole<ref name="NNBW"/> ; il prend, sans doute en hommage au [[Samuel Marolois|Marolois]], et à sa ville natale, le titre de « Samielois » (les Sammielois sont les habitants de [[Saint-Mihiel]], sur la [[Meuse (fleuve)|Meuse]], au sud de [[Verdun]]<ref name="Ir">Irem de l'université de Rennes : ''Equations du troisième et du second degré, Viète et Girard'', chapitre 12 {{lire en ligne|lien=http://www.irem.univ-rennes1.fr/ressources/docs_themes/histoire/brochures/FMPH/FMPH1-ch12.pdf|date=30 septembre 2010}}.</ref>). Dans d'autres textes, il se dit ''{{lang|la|Metensis}}''<ref>[[Gustave Cohen]], Écrivains français en Hollande, {{p.}}341 {{lire en ligne|lien=http://books.google.fr/books?id=Amij9VZsGoYC&pg=PA341|date=13 novembre 2010}}.</ref> c'est-à-dire [[Metz|Messin]], en [[latin]].
En [[1617]], Girard s'établit à [[Leyde]] (probablement y est-il appelé par Golius) ; il s'inscrit par lui-même à l'[[université de Leyde|université]] de cette ville le {{date-|28 avril 1617}}<ref>D'après Cornelis de Waard et [[Richard S. Westfall]], ''Biographie d'Albert Girard'', Projet Gallileo, {{lire en ligne|lien=http://galileo.rice.edu/Catalog/NewFiles/girard.html}}.</ref> où il étudie la musique. Il est toujours à Leyde, en juillet [[1622]]<ref>Girard fait baptiser sa fille Marie en l'église Saint-Pierre : {{nl}} ''Nieuw Nederlandsch Biografisch Woordenboek'', {{lire en ligne|lien=http://www.inghist.nl/retroboeken/nnbw/#source=2&page=244}}.</ref>. Réfugié [[protestant]], et toujours joueur de [[luth]] professionnel<ref>Article de Christian Houzel extrait d'un article de La Recherche, novembre 1995, disponible sur [http://www.cerimes.fr/e_doc/nombre/girard.htm e-doc Mathématiques].</ref>, il entre pendant ces années-là en relation avec [[Willebrord Snell]], dont il ne cesse par la suite de chanter les louanges. Il y étudie également les mathématiques et donne quelques premiers travaux sur la [[chaînette]] qu'il identifie à tort<ref>Girard partage cette croyance avec Galilée. Il faut attendre [[Joachim Jung]] et Huyguens pour que la différence entre les deux courbes soit clairement établie. Voir {{Lien web|langue=en|titre=Catenary or funicular curve|site=mathcurve.com|url=http://www.mathcurve.com/courbes2d/chainette/chainette.shtml}}.</ref> à une parabole<ref name="NNBW"/> ; il prend, sans doute en hommage au [[Samuel Marolois|Marolois]] et à sa ville natale, le titre de « Samielois » (les Sammielois sont les habitants de [[Saint-Mihiel]], sur la [[Meuse (fleuve)|Meuse]], au sud de [[Verdun (Meuse)|Verdun]]<ref name="Ir">Irem de l'université de Rennes, ''Équations du troisième et du second degré, Viète et Girard'', chap. 12, {{lire en ligne|lien=http://www.irem.univ-rennes1.fr/ressources/docs_themes/histoire/brochures/FMPH/FMPH1-ch12.pdf}}.</ref>). Dans d'autres textes, il se dit ''{{langue|la|Metensis}}''<ref>[[Gustave Cohen]], ''Écrivains français en Hollande'', {{p.}}341 {{lire en ligne|lien={{Google Livres|Amij9VZsGoYC|page=341}}}}.</ref> c'est-à-dire [[Metz|Messin]], en [[latin]].


=== Les fortifications ===
=== Les fortifications ===
[[Fichier:Hans Vredeman de Vries-portrait.jpg|thumb|upright=0.8|[[Hans Vredeman de Vries]]]]
[[Fichier:Hans Vredeman de Vries-portrait.jpg|thumb|[[Hans Vredeman de Vries]].]]
À l'instar de ses maîtres, [[Simon Stevin]], pour lequel il déborde d'admiration<ref>Sylvain Van de Weyer, ''Simon Stevin et M. Dumortier ; lettre à messieurs de l'Academie des sciences'', 1845 {{p.}}100 {{lire en ligne|lien=http://books.google.fr/books?id=TJIvAAAAYAAJ&printsec=frontcover&dq=%22Albert+Girard%22++gassendi&hl=fr&ei=h0zVTOTZNcScOpfFxLAJ&pg=PA100#v=onepage&q&f=false|date=6 novembre 2010}}.</ref>, et probablement [[Jacques Aleaume]], Girard est intéressé par les applications militaires des mathématiques, en particulier les fortifications. Il corrige et traduit les œuvres de Simon Stevin et les édite en 1625<ref>Catherine Secrétan, Pim den Boer, ''De la vie civile, 1590'', ENS Editions, 2005 {{ISBN|284788047X}} {{p.}}131 {{lire en ligne|lien=http://books.google.fr/books?id=S3k_4haykTkC&pg=PA131|consulté le 23 septembre 2010}}. Le R.P. Henri Bosmans juge que sa traduction conserve une marge d'approximation, quoique très fidèle eu égard aux habitudes de l'époque.</ref>, œuvres auxquelles il ajoute un livre de géométrie de sa composition traduit des livres V et VI de [[Diophante d'Alexandrie|Diophante]]. Deux ans plus tard, il traduit en français les œuvres du cartographe hollandais [[Hendrik Hondius I|Hendrik Hondius]] et participe à l'édition abondamment corrigée du ''Traité sur les fortifications'' de [[Samuel Marolois]] (1627). Ce traité est édité conjointement avec ''L’Architecture contenant la toscane, dorique, ionique, corinthiaque et composée'' de [[Hans Vredeman de Vries]], et est publié par Henri Hondius de [[La Haye]] en 1606, et réédité en 1617, 1620, etc. Il est dédié par l'éditeur [[Johannes Janssonius|Jan Janssen]] au prince Henri de Nassau. Le second de ses ouvrages, ''Fortification ou Architecture militaire tant offensive que defensive'' a été publié chez Hondius en 1615. Il est divisé en deux parties, l'une concernant les fortifications régulières ou idéales, l'autre les fortifications irrégulières, les plus répandues en Hollande<ref>Article de Piet Lombaerde, ''Notice bibliographique'' {{lire en ligne|lien=http://architectura.cesr.univ-tours.fr/traite/Notice/ENSBA_13331.asp|date=5 novembre 2010}}.</ref>.
À l'instar de ses maîtres, [[Simon Stevin]], pour lequel il déborde d'admiration<ref>Sylvain Van de Weyer, ''Simon Stevin et M. Dumortier ; lettre à messieurs de l'Academie des sciences'', 1845 {{p.}}100 {{lire en ligne|lien={{Google Livres|TJIvAAAAYAAJ|page=100}}}}.</ref>, et probablement [[Jacques Aleaume]], Girard est intéressé par les applications militaires des mathématiques, en particulier les fortifications. Il corrige et traduit les œuvres de Simon Stevin et les édite en 1625<ref>Catherine Secrétan, Pim den Boer, ''De la vie civile, 1590'', ENS Editions, 2005 {{ISBN|2-84788-047-X}} {{p.}}131 {{lire en ligne|lien={{Google Livres|S3k_4haykTkC|page=131}}}}. Le R.P. Henri Bosmans juge que sa traduction conserve une marge d'approximation, quoique très fidèle eu égard aux habitudes de l'époque.</ref>, œuvres auxquelles il ajoute un livre de géométrie de sa composition traduit des livres V et VI de [[Diophante d'Alexandrie|Diophante]]. Deux ans plus tard, il traduit en français les œuvres du [[Cartographie|cartographe]] hollandais [[Hendrik Hondius I|Hendrik Hondius]] et participe à l'édition abondamment corrigée du ''Traité sur les fortifications'' de [[Samuel Marolois]] (1627). Ce traité est édité conjointement avec ''L’Architecture contenant la toscane, dorique, ionique, corinthiaque et composée'' de [[Hans Vredeman de Vries]], et est publié par Henri Hondius de [[La Haye]] en 1606, et réédité en 1617, 1620, etc. Il est dédié par l'éditeur [[Johannes Janssonius|Jan Janssen]] au prince Henri de Nassau. Le second de ses ouvrages, ''Fortification ou Architecture militaire tant offensive que defensive'' a été publié chez Hondius en 1615. Il est divisé en deux parties, l'une concernant les fortifications régulières ou idéales, l'autre les fortifications irrégulières, les plus répandues en Hollande<ref>Article de Piet Lombaerde, ''Notice bibliographique'', {{lire en ligne|lien=http://architectura.cesr.univ-tours.fr/traite/Notice/ENSBA_13331.asp}}.</ref>.


=== Une fin prématurée ===
=== Une fin prématurée ===
Ligne 31 : Ligne 35 :
{{citation bloc|Étant ici en pays étranger, sans mécène et non sans perte, avec une grande famille, je n'y ai pas le loisir ni le pouvoir d'écrire ici tout ce qui pourrait être convenable.}}
{{citation bloc|Étant ici en pays étranger, sans mécène et non sans perte, avec une grande famille, je n'y ai pas le loisir ni le pouvoir d'écrire ici tout ce qui pourrait être convenable.}}


Un siècle plus tard, l'historien des mathématiques [[Jean-Étienne Montucla]] tire la morale de cette misère<ref>Ernest Rousseau, ''Histoire des sciences physiques,mathématiques et naturelles'', in Patria Belgica, {{p.}}172 {{lire en ligne|lien=http://www.archive.org/stream/patriabelgicaen00belggoog#page/n172/mode/1up|date=28 septembre 2010}}.</ref> :
Un siècle plus tard, l'historien des mathématiques [[Jean-Étienne Montucla]] tire la morale de cette misère<ref>Ernest Rousseau, ''Histoire des sciences physiques,mathématiques et naturelles'', in Patria Belgica, {{p.}}172, {{lire en ligne|lien=https://archive.org/stream/patriabelgicaen00belggoog#page/n172/mode/1up}}.</ref> :
{{Citation bloc|Les pôrismes d'Euclide sont une mine qui ne vaut pas celles du [[Pérou]] ou du [[Potosi]].}}
{{Citation bloc|Les porismes d'Euclide sont une mine qui ne vaut pas celles du [[Pérou]] ou du [[Département de Potosí|Potosi]].}}


[[Fichier:Frederik Hendrik by Michiel Jansz van Mierevelt.jpg|thumb|upright=0.8|[[Frédéric-Henri d'Orange-Nassau]], dont Girard est ingénieur militaire]]
[[Fichier:Frederik Hendrik by Michiel Jansz van Mierevelt.jpg|thumb|[[Frédéric-Henri d'Orange-Nassau]], dont Girard est ingénieur militaire.]]


Parmi ses rencontres, figure [[Pierre Gassendi]], qui sollicite un entretien en juillet 1629 par l'entremise d'un ami commun, nommé Fresne-[[Philippe Canaye|Canaye]]. Afin de mettre en présence le philosophe français et l'ingénieur militaire du [[Stathouder]], Fresne-Canaye leur donne à souper. À cette occasion, le philosophe français remarque<ref>C. de Waard, ''Journal tenu par Isaac Beeckman'' de 1604 à 1634 {{p.}}153 {{lire en ligne|lien=http://www.xs4all.nl/~adcs/beeckman/suppl/parhelia.html|date=23 septembre 2010}}. Dans une lettre de Gassendi à Peiresc du 21 juillet 1629, ce dernier précise qu'il s'agit de Mr de Fresne Canaye ; sans doute un parent de l'ambassadeur d'Henri IV.</ref> :
Parmi ses rencontres, figure [[Pierre Gassendi]], qui sollicite un entretien en {{date-|juillet 1629}} par l'entremise d'un ami commun, nommé Fresne-[[Philippe Canaye|Canaye]]. Afin de mettre en présence le [[philosophe]] français et l'ingénieur militaire du [[Stathouder]], Fresne-Canaye leur donne à souper. À cette occasion, le philosophe français remarque<ref>C. de Waard, ''Journal tenu par Isaac Beeckman'' de 1604 à 1634, {{p.}}153, {{lire en ligne|lien=http://www.xs4all.nl/~adcs/beeckman/suppl/parhelia.html}}. Dans une lettre de Gassendi à Peiresc du 21 juillet 1629, ce dernier précise qu'il s'agit de Mr de Fresne Canaye ; sans doute un parent de l'ambassadeur d'Henri IV.</ref> :


{{citation bloc|(que) tous ces gens-là sont pour le mouvement de la Terre.}}
{{citation bloc|(que) tous ces gens-là sont pour le mouvement de la Terre.}}


L'entrevue a lieu alors qu'Albert Girard sert le prince d'Orange [[Frédéric-Henri de Nassau]] ; [[Pierre Gassendi]] précise qu'elle se tient au camp de [[Bois-le-Duc]]<ref>Rienk Vermij, ''Part II : The challenge to philosophy : The Calvinist Copernicans'' sur le site [http://www.knaw.nl/ Knaw.nl] de l'académie royale de Hollande {{lire en ligne|lien=http://www.historyofscience.nl/search/detail.cfm?startrow=165&view=image&pubid=95|date=23 septembre 2010}}.</ref>. Après le siège d'[[Bois-le-Duc|Hertogenbosch]], auquel il assiste avec Henri de Bergaigne<ref group="Note">Henri de Bergaigne, capitaine d'une compagnie de cavalerie à la bataille de Bar le Duc est mort en 1666, après avoir reçu le titre de bailli (ou de sénéchal -hoogschout en hollandais-), probablement le même Henri Bergaigne, né à Breda vers 1588, et enregistré comme juriste à Leyde le 21 mai 1612.</ref>, Girard dédie à ce protecteur et ami son ''Invention nouvelle en l'algèbre'' (Amsterdam, 1629). Il envisage alors de rédiger un traité d'optique et un traité de musique<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècle'', Naud, Paris, 1898 {{pp.}}246-247 {{pdf}} [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf Télécharger ici]</ref> ; mais ses finances ne le lui permettent pas.
L'entrevue a lieu alors qu'Albert Girard sert le prince d'Orange [[Frédéric-Henri de Nassau]] ; [[Pierre Gassendi]] précise qu'elle se tient au camp de [[Bois-le-Duc]]<ref>{{en}} Rienk Vermij, ''Part II : The challenge to philosophy : The Calvinist Copernicans'' sur le site [http://www.knaw.nl/ Knaw.nl] de l'Académie royale de Hollande, {{lire en ligne|lien=http://www.historyofscience.nl/search/detail.cfm?startrow=165&view=image&pubid=95}}.</ref>. Après le [[siège de Bois-le-Duc (1629)|siège de Bois-le-Duc]], auquel il assiste avec Henri de Bergaigne, Girard dédie à ce protecteur et ami son ''Invention nouvelle en l'algèbre<ref group="Note">{{Citation|À Mr. Henry de Bergaigne, capitaine d'une compagnie de cavalerie .... Receveur des contributions de Brabant au quartier de Breda’, en relevant que, dans les mathématiques il avait fait ‘un progrez au delà du vulgaire.}} Henri de Bergaigne, capitaine d'une compagnie de cavalerie à la bataille de Bar le Duc est mort en 1666, après avoir reçu le titre de bailli (ou de sénéchal -hoogschout en hollandais-), probablement le même Henri Bergaigne, né à Breda vers 1588, et enregistré comme juriste à Leyde le 21 mai 1612. {{Ouvrage|prénom1=Cornelis|nom1=de Waard (ed.)|lien auteur1=Cornelis de Waard|titre=Journal tenu par Isaac Beeckman de 1604 à 1634|éditeur=Martinus Nijhoff|lieu=La Haye|année=1939|tome=1 : 1604-1619|passage=261|lire en ligne=http://www.dbnl.org/tekst/beec002jour01_01/beec002jour01_01-x5.pdf|consulté le=21 février}}</ref>'' (Amsterdam, 1629). Il envisage alors de rédiger un traité d'optique et un traité de musique<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, {{s2-|XVII|XVIII}}'', Naud, Paris, 1898 {{p.}}246-247, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf Télécharger ici].</ref> ; mais ses finances ne le lui permettent pas.


D'après le mathématicien [[Olry Terquem (mathématicien)|Olry Terquem]], Girard succombe sous les étreintes de cette profonde misère<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècle'', Naud, Paris, 1898 {{p.}}173 {{pdf}} [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf Télécharger ici]</ref>.
D'après le mathématicien [[Olry Terquem (mathématicien)|Olry Terquem]], Girard succombe sous les étreintes de cette profonde misère<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, {{s2-|XVII|XVIII}}'', Naud, Paris, 1898, {{p.}}173, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf télécharger ici].</ref>.


À l'heure de sa mort, le peuple le connaît davantage comme [[ingénieur militaire]] du prince [[Frédéric-Henri d'Orange-Nassau]] qu'en tant que mathématicien. Il meurt d'ailleurs dans un état voisin de l'indigence, selon [[Jean-Étienne Montucla]]<ref name="M">[[Joseph François Michaud]], [[Louis Gabriel Michaud]], ''Biographie universelle ancienne et moderne'', Volume 16], chez Madame C. Desplaces, 1856, {{p.}}521 {{lire en ligne|lien=http://books.google.fr/books?id=wQA_AAAAcAAJ&pg=PA521|date=23 septembre 2010}}.</ref> et [[Diederik Johannes Korteweg]]. Après sa mort, le 11 décembre 1632, ses parents l'enterrent dans la « ''{{lang|nl|Groote Kerk}}'' » sous le nom de « Monsieur Albert », ingénieur.
À l'heure de sa mort, le peuple le connaît davantage comme [[ingénieur militaire]] du prince [[Frédéric-Henri d'Orange-Nassau]] qu'en tant que mathématicien. Il meurt d'ailleurs dans un état voisin de l'indigence, selon [[Jean-Étienne Montucla]]<ref name="M">[[Joseph François Michaud]] et [[Louis-Gabriel Michaud]], ''Biographie universelle ancienne et moderne'', vol. 16, chez Madame C. Desplaces, 1856, {{p.}}521 {{lire en ligne|lien={{Google Livres|wQA_AAAAcAAJ|page=521}}}}<!--https://fr.wikisource.org/w/index.php?title=Page:Michaud_-_Biographie_universelle_ancienne_et_moderne_-_1843_-_Tome_16.djvu/526&action=edit&redlink=1-->.</ref> et [[Diederik Johannes Korteweg]]. Après sa mort, le {{date-|11 décembre 1632}}, ses parents l'enterrent dans la « ''{{langue|nl|Groote Kerk}}'' » sous le nom de « Monsieur Albert », ingénieur.


L'épouse du « Samielois » continue de publier ses ouvrages, essentiellement ses traductions de Stevin dont sa ''statique ou pondéraire''. Il la laisse avec onze enfants (dont le dernier, posthume)<ref name="Ir"/>. La préface des œuvres de Stevin, publiée par eux, comporte cette dédicace évoquant leur situation<ref name="Ir"/> :
L'épouse du « Samielois » continue de publier ses ouvrages, essentiellement ses traductions de Stevin dont sa ''statique ou pondéraire''. Il la laisse avec onze enfants (dont le dernier, posthume)<ref name="Ir"/>. La préface des œuvres de Stevin, publiée par eux, comporte cette dédicace évoquant leur situation<ref name="Ir"/> :
{{citation bloc|Voici une pauvre veuve<ref group="Note">Certains auteurs dont Verduin, ''Laudatione de Simone Stevino'' ont cru qu'il s'agissait de la veuve de Simon Stevin lui-même et ont voulu y voir une preuve de l'ingratitude du prince Maurice et de son frère Hendrick. Article d'A. Ricour « Simple remarque concernant la biographie de Stevin » in ''Bulletin du Comité flamand de France'', volume 2, 1862, {{p.}}234 {{lire en ligne|lien=http://books.google.fr/books?id=2JIUAAAAYAAJ&pg=PA234|date=12 novembre 2010}}.</ref> avec onze enfants orphelins auxquels le mari et père, décédé il y a un an, n’a laissé qu’une bonne réputation d’avoir fidèlement servi, et employé tout son temps à la recherche des plus beaux secrets des mathématiques ; ayant été ravi lorsqu’il projetait d’en laisser quelques monuments utiles à la postérité, et de sa propre invention : lesquels il eut lui-même apporté aux pieds de vos Seigneurs Très-illustres, si Dieu lui eût donné le loisir de les parachever.}}
{{citation bloc|Voici une pauvre veuve<ref group="Note">Certains auteurs dont Verduin, ''Laudatione de Simone Stevino'' ont cru qu'il s'agissait de la veuve de Simon Stevin lui-même et ont voulu y voir une preuve de l'ingratitude du prince Maurice et de son frère Hendrick. Article d'A. Ricour « Simple remarque concernant la biographie de Stevin », ''Bulletin du Comité flamand de France'', vol. 2, 1862, {{p.}}234, {{lire en ligne|lien={{Google Livres|2JIUAAAAYAAJ|page=234}}}}.</ref> avec onze enfants orphelins auxquels le mari et père, décédé il y a un an, n’a laissé qu’une bonne réputation d’avoir fidèlement servi, et employé tout son temps à la recherche des plus beaux secrets des mathématiques ; ayant été ravi lorsqu’il projetait d’en laisser quelques monuments utiles à la postérité, et de sa propre invention : lesquels il eut lui-même apporté aux pieds de vos Seigneurs Très-illustres, si Dieu lui eût donné le loisir de les parachever.}}


== Travaux ==
== Travaux ==
Longtemps Girard ne fut connu qu'à titre d'[[éditeur (métier)|éditeur]] et de [[traduction|traducteur]] des œuvres de [[Simon Stevin]]. Le maître avait déjà traduit ses propres œuvres en français, notamment son ''Arithmétique'', son traité sur ''Les fortifications par écluse'' et sa ''[[Castramétation]]'' (c'est-à-dire l'art de former des camps militaires) ; simultanément, le secrétaire du prince [[Frédéric-Henri d'Orange-Nassau|Henri]], un certain Jean Tuning<ref group="Note">Né à Leyde, immatriculé à son université en 1593, licencié es lois et secrétaire du frère de [[Maurice de Nassau|Maurice d'Orange]], Jean Tuning publia en 1605 et 1608, chez Jean Paedts, plusieurs traductions de Stevin, ses ''Mémoires mathématiques'', comprenant les leçons qu'il donnait au prince d'Orange et la façon de tenir les comptes à l'italienne ; sa figure est évoquée par Henri Bosman, ''Le mathématicien belge Simon Stevin'', {{p.}}6, {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R035.pdf}} et [http://www.vliz.be/imisdocs/publications/129491.pdf Georges Sarton].</ref>, avait traduit une autre partie de ces ouvrages (vers 1605-1508) sous le titre de ''Mémoires mathématiques contenant ce en quoy s'est exercé Ie très excellent prince et seigneur Maurice, prince d'Orange etc, écrit premièrement en bas Allemand par Simon Stevin de Bruges''. Ces œuvres étaient divisées en cinq volumes : la [[cosmologie|cosmographie]] (ou description du Monde, dans laquelle Stevin se montre ouvertement favorable à la théorie de [[Nicolas Copernic|Copernic]]<ref>R. Pastiels, « Les Émissions lumineuses du Ciel nocturne », ''Ciel et Terre'', vol. 69, {{p.}}277, {{lire en ligne|lien=http://adsabs.harvard.edu/full/1953C%26T....69..277P}}.</ref>), la pratique de la [[géométrie]], l'art de [[poids|peser]] (ou pondéraire), les [[Perspective conique|perspectives]] et des mélanges.


Girard les réédite en 1625, puis en 1634, de façon fidèle et bien écrite en distinguant scrupuleusement ce qui tient de sa traduction de ce qui relève de son interprétation<ref group="Note">De sorte que, selon Bosmans, les craintes de [[Moritz Cantor]] d'après lesquelles il est impossible de distinguer ce qui est dans Stevin de ce qui appartient à Girard sont infondées, in ''Le mathématicien belge Simon Stevin'', {{p.}}5, {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R035.pdf}}.</ref>. Il affirme notamment<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, {{s2-|XVII|XVIII}}'', Naud, Paris, 1898, {{p.}}170, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf télécharger ici].</ref> :
Longtemps Girard ne fut connu qu'à titre d'[[éditeur]] et de [[traduction|traducteur]] des œuvres de [[Simon Stevin]]. Le maître avait déjà traduit ses propres œuvres en français, notamment son ''Arithmétique'', son traité sur ''Les fortifications par écluse'' et sa ''[[Castramétation]]'' (c'est-à-dire l'art de former des camps militaires) ; simultanément, le secrétaire du prince [[Frédéric-Henri d'Orange-Nassau|Henri]], un certain Jean Tuning<ref group="Note">Né à Leyde, immatriculé à son université en 1593, licencié es lois et secrétaire du frère de [[Maurice de Nassau|Maurice d'Orange]], Jean Tuning publia en 1605 et 1608, chez Jean Paedts, plusieurs traductions de Stevin, ses ''Mémoires mathématiques'', comprenant les leçons qu'il donnait au prince d'Orange et la façon de tenir les comptes à l'italienne ; sa figure est évoquée par Henri Bosman, ''Le mathématicien belge Simon Stevin'' {{p.}}6 {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R035.pdf|date=30 septembre 2010}} et {{pdf}} [http://www.vliz.be/imisdocs/publications/129491.pdf Georges Sarton]. </ref>, avait traduit une autre partie de ces ouvrages (vers 1605-1508) sous le titre de ''Mémoires mathématiques contenant ce en quoy s'est exercé Ie trés excellent prince et seigneur Maurice, prince d'Orange etc, écrit premièrement en bas Allemand par Simon Stevin de Bruges''. Ces œuvres étaient divisées en cinq volumes : la [[cosmologie|cosmographie]] (ou description du Monde, dans laquelle Stevin se montre ouvertement favorable à la théorie de [[Copernic]]<ref>R. Pastiels, « Les Emissions lumineuses du Ciel nocturne » in Ciel et Terre, Vol. 69, {{p.}}277 {{lire en ligne|lien=http://adsabs.harvard.edu/full/1953C%26T....69..277P|date=8 novembre 2010}}.</ref>), la pratique de la [[géométrie]], l'art de [[poids|peser]] (ou pondéraire), les [[Perspective (représentation)|perspective]]s et des mélanges.

Girard les réédite en 1625, puis en 1634, de façon fidèle et bien écrite en distinguant scrupuleusement ce qui tient de sa traduction de ce qui relève de son interprétation<ref group="Note">De sorte que, selon Bosmans, les craintes de [[Moritz Cantor]] d'après lesquelles il est impossible de distinguer ce qui est dans Stevin de ce qui appartient à Girard sont infondées, in ''Le mathématicien belge Simon Stevin'' {{p.}}5 {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R035.pdf|date=28 septembre 2010}}.</ref>. Il affirme notamment<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècle'', Naud, Paris, 1898, {{p.}}170 {{pdf}} [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf Télécharger ici]</ref> :
{{citation bloc|Il y a d'autres définitions qui sont nécessaires, comme celles qui suivent, lesquelles j'eusse mis en leur lieu, n'était que je ne désire pas mêler ce que l'auteur dit avec ce que j'écris.}}
{{citation bloc|Il y a d'autres définitions qui sont nécessaires, comme celles qui suivent, lesquelles j'eusse mis en leur lieu, n'était que je ne désire pas mêler ce que l'auteur dit avec ce que j'écris.}}


Dans ces commentaires, Girard essaye de simplifier les méthodes ou la doctrine. Mais il va souvent plus loin que Stevin et il apporte en 1629 une contribution personnelle qui dépasse amplement l'œuvre du traducteur<ref>{{en}} D. J. Struik, ''Source book in mathematics, 1200-1800'', {{pp.}}8 et seq {{lire en ligne|lien=http://books.google.fr/books?id=XmRsZhJZGhEC&pg=PA81 |date=23 septembre 2010}}.</ref>.
Dans ces commentaires, Girard essaye de simplifier les méthodes ou la doctrine. Mais il va souvent plus loin que Stevin et il apporte en 1629 une contribution personnelle qui dépasse amplement l'œuvre du traducteur<ref>{{en}} D. J. Struik, ''Source Book in Mathematics, 1200-1800'', {{p.}}8 et seq., {{lire en ligne|lien={{Google Livres|XmRsZhJZGhEC|page=81}}}}.</ref>.


Tant dans ses notations que dans ses résultats, il se montre notamment influencé par la nouvelle façon d'écrire les [[équation]]s et de concevoir les [[polynôme]]s initiée par [[François Viète]] dès 1591 avec la publication de ce livre fondateur qu'est ''l'Isagoge in Artem Analycitem'' ou [[Algèbre nouvelle|Isagoge]]. Peut-être initié à cette nouvelle conception par le successeur de Stevin et élève de Viète [[Jacques Aleaume]], alors professeur de mathématiques de l'[[Université de Leyde]]<ref name="R"> ''Étude sur la vie du mathématicien François Viète (1540-1603), son temps et son œuvre'', par Frédéric Ritter, polytechnicien et ingénieur des ponts et chaussées : tome I {{lire en ligne|lien=http://www.archivesnationales.culture.gouv.fr/chan/chan/pdf/ap/apscient.pdf |date=23 septembre 2010}}. Elles sont disponibles sous forme de microfilm (87Mi/1) auprès du [http://www.archivesnationales.culture.gouv.fr/chan/ CARAN].</ref>, Girard dépasse, là encore, les connaissances qui lui ont été léguées.
Tant dans ses notations que dans ses résultats, il se montre notamment influencé par la nouvelle façon d'écrire les [[équation]]s et de concevoir les [[polynôme]]s initiée par [[François Viète]] dès 1591 avec la publication de ce livre fondateur qu'est ''[[In Artem Analycitem Isagoge|l'Isagoge in Artem Analycitem]]'' ou [[Algèbre nouvelle|Isagoge]]. Peut-être initié à cette nouvelle conception par le successeur de Stevin et élève de Viète [[Jacques Aleaume]], alors professeur de mathématiques de l'[[Université de Leyde]]<ref name="R">[[Frédéric Ritter]], ''Étude sur la vie du mathématicien François Viète (1540-1603), son temps et son œuvre'', t. I, {{lire en ligne|lien=http://www.archivesnationales.culture.gouv.fr/chan/chan/pdf/ap/apscient.pdf}}. Elles sont disponibles sous forme de microfilm (87Mi/1) auprès du [http://www.archivesnationales.culture.gouv.fr/chan/ CARAN].</ref>, Girard dépasse, là encore, les connaissances qui lui ont été léguées.


Alors que Viète n'admet pas les [[nombre négatif|quantités négatives]] (ce qui lui vaut quelques fautes dans ses posthumes ''Equationum recognitione et emendation'')<ref>Article du R.P. Henri Bosmans, ''Le mathématicien belge Simon Stevin'' {{p.}}18 {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R035.pdf|date=28 septembre 2010}}. Bosmans affirme que l'ouvrage publié par [[Alexander Anderson (mathématicien)|Alexander Anderson]] en 1615 comporte des erreurs de signes.</ref> ou demeure prisonnier de notations respectant l'[[Polynôme homogène|homogénéité]] (pour des raisons géométriques), le Sammielois Girard laisse entrevoir dans ses rares pages d'algèbre quelques-unes des découvertes qui ne seront fixées qu'avec [[Jean le Rond D'Alembert|D'Alembert]] ou [[Isaac Newton|Newton]].
Alors que Viète n'admet pas les [[nombre négatif|quantités négatives]] (ce qui lui vaut quelques fautes dans ses posthumes ''Equationum recognitione et emendation'')<ref>Article du R. P. Henri Bosmans, ''Le mathématicien belge Simon Stevin'', {{p.}}18, {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R035.pdf}}. Bosmans affirme que l'ouvrage publié par [[Alexander Anderson (mathématicien)|Alexander Anderson]] en 1615 comporte des erreurs de signes.</ref> ou demeure prisonnier de notations respectant l'[[Polynôme homogène|homogénéité]] (pour des raisons géométriques), le Sammielois Girard laisse entrevoir dans ses rares pages d'algèbre quelques-unes des découvertes qui ne seront fixées qu'avec [[Jean le Rond D'Alembert|D'Alembert]] ou [[Isaac Newton|Newton]].


=== L'invention en l'algèbre ===
=== L'invention en l'algèbre ===


Son principal ouvrage, l'''Invention nouvelle en l'algèbre'', est un commentaire de son édition des œuvres de Stevin. Il n'est pas divisé en chapitres mais se compose de trois parties : calcul arithmétique, théorie des équations et mesure des surfaces<ref name="BB"/>. La seconde partie, sur la théorie des équations, est la seule originale. Girard s'y attache principalement à décrire les opérations qui permettent de simplifier les termes d'une équation, transformations qu'avaient initiées Viète et [[Alexander Anderson]]<ref name="Montucla_495">Jean-Étienne Montucla, ''Histoire des mathématiques: dans laquelle on rend compte de leurs progrès, volume 1'', 1758, à Paris chez Antoine Jombert, {{p.}}495 {{lire en ligne|lien=http://books.google.fr/books?id=SC8VAAAAQAAJ&pg=PA495|date=6 novembre 2010}}.</ref>. Cela fait, il s'attaque à la résolution de l'[[équation du troisième degré]] dans le cas de trois [[racine d'un polynôme|racines]] réelles par transformation de <math>^{X^3+pX+q=0}</math> en <math>^{4Y^3-Y+\sin(3a)=0}</math>, dont les solutions sont données par la trisection d'un angle. Il montre comment on peut représenter ces solutions comme trois [[cercle#Définitions|cordes]] inscrites dans le cercle et enseigne à les construire géométriquement<ref>A-S. de Montferrier, ''Dictionnaire des sciences mathématiques, pures et appliquées'', publié chez Dénain et Delamare, en 1835, {{p.}}47 {{lire en ligne|lien=http://books.google.fr/books?id=LU_mAAAAMAAJ&pg=PA47|date=5 novembre 2010}}.</ref>. Il fournit également une méthode d'approximation de ces mêmes racines par l'utilisation d'une [[suite (mathématiques)|suite]] définie par [[raisonnement par récurrence|récurrence]] à l'aide de la [[tangente]] et du sinus, conseillant de s'arrêter quand les deux termes consécutifs sont sensiblement égaux.
Son principal ouvrage, l'''Invention nouvelle en l'algèbre'', est un commentaire de son édition des œuvres de Stevin. Il n'est pas divisé en chapitres mais se compose de trois parties : calcul arithmétique, théorie des équations et mesure des surfaces<ref name="BB"/>. La seconde partie, sur la théorie des équations, est la seule originale. Girard s'y attache principalement à décrire les opérations qui permettent de simplifier les termes d'une équation, transformations qu'avaient initiées Viète et [[Alexander Anderson (mathématicien)|Alexander Anderson]]<ref name="Montucla_495">Jean-Étienne Montucla, ''Histoire des mathématiques: dans laquelle on rend compte de leurs progrès, volume 1'', 1758, à Paris chez Antoine Jombert, {{p.}}495, {{lire en ligne|lien={{Google Livres|SC8VAAAAQAAJ|page=495}}}}.</ref>. Cela fait, il s'attaque à la résolution de l'[[équation du troisième degré]] dans le cas de trois [[racine d'un polynôme|racines]] réelles par transformation de <math>X^3+pX+q=0</math> en <math>4Y^3-Y+\sin(3a)=0</math>, dont les solutions sont données par la trisection d'un angle. Il montre comment on peut représenter ces solutions comme trois [[cercle#Définitions|cordes]] inscrites dans le cercle et enseigne à les construire géométriquement<ref>A.-S. de Montferrier, ''Dictionnaire des sciences mathématiques, pures et appliquées'', Dénain et Delamare, 1835, {{p.}}47, {{lire en ligne|lien={{Google Livres|LU_mAAAAMAAJ|page=47}}}}.</ref>. Il fournit également une méthode d'approximation de ces mêmes racines par l'utilisation d'une [[suite (mathématiques)|suite]] définie par [[raisonnement par récurrence|récurrence]] à l'aide de la [[tangente (géométrie)|tangente]] et du sinus, conseillant de s'arrêter quand les deux termes consécutifs sont sensiblement égaux.


Plus loin, Girard invite son lecteur à définir lui-même la formation du triangle d'extraction ([[triangle de Pascal]]), dont il donne les premières lignes (ces coefficients binomiaux étaient déjà connus de Viète ou de [[Francesco Maurolico|Marule]]). Puis il s'attaque aux [[équation polynomiale|équations polynomiales]] à une inconnue ; ce qui fait de ce livre un des plus importants en algèbre.
Plus loin, Girard invite son lecteur à définir lui-même la formation du triangle d'extraction ([[triangle de Pascal]]), dont il donne les premières lignes (ces coefficients binomiaux étaient déjà connus de Viète ou de [[Francesco Maurolico|Marule]]). Puis il s'attaque aux [[équation polynomiale|équations polynomiales]] à une inconnue ; ce qui fait de ce livre un des plus importants en algèbre.


{{article détaillé|contenu=[[Théorème_de_d'Alembert-Gauss|L'apport fondamental d'Albert Girard]]}}
{{Article détaillé|Théorème de d'Alembert-Gauss#Les origines{{!}}Théorème de d'Alembert-Gauss : Les origines}}


Girard conclut enfin son ''Invention nouvelle en l'algèbre'', en résolvant quelques systèmes d'équations à plusieurs inconnues (certaines viennent de [[Guillaume Gosselin]]) et termine par un système non linéaire qu'il traite très astucieusement<ref name="BB"/>. Écrit sous forme contemporaine, ce système revient à déterminer ''x'', ''y'', ''z'' tels que :
Girard conclut enfin son ''Invention nouvelle en l'algèbre'', en résolvant quelques systèmes d'équations à plusieurs inconnues (certaines viennent de [[Guillaume Gosselin]]) et termine par un système non linéaire qu'il traite très astucieusement<ref name="BB"/>. Écrit sous forme contemporaine, ce système revient à déterminer <math>x,y,z</math> tels que :
<center><math>x+y+z=26\ ; \ x^2=yz\ ; \ x^2=2xy+6y</math>.</center>
<center><math>x+y+z=26,\quad x^2=yz\quad\text{et}\quad x^2=2xy+6y.</math></center>


=== L'algèbre de Girard ===
=== L'algèbre de Girard ===


Quoique le nombre de publications de Girard soit peu élevé (huit livres) et que son algèbre n'ait pas toujours la richesse de l'[[algèbre nouvelle]] de Viète (sauf indication expresse du contraire, les équations de Girard sont numériques et son langage est celui de [[La Coss|la Coss]], ou de [[Simon Stevin|Stevin]])<ref name="BOS">R.P. Henri Bosmans, ''Albert Girard et Viète ; à propos de la théorie de la « syncrèse » de ce dernier'' dans les annales de la société scientifique de Bruxelles {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R010.pdf|date=23 septembre 2010}}.</ref>, Girard occupe une place importante dans l'histoire des mathématiques. Si 49 pages sur 63 de son ''Invention nouvelle en l'algèbre'' sont de type cossique<ref>[[Charles Hutton]], ''Albert Girard, in algebra, mathematical and philosophical dictionary'' 1795 édité par J Johnson, à Londres, en 1796, {{pp.}}93 et 100-101 {{lire en ligne|lien=http://books.google.fr/books?id=Zk7mAAAAMAAJ&pg=PA93|date=30 septembre 2010}}.</ref>, Girard connaît les livres de [[François Viète|Viète]] et fait plusieurs emprunts à son [[algèbre nouvelle|analyse spécieuse]]<ref name="BOS"/> ; il l'enrichit également, excellant dans l'art de la syncrèse<ref name="BOS"/>{{,}}<ref group="Note">La syncrèse naît de la confrontation de divers points de vue sur un sujet donné. Elle est la première étape de la formalisation d'un problème géométrique sous forme d'équation (ou examen zététique) ; la seconde étape du raisonnement étant l'analyse de cette équation, et sa résolution générale (ou Poristique), la dernière étape, étant la synthèse, géométrique ou numérique, que Viète nomme Exégétique ou Rhéthique.</ref> du mathématicien des [[Catherine de Parthenay|Parthenay]] ; il y décèle des erreurs. Enfin, il le généralise, donnant un sens aux quantités négatives et admettant l'emploi des [[nombres complexes]] (ou solutions enveloppées)<ref name="BB"/>.
Quoique le nombre de publications de Girard soit peu élevé (huit livres) et que son algèbre n'ait pas toujours la richesse de l'[[algèbre nouvelle]] de Viète (sauf indication expresse du contraire, les équations de Girard sont numériques et son langage est celui de [[la Coss]], ou de [[Simon Stevin|Stevin]])<ref name="BOS">R. P. Henri Bosmans, « Albert Girard et Viète ; à propos de la théorie de la « syncrèse » de ce dernier », ''Annales de la société scientifique de Bruxelles'', {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/R010.pdf}}.</ref>, Girard occupe une place importante dans l'histoire des mathématiques. Si 49 pages sur 63 de son ''Invention nouvelle en l'algèbre'' sont de type cossique<ref>{{en}} [[Charles Hutton]], « Albert Girard », dans ''Algebra, Mathematical and Philosophical Dictionary'', J. Johnson, Londres, 1796, {{p.}}93 et 100-101, {{lire en ligne|lien={{Google Livres|Zk7mAAAAMAAJ|page=93}}}}.</ref>, Girard connaît les livres de [[François Viète|Viète]] et fait plusieurs emprunts à son [[algèbre nouvelle|analyse spécieuse]]<ref name="BOS"/> ; il l'enrichit également, excellant dans l'art de la syncrèse<ref name="BOS"/>{{,}}<ref group="Note">La syncrèse naît de la confrontation de divers points de vue sur un sujet donné. Elle est la première étape de la formalisation d'un problème géométrique sous forme d'équation (ou examen zététique) ; la seconde étape du raisonnement étant l'analyse de cette équation, et sa résolution générale (ou Poristique), la dernière étape, étant la synthèse, géométrique ou numérique, que Viète nomme Exégétique ou Rhéthique.</ref> du mathématicien des [[Catherine de Parthenay|Parthenay]] ; il y décèle des erreurs. Enfin, il le généralise, donnant un sens aux quantités négatives et admettant l'emploi des [[nombres complexes]] (ou solutions enveloppées)<ref name="BB"/>.


Il écrit notamment, afin de donner une interprétation aux quantités [[Nombre négatif|absurdes]], que les géomètres se refusaient généralement à employer<ref group="Note">Citée par Montucla, son assertion se trouve dans ''L'invention nouvelle en l'algèbre'' publiée chez Guillaume Jansson Blaeuw, à Amsterdam ; {{p.}}15 {{lire en ligne|lien=http://books.google.fr/books?id=JMQoAAAAcAAJ&pg=RA1-PA15&lpg=RA1-PA15&dq=%22La+solution+par+moins+s'explique+en+géométrie%22&source=bl&ots=b7EfmjCeAn&sig=xodpz1EVjqhkL3cxRygqKIz74tM&hl=fr&ei=YW2WTKaKAYKQjAfHsKDLBQ&sa=X&oi=book_result&ct=result&resnum=3&ved=0CB8Q6AEwAg#v=onepage&q&f=false|date=23 septembre 2010}}.</ref> :
Il écrit notamment, afin de donner une interprétation aux quantités [[Nombre négatif|absurdes]], que les géomètres se refusaient généralement à employer<ref group="Note">Citée par Montucla, son assertion se trouve dans ''L'invention nouvelle en l'algèbre'', Guillaume Jansson Blaeuw, Amsterdam, {{lire en ligne|lien={{Google Livres|JMQoAAAAcAAJ}}}}, {{p.}}15.</ref> :
{{citation bloc|La solution par moins s'explique en géométrie en rétrogradant, et le moins recule où le plus avance}}
{{citation bloc|La solution par moins s'explique en géométrie en rétrogradant, et le moins recule où le plus avance}}


[[Fichier:Francois Viete.jpeg|thumb|upright=0.8|[[François Viète]], l'un des maîtres d'Aleaume, et de Girard]]
[[Fichier:Francois Viete.jpeg|thumb|upright=0.8|[[François Viète]], l'un des maîtres d'Aleaume et de Girard.]]


En fait, les notations de Girard sont assez proches de celles de Viète<ref>Florian Cajori, ''Histoire des notations mathématiques'', Volume 1, reprint Cosimo, Inc., 2007 {{ISBN|1602066841}} {{pp.}}158 et 380 {{lire en ligne|lien=http://books.google.fr/books?id=rhEh8jPGQOcC&pg=PA380#v=onepage&q&f=false |date=23 septembre 2010}}.</ref> :
En fait, les notations de Girard sont assez proches de celles de Viète<ref>Florian Cajori, ''Histoire des notations mathématiques'', vol. 1, réimpr. Cosimo, 2007 {{ISBN|1-60206-684-1}}, {{p.}}158 et 380 {{lire en ligne|lien={{Google Livres|rhEh8jPGQOcC|page=380}}}}.</ref> :
* pour la différence absolue : <math> A=B</math> signifiant chez eux <math>|A-B|</math> ;
* pour la différence absolue : <math> A=B</math> signifiant chez eux <math>|A-B|</math> ;
* pour le quotient, l'un comme l'autre le note : <math> {A\over B}</math> ;
* pour le quotient, l'un comme l'autre le note : <math> {A\over B}</math> ;
Ligne 93 : Ligne 96 :
* la notation des [[Racine d'un nombre|racines]] (l pour « ''latus'' » chez Viète, <math>\sqrt{}</math> chez Girard) ;
* la notation des [[Racine d'un nombre|racines]] (l pour « ''latus'' » chez Viète, <math>\sqrt{}</math> chez Girard) ;
* par ailleurs, Girard n'hésite pas à s'affranchir du « ''ducere in'' » cher à Viète, ni à écrire <math> AB </math> où Viète écrivait<math> A\ in\ B</math> ;
* par ailleurs, Girard n'hésite pas à s'affranchir du « ''ducere in'' » cher à Viète, ni à écrire <math> AB </math> où Viète écrivait<math> A\ in\ B</math> ;
* enfin, il innove réellement en développant ses rares calculs algébriques, où il ne fait pas systématiquement mention de leur homogénéité<ref>Albert Girard, ''Invention nouvelle en l'algèbre'', {{p.}}41. {{lire en ligne|lien=http://books.google.fr/books?id=JMQoAAAAcAAJ&pg=PA41|date=23 septembre 2010}}.</ref>.
* enfin, il innove réellement en développant ses rares calculs algébriques, où il ne fait pas systématiquement mention de leur homogénéité<ref>A. Girard, ''Invention nouvelle en l'algèbre'', {{p.}}41, {{lire en ligne|lien={{Google Livres|JMQoAAAAcAAJ|page=41}}}}.</ref>.


=== D'autres progrès dans les notations.===
=== D'autres progrès dans les notations. ===
[[Fichier:Simon-stevin.jpeg|thumb|upright=0.8|[[Simon Stevin]], l'un des deux maîtres de Girard.]]
[[Fichier:Simon-stevin.jpeg|thumb|upright=0.8|[[Simon Stevin]], l'un des deux maîtres de Girard.]]


La limite du travail de Girard se fait sentir dans ses ouvrages, où il raisonne souvent en revenant à des exemples numériques, dans le langage de la Coss, encore très en vogue chez les mathématiciens amateurs et dans le large public auquel son livre veut s'adresser. C'est alors l'héritier de Stevin, qu'il traduit. Mais Girard est également un de ces mathématiciens créatifs qui, avec [[Pierre Hérigone]] et [[Girard Desargues]] bouleversent les notations établies :
La limite du travail de Girard se fait sentir dans ses ouvrages, où il raisonne souvent en revenant à des exemples numériques, dans le langage de la Coss, encore très en vogue chez les mathématiciens amateurs et dans le large public auquel son livre veut s'adresser. C'est alors l'héritier de Stevin, qu'il traduit. Mais Girard est également un de ces mathématiciens créatifs qui, avec [[Pierre Hérigone]] et [[Girard Desargues]] bouleversent les notations établies :


Vers [[1633]], il propose qu'une [[racine cubique]] soit notée «<math>\sqrt[3]{}</math>» et une [[Racine d'un nombre|racine cinquième]] « <math>\sqrt[5]{}</math>». Selon [[Florian Cajori]]<ref>Florian Cajori, ''A History of mathematical notations'' vol. 1, Cosimo, New York, 2007, {{pp.}}159 et 372 {{ISBN|1602066841}} {{lire en ligne|lien=http://books.google.fr/books?id=rhEh8jPGQOcC&pg=PA159#v=onepage&q&f=false|date=23 septembre 2010}}.</ref>, la première personne à adopter la suggestion de Girard est [[Michel Rolle]] (vers 1690) et Girard est le premier à écrire un [[Exposant (mathématiques)|exposant]] fractionnaire<ref>Florian Cajori, ''A History of mathematical notations'' vol. 1, Cosimo, New York, 2007, {{p.}}159 {{ISBN|1602066841}} {{lire en ligne|lien=http://books.google.fr/books?id=rhEh8jPGQOcC&pg=PA159#v=onepage&q&f=false|date=23 septembre 2010}}.</ref>.
Vers [[1633]], il propose qu'une [[racine cubique]] soit notée «<math>\sqrt[3]{}</math>» et une [[Racine d'un nombre|racine cinquième]] « <math>\sqrt[5]{}</math>». Selon [[Florian Cajori]]<ref>{{en}} F. Cajori, ''A History of mathematical notations'' vol. 1, Cosimo, New York, 2007, {{p.}}159 et 372 {{ISBN|1-60206-684-1}}, {{lire en ligne|lien={{Google Livres|rhEh8jPGQOcC|page=159}}}}.</ref>, la première personne à adopter la suggestion de Girard est [[Michel Rolle]] (vers 1690) et Girard est le premier à écrire un [[Exposant (mathématiques)|exposant]] fractionnaire<ref>{{en}} F. Cajori, ''A History of mathematical notations'', vol. 1, Cosimo, New York, 2007, {{p.}}159 {{ISBN|1-60206-684-1}} {{lire en ligne|lien={{Google Livres|rhEh8jPGQOcC|page=159}}}}.</ref>.


Girard introduit dans la même année, l'emploi des [[parenthèse#Utilisation en mathématiques|parenthèses]] et des [[Crochet (typographie)#Mathématiques|crochets]], qui est restée<ref>Florian Cajori, ''A History of mathematical notations'', vol. 1, Cosimo, New York, 2007, {{p.}}160 {{ISBN|1602066841}} {{lire en ligne|lien=http://books.google.fr/books?id=rhEh8jPGQOcC&pg=PA160#v=onepage&q&f=false |date=23 septembre 2010}}. </ref>, et de notations moins heureuses, qui n'ont pas été retenues<ref>Sa nomenclature algébrique est parfois très originale ; voir l'étude sur les notations de Girard [http://www-itp.particle.uni-karlsruhe.de/~wl/GirardWaringpub/Girard.pdf disponible ici] sur une page de [http://www-itp.particle.uni-karlsruhe.de/~wl/links.html Institut für Theoretische Physik] (Karlsruhe Institute of Technology).</ref>. Il note par exemple la ''« haute extremité »'' le terme de plus haut degré d'un polynôme, et « ''triangle d’extraction'' » le [[triangle de Pascal]], ou encore « ff » pour « <math>></math> » et « § » pour « <math><</math> »<ref>Catherine Secrétan, Pim den Boer, ''De la vie civile, 1590'', {{p.}}162 {{lire en ligne|lien=http://books.google.fr/books?id=S3k_4haykTkC&pg=PA162 |date=23 septembre 2010}}.</ref>
Girard introduit dans la même année, l'emploi des [[parenthèse#Utilisation en mathématiques|parenthèses]] et des [[Crochet (typographie)#Mathématiques|crochets]], qui est restée<ref>{{en}} Florian Cajori, ''A History of mathematical notations'', vol. 1, Cosimo, New York, 2007, {{p.}}160 {{ISBN|1-60206-684-1}} {{lire en ligne|lien={{Google Livres|rhEh8jPGQOcC|page=160}}}}.</ref>, et de notations moins heureuses, qui n'ont pas été retenues<ref>Sa nomenclature algébrique est parfois très originale ; voir l'étude sur les notations de Girard [http://www-itp.particle.uni-karlsruhe.de/~wl/GirardWaringpub/Girard.pdf disponible ici] sur une page de [http://www-itp.particle.uni-karlsruhe.de/~wl/links.html Institut für Theoretische Physik] (Karlsruhe Institute of Technology).</ref>. Il note par exemple la ''« haute extrémité »'' le terme de plus haut degré d'un polynôme, et « ''triangle d’extraction'' » le [[triangle de Pascal]], ou encore « ff » pour « <math>></math> » et « § » pour « <math><</math> »<ref>Catherine Secrétan et Pim den Boer, ''De la vie civile'', 1590, {{p.}}162 {{lire en ligne|lien={{Google Livres|S3k_4haykTkC|page=162}}}}.</ref>


Girard en revendique l'originalité<ref>Dominique Descotes, ''Blaise Pascal, littérature et géométrie'', Presses Univ Blaise Pascal, 2001, {{p.}}64 {{ISBN|2845161735}} {{lire en ligne|lien=http://books.google.fr/books?id=mCOscXDDNLUC&pg=PA64 |date=23 septembre 2010}}.</ref> :
Girard en revendique l'originalité<ref>Dominique Descotes, ''Blaise Pascal, littérature et géométrie'', Presses Univ. Blaise Pascal, 2001, {{p.}}64 {{ISBN|2-84516-173-5}} {{lire en ligne|lien={{Google Livres|mCOscXDDNLUC|page=64}}}}.</ref> :
{{citation bloc|L'invention exige de l'industrie à l'inventeur et du jugement à suffisance au traducteur pour comprendre l'invention des auteurs, comme aussi de la facilité au lecteur à concéder ces nouveaux termes, qui sont substitués au lieu de ceux qu'il faudrait avoir.}}
{{citation bloc|L'invention exige de l'industrie à l'inventeur et du jugement à suffisance au traducteur pour comprendre l'invention des auteurs, comme aussi de la facilité au lecteur à concéder ces nouveaux termes, qui sont substitués au lieu de ceux qu'il faudrait avoir.}}


Mais ces notations originales ne sont pas sans raison : Girard nomme du nom de « meslés » les puissances de l'inconnue intervenant dans une équation composée (ou meslée) comportant plus que deux termes. Les coefficients d'un polynôme deviennent donc sous sa plume les « nombre de meslés ». De sorte qu'en langage moderne, pour
Ces notations originales ne sont pas sans raison : Girard nomme du nom de « meslés » les puissances de l'inconnue intervenant dans une équation composée (ou meslée) comportant plus que deux termes. Les coefficients d'un polynôme deviennent donc sous sa plume les « nombres de meslés ». De sorte qu'en langage moderne, pour
<center> <math>P(X)=X^n+\sum_{k=1}^{n-1} a_kX^k=X^n+a_{n-1}X^{n-1}+a_{n-2}X^{n-2}+\ldots a_1X+a_0</math>, </center>
<center> <math>P(X)=X^n+\sum_{k=1}^{n-1} a_kX^k=X^n+a_{n-1}X^{n-1}+a_{n-2}X^{n-2}+\ldots a_1X+a_0</math>, </center>
le nombre du premier meslé est, selon Girard, <math>a_{n-1}</math>, celui du second meslé <math>a_{n-2}</math>, et ainsi de suite.
le nombre du premier meslé est, selon Girard, <math>a_{n-1}</math>, celui du second meslé <math>a_{n-2}</math>, et ainsi de suite.


Lorsque <math>P(X)</math> est un [[polynôme scindé]], c'est à dire s'il possède <math>n</math> racines <math>x_1,x_2,\ldots x_n,</math> notée autant de fois que leur ordre de multiplicité, il s'écrit
Lorsque <math>P(X)</math> est un [[polynôme scindé]], c'est-à-dire s'il possède <math>n</math> racines <math>x_1,x_2,\ldots x_n,</math> notée autant de fois que leur ordre de multiplicité, il s'écrit
<center> <math>P(X)=\prod_{i=1}^n(X- x_i)</math>. </center>
<center> <math>P(X)=\prod_{i=1}^n(X- x_i)</math>. </center>


Girard nomme alors « factions » les [[polynôme symétrique|polynômes symétriques]] élémentaires des [[Racine d'un polynôme|racines]] de ce polynôme, de sorte que la première faction est <math>\sum\limits_{i=1}^n x_i</math>, la seconde faction <math>{\sum\limits_{i<j}^{} x_ix_j,}</math> et ainsi de suite, jusqu'à la dernière identifiée au produit des racines<ref>Albert Girard, ''Invention nouvelle en l'algèbre, {{p.}}37 {{lire en ligne|lien=http://books.google.com/books?id=JMQoAAAAcAAJ&pg=PA37|date=13 novembre 2010}}.</ref>.
Girard nomme alors « factions » les [[polynôme symétrique|polynômes symétriques]] élémentaires des [[Racine d'un polynôme|racines]] de ce polynôme, de sorte que la première faction est <math>\sum\limits_{i=1}^n x_i</math>, la seconde faction <math>{\sum\limits_{i<j}^{} x_ix_j,}</math> et ainsi de suite, jusqu'à la dernière identifiée au produit des racines<ref>A. Girard, ''Invention nouvelle en l'algèbre'', {{p.}}37 {{lire en ligne|lien={{Google Livres|JMQoAAAAcAAJ|page=37}}}}.</ref>.


Puis, à la suite de Viète qui a déjà donné une partie de ces relations, Girard établit (sur des exemples) les liaisons entre les coefficients et les racines<ref>Michel Serfati, Dominique Descotes, ''Mathématiciens français du XVIIe siècle'', Presses Univ. Blaise Pascal, 2008, {{p.}}164{{ISBN|2845163541}} {{lire en ligne|lien=http://books.google.fr/books?id=oEcCa9oMI9YC&pg=PA164|date=23 septembre 2010}}.</ref> ; plus précisément, il remarque que le nombre du premier meslé est - au signe près - la somme des racines (comptées avec leur multiplicité), le nombre du second meslé la somme des produits de deux racines, de même pour le nombre du troisième meslé, etc. ce qu'on note de façon plus moderne <math>{a_{n-3}=-\sum\limits_{i<j<k}^{} x_ix_jx_k}</math>.
Puis, à la suite de Viète qui a déjà donné une partie de ces relations, Girard établit (sur des exemples) les liaisons entre les coefficients et les racines<ref>Michel Serfati et Dominique Descotes, ''Mathématiciens français du {{s-|XVII}}'', Presses Univ. Blaise Pascal, 2008, {{p.}}164 {{ISBN|2-84516-354-1}} {{lire en ligne|lien={{Google Livres|oEcCa9oMI9YC|page=164}}}}.</ref> ; plus précisément, il remarque que le nombre du premier meslé est - au signe près - la somme des racines (comptées avec leur multiplicité), le nombre du second meslé la somme des produits de deux racines, de même pour le nombre du troisième meslé, etc. ce qu'on note de façon plus moderne <math>{a_{n-3}=-\sum\limits_{i<j<k}^{} x_ix_jx_k}</math>.


Il tourne la difficulté des signes en présentant l'équation polynomiale correspondante sous forme<center><math>X^n+a_{n-2}X^{n-2}+a_{n-4}X^{n-4}+\ldots= a_{n-1}X^{n-1}+ a_{n-3}X^{n-3}+\ldots</math>,</center> isolant de part et d'autres de l'égalité les termes d'exposants pairs et impairs. En cette occurrence, ses notations demeurent celles de Stevin.
Il tourne la difficulté des signes en présentant l'équation polynomiale correspondante sous forme<center><math>X^n+a_{n-2}X^{n-2}+a_{n-4}X^{n-4}+\ldots= a_{n-1}X^{n-1}+ a_{n-3}X^{n-3}+\ldots</math>, </center> isolant de part et d'autre de l'égalité les termes d'exposants pairs et impairs. En cette occurrence, ses notations demeurent celles de Stevin.


Pour Girard, les nombres complexes ne sont pas comme chez [[René Descartes|Descartes]], des [[nombres complexes|imaginaires]] (avec tout ce que l'imaginaire a de péjoratif pour le philosophe de la Haye<ref>[[Geneviève Dubois]], ''Imaginaire et thérapie du langage'', Elsevier Masson, 2001, {{p.}}8 {{ISBN|2294006593}} {{lire en ligne|lien= http://books.google.fr/books?id=4-DVmWqr9jIC&pg=PA7#v=onepage&q=imaginaire%20Descartes&f=false|date=23 septembre 2010}}.</ref>) ; ce ne sont que des solutions enveloppées<ref name="BB"/>, des nombres inexplicables<ref> Jean-Luc Marion, Pierre Costabel, ''Règles utiles et claires pour la direction de l'esprit en la recherche de la vérité'', {{p.}}77 Springer, 1977 {{ISBN|9024719070}} {{lire en ligne|lien= http://books.google.fr/books?id=p77x-b5CmuMC&pg=PA154&dq=%22Albert+Girard%22&hl=fr&ei=duwYTLOwE8OiOO3UxJUL&sa=X&oi=book_result&ct=result&resnum=8&ved=0CEwQ6AEwBzgK#v=onepage&q=%22Albert%20Girard%22&f=false|date=23 septembre 2010}} voient au contraire une logique et un progrès dans le statut que le philosophe de la Haye donne aux nombres complexes en les nommant « imaginaires » et en chassant le mot « inexplicable » du vocabulaire de la raison.</ref>, ou impossibles... avec lesquels il ne rechigne pas à travailler. Il n'hésite pas à faire remarquer, par exemple<ref>Albert Girard, ''Invention nouvelle en algèbre'' {{p.}}40, Jassons Blauew, 1629 {{lire en ligne|lien=http://books.google.fr/books?id=JMQoAAAAcAAJ&pg=PA40|date=23 septembre 2010}}.</ref>, l'égalité suivante<ref group="Note">L'écriture des complexes à l'aide de {{sqrt|-1}} n'est plus utilisée après qu'Euler nomme « i » l'une des deux racines carrées de -1. Elle est alors déconseillée puis bannie des notations mathématiques, comme ambiguë ; le corps des complexes ne pouvant être muni d'un ordre compatible avec l'addition et la multiplication, il est impossible d'effectuer un choix entre les deux racines carrées d'un nombre complexe tout en conservant les propriétés fonctionnelles des racines, dont <math>^{\sqrt{a}\sqrt{b}=\sqrt{ab}}</math>.</ref> :
Pour Girard, les [[nombres complexes]] sont des solutions enveloppées<ref name="BB"/>, des nombres inexplicables ou impossibles... avec lesquels, toutefois, il ne rechigne pas à travailler<ref>« enveloppé » est à prendre au sens étymologique, aujourd'hui désuet, proche d'inexplicable ; [[René Descartes|Descartes]], lecteur de Girard, s'oppose à lui sur ces dénominations, ne souhaitant pas d'« inexplicable » dans ses mathématiques, et préfèrera en 1637 appeler ces nombres « imaginaires », cf. René Descartes ''Règles utiles et claires pour la direction de l'esprit en la recherche de la vérité'', traduction du latin par [[Jean-Luc Marion]] (avec annotations de celui-ci et de [[Pierre Costabel]]), Springer, 1977 {{ISBN|90-247-1907-0}}, note 28 de Pierre Costabel {{p.}}354 {{lire en ligne|lien={{Google Livres|p77x-b5CmuMC|page=154}}}}. Voir également « [[Histoire des nombres complexes]] ».</ref>. Il n'hésite pas à faire remarquer, par exemple<ref>A. Girard, ''Invention nouvelle en algèbre'' {{p.}}40, Jassons Blauew, 1629 {{lire en ligne|lien={{Google Livres|JMQoAAAAcAAJ|page=40}}}}.</ref>, l'égalité suivante<ref group="Note">L'écriture des complexes à l'aide de racines carrées de nombres négatifs disparaitra peu à peu après l'introduction par Euler du symbole « i » pour désigner l'une des deux racines carrées de -1. Elle finira par être déconseillée puis bannie des notations mathématiques, comme ambiguë ; le corps des complexes ne pouvant être muni d'un ordre compatible avec l'addition et la multiplication, il est impossible d'effectuer un choix entre les deux racines carrées d'un nombre complexe tout en conservant les propriétés fonctionnelles des racines, dont <math>\sqrt a\sqrt b=\sqrt{ab}</math>.</ref> :
<center><math>(-1+\sqrt{-2})(-1-\sqrt{-2})=3</math></center>
<center><math>(-1+\sqrt{-2})(-1-\sqrt{-2})=3</math></center>


{| class="toccolours" style="float: right; margin-left: 1em; margin-right: 1em; font-size: 85%; background:#fafacc; color:black; width:23em; max-width: 25%;" cellspacing="5"
{| class="toccolours" style="float: right; margin-left: 1em; margin-right: 1em; font-size: 85%; background:#fafacc; color:black; width:23em; max-width: 25%;" cellspacing="5"
| style="text-align: left;" |
| style="text-align: left;" |
<center>'''Exemple d'écriture de Girard'''</center>
<center>'''Exemple d'écriture de Girard'''</center>


Ligne 138 : Ligne 141 :
Il justifie d'ailleurs leur emploi, dans le même passage, non seulement par leur utilité, mais aussi parce que ces [[Racine d'un polynôme|solutions]], (qui ne sont ni des nombres, ni des quantités, ni des grandeurs) permettent d'unifier le théorème de décomposition pour tous les polynômes :
Il justifie d'ailleurs leur emploi, dans le même passage, non seulement par leur utilité, mais aussi parce que ces [[Racine d'un polynôme|solutions]], (qui ne sont ni des nombres, ni des quantités, ni des grandeurs) permettent d'unifier le théorème de décomposition pour tous les polynômes :
{{citation bloc|''On pourroit dire à quoy sert ces solutions qui sont impossibles ? Je répond pour trois choses : pour la certitude de la règle générale, et qu'il n'y a point d'autre solution, et pour son utilité.''}}
{{citation bloc|''On pourroit dire à quoy sert ces solutions qui sont impossibles ? Je répond pour trois choses : pour la certitude de la règle générale, et qu'il n'y a point d'autre solution, et pour son utilité.''}}

Outre cela, Girard est un des propagateurs des termes « million, billion, et trillion », inventés par [[Nicolas Chuquet]]. Il est également un des premiers mathématiciens (concomitamment avec [[Thomas Fincke]] (1583 d'après [[Florian Cajori]]), [[Samuel Marolois]], [[William Oughtred]] (1631 d'après [[Isaac Asimov]])<ref group="Note">En fin de compte, la notation des lignes trigonométriques ne se fixe qu'en 1729 avec [[Euler]] ; in Marco Ceccarelli, ''Symposium on history of machines and mechanisms'', Springer, 2004, {{p.}}197 {{ISBN|1402022034}} {{lire en ligne|lien=http://books.google.fr/books?id=UG0RlFBqwrgC&pg=PA197International|date=23 septembre 2010}}.</ref> à utiliser les symboles « sin »,« cos » et « tan »<ref>Histoire de la trigonométrie sur [http://www.math93.com/trigonometrie.htm le site math93].</ref>{{,}}<ref>[[Johannes Tropfke]], ''Geschichte Der Elementar-Mathematik in Systematischer Darstellung'', Volumes 5 à 6, {{pp.}}135, 308, 325, 330 {{ISBN|1113085703}} {{lire en ligne|lien=http://books.google.fr/books?id=ooIso5olC-YC&pg=PA308&dq=Girard+tropfke&hl=fr&ei=B7OUTP-2E8WUswaLmYlk&sa=X&oi=book_result&ct=result&resnum=3&ved=0CDcQ6AEwAg#v=onepage&q=Girard&f=false|date=23 septembre 2010}}.</ref>. Quelques occurrences de la notation « <math>^{ sin E} </math> » dans sa mise en forme des travaux du [[Samuel Marolois|Marolois]]<ref>Samuel Marolois, ''Œuvres mathématicques traictant de la géométrie et fortification, réduictes en meilleur ordre, et corrigées d'un nombre infiny de fautes escoulées aux impressions précédentes'', 1628, {{p.}}158 et seq. {{lire en ligne|lien=http://echo.mpiwg-berlin.mpg.de/ECHOdocuView?mode=imagepath&url=/mpiwg/online/permanent/library/2H3B4H5X/pageimg&viewMode=images|date=22 novembre 2010}}.</ref> font de lui le premier mathématicien à employer cette notation fonctionnelle.
Outre cela, Girard est un des propagateurs des termes « million, billion, et trillion », inventés par [[Nicolas Chuquet]]. Il est également un des premiers mathématiciens (concomitamment avec [[Thomas Fincke]] (1583 d'après [[Florian Cajori]]), [[Samuel Marolois]], [[William Oughtred]] (1631 d'après [[Isaac Asimov]])<ref group="Note">En fin de compte, la notation des lignes trigonométriques ne se fixe qu'en 1729 avec [[Leonhard Euler|Euler]] ; in {{en}} Marco Ceccarelli, ''Symposium on History of Machines and Mechanisms'', Springer, 2004, {{p.}}197 {{ISBN|1-4020-2203-4}}, {{lire en ligne|lien={{Google Livres|UG0RlFBqwrgC|page=197}}}}.</ref> à utiliser les symboles « sin », « cos » et « tan »<ref>Histoire de la trigonométrie sur [http://www.math93.com/trigonometrie.htm le site math93].</ref>{{,}}<ref>{{de}} [[Johannes Tropfke]], ''Geschichte Der Elementar-Mathematik in Systematischer Darstellung'', vol. 5 à 6, {{p.}}135, 308, 325, 330 {{ISBN|1-113-08570-3}} {{lire en ligne|lien={{Google Livres|ooIso5olC-YC|page=308}}}}.</ref>. Quelques occurrences de la notation « <math>sin E</math> » dans sa mise en forme des travaux du [[Samuel Marolois|Marolois]]<ref>Samuel Marolois, ''Œuvres mathématicques traictant de la géométrie et fortification, réduictes en meilleur ordre, et corrigées d'un nombre infiny de fautes escoulées aux impressions précédentes'', 1628, {{p.}}158 et seq., {{lire en ligne|lien=http://echo.mpiwg-berlin.mpg.de/ECHOdocuView?mode=imagepath&url=/mpiwg/online/permanent/library/2H3B4H5X/pageimg&viewMode=images}}.</ref> font de lui le premier mathématicien à employer cette notation fonctionnelle.


=== Un apport fondamental de Girard ===
=== Un apport fondamental de Girard ===


Dans son livre sur ''L'invention nouvelle en l'algèbre'', Girard est réellement le premier mathématicien à énoncer (de façon un peu floue et sans en fournir de preuves)<ref group="Note">La notion de preuve algébrique s'élabore lentement au cours du {{XVIIe siècle}} et Girard, quoiqu'il cherche à expliquer ce théorème n'a pas encore les mots pour le prouver. Article ''L'algèbre de Viète et de Girard'' publié par l'Irem de Rennes {{lire en ligne|lien=http://www.irem.univ-rennes1.fr/ressources/docs_themes/histoire/brochures/FMPH/FMPH1-ch12.pdf}}.</ref> le [[Théorème de d'Alembert-Gauss|théorème fondamental de l'algèbre]], auquel les historiens des sciences associent le plus souvent le nom de [[Jean le Rond D'Alembert|d'Alembert]]<ref group="Note">Remarquable, à ce sujet, l'absence d'article « ''Girard'' » dans l'encyclopédie raisonnée des sciences et des techniques de Diderot et D'Alembert {{lire en ligne|lien=http://diderot.alembert.free.fr/G.html|date=25 septembre 2010}} ; toutefois, il apparaît dans l'encyclopédie ou dictionnaire universel raisonné des connaissances humaines (volume 21) mis en forme par [[Fortunato Bartolomeo De Felice|Fortuné Barthélemy de Félice]], et publié chez Yverdon en 1775, {{p.}}576 {{lire en ligne|lien=http://books.google.fr/books?id=r00VAAAAQAAJ&pg=PA575|date=25 septembre 2010}}.</ref>. Ce théorème, qui assure la [[Factorisation des polynômes|factorisation]] de tout polynôme (réel chez Girard) dans le corps des nombres complexes sous la forme d'un produit de binômes, apparaît en [[1629]]<ref>Albert Girard, ''Invention nouvelle en l'algèbre'', chez Jansons, 1629, {{p.}}38 {{lire en ligne|lien=http://books.google.fr/books?id=JMQoAAAAcAAJ&pg=PA38|date=23 septembre 2010}}.</ref> sous cette forme :
Dans son livre sur ''L'invention nouvelle en l'algèbre'', Girard est réellement le premier mathématicien à énoncer (de façon un peu floue et sans en fournir de preuves)<ref group="Note">La notion de preuve algébrique s'élabore lentement au cours du {{XVIIe siècle}} et Girard, quoiqu'il cherche à expliquer ce théorème n'a pas encore les mots pour le prouver. Article ''L'algèbre de Viète et de Girard'' publié par l'Irem de Rennes {{lire en ligne|lien=http://www.irem.univ-rennes1.fr/ressources/docs_themes/histoire/brochures/FMPH/FMPH1-ch12.pdf}}.</ref> le [[Théorème de d'Alembert-Gauss|théorème fondamental de l'algèbre]], auquel les historiens des sciences associent le plus souvent le nom de [[Jean le Rond D'Alembert|d'Alembert]]<ref group="Note">Remarquable, à ce sujet, l'absence d'article « Girard » dans l{{'}}''[[Encyclopédie ou Dictionnaire raisonné des sciences, des arts et des métiers|Encyclopédie raisonnée des sciences et des techniques]]'' de Diderot et D'Alembert, {{lire en ligne|lien=http://diderot.alembert.free.fr/G.html}} ; toutefois, il apparaît dans l'''Encyclopédie ou dictionnaire universel raisonné des connaissances humaines'' (vol. 21) mis en forme par [[Fortunato Bartolomeo De Felice|Fortuné Barthélemy de Félice]] et publié chez Yverdon en 1775, {{p.}}576, {{lire en ligne|lien={{Google Livres|r00VAAAAQAAJ|page=575}}}}.</ref>. Ce théorème, qui assure la [[Factorisation des polynômes|factorisation]] de tout polynôme (réel chez Girard) dans le corps des nombres complexes sous la forme d'un produit de binômes, apparaît en [[1629]]<ref>A. Girard, ''Invention nouvelle en l'algèbre'', Jansons, 1629, {{p.}}38, {{lire en ligne|lien={{Google Livres|JMQoAAAAcAAJ|page=38}}}}.</ref> sous cette forme :
{{citation bloc|Toutes les équations d'algèbre reçoivent autant de [[Racine d'un polynôme|solutions]] que la dénomination de la plus haute quantité le démontre.}}
{{citation bloc|Toutes les équations d'algèbre reçoivent autant de [[Racine d'un polynôme|solutions]] que la dénomination de la plus haute quantité le démontre.}}


Ligne 149 : Ligne 152 :
{{Citation bloc|''Le dénominateur de la plus haute quantité ''([[Fonction polynôme#Degré|le degré]])'' est qui signifie qu'il y a quatre certaines solutions, et non plus ny moins ''(elles sont comptés avec leur [[Fonction polynôme#Racines#Ordre de multiplicité d'une racine|multiplicité]])'' tellement que le nombre du premier meslé est la premiere faction des solutions, le nombre du deuxième meslé, et tousjours ainsi ; mais pour voir la chose en sa perfection, il faut prendre les signes qui se remarquent en l'ordre alternatif.''}}
{{Citation bloc|''Le dénominateur de la plus haute quantité ''([[Fonction polynôme#Degré|le degré]])'' est qui signifie qu'il y a quatre certaines solutions, et non plus ny moins ''(elles sont comptés avec leur [[Fonction polynôme#Racines#Ordre de multiplicité d'une racine|multiplicité]])'' tellement que le nombre du premier meslé est la premiere faction des solutions, le nombre du deuxième meslé, et tousjours ainsi ; mais pour voir la chose en sa perfection, il faut prendre les signes qui se remarquent en l'ordre alternatif.''}}


Il donne également dans ce même livre quelques identités concernant les [[Polynôme symétrique|polynômes symétriques]]. [[Isaac Newton|Newton]] retrouvera ces relations par la suite, indépendamment<ref>{{en}} Albert Girard sur le site [http://fermatslasttheorem.blogspot.com/2007/02/albert-girard.html Fermat's Last Theorem.blogspot.com]</ref>. Elles permettent de calculer, grâce aux [[Relations entre coefficients et racines|formules de Viète]], les sommes des puissances de toutes les racines d'un polynôme à l'aide de ses seuls coefficients (voir l'encadré ci-dessus). Elles seront définitivement complétées par [[Leonhard Euler]], [[Carl Friedrich Gauss]] et [[Edward Waring]]<ref group="Note">Quelques démonstrations de ces théorèmes d'Arithmétique se trouvent sur le site de l'université de Jussieu {{lire en ligne|lien=http://docs.google.com/viewer?a=v&q=cache:uQDcpRCmFawJ:people.math.jussieu.fr/~kim/Chap56.pdf23||date=septembre 2010}}.</ref>.
Il donne également dans ce même livre quelques identités concernant les [[Polynôme symétrique|polynômes symétriques]]. [[Isaac Newton|Newton]] retrouvera ces relations par la suite, indépendamment<ref>{{en}} Albert Girard sur le site [http://fermatslasttheorem.blogspot.com/2007/02/albert-girard.html Fermat's Last Theorem.blogspot.com]</ref>. Elles permettent de calculer, grâce aux [[Relations entre coefficients et racines|formules de Viète]], les sommes des puissances de toutes les racines d'un polynôme à l'aide de ses seuls coefficients (voir l'encadré ci-dessus). Elles seront définitivement complétées par [[Leonhard Euler]], [[Carl Friedrich Gauss]] et [[Edward Waring]]<ref group="Note">Quelques démonstrations de ces théorèmes d'arithmétique se trouvent sur le site de l'université de Jussieu {{lire en ligne|lien=http://docs.google.com/viewer?a=v&q=cache:uQDcpRCmFawJ:people.math.jussieu.fr/~kim/Chap56.pdf23}}.</ref>.


D'après Bosmans, il est également le premier à énoncer la règle reliant le nombre de variations de signes des coefficients des équations complètes et le nombre de solutions réelles, communément appelé le [[théorème de Descartes (algèbre)|théorème de Descartes]]<ref name="BB"/>.
D'après Bosmans, il est également le premier à énoncer la règle reliant le nombre de variations de signes des coefficients des équations complètes et le nombre de solutions réelles, communément appelé le [[théorème de Descartes (algèbre)|théorème de Descartes]]<ref name="BB"/>.


=== Trigonométrie sphérique. ===
=== Trigonométrie sphérique ===


Les mathématiciens doivent encore à Girard un traité de [[trigonométrie]] (édité en [[1626]]), un an après sa première traduction des travaux de Stevin ([[1625]]). Le livre fut réédité trois fois, en 1627, et en 1629. Ce sont des raretés de [[Bibliophilie|bibliophile]]. Outre sa préface, qui rend louange à Dieu et adresse quelques reproches à Stevin pour l'imprécision de sa définition des « flèches » (ou sinus verse)<ref group="Note">La flèche est la partie de diamètre découpée à angle droit par la corde d'un arc et le sinus verse la partie du rayon d'un cercle qui est comprise entre l'arc et le pied du sinus. Ces termes ont subi des altérations dans le temps. Voir [[Trigonométrie]] et Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècle'', Naud, Paris, 1898, {{pp.}}234 {{pdf}} [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf Télécharger ici]</ref>, Girard attaque le mathématicien [[Valentin Mennher]], arithméticien alors célèbre, puis donne son traité des [[triangle rectangle|triangles rectilignes]]<ref>R.P. Henri Bosmans, ''La trigonométrie de Girard'' sur le site de l'ULB, {{pp.}}337-340 {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/H192607.pdf|date=23 septembre 2010}}.</ref>.
Les mathématiciens doivent encore à Girard un traité de [[trigonométrie]] (édité en [[1626]]), un an après sa première traduction des travaux de Stevin ([[1625]]). Le livre fut réédité trois fois, en 1627, et en 1629. Ce sont des raretés de [[Bibliophilie|bibliophile]]. Outre sa préface, qui rend louange à Dieu et adresse quelques reproches à Stevin pour l'imprécision de sa définition des « flèches » (ou sinus verse)<ref group="Note">La flèche est la partie de diamètre découpée à angle droit par la corde d'un arc et le sinus verse la partie du rayon d'un cercle qui est comprise entre l'arc et le pied du sinus. Ces termes ont subi des altérations dans le temps. Voir [[Trigonométrie]] et Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, {{s2-|XVII|XVIII}}'', Naud, Paris, 1898, {{p.}}234, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf télécharger ici].</ref>, Girard attaque le mathématicien [[Valentin Mennher]], arithméticien alors célèbre, puis donne son traité des [[triangle rectangle|triangles rectilignes]]<ref>R.P. Henri Bosmans, ''La trigonométrie de Girard'' sur le site de l'ULB, {{p.}}337-340, {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/H192607.pdf}}.</ref>.
Dans cette partie, se trouve notamment reproduite le formule de [[Thomas Fincke]], qui, en langage moderne, s'écrit :
Dans cette partie, se trouve notamment reproduite le formule de [[Thomas Fincke]], qui, en langage moderne, s'écrit :
<center><math>{a+b\over a-b}={\tan({A+B\over 2})\over\tan({A-B\over 2})}.</math></center>
<center><math>{a+b\over a-b}={\tan\left({A+B\over 2}\right)\over\tan\left({A-B\over 2}\right)}.</math></center>


où dans un triangle rectangle, <math>a, b</math> désignent les longueurs de deux côtés de l'angle droit et <math>A,B</math> les deux angles qui leur sont opposés. À la suite, se trouvent encore quelques formules de Girard, originales pour l'époque, puis un traité sur les triangles rectangles, ou rectilignes. Mais c'est dans la dernière partie, sur la [[trigonométrie sphérique]], que Girard déploie tous ses talents<ref>R.P. Henri Bosmans, ''La trigonométrie de Girard'' sur le site de l'ULB, {{pp.}}342 et seq. {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/H192607.pdf|date=23 septembre 2010}}.</ref>.
où dans un triangle rectangle, <math>a, b</math> désignent les longueurs de deux côtés de l'angle droit et <math>A,B</math> les deux angles qui leur sont opposés. À la suite, se trouvent encore quelques formules de Girard, originales pour l'époque, puis un traité sur les triangles rectangles, ou rectilignes. Mais c'est dans la dernière partie, sur la [[trigonométrie sphérique]], que Girard déploie tous ses talents<ref>R.P. Henri Bosmans, ''La trigonométrie de Girard'' sur le site de l'ULB, {{p.}}342 et seq., {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/H192607.pdf}}.</ref>.


[[Fichier:Triangle sphérique.svg|thumb|upright=0.8|Triangle sphérique]]
[[Fichier:Triangle sphérique.svg|thumb|upright=0.8|Triangle sphérique]]


D'après l'étude que [[Michel Chasles]] consacre à cette partie des œuvres de Girard, le « Samielois » démontre dans ce travail qu'il fait partie du petit nombre de géomètres qui, à l'imitation de [[François Viète|Viète]], sont à l'instigation des transformations des [[trigonométrie sphérique|triangles sphériques]]. Un an avant [[Willebrord Snell|Snellius]], Girard englobe dans ce traité les quatre triangles formés par les arcs de cercle qui ont pour pôles les trois sommets d'un triangle donné sous le nom collectif de triangle réciproque ; ainsi, il regarde comme réciproques d'un triangle donné, à la fois le triangle de Viète et celui de Snellius<ref name="Chasles"> Michel Chasles, ''Aperçu historique sur l'origine et le développement des méthodes en géométrie ; particulièrement de celles qui se rapportent à la géométrie moderne, suivi d'un mémoire de géométrie sur deux principes généraux de la science, la dualité et l'homographie'', M. Hayez, 1837, {{p.}}546 {{lire en ligne|lien=http://books.google.com/books?pg=PA546&lpg=PA546&dq=Albert%20Girard%20géomètre&sig=eQrnFKk_GxJiHtQg47lDvONcH1w&ei=z3SySqy9E8Gj4QbekOC2Dg&ct=result&id=SZIKAAAAYAAJ&hl=fr&ots=7_PWCIqCHx&output=text|date=23 septembre 2010}}.</ref>.
D'après l'étude que [[Michel Chasles]] consacre à cette partie des œuvres de Girard, le « Samielois » démontre dans ce travail qu'il fait partie du petit nombre de géomètres qui, à l'imitation de [[François Viète|Viète]], sont à l'instigation des transformations des [[trigonométrie sphérique|triangles sphériques]]. Un an avant [[Willebrord Snell|Snellius]], Girard englobe dans ce traité les quatre triangles formés par les arcs de cercle qui ont pour pôles les trois sommets d'un triangle donné sous le nom collectif de triangle réciproque ; ainsi, il regarde comme réciproques d'un triangle donné, à la fois le triangle de Viète et celui de Snellius<ref name="Chasles">Michel Chasles, ''Aperçu historique sur l'origine et le développement des méthodes en géométrie ; particulièrement de celles qui se rapportent à la géométrie moderne, suivi d'un mémoire de géométrie sur deux principes généraux de la science, la dualité et l'homographie'', M. Hayez, 1837, {{p.}}546 {{lire en ligne|lien={{Google Livres|SZIKAAAAYAAJ|page=546}}}}.</ref>.


Plus loin, il développe à partir des formules de « prostaphérèse »<ref group="Note">Les formules de prostaphérèse sont celles du produit des sinus, apparues au milieu du {{XVIe siècle}}, elles remplacent les [[logarithme]]s et servent à l'époque à multiplier de grands nombres in Brian Borchers, ''Prosthaphaeresis'' {{lire en ligne|lien=http://infohost.nmt.edu/~borchers/prost.pdf|date=13 novembre 2010}}.</ref> la résolution d'un problème original : {{citation bloc|Trois arcs étant donnés dont le premier est droit, trouver un quatrième arc tels que les sinus soient proportionnels à l'aide d'addition et de soustraction seulement.}}
Plus loin, il développe à partir des formules de « [[prostaphérèse]] »<ref group="Note">Les formules de prostaphérèse sont celles du produit des sinus ; apparues au milieu du {{XVIe siècle}}, elles remplacent les [[logarithme]]s et servent à l'époque à multiplier de grands nombres in Brian Borchers, ''Prosthaphaeresis'' {{lire en ligne|lien=http://infohost.nmt.edu/~borchers/prost.pdf}}.</ref> la résolution d'un problème original : {{citation bloc|Trois arcs étant donnés dont le premier est droit, trouver un quatrième arc tels que les sinus soient proportionnels à l'aide d'addition et de soustraction seulement.}}


Ce problème conduit à la détermination de <math>\scriptstyle{\sin x}</math>, puis <math>\scriptstyle x</math>, lorsque<ref>R.P. Henri Bosmans, ''La trigonométrie de Girard'' sur le site de l'ULB, {{pp.}}345 et seq. {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/H192607.pdf|date=23 septembre 2010}}.</ref> :
Ce problème conduit à la détermination de <math>\sin x</math>, puis <math>x</math>, lorsque<ref>R.P. Henri Bosmans, ''La trigonométrie de Girard'' sur le site de l'ULB, {{p.}}345 et seq., {{lire en ligne|lien=http://logica.ugent.be/albrecht/math/bosmans/H192607.pdf}}.</ref> :


<center><math>{1\over \sin A}={\sin B \over \sin x}.</math></center>
<center><math>{1\over \sin A}={\sin B \over \sin x}.</math></center>


Parallèlement, la formule de Girard donne l'aire d'un triangle sphérique à l'aide de ses angles<ref>O. Terquem, ''Nouveau manuel de géométrie'', Librairie encyclopedique de Roret, 1838, {{p.}}451 {{lire en ligne|lien=http://books.google.fr/books?id=3D6QdDYLle8C&pg=PA451|date=23 septembre 2010}}.</ref>. Cette découverte, apparemment connue de [[Regiomontanus]], puis de [[Thomas Harriot]] vers [[1603]], n'a pas été publiée par les Anglais et Girard est le premier à l'énoncer publiquement, en 1629 dans son ''Invention''<ref>Albert Girard, ''Invention nouvelle en l'algèbre'', Jan Jansens Blauew, 1629, {{p.}}19 {{lire en ligne|lien=http://books.google.fr/books?id=JMQoAAAAcAAJ&pg=RA1-PA19|date=13 novembre 2010}}.</ref>, et le premier à la démontrer partiellement. Mais il n'est guère satisfait de sa démonstration, et l'écrit. À cette occasion il pressent la possibilité de raisonner sur des éléments [[Dérivée|différentiels]], affirmant d'un triangle sphérique ''infinitésimal'' qu'on peut le confondre avec un triangle plat, celui-ci étant sans « [[Courbure|tumeur]] »<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècle'', Naud, Paris, 1898 {{p.}}170 {{pdf}} [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf Télécharger ici]</ref>. Sa preuve est contestée à la fin du {{XVIIIe siècle}} par [[Joseph-Louis Lagrange|Lagrange]]<ref>Œuvres de Lagrange ''Pièces diverses non comprises dans le recueil académique'' publiées chez Gauthier-Villars en 1877, {{p.}}337.</ref>. Le même résultat est publié en 1632 par [[Bonaventura Cavalieri]] puis peu après par [[Gilles Personne de Roberval|Roberval]]. Les travaux trigonométriques de Girard influencent néanmoins le mathématicien [[Jan Stampioen]], qui devient quelques années après la mort du « Samielois », le rival de Descartes et le précepteur de [[Christiaan Huygens]]. Une preuve définitive de la formule des aires sera donnée au XVIII{{e}} siècle par [[Adrien-Marie Legendre]] (voir ci-dessous)<ref name="EU"/> et par [[Leonhard Euler]]<ref>Boris A. Rosenfeld, ''A History of Non-Euclidean Geometry'' Springer, 1988, {{ISBN|0387964584}} {{p.}}32 {{lire en ligne|lien=http://books.google.fr/books?id=DRLpAFZM7uwC&pg=PA32|date=5 novembre 2010}}.</ref>.
Parallèlement, la formule de Girard donne l'aire d'un triangle sphérique à l'aide de ses angles<ref>O. Terquem, ''Nouveau manuel de géométrie'', Librairie encyclopédique de Roret, 1838, {{p.}}451, {{lire en ligne|lien={{Google Livres|3D6QdDYLle8C|page=451}}}}.</ref>. Cette découverte, apparemment connue de [[Regiomontanus]], puis de [[Thomas Harriot]] vers [[1603]], n'a pas été publiée par les Anglais et Girard est le premier à l'énoncer publiquement, en 1629 dans son ''Invention''<ref>A. Girard, ''Invention nouvelle en l'algèbre'', Jan Jansens Blauew, 1629, {{p.}}19, {{Google Livres|JMQoAAAAcAAJ|page autre=RA1-PA19|aperçu}}.</ref>, et le premier à la démontrer partiellement. Mais il n'est guère satisfait de sa démonstration, et l'écrit. À cette occasion il pressent la possibilité de raisonner sur des éléments [[Dérivée|différentiels]], affirmant d'un triangle sphérique ''infinitésimal'' qu'on peut le confondre avec un triangle plat, celui-ci étant sans « [[Courbure|tumeur]] »<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, {{s2-|XVII|XVIII}}'', Naud, Paris, 1898 {{p.}}170, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf télécharger ici].</ref>. Sa preuve est contestée à la fin du {{XVIIIe siècle}} par [[Joseph-Louis Lagrange|Lagrange]]<ref>Œuvres de Lagrange ''Pièces diverses non comprises dans le recueil académique'' publiées chez Gauthier-Villars en 1877, {{p.}}337.</ref>. Le même résultat est publié en 1632 par [[Bonaventura Cavalieri]] puis peu après par [[Gilles Personne de Roberval|Roberval]]. Les travaux trigonométriques de Girard influencent néanmoins le mathématicien [[Jan Stampioen]], qui devient quelques années après la mort du « Samielois », le rival de Descartes et le précepteur de [[Christiaan Huygens]]. Une preuve définitive de la formule des aires sera donnée au {{s-|XVIII}} par [[Adrien-Marie Legendre]] (voir ci-dessous)<ref name="EU"/> et par [[Leonhard Euler]]<ref>{{en}} Boris A. Rosenfeld, ''A History of Non-Euclidean Geometry'', Springer, 1988 {{ISBN|0-387-96458-4}}, {{p.}}32 {{lire en ligne|lien={{Google Livres|DRLpAFZM7uwC|page=32}}}}.</ref>.


{{Boîte déroulante/début|titre= Aire d'un triangle sphérique}}

{{boîte déroulante début|titre= Aire d'un triangle sphérique}}
{{Article détaillé|contenu=[[Trigonométrie sphérique#Aire du triangle sphérique|Aire du triangle]]}}
{{détail|contenu=[[Trigonométrie sphérique#Aire du triangle sphérique|Aire du triangle]]}}
Une démonstration élémentaire<ref group="Note">Le lecteur trouvera quelques explications supplémentaires sur le site du [http://www.palais-decouverte.fr/index.php?id=842 Palais de la découverte]</ref> se fait en trois étapes :
Une démonstration élémentaire<ref group="Note">Le lecteur trouvera quelques explications supplémentaires sur le site du [http://www.palais-decouverte.fr/index.php?id=842 Palais de la découverte]</ref> se fait en trois étapes :
*Lorsque la sphère est découpée en 4 secteurs (« fuseaux » ou « lunes » chez Legendre) par deux plans diamétraux, l'aire d'un des secteurs ainsi découpé est proportionnelle à l'angle <math>^{\hat A}</math> des deux plans. Elle vaut donc <center><math>^{2\hat AR^2}</math>.</center>
* Lorsque la sphère est découpée en 4 secteurs (« fuseaux » ou « lunes » chez Legendre) par deux plans diamétraux, l'aire d'un des secteurs ainsi découpé est proportionnelle à l'angle <math>\hat A</math> des deux plans. Elle vaut donc <center><math>2\hat AR^2</math>.</center>
* Les trois plans diamétraux qui définissent un triangle sphérique découpent sur la sphère six fuseaux contenant ce triangle ou son symétrique par rapport au centre de la sphère. Ces fuseaux recouvrent la sphère selon huit parties elles-mêmes triangulaires. Deux de ces parties se trouvent à l'intersection de trois fuseaux, le triangle initial et son symétrique, qui ont même aire. Les six autres ne sont obtenues qu'une seule fois. Ainsi, la somme des aires des six fuseaux est celle de la sphère augmentée quatre fois de celle du triangle. Il s'en déduit :<center><math>2(2\hat AR^2+2\hat BR^2+2\hat CR^2)=4\pi R^2+4S</math>.</center>
* Ainsi, après transformation :<center><math>S=(\hat A+\hat B+\hat C-\pi)R^2.</math></center>


{{Boîte déroulante/fin}}
*Les trois plans diamétraux qui définissent un triangle sphérique découpent sur la sphère six fuseaux contenant ce triangle ou son symétrique par rapport au centre de la sphère. Ces fuseaux recouvrent la sphère selon huit parties elles-mêmes triangulaires. Deux de ces parties se trouvent à l'intersection de trois fuseaux, le triangle initial et son symétrique, qui ont même aire. Les six autres ne sont obtenues qu'une seule fois. Ainsi, la somme des aires des six fuseaux est celle de la sphère augmentée quatre fois de celle du triangle. Il s'en déduit :
: <center><math>^{2(2\hat AR^2+2\hat BR^2+2\hat CR^2)=4\pi R^2+4S}</math>.</center>


Également dans son ''Invention'', Girard généralise son travail et donne une formule analogue pour la mesure de la surface d'un [[polygone sphérique]] terminé par des arcs de grands cercles (nommée parfois formule de [[Carl Friedrich Gauss|Gauss]])<ref>Marie, Maximilien, ''Histoire des sciences mathématiques et physiques (1883), Gauthier Villars, Paris, {{p.}}205-206, {{lire en ligne|lien=https://archive.org/stream/histoiredesscie31marigoog#page/n206/mode/1up/search/girard}}.</ref>{{,}}<ref>Une analyse de la démonstration de ce théorème par Girard est donnée par {{en}} Boris A. Rosenfeld, ''A History of Non-Euclidean Geometry'', Springer, 1988 {{ISBN|0-387-96458-4}}, {{p.}}27, {{lire en ligne|lien={{Google Livres|DRLpAFZM7uwC|page=27}}}}.</ref>.
*Ainsi, après transformation :
:<center><math> ^{S=(\hat A+\hat B+\hat C-\pi)R^2}</math></center>


Explicitement, si <math>\hat A,\hat B, \hat C</math>, etc. désignent les angles du polygone sphérique (convexe) et ''n'' leur nombre, l'aire du polygone est donnée par<ref>Henri Lebesgue, « Sur la mesure des grandeurs », ''L'Enseignement Mathématique'', vol. 33, 1934, p. 282, {{lire en ligne|lien=http://retro.seals.ch/cntmng;jsessionid=620DBEE6044E6946A5149DBDA7E15140?type=pdf&rid=ensmat-001:1934:33::110&subp=hires}}.</ref>{{,}}<ref group="Note">Évoquant ce théorème, Henri Lebesgue écrit : {{citation|Il est un peu triste de constater que des jeunes gens ayant terminé le cycle des études leur conférant les grades nécessaires pour enseigner dans les classes secondaires puissent ne jamais avoir entendu parler du magnifique théorème d'Albert Girard. Quand on le leur fait connaître, ils sont toujours émerveillés de la beauté du résultat et stupéfaits qu'on ne leur ait pas parlé plus tôt d'une propriété indispensable pour bien comprendre le postulat d'Euclide.}}
{{boîte déroulante fin}}
in Henri Lebesgue, « Sur la mesure des grandeurs », ''L'Enseignement Mathématique'', vol. 33, 1934, {{lire en ligne|lien=http://retro.seals.ch/cntmng;jsessionid=620DBEE6044E6946A5149DBDA7E15140?type=pdf&rid=ensmat-001:1934:33::67&subp=hires}}.</ref> :


<center><math>S=(\hat A+\hat B+\hat C+\ldots-(n-2)\pi)R^2.</math></center>
Également dans son ''Invention'', Girard généralise son travail et donne une formule analogue pour la mesure de la surface d'un polygone sphérique terminé par des arcs de grands cercles (nommée parfois formule de [[Carl Friedrich Gauss|Gauss]])<ref>Marie, Maximilien, ''Histoire des sciences mathématiques et physiques (1883), Gauthier Villars, Paris, {{pp.}}205-206 {{lire en ligne|lien=http://www.archive.org/stream/histoiredesscie31marigoog#page/n206/mode/1up/search/girard|date=24/09/2010}}.</ref>{{,}}<ref>Une analyse de la démonstration de ce théorème par Girard est donnée par Boris A. Rosenfeld, ''A History of Non-Euclidean Geometry'' Springer, 1988, {{ISBN|0387964584}} {{p.}}27 {{lire en ligne|lien=http://books.google.fr/books?id=DRLpAFZM7uwC&pg=PA27|date=5 novembre 2010}}.</ref>.


=== Les [[Euclide#Les Porismes|''Porismes'' d'Euclide]] ===
Explicitement, si <math>^{ \hat A,\hat B, \hat C}</math>, etc. désignent les angles du polygone sphérique (convexe) et ''n'' leur nombre, l'aire du polygone est donnée par<ref>Henri Lebesgue, ''Sur la mesure des grandeurs'', dans ''L'Enseignement Mathématique'', Vol. 33, p 282, 1934 {{lire en ligne|lien=http://retro.seals.ch/cntmng;jsessionid=620DBEE6044E6946A5149DBDA7E15140?type=pdf&rid=ensmat-001:1934:33::110&subp=hires|date=28 septembre 2010}}.</ref>{{,}}<ref group="Note">Évoquant ce théorème, Henri Lebesgue écrit : {{citation|Il est un peu triste de constater que des jeunes gens ayant terminé le cycle des études leur conférant les grades nécessaires pour enseigner dans les classes secondaires puissent ne jamais avoir entendu parler du magnifique théorème d'Albert Girard. Quand on le leur fait connaître, ils sont toujours émerveillés de la beauté du résultat et stupéfaits qu'on ne leur ait pas parlé plus tôt d'une propriété indispensable pour bien comprendre le postulat d'Euclide.}}
Dans son « Traité de trigonométrie », qui est à la suite d'une table des sinus, tangentes et sécantes, il montre par sa préface qu'il s'était également occupé à restaurer l'analyse géométrique des Anciens, et à rétablir les traités dont les titres ont été transmis par [[Pappus d'Alexandrie|Pappus]] ; il dit, à ce sujet, qu'après ce petit « Traité de Trigonométrie », qu'il donne comme échantillon, « il mettra au jour quelque chose de plus grand »<ref name="Chasles"/>.
in Henri Lebesgue, ''Sur la mesure des grandeurs'' dans ''L'Enseignement Mathématique'', Vol. 33, 1934 {{lire en ligne|lien=http://retro.seals.ch/cntmng;jsessionid=620DBEE6044E6946A5149DBDA7E15140?type=pdf&rid=ensmat-001:1934:33::67&subp=hires |date=28 septembre 2010}}.</ref> :

:<center><math>^{S=(\hat A+\hat B+\hat C+\ldots-(n-2)\pi)R^2}</math></center>

=== Les pôrismes d'Euclide ===
Dans son « Traité de trigonométrie », qui est à la suite d'une table des sinus, tangentes et sécantes, il montre par sa préface qu'il s'était également occupé à restaurer l'analyse géométrique des Anciens, et à rétablir les traités dont les titres ont été transmis par [[Pappus (mathématicien)|Pappus]] ; il dit, à ce sujet, qu'après ce petit « Traité de Trigonométrie », qu'il donne comme échantillon, « il mettra au jour quelque chose de plus grand »<ref name="Chasles"/>.
La mort l'en a empêché.
La mort l'en a empêché.


Dans la préface à sa traduction des œuvres de Stevin (éditée en 1625), il annonce derechef son intention de restaurer les ''pôrismes d'Euclide''<ref group="Note">Les pôrismes (ou porismes) d'Euclide formaient trois livres de propositions ; ils nous sont parvenus au travers des écrits de [[Pappus d'Alexandrie]]. De nombreux auteurs modernes ont tenté de les restaurer, dont Albert Girard, [[Robert Simson]] et [[Michel Chasles]]. Ces trois livres faisaient partie, avec ceux d'[[Apollonius de Perge]], des « Trésors de l'Analyse » des anciens. Michel Chasles, ''Les trois livres de pôrismes d'Euclides rétablis pour la première fois, d'apres la notice et les lemmes de Pappus, et conformément au sentiment de Robert Simon sur la forme des énoncés de ces propositions.'' Mallet-Bachelier, 1860 {{lire en ligne|lien=http://books.google.fr/books?id=lo5KAAAAYAAJ&printsec=frontcover&dq=Chasles+porismes&source=bl&ots=aGw30UCabJ&sig=t_SRcpI7Z9B9_ii6WUajqsH5CPI&hl=fr&ei=tsTfTM6GDsqxhAfX6e29DQ&sa=X&oi=book_result&ct=result&resnum=5&ved=0CCgQ6AEwBA#v=onepage&q&f=false|date=13 novembre 2010}}.</ref>, mais cet ouvrage, prêt à paraître, n'aura pas vu le jour et s'est perdu.
Dans la préface à sa traduction des œuvres de Stevin (éditée en 1625), il annonce derechef son intention de restaurer les ''Porismes'' d'Euclide<ref group="Note">Les ''Porismes'' d'Euclide formaient trois livres de propositions ; ils nous sont parvenus au travers des écrits de [[Pappus d'Alexandrie]]. De nombreux auteurs modernes ont tenté de les restaurer, dont Albert Girard, [[Robert Simson]] et [[Michel Chasles]]. Ces trois livres faisaient partie, avec ceux d'[[Apollonios de Perge]], des « Trésors de l'Analyse » des Anciens. Michel Chasles, ''Les Trois livres de porismes d'Euclide'', Mallet-Bachelier, 1860 {{lire en ligne|lien=https://books.google.fr/books?id=lo5KAAAAYAAJ&printsec=frontcover&dq=Chasles+porismes&source=bl&ots=aGw30UCabJ&sig=t_SRcpI7Z9B9_ii6WUajqsH5CPI&hl=fr&ei=tsTfTM6GDsqxhAfX6e29DQ&sa=X&oi=book_result&ct=result&resnum=5&ved=0CCgQ6AEwBA#v=onepage&q&f=false}}.</ref> mais cet ouvrage, prêt à paraître, n'aura pas vu le jour et s'est perdu.


[[Fichier:Oxyrhynchus papyrus with Euclid's Elements.jpg|thumb|Fragments des [[Éléments d'Euclide]]]]
[[Fichier:Oxyrhynchus papyrus with Euclid's Elements.jpg|thumb|Fragments des [[Éléments d'Euclide]]]]


Dans le chapitre des ''polygones rectilignes'', Girard affirme une fois encore<ref group="Note">Il en a effectivement restitué une partie dans sa Tables des sinus, tangentes et secantes, avec un ''Traicté succinct de Trigonométrie tant des triangles plans, que sphéricques''.</ref>{{,}}<ref name="X">[[Michel Chasles]], ''Les trois livres de pôrismes d'Euclide rétablis pour la première fois'', éd. Mallet-Bachelier, 1860, {{p.}}2 {{lire en ligne|lien=http://books.google.fr/books?id=nxsTAAAAQAAJ&q=girard#v=snippet&q=girard&f=false|date=23 septembre 2010}}.</ref> :
Dans le chapitre des ''polygones rectilignes'', Girard affirme une fois encore<ref group="Note">Il en a effectivement restitué une partie dans ses ''Tables des sinus, tangentes et secantes, avec un traicté succinct de la Trigonométrie tant des triangles plans, que sphéricques''.</ref>{{,}}<ref name="X">[[Michel Chasles]], ''Les trois livres de porismes d'Euclide'', Mallet-Bachelier, 1860, {{p.}}2, {{lire en ligne|lien=https://books.google.fr/books?id=nxsTAAAAQAAJ&q=girard#v=snippet&q=girard&f=false}}.</ref> :
{{citation bloc|(...) les pôrismes d'Euclide, qui sont perdus, lesquels j'espère de mettre bien tôt en lumière, les ayant restitués il y a quelques années en ça.}}
{{citation bloc|(...) les Porismes d'Euclides, qui sont perduz, lesquelz j'espere de mettre bient tost en lumiere, les ayant restituez il y a quelques années en ça.}}
Dans le ''Traité de l'art pondéraire ou de la statique'' de Stevin, Girard ajoute de nouveau<ref group="Note">Girard réitère l'affirmation selon laquelle il a déjà restauré ces pôrismes à la suite d'une proposition relative au centre de gravité du triangle.</ref>{{,}}<ref name="X"/> :
Dans le ''Traité de l'art pondéraire ou de la statique'' de Stevin, Girard ajoute de nouveau<ref group="Note">Girard réitère l'affirmation selon laquelle il a déjà restauré ces ''Porismes'' à la suite d'une proposition relative au centre de gravité du triangle.</ref>{{,}}<ref name="X"/> :
{{citation bloc|Celui qui n'entend pas cette manière de démonstration doit recourir premièrement au lieu cité de Ptolémée, puis à l'Arithmétique du présent auteur vers la fin touchant l'addition et soustraction des raisons. Les Anciens, comme [[Archimède]], [[Euclide]], [[Apollonius de Perge]], Eutocius Ascalonite, Pappus d'Alexandrie, etc., ont leurs livres remplis de l'égalité d'une raison à deux autres, excepté ce qu'en a écrit Euclide en ses Éléments (...). Mais il est à estimer qu'il en a plus écrit en ses trois livres de pôrismes qui sont perdus, lesquels, Dieu aidant, j'espère mettre en lumière, les ayant inventés de nouveau.}}
{{citation bloc|Celuy qui n'entend pas ceste maniere de demonstration doit recourir premierement au lieu cité de ''Ptolémée'', puis à l'Arithmetique du présent autheur vers la fin touchant l'addition et soustraction des raisons. Les Anciens, comme ''[[Archimède|Archimedes]]'', ''[[Euclide]]s'', ''[[Apollonios de Perga|Apollone]]'', ''Pergée'', ''[[Eutocius]] Ascalonite'', ''Pappus Alexandrin'', ''etc.'', ont leurs livres remplis de l'égalité d'une raison à deux autres, excepté ce qu'en a escrit ''Euclides'' ès Elemens (...). Mais ''il est à estimer qu'il en a plus escrit en ses trois livres de Porismes qui sont perdus, lesquels, Dieu aidant, j'espere de mettre en lumiere, les ayant inventez de nouveau''.}}

Un siècle plus tard, l'historien des sciences [[Jean-Étienne Montucla]] doute fortement que Girard ait réellement restauré ces ''Porismes''<ref name="M"/>. Lorsqu'en [[1860]], le géomètre [[Michel Chasles]] tente de restaurer à son tour les ''Porismes'' d'Euclide à partir des indications de Pappus, il se montre plus prudent. Il écrit<ref name ="X"/> :
{{citation bloc|Albert Girard, savant géomètre des premiers temps du {{XVIIe siècle}}, avait fait espérer qu'il rétablirait ces Porismes, dont il parle dans deux endroits différents de ses œuvres ; mais ce travail n'a peut-être pas été terminé ; du moins il ne nous est pas parvenu, et l'on ne peut préjuger jusqu'à quel point l'auteur avait entrevu la pensée d'Euclide.}}


Après Girard, de nombreux géomètres s'évertuent à reconstituer ces trois livres d'Euclide, notamment [[Ismaël Boulliau]], [[Carlo Renaldini]], [[Pierre de Fermat]], [[Edmond Halley]], [[Robert Simson]], [[Michel Chasles]] et [[Paul Émile Breton de Champ|Paul Émile Breton]] (1814-1885)<ref group="Note">Paul Émile Breton de Champ, [[Michel Chasles]], ''Question des Porismes : notice sur les débats de priorité'', éd. veuve Bouchard-Huzard, 1865 {{lire en ligne|lien=https://books.google.fr/books?id=P5JJAAAAMAAJ}}. Le même Paul Émile Breton dénonce la supercherie de [[Denis Vrain-Lucas|Lucas Vrain]] (à lire sur [http://editions.bnf.fr/pdf/revue/extrait13.pdf les éditions de la BNF]).</ref>.
Un siècle plus tard, l'historien des sciences [[Jean-Étienne Montucla]] doute fortement que Girard ait réellement restauré ces livres de pôrismes<ref name="M"/>. Lorsqu'en [[1860]], le géomètre [[Michel Chasles]] tente de restaurer à son tour les pôrismes d'Euclide à partir des indications de Pappus, il se montre plus prudent. Il écrit<ref name ="X"/> :
{{citation bloc|Albert Girard, savant géomètre des premiers temps du {{XVIIe siècle}}, avait fait espérer qu'il rétablirait ces pôrismes, dont il parle dans deux endroits différents de ses œuvres ; mais ce travail n'a peut-être pas été terminé ; du moins il ne nous est pas parvenu, et l'on ne peut préjuger jusqu'à quel point l'auteur avait entrevu la pensée d'Euclide.}}


=== Le [[théorème des deux carrés]] ===
Après Girard, de nombreux géomètres s'évertuent à reconstituer ces trois livres d'Euclide, notamment [[Ismaël Boulliau]], [[Carlo Renaldini]], [[Pierre de Fermat]], [[Edmond Halley]], [[Robert Simson]], [[Michel Chasles]] et [[Paul Émile Breton de Champ|Paul Émile Breton]] (1814-1885)<ref group="Note">Paul Émile Breton de Champ, [[Michel Chasles]], ''Question des pôrismes : notice sur les débats de priorité'', éd. veuve Bouchard-Huzard, 1865 {{lire en ligne|lien=http://books.google.fr/books?id=P5JJAAAAMAAJ|date=23 septembre 2010}}. Le même Paul Émile Breton dénonce la supercherie de [[Denis Vrain-Lucas|Lucas Vrain]] (à lire sur [http://editions.bnf.fr/pdf/revue/extrait13.pdf les éditions de la BNF])</ref>.
{{Article détaillé|Théorème des deux carrés de Fermat#Histoire{{!}}Historique du théorème des deux carrés}}
[[Fichier:Pierre de Fermat.png|thumb|[[Pierre de Fermat]].]]


Vers 1624, [[Claude-Gaspard Bachet de Méziriac]] remarque que le produit de deux sommes de deux carrés est une somme de deux carrés. Ce résultat était déjà connu de Viète, avec une interprétation géométrique, dans ses ''[[Notae priores]]''. Il était également connu de [[Diophante]] (livre III, problème 19).
=== Le théorème des deux carrés ===
Vers 1624, [[Claude-Gaspard Bachet de Méziriac]] remarque que le produit de deux sommes de deux carrés est une somme de deux carrés. Ce résultat était déjà connu de Viète, avec une interprétation géométrique, dans ses [[Algèbre nouvelle|notes priores]]. Il était également connu de [[Diophante]] (livre III, problème 19).


En [[1625]], après avoir repris les traductions de Diophante par Bachet (livres V et VI, 1621)<ref>Jean Itard, « A propos d'un livre sur Pierre Fermat », ''Revue d'histoire des sciences'', 1974, vol. 27, n° 4, {{pp.}}338 {{lire en ligne|lien=http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1974_num_27_4_1105?_Prescripts_Search_tabs1=standard&|date=5 novembre 2010}}.</ref>, Girard fournit une traduction des œuvres de Stevin, dans laquelle il donne, sans démonstration, un des premiers énoncés du [[théorème des quatre carrés]]. Ce théorème, démontré par [[Joseph-Louis Lagrange|Lagrange]] en 1770 est également l'objet des investigations de [[Edward Waring|Waring]] (1744-1793), qui en fournit une preuve inductive dans ses ''Meditationes algebraicæ''<ref>{{Dickson1}}, vol. 2, {{p.}}227 ; [[Edouard Lucas]], « Recherches sur l'analyse indéterminée et l'arithmétique de Diophante », in ''Bulletin de la Société d'émulation de l'Allier'', 1873, [http://gallica.bnf.fr/ark:/12148/bpt6k99555n/f11.chemindefer à lire sur Gallica]</ref>.
En [[1625]], après avoir repris les traductions de Diophante par Bachet (livres V et VI, 1621)<ref>[[Jean Itard (historien)|Jean Itard]], « À propos d'un livre sur Pierre Fermat », ''Revue d'histoire des sciences'', 1974, vol. 27, n° 4, {{p.}}338 {{lire en ligne|lien=http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1974_num_27_4_1105?_Prescripts_Search_tabs1=standard}}.</ref>, Girard fournit une traduction des œuvres de Stevin, dans laquelle il reproduit une conjecture de Bachet : le [[théorème des quatre carrés]]<ref>{{Dickson1}}, vol. 2, {{Google Livres|eNjKEBLt_tQC|page=275|{{p.}}275-276}}.</ref>, qui sera démontré par [[Joseph-Louis Lagrange|Lagrange]] en 1770.
Du même coup, le « Samielois » est le premier à donner une condition nécessaire et suffisante proprement formulée pour qu'un nombre entier soit somme de deux carrés seulement. Il la trouve de façon empirique en raisonnant sur les premiers nombres<ref>Cette affirmation se trouve par exemple dans {{en}} Harold Davenport, ''The higher arithmetic: an introduction to the theory of numbers'', Cambridge University Press, 1999 {{ISBN|0521634466}} {{lire en ligne|lien=http://books.google.fr/books?id=pGDckKsed3EC&pg=PA115&dq=%22Albert+Girard%22+%22Fermat%22&hl=fr&ei=TW-WTIPwEM3AswaYqdha&sa=X&oi=book_result&ct=result&resnum=2&ved=0CC8Q6AEwATge#v=onepage&q=%22Albert%20Girard%22%20%22Fermat%22&f=false|date=23 septembre 2010}}.</ref>{{,}}<ref>{{en}} La même affirmation est reprise par Chowdhary, ''Fundamentals of discrete mathematical structures'', PHI Learning Pvt. Ltd. {{ISBN|8120333322}} {{lire en ligne|lien=http://books.google.fr/books?id=I4VCFaSk87QC&pg=PA261&dq=%22Albert+Girard%22+%22Fermat%22&hl=fr&ei=TW-WTIPwEM3AswaYqdha&sa=X&oi=book_result&ct=result&resnum=3&ved=0CDQQ6AEwAjge#v=onepage&q=%22Albert%20Girard%22%20%22Fermat%22&f=false|date=23 septembre 2010}} : ''« Fermat proved a speculation of Albert Girard that every prime number of the form 4n + 1 can be written in a unique way as the sum of two squares »''.</ref>.
Du même coup, le « Samielois » est le premier à formuler une conjecture correcte donnant une condition nécessaire et suffisante pour qu'un nombre entier soit somme de deux carrés seulement<ref>{{en}} [[Harold Davenport]], ''{{Langue|en|The Higher Arithmetic: An Introduction to the Theory of Numbers}}'', Cambridge University Press, 1999 {{ISBN|0-521-63446-6}}, {{Google Livres|pGDckKsed3EC|page=115|{{p.}}115}}.</ref>.


La formulation moderne habituelle, équivalente à son énoncé, est la suivante :
[[Fichier:Pierre de Fermat.png|thumb|upright=0.8|[[Pierre de Fermat]]]]


{{théorème|Théorème des deux carrés (cas général)|Un entier strictement positif est somme de deux carrés si et seulement si chacun de ses [[Théorème fondamental de l'arithmétique|facteurs premiers]] de la forme 4''k'' + 3 apparaît à une puissance paire dans sa décomposition.}}
Sa formulation moderne est la suivante :


En [[1640]], [[Pierre de Fermat]] décrit à [[Marin Mersenne]] en termes très généraux comment il propose de démontrer ce théorème, qui porte désormais son nom, dans le cas de nombres premiers<ref>{{en}} K. R. Chowdhary, ''{{Langue|en|Fundamentals of Discrete Mathematical Structures}}'', PHI Learning {{ISBN|81-203-3332-2}}, {{lire en ligne|lien={{Google Livres|I4VCFaSk87QC|page=261}}}} : {{Citation étrangère|lang=en|Fermat proved a speculation of Albert Girard that every prime number of the form 4n + 1 can be written in a unique way as the sum of two squares.}}</ref>. Il faut attendre l'article de 1760 de [[Leonhard Euler]]<ref>[https://math.dartmouth.edu/~euler/pages/E241.html E421].</ref> pour une première démonstration complète publiée, grâce à un plan qui s'écarte de celui esquissé par Fermat. La formulation moderne est la suivante :
{{théorème|Théorème des deux carrés (cas général)|Un entier est somme de deux carrés si et seulement si chacun de ses [[Théorème fondamental de l'arithmétique|facteurs premiers]] de la forme 4''k'' + 3 intervient à une puissance paire.}}
{{théorème|Théorème des deux carrés (cas des nombres premiers)|Un nombre premier ''p'' impair est somme de deux carrés d'entiers si et seulement si ''p'' est [[congruence sur les entiers|congru]] à 1 modulo 4 :
<center><math>\left(\exists x,y\in \N \quad p = x^2 + y^2\right)\quad \Leftrightarrow \quad p\equiv 1 \pmod{4}.</math></center>


De plus cette décomposition, quand elle existe, est unique à l'ordre près des termes <math>x^2 </math> et <math>y^2</math>.}}
En [[1640]], [[Pierre de Fermat]] décrit à [[Marin Mersenne]] en termes très généraux comment il propose de démontrer ce théorème, qui porte désormais son nom, dans le cas de nombres premiers. Il faut attendre deux articles de [[Leonhard Euler]]<ref>Comptes rendus de l'Académie des sciences de St Petersbourg, 1752-1753 et 1754-1755.</ref> pour une première démonstration complète publiée. La formulation moderne est la suivante :
{{théorème|Théorème des deux carrés (cas des nombres premiers)|Soit ''p'' un nombre premier impair, ''p'' est somme de deux carrés d'entiers naturels si et seulement si ''p'' est [[congruence sur les entiers|congru]] à 1 modulo 4 :
<center><math>\left(\exists x,y\in \N \quad /\quad p = x^2 + y^2\right)\quad \Leftrightarrow \quad p\equiv 1 \pmod{4}.</math></center>


Dickson<ref>{{Dickson1}}, vol. 2, {{Google Livres|eNjKEBLt_tQC|page=228|{{p.}}228}}.</ref> donne le nom de Girard au théorème selon lequel tout nombre premier de la forme 4''n'' + 1 est somme de deux carrés.
De plus, cette décomposition, quand elle existe, est unique, à l’échange près de <math>x^2 </math> et <math>y^2</math>.}}

Chacun s'accorde à penser que Fermat n'a pas lu Girard ; toutefois quelques mathématiciens, dont [[Leonard Eugene Dickson|Leonard Dickson]], réclament que le [[théorème des deux carrés]] porte le nom de Girard.
{{détail|contenu=[[Théorème des deux carrés de Fermat#Histoire| Historique du théorème des deux carrés]]}}


=== Girard et les fractions continues ===
=== Girard et les fractions continues ===
[[Fichier:Fibonacci2.jpg|thumb|right|upright=0.8|[[Leonardo Pisano]]]]
[[Fichier:Fibonacci2.jpg|thumb|upright=0.8|[[Leonardo Pisano]]]]
Girard est également le premier à donner l'expression générale de la formation des [[suite de Fibonacci|suites]] de [[Leonardo Fibonacci|Fibonacci]]<ref>[[Robert Simson]], ''Une explication d'un passage obscur d'Albert Girard'', Royal Society de Londres, 1753, numéro 48, {{pp.}}368-376, remarque le premier ce fait.</ref> :
Girard est également le premier à donner l'expression générale de la formation des [[suite de Fibonacci|suites]] de [[Leonardo Fibonacci|Fibonacci]]<ref>[[Robert Simson]], « Une explication d'un passage obscur d'Albert Girard », {{refinc|date=11/08/2016|Royal Society de Londres}}, 1753, {{n°|48}}, {{p.}}368-376, remarque le premier ce fait.</ref> :


:<center> <math> f_ {n +2} = f_ {n+ 1} + f_ n~.</math></center>
:<center> <math> f_ {n +2} = f_ {n+ 1} + f_ n.</math></center>


Il le fait dans sa traduction des cinquième et sixième livres de [[Diophante]], en marge de l'édition de 1625 des œuvres de [[Simon Stevin]]. La veuve de Girard réédite cet énoncé en 1634, dans la publication de son œuvre posthume. Girard ne fournit pas sa méthode et parle de ''« particularités non encore par cy devant pratiquées'' »<ref> [[Edouard Lucas]], « Recherche sur divers ouvrages de Leonard de Pise » (1877), cité par Robert Halleux, ''Kepler ou l'étrenne ou la neige sexangulaire'', Vrin, 2002 {{ISBN|2711604438}} {{p.}}98 {{lire en ligne|lien=http://books.google.fr/books?id=rnZKqDWmxMYC&pg=PA98&dq=nombre+d'or+Albert+Girard&hl=fr&ei=tYaWTN2dJJDMswa25e1k&sa=X&oi=book_result&ct=result&resnum=2&ved=0CDAQ6AEwAQ#v=onepage&q=nombre%20d'or%20Albert%20Girard&f=false|date=23 septembre 2010}}.</ref>.
Il le fait dans sa traduction des cinquième et sixième livres de [[Diophante]], en marge de l'édition de 1625 des œuvres de [[Simon Stevin]]. La veuve de Girard réédite cet énoncé en 1634, dans la publication de son œuvre posthume. Girard ne fournit pas sa méthode et parle de ''« particularités non encore par cy devant pratiquées'' »<ref>[[Edouard Lucas]], « Recherche sur divers ouvrages de Leonard de Pise » (1877), cité par Robert Halleux, ''Kepler ou l'étrenne ou la neige sexangulaire'', Vrin, 2002 {{ISBN|2-7116-0443-8}}, {{p.}}98, {{lire en ligne|lien={{Google Livres|rnZKqDWmxMYC|page=98}}}}.</ref>.


Ce faisant, il approche de très près la première définition des [[fractions continues]]. Il remarque également qu'en divisant un terme de la suite par son précédent, le calcul donne une approximation du [[nombre d'or]]. Cette propriété a déjà été énoncée par un anonyme du {{XVIe siècle}} dans une note manuscrite, à propos de la traduction des ''Éléments'' d'Euclide par [[Luca Pacioli]] (1509). Elle est confirmée par [[Johannes Kepler|Kepler]] vers 1608, dans une des ses lettres. Girard est un des premiers à l'énoncer dans une publication (en [[1634]]), son ''Invention nouvelle en l'algèbre.''
Ce faisant, il approche de très près la première définition des [[fractions continues]]. Il remarque également qu'en divisant un terme de la suite par son précédent, le calcul donne une approximation du [[nombre d'or]]. Cette propriété a déjà été énoncée par un anonyme du {{XVIe siècle}} dans une note manuscrite, à propos de la traduction des ''Éléments'' d'Euclide par [[Luca Pacioli]] (1509). Elle est confirmée par [[Johannes Kepler|Kepler]] vers 1608, dans une de ses lettres. Girard est un des premiers à l'énoncer dans une publication (en [[1634]]), son ''Invention nouvelle en l'algèbre.''


Ses mots exacts sont les suivants<ref>John Emery Murdoch, Edith Dudley Sylla, ''The cultural context of medieval learning'', Springer, 1975, {{p.}}475 {{ISBN|9027705879}} {{lire en ligne|lien=http://books.google.fr/books?id=jaJMhMxPF7gC&pg=PA475|date=23 septembre 2010}}</ref> :
Ses mots exacts sont les suivants<ref>{{en}} John Emery Murdoch et Edith Dudley Sylla, ''The Cultural Context of Medieval Learning'', Springer, 1975, {{p.}}475 {{ISBN|90-277-0587-9}} {{lire en ligne|lien={{Google Livres|jaJMhMxPF7gC|page=475}}}}.</ref> :
{{citation bloc|Soit faite une telle progression 0,1,1,2,3,5,8,13,21, etc., dont chaque nombre est égal aux deux précédents, alors deux nombres pris immédiatement dénoteront la même raison, comme 5 et 8 ou 8 et 13, etc., et tant plus grands, tant plus près, tellement que 13 à 21 constitue assez précisément un triangle isocèle pris dans un pentagone.}}
{{citation bloc|Soit faite une telle progression 0,1,1,2,3,5,8,13,21, etc., dont chaque nombre est égal aux deux précédents, alors deux nombres pris immédiatement dénoteront la même raison, comme 5 et 8 ou 8 et 13, etc., et tant plus grands, tant plus près, tellement que 13 à 21 constitue assez précisément un triangle isocèle pris dans un pentagone.}}
{{détail|contenu=[[Nombre d'or#Renaissance|Le nombre d'or à la Renaissance]]}}
{{Article détaillé|contenu=[[Nombre d'or#Renaissance|Le nombre d'or à la Renaissance]]}}


Selon Georges Maupin<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècle'' (Albert Girard tire parti des fractions continues), Naud, Paris, 1898, {{pp.}}203-209 {{pdf}} [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf Télécharger ici]</ref>, il a sans doute découvert le moyen de construire une suite de rationnels convergeant rapidement vers une racine carrée par la création de fractions continues. [[Raphaele Bombelli]] l'avait cependant précédé sur ce domaine en [[1572]]. Sans donner la façon générale de former de telles suites, Girard fournit dans le même livre deux approximations de ce type :
Selon Georges Maupin<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, {{s2-|XVII|XVIII}}'' (Albert Girard tire parti des fractions continues), Naud, Paris, 1898, {{p.}}203-209, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf télécharger ici].</ref>, il a sans doute découvert le moyen de construire une suite de rationnels convergeant rapidement vers une racine carrée par la création de fractions continues. [[Raphaele Bombelli]] l'avait cependant précédé sur ce domaine en [[1572]]. Sans donner la façon générale de former de telles suites, Girard fournit dans le même livre deux approximations de ce type :
:<center>pour {{sqrt|2}}, il donne : <math>^{577\over 408}</math> puis <math>^{1393\over 985}</math>,</center>
:<center>pour {{racine|2}}, il donne : <math>{577\over 408}</math> puis <math>{1393\over 985}</math>,</center>
:<center>pour {{sqrt|10}}, il donne : <math>^{1039681\over 328776}</math>,</center>
:<center>pour {{racine|10}}, il donne : <math>{1039681\over 328776}</math>,</center>
dont il est possible (cf. ci-dessous) de vérifier rapidement l'appartenance aux fractions continues<ref> Leonard Eugene Dickson, ''Diophantine analysis'', réedition AMS Bookstore, 1999, {{p.}}356 {{ISBN|0821819356}}.</ref>{{,}}<ref group="Note">Paul Davalan offre un site de calcul [http://jean-paul.davalan.pagesperso-orange.fr/arit/frcont/index.html#calcul pour les fractions continues]</ref> approchant respectivement {{sqrt|2}} et {{sqrt|10}}.
dont il est possible (cf. ci-dessous) de vérifier rapidement l'appartenance aux fractions continues<ref>Leonard Eugene Dickson, ''Diophantine analysis'', réedition AMS Bookstore, 1999, {{p.}}356 {{ISBN|0-8218-1935-6}}.</ref>{{,}}<ref group="Note">Paul Davalan offre un site de calcul [http://jean-paul.davalan.pagesperso-orange.fr/arit/frcont/index.html#calcul pour les fractions continues]</ref> approchant respectivement {{racine|2}} et {{racine|10}}.


{{boîte déroulante début|titre=Quelques précisions à propos de <math>^{577\over 408}</math> et de <math>^{1393\over 985}</math> }}
{{Boîte déroulante/début|titre=Quelques précisions à propos de <math>{577\over 408}</math> et de <math>{1393\over 985}</math>}}
D'après l'égalité suivante :
D'après l'égalité suivante :
<center><math>^{\sqrt{2}=1+(\sqrt{2}-1)=1+{1\over 1+\sqrt{2}}=1+{1\over 2+(\sqrt{2}-1)}}</math></center>
<center><math>{\sqrt{2}=1+(\sqrt{2}-1)=1+{1\over 1+\sqrt{2}}=1+{1\over 2+(\sqrt{2}-1)}}</math></center>
et après justification de la convergence de ce procédé, se déduit l'égalité :
et après justification de la convergence de ce procédé, se déduit l'égalité :
<center><math>^{\sqrt2={1+{1\over2+{1\over2+{1\over2+{1\over\ldots}}}}}~.}</math></center>
<center><math>{\sqrt2={1+{1\over2+{1\over2+{1\over2+{1\over\ldots}}}}}.}</math></center>
Le même procédé que Girard a remarqué sur les suites de Fibonacci donne une suite de fractions s'approchant de {{sqrt|2}}, nommément :
Le même procédé que Girard a remarqué sur les suites de Fibonacci donne une suite de fractions s'approchant de {{racine|2}}, nommément :
<center><math>^{1,{3\over 2},{7\over 5},{17\over 12},{41\over 29},\ etc.}</math></center>
<center><math>1,{3\over 2},{7\over 5},{17\over 12},{41\over 29},\ etc.</math></center>
Ces fractions sont de la forme <math>^{F_n={P_n\over Q_n}}</math> où les suites <math>^{P_n}</math> et <math>^{Q_n}</math> vérifient :
Ces fractions sont de la forme <math>F_n={P_n\over Q_n}</math> où les suites <math>(P_n)</math> et <math>(Q_n)</math> vérifient :
<center><math>^{P_0=Q_0=1, \ \ Q_{n+1}=P_n+Q_n,\ \ P_{n+1}=P_n+Q_{n+1}.}</math></center>
<center><math>P_0=Q_0=1, \ \ Q_{n+1}=P_n+Q_n,\ \ P_{n+1}=P_n+Q_{n+1}.</math></center>
Parmi elles se trouvent bien <math>^{F_7={577\over 408}}</math> et <math>^{F_8={1393\over 985}}</math>, les deux seules valeurs qu'il indique.
Parmi elles se trouvent bien <math>F_7={577\over 408}</math> et <math>F_8={1393\over 985}</math>, les deux seules valeurs qu'il indique.
{{boîte déroulante fin}}
{{Boîte déroulante/fin}}
Le même procédé vaut pour {{sqrt|10}}
Le même procédé vaut pour {{racine|10}}
{{boîte déroulante début|titre=Quelques précisions à propos de <math>^{1039681\over 328776}</math> }}
{{Boîte déroulante/début|titre=Quelques précisions à propos de <math>{1039681\over 328776}</math>}}
D'après l'égalité suivante :
D'après l'égalité suivante :
<center><math>^{\sqrt{10}=3+(\sqrt{10}-3)=3+{1\over 3+\sqrt{10}}=1+{1\over 6+(\sqrt{10}-3)}}</math></center>
<center><math>\sqrt{10}=3+(\sqrt{10}-3)=3+{1\over 3+\sqrt{10}}=1+{1\over 6+(\sqrt{10}-3)}</math></center>
et après justification de la convergence de ce procédé, se déduit l'égalité :
et après justification de la convergence de ce procédé, se déduit l'égalité :
<center><math>^{\sqrt{10}={3+{1\over 6+{1\over 6+{1\over 6+{1\over\ldots}}}}}~.}</math></center>
<center><math>\sqrt{10}={3+{1\over 6+{1\over 6+{1\over 6+{1\over\ldots}}}}}~.</math></center>
Le même procédé que Girard a remarqué sur les suites de Fibonacci donne encore une suite de fractions s'approchant de {{sqrt|10}}, nommément :
Le même procédé que Girard a remarqué sur les suites de Fibonacci donne encore une suite de fractions s'approchant de {{racine|10}}, nommément :
<center><math>^{3,{19\over 6},{117\over 37},{721\over 228},{4443\over 1405},\ etc.}</math></center>
<center><math>3,{19\over 6},{117\over 37},{721\over 228},{4443\over 1405},\ etc.</math></center>
Ces fractions sont toujours de la forme <math>^{F_n={P_n\over Q_n}}</math>, où <math>^{P_n}</math> et <math>^{Q_n}</math> vérifient toutes deux :
Ces fractions sont toujours de la forme <math>F_n={P_n\over Q_n}</math>, où <math>(P_n)</math> et <math>(Q_n)</math> vérifient toutes deux :
<center><math>^{P_0=3,\ Q_0=1,\ P_1=19,\ Q_1=6, \ \ Q_{n+2}=6Q_{n+1}+Q_n,\ \ P_{n+2}=6P_{n+1}+P_{n}.}</math></center>
<center><math>P_0=3,\ Q_0=1,\ P_1=19,\ Q_1=6, \ \ Q_{n+2}=6Q_{n+1}+Q_n,\ \ P_{n+2}=6P_{n+1}+P_n.</math></center>
Parmi elles se trouve bien <math>^{F_7={1039681\over 328776}}</math>, la seule valeur que Girard indique en 1625.
Parmi elles se trouve bien <math>F_7={1039681\over 328776}</math>, la seule valeur que Girard indique en 1625.
{{boîte déroulante fin}}
{{Boîte déroulante/fin}}
{{détail|Fraction continue d'un nombre quadratique}}
{{Article détaillé|Fraction continue d'un irrationnel quadratique}}


=== La cosmographie ===
=== La cosmographie ===


Dans sa traduction de la cosmographie, publiée à titre posthume en 1634 par sa veuve, Girard demeure fidèle au point de vue [[Héliocentrisme|héliocentrique]] de Simon Stevin. Quoiqu'il juge impossible de pouvoir démontrer que le soleil est au centre la [[Sphère céleste|sphère des fixes]], et qu'il consacre de nombreuses propositions à décrire les mouvements des planètes selon le modèle [[géocentrique]], Girard (comme Stevin) est persuadé que l'hypothèse de [[Copernic]] est la plus vraisemblable. Il la nomme « propre », à l'opposée du système de [[Ptolémée]], qu'il qualifie « d'impropre » et donne dans les pages 295-340 des ''Œuvres Mathematiques de Simon Stevin de Bruges'' un véritable plaidoyer en faveur des théories de la Terre mobile<ref>Les œuvres mathématiques de Simon Stevin de Bruges : Ou sont inserées les mémoires mathématiqves, esquelles s'est exercé le Tres-haut & Tres-illustre Prince Maurice de Nassau publié à Leyde chez Elsevier, en 1634 {{lire en ligne|lien=http://diglib.hab.de/drucke/n-11-2f-helmst/start.htm?image=00533|date=8 novembre 2010}}.</ref>. Cette affirmation paraît alors que [[Galilée]] a été condamné l'année précédente pour son ''[[Dialogue sur les deux grands systèmes du monde]]''.
Dans sa traduction de la cosmographie, publiée à titre posthume en 1634 par sa veuve, Girard demeure fidèle au point de vue [[Héliocentrisme|héliocentrique]] de Simon Stevin. Quoiqu'il juge impossible de pouvoir démontrer que le soleil est au centre la [[Sphère céleste|sphère des fixes]], et qu'il consacre de nombreuses propositions à décrire les mouvements des planètes selon le modèle [[géocentrique]], Girard (comme Stevin) est persuadé que l'hypothèse de [[Nicolas Copernic|Copernic]] est la plus vraisemblable. Il la nomme « propre », à l'opposé du système de [[Ptolémée]], qu'il qualifie « d'impropre » et donne dans les pages 295-340 des ''Œuvres Mathematiques de Simon Stevin de Bruges'' un véritable plaidoyer en faveur des théories de la Terre mobile<ref>Les œuvres mathématiques de Simon Stevin de Bruges : Ou sont inserées les mémoires mathématiqves, esquelles s'est exercé le Tres-haut & Tres-illustre Prince Maurice de Nassau publié à Leyde chez Elsevier, en 1634 {{lire en ligne|lien=http://diglib.hab.de/drucke/n-11-2f-helmst/start.htm?image=00533}}.</ref>. Cette affirmation paraît alors que [[Galilée (savant)|Galilée]] a été condamné l'année précédente pour son ''[[Dialogue sur les deux grands systèmes du monde]]''.


Girard ajoute au texte de Stevin quelques remarques sur les planètes. Il affirme qu'il s'en trouve davantage que les huit planètes connues des anciens, et qu'on en trouvera bien plus grâce à l'invention des « yeux artificiels » que sont les [[Lunette astronomique|lunettes]] (ou « lynx »). Pour lui la [[voie lactée]] est un amas d'étoiles, situées fort près les unes des autres. Il cite enfin [[Aristarque de Samos]] comme un lointain prédécesseur de Copernic<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècle'', Naud, Paris, 1898, {{pp.}}268-269 {{pdf}} [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf Télécharger ici]</ref>.
Girard ajoute au texte de Stevin quelques remarques sur les planètes. Il affirme qu'il s'en trouve davantage que les huit planètes connues des anciens, et qu'on en trouvera bien plus grâce à l'invention des « yeux artificiels » que sont les [[Lunette astronomique|lunettes]] (ou « lynx »). Pour lui la [[Voie lactée]] est un amas d'étoiles, situées fort près les unes des autres. Il cite enfin [[Aristarque de Samos]] comme un lointain prédécesseur de Copernic<ref>Georges Maupin, ''Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, {{s2-|XVII|XVIII}}'', Naud, Paris, 1898, {{p.}}268-269, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf télécharger ici].</ref>.


== Œuvres ==
== Œuvres ==
* [[1625]] : ''Commentaires'' de l'édition des œuvres de Stevin, ''Arithmétique de Simon Stevin, revue, corrigée et augmentée de plusieurs traittez et annotations, par Albert Girard, sammielois, mathématicien'', imprimé à Leyde, chez [[Elzevier|Jacques Elzevier]]. Seuls deux livres furent édités par Jacob ou Jacques Elzevier ; ces commentaires sont l'un d'eux.
* [[1625]] : ''Commentaires'' de l'édition des œuvres de Stevin, ''Arithmétique de Simon Stevin, revue, corrigée et augmentée de plusieurs traittez et annotations, par Albert Girard, sammielois, mathématicien'', imprimé à Leyde, chez [[Elzevier|Jacques Elzevier]]. Seuls deux livres furent édités par Jacob ou Jacques Elzevier ; ces commentaires sont l'un d'eux {{lire en ligne|lien=https://archive.org/details/larithmetiqvedes00stev/page/n3/mode/2up|consulté le=}}''.
* [[1625]] : ''{{langue|fro|Description et brève déclaration des règles générales de la fortification, l’artillerie, des munitions et vivres, des officiers et de leurs commissions, des retranchemens de camp, des approches, avec la manière de se deffendre, et des feux artificiels, par Henri Hondius. Le tout traduit du flamend en langue françoise par A. G. S.}}'', La Haye, Hendrik Hondius {{lire en ligne|url=https://books.google.fr/books?id=T8-LQplnSxIC}}.

* [[1626]] : ''Tables des Sinus, tangentes et secantes, avec un traicté succinct de la Trigonométrie tant des triangles plans, que sphéricques'', par Albert Girard, sammielois, chez [[Elzevier|Jacques Elzevier]] à La Haye {{lire en ligne|lien={{Google Livres|xAYHAAAAcAAJ}}}}. Seconde édition 1634 {{lire en ligne|lien=https://archive.org/details/ned-kbn-all-00003592-001/page/n7/mode/2up|consulté le=}}.
* [[1625]] : ''Description et brève déclaration des règles générales de la fortification, l’artillerie, des munitions et vivres, des officiers et de leurs commissions, des retranchemens de camp, des approches, avec la manière de se deffendre, et des feux artificiels, par Henri Hondius. Le tout traduit du flamend en langue françoise par A. G. S., La Haye, Hendrik Hondius {{lire en ligne|lien=http://architectura.cesr.univ-tours.fr/traite/Images/13331Index.asp|date=5 novembre 2010}}.
* [[1627]] : ''Geometrie contenant la théorie et pratique d’icelle, nécessaire à la fortification. Jadis écrite par [[Samuel Marolois]], mais depuis corrigée, et la plupart du discours changé et rédigé en meilleur état'', par Albert Girard, mathématicien, Amsterdam, Jan Janssen.

* [[1627]] : ''Fortification, ou architecture militaire, tant offensive que défensive par [[Samuel Marolois]], revue, augmentée et corrigée par Albert Girard'', Amsterdam, Jan Janssen {{lire en ligne|lien=https://doi.org/10.3931/e-rara-8264|consulté le=}}. Réimpr. 1651, {{Gallica|id=btv1b8528566t/f115.item}} précédé de ''L’architecture contenant la Toscane, Dorique, Ionique, Corinthiaque et Composee, faict par Henri Hondius. Avec quelques belles ordonnances d’Architecture mises en perspective par Iean Vredman frison.
* [[1626]] : ''Tables des Sinus, tangentes et secantes avec un traicté succinct de la Trigonométrie tant des triangles plans, que sphéricques, etc., par Albert Girard, sammielois'', chez [[Elzevier|Jacques Elzevier]] à La Haye {{lire en ligne|lien=http://books.google.fr/books?id=xAYHAAAAcAAJ|date=15 octobre 2010}}.
* [[1628]] : ''Opera mathematica ou œuvres mathématiques..., De nouveau reveuë, augmentée, et corrigée par Albert Girard'', Amsterdam], Jan Ianssen, {{lire en ligne|lien=http://www.e-rara.ch/zut/content/titleinfo/290294}} (numérisation [[e-rara]]). Réimpr. 1647, {{lire en ligne|lien={{Google Livres|zRYOAAAAQAAJ}}}}.

* [[1629]] : ''Invention nouvelle en l'algèbre'', chez Jan Janssen {{lire en ligne|lien={{Google Livres|JMQoAAAAcAAJ}}}}. Ce livre, dit Montucla, est « fort remarquable, en ce qu'on y trouve une connaissance des racines négatives plus développée que dans ceux de la plupart des autres analystes »<ref name="M"/>. Un des objets de ce livre est de montrer que, dans les équations qui conduisent au cas irréductible, il y a toujours trois racines.
* [[1627]] : ''Geometrie contenant la théorie et pratique d’icelle, nécessaire à la fortification. Jadis écrite par [[Samuel Marolois]], mais depuis corrigée, et la pluspart du discours changé et rédigé en meilleur état'', par Albert Girard, mathématicien, Amsterdam, Jan Janssen.
: = ''Invention nouvelle en l'Algèbre, tant pour la solution des équations que pour recognoistre le nombre des solutions qu'elles reçoivent avec plusieurs choses qui sont nécessaires à la perfection de cette divine science'', [[Amsterdam]], 1629, 70 p. / Reproduction identique par M. [[David Bierens de Haan|Biereus de Haan]], [[Leyde]], 1884 et [[Nieuw Archief voor wiskunde|N.A.W.]]<sup>[[:nl:Nieuw Archief voor wiskunde#1875-|nl]]</sup> [Nieuw Archief voor wiskunde uitgegeven door bet Wiskundig Genootschap], [[Amsterdam]], 1884, '''11''', 85-152

* [[1627]] : ''Fortification, ou architecture militaire, tant offensive que défensive par [[Samuel Marolois]], revue, augmentée et corrigée par Albert Girard'', Amsterdam, Jan Janssen.

* [[1627]] : ''recueil des tables des sinus, tangentes, et sécantes, etc., par Albert Girard, publié à La Haye, chez Jacob Elzevier (il n'existe que deux ouvrages publiés par Jacob Elzevier, d'où sa rareté).

* [[1628]] : ''Opera mathematica ou oeuvres mathématiques..., De nouveau reveuë, augmentée, et corrigée par Albert Girard'', Amsterdam], Jan Ianssen {{lire en ligne|lien=http://www.e-rara.ch/zut/content/titleinfo/290294 |date=15 octobre 2010}}. Ce livre fut réimprimé en 1647 {{lire en ligne|lien=http://books.google.fr/books?id=zRYOAAAAQAAJ |date=15 octobre 2010}}.

* [[1629]] : ''Invention nouvelle en l'algèbre'', chez Jan Janssen {{lire en ligne|lien=http://books.google.com/books?id=JMQoAAAAcAAJ|date=15 octobre 2010}}. Ce livre, dit Montucla, est « fort remarquable, en ce qu'on y trouve une connaissance des racines négatives plus développée que dans ceux de la plupart des autres analystes »<ref name="M"/>. Un des objets de ce livre est de montrer que, dans les équations qui conduisent au cas irréductible, il y a toujours trois racines.


=== Œuvres posthumes ===
=== Œuvres posthumes ===
* [[1634]] : ''Les œuvres mathématiques de Simon Stevin de Bruges, où sont insérés les mémoires mathématiques, auxquels s'est exercé le très haut et très illustre Prince Maurice de Nassau, prince d'Orange, gouverneur des Provinces des Pays-bas etc., le tout revu, corrigé et augmenté par Albert Girard, sammiélois, mathématicien'' ; publié à Leyde, chez [[Elzevier]] disponible sur diglib {{lire en ligne|lien=http://diglib.hab.de/wdb.php?dir=drucke/n-11-2f-helmst|date=15 octobre 2010}}.
* [[1634]] : ''Les œuvres mathématiques de Simon Stevin de Bruges, où sont insérés les mémoires mathématiques, auxquels s'est exercé le très haut et très illustre Prince Maurice de Nassau, prince d'Orange, gouverneur des Provinces des Pays-Bas etc., le tout revu, corrigé et augmenté par Albert Girard, sammiélois, mathématicien'' ; publié à Leyde, chez [[Elzevier]] disponible sur diglib, {{lire en ligne|lien=http://diglib.hab.de/wdb.php?dir=drucke/n-11-2f-helmst}}.

* [[1651]] : ''L’architecture contenant la Toscane, Dorique, Ionique, Corinthiaque et Composee, faict par Henri Hondius. Avec quelques belles ordonnances d’Architecture mises en perspective par Iean Vredman frison... Suivi de Fortification ou Architecture militaire tant offensive que defensive supputée et designée par S. M., reveuë, corrigée et augmentée par Albert Girard'', Amsterdam, Jan Janssen.


== Retentissements ==
== Retentissements ==
Le 21 juillet 1629, au lendemain de sa rencontre avec Girard, [[Pierre Gassendi]] écrit à [[Nicolas Fabri de Peiresc]] qu'il a dîné avec un des ingénieurs du prince [[Frédéric-Henri d'Orange-Nassau|Frédéric de Nassau]]. C'est à ce titre que son siècle le connaît, et l'ignore. Galilée le connaît comme le traducteur de ''l'Art pondéraire'' de Stevin.
Le {{date-|21 juillet 1629}}, au lendemain de sa rencontre avec Girard, [[Pierre Gassendi]] écrit à [[Nicolas Fabri de Peiresc]] qu'il a dîné avec un des ingénieurs du prince [[Frédéric-Henri d'Orange-Nassau|Frédéric de Nassau]]. C'est à ce titre que son siècle le connaît, et l'ignore. Galilée le connaît comme le traducteur de ''l'Art pondéraire'' de Stevin.
Le père du mathématicien [[Constantin Huygens|Huygens]] apprécie ses travaux, et lui décerne dans une lettre à leur ami commun [[Jacob Golius|Golius]] le titre de « ''{{lang|la|vir stupendus}}'' ». Pour autant, la renommée de Girard n'atteint pas le Toulousain [[Pierre de Fermat]] ou très tardivement, et son œuvre demeure confidentielle au {{XVIIe siècle}}.
Le père du mathématicien [[Constantin Huygens|Huygens]] apprécie ses travaux, et lui décerne dans une lettre à leur ami commun [[Jacob Golius|Golius]] le titre de « ''{{langue|la|vir stupendus}}'' ». Pour autant, la renommée de Girard n'atteint pas le Toulousain [[Pierre de Fermat]] ou très tardivement, et son œuvre demeure confidentielle au {{XVIIe siècle}}.
Mersenne le connaît comme mathématicien flamand, alors qu'il est né en Lorraine et écrit en français<ref group="Note">Cette erreur sera reprise par Cornelis de Waard dans ses éditions de la correspondance du père minime, selon l'article de Jean Itard, « Correspondance du P. Marin Mersenne, religieux minime : tables et index cumulatif des tomes I à X (années 1617-1641) », ''Revue d'histoire des sciences'', 1974, vol. 27, n° 1, {{pp.}}91-92 {{lire en ligne|lien=http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1974_num_27_1_1058?_Prescripts_Search_tabs1=standard&|date=23 septembre 2010}}.</ref>. Le philosophe [[René Descartes]] - selon son habitude - emprunte sans le citer plusieurs de ses idées à Girard<ref>Émile Jalley, ''La guerre de la psychanalyse: Hier, aujourd'hui, demain'', éditions L'Harmattan, 2008 {{ISBN|2296067743}}, {{p.}}251 {{lire en ligne|lien=http://books.google.fr/books?id=ybKN20-yT40C&pg=PA251|date=6 novembre 2010}}.</ref>{{,}}<ref name="Montucla_495"/>. [[Blaise Pascal]] lit Stevin au travers de sa traduction, selon [[Léon Brunschvicg]]<ref>[[Léon Brunschvicg]], ''Œuvres de Blaise Pascal, publićes suivant l'ordre chronologique, avec documents complémentaires, introductions et notes'', Volume 9, Hachette, 1914</ref> ; le [[Jean-François Niceron|père Niceron]] le conseille comme livre portatif<ref>[[Jean-François Niceron]], ''La perspective curieuse du révérend P. Niceron minime, divisée en quatre livres ; avec l'optique et la catoptrique du R. P. Mersenne mise en lumière apres la mort de l'auteur'', chez la veuve Langlois, dit Chartres, 1652, {{p.}}104 {{lire en ligne|lien=http://books.google.fr/books?id=7xMOAAAAQAAJ&pg=PA104|date=23 septembre 2010}}.</ref>.
Mersenne le connaît comme mathématicien flamand, alors qu'il est né en Lorraine et écrit en français<ref group="Note">Cette erreur sera reprise par Cornelis de Waard dans ses éditions de la correspondance du père minime, selon l'article de Jean Itard, « Correspondance du P. Marin Mersenne, religieux minime : tables et index cumulatif des tomes I à X (années 1617-1641) », ''Revue d'histoire des sciences'', 1974, vol. 27, n° 1, {{p.}}91-92, {{lire en ligne|lien=http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1974_num_27_1_1058?_Prescripts_Search_tabs1=standard}}.</ref>. Le philosophe [[René Descartes]] - selon son habitude - emprunte sans le citer plusieurs de ses idées à Girard<ref>[[Émile Jalley]], ''La guerre de la psychanalyse : Hier, aujourd'hui, demain'', [[L’Harmattan]], 2008 {{ISBN|2-296-06774-3}}, {{p.}}251, {{lire en ligne|lien={{Google Livres|ybKN20-yT40C|page=251}}}}.</ref>{{,}}<ref name="Montucla_495"/>. [[Blaise Pascal]] lit Stevin au travers de sa traduction, selon [[Léon Brunschvicg]]<ref>[[Léon Brunschvicg]], ''Œuvres de Blaise Pascal, publićes suivant l'ordre chronologique, avec documents complémentaires, introductions et notes'', Volume 9, Hachette, 1914</ref> ; le [[Jean-François Niceron|père Niceron]] le conseille comme livre portatif<ref>[[Jean-François Niceron]], ''La perspective curieuse du révérend P. Niceron minime, divisée en quatre livres ; avec l'optique et la catoptrique du R. P. Mersenne mise en lumière apres la mort de l'auteur'', chez la veuve Langlois, dit Chartres, 1652, {{p.}}104, {{lire en ligne|lien={{Google Livres|7xMOAAAAQAAJ|page=104}}}}.</ref>.


[[Pierre Bayle (philosophe)|Pierre Bayle]] le nomme dans son dictionnaire<ref>Pierre Bayle, ''Dictionnaire historique et critique de Pierre Bayle'', tome XIII, 1820 (première édition 1730), {{p.}}493 {{lire en ligne|lien=http://books.google.fr/books?id=IuVgmDPAmwsC&pg=PA493&lpg=PA493|date=5 novembre 2010}}.</ref> affirmant qu'on peut aisément distinguer ce qui vient de Stevin et ce qui vient du « Samielois ». En [[1752]], dans une lettre au comte Stanhope, [[Robert Simson]] mentionne la règle d'approximation des racines carrées énoncée par Girard en 1629 et son emploi de la suite de leurs fractions continues. Le [[Comte de Chesterfield]] encourage Simson à publier cette découverte et, l'année suivante<ref>William Trail, ''Account of the life and writings of Robert Simson'', G. et W. Nicol, 1812, {{p.}}29 {{lire en ligne|lien=http://books.google.fr/books?&pg=PA29&id=HMQEAAAAYAAJ|date=23 septembre 2010}}.</ref>, Simson rend hommage à Girard pour sa clairvoyance quant aux suites de Fibonacci et ses approximations de {{sqrt|2}} dans les ''[[Philosophical Transactions of the Royal Society|Transactions philosophiques]]'', 1754, tome 2, de la [[Royal Society]].
[[Pierre Bayle (philosophe)|Pierre Bayle]] le nomme dans son dictionnaire<ref>Pierre Bayle, ''Dictionnaire historique et critique'', t. XIII, 1820 ({{1re}} éd. 1730), {{p.}}493, {{lire en ligne|lien={{Google Livres|IuVgmDPAmwsC|page=493}}}}.</ref> affirmant qu'on peut aisément distinguer ce qui vient de Stevin et ce qui vient du « Samielois ». En [[1752]], dans une lettre au comte Stanhope, [[Robert Simson]] mentionne la règle d'approximation des racines carrées énoncée par Girard en 1629 et son emploi de la suite de leurs fractions continues. Le [[Comte de Chesterfield]] encourage Simson à publier cette découverte et, l'année suivante<ref>{{en}} William Trail, ''Account of the Life and Writings of Robert Simson'', G. et W. Nicol, 1812, {{p.}}29, {{lire en ligne|lien={{Google Livres|HMQEAAAAYAAJ|page=29}}}}.</ref>, Simson rend hommage à Girard pour sa clairvoyance quant aux suites de Fibonacci et ses approximations de {{racine|2}} dans les ''[[Philosophical Transactions of the Royal Society]]'', 1754, t. 2.


En [[1758]], [[Jean-Étienne Montucla]] l'évoque comme un géomètre flamand ; et bien qu'il connaisse l'article de Simson, il ne croit pas aux promesses de Girard de restaurer les pôrismes d'Euclide<ref name="M"/>{{,}}<ref>Jean-Étienne Montucla, ''Histoire des mathématiques: dans laquelle on rend compte de leurs progrès, volume 1'', 1758, à Paris chez Antoine Jombert, {{p.}}xxxii {{lire en ligne|ien=http://books.google.fr/books?id=SC8VAAAAQAAJ&q=simpson%20224#v=snippet&q=simpson%20224&f=false|date=6 novembre 2010}}.</ref>. Montucla affirme ironiquement :
En [[1758]], [[Jean-Étienne Montucla]] l'évoque comme un géomètre flamand ; et bien qu'il connaisse l'article de Simson, il ne croit pas aux promesses de Girard de restaurer les ''Porismes'' d'Euclide<ref name="M"/>{{,}}<ref>J.-É. Montucla, ''Histoire des mathématiques : dans laquelle on rend compte de leurs progrès'', vol. 1, 1758, Paris, Antoine Jombert, {{p.}}xxxii, {{lire en ligne|lien=https://books.google.fr/books?id=SC8VAAAAQAAJ&q=simpson%20224#v=snippet&q=simpson%20224&f=false}}.</ref>. Montucla affirme ironiquement :
{{citation bloc|Si Girard avait en effet réussi, comme il le dit, il faudrait convenir qu'il était en ce genre, encore plus grand œdipe que Simson.}}
{{citation bloc|Si Girard avait en effet réussi, comme il le dit, il faudrait convenir qu'il était en ce genre, encore plus grand œdipe que Simson.}}
Pour lui, Girard, comme [[Alexander Anderson (mathématicien)|Alexander Anderson]], n'est qu'un habile successeur de Viète.
Pour lui, Girard, comme [[Alexander Anderson (mathématicien)|Alexander Anderson]], n'est qu'un habile successeur de Viète.


En [[1773]], [[Fortunato Bartolomeo De Felice|Fortuné Barthélemy de Félice]], lui consacre un article dans son encyclopédie ou ''dictionnaire universel raisonné des connaissances humaines''. Il l'évoque comme un ingénieux hollandais, s'attaquant aux équations cubiques, et poursuivant les travaux de Viète ou de [[Girolamo Cardano|Cardan]]<ref>Fortunato Bartolomeo De Felice, ''Dictionnaire universel raisonné des connaissances humaines'', mis en ordre par M. de Felice, volume 21, Yverdon, 1773, {{p.}}576 {{lire en ligne|lien=http://books.google.fr/books?id=r00VAAAAQAAJ&pg=PA575|date=25 septembre 2010}}.</ref>.
En [[1773]], [[Fortunato Bartolomeo De Felice|Fortuné Barthélemy de Félice]], lui consacre un article dans son encyclopédie ou ''dictionnaire universel raisonné des connaissances humaines''. Il l'évoque comme un ingénieux hollandais, s'attaquant aux équations cubiques, et poursuivant les travaux de Viète ou de [[Girolamo Cardano|Cardan]]<ref>Fortunato Bartolomeo De Felice, ''Dictionnaire universel raisonné des connaissances humaines'', mis en ordre par M. de Felice, vol. 21, Yverdon, 1773, {{p.}}576, {{lire en ligne|lien={{Google Livres|r00VAAAAQAAJ|page=575}}}}.</ref>.


[[Fichier:1665 phil trans vol i title.png|thumb|Le premier numéro des [[Philosophical Transactions of the Royal Society|''Transactions philosophiques'']]]]
[[Fichier:1665 phil trans vol i title.png|thumb|Le premier numéro des ''[[Philosophical Transactions of the Royal Society]]''.]]


Le « Samielois » est néanmoins remarqué par [[Charles Hutton]] (1737-1823), qui, en 1815, fait dans ''A philosophical and mathematical dictionary''<ref>Charles Hutton, ''A philosophical and mathematical dictionary'', printed for the author, 1815, {{p.}}93 {{lire en ligne|lien=http://books.google.fr/books?id=Zk7mAAAAMAAJ&pg=PA93|date=23 septembre 2010}}.</ref> l'exact catalogue de ce que la [[Théorie des équations (histoire des sciences)|théorie des équations]] doit à Girard :
Le « Samielois » est néanmoins remarqué par [[Charles Hutton]] (1737-1823), qui, en 1815<ref>{{en}} Charles Hutton, ''A Philosophical and Mathematical Dictionary'', 1815, {{p.}}93, {{lire en ligne|lien={{Google Livres|Zk7mAAAAMAAJ|page=93}}}}.</ref>, fait l'exact catalogue de ce que la [[Théorie des équations (histoire des sciences)|théorie des équations]] doit à Girard :
* il est le premier à avoir compris la formation des coefficients des polynômes (Viète l'avait déjà vu dans le cas de polynômes scindés sur les réels positifs) ;
* il est le premier à avoir compris la formation des coefficients des polynômes (Viète l'avait déjà vu dans le cas de polynômes scindés sur les réels positifs) ;
* il est le premier à avoir compris la signification géométrique des racines négatives ;
* il est le premier à avoir compris la signification géométrique des racines négatives ;
Ligne 327 : Ligne 316 :
* il est le premier à donner des règles pour sommer les puissances des solutions d'une équation.
* il est le premier à donner des règles pour sommer les puissances des solutions d'une équation.
À quoi il eut pu ajouter bien d'autres titres de gloire.
À quoi il eut pu ajouter bien d'autres titres de gloire.


En [[1837]] pourtant, [[Michel Chasles]] le mentionne négligemment dans son mémoire sur l'histoire des méthodes en géométrie<ref>Michel Chasles, ''Mémoires couronnés par l'académie royale des sciences et belles-lettres de Bruxelles, Volume 11 (1837)'', {{pp.}}263, 440 et 546 {{lire en ligne|lien=http://books.google.fr/books?id=D31BAAAAcAAJ&dq=%22Albert+Girard%22+Mersenne&source=gbs_navlinks_s|date=23 septembre 2010}}.</ref> ; il rend hommage à Girard, au travers d'un théorème singulier issu de sa ''Trigonométrie'' stipulant que d'un quadrilatère inscrit dans un cercle, on peut former deux autres quadrilatères inscrits dans le même cercle, ces trois quadrilatères ayant, deux à deux, une même diagonale et pour aire (identique), le produit des trois diagonales, divisé par le double du diamètre du cercle circonscrit<ref>Michel Chasles, ''Aperçu historique sur l'origine et le développement des méthodes en géométrie, particulièrement de celles qui se rapportent à la géometrie moderne, suivi d'un mémoire de géométrie sur deux principes généreaux de la science, la dualité et l'homographie'', M. Hayez, 1837, {{p.}}546, 283 et 440 {{lire en ligne|lien=http://books.google.fr/books?id=SZIKAAAAYAAJ&pg=PA546|date=6 novembre 2010}}.</ref>. Chasles regrette dans ce même ouvrage la perte éventuelle du manuscrit de Girard contenant sa reconstitution des pôrismes d'Euclide et note que les triangles réciproques de Girard contiennent à la fois ceux de Viète et de Snell (il en donne un figure plus complète après 1860 et sa propre reconstitution des pôrismes).
En [[1837]] pourtant, [[Michel Chasles]] le mentionne négligemment dans son mémoire sur l'histoire des méthodes en géométrie<ref>M. Chasles, ''Mémoires couronnés par l'Académie royale des sciences et belles-lettres de Bruxelles'', vol. 11, 1837, {{p.}}263, 440 et 546 {{lire en ligne|lien=https://books.google.fr/books?id=D31BAAAAcAAJ&dq=%22Albert+Girard%22+Mersenne&source=gbs_navlinks_s}}.</ref> ; il rend hommage à Girard, au travers d'un théorème singulier issu de sa ''Trigonométrie'' stipulant que d'un quadrilatère inscrit dans un cercle, on peut former deux autres quadrilatères inscrits dans le même cercle, ces trois quadrilatères ayant, deux à deux, une même diagonale et pour aire (identique), le produit des trois diagonales, divisé par le double du diamètre du cercle circonscrit<ref>M. Chasles, ''Aperçu historique sur l'origine et le développement des méthodes en géométrie, particulièrement de celles qui se rapportent à la géometrie moderne, suivi d'un mémoire de géométrie sur deux principes généreaux de la science, la dualité et l'homographie'', M. Hayez, 1837, {{p.}}546, 283 et 440 {{lire en ligne|lien={{Google Livres|SZIKAAAAYAAJ|page=546}}}}.</ref>. Chasles regrette dans ce même ouvrage la perte éventuelle du manuscrit de Girard contenant sa reconstitution des ''Porismes'' d'Euclide et note que les triangles réciproques de Girard contiennent à la fois ceux de Viète et de Snell (il en donne une figure plus complète après 1860 et sa propre reconstitution des ''Porismes'').


Dans la seconde moitié du {{XIXe siècle}}, [[Adolphe Quetelet]] le tient toujours pour hollandais, ou le croit né à [[Bruges]]. Il en va de même pour [[Florian Cajori]]. Ce dernier distingue cependant Albert Girard des autres propagateurs de l'[[algèbre nouvelle|algèbre spécieuse]]. En [[1870]], le généalogiste Vorsterman Van Oijen<ref>Antonie Abraham Vorsterman Van Oijen (1845-1912) publie cette thèse dans le ''Bullettino di bibliografia'' édité par Baldassare Boncompagni, tome III, Rome, 1870 {{p.}}360, cité par Edouard Lucas, ''Recherche sur Leonard de Pise'' {{lire en ligne|lien=http://edouardlucas.free.fr/ps/recherches_sur_leonard_de_pise.ps|date=5 novembre 2010}}.</ref> révèle qu'il n'est pas hollandais. En 1875, Ernest Rousseau, recteur de l'université libre de Bruxelles, confirme ces premiers doutes quant à la nationalité du « Samielois »<ref>Ernest Rousseau, ''Histoire des sciences physiques,mathématiques et naturelles'', in [http://books.google.fr/books?id=gOZ0W39pMQ8C Patria Belgica], {{p.}}173 {{lire en ligne|lien=http://www.archive.org/stream/patriabelgicaen00belggoog#page/n172/mode/1up|date=28 septembre 2010}}.</ref> et le veut d'origine belge. En [[1883]], l'historien [[Paul Tannery]] révèle enfin qu'il vient de Saint-Mihiel<ref>Paul Tannery, « Albert Girard de Saint-Mihiel », in ''Bulletin des sciences mathematiques et astronomiques'', 2{{e}} série, 7, 1883.</ref>.
Dans la seconde moitié du {{XIXe siècle}}, [[Adolphe Quetelet]] le tient toujours pour hollandais, ou le croit né à [[Bruges]]. Il en va de même pour [[Florian Cajori]]. Ce dernier distingue cependant Albert Girard des autres propagateurs de l'[[algèbre nouvelle|algèbre spécieuse]]. En [[1870]], le généalogiste Vorsterman Van Oijen<ref>Antonie Abraham Vorsterman Van Oijen (1845-1912) publie cette thèse dans le ''Bullettino di bibliografia'' édité par Baldassare Boncompagni, tome III, Rome, 1870 {{p.}}360, cité par Edouard Lucas, ''Recherche sur Leonard de Pise'', {{lire en ligne|lien=http://edouardlucas.free.fr/ps/recherches_sur_leonard_de_pise.ps}}.</ref> révèle qu'il n'est pas hollandais. En 1875, Ernest Rousseau, recteur de l'université libre de Bruxelles, confirme ces premiers doutes quant à la nationalité du « Samielois »<ref>Ernest Rousseau, ''Histoire des sciences physiques,mathématiques et naturelles'', in [https://books.google.fr/books?id=gOZ0W39pMQ8C Patria Belgica], {{p.}}173, {{lire en ligne|lien=https://archive.org/stream/patriabelgicaen00belggoog#page/n172/mode/1up}}.</ref> et le veut d'origine belge. En [[1883]], l'historien [[Paul Tannery]] révèle enfin qu'il vient de Saint-Mihiel<ref>Paul Tannery, « Albert Girard de Saint-Mihiel », ''Bulletin des sciences mathematiques et astronomiques'', {{2e|série}}, 7, 1883.</ref>.


Vers la fin du {{XIXe siècle}}, la plupart des historiens des mathématiques, quelques mathématiciens, et des historiens du XVII{{e}} siècle, notamment [[Antonio Favaro]], [[Gustave Cohen]] et [[Henri Bosmans]] approfondissent son étude. Georges Maupin<ref group="Note">Georges Maupin, de [[Rennes]], se fait connaître très tôt par une intervention dans les nouvelles annales mathématiques alors qu'il n'est qu'encore élève de spéciale (1887 {{lire en ligne|lien=http://archive.numdam.org/ARCHIVE/NAM/NAM_1887_3_6_/NAM_1887_3_6__419_1/NAM_1887_3_6__419_1.pdf|date=12 novembre 2010}}), licencié es sciences mathématiques {{lire en ligne|lien=http://archive.numdam.org/ARCHIVE/NAM/NAM_1890_3_9_/NAM_1890_3_9__420_0/NAM_1890_3_9__420_0.pdf|date=12 novembre 2010}}), il est nommé professeur à Rennes, ami d'[[Edouard Lucas]] et d'[[Henri Auguste Delannoy]] {{lire en ligne|lien=http://hal.archives-ouvertes.fr/docs/00/08/46/72/PDF/ArtDelannoyfinMSH.pdf|date=12 novembre 2010}}, il est nommé au lycée de [[Saintes]], puis au collège d'[[Issoire]]. Membre actif de l'[[AFAS]], il publie de 1892 à 1903 plusieurs livres de curiosités mathématiques ainsi que des travaux probabilistes, une critique de d'Alembert, et des livres à vocations pédagogiques.</ref> dans ses
Vers la fin du {{XIXe siècle}}, la plupart des historiens des mathématiques, quelques mathématiciens, et des historiens du {{s-|XVII}}, notamment [[Antonio Favaro]], [[Gustave Cohen]] et [[Henri Bosmans]], approfondissent son étude. Georges Maupin<ref group="Note">Georges Maupin, de [[Rennes]], se fait connaître très tôt par une intervention dans les ''Nouvelles annales mathématiques'' alors qu'il n'est qu'encore élève de spéciale (1887, {{lire en ligne|lien=http://archive.numdam.org/ARCHIVE/NAM/NAM_1887_3_6_/NAM_1887_3_6__419_1/NAM_1887_3_6__419_1.pdf}}). Licencié es sciences mathématiques {{lire en ligne|lien=http://archive.numdam.org/ARCHIVE/NAM/NAM_1890_3_9_/NAM_1890_3_9__420_0/NAM_1890_3_9__420_0.pdf}}), il est nommé professeur à Rennes. Ami d'[[Édouard Lucas]] et de [[Henri Auguste Delannoy]] ({{lire en ligne|lien=http://hal.archives-ouvertes.fr/docs/00/08/46/72/PDF/ArtDelannoyfinMSH.pdf}}), il est nommé au lycée de [[Saintes]], puis au collège d'[[Issoire]]. Membre actif de l'[[AFAS]], il publie de 1892 à 1903 plusieurs livres de curiosités mathématiques ainsi que des travaux probabilistes, une critique de d'Alembert, et des livres à vocations pédagogiques.</ref> dans ses ''Opinions et curiosités touchant la mathématique'' fournit de larges extraits des travaux de Girard dans la seconde partie de son ouvrage consacré à Stevin. Le professeur Maupin y donne également une étude des notations du « Samielois » ({{p.}}160-173) et de ses apports personnels, en particulier, dans le domaine des fractions continues, de la résolution des équations ({{p.}}174-218) de la cosmographie, de la musique ({{p.}}233-278), de la géométrie sphérique ({{pp.}}279-287), voire de la statique ({{p.}}288-322).
''Opinions et curiosités touchant la mathématique'' fournit de larges extraits des travaux de Girard dans la seconde partie de son ouvrage consacré à Stevin. Le professeur Maupin y donne également une étude des notations du « Samielois » ({{pp.}}160-173) et de ses apports personnels, en particulier, dans le domaine des fractions continues, de la résolution des équations ({{pp.}}174-218) de la cosmographie, de la musique ({{pp.}}233-278), de la géométrie sphérique ({{pp.}}279-287), voire de la Statique ({{pp.}}288-322).


À leur suite, Gray Funkhouser (''A short account of the history of symmetric functions of roots''),
À leur suite, Gray Funkhouser (''A short account of the history of symmetric functions of roots''),
[[George Sarton]] et [[René Taton]], tracent des monographies reprenant ces découvertes, à la lumière de Stevin ou de Viète. [[Henri Lebesgue]] évoque plusieurs fois son travail<ref>Henri Lebesgue, article « Sur la mesure des grandeurs », in ''L'Enseignement Mathématique'', volume 33, 1934 {{lire en ligne|lien=http://retro.seals.ch/cntmng;jsessionid=620DBEE6044E6946A5149DBDA7E15140?type=pdf&rid=ensmat-001:1934:33::110&subp=hires|date=28 septembre 2010}}.</ref>.
[[George Sarton]] et [[René Taton]], tracent des monographies reprenant ces découvertes, à la lumière de Stevin ou de Viète. [[Henri Lebesgue]] évoque plusieurs fois son travail<ref>Henri Lebesgue, article « Sur la mesure des grandeurs », ''L'Enseignement Mathématique'', vol. 33, 1934, {{lire en ligne|lien=http://retro.seals.ch/cntmng;jsessionid=620DBEE6044E6946A5149DBDA7E15140?type=pdf&rid=ensmat-001:1934:33::110&subp=hires}}.</ref>.
Plus récemment, [[Cornelis de Waard]], [[Michael Sean Mahoney]]<ref>M.S. Maloney, ''The early theory of equations ; on their nature and constitution: translations of three treatises by Viete, Girard, and De Beaune'' Golden Hind Press, 1986.</ref>, [[Jean Itard (1902-1979)|Jean Itard]]<ref>Théodore Lecomte, « L'histoire des mathématiques dans l'enseignement d'Henri Lebesgue », ''L'enseignement mathématiques'', volume 2, 1956. {{lire en ligne|lien=http://docs.google.com/viewer?a=v&q=cache:dbHUdBzMffoJ:retro.seals.ch/cntmng%3Bjsessionid%3DBF4F9E003B3444568E44D98697BB97BB%3Ftype%3Dpdf%26rid%3Densmat-001:1956:2::43%26subp%3Dhires+Henri+Lebesque+vous+nous+dévoileriez+en+particulier+les+idées+d'Albert+Girard&hl=fr&gl=fr&pid=bl&srcid=ADGEESjD5y579XIghF8jfD8LgReAUNWoQKQVEhhF_7NMzhdsUAnAGS26_3ujBsWiL0UjK7F4tOfraI9QbIKbPMO8jt5jKeepGEGueEpgXA1oNiN8nnclloLE8P5ZHjQ_pfoZqLqQ9fBl&sig=AHIEtbTS_rDPOVmbqVRlySZYFAaqu2Q8fg|date=25 septembre 2010}} affirme qu'[[Henri Lebesgue]] conseille à Jean Itard de s'y atteler dès 1932.</ref>, [[Roshdi Rashed]] et [[Jean-Pierre Le Goff (historien)|Jean-Pierre Le Goff]] ont tenté de réhabiliter sa mémoire. D'autres enfin, à l'image de [[Stella Baruk]], utilisent les interrogations de Girard, voire ses notations, pour faire progresser, en collège, la compréhension des fondements de l'algèbre<ref>Stella Baruk, ''Quelles mathématiques pour l'école ?'', Odile Jacob, 2004 {{ISBN|2738113761}} {{lire en ligne|lien=http://books.google.fr/books?id=W6mnJVc4fUgC&pg=PA127|date=25 septembre 2010}}.</ref>.
Plus récemment, [[Cornelis de Waard]], [[Michael Sean Mahoney]]<ref>{{en}} M. S. Maloney, ''The early theory of equations ; on their nature and constitution: translations of three treatises by Viete, Girard, and De Beaune'', Golden Hind Press, 1986.</ref>, [[Jean Itard (historien)|Jean Itard]]<ref>Théodore Lecomte, « L'histoire des mathématiques dans l'enseignement d'Henri Lebesgue », ''L'enseignement mathématiques'', vol. 2, 1956, {{lire en ligne|lien=http://docs.google.com/viewer?a=v&q=cache:dbHUdBzMffoJ:retro.seals.ch/cntmng%3Bjsessionid%3DBF4F9E003B3444568E44D98697BB97BB%3Ftype%3Dpdf%26rid%3Densmat-001:1956:2::43%26subp%3Dhires+Henri+Lebesque+vous+nous+dévoileriez+en+particulier+les+idées+d'Albert+Girard&hl=fr&gl=fr&pid=bl&srcid=ADGEESjD5y579XIghF8jfD8LgReAUNWoQKQVEhhF_7NMzhdsUAnAGS26_3ujBsWiL0UjK7F4tOfraI9QbIKbPMO8jt5jKeepGEGueEpgXA1oNiN8nnclloLE8P5ZHjQ_pfoZqLqQ9fBl&sig=AHIEtbTS_rDPOVmbqVRlySZYFAaqu2Q8fg}}, affirme que [[Henri Lebesgue]] conseille à Jean Itard de s'y atteler dès 1932.</ref>, [[Roshdi Rashed]] et [[Jean-Pierre Le Goff (historien)|Jean-Pierre Le Goff]]<ref>Jean-Pierre Le Goff et Jacky Sip, « ''L'Invention Nouvelle en l'Algèbre'' d'Albert Girard (1629) » in ''Actes du {{XIIe}} colloque inter-IREM d'Épistémologie et d'Histoire des Mathématiques, Douai, 14-16 mai 1998''. Pré-publication de l'IREM de Basse-Normandie.</ref> ont tenté de réhabiliter sa mémoire. D'autres enfin, à l'image de [[Stella Baruk]], utilisent les interrogations de Girard, voire ses notations, pour faire progresser, en collège, la compréhension des fondements de l'algèbre<ref>Stella Baruk, ''Quelles mathématiques pour l'école ?'', Odile Jacob, 2004 {{ISBN|2-7381-1376-1}}, {{lire en ligne|lien={{Google Livres|W6mnJVc4fUgC|page=127}}}}.</ref>.


== Notes et références ==
== Notes et références ==


=== Notes ===
=== Notes ===
{{références|colonnes = 2|group = "Note"}}
{{Références|colonnes=2|groupe= "Note"}}


=== Références ===
=== Références ===
Ligne 349 : Ligne 337 :
== Bibliographie ==
== Bibliographie ==


* Adolphe Quételet, ''[http://books.google.fr/books?id=fM8EAAAAYAAJ Histoire des sciences mathématiques et physiques chez les Belges]'', {{pp.}}166 et seq. Hayez, 1864.
* Adolphe Quetelet, ''[https://books.google.fr/books?id=fM8EAAAAYAAJ Histoire des sciences mathématiques et physiques chez les Belges]'', {{p.}}166 et seq., Hayez, 1864.
* H. Bosmans, « La théorie des équation dans l'''Invention nouvelle en l'algèbre'' d'Albert Girard », in ''Mathesis'' 41, 1926, {{pp.}}59-67, 100-109, 145-155.
* H. Bosmans, « La théorie des équations dans l'''Invention nouvelle en l'algèbre'' d'Albert Girard », ''Mathesis'' 41, 1926, {{p.}}59-67, 100-109, 145-155.
* H. Bosmans, « [http://logica.ugent.be/albrecht/math/bosmans/H192607.pdf La trigonométrie d'Albert Girard] », in ''Mathesis'', 70, 1926, {{pp.}}337-348, 385-392, 433-439
* H. Bosmans, « [http://logica.ugent.be/albrecht/math/bosmans/H192607.pdf La trigonométrie d'Albert Girard] », ''Mathesis'', vol. 70, 1926, {{p.}}337-348, 385-392, 433-439
* H. Bosmans, « Albert Girard et Viète, à propos de la théorie de la syncrèse de ce dernier », in ''Annales de la société scientifique de Bruxelles'', 45, 1925, {{pp.}}35-43.
* H. Bosmans, « Albert Girard et Viète, à propos de la théorie de la syncrèse de ce dernier », ''Annales de la société scientifique de Bruxelles'', 45, 1925, {{p.}}35-43.
* H. Bosmans, « [http://logica.ugent.be/albrecht/math/bosmans/H192609.pdf Girard et Diophante] », in ''Mathesis'' 40, 1926, suppléments {{p.}}9.
* H. Bosmans, « [http://logica.ugent.be/albrecht/math/bosmans/H192609.pdf Girard et Diophante] », ''Mathesis'', vol. 40, 1926, suppléments {{p.}}9.
* [[Paul Tannery]], « Albert Girard de Saint-Mihiel », in ''Bulletin des sciences mathématiques et astronomiques'', 2{{e}} série, 7, 1883.
* [[Paul Tannery]], « Albert Girard de Saint-Mihiel », ''Bulletin des sciences mathématiques et astronomiques'', {{2e|série}}, vol. 7, 1883, [http://archive.numdam.org/ARCHIVE/BSMA/BSMA_1883_2_7_1/BSMA_1883_2_7_1_358_0/BSMA_1883_2_7_1_358_0.pdf lire en ligne].
* [[Gustave Cohen]], ''[http://www.archive.org/details/crivainsfran00coheuoft Écrivains français en Hollande dans la premiere moitié du 17e siecle (1920)]''.
* [[Gustave Cohen]], ''[https://archive.org/details/crivainsfran00coheuoft Écrivains français en Hollande dans la premiere moitié du 17e siecle (1920)]''.
* D. J. Struik, ''[http://books.google.fr/books?id=XmRsZhJZGhEC&pg=PA81&lpg=PA81&dq=albert+girard+Bosman&source=bl&ots=qA8k6QuxuV&sig=yAPb52n1S-QYyD3sFMKzku2HHzc&hl=fr&ei=VAkZTIXeM4vJ4gbV2cDbCw&sa=X&oi=book_result&ct=result&resnum=10&ved=0CEkQ6AEwCQ#v=onepage&q&f=falseA Source Book in Mathematics, 1200-1800]''
* D. J. Struik, ''[https://books.google.fr/books?id=XmRsZhJZGhEC&pg=PA81 A Source Book in Mathematics, 1200-1800]''
* {{en}} David Bierens Haan, Albert Girard, ''Invention Nouvelle en l'algèbre'', Bibliolife, 2009 {{ISBN|1-110-98081-7}}.
* Jean-Pierre Le Goff et Jacky Sip, « ''L'Invention Nouvelle en l'Algèbre'' d'Albert Girard (1629) » in ''Actes du XII{{e}} colloque inter-IREM d'Épistémologie et d'Histoire des Mathématiques, Douai, 14-16 Mai 1998''. Pré-publication de l'IREM de Basse-Normandie.
* {{en}} David Bierens Haan, Albert Girard, ''Invention Nouvelle en l'algèbre'', Bibliolife, 2009 {{ISBN|1110980817}}.


== Liens externes ==
== Liens externes ==
* {{MacTutor|id=Girard_Albert}} (biographie)
* {{MacTutor|id=Girard_Albert|point=non}} (biographie)
* {{en}} [http://galileo.rice.edu/Catalog/NewFiles/girard.html Biographie d'Albert Girard] sur le [http://galileo.rice.edugalileo.rice.edu projet Galileo]
* {{en}} [http://galileo.rice.edu/Catalog/NewFiles/girard.html Biographie d'Albert Girard] sur le [http://galileo.rice.edugalileo.rice.edu projet Galileo]
* {{en}} [http://demonstrations.wolfram.com/AVisualProofOfGirardsTheorem/ Une illustration géométrique de la formule de Girard] sur [http://wolfram.com le site de Wolfram]
* {{Lien web|langue=en|url=http://demonstrations.wolfram.com/AVisualProofOfGirardsTheorem|titre=A Visual Proof of Girard's Theorem|site=[[Wolfram Research]]}}
*{{pdf}} Georges Maupin, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf ''Opinions et curiosités touchant la mathématique (deuxième série)''], Naud, Paris, 1902 (d'après des ouvrages français des XVI{{e}}, XVII{{e}} et XVIII{{e}} siècles)
*Georges Maupin, [http://ia311303.us.archive.org/2/items/opinionsetcurio01giragoog/opinionsetcurio01giragoog.pdf ''Opinions et curiosités touchant la mathématique (deuxième série)''], Naud, Paris, 1902 (d'après des ouvrages français des {{XVIe|s}}, {{s2-|XVII|XVIII}})
* {{Autorité}}
* {{Dictionnaires}}
* {{Bases}}


{{Portail|Lorraine|mathématiques|Hollande|XVIIe siècle|Algèbre Nouvelle et François Viète|Protestantisme}}
{{Portail|mathématiques|XVIIe siècle|algèbre nouvelle et François Viète|protestantisme|Meuse|Hollande}}
{{Article potentiellement de qualité|oldid=59032091|date=9 novembre 2010}}
{{Article de qualité|oldid=59992561|date=10 décembre 2010}}


{{DEFAULTSORT:Girard, Albert}}
{{DEFAULTSORT:Girard, Albert}}
[[Catégorie:Naissance en 1595]]
[[Catégorie:Naissance en octobre 1595]]
[[Catégorie:Naissance à Saint-Mihiel]]
[[Catégorie:Naissance à Saint-Mihiel]]
[[Catégorie:Décès en 1632]]
[[Catégorie:Décès en décembre 1632]]
[[Catégorie:Mathématicien français]]
[[Catégorie:Mathématicien néerlandais du XVIIe siècle]]
[[Catégorie:Mathématicien français du XVIIe siècle]]
[[Catégorie:Continuateur de l'algèbre nouvelle]]
[[Catégorie:Continuateur de l'algèbre nouvelle]]
[[Catégorie:Étudiant de l'université de Leyde]]

[[Catégorie:Décès à 37 ans]]
[[de:Albert Girard]]
[[en:Albert Girard]]
[[ht:Albert Girard]]
[[it:Albert Girard]]
[[nl:Albert Girard]]
[[pms:Albert Girard]]
[[ru:Жирар, Альбер]]
[[uk:Альберт Жирар]]

Dernière version du 29 mai 2024 à 09:57

Albert Girard
Page de couverture de Invention nouvelle en l'Algèbre d'Albert Girard, publié à Amsterdam en 1629 par Blauew.
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 37 ans)
LeydeVoir et modifier les données sur Wikidata
Formation
Activités

Albert Girard, dit le « Samielois », également appelé Albertus Gerardus Metensis, parfois Albert Gérard, né vraisemblablement le à Saint-Mihiel[Note 1] et mort à 37 ans, le 8 ou [Note 2] en Hollande, probablement près de la Haye[Note 3], est un mathématicien barrois francophone ayant mené toute sa carrière aux Pays-Bas.

De son vivant, Albert Girard est connu comme ingénieur. Élève et traducteur des œuvres de Stevin, ami de Golius, de Snell et sans doute de Jacques Aleaume, il s'occupe en tout premier lieu de fortifications et d'ouvrages militaires.

Son importance est tardivement reconnue dans le domaine des mathématiques et son rôle de traducteur et de mécanicien masque longtemps l'originalité de ses travaux personnels dans cette discipline. Pour Henri Bosmans, ses ouvrages sont les plus importants qui ont été écrits entre Viète et Descartes[1].

Son œuvre, qui se situe à la transition des traditions de la Coss, des innovations de l'algèbre spécieuse de François Viète et des préoccupations qui à la même époque animent Pierre de Fermat ou Bachet de Méziriac, touche à des domaines variés et apporte de considérables nouveautés. Son écriture mathématique, héritée de la Coss et en partie de l'algèbre nouvelle, fourmille de nouvelles notations. Plusieurs ont enrichi l'univers des mathématiques, notamment les parenthèses, les crochets, et son indexation des radicaux pour les racines cubiques ou cinquièmes.

Sa contribution va bien au-delà de cet apport et plusieurs propositions qui font date dans l'histoire des mathématiques sont nées sous la plume de Girard. Parmi celles-ci, se trouvent dès 1626 les premières notations de la fonction sin (pour sinus). Il est parmi les premiers à formuler le théorème fondamental de l'algèbre dans le cas de polynômes réels (1629), et le théorème des quatre carrés. Il est l'auteur du premier énoncé connu du théorème des deux carrés, dit « Fermat de Noël » (1625), et d'un des premiers énoncés de la formule de Girard-Waring, d'une définition précise des suites de Fibonacci, etc. En anglais, la formule, qu'il est le premier à publier et qu'il démontre partiellement, donnant l'aire d'un triangle sphérique à l'aide de ses angles se nomme le théorème de Girard ou d'Harriot-Girard.

Albert Girard est né à la fin du XVIe siècle à Saint-Mihiel, petite ville de l'actuel département de la Meuse. Cette découverte fait d'Albert Girard un mathématicien français. Rien n'est connu néanmoins avec certitude, ni de ses premières études, ni de la date où sa famille rejoint la Hollande.

Exil en Hollande

[modifier | modifier le code]
Le cartographe Hondius, dont le portrait est parfois présenté – à tort – comme étant celui de Girard.

Après 1610, le culte réformé est interdit sous le règne d'Henri II de Lorraine (le favori de ce prince est membre de la maison des Guise) et de nombreux protestants lorrains sont contraints à l'exil[2]. Le jeune Albert Girard et sa famille rejoignent alors les Pays-Bas[3]. Exilé, Albert Girard conserve toutefois sa vie durant un attachement à Saint-Mihiel et à Metz, dont il se réclame alternativement dans ses écrits. Il demeure simultanément adepte de la religion réformée, notamment au travers de ses polémiques avec son confrère Honorat de Meynier[Note 4], lorsque ce dernier traite les Huguenots d'hérétiques.

Musicien et mathématicien

[modifier | modifier le code]

En 1613, Girard réside à Amsterdam, dans le quartier de la Halle. Il épouse le , Suzanne des Nouettes (également dénommée Suzanne de Noethes (née en 1596), des Monettes, des Mouettes, ou de Nouet)[4] dans l'église wallonne d'Amsterdam. Il est assisté de sa famille et se donne pour joueur de luth. Le , il fait baptiser son fils Daniel, le premier d'une longue lignée, dans cette même ville. La même année, Girard se lie à Jacob Golius, avec lequel il correspond dès 1616, échangeant avec lui quelques problèmes mathématiques[5].

En 1617, Girard s'établit à Leyde (probablement y est-il appelé par Golius) ; il s'inscrit par lui-même à l'université de cette ville le [6] où il étudie la musique. Il est toujours à Leyde, en juillet 1622[7]. Réfugié protestant, et toujours joueur de luth professionnel[8], il entre pendant ces années-là en relation avec Willebrord Snell, dont il ne cesse par la suite de chanter les louanges. Il y étudie également les mathématiques et donne quelques premiers travaux sur la chaînette qu'il identifie à tort[9] à une parabole[4] ; il prend, sans doute en hommage au Marolois et à sa ville natale, le titre de « Samielois » (les Sammielois sont les habitants de Saint-Mihiel, sur la Meuse, au sud de Verdun[10]). Dans d'autres textes, il se dit Metensis[11] c'est-à-dire Messin, en latin.

Les fortifications

[modifier | modifier le code]
Hans Vredeman de Vries.

À l'instar de ses maîtres, Simon Stevin, pour lequel il déborde d'admiration[12], et probablement Jacques Aleaume, Girard est intéressé par les applications militaires des mathématiques, en particulier les fortifications. Il corrige et traduit les œuvres de Simon Stevin et les édite en 1625[13], œuvres auxquelles il ajoute un livre de géométrie de sa composition traduit des livres V et VI de Diophante. Deux ans plus tard, il traduit en français les œuvres du cartographe hollandais Hendrik Hondius et participe à l'édition abondamment corrigée du Traité sur les fortifications de Samuel Marolois (1627). Ce traité est édité conjointement avec L’Architecture contenant la toscane, dorique, ionique, corinthiaque et composée de Hans Vredeman de Vries, et est publié par Henri Hondius de La Haye en 1606, et réédité en 1617, 1620, etc. Il est dédié par l'éditeur Jan Janssen au prince Henri de Nassau. Le second de ses ouvrages, Fortification ou Architecture militaire tant offensive que defensive a été publié chez Hondius en 1615. Il est divisé en deux parties, l'une concernant les fortifications régulières ou idéales, l'autre les fortifications irrégulières, les plus répandues en Hollande[14].

Une fin prématurée

[modifier | modifier le code]

Girard demeure cependant sans grandes ressources, il affirme dans la dédicace de son Invention nouvelle en l'algèbre[1] :

« Étant ici en pays étranger, sans mécène et non sans perte, avec une grande famille, je n'y ai pas le loisir ni le pouvoir d'écrire ici tout ce qui pourrait être convenable. »

Un siècle plus tard, l'historien des mathématiques Jean-Étienne Montucla tire la morale de cette misère[15] :

« Les porismes d'Euclide sont une mine qui ne vaut pas celles du Pérou ou du Potosi. »

Frédéric-Henri d'Orange-Nassau, dont Girard est ingénieur militaire.

Parmi ses rencontres, figure Pierre Gassendi, qui sollicite un entretien en par l'entremise d'un ami commun, nommé Fresne-Canaye. Afin de mettre en présence le philosophe français et l'ingénieur militaire du Stathouder, Fresne-Canaye leur donne à souper. À cette occasion, le philosophe français remarque[16] :

« (que) tous ces gens-là sont pour le mouvement de la Terre. »

L'entrevue a lieu alors qu'Albert Girard sert le prince d'Orange Frédéric-Henri de Nassau ; Pierre Gassendi précise qu'elle se tient au camp de Bois-le-Duc[17]. Après le siège de Bois-le-Duc, auquel il assiste avec Henri de Bergaigne, Girard dédie à ce protecteur et ami son Invention nouvelle en l'algèbre[Note 5] (Amsterdam, 1629). Il envisage alors de rédiger un traité d'optique et un traité de musique[18] ; mais ses finances ne le lui permettent pas.

D'après le mathématicien Olry Terquem, Girard succombe sous les étreintes de cette profonde misère[19].

À l'heure de sa mort, le peuple le connaît davantage comme ingénieur militaire du prince Frédéric-Henri d'Orange-Nassau qu'en tant que mathématicien. Il meurt d'ailleurs dans un état voisin de l'indigence, selon Jean-Étienne Montucla[20] et Diederik Johannes Korteweg. Après sa mort, le , ses parents l'enterrent dans la « Groote Kerk » sous le nom de « Monsieur Albert », ingénieur.

L'épouse du « Samielois » continue de publier ses ouvrages, essentiellement ses traductions de Stevin dont sa statique ou pondéraire. Il la laisse avec onze enfants (dont le dernier, posthume)[10]. La préface des œuvres de Stevin, publiée par eux, comporte cette dédicace évoquant leur situation[10] :

« Voici une pauvre veuve[Note 6] avec onze enfants orphelins auxquels le mari et père, décédé il y a un an, n’a laissé qu’une bonne réputation d’avoir fidèlement servi, et employé tout son temps à la recherche des plus beaux secrets des mathématiques ; ayant été ravi lorsqu’il projetait d’en laisser quelques monuments utiles à la postérité, et de sa propre invention : lesquels il eut lui-même apporté aux pieds de vos Seigneurs Très-illustres, si Dieu lui eût donné le loisir de les parachever. »

Longtemps Girard ne fut connu qu'à titre d'éditeur et de traducteur des œuvres de Simon Stevin. Le maître avait déjà traduit ses propres œuvres en français, notamment son Arithmétique, son traité sur Les fortifications par écluse et sa Castramétation (c'est-à-dire l'art de former des camps militaires) ; simultanément, le secrétaire du prince Henri, un certain Jean Tuning[Note 7], avait traduit une autre partie de ces ouvrages (vers 1605-1508) sous le titre de Mémoires mathématiques contenant ce en quoy s'est exercé Ie très excellent prince et seigneur Maurice, prince d'Orange etc, écrit premièrement en bas Allemand par Simon Stevin de Bruges. Ces œuvres étaient divisées en cinq volumes : la cosmographie (ou description du Monde, dans laquelle Stevin se montre ouvertement favorable à la théorie de Copernic[21]), la pratique de la géométrie, l'art de peser (ou pondéraire), les perspectives et des mélanges.

Girard les réédite en 1625, puis en 1634, de façon fidèle et bien écrite en distinguant scrupuleusement ce qui tient de sa traduction de ce qui relève de son interprétation[Note 8]. Il affirme notamment[22] :

« Il y a d'autres définitions qui sont nécessaires, comme celles qui suivent, lesquelles j'eusse mis en leur lieu, n'était que je ne désire pas mêler ce que l'auteur dit avec ce que j'écris. »

Dans ces commentaires, Girard essaye de simplifier les méthodes ou la doctrine. Mais il va souvent plus loin que Stevin et il apporte en 1629 une contribution personnelle qui dépasse amplement l'œuvre du traducteur[23].

Tant dans ses notations que dans ses résultats, il se montre notamment influencé par la nouvelle façon d'écrire les équations et de concevoir les polynômes initiée par François Viète dès 1591 avec la publication de ce livre fondateur qu'est l'Isagoge in Artem Analycitem ou Isagoge. Peut-être initié à cette nouvelle conception par le successeur de Stevin et élève de Viète Jacques Aleaume, alors professeur de mathématiques de l'Université de Leyde[24], Girard dépasse, là encore, les connaissances qui lui ont été léguées.

Alors que Viète n'admet pas les quantités négatives (ce qui lui vaut quelques fautes dans ses posthumes Equationum recognitione et emendation)[25] ou demeure prisonnier de notations respectant l'homogénéité (pour des raisons géométriques), le Sammielois Girard laisse entrevoir dans ses rares pages d'algèbre quelques-unes des découvertes qui ne seront fixées qu'avec D'Alembert ou Newton.

L'invention en l'algèbre

[modifier | modifier le code]

Son principal ouvrage, l'Invention nouvelle en l'algèbre, est un commentaire de son édition des œuvres de Stevin. Il n'est pas divisé en chapitres mais se compose de trois parties : calcul arithmétique, théorie des équations et mesure des surfaces[1]. La seconde partie, sur la théorie des équations, est la seule originale. Girard s'y attache principalement à décrire les opérations qui permettent de simplifier les termes d'une équation, transformations qu'avaient initiées Viète et Alexander Anderson[26]. Cela fait, il s'attaque à la résolution de l'équation du troisième degré dans le cas de trois racines réelles par transformation de en , dont les solutions sont données par la trisection d'un angle. Il montre comment on peut représenter ces solutions comme trois cordes inscrites dans le cercle et enseigne à les construire géométriquement[27]. Il fournit également une méthode d'approximation de ces mêmes racines par l'utilisation d'une suite définie par récurrence à l'aide de la tangente et du sinus, conseillant de s'arrêter quand les deux termes consécutifs sont sensiblement égaux.

Plus loin, Girard invite son lecteur à définir lui-même la formation du triangle d'extraction (triangle de Pascal), dont il donne les premières lignes (ces coefficients binomiaux étaient déjà connus de Viète ou de Marule). Puis il s'attaque aux équations polynomiales à une inconnue ; ce qui fait de ce livre un des plus importants en algèbre.

Girard conclut enfin son Invention nouvelle en l'algèbre, en résolvant quelques systèmes d'équations à plusieurs inconnues (certaines viennent de Guillaume Gosselin) et termine par un système non linéaire qu'il traite très astucieusement[1]. Écrit sous forme contemporaine, ce système revient à déterminer tels que :

L'algèbre de Girard

[modifier | modifier le code]

Quoique le nombre de publications de Girard soit peu élevé (huit livres) et que son algèbre n'ait pas toujours la richesse de l'algèbre nouvelle de Viète (sauf indication expresse du contraire, les équations de Girard sont numériques et son langage est celui de la Coss, ou de Stevin)[28], Girard occupe une place importante dans l'histoire des mathématiques. Si 49 pages sur 63 de son Invention nouvelle en l'algèbre sont de type cossique[29], Girard connaît les livres de Viète et fait plusieurs emprunts à son analyse spécieuse[28] ; il l'enrichit également, excellant dans l'art de la syncrèse[28],[Note 9] du mathématicien des Parthenay ; il y décèle des erreurs. Enfin, il le généralise, donnant un sens aux quantités négatives et admettant l'emploi des nombres complexes (ou solutions enveloppées)[1].

Il écrit notamment, afin de donner une interprétation aux quantités absurdes, que les géomètres se refusaient généralement à employer[Note 10] :

« La solution par moins s'explique en géométrie en rétrogradant, et le moins recule où le plus avance »

François Viète, l'un des maîtres d'Aleaume et de Girard.

En fait, les notations de Girard sont assez proches de celles de Viète[30] :

  • pour la différence absolue : signifiant chez eux  ;
  • pour le quotient, l'un comme l'autre le note :  ;
  • pour les notations des inconnues et des paramètres, Girard effectue la même séparation que Viète : les voyelles sont réservées aux inconnues, à l'image des langues sémitiques ;
  • comme Viète, il ne met pas systématiquement à 0 le second membre d'une équation ;
  • comme Alexander Anderson, le « Samielois » note les puissances dans la lignée de l'Algèbre nouvelle,  ;
  • comme Viète, il conserve l'homogénéité des coefficients, notant « nombre de première, seconde, troisième, etc. meslé » les factions auxquels Viète prêtait la même dimension (respectivement lineo, plano, solido, plano-plano, etc.)

Toutefois, ces notations divergent sur trois points fondamentaux :

  • la notation des racines (l pour « latus » chez Viète, chez Girard) ;
  • par ailleurs, Girard n'hésite pas à s'affranchir du « ducere in » cher à Viète, ni à écrire où Viète écrivait ;
  • enfin, il innove réellement en développant ses rares calculs algébriques, où il ne fait pas systématiquement mention de leur homogénéité[31].

D'autres progrès dans les notations.

[modifier | modifier le code]
Simon Stevin, l'un des deux maîtres de Girard.

La limite du travail de Girard se fait sentir dans ses ouvrages, où il raisonne souvent en revenant à des exemples numériques, dans le langage de la Coss, encore très en vogue chez les mathématiciens amateurs et dans le large public auquel son livre veut s'adresser. C'est alors l'héritier de Stevin, qu'il traduit. Mais Girard est également un de ces mathématiciens créatifs qui, avec Pierre Hérigone et Girard Desargues bouleversent les notations établies :

Vers 1633, il propose qu'une racine cubique soit notée «» et une racine cinquième « ». Selon Florian Cajori[32], la première personne à adopter la suggestion de Girard est Michel Rolle (vers 1690) et Girard est le premier à écrire un exposant fractionnaire[33].

Girard introduit dans la même année, l'emploi des parenthèses et des crochets, qui est restée[34], et de notations moins heureuses, qui n'ont pas été retenues[35]. Il note par exemple la « haute extrémité » le terme de plus haut degré d'un polynôme, et « triangle d’extraction » le triangle de Pascal, ou encore « ff » pour «  » et « § » pour «  »[36]

Girard en revendique l'originalité[37] :

« L'invention exige de l'industrie à l'inventeur et du jugement à suffisance au traducteur pour comprendre l'invention des auteurs, comme aussi de la facilité au lecteur à concéder ces nouveaux termes, qui sont substitués au lieu de ceux qu'il faudrait avoir. »

Ces notations originales ne sont pas sans raison : Girard nomme du nom de « meslés » les puissances de l'inconnue intervenant dans une équation composée (ou meslée) comportant plus que deux termes. Les coefficients d'un polynôme deviennent donc sous sa plume les « nombres de meslés ». De sorte qu'en langage moderne, pour

,

le nombre du premier meslé est, selon Girard, , celui du second meslé , et ainsi de suite.

Lorsque est un polynôme scindé, c'est-à-dire s'il possède racines notée autant de fois que leur ordre de multiplicité, il s'écrit

.

Girard nomme alors « factions » les polynômes symétriques élémentaires des racines de ce polynôme, de sorte que la première faction est , la seconde faction et ainsi de suite, jusqu'à la dernière identifiée au produit des racines[38].

Puis, à la suite de Viète qui a déjà donné une partie de ces relations, Girard établit (sur des exemples) les liaisons entre les coefficients et les racines[39] ; plus précisément, il remarque que le nombre du premier meslé est - au signe près - la somme des racines (comptées avec leur multiplicité), le nombre du second meslé la somme des produits de deux racines, de même pour le nombre du troisième meslé, etc. ce qu'on note de façon plus moderne .

Il tourne la difficulté des signes en présentant l'équation polynomiale correspondante sous forme

,

isolant de part et d'autre de l'égalité les termes d'exposants pairs et impairs. En cette occurrence, ses notations demeurent celles de Stevin.

Pour Girard, les nombres complexes sont des solutions enveloppées[1], des nombres inexplicables ou impossibles... avec lesquels, toutefois, il ne rechigne pas à travailler[40]. Il n'hésite pas à faire remarquer, par exemple[41], l'égalité suivante[Note 11] :

Exemple d'écriture de Girard
Soit le premier meslé, le second,
le troisième le quatrième, etc.
Alors, en toutes sortes d'équations

sera la somme des solutions, quarez, cubes, quaré-quarez

Il justifie d'ailleurs leur emploi, dans le même passage, non seulement par leur utilité, mais aussi parce que ces solutions, (qui ne sont ni des nombres, ni des quantités, ni des grandeurs) permettent d'unifier le théorème de décomposition pour tous les polynômes :

« On pourroit dire à quoy sert ces solutions qui sont impossibles ? Je répond pour trois choses : pour la certitude de la règle générale, et qu'il n'y a point d'autre solution, et pour son utilité. »

Outre cela, Girard est un des propagateurs des termes « million, billion, et trillion », inventés par Nicolas Chuquet. Il est également un des premiers mathématiciens (concomitamment avec Thomas Fincke (1583 d'après Florian Cajori), Samuel Marolois, William Oughtred (1631 d'après Isaac Asimov)[Note 12] à utiliser les symboles « sin », « cos » et « tan »[42],[43]. Quelques occurrences de la notation «  » dans sa mise en forme des travaux du Marolois[44] font de lui le premier mathématicien à employer cette notation fonctionnelle.

Un apport fondamental de Girard

[modifier | modifier le code]

Dans son livre sur L'invention nouvelle en l'algèbre, Girard est réellement le premier mathématicien à énoncer (de façon un peu floue et sans en fournir de preuves)[Note 13] le théorème fondamental de l'algèbre, auquel les historiens des sciences associent le plus souvent le nom de d'Alembert[Note 14]. Ce théorème, qui assure la factorisation de tout polynôme (réel chez Girard) dans le corps des nombres complexes sous la forme d'un produit de binômes, apparaît en 1629[45] sous cette forme :

« Toutes les équations d'algèbre reçoivent autant de solutions que la dénomination de la plus haute quantité le démontre. »

À la suite de quoi, Girard tente d'en donner une « explication ». Pour cela, il part des meslés, et affirme l'existence de solutions abstraites qui vérifie l'identité des meslés et des factions. En fait, il postule davantage l'existence d'un corps de rupture formel que son identification au corps des nombres complexes.

« Le dénominateur de la plus haute quantité (le degré) est qui signifie qu'il y a quatre certaines solutions, et non plus ny moins (elles sont comptés avec leur multiplicité) tellement que le nombre du premier meslé est la premiere faction des solutions, le nombre du deuxième meslé, et tousjours ainsi ; mais pour voir la chose en sa perfection, il faut prendre les signes qui se remarquent en l'ordre alternatif. »

Il donne également dans ce même livre quelques identités concernant les polynômes symétriques. Newton retrouvera ces relations par la suite, indépendamment[46]. Elles permettent de calculer, grâce aux formules de Viète, les sommes des puissances de toutes les racines d'un polynôme à l'aide de ses seuls coefficients (voir l'encadré ci-dessus). Elles seront définitivement complétées par Leonhard Euler, Carl Friedrich Gauss et Edward Waring[Note 15].

D'après Bosmans, il est également le premier à énoncer la règle reliant le nombre de variations de signes des coefficients des équations complètes et le nombre de solutions réelles, communément appelé le théorème de Descartes[1].

Trigonométrie sphérique

[modifier | modifier le code]

Les mathématiciens doivent encore à Girard un traité de trigonométrie (édité en 1626), un an après sa première traduction des travaux de Stevin (1625). Le livre fut réédité trois fois, en 1627, et en 1629. Ce sont des raretés de bibliophile. Outre sa préface, qui rend louange à Dieu et adresse quelques reproches à Stevin pour l'imprécision de sa définition des « flèches » (ou sinus verse)[Note 16], Girard attaque le mathématicien Valentin Mennher, arithméticien alors célèbre, puis donne son traité des triangles rectilignes[47]. Dans cette partie, se trouve notamment reproduite le formule de Thomas Fincke, qui, en langage moderne, s'écrit :

où dans un triangle rectangle, désignent les longueurs de deux côtés de l'angle droit et les deux angles qui leur sont opposés. À la suite, se trouvent encore quelques formules de Girard, originales pour l'époque, puis un traité sur les triangles rectangles, ou rectilignes. Mais c'est dans la dernière partie, sur la trigonométrie sphérique, que Girard déploie tous ses talents[48].

Triangle sphérique

D'après l'étude que Michel Chasles consacre à cette partie des œuvres de Girard, le « Samielois » démontre dans ce travail qu'il fait partie du petit nombre de géomètres qui, à l'imitation de Viète, sont à l'instigation des transformations des triangles sphériques. Un an avant Snellius, Girard englobe dans ce traité les quatre triangles formés par les arcs de cercle qui ont pour pôles les trois sommets d'un triangle donné sous le nom collectif de triangle réciproque ; ainsi, il regarde comme réciproques d'un triangle donné, à la fois le triangle de Viète et celui de Snellius[49].

Plus loin, il développe à partir des formules de « prostaphérèse »[Note 17] la résolution d'un problème original :

« Trois arcs étant donnés dont le premier est droit, trouver un quatrième arc tels que les sinus soient proportionnels à l'aide d'addition et de soustraction seulement. »

Ce problème conduit à la détermination de , puis , lorsque[50] :

Parallèlement, la formule de Girard donne l'aire d'un triangle sphérique à l'aide de ses angles[51]. Cette découverte, apparemment connue de Regiomontanus, puis de Thomas Harriot vers 1603, n'a pas été publiée par les Anglais et Girard est le premier à l'énoncer publiquement, en 1629 dans son Invention[52], et le premier à la démontrer partiellement. Mais il n'est guère satisfait de sa démonstration, et l'écrit. À cette occasion il pressent la possibilité de raisonner sur des éléments différentiels, affirmant d'un triangle sphérique infinitésimal qu'on peut le confondre avec un triangle plat, celui-ci étant sans « tumeur »[53]. Sa preuve est contestée à la fin du XVIIIe siècle par Lagrange[54]. Le même résultat est publié en 1632 par Bonaventura Cavalieri puis peu après par Roberval. Les travaux trigonométriques de Girard influencent néanmoins le mathématicien Jan Stampioen, qui devient quelques années après la mort du « Samielois », le rival de Descartes et le précepteur de Christiaan Huygens. Une preuve définitive de la formule des aires sera donnée au XVIIIe siècle par Adrien-Marie Legendre (voir ci-dessous)[2] et par Leonhard Euler[55].

Également dans son Invention, Girard généralise son travail et donne une formule analogue pour la mesure de la surface d'un polygone sphérique terminé par des arcs de grands cercles (nommée parfois formule de Gauss)[56],[57].

Explicitement, si , etc. désignent les angles du polygone sphérique (convexe) et n leur nombre, l'aire du polygone est donnée par[58],[Note 19] :

Dans son « Traité de trigonométrie », qui est à la suite d'une table des sinus, tangentes et sécantes, il montre par sa préface qu'il s'était également occupé à restaurer l'analyse géométrique des Anciens, et à rétablir les traités dont les titres ont été transmis par Pappus ; il dit, à ce sujet, qu'après ce petit « Traité de Trigonométrie », qu'il donne comme échantillon, « il mettra au jour quelque chose de plus grand »[49]. La mort l'en a empêché.

Dans la préface à sa traduction des œuvres de Stevin (éditée en 1625), il annonce derechef son intention de restaurer les Porismes d'Euclide[Note 20] mais cet ouvrage, prêt à paraître, n'aura pas vu le jour et s'est perdu.

Fragments des Éléments d'Euclide

Dans le chapitre des polygones rectilignes, Girard affirme une fois encore[Note 21],[59] :

« (...) les Porismes d'Euclides, qui sont perduz, lesquelz j'espere de mettre bient tost en lumiere, les ayant restituez il y a quelques années en ça. »

Dans le Traité de l'art pondéraire ou de la statique de Stevin, Girard ajoute de nouveau[Note 22],[59] :

« Celuy qui n'entend pas ceste maniere de demonstration doit recourir premierement au lieu cité de Ptolémée, puis à l'Arithmetique du présent autheur vers la fin touchant l'addition et soustraction des raisons. Les Anciens, comme Archimedes, Euclides, Apollone, Pergée, Eutocius Ascalonite, Pappus Alexandrin, etc., ont leurs livres remplis de l'égalité d'une raison à deux autres, excepté ce qu'en a escrit Euclides ès Elemens (...). Mais il est à estimer qu'il en a plus escrit en ses trois livres de Porismes qui sont perdus, lesquels, Dieu aidant, j'espere de mettre en lumiere, les ayant inventez de nouveau. »

Un siècle plus tard, l'historien des sciences Jean-Étienne Montucla doute fortement que Girard ait réellement restauré ces Porismes[20]. Lorsqu'en 1860, le géomètre Michel Chasles tente de restaurer à son tour les Porismes d'Euclide à partir des indications de Pappus, il se montre plus prudent. Il écrit[59] :

« Albert Girard, savant géomètre des premiers temps du XVIIe siècle, avait fait espérer qu'il rétablirait ces Porismes, dont il parle dans deux endroits différents de ses œuvres ; mais ce travail n'a peut-être pas été terminé ; du moins il ne nous est pas parvenu, et l'on ne peut préjuger jusqu'à quel point l'auteur avait entrevu la pensée d'Euclide. »

Après Girard, de nombreux géomètres s'évertuent à reconstituer ces trois livres d'Euclide, notamment Ismaël Boulliau, Carlo Renaldini, Pierre de Fermat, Edmond Halley, Robert Simson, Michel Chasles et Paul Émile Breton (1814-1885)[Note 23].

Pierre de Fermat.

Vers 1624, Claude-Gaspard Bachet de Méziriac remarque que le produit de deux sommes de deux carrés est une somme de deux carrés. Ce résultat était déjà connu de Viète, avec une interprétation géométrique, dans ses Notae priores. Il était également connu de Diophante (livre III, problème 19).

En 1625, après avoir repris les traductions de Diophante par Bachet (livres V et VI, 1621)[60], Girard fournit une traduction des œuvres de Stevin, dans laquelle il reproduit une conjecture de Bachet : le théorème des quatre carrés[61], qui sera démontré par Lagrange en 1770.

Du même coup, le « Samielois » est le premier à formuler une conjecture correcte donnant une condition nécessaire et suffisante pour qu'un nombre entier soit somme de deux carrés seulement[62].

La formulation moderne habituelle, équivalente à son énoncé, est la suivante :

Théorème des deux carrés (cas général) — Un entier strictement positif est somme de deux carrés si et seulement si chacun de ses facteurs premiers de la forme 4k + 3 apparaît à une puissance paire dans sa décomposition.

En 1640, Pierre de Fermat décrit à Marin Mersenne en termes très généraux comment il propose de démontrer ce théorème, qui porte désormais son nom, dans le cas de nombres premiers[63]. Il faut attendre l'article de 1760 de Leonhard Euler[64] pour une première démonstration complète publiée, grâce à un plan qui s'écarte de celui esquissé par Fermat. La formulation moderne est la suivante :

Théorème des deux carrés (cas des nombres premiers) — Un nombre premier p impair est somme de deux carrés d'entiers si et seulement si p est congru à 1 modulo 4 :

De plus cette décomposition, quand elle existe, est unique à l'ordre près des termes et .

Dickson[65] donne le nom de Girard au théorème selon lequel tout nombre premier de la forme 4n + 1 est somme de deux carrés.

Girard et les fractions continues

[modifier | modifier le code]
Leonardo Pisano

Girard est également le premier à donner l'expression générale de la formation des suites de Fibonacci[66] :

Il le fait dans sa traduction des cinquième et sixième livres de Diophante, en marge de l'édition de 1625 des œuvres de Simon Stevin. La veuve de Girard réédite cet énoncé en 1634, dans la publication de son œuvre posthume. Girard ne fournit pas sa méthode et parle de « particularités non encore par cy devant pratiquées »[67].

Ce faisant, il approche de très près la première définition des fractions continues. Il remarque également qu'en divisant un terme de la suite par son précédent, le calcul donne une approximation du nombre d'or. Cette propriété a déjà été énoncée par un anonyme du XVIe siècle dans une note manuscrite, à propos de la traduction des Éléments d'Euclide par Luca Pacioli (1509). Elle est confirmée par Kepler vers 1608, dans une de ses lettres. Girard est un des premiers à l'énoncer dans une publication (en 1634), son Invention nouvelle en l'algèbre.

Ses mots exacts sont les suivants[68] :

« Soit faite une telle progression 0,1,1,2,3,5,8,13,21, etc., dont chaque nombre est égal aux deux précédents, alors deux nombres pris immédiatement dénoteront la même raison, comme 5 et 8 ou 8 et 13, etc., et tant plus grands, tant plus près, tellement que 13 à 21 constitue assez précisément un triangle isocèle pris dans un pentagone. »

Selon Georges Maupin[69], il a sans doute découvert le moyen de construire une suite de rationnels convergeant rapidement vers une racine carrée par la création de fractions continues. Raphaele Bombelli l'avait cependant précédé sur ce domaine en 1572. Sans donner la façon générale de former de telles suites, Girard fournit dans le même livre deux approximations de ce type :

pour 2, il donne : puis ,
pour 10, il donne : ,

dont il est possible (cf. ci-dessous) de vérifier rapidement l'appartenance aux fractions continues[70],[Note 24] approchant respectivement 2 et 10.

Le même procédé vaut pour 10

La cosmographie

[modifier | modifier le code]

Dans sa traduction de la cosmographie, publiée à titre posthume en 1634 par sa veuve, Girard demeure fidèle au point de vue héliocentrique de Simon Stevin. Quoiqu'il juge impossible de pouvoir démontrer que le soleil est au centre la sphère des fixes, et qu'il consacre de nombreuses propositions à décrire les mouvements des planètes selon le modèle géocentrique, Girard (comme Stevin) est persuadé que l'hypothèse de Copernic est la plus vraisemblable. Il la nomme « propre », à l'opposé du système de Ptolémée, qu'il qualifie « d'impropre » et donne dans les pages 295-340 des Œuvres Mathematiques de Simon Stevin de Bruges un véritable plaidoyer en faveur des théories de la Terre mobile[71]. Cette affirmation paraît alors que Galilée a été condamné l'année précédente pour son Dialogue sur les deux grands systèmes du monde.

Girard ajoute au texte de Stevin quelques remarques sur les planètes. Il affirme qu'il s'en trouve davantage que les huit planètes connues des anciens, et qu'on en trouvera bien plus grâce à l'invention des « yeux artificiels » que sont les lunettes (ou « lynx »). Pour lui la Voie lactée est un amas d'étoiles, situées fort près les unes des autres. Il cite enfin Aristarque de Samos comme un lointain prédécesseur de Copernic[72].

  • 1625 : Commentaires de l'édition des œuvres de Stevin, Arithmétique de Simon Stevin, revue, corrigée et augmentée de plusieurs traittez et annotations, par Albert Girard, sammielois, mathématicien, imprimé à Leyde, chez Jacques Elzevier. Seuls deux livres furent édités par Jacob ou Jacques Elzevier ; ces commentaires sont l'un d'eux [lire en ligne].
  • 1625 : Description et brève déclaration des règles générales de la fortification, l’artillerie, des munitions et vivres, des officiers et de leurs commissions, des retranchemens de camp, des approches, avec la manière de se deffendre, et des feux artificiels, par Henri Hondius. Le tout traduit du flamend en langue françoise par A. G. S., La Haye, Hendrik Hondius [lire en ligne].
  • 1626 : Tables des Sinus, tangentes et secantes, avec un traicté succinct de la Trigonométrie tant des triangles plans, que sphéricques, par Albert Girard, sammielois, chez Jacques Elzevier à La Haye [lire en ligne]. Seconde édition 1634 [lire en ligne].
  • 1627 : Geometrie contenant la théorie et pratique d’icelle, nécessaire à la fortification. Jadis écrite par Samuel Marolois, mais depuis corrigée, et la plupart du discours changé et rédigé en meilleur état, par Albert Girard, mathématicien, Amsterdam, Jan Janssen.
  • 1627 : Fortification, ou architecture militaire, tant offensive que défensive par Samuel Marolois, revue, augmentée et corrigée par Albert Girard, Amsterdam, Jan Janssen [lire en ligne]. Réimpr. 1651, lire en ligne sur Gallica précédé de L’architecture contenant la Toscane, Dorique, Ionique, Corinthiaque et Composee, faict par Henri Hondius. Avec quelques belles ordonnances d’Architecture mises en perspective par Iean Vredman frison.
  • 1628 : Opera mathematica ou œuvres mathématiques..., De nouveau reveuë, augmentée, et corrigée par Albert Girard, Amsterdam], Jan Ianssen, [lire en ligne] (numérisation e-rara). Réimpr. 1647, [lire en ligne].
  • 1629 : Invention nouvelle en l'algèbre, chez Jan Janssen [lire en ligne]. Ce livre, dit Montucla, est « fort remarquable, en ce qu'on y trouve une connaissance des racines négatives plus développée que dans ceux de la plupart des autres analystes »[20]. Un des objets de ce livre est de montrer que, dans les équations qui conduisent au cas irréductible, il y a toujours trois racines.
= Invention nouvelle en l'Algèbre, tant pour la solution des équations que pour recognoistre le nombre des solutions qu'elles reçoivent avec plusieurs choses qui sont nécessaires à la perfection de cette divine science, Amsterdam, 1629, 70 p. / Reproduction identique par M. Biereus de Haan, Leyde, 1884 et N.A.W.nl [Nieuw Archief voor wiskunde uitgegeven door bet Wiskundig Genootschap], Amsterdam, 1884, 11, 85-152

Œuvres posthumes

[modifier | modifier le code]
  • 1634 : Les œuvres mathématiques de Simon Stevin de Bruges, où sont insérés les mémoires mathématiques, auxquels s'est exercé le très haut et très illustre Prince Maurice de Nassau, prince d'Orange, gouverneur des Provinces des Pays-Bas etc., le tout revu, corrigé et augmenté par Albert Girard, sammiélois, mathématicien ; publié à Leyde, chez Elzevier disponible sur diglib, [lire en ligne].

Retentissements

[modifier | modifier le code]

Le , au lendemain de sa rencontre avec Girard, Pierre Gassendi écrit à Nicolas Fabri de Peiresc qu'il a dîné avec un des ingénieurs du prince Frédéric de Nassau. C'est à ce titre que son siècle le connaît, et l'ignore. Galilée le connaît comme le traducteur de l'Art pondéraire de Stevin. Le père du mathématicien Huygens apprécie ses travaux, et lui décerne dans une lettre à leur ami commun Golius le titre de « vir stupendus ». Pour autant, la renommée de Girard n'atteint pas le Toulousain Pierre de Fermat ou très tardivement, et son œuvre demeure confidentielle au XVIIe siècle. Mersenne le connaît comme mathématicien flamand, alors qu'il est né en Lorraine et écrit en français[Note 25]. Le philosophe René Descartes - selon son habitude - emprunte sans le citer plusieurs de ses idées à Girard[73],[26]. Blaise Pascal lit Stevin au travers de sa traduction, selon Léon Brunschvicg[74] ; le père Niceron le conseille comme livre portatif[75].

Pierre Bayle le nomme dans son dictionnaire[76] affirmant qu'on peut aisément distinguer ce qui vient de Stevin et ce qui vient du « Samielois ». En 1752, dans une lettre au comte Stanhope, Robert Simson mentionne la règle d'approximation des racines carrées énoncée par Girard en 1629 et son emploi de la suite de leurs fractions continues. Le Comte de Chesterfield encourage Simson à publier cette découverte et, l'année suivante[77], Simson rend hommage à Girard pour sa clairvoyance quant aux suites de Fibonacci et ses approximations de 2 dans les Philosophical Transactions of the Royal Society, 1754, t. 2.

En 1758, Jean-Étienne Montucla l'évoque comme un géomètre flamand ; et bien qu'il connaisse l'article de Simson, il ne croit pas aux promesses de Girard de restaurer les Porismes d'Euclide[20],[78]. Montucla affirme ironiquement :

« Si Girard avait en effet réussi, comme il le dit, il faudrait convenir qu'il était en ce genre, encore plus grand œdipe que Simson. »

Pour lui, Girard, comme Alexander Anderson, n'est qu'un habile successeur de Viète.

En 1773, Fortuné Barthélemy de Félice, lui consacre un article dans son encyclopédie ou dictionnaire universel raisonné des connaissances humaines. Il l'évoque comme un ingénieux hollandais, s'attaquant aux équations cubiques, et poursuivant les travaux de Viète ou de Cardan[79].

Le premier numéro des Philosophical Transactions of the Royal Society.

Le « Samielois » est néanmoins remarqué par Charles Hutton (1737-1823), qui, en 1815[80], fait l'exact catalogue de ce que la théorie des équations doit à Girard :

  • il est le premier à avoir compris la formation des coefficients des polynômes (Viète l'avait déjà vu dans le cas de polynômes scindés sur les réels positifs) ;
  • il est le premier à avoir compris la signification géométrique des racines négatives ;
  • il est le premier qui, incluant les racines complexes, comprend qu'il n'y a pas plus de racines que le degré de l'équation ne l'autorise ;
  • il est le premier à donner des règles pour sommer les puissances des solutions d'une équation.

À quoi il eut pu ajouter bien d'autres titres de gloire.

En 1837 pourtant, Michel Chasles le mentionne négligemment dans son mémoire sur l'histoire des méthodes en géométrie[81] ; il rend hommage à Girard, au travers d'un théorème singulier issu de sa Trigonométrie stipulant que d'un quadrilatère inscrit dans un cercle, on peut former deux autres quadrilatères inscrits dans le même cercle, ces trois quadrilatères ayant, deux à deux, une même diagonale et pour aire (identique), le produit des trois diagonales, divisé par le double du diamètre du cercle circonscrit[82]. Chasles regrette dans ce même ouvrage la perte éventuelle du manuscrit de Girard contenant sa reconstitution des Porismes d'Euclide et note que les triangles réciproques de Girard contiennent à la fois ceux de Viète et de Snell (il en donne une figure plus complète après 1860 et sa propre reconstitution des Porismes).

Dans la seconde moitié du XIXe siècle, Adolphe Quetelet le tient toujours pour hollandais, ou le croit né à Bruges. Il en va de même pour Florian Cajori. Ce dernier distingue cependant Albert Girard des autres propagateurs de l'algèbre spécieuse. En 1870, le généalogiste Vorsterman Van Oijen[83] révèle qu'il n'est pas hollandais. En 1875, Ernest Rousseau, recteur de l'université libre de Bruxelles, confirme ces premiers doutes quant à la nationalité du « Samielois »[84] et le veut d'origine belge. En 1883, l'historien Paul Tannery révèle enfin qu'il vient de Saint-Mihiel[85].

Vers la fin du XIXe siècle, la plupart des historiens des mathématiques, quelques mathématiciens, et des historiens du XVIIe siècle, notamment Antonio Favaro, Gustave Cohen et Henri Bosmans, approfondissent son étude. Georges Maupin[Note 26] dans ses Opinions et curiosités touchant la mathématique fournit de larges extraits des travaux de Girard dans la seconde partie de son ouvrage consacré à Stevin. Le professeur Maupin y donne également une étude des notations du « Samielois » (p. 160-173) et de ses apports personnels, en particulier, dans le domaine des fractions continues, de la résolution des équations (p. 174-218) de la cosmographie, de la musique (p. 233-278), de la géométrie sphérique (pp. 279-287), voire de la statique (p. 288-322).

À leur suite, Gray Funkhouser (A short account of the history of symmetric functions of roots), George Sarton et René Taton, tracent des monographies reprenant ces découvertes, à la lumière de Stevin ou de Viète. Henri Lebesgue évoque plusieurs fois son travail[86]. Plus récemment, Cornelis de Waard, Michael Sean Mahoney[87], Jean Itard[88], Roshdi Rashed et Jean-Pierre Le Goff[89] ont tenté de réhabiliter sa mémoire. D'autres enfin, à l'image de Stella Baruk, utilisent les interrogations de Girard, voire ses notations, pour faire progresser, en collège, la compréhension des fondements de l'algèbre[90].

Notes et références

[modifier | modifier le code]
  1. Paul Tannery, Mémoires scientifiques: Sciences modernes, 1883-1904, publié en 1926, chez E. Privat, retrouve en 1883 un Humbert Girard né à cette date à Saint-Mihiel. Il est le seul Girard né entre 1576 et 1610 dans cette paroisse.
  2. Christaan Huyguens donne la date du 9 décembre 1632 dans son journal mais la date du 8 décembre figure dans le Dictionary of Scientific Biography. Elle correspond à la mort, à Middelbourg, de Philippe Lansberge de Maulabeecke in le Journal tenu par Isaac Beeckman [lire en ligne]. On trouve parfois l'année 1633 comme dans la monographie de Henri Dannreuther, Le mathématicien Albert Girard de Saint-mihiel 1595-1633.
  3. Ce lieu figure dans de nombreuses biographies comme celle de NNBW (voir ici. D'autres citent La Haye comme son lieu d'inhumation (Gustave Cohen, Écrivains français en Hollande dans la première moitié du 17e siècle, p. 342), mais on trouve aussi Leyde dans (en) John J. O'Connor et Edmund F. Robertson, « Albert Girard », sur MacTutor, université de St Andrews.
  4. D'origine provençale, cet auteur d'un livre sur les fortifications laisse un portrait de lui ; ce portrait d'Honorat de Meynier se trouve sur le site de la banque image crcv.
  5. « À Mr. Henry de Bergaigne, capitaine d'une compagnie de cavalerie .... Receveur des contributions de Brabant au quartier de Breda’, en relevant que, dans les mathématiques il avait fait ‘un progrez au delà du vulgaire. » Henri de Bergaigne, capitaine d'une compagnie de cavalerie à la bataille de Bar le Duc est mort en 1666, après avoir reçu le titre de bailli (ou de sénéchal -hoogschout en hollandais-), probablement le même Henri Bergaigne, né à Breda vers 1588, et enregistré comme juriste à Leyde le 21 mai 1612. Cornelis de Waard (ed.), Journal tenu par Isaac Beeckman de 1604 à 1634, t. 1 : 1604-1619, La Haye, Martinus Nijhoff, (lire en ligne), p. 261
  6. Certains auteurs dont Verduin, Laudatione de Simone Stevino ont cru qu'il s'agissait de la veuve de Simon Stevin lui-même et ont voulu y voir une preuve de l'ingratitude du prince Maurice et de son frère Hendrick. Article d'A. Ricour « Simple remarque concernant la biographie de Stevin », Bulletin du Comité flamand de France, vol. 2, 1862, p. 234, [lire en ligne].
  7. Né à Leyde, immatriculé à son université en 1593, licencié es lois et secrétaire du frère de Maurice d'Orange, Jean Tuning publia en 1605 et 1608, chez Jean Paedts, plusieurs traductions de Stevin, ses Mémoires mathématiques, comprenant les leçons qu'il donnait au prince d'Orange et la façon de tenir les comptes à l'italienne ; sa figure est évoquée par Henri Bosman, Le mathématicien belge Simon Stevin, p. 6, [lire en ligne] et Georges Sarton.
  8. De sorte que, selon Bosmans, les craintes de Moritz Cantor d'après lesquelles il est impossible de distinguer ce qui est dans Stevin de ce qui appartient à Girard sont infondées, in Le mathématicien belge Simon Stevin, p. 5, [lire en ligne].
  9. La syncrèse naît de la confrontation de divers points de vue sur un sujet donné. Elle est la première étape de la formalisation d'un problème géométrique sous forme d'équation (ou examen zététique) ; la seconde étape du raisonnement étant l'analyse de cette équation, et sa résolution générale (ou Poristique), la dernière étape, étant la synthèse, géométrique ou numérique, que Viète nomme Exégétique ou Rhéthique.
  10. Citée par Montucla, son assertion se trouve dans L'invention nouvelle en l'algèbre, Guillaume Jansson Blaeuw, Amsterdam, [lire en ligne], p. 15.
  11. L'écriture des complexes à l'aide de racines carrées de nombres négatifs disparaitra peu à peu après l'introduction par Euler du symbole « i » pour désigner l'une des deux racines carrées de -1. Elle finira par être déconseillée puis bannie des notations mathématiques, comme ambiguë ; le corps des complexes ne pouvant être muni d'un ordre compatible avec l'addition et la multiplication, il est impossible d'effectuer un choix entre les deux racines carrées d'un nombre complexe tout en conservant les propriétés fonctionnelles des racines, dont .
  12. En fin de compte, la notation des lignes trigonométriques ne se fixe qu'en 1729 avec Euler ; in (en) Marco Ceccarelli, Symposium on History of Machines and Mechanisms, Springer, 2004, p. 197 (ISBN 1-4020-2203-4), [lire en ligne].
  13. La notion de preuve algébrique s'élabore lentement au cours du XVIIe siècle et Girard, quoiqu'il cherche à expliquer ce théorème n'a pas encore les mots pour le prouver. Article L'algèbre de Viète et de Girard publié par l'Irem de Rennes [lire en ligne].
  14. Remarquable, à ce sujet, l'absence d'article « Girard » dans l'Encyclopédie raisonnée des sciences et des techniques de Diderot et D'Alembert, [lire en ligne] ; toutefois, il apparaît dans l'Encyclopédie ou dictionnaire universel raisonné des connaissances humaines (vol. 21) mis en forme par Fortuné Barthélemy de Félice et publié chez Yverdon en 1775, p. 576, [lire en ligne].
  15. Quelques démonstrations de ces théorèmes d'arithmétique se trouvent sur le site de l'université de Jussieu [lire en ligne].
  16. La flèche est la partie de diamètre découpée à angle droit par la corde d'un arc et le sinus verse la partie du rayon d'un cercle qui est comprise entre l'arc et le pied du sinus. Ces termes ont subi des altérations dans le temps. Voir Trigonométrie et Georges Maupin, Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècles, Naud, Paris, 1898, p. 234, télécharger ici.
  17. Les formules de prostaphérèse sont celles du produit des sinus ; apparues au milieu du XVIe siècle, elles remplacent les logarithmes et servent à l'époque à multiplier de grands nombres in Brian Borchers, Prosthaphaeresis [lire en ligne].
  18. Le lecteur trouvera quelques explications supplémentaires sur le site du Palais de la découverte
  19. Évoquant ce théorème, Henri Lebesgue écrit : « Il est un peu triste de constater que des jeunes gens ayant terminé le cycle des études leur conférant les grades nécessaires pour enseigner dans les classes secondaires puissent ne jamais avoir entendu parler du magnifique théorème d'Albert Girard. Quand on le leur fait connaître, ils sont toujours émerveillés de la beauté du résultat et stupéfaits qu'on ne leur ait pas parlé plus tôt d'une propriété indispensable pour bien comprendre le postulat d'Euclide. » in Henri Lebesgue, « Sur la mesure des grandeurs », L'Enseignement Mathématique, vol. 33, 1934, [lire en ligne].
  20. Les Porismes d'Euclide formaient trois livres de propositions ; ils nous sont parvenus au travers des écrits de Pappus d'Alexandrie. De nombreux auteurs modernes ont tenté de les restaurer, dont Albert Girard, Robert Simson et Michel Chasles. Ces trois livres faisaient partie, avec ceux d'Apollonios de Perge, des « Trésors de l'Analyse » des Anciens. Michel Chasles, Les Trois livres de porismes d'Euclide, Mallet-Bachelier, 1860 [lire en ligne].
  21. Il en a effectivement restitué une partie dans ses Tables des sinus, tangentes et secantes, avec un traicté succinct de la Trigonométrie tant des triangles plans, que sphéricques.
  22. Girard réitère l'affirmation selon laquelle il a déjà restauré ces Porismes à la suite d'une proposition relative au centre de gravité du triangle.
  23. Paul Émile Breton de Champ, Michel Chasles, Question des Porismes : notice sur les débats de priorité, éd. veuve Bouchard-Huzard, 1865 [lire en ligne]. Le même Paul Émile Breton dénonce la supercherie de Lucas Vrain (à lire sur les éditions de la BNF).
  24. Paul Davalan offre un site de calcul pour les fractions continues
  25. Cette erreur sera reprise par Cornelis de Waard dans ses éditions de la correspondance du père minime, selon l'article de Jean Itard, « Correspondance du P. Marin Mersenne, religieux minime : tables et index cumulatif des tomes I à X (années 1617-1641) », Revue d'histoire des sciences, 1974, vol. 27, n° 1, p. 91-92, [lire en ligne].
  26. Georges Maupin, de Rennes, se fait connaître très tôt par une intervention dans les Nouvelles annales mathématiques alors qu'il n'est qu'encore élève de spéciale (1887, [lire en ligne]). Licencié es sciences mathématiques [lire en ligne]), il est nommé professeur à Rennes. Ami d'Édouard Lucas et de Henri Auguste Delannoy ([lire en ligne]), il est nommé au lycée de Saintes, puis au collège d'Issoire. Membre actif de l'AFAS, il publie de 1892 à 1903 plusieurs livres de curiosités mathématiques ainsi que des travaux probabilistes, une critique de d'Alembert, et des livres à vocations pédagogiques.

Références

[modifier | modifier le code]
  1. a b c d e f et g Article du R. P. Henri Bosmans, La théorie des équations dans l'invention nouvelle en l'algèbre de Girard, 1923, [lire en ligne].
  2. a et b (en) David Scott Richeson, Euler's gem: the polyhedron formula and the birth of topology, Princeton University Press, 2008, p. 91-98 [lire en ligne].
  3. À propos des recherches du pasteur Henri Dannreuther, Le Mathématicien Albert Girard de Saint-Mihiel, 1595-1633, in Société de l'histoire du protestantisme français (France), Bulletin historique et littéraire, volume 43, année 1894, p. 335.
  4. a et b (nl) Nieuw Nederlandsch Biografisch Woordenboek [lire en ligne].
  5. D.J.Korteweg, « Descartes et les manuscrits de Snellius d'après quelques documents nouveaux » in Nieuw archief voor wiskunde, volume 1 à 3, 1895 republié chez Weytingh & Brave, 1969 p. 65.
  6. D'après Cornelis de Waard et Richard S. Westfall, Biographie d'Albert Girard, Projet Gallileo, [lire en ligne].
  7. Girard fait baptiser sa fille Marie en l'église Saint-Pierre : (nl) Nieuw Nederlandsch Biografisch Woordenboek, [lire en ligne].
  8. Article de Christian Houzel extrait d'un article de La Recherche, novembre 1995, disponible sur e-doc Mathématiques.
  9. Girard partage cette croyance avec Galilée. Il faut attendre Joachim Jung et Huyguens pour que la différence entre les deux courbes soit clairement établie. Voir (en) « Catenary or funicular curve », sur mathcurve.com.
  10. a b et c Irem de l'université de Rennes, Équations du troisième et du second degré, Viète et Girard, chap. 12, [lire en ligne].
  11. Gustave Cohen, Écrivains français en Hollande, p. 341 [lire en ligne].
  12. Sylvain Van de Weyer, Simon Stevin et M. Dumortier ; lettre à messieurs de l'Academie des sciences, 1845 p. 100 [lire en ligne].
  13. Catherine Secrétan, Pim den Boer, De la vie civile, 1590, ENS Editions, 2005 (ISBN 2-84788-047-X) p. 131 [lire en ligne]. Le R.P. Henri Bosmans juge que sa traduction conserve une marge d'approximation, quoique très fidèle eu égard aux habitudes de l'époque.
  14. Article de Piet Lombaerde, Notice bibliographique, [lire en ligne].
  15. Ernest Rousseau, Histoire des sciences physiques,mathématiques et naturelles, in Patria Belgica, p. 172, [lire en ligne].
  16. C. de Waard, Journal tenu par Isaac Beeckman de 1604 à 1634, p. 153, [lire en ligne]. Dans une lettre de Gassendi à Peiresc du 21 juillet 1629, ce dernier précise qu'il s'agit de Mr de Fresne Canaye ; sans doute un parent de l'ambassadeur d'Henri IV.
  17. (en) Rienk Vermij, Part II : The challenge to philosophy : The Calvinist Copernicans sur le site Knaw.nl de l'Académie royale de Hollande, [lire en ligne].
  18. Georges Maupin, Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècles, Naud, Paris, 1898 p. 246-247, Télécharger ici.
  19. Georges Maupin, Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècles, Naud, Paris, 1898, p. 173, télécharger ici.
  20. a b c et d Joseph François Michaud et Louis-Gabriel Michaud, Biographie universelle ancienne et moderne, vol. 16, chez Madame C. Desplaces, 1856, p. 521 [lire en ligne].
  21. R. Pastiels, « Les Émissions lumineuses du Ciel nocturne », Ciel et Terre, vol. 69, p. 277, [lire en ligne].
  22. Georges Maupin, Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècles, Naud, Paris, 1898, p. 170, télécharger ici.
  23. (en) D. J. Struik, Source Book in Mathematics, 1200-1800, p. 8 et seq., [lire en ligne].
  24. Frédéric Ritter, Étude sur la vie du mathématicien François Viète (1540-1603), son temps et son œuvre, t. I, [lire en ligne]. Elles sont disponibles sous forme de microfilm (87Mi/1) auprès du CARAN.
  25. Article du R. P. Henri Bosmans, Le mathématicien belge Simon Stevin, p. 18, [lire en ligne]. Bosmans affirme que l'ouvrage publié par Alexander Anderson en 1615 comporte des erreurs de signes.
  26. a et b Jean-Étienne Montucla, Histoire des mathématiques: dans laquelle on rend compte de leurs progrès, volume 1, 1758, à Paris chez Antoine Jombert, p. 495, [lire en ligne].
  27. A.-S. de Montferrier, Dictionnaire des sciences mathématiques, pures et appliquées, Dénain et Delamare, 1835, p. 47, [lire en ligne].
  28. a b et c R. P. Henri Bosmans, « Albert Girard et Viète ; à propos de la théorie de la « syncrèse » de ce dernier », Annales de la société scientifique de Bruxelles, [lire en ligne].
  29. (en) Charles Hutton, « Albert Girard », dans Algebra, Mathematical and Philosophical Dictionary, J. Johnson, Londres, 1796, p. 93 et 100-101, [lire en ligne].
  30. Florian Cajori, Histoire des notations mathématiques, vol. 1, réimpr. Cosimo, 2007 (ISBN 1-60206-684-1), p. 158 et 380 [lire en ligne].
  31. A. Girard, Invention nouvelle en l'algèbre, p. 41, [lire en ligne].
  32. (en) F. Cajori, A History of mathematical notations vol. 1, Cosimo, New York, 2007, p. 159 et 372 (ISBN 1-60206-684-1), [lire en ligne].
  33. (en) F. Cajori, A History of mathematical notations, vol. 1, Cosimo, New York, 2007, p. 159 (ISBN 1-60206-684-1) [lire en ligne].
  34. (en) Florian Cajori, A History of mathematical notations, vol. 1, Cosimo, New York, 2007, p. 160 (ISBN 1-60206-684-1) [lire en ligne].
  35. Sa nomenclature algébrique est parfois très originale ; voir l'étude sur les notations de Girard disponible ici sur une page de Institut für Theoretische Physik (Karlsruhe Institute of Technology).
  36. Catherine Secrétan et Pim den Boer, De la vie civile, 1590, p. 162 [lire en ligne].
  37. Dominique Descotes, Blaise Pascal, littérature et géométrie, Presses Univ. Blaise Pascal, 2001, p. 64 (ISBN 2-84516-173-5) [lire en ligne].
  38. A. Girard, Invention nouvelle en l'algèbre, p. 37 [lire en ligne].
  39. Michel Serfati et Dominique Descotes, Mathématiciens français du XVIIe siècle, Presses Univ. Blaise Pascal, 2008, p. 164 (ISBN 2-84516-354-1) [lire en ligne].
  40. « enveloppé » est à prendre au sens étymologique, aujourd'hui désuet, proche d'inexplicable ; Descartes, lecteur de Girard, s'oppose à lui sur ces dénominations, ne souhaitant pas d'« inexplicable » dans ses mathématiques, et préfèrera en 1637 appeler ces nombres « imaginaires », cf. René Descartes Règles utiles et claires pour la direction de l'esprit en la recherche de la vérité, traduction du latin par Jean-Luc Marion (avec annotations de celui-ci et de Pierre Costabel), Springer, 1977 (ISBN 90-247-1907-0), note 28 de Pierre Costabel p. 354 [lire en ligne]. Voir également « Histoire des nombres complexes ».
  41. A. Girard, Invention nouvelle en algèbre p. 40, Jassons Blauew, 1629 [lire en ligne].
  42. Histoire de la trigonométrie sur le site math93.
  43. (de) Johannes Tropfke, Geschichte Der Elementar-Mathematik in Systematischer Darstellung, vol. 5 à 6, p. 135, 308, 325, 330 (ISBN 1-113-08570-3) [lire en ligne].
  44. Samuel Marolois, Œuvres mathématicques traictant de la géométrie et fortification, réduictes en meilleur ordre, et corrigées d'un nombre infiny de fautes escoulées aux impressions précédentes, 1628, p. 158 et seq., [lire en ligne].
  45. A. Girard, Invention nouvelle en l'algèbre, Jansons, 1629, p. 38, [lire en ligne].
  46. (en) Albert Girard sur le site Fermat's Last Theorem.blogspot.com
  47. R.P. Henri Bosmans, La trigonométrie de Girard sur le site de l'ULB, p. 337-340, [lire en ligne].
  48. R.P. Henri Bosmans, La trigonométrie de Girard sur le site de l'ULB, p. 342 et seq., [lire en ligne].
  49. a et b Michel Chasles, Aperçu historique sur l'origine et le développement des méthodes en géométrie ; particulièrement de celles qui se rapportent à la géométrie moderne, suivi d'un mémoire de géométrie sur deux principes généraux de la science, la dualité et l'homographie, M. Hayez, 1837, p. 546 [lire en ligne].
  50. R.P. Henri Bosmans, La trigonométrie de Girard sur le site de l'ULB, p. 345 et seq., [lire en ligne].
  51. O. Terquem, Nouveau manuel de géométrie, Librairie encyclopédique de Roret, 1838, p. 451, [lire en ligne].
  52. A. Girard, Invention nouvelle en l'algèbre, Jan Jansens Blauew, 1629, p. 19, aperçu sur Google Livres.
  53. Georges Maupin, Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècles, Naud, Paris, 1898 p. 170, télécharger ici.
  54. Œuvres de Lagrange Pièces diverses non comprises dans le recueil académique publiées chez Gauthier-Villars en 1877, p. 337.
  55. (en) Boris A. Rosenfeld, A History of Non-Euclidean Geometry, Springer, 1988 (ISBN 0-387-96458-4), p. 32 [lire en ligne].
  56. Marie, Maximilien, Histoire des sciences mathématiques et physiques (1883), Gauthier Villars, Paris, p. 205-206, [lire en ligne].
  57. Une analyse de la démonstration de ce théorème par Girard est donnée par (en) Boris A. Rosenfeld, A History of Non-Euclidean Geometry, Springer, 1988 (ISBN 0-387-96458-4), p. 27, [lire en ligne].
  58. Henri Lebesgue, « Sur la mesure des grandeurs », L'Enseignement Mathématique, vol. 33, 1934, p. 282, [lire en ligne].
  59. a b et c Michel Chasles, Les trois livres de porismes d'Euclide, Mallet-Bachelier, 1860, p. 2, [lire en ligne].
  60. Jean Itard, « À propos d'un livre sur Pierre Fermat », Revue d'histoire des sciences, 1974, vol. 27, n° 4, p. 338 [lire en ligne].
  61. (en) Leonard Eugene Dickson, History of the Theory of Numbers (en) [détail des éditions], vol. 2, p. 275-276 sur Google Livres.
  62. (en) Harold Davenport, The Higher Arithmetic: An Introduction to the Theory of Numbers, Cambridge University Press, 1999 (ISBN 0-521-63446-6), p. 115 sur Google Livres.
  63. (en) K. R. Chowdhary, Fundamentals of Discrete Mathematical Structures, PHI Learning (ISBN 81-203-3332-2), [lire en ligne] : « Fermat proved a speculation of Albert Girard that every prime number of the form 4n + 1 can be written in a unique way as the sum of two squares. »
  64. E421.
  65. (en) Leonard Eugene Dickson, History of the Theory of Numbers (en) [détail des éditions], vol. 2, p. 228 sur Google Livres.
  66. Robert Simson, « Une explication d'un passage obscur d'Albert Girard », Royal Society de Londres[réf. incomplète], 1753, no 48, p. 368-376, remarque le premier ce fait.
  67. Edouard Lucas, « Recherche sur divers ouvrages de Leonard de Pise » (1877), cité par Robert Halleux, Kepler ou l'étrenne ou la neige sexangulaire, Vrin, 2002 (ISBN 2-7116-0443-8), p. 98, [lire en ligne].
  68. (en) John Emery Murdoch et Edith Dudley Sylla, The Cultural Context of Medieval Learning, Springer, 1975, p. 475 (ISBN 90-277-0587-9) [lire en ligne].
  69. Georges Maupin, Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècles (Albert Girard tire parti des fractions continues), Naud, Paris, 1898, p. 203-209, télécharger ici.
  70. Leonard Eugene Dickson, Diophantine analysis, réedition AMS Bookstore, 1999, p. 356 (ISBN 0-8218-1935-6).
  71. Les œuvres mathématiques de Simon Stevin de Bruges : Ou sont inserées les mémoires mathématiqves, esquelles s'est exercé le Tres-haut & Tres-illustre Prince Maurice de Nassau publié à Leyde chez Elsevier, en 1634 [lire en ligne].
  72. Georges Maupin, Opinions et curiosités touchant la mathématique (deuxième série) d'après les ouvrages français des XVIe, XVIIe et XVIIIe siècles, Naud, Paris, 1898, p. 268-269, télécharger ici.
  73. Émile Jalley, La guerre de la psychanalyse : Hier, aujourd'hui, demain, L’Harmattan, 2008 (ISBN 2-296-06774-3), p. 251, [lire en ligne].
  74. Léon Brunschvicg, Œuvres de Blaise Pascal, publićes suivant l'ordre chronologique, avec documents complémentaires, introductions et notes, Volume 9, Hachette, 1914
  75. Jean-François Niceron, La perspective curieuse du révérend P. Niceron minime, divisée en quatre livres ; avec l'optique et la catoptrique du R. P. Mersenne mise en lumière apres la mort de l'auteur, chez la veuve Langlois, dit Chartres, 1652, p. 104, [lire en ligne].
  76. Pierre Bayle, Dictionnaire historique et critique, t. XIII, 1820 (1re éd. 1730), p. 493, [lire en ligne].
  77. (en) William Trail, Account of the Life and Writings of Robert Simson, G. et W. Nicol, 1812, p. 29, [lire en ligne].
  78. J.-É. Montucla, Histoire des mathématiques : dans laquelle on rend compte de leurs progrès, vol. 1, 1758, Paris, Antoine Jombert, p. xxxii, [lire en ligne].
  79. Fortunato Bartolomeo De Felice, Dictionnaire universel raisonné des connaissances humaines, mis en ordre par M. de Felice, vol. 21, Yverdon, 1773, p. 576, [lire en ligne].
  80. (en) Charles Hutton, A Philosophical and Mathematical Dictionary, 1815, p. 93, [lire en ligne].
  81. M. Chasles, Mémoires couronnés par l'Académie royale des sciences et belles-lettres de Bruxelles, vol. 11, 1837, p. 263, 440 et 546 [lire en ligne].
  82. M. Chasles, Aperçu historique sur l'origine et le développement des méthodes en géométrie, particulièrement de celles qui se rapportent à la géometrie moderne, suivi d'un mémoire de géométrie sur deux principes généreaux de la science, la dualité et l'homographie, M. Hayez, 1837, p. 546, 283 et 440 [lire en ligne].
  83. Antonie Abraham Vorsterman Van Oijen (1845-1912) publie cette thèse dans le Bullettino di bibliografia édité par Baldassare Boncompagni, tome III, Rome, 1870 p. 360, cité par Edouard Lucas, Recherche sur Leonard de Pise, [lire en ligne].
  84. Ernest Rousseau, Histoire des sciences physiques,mathématiques et naturelles, in Patria Belgica, p. 173, [lire en ligne].
  85. Paul Tannery, « Albert Girard de Saint-Mihiel », Bulletin des sciences mathematiques et astronomiques, 2e série, 7, 1883.
  86. Henri Lebesgue, article « Sur la mesure des grandeurs », L'Enseignement Mathématique, vol. 33, 1934, [lire en ligne].
  87. (en) M. S. Maloney, The early theory of equations ; on their nature and constitution: translations of three treatises by Viete, Girard, and De Beaune, Golden Hind Press, 1986.
  88. Théodore Lecomte, « L'histoire des mathématiques dans l'enseignement d'Henri Lebesgue », L'enseignement mathématiques, vol. 2, 1956, [lire en ligne], affirme que Henri Lebesgue conseille à Jean Itard de s'y atteler dès 1932.
  89. Jean-Pierre Le Goff et Jacky Sip, « L'Invention Nouvelle en l'Algèbre d'Albert Girard (1629) » in Actes du XIIe colloque inter-IREM d'Épistémologie et d'Histoire des Mathématiques, Douai, 14-16 mai 1998. Pré-publication de l'IREM de Basse-Normandie.
  90. Stella Baruk, Quelles mathématiques pour l'école ?, Odile Jacob, 2004 (ISBN 2-7381-1376-1), [lire en ligne].

Bibliographie

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]