IREM de Caen Normandie https://irem.unicaen.fr/ fr SPIP - www.spip.net (Sarka-SPIP) IREM de Caen Normandie https://irem.unicaen.fr/local/cache-vignettes/L144xH204/siteon0-a2c1a.png?1679676258 https://irem.unicaen.fr/ 204 144 Le contenu mathématique du Livre III : les triangles (prop. 1 à 15) https://irem.unicaen.fr/spip.php?article225 https://irem.unicaen.fr/spip.php?article225 2022-12-26T20:35:02Z text/html fr TrotouxD <p>Section précédente : Le plan du Livre III et les outils utilisés <br class='autobr' /> Les triangles <br class='autobr' /> Le Livre III s'ouvre sur une série de propositions destinés à évaluer les aires de triangles ou trapèzes délimités par des diamètres, des tangentes aux sommets et des ordonnées menées d'un ou de plusieurs points d'une conique. Ces polygones ont souvent comme sommet un point quelconque d'une conique et les deux côtés issus de ce point sont les ordonnées relativement à deux repères différents. Ces propositions permettent donc, (...)</p> - <a href="https://irem.unicaen.fr/spip.php?rubrique42" rel="directory">Groupe de lecture des Coniques d'Apollonios de Pergé</a> <img class='spip_logo spip_logo_right spip_logos' alt="" style='float:right' src='https://irem.unicaen.fr/local/cache-vignettes/L95xH150/arton225-dd088.jpg?1679662964' width='95' height='150' /> <div class='rss_texte'><div class="spip spip-block-center" style="text-align:center;">Section précédente : <a href='https://irem.unicaen.fr/spip.php?article172' class='spip_in'>Le plan du Livre III et les outils utilisés</a></div><h3 class="spip">Les triangles</h3><p style="text-indent:2em"; align=justify>Le Livre III s'ouvre sur une série de propositions destinés à évaluer les aires de triangles ou trapèzes délimités par des diamètres, des tangentes aux sommets et des ordonnées menées d'un ou de plusieurs points d'une conique. Ces polygones ont souvent comme sommet un point quelconque d'une conique et les deux côtés issus de ce point sont les ordonnées relativement à deux repères différents. Ces propositions permettent donc, entre autres, de faciliter les changements de repère. Le souci de généralité d'Apollonios le conduit à étudier pour chaque propriété les différents cas de figure obtenus suivant les positions de certains points, la nature de la conique considérée et l'utilisation de diamètres conjugués. D'autre part Apollonios transfère souvent ces propriétés à l'autre branche de l'hyperbole (qu'il considère – rappelons-le – comme une courbe différente) ainsi qu'à l'hyperbole conjuguée. Quand on considère que certains de ces cas manquent dans le texte apollonien et que, par ailleurs, certaines propositions ont été interpolées partiellement ou en entier, on aboutit à un groupe relativement touffu de propositions, dans lequel le lecteur moderne a quelque mal à se retrouver et où il a tendance à vouloir synthétiser les résultats obtenus. C'est cette synthèse que nous présentons ci-dessous avant de lire en détail les trois premières propositions.</p> <h3 class="spip">Notations</h3><p style="text-indent:2em"; align=justify>Pour effectuer cette synthèse et mieux observer l'aspect combinatoire et symétrique des résultats d'Apollonios nous avons introduit les notations suivantes. Un repère est défini le plus souvent par un diamètre (noté $$$(d_1)$$$), passant par un sommet et la tangente (notée $$$(t_1)$$$) en ce sommet qui donne la direction des ordonnées. De façon plus générale, le couple $$$(d_i,t_i)$$$ représente le repère n° $$$i$$$. Cette situation se généralise au cas de l'hyperbole, où l'on a des repères dont le diamètre ne coupe pas la section. La direction des ordonnées est alors donnée par le diamètre conjugué.</p> <ul class="spip"><li> Les points sont représentés par des lettres, mais les lettres indexées représentent des droites passant par ces points.</li><li> Plus précisément, pour un point $$$M$$$ quelconque, $$$M_i$$$ désigne l'ordonnée passant par M relativement au repère $$$(d_i,t_i)$$$.</li><li> tr$$$(d_1t_1t_2)$$$ désigne l'aire du triangle formé par les trois droites $$$(d_1)$$$, $$$(t_1)$$$ et $$$(t_2)$$$.</li><li> qu$$$(t_1M_1M_2d_2)$$$ désigne l'aire du quadrilatère formé par les quatre droites $$$(t_1)$$$, $$$(M_1)$$$, $$$(M_2)$$$ et $$$(d_2)$$$. Si ce quadrilatère est croisé, il s'agit de la différence des aires des triangles formés. En fait ce sont toujours des trapèzes, avec $$$(t_1)$$$ // $$$(M_1)$$$, et donc :</li></ul><center>qu$$$(t_1M_1M_2d_2)$$$ = $$$\lvert$$$tr$$$(t_1M_2d_2) -$$$tr$$$(M_1M_2d_2) \rvert$$$</center> <p>$$$ \\ $$$</p> <p style="text-indent:2em"; align=justify>On trouvera sur les figures suivantes (fig. IVa 1, fig. IVa 2 et fig. IVa 3) des exemples de ces notations pour les trois types de coniques.</p> <table> <table border="0"; align=center> <tr> <td> <dl class='spip_document_735 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L400xH300/iva_1b-23f87.png?1679676259' width='400' height='300' alt='' /></dt> <dt class='crayon document-titre-735 spip_doc_titre' style='width:350px;'><strong>fig. IVa 1</strong></dt> </dl></td> <td> <dl class='spip_document_732 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L400xH300/iva_2b-f493d.png?1679676259' width='400' height='300' alt='' /></dt> <dt class='crayon document-titre-732 spip_doc_titre' style='width:350px;'><strong>fig. IVa 2</strong></dt> </dl></td> </tr> <tr> <td colspan="2"><dl class='spip_document_734 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L400xH300/iva_3b-01c96.png?1679676259' width='400' height='300' alt='' /></dt> <dt class='crayon document-titre-734 spip_doc_titre' style='width:350px;'><strong>fig. IVa 3</strong></dt> </dl></td> </tr> </table><h3 class="spip">L'ordre des propositions 1 à 15</h3> <p>Les propositions 1 à 3 se rapportent à une situation sur une même conique quelconque.<br class='manualbr' /> Les propositions 4 à 12 concernent cette même situation sur des hyperboles opposées.<br class='manualbr' /> Les propositions 13 à 15 étudient enfin cette situation dans le cas des hyperboles conjuguées.<br class='manualbr' /></p> <h3 class="spip">Les trois énoncés</h3><p style="text-indent:2em"; align=justify>On peut regrouper les quinze propositions en trois types d'énoncés.</p> <p style="text-indent:2em"; align=justify>Le premier énonce la constance du triangle formé par deux tangentes et un diamètre :</p> <center> $$$ \fbox {$ \large \textbf{(E}_{\textbf{1}}\textbf{)} \qquad \textbf{tr(d}_\textbf{1}\textbf{t}_{\textbf{1}}\textbf{t}_\textbf{2}\textbf{)=}\textbf{tr(d}_\textbf{2}\textbf{t}_{\textbf{2}}\textbf{t}_\textbf{1}\textbf{)} $}$$$ </center> <p>$$$ \\ $$$</p> <p style="text-indent:2em"; align=justify>Il est vrai sur une même section conique (prop. 1, fig. IVa 4, fig. IVa 5 et fig. IVa 6) ou sur les hyperboles opposées (prop. 4, fig. IVa 7).</p> <table> <table border="0"; align=center> <tr> <td> <dl class='spip_document_736 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L400xH300/iva_4b-5ca19.png?1679676259' width='400' height='300' alt='' /></dt> <dt class='crayon document-titre-736 spip_doc_titre' style='width:350px;'><strong>fig. IVa 4</strong></dt> </dl></td> <td> <dl class='spip_document_737 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L400xH300/iva_5b-5c2b1.png?1679676259' width='400' height='300' alt='' /></dt> <dt class='crayon document-titre-737 spip_doc_titre' style='width:350px;'><strong>fig. IVa 5</strong></dt> </dl></td> </tr> <tr> <td> <dl class='spip_document_738 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L400xH300/iva_6b-646b8.png?1679676259' width='400' height='300' alt='' /></dt> <dt class='crayon document-titre-738 spip_doc_titre' style='width:350px;'><strong>fig. IVa 6</strong></dt> </dl></td> <td> <dl class='spip_document_739 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L400xH300/iva_7b-56e38.png?1679676259' width='400' height='300' alt='' /></dt> <dt class='crayon document-titre-739 spip_doc_titre' style='width:350px;'><strong>fig. IVa 7</strong></dt> </dl></td> </tr> </table><p style="text-indent:2em"; align=justify>Dans la suite, sauf exception, on présentera dans les figures uniquement la situation de l'ellipse. Le lecteur pourra faire les figures correspondant aux autres coniques.</p> <p style="text-indent:2em"; align=justify>Le deuxième énoncé concerne le « trapèze » obtenu à partir d'un point quelconque $$$M$$$ de la conique. Ce trapèze est limité par, d'une part, les ordonnées issues de $$$M$$$ correspondant à deux diamètres, d'autre part, l'un des diamètres et la tangente au sommet de l'autre diamètre. Ce trapèze est égal au triangle défini par cette tangente, le diamètre qui lui correspond et l'ordonnée issue de $$$M$$$ relative à l'autre repère.</p> <center> $$$ \fbox {$ \large \textbf{(E}_{\textbf{2}}\textbf{)} \qquad \textbf{qu(t}_\textbf{1}\textbf{M}_{\textbf{1}}\textbf{M}_\textbf{2}\textbf{d}_{\textbf{2}}\textbf{)=}\textbf{tr(t}_\textbf{1}\textbf{M}_{\textbf{2}}\textbf{d}_\textbf{1}\textbf{)} $}$$$ </center> <p>$$$ \\ $$$</p> <p style="text-indent:2em"; align=justify>Cette propriété est énoncée pour une même section (prop. 2, fig. IVa 8 pour un trapèze convexe, fig. IVa 9 pour un trapèze croisé), puis avec un second diamètre (prop. 5 et prop. 11), sur des branches d'hyperboles opposées (prop. 6) et enfin sur des hyperboles conjuguées (prop. 14 et prop. 15).</p> <p style="text-indent:2em"; align=justify>On peut remarquer que si l'on place le point $$$M$$$ au sommet de $$$(d_2)$$$ (intersection avec $$$(t_2)$$$), l'énoncé $$$(\textrm{E}_2)$$$ revient à l'énoncé $$$(\textrm{E}_1)$$$, qui en est donc un cas particulier.</p> <dl class='spip_document_740 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH314/iva_8-72fc8.png?1679676259' width='500' height='314' alt='' /></dt> <dt class='crayon document-titre-740 spip_doc_titre' style='width:350px;'><strong>fig. IVa 8</strong></dt> </dl> <dl class='spip_document_741 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH303/iva_9-2e49e.png?1679676259' width='500' height='303' alt='' /></dt> <dt class='crayon document-titre-741 spip_doc_titre' style='width:350px;'><strong>fig. IVa 9</strong></dt> </dl><p style="text-indent:2em"; align=justify>Enfin le dernier énoncé, le plus général, traite de l'égalité de trapèzes obtenus en deux points d'une conique, définis d'une part, par les deux ordonnées de ces points et d'autre part, par l'ordonée de l'un des points et le diamètre d'un autre repère.</p> <center> $$$ \fbox {$ \large \textbf{(E}_{\textbf{3}}\textbf{)} \qquad \textbf{qu(M}_\textbf{1}\textbf{N}_{\textbf{1}}\textbf{N}_\textbf{2}\textbf{d}_{\textbf{2}}\textbf{)=}\textbf{qu(N}_\textbf{2}\textbf{M}_{\textbf{2}}\textbf{M}_\textbf{1}\textbf{d}_{\textbf{1}}\textbf{)} $}$$$ </center> <p>$$$ \\ $$$</p> <p style="text-indent:2em"; align=justify>Ce résultat est donné d'abord sur une même conique (prop. 3, fig. IVa 10), puis sur deux branches d'hyperboles opposées (prop. 7), dans certains cas particuliers (prop. 8, prop. 9. et prop. 10), avec un diamètre conjugué (prop. 12).</p> <dl class='spip_document_742 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH310/iva_10-51402.png?1679676259' width='500' height='310' alt='' /></dt> <dt class='crayon document-titre-742 spip_doc_titre' style='width:350px;'><strong>fig. IVa 10</strong></dt> </dl><p style="text-indent:2em"; align=justify>On peut remarquer que si l'on place le point $$$M$$$ au sommet de $$$(d_1)$$$, alors l'énoncé $$$(\textrm{E}_3)$$$ devient l'énoncé $$$(\textrm{E}_2)$$$, qui en est donc un cas particulier.</p> <p style="text-indent:2em"; align=justify>Ces 15 propositions expriment donc diverses formes d'une propriété générale des coniques. Nous n'avons pas voulu considérer les cas particuliers (dont certains ne sont pas plus évoqués par Apollonios que par nous) du genre : que se passe-t-il si $$$(d_1)$$$ et $$$(d_2)$$$ sont perpendiculaires ?</p> <h3 class="spip">Lecture des trois premières propositions.</h3><p style="text-indent:2em"; align=justify>Avant de commencer notre lecture, il convient de donner brièvement le contenu des propositions 42 à 45 du Livre I. Ces propositions démontrent dans différents cas (proposition 42 pour la parabole, proposition 43 pour les coniques à centre, proposition 44 pour les deux branches de l'hyperbole, proposition 45 pour un diamètre conjugué) le même résultat : le triangle formé à partir d'un point quelconque d'une conique entre les ordonnées issues de ce point et le diamètre du premier repère est égal au quadrilatère (trapèze ou différence de triangles homothétiques pour une conique à centre, parallélogramme pour une parabole) formé par les deux diamètres, la tangente au sommet du premier repère et l'ordonnée du premier repère issue du point. Avec les notations introduites ci-dessus, on obtient l'énoncé :</p> <center> $$$ \fbox {$ \large \textbf{(E}_{\textbf{0}}\textbf{)} \qquad \textbf{tr(M}_\textbf{1}\textbf{M}_{\textbf{2}}\textbf{d}_{\textbf{1}}\textbf{)=}\textbf{qu(t}_{\textbf{1}}\textbf{M}_{\textbf{1}}\textbf{d}_{\textbf{1}}\textbf{d}_{\textbf{2}}\textbf{)} $}$$$ </center> <p>$$$ \\ $$$</p> <dl class='spip_document_743 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH367/iva_11-16801.png?1679676259' width='500' height='367' alt='' /></dt> <dt class='crayon document-titre-743 spip_doc_titre' style='width:350px;'><strong>fig. IVa 11</strong></dt> </dl><p style="text-indent:2em"; align=justify>Les démonstrations utilisent principalement les propriétés issues de la division harmonique définie sur un diamètre par une tangente (Livre I, propositions 35 et 39).</p> <p style="text-indent:2em"; align=justify>Micheline Decorps-Foulquier a montré dans sa thèse (XXX, pp. 154-162), à partir des commentaires d'Eutocius et d'un lemme de Pappus que ces démonstrations avaient été sans doute écrites initialement par Apollonios de façon progressive : un premier énoncé, qui pouvait faire l'objet d'une proposition intermédiaire entre I.42 et I.43 démontrait que pour une conique à centre :</p> <center> $$$ \large \textbf{(E}_{\textbf{0,1}}\textbf{)} \qquad \textbf{tr(d}_\textbf{1}\textbf{d}_{\textbf{2}}\textbf{t}_{\textbf{1}}\textbf{)=}\textbf{tr(d}_{\textbf{2}}\textbf{d}_{\textbf{1}}\textbf{t}_{\textbf{2}}\textbf{),}$$$ </center> <p>$$$ \\ $$$</p> <p align=justify>résultat qui apparaît dans la variante d'Eutocius de la démonstration de I.43, et que des commentateurs ont interpolé ensuite dans la proposition III.1 (<i>cf.</i> fig. IVa 12). On peut noter qu'Apollonios donne cet énoncé pour des hyperboles conjuguées (prop. 13, fig. IVa 13).</p> <dl class='spip_document_744 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH368/iva_12-63c25.png?1679676259' width='500' height='368' alt='' /></dt> <dt class='crayon document-titre-744 spip_doc_titre' style='width:350px;'><strong>fig. IVa 12</strong></dt> </dl> <p>fig. IVa 13</p> <p>Le deuxième énoncé démontre un résultat équivalent au précédent :</p> <center> $$$ \large \textbf{(E}_{\textbf{0,2}}\textbf{)} \qquad \textbf{tr(d}_\textbf{1}\textbf{t}_{\textbf{2}}\textbf{B}_{\textbf{1}}\textbf{)=}\textbf{qu(t}_{\textbf{1}}\textbf{B}_{\textbf{1}}\textbf{d}_{\textbf{1}}\textbf{d}_{\textbf{2}}\textbf{)}$$$ </center> <p>$$$ \\ $$$<br class='autobr' /> en notant $$$B$$$ le sommet de ($$$d_2$$$) (<i>cf.</i> fig. IVa 14).</p> <p>fig. IVa 14</p> <p style="text-indent:2em"; align=justify>Ce résultat est d'ailleurs un cas particulier de l'énoncé ($$$E_0$$$) ci-dessus, si l'on place le point $$$M$$$ au sommet du deuxième repère.</p> <p style="text-indent:2em"; align=justify>D'un point de vue plus moderne, on peut dire que l'énoncé ($$$E_0$$$) exprime la constance de l'aire d'un certain quadrilatère quelle que soit la position du point $$$M$$$ sur la conique. Mais il faut noter que ce quadrilatère n'est plus un trapèze et il faut entendre la valeur absolue de la somme ou de la différence des aires des triangles tr$$$(M_1M_2d_1)$$$ et tr$$$(d_1d_2M_1)$$$, la somme étant faite dans le cas de l'ellipse, la différence dans le cas de l'hyperbole (<i>cf.</i> fig IVa 15).</p> <center> $$$ \fbox {$ \large \textbf{(E'}_{\textbf{0}}\textbf{)} \qquad \left \lvert \textbf{tr(}\textbf{M}_\textbf{1}\textbf{M}_\textbf{2}\textbf{d}_\textbf{1}\textbf{)} \pm \textbf{tr(}\textbf{d}_\textbf{1}\textbf{d}_\textbf{2}\textbf{M}_\textbf{1}\textbf{)} \right \rvert \textbf{=} \, \textbf{tr(}\textbf{d}_\textbf{1}\textbf{d}_\textbf{2}\textbf{t}_\textbf{1}\textbf{)}$}$$$ </center> <p>$$$ \\ $$$<br class='autobr' /> Figure IVa 15</p> <p>Nous pouvons maintenant commencer la lecture des trois premières propositions.</p> <center> À suivre...</center></div> Le plan du Livre III et les outils utilisés https://irem.unicaen.fr/spip.php?article172 https://irem.unicaen.fr/spip.php?article172 2022-12-18T10:30:00Z text/html fr TrotouxD <p>Section précédente : Interprétation moderne des relations d'Apollonios <br class='autobr' /> Le plan du Livre III et les outils utilisés. <br class='autobr' /> Le Livre III du Traité des Coniques présente une structure et une organisation logique assez simple. <br class='autobr' /> En modernisant le propos, on peut résumer les six parties du Livre III de la manière suivante. Ce découpage ainsi que les sous-titres sont de notre fait et ne figurent pas dans le texte d'Apollonios. <br class='autobr' /> La première partie rassemble les propositions 1 à 15 sous le titre « Les triangles ». (...)</p> - <a href="https://irem.unicaen.fr/spip.php?rubrique42" rel="directory">Groupe de lecture des Coniques d'Apollonios de Pergé</a> <img class='spip_logo spip_logo_right spip_logos' alt="" style='float:right' src='https://irem.unicaen.fr/local/cache-vignettes/L103xH150/arton172-cd884.jpg?1679662964' width='103' height='150' /> <div class='rss_texte'><div class="spip spip-block-center" style="text-align:center;">Section précédente : <a href='https://irem.unicaen.fr/spip.php?article166' class='spip_in'>Interprétation moderne des relations d'Apollonios</a></div><h3 class="spip">Le plan du Livre III et les outils utilisés.</h3><p style="text-indent:2em"; align=justify>Le Livre III du <i>Traité des Coniques</i> présente une structure et une organisation logique assez simple.</p> <p style="text-indent:2em"; align=justify>En modernisant le propos, on peut résumer les six parties du Livre III de la manière suivante. Ce découpage ainsi que les sous-titres sont de notre fait et ne figurent pas dans le texte d'Apollonios.</p> <p style="text-indent:2em"; align=justify>La première partie rassemble les propositions 1 à 15 sous le titre « <i>Les triangles</i> ». Elle concerne des égalités d'aires de triangles et quadrilatères formés par les ordonnées d'un point d'une conique relativement à deux repères. On y utilise le groupe des propositions 42 à 45 du Livre I. Elles sont résumées plus loin lors de l'étude détaillée de cette partie.</p> <p style="text-indent:2em"; align=justify>La deuxième partie comporte les propositions 16 à 29 sous le titre « <i>Les puissances</i> ». Elle est consacrée aux propriétés des puissances que nous appellerons directionnelles d'un point par rapport à une conique. On y fait appel à la première partie « <i>Les triangles</i> » du Livre III. On trouve aussi des utilisations de I.21 (deuxième forme des relations caractéristiques de l'ellipse et de l'hyperbole), de I.60 (construction et définition des hyperboles conjuguées) et de II.11 (constance du produit des distances d'un point d'une hyperbole aux asymptotes dans la direction d'un diamètre).</p> <p style="text-indent:2em"; align=justify>La troisième partie rassemble les propositions 30 à 40 sous le titre « <i>Le pôle et la polaire</i> ». On y trouve la propriété générale de la division établie par une conique sur une sécante entre le pôle et sa polaire. On y utilise la première partie « <i>Les triangles</i> » du Livre III ainsi que des propriétés des livres précédents, principalement : I.20 et I.21 (deuxième forme des relations caractéristiques des coniques), I.37 et I.38 (propriété caractéristique du pied de la tangente en un point sur un diamètre ou sur le diamètre conjugué), II.8 (symétrie oblique des asymptotes) et II.12 (constance du produit des distances d'un point d'une hyperbole aux asymptotes dans des directions données).</p> <p style="text-indent:2em"; align=justify>La quatrième partie réunit les propositions 41 à 44 sous le titre « <i>Les tangentes</i> ». Elle traite de certaines propriétés des tangentes à une conique. On ne fait appel à aucune des propositions précédentes du Livre III, mais sont utilisées : I.35, I.37 et I.38 (propriété caractéristique du pied de la tangente en un point sur un diamètre ou sur le diamètre conjugué) et II.12 (constance du produit des distances d'un point d'une hyperbole aux asymptotes dans des directions données).</p> <p style="text-indent:2em"; align=justify>La cinquième partie comporte les propositions 45 à 52 sous le titre « <i>Les foyers</i> ». Elle concerne la définition et les principales propriétés des foyers, y compris la définition bifocale des ellipses et hyperboles. On y utilise principalement la proposition 42 de la partie précédente « Les tangentes » du Livre III.</p> <p style="text-indent:2em"; align=justify>Enfin la sixième partie réunit les propositions 53 à 56 sous le titre « <i>La génération</i> ». Elle est consacrée à la génération ponctuelle et/ou tangentielle des coniques, c'est-à-dire à la construction point par point d'une conique dont on connaît deux points avec leurs tangentes, et un autre point. Elle fait surtout appel aux propositions 16, 18, 20 de la deuxième partie « <i>Les puissances</i> » du Livre III.</p> <p style="text-indent:2em"; align=justify>Dans ce qui précède nous n'avons fait mention que des énoncés non triviaux, c'est-à-dire autres que les propositions supposées bien connues des Livres I et II (propriétés des diamètres et asymptotes, relations caractéristiques des coniques, etc...) dont on a pu trouver un résumé plus haut. Les références internes à chaque partie ne sont pas non plus indiquées.</p> <div class="spip spip-block-center" style="text-align:center;">Section suivante : <a href='https://irem.unicaen.fr/spip.php?article225' class='spip_in'>Le contenu mathématique du Livre III : les triangles (prop. 1 à 15)</a></div></div> Interprétation moderne des relations d'Apollonios https://irem.unicaen.fr/spip.php?article166 https://irem.unicaen.fr/spip.php?article166 2022-12-18T10:00:00Z text/html fr TrotouxD <p>Section précédente : résumé du Livre II <br class='autobr' /> Interprétation moderne des relations d'Apollonios <br class='autobr' /> L'étude des coniques se réduit maintenant à un savoir minimum. Les coniques à centre, en particulier, sont systématiquement étudiées dans le repère orthogonal défini sur l'axe focal avec le centre comme origine. Des calculs élémentaires établissent que les coordonnées repérant un point d'une ellipse ou d'une hyperbole satisfont les équations ou . On sait aussi interpréter les nombres figurant aux dénominateurs. Le « (...)</p> - <a href="https://irem.unicaen.fr/spip.php?rubrique42" rel="directory">Groupe de lecture des Coniques d'Apollonios de Pergé</a> <img class='spip_logo spip_logo_right spip_logos' alt="" style='float:right' src='https://irem.unicaen.fr/local/cache-vignettes/L103xH150/arton166-f328f.jpg?1679662964' width='103' height='150' /> <div class='rss_texte'><div class="spip spip-block-center" style="text-align:center;">Section précédente : <a href='https://irem.unicaen.fr/spip.php?article165' class='spip_in'>résumé du Livre II</a></div><h3 class="spip">Interprétation moderne des relations d'Apollonios</h3><p style="text-indent:2em"; align=justify>L'étude des coniques se réduit maintenant à un savoir minimum. Les coniques à centre, en particulier, sont systématiquement étudiées dans le repère orthogonal défini sur l'axe focal avec le centre comme origine. Des calculs élémentaires établissent que les coordonnées $$$ (x , y)$$$ repérant un point d'une ellipse ou d'une hyperbole satisfont les équations $$$ \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$$$ ou $$$ \frac{x^2}{a^2} - \frac{y^2}{b^2} = 1$$$. On sait aussi interpréter les nombres figurant aux dénominateurs. Le « $$$a$$$ » mesure le demi-axe focal ; le « $$$b$$$ » mesure le petit axe de l'ellipse ou s'il s'agit d'une hyperbole, le segment de tangente allant du sommet de l'axe jusqu'au point de sa rencontre avec l'une des asymptotes. Tous ces éléments sont placés sur les figures (voir fig. IIc 1 pour l'ellipse et fig. IIc 2 pour l'hyperbole).</p> <dl class='spip_document_539 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L409xH240/apo_figiic01-e1193.png?1679676259' width='409' height='240' alt='' /></dt> <dt class='crayon document-titre-539 spip_doc_titre' style='width:350px;'><strong>Fig IIc 1</strong></dt> </dl><dl class='spip_document_540 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH375/apo_figiic02-c9e91.png?1679676259' width='500' height='375' alt='' /></dt> <dt class='crayon document-titre-540 spip_doc_titre' style='width:350px;'><strong>Fig IIc 2</strong></dt> </dl><p style="text-indent:2em"; align=justify>Une expression des constantes $$$a$$$ et $$$b$$$ en fonction des constantes apolloniennes $$$cd$$$ et $$$ct$$$ est possible non seulement pour ce repère orthogonal, mais aussi pour tous les repères reposant sur les axes employés par Apollonios, c'est-à-dire, pour les repères dont les axes sont construits sur un diamètre et sur la tangente à l'un de ses sommets. Le qualificatif d'apollonien permet de distinguer ces repères et de simplifier le discours. Néanmoins, le lecteur gardera à l'esprit qu'il s'agit là d'un anachronisme commode, car le concept de repère n'appartient pas à l'époque d'Apollonios. Une translation d'un repère apollonien au centre de la conique, donne une repère formé sur les diamètres conjugués en raison du parallélisme de la tangente et du diamètre conjugué qui est aussi le second diamètre de l'ellipse. Le texte suivant se propose de montrer que la forme des équations réduites se maintient dans tout repère formé de deux diamètres conjugués. Auparavant, il se propose d'établir les relations entre les constantes « $$$a$$$ » et « $$$b$$$ », augmentées de quelques autres, et les constantes apolloniennes $$$ct$$$ et $$$cd$$$ et de montrer qu'elles sont indépendantes du repère formé sur deux axes conjugués.</p> <p style="text-indent:2em"; align=justify>Établir les relations entre les différentes constantes suppose que les équations réduites existent dans tout repère formé de deux diamètres conjugués. Sous cette hypothèse, l'entreprise n'est pas très difficile et se réduit à un simple jeu d'écriture. Elle repose sur la transformation de l'équation apollonienne lors d'une translation, au centre de la conique, du repère apollonien, construit sur le diamètre $$$AA'$$$ et sur la tangente au sommet $$$A$$$. Les éléments de la démonstration sont représentés sur les figures. Laissons de côté l'hyperbole qui nous mènerait à une répétition des arguments et considérons seulement l'ellipse. Les coordonnées d'un point courant P forment le couple $$$(x + a , y)$$$ dans le repère apollonien et le couple $$$(x , y)$$$ dans le repère utilisant le même jeu d'axes mais rapporté au centre, autrement dit dans le repère formé de deux diamètres conjugués.</p> <p align=justify>Dans le premier repère, l'équation d'Apollonios s'écrit $$$ y^2 = cd \cdot (a + x) – \frac{cd}{ct} \cdot (a + x)^2$$$. D'où,</p> <center> $$$ y^2 = cd \cdot a + cd\cdot x - \frac{cd}{ct} \cdot a^2 - 2a \cdot x \cdot \frac{cd}{ct} - x^2 \cdot \frac{cd}{ct}$$$. </center> <p align=justify>En utilisant, l'égalité $$$ ct = 2a$$$, il vient</p> <center> $$$ y^2 = \frac{cd \cdot ct}{4} - x^2 \cdot \frac{cd}{ct} \Leftrightarrow \frac{x^2}{\left( \frac{ct}{2} \right)^2} + \frac{y^2}{\frac{cd}{2} \times \frac{ct}{2}} = 1$$$. </center><p align=justify>Par identification avec $$$ \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$$$, on obtient</p> <center> $$$a = \frac{ct}{2}$$$ et $$$ b^2 = \frac{cd \cdot ct}{4}$$$. </center><p align=justify>D'où, $$$ ct = 2a$$$ (on le savait déjà) et $$$ cd = \frac{2b^2}{a}$$$ .</p> <p>En formant la proportion $$$ \frac{cd}{b} = \frac{2b}{a}$$$, la dernière égalité induit une construction simple de $$$ cd$$$.</p> <dl class='spip_document_541 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH315/apo_figiic03-b8b12.png?1679676259' width='500' height='315' alt='' /></dt> <dt class='crayon document-titre-541 spip_doc_titre' style='width:350px;'><strong>Fig IIc 3</strong></dt> </dl><p align=justify>Sur la figure IIc 3 le côté droit est reporté sur la tangente au sommet. Apollonios aurait choisi de le reporter sur une perpendiculaire au diamètre en l'un de ses sommets pour former un vrai rectangle de dimensions $$$x$$$ et $$$cd$$$, ou, en termes apolloniens, il forme le rectangle $$$AH \cdot HP$$$ en tant que surface qu'il compare à la surface carrée PH. La découverte de rapports irrationnels lui interdisait de passer d'une comparaison toujours licite entre des grandeurs géométriques à celle des nombres censés les mesurer, comme $$$x$$$ fois $$$cd$$$ et $$$ y^2$$$.</p> <p align=justify>Par ailleurs, l'égalité $$$ \frac{cd}{ct} = \frac{b^2}{a^2}$$$ permet une expression de l'excentricité $$$e$$$ d'une conique à centre en fonction des nombres $$$cd$$$ et $$$ct$$$.</p> <p>En effet, dans le cas de l'ellipse, $$$ \frac{cd}{ct} = \frac{b^2}{a^2} \Leftrightarrow \frac{ct - cd}{ct} = \frac{a^2 - b^2}{a^2} \Leftrightarrow \frac{ct - cd}{ct} = e^2$$$.</p> <p>Dans le cas de l'hyperbole, $$$ \frac{cd}{ct} = \frac{b^2}{a^2} \Leftrightarrow \frac{ct + cd}{ct} = \frac{a^2 + b^2}{a^2} \Leftrightarrow \frac{ct + cd}{ct} = e^2$$$.</p> <p style="text-indent:2em"; align=justify>Le cas de la parabole est plus simple. Son équation réduite dans un repère orthonormé porté par l'axe et la tangente au sommet est de la forme $$$ y^2 = 2p \cdot x$$$. Donc, $$$ cd = 2p$$$. Comme $$$p$$$ est le double de la distance focale $$$f$$$ dans ce repère, nous avons aussi $$$ cd = 4 f$$$.</p> <p>Dans un repère apollonien, seule l'égalité $$$ cd = 2p$$$ se conserve.</p> <h4 class="spip">Constructions simples du côté droit</h4><p style="text-indent:2em"; align=justify>Le paragraphe précédent à montré comment passer des grandeurs apolloniennes $$$ct$$$ et $$$cd$$$ aux constantes apparaissant dans les équations modernes. Celui-ci se propose de représenter le côté droit à partir des grandeurs données dans le texte d'Apollonios, donc, indépendamment des équations réduites modernes. Le dessin du côté transverse ne posant pas de difficulté, la suite ne concerne que celui du côté droit. La construction proposée s'appuie sur celle de la moyenne géométrique. La figure II.c 4 illustre la construction de l'égalité $$$ h^2 = x \times y$$$. En fait, il faut y voir deux constructions, l'une ayant la moyenne géométrique $$$h$$$ pour inconnue, l'autre, l'un des facteurs $$$x$$$ ou $$$y$$$. Dans la situation où l'inconnue est $$$h$$$, le cercle de diamètre $$$AB = x + y$$$ intercepte la perpendiculaire $$$PH$$$ en $$$P$$$ et nous donne $$$h$$$. Dans celle où $$$y$$$ et $$$h$$$ sont connues, c'est la perpendiculaire $$$PA$$$ à l'hypoténuse qui nous donne $$$x$$$ et le cercle est inutile. La représentation du côté droit demande seulement de connaître la dernière construction.</p> <dl class='spip_document_544 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L330xH216/apo_figiic04-b8b46.png?1679676259' width='330' height='216' alt='' /></dt> <dt class='crayon document-titre-544 spip_doc_titre' style='width:330px;'><strong>Fig IIc 4</strong></dt> </dl><p align=justify>Au préalable, rapportons les coordonnées d'un point du plan au repère construit sur un axe et sur la tangente à un sommet. Un point de la conique voit donc ses coordonnées satisfaire aux égalités apolloniennes $$$ y^2 = cd \cdot x - \frac{cd}{ct} \cdot x^2$$$ pour une l'ellipse et $$$ y^2 = cd \cdot x + \frac{cd}{ct} \cdot x^2$$$ pour une l'hyperbole. En particulier, les points de l'ellipse dont l'abscisse est $$$ \frac{ct}{2}$$$ , c'est-à-dire, les deux sommets du second diamètre, ont leurs coordonnées $$$ ( \frac{ct}{2} , y)$$$ qui vérifient l'égalité :</p> <center> $$$ y^2 = \frac{cd}{2} \times \frac{ct}{2}$$$. </center><p align=justify>C'est une moyenne géométrique. De même, les points de l'hyperbole dont l'abscisse est $$$ct$$$ ont leurs coordonnées $$$ (ct , y)$$$ qui vérifient l'égalité $$$ y^2 = 2ct \times cd$$$. C'est une autre moyenne géométrique.</p> <p style="text-indent:2em"; align=justify>Dans l'ellipse, $$$ \frac{ct}{2}$$$ et $$$ y = OB^{\,*}$$$ sont connus. En reportant $$$OB^{\,*}$$$ sur la perpendiculaire, en $$$O$$$, au diamètre $$$AB$$$, la construction de la moyenne géométrique détermine le demi-côté droit sur $$$(AB)$$$. Un cercle de centre $$$O$$$ reporte le côté droit sur le diamètre conjugué et deux parallèles suffiraient à le reporter sur la tangente au sommet (voir figure IIc 5).</p> <dl class='spip_document_545 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH271/apo_figiic05-2c6a9.png?1679676259' width='500' height='271' alt='' /></dt> <dt class='crayon document-titre-545 spip_doc_titre' style='width:350px;'><strong>Fig IIc 5</strong></dt> </dl><p style="text-indent:2em"; align=justify>Dans l'hyperbole, $$$ 2 \cdot ct$$$ et $$$y$$$ sont connus, l'un comme symétrique de $$$A$$$ par rapport à $$$B$$$, l'autre en traçant la parallèle à la tangente au sommet. En reportant $$$y$$$ sur la perpendiculaire, en $$$ x = ct$$$, au diamètre $$$AB$$$, la construction de la moyenne géométrique détermine le demi-côté droit sur $$$(AB)$$$ comme pour l'ellipse. Le côté droit se reporte ensuite sur l'ordonnée $$$y$$$, puis, à l'aide d'une parallèle au diamètre sur la tangente au sommet (voir fig. IIc 6).</p> <dl class='spip_document_546 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH287/apo_figiic06-d1daa.png?1679676259' width='500' height='287' alt='' /></dt> <dt class='crayon document-titre-546 spip_doc_titre' style='width:350px;'><strong>Fig IIc 6</strong></dt> </dl><p style="text-indent:2em"; align=justify>La représentation du côté droit sur la figure d'une parabole procède d'une construction entièrement différente bien que le repère soit toujours formé d'un diamètre et de la tangente en son sommet. Les coordonnées d'un point courant sur la courbe satisfont donc à l'équation apollonienne $$$ y^2 = cd \cdot x$$$ et l'ordonnée du point d'abscisse $$$cd$$$ vérifie l'égalité $$$ y^2 = cd^2$$$. C'est toujours une moyenne géométrique mais sans grandeur connue à priori. Un changement de méthode s'impose et l'égalité $$$ x = y = cd$$$ suggère la construction d'un losange. Toute ordonnée étant parallèle à la tangente au sommet, une bissectrice de l'angle formé par la tangente au sommet et le diamètre rencontre la courbe en un point $$$P$$$ qui avec le sommet $$$A$$$ forme un losange dont les côtés ont même longueur que le côté droit (cf fig. IIc 7).</p> <dl class='spip_document_547 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L365xH387/apo_figiic07-dd5ff.png?1679676259' width='365' height='387' alt='' /></dt> <dt class='crayon document-titre-547 spip_doc_titre' style='width:350px;'><strong>Fig IIc 7</strong></dt> </dl><h4 class="spip">Stabilité des équations réduites</h4><p style="text-indent:2em"; align=justify>La première partie de ce texte a montré les relations existant entre les constantes d'Apollonios $$$cd$$$ et $$$ct$$$ et les nôtres. L'argumentation reposait sur le fait que les égalités $$$ \large \frac{x^2}{a^2} + \frac{y^2}{b^2} = \normalsize{1}$$$ et $$$ \large \frac{x^2}{a^2} - \frac{y^2}{b^2} = \normalsize{1}$$$ reliant les coordonnées $$$(x , y)$$$ d'un point d'une conique à centre, ont la propriété d'exister dans tout repère formé par deux axes conjugués. Ce paragraphe propose une démonstration de cette propriété en s'appuyant sur la proposition 21 du livre I dont les résultats sont une généralisation aux cas de l'ellipse et de l'hyperbole de la propriété métrique fondamentale du cercle, à savoir, $$$ PH^2 = AH \cdot HB$$$. Les égalités numérotées (1) et (2) résument sous une forme moderne ceux qui concernent l'ellipse. Cette démonstration s'accompagne aussi d'un dessin définissant les différents éléments de l'argumentation (voir fig IIc 8).</p> <dl class='spip_document_548 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L416xH348/apo_figiic08-e42fa.png?1679676259' width='416' height='348' alt='' /></dt> <dt class='crayon document-titre-548 spip_doc_titre' style='width:350px;'><strong>Fig IIc 8</strong></dt> </dl> <p>$$$ \large \frac{{HP}^2}{\overline{AH} \cdot \overline{HB}} = \large \frac {{O{A}^*}^2}{{OA}^2} = \large \frac{cd}{ct} \qquad \normalsize{(1)}$$$</p> <p>$$$ \large \frac{{{H}^*P}^2}{\overline{{A}^*{H}^*} \cdot \overline{{H}^*{B}^*}} = \large \frac {{OA}^2}{{O{A}^*}^2} = \large \frac{{cd}^*}{{ct}^*} \qquad \normalsize{(2)}$$$</p> <p>Le point P formant le quatrième sommet d'un parallélogramme, nous obtenons les égalités suivantes :</p> <p>$$$ {P{H}^*}^2 = HO^2 = (\overline{AO} - \overline{AH})(\overline{BO} - \overline{BH} )$$$</p> <p>Soit : $$$ {P{H}^*}^2 = \overline{AO} \cdot \overline{OB} - \overline{AO} \cdot \overline{BH} - \overline{AH} \cdot \overline{BO} + \overline{AH} \cdot \overline{BH}$$$</p> <p>Ou encore : $$$ {P{H}^*}^2 = \overline{AO} \cdot \overline{BO} - \overline{AO} \cdot (\overline{BH} + \overline{HA}) + \overline{AH} \cdot \overline{BH}$$$, car $$$ \overline{BO} = - \overline{AO}$$$.</p> <p>C'est-à-dire : $$$ {P{H}^*}^2 = - AO^2 - 2\overline{AO} \cdot \overline{OA} + \overline{AH} \cdot \overline{BH}$$$, car $$$ \overline{BA} = 2\overline{OA}$$$.</p> <p>Soit : $$$ {P{H}^*}^2 = AO^2 + \overline{AH} \cdot \overline{BH}$$$.</p> <p>Ou : $$$ \large \frac{{P{H}^*}^2}{OA^2} = 1 + \large \frac{\overline{AH} \cdot \overline{BH}}{OA^2}$$$.</p> <p>Soit : $$$ \large \frac{{P{H}^*}^2}{OA^2} = 1 - \large \frac{{HP}^2}{{O{A}^*}^2}$$$ , d'après l'égalité $$$ (1)$$$ car $$$ \overline{BH} = - \overline{HB}$$$.</p> <p>Et finalement : $$$ \large \frac{{P{H}^*}^2}{{OA}^2} + \frac{{HP}^2}{{O{A}^*}^2} = \normalsize{1}$$$ c'est-à-dire, $$$ \large \frac{x^2}{a^2} + \frac{y^2}{b^2} = \normalsize{1}$$$.</p> <p align=justify>Ce résultat est prouvé à partir de $$$ PH^{\,*}$$$ et en utilisant l'égalité $$$(1)$$$. Il pourrait se démontrer en partant de $$$PH$$$. Le raisonnement conserverait les mêmes articulations mais il considérerait les grandeurs de l'axe conjugué ($$$A^{\,*}B^{\,*}$$$) et l'égalité $$$(2)$$$ se substituerait à l'égalité $$$(1)$$$. Le lecteur pourra observer que la relation $$$ \large \frac{x^2}{a^2} + \frac{y^2}{b^2} = \normalsize{1}$$$ fait jouer un rôle parfaitement symétrique aux deux axes. Celui des abscisses est donc arbitraire et pourrait ne pas être le grand axe.</p> <p style="text-indent:2em"; align=justify>La stabilité des équations réduites liant les coordonnées d'un point d'une ellipse est maintenant démontrée dans tous les repères formés de deux diamètres conjugués. Le même résultat existe pour l'hyperbole et il se démontre de la même manière, mais en utilisant les relations de la proposition 21 qui, sous une forme moderne, se résument dans les égalités $$$(1')$$$ et $$$(2')$$$. Comme pour l'ellipse, le dessin annexe définit les autres éléments de la démonstration (cf. fig. IIc 9).</p> <dl class='spip_document_549 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L462xH315/apo_figiic09-f897a.png?1679676259' width='462' height='315' alt='' /></dt> <dt class='crayon document-titre-549 spip_doc_titre' style='width:350px;'><strong>Fig IIc 9</strong></dt> </dl> <p>$$$ \large \frac{{HP}^2}{\overline{AH} \cdot \overline{BH}} = \large \frac {{O{A}^*}^2}{{OA}^2} = \large \frac{cd}{ct} \qquad \normalsize{(1')}$$$</p> <p>$$$ \large \frac{{{H}^*P}^2}{\overline{{A}^*{H}^*} \cdot \overline{{B}^*{H}^*}} = \large \frac {{OA}^2}{{O{A}^*}^2} = \large \frac{{cd}^*}{{ct}^*} \qquad \normalsize{(2')}$$$</p> <p>Le raisonnement est en tout point identique au précédent, mais les propositions $$$(1')$$$ et $$$(2')$$$ entraînent que :</p> <p>$$$ 1 + \large \frac{\overline{AH} \cdot \overline{BH}}{{OA}^2} = 1 + \large \frac{{HP}^2}{{O{A}^*}^2}$$$ et donc, que :</p> <p>$$$ \large \frac{{P{H}^*}^2}{{OA}^2} - \frac{HP^2}{{O{A}^*}^2} = \normalsize{1} \Leftrightarrow \large \frac{x^2}{a^2} - \frac{y^2}{b^2} = \normalsize{1}$$$.</p> <h4 class="spip">Le diamètre conjugué dans l'hyperbole</h4><p style="text-indent:2em"; align=justify>Le diamètre conjugué au côté transverse joue donc un rôle important dans l'étude des coniques. Nous avons choisi de le noter $$${ct}^*$$$ pour traduire l'expression <i>côté transverse conjugué</i>. Il est aussi, dans l'hyperbole comme dans l'ellipse, la longueur que, dans les équations réduites $$$ \large \frac{x^2}{a^2} + \frac{y^2}{b^2} = \normalsize{1}$$$ et $$$ \large \frac{x^2}{a^2} - \frac{y^2}{b^2} = \normalsize{1}$$$, nous notons $$$2b$$$. Toutefois, le diamètre conjugué $$${ct}^*$$$ n'a pas toujours sur la figure d'une hyperbole l'évidence qu'il a sur celle d'une ellipse. Il se voit bien quand les asymptotes sont données, car, en venant couper la tangente à l'un des sommets de l'axe, elles interceptent un segment de la longueur du diamètre conjugué. Sans les asymptotes, le diamètre conjugué n'est plus repérable. Il peut se construire à l'aide de la définition donnée par Apollonios, à savoir l'égalité $$$ cd \cdot ct = {ct^*}^2$$$ de laquelle, puisque $$$ {ct}^* = 2b$$$, on déduit l'égalité $$$ \large \frac{cd}{2} \cdot \frac{ct}{2} = \normalsize{b^2}$$$. Sa construction est donc à nouveau celle d'une moyenne géométrique.<br class='autobr' /> Le texte suivant et la figure qui l'accompagne en proposent une construction sur la tangente au sommet B, quand les grandeurs connues sont le côté droit $$$cd$$$ et le côté transverse $$$ct$$$ (cf. fig IIc 10).</p> <dl class='spip_document_550 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L371xH257/apo_figiic10-93718.png?1679676259' width='371' height='257' alt='' /></dt> <dt class='crayon document-titre-550 spip_doc_titre' style='width:350px;'><strong>Fig IIc 10</strong></dt> </dl><p align=justify>À partir du sommet $$$B$$$, un arc de cercle reporte la longueur $$$ \large \frac{cd}{2}$$$ sur le grand axe, puis le cercle de diamètre $$$ \large \frac{cd}{2} + \frac{ct}{2}$$$ intercepte la perpendiculaire réalisant la moyenne géométrique de $$$ \frac{cd}{2}$$$ et de $$$ \large \frac{ct}{2}$$$, c'est-à-dire, en un point distant de $$$b$$$ du sommet $$$B$$$. Un arc de cercle reporte symétriquement la longueur $$$b$$$ sur la tangente au sommet. En plus de la longueur $$$2b$$$, ces deux points et le centre nous donnent les deux asymptotes.</p> <h4 class="spip">Résumé</h4><p style="text-indent:2em"; align=justify>Pour la lecture et la compréhension du texte d'Apollonios, aucun des résultats précédents n'est vraiment nécessaire car l'étude faite par Apollonios se suffit à elle-même. Ils ne sont donnés que pour jeter un pont entre la manière moderne de voir les coniques et celle d'Apollonios, et afin de ne pas se sentir trop ignorant à la lecture d'énoncés formulant une mathématique d'un autre temps.</p> <p style="text-indent:2em"; align=justify>La suite propose un résumé des propriétés précédentes et de quelques autres. L'ensemble pouvant former un vade-mecum du lecteur d'Apollonios.</p> <p align=justify>Les grandeurs $$$a$$$ et $$$b$$$, des équations $$$ \large \frac{x^2}{a^2} + \frac{y^2}{b^2} = \normalsize{1}$$$ et $$$ \large \frac{x^2}{a^2} - \frac{y^2}{b^2} = \normalsize{1}$$$, l'excentricité $$$e$$$ et la distance focale $$$f$$$ sont reliés au côté droit $$$cd$$$ et au côté transverse $$$ct$$$ par les égalités suivantes :</p> <ul class="spip"><li> $$$ ct = 2a$$$ ;</li><li> $$$ cd = 2p$$$ pour la parabole. Lorsque le diamètre est l'axe focal, $$$cd = 4 \times f$$$ ;</li><li> $$$ cd = \large \frac{2b^2}{a}$$$ pour les coniques à centre. Lorsque le diamètre est l'axe focal, la longueur $$$cd$$$ est aussi la distance entre les deux points de la courbe, symétriques par rapport au même foyer. Ainsi, la connaissance de l'une des grandeurs $$$cd$$$ ou $$$f$$$ permet la construction de l'autre ;</li><li> $$$ \large \frac{cd}{ct} = \frac{b^2}{a^2}$$$.</li></ul><p style="text-indent:2em"; align=justify>La <strong>distance</strong> $$$c$$$ des <strong>foyers</strong> au centre d'une conique vérifie les égalités $$$ c^2 = a^2 + b^2$$$ pour l'hyperbole et $$$ c^2 = a^2 - b^2$$$ pour l'ellipse et pour ces deux coniques, les foyers sont les points dont l'ordonnée relative à l'axe focal mesure $$$ \large \frac{cd}{2}$$$.</p> <p style="text-indent:2em"; align=justify>Le quadruple de la <strong>distance focale</strong> d'une <strong>parabole</strong> est déterminée par l'abscisse d'un point commun à la courbe et à une bissectrice de l'angle que forment l'axe focal et la tangente au sommet. Cette abscisse valant $$$cd$$$, la distance focale vaut $$$ \large \frac{cd}{4}$$$.</p> <ul class="spip"><li> $$$ \large {\frac{ct - cd}{ct}} = \normalsize {e^2}$$$ pour l'ellipse, où $$$0$$$ < $$$e$$$ < $$$1$$$ ;</li><li> $$$ \large {\frac{ct + cd}{ct}} = \normalsize {e^2}$$$ pour l'hyperbole où $$$1$$$ < $$$e$$$ ;</li><li> pour la parabole, $$$ e = 1$$$.</li></ul><p style="text-indent:2em"; align=justify>La <strong>directrice</strong> d'une <strong>parabole</strong> est la perpendiculaire à l'axe focal passant par le symétrique du foyer par rapport au sommet. Celle des <strong>coniques</strong> à <strong>centre</strong> est éloignée de $$$ \large\frac{a^2}{c}$$$ du centre. Géométriquement, on obtient la directrice en construisant son pied sur l'axe focal qui est est le conjugué harmonique du foyer le plus proche par rapport aux deux sommets du diamètre.</p> <p style="text-indent:2em"; align=justify>Les lignes suivantes rassemblent des résultats d'un usage constant :</p> <p>Les <strong>diamètres</strong> coupent les ordonnées en leur milieu (par définition).</p> <p>Les <strong>ordonnées</strong> relatives à un même diamètre sont parallèles à la tangente au(x) sommet(s) de ce diamètre</p> <p>Les <strong>diamètres conjugués</strong> ou, autrement dit, les côtés transverses conjugués ne sont définis que pour les coniques à centre. Ils sont parallèles aux ordonnées relatives au diamètre.</p> <p>Les <strong>diamètres</strong> et les <strong>diamètres conjugués</strong> passent par le centre de la conique. Ils forment un repère par rapport auquel les équations de l'ellipse et de l'hyperbole sont réduites et respectivement $$$ \large \frac{x^2}{a^2} + \frac{y^2}{b^2} = \normalsize{1}$$$ et $$$ \large \frac{x^2}{a^2} - \frac{y^2}{b^2} = \normalsize{1}$$$.</p> <p>Les <strong>diamètres conjugués</strong> s'accompagnent d'un côté droit conjugué. Leurs longueurs respectives $$${ct}^*$$$ et $$${cd}^*$$$ sont déterminées par les égalités $$${{ct}^*}^2 = cd \cdot ct$$$ et $$$ {ct}^2 = {cd}^* \cdot {ct}^*$$$. Ensemble, ils définissent une <strong>conique</strong> à centre dite <strong>conjuguée</strong> de la conique définie par le couple $$$(ct,cd)$$$. Les égalités précédentes montrent que $$$ {a}^* = b$$$ et $$$ {b}^* = a$$$. L'ellipse et sa conjuguée forment une seule courbe, car l'équation réduite est symétrique. En revanche, et bien qu'elles partagent les mêmes asymptotes, l'hyperbole se distingue de sa conjuguée.</p> <p>Les <strong>diamètres</strong> de la <strong>parabole</strong> sont parallèles entre eux.</p> <p>Les <strong>asymptotes</strong> d'une hyperbole passent par le centre de la conique. Elles rencontrent les tangentes aux sommets du diamètre en des points éloignés d'une longueur $$$b$$$ du sommet, définie par l'égalité $$$ {b}^2 = \large \frac{ct}{2} \times \frac{cd}{2}$$$. Le nombre $$$b$$$ est aussi celui de l'équation $$$ \large \frac{x^2}{a^2} - \frac{y^2}{b^2} = \normalsize{1}$$$.</p> <p>Les <strong>diamètres conjugués</strong> ont pour longueur le nombre $$$2b$$$ des équations $$$ \large \frac{x^2}{a^2} \pm \frac{y^2}{b^2} = \normalsize{1}$$$. C'est le second diamètre dans l'ellipse. Dans l'hyperbole, il a même longueur que le segment de tangente au sommet intercepté par les asymptotes.</p> <div class="spip spip-block-center" style="text-align:center;">Section suivante : <a href='https://irem.unicaen.fr/spip.php?article172' class='spip_in'>Plan du Livre III</a></div></div> Résumé du Livre II des Coniques d'Apollonios https://irem.unicaen.fr/spip.php?article165 https://irem.unicaen.fr/spip.php?article165 2022-12-17T14:42:00Z text/html fr TrotouxD <p>section précédente : Résumé du Livre I <br class='autobr' /> Résumé du Livre II <br class='autobr' /> Le Livre II ne considère plus les coniques dans l'espace mais comme des figures planes ayant des propriétés métriques caractéristiques. Il est consacré d'une part aux propriétés des asymptotes aux hyperboles, et d'autre part aux constructions des diamètres, axes, centres et tangentes à des coniques données. Le Livre II utilise essentiellement les relations entre ordonnées et abscisses, exposées aux propositions 11, 12, 13, 20 et 21 du Livre I. On a (...)</p> - <a href="https://irem.unicaen.fr/spip.php?rubrique42" rel="directory">Groupe de lecture des Coniques d'Apollonios de Pergé</a> <img class='spip_logo spip_logo_right spip_logos' alt="" style='float:right' src='https://irem.unicaen.fr/local/cache-vignettes/L103xH150/arton165-c15d2.jpg?1679662964' width='103' height='150' /> <div class='rss_texte'><div class="spip spip-block-center" style="text-align:center;">section précédente : <a href='https://irem.unicaen.fr/spip.php?article151' class='spip_in'>Résumé du Livre I</a></div><h3 class="spip">Résumé du Livre II</h3><p align=justify>Le Livre II ne considère plus les coniques dans l'espace mais comme des figures planes ayant des propriétés métriques caractéristiques. Il est consacré d'une part aux propriétés des asymptotes aux hyperboles, et d'autre part aux constructions des diamètres, axes, centres et tangentes à des coniques données. Le Livre II utilise essentiellement les relations entre ordonnées et abscisses, exposées aux propositions 11, 12, 13, 20 et 21 du Livre I. On a vu, dans notre commentaire du Livre I, que ces relations correspondent aux écritures suivantes, où $$$cd$$$ désigne le <i>côté droit</i> ou <i>paramètre</i>, et $$$ ct$$$ le <i>côté transverse</i> ou <i>diamètre</i> :</p> <p>pour la parabole : $$$ y^2 = x \times cd$$$ ;</p> <p>pour l'hyperbole : $$$ y^2 = x \times cd + (cd \times ct) \cdot \left ( \frac{x}{ct} \right )^2$$$ ou $$$ \frac {y^2}{x \times (x + ct)} = \frac{cd}{ct}$$$ ;</p> <p>pour l'ellipse : $$$ y^2 = x \times cd - (cd \times ct) \cdot \left ( \frac{x}{ct} \right )^2$$$ ou $$$ \frac {y^2}{x \times (ct - x)} = \frac{cd}{ct}$$$.</p> <p style="text-indent:2em"; align=justify>La caractérisation du pied de la tangente comme conjugué harmonique du pied de l'ordonnée par rapport aux sommets est une autre propriété très usitée dans le Livre II. On la trouve dans les propositions 33, 34, 35, 36, 37 du Livre I et elle se traduit actuellement dans les écritures suivantes, où $$$a$$$ désigne l'abscisse du pied de la tangente sur le diamètre :</p> <p>pour la parabole : $$$ a = -x$$$ ;</p> <p>pour l'hyperbole, l'ellipse ou le cercle : $$$ \left \lvert x \pm \frac{ct}{2}\right \rvert \times \left \lvert a \pm \frac{ct}{2} \right \rvert = \left ( \frac{ct}{2} \right )^2$$$ ou $$$ \frac {y^2}{ \left (x \pm \frac{ct}{2} \right ) \times \left \lvert a \pm x \right \rvert}= \frac{cd}{ct}$$$.</p> <p style="text-indent:2em"; align=justify>Un grand nombre de propositions du Livre II utilise les propositions 46 à 51 du Livre I. Celles-ci permettent la découverte de nouveaux diamètres et ordonnées et la transformation correspondante des propriétés caractéristiques associées. Elles permettent de plus l'étude des hyperboles opposées (les deux branches de notre hyperbole) et des hyperboles conjuguées. Ces dernières ont été définies, à la soixantième et dernière proposition du Livre I : si on a une hyperbole de <i>côté droit</i> $$$cd$$$ et de <i>côté transverse</i> $$$ct$$$, alors l'hyperbole conjuguée a le même centre, échange ses abscisses et ordonnées avec l'hyperbole initiale, et possède un <i>côté droit</i> $$$ cd'$$$ et un <i>côté transverse</i> $$$ct'$$$ tels que : $$$ cd' \cdot ct' = (ct)^2$$$ et $$$ cd \cdot ct = (ct')^2$$$.</p> <p style="text-indent:2em"; align=justify>Le Livre II s'ouvre sur la définition d'une asymptote. Il s'agit d'une droite qui, conformément à l'étymologie, ne rencontre pas l'hyperbole. Elle passe par le centre et par un point situé sur la tangente au sommet d'un diamètre. Le carré de la distance de ce point au sommet est égal au quart de la "<i>figure</i>" (c'est-à-dire $$$ \frac{ct \times cd}{4}$$$). Les propositions suivantes démontrent que de telles droites ne rencontrent pas l'hyperbole, et que ce sont les meilleures possibles : au sens où toute droite issue du centre et comprise dans l'angle intérieur des asymptotes rencontre l'hyperbole. En outre les asymptotes sont les mêmes quel que soit le sommet choisi sur l'hyperbole. Apollonios décrit ensuite les propriétés des segments découpés sur une sécante par la courbe et les asymptotes : symétrie des asymptotes par rapport au diamètre, constance du produit des distances d'un point de la courbe aux asymptotes (c'est encore le quart de la figure). De même le produit des distances d'un point de l'hyperbole aux asymptotes sous deux directions données est constant.</p> <p style="text-indent:2em"; align=justify>La figure IIb1 et les égalités ci-dessous résument ces différentes propriétés.</p> <dl class='spip_document_534 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH403/apo_figiib01-f40b2.png?1679676260' width='500' height='403' alt='' /></dt> <dt class='crayon document-titre-534 spip_doc_titre' style='width:350px;'><strong>Fig IIb 1</strong></dt> </dl> <p><strong>Livre I</strong> :</p> <p>$$$ IM^2 = AI \cdot cd + (cd \cdot ct) \cdot \left ( \frac {AI}{ct} \right )^2$$$ (prop. 12) ;</p> <p>$$$ \frac{IM^2}{IB \cdot IA} = \frac{cd}{ct}$$$ (prop. 21).</p> <p><strong>Livre II</strong> :</p> <p>$$$ AD^2 = \frac{cd \times ct}{4}$$$ (prop. 1 et 22) ;</p> <p>$$$ MP = NQ$$$ (prop. 8) ;</p> <p>$$$ MP \cdot MQ = \frac{cd \times ct}{4}$$$ (prop. 10) ;</p> <p>$$$ RP \cdot RQ = A'C^2$$$ (prop. 11) ;</p> <p>$$$ RP = QS$$$ (prop. 16) ;</p> <p>$$$ AU = AV$$$ (prop. 19) ;</p> <p>$$$ MR \cdot MS = 2 \, CA'^2$$$ (prop. 23).</p> <p style="text-indent:2em"; align=justify>Avec ces propriétés, Apollonios démontre que la distance entre l'hyperbole et ses asymptotes peut être rendue plus petite que tout intervalle donné (proposition 14), ce que nous énoncerions : la distance entre l'hyperbole et ses asymptotes tend vers zéro. Cette proposition, l'une des rares de nature infinitésimale dans la géométrie grecque classique, n'est pas utilisée ailleurs dans le Livre II. Elle permet simplement de conclure que les asymptotes sont les droites les plus proches de l'hyperbole parmi celles qui ne la coupent pas.</p> <p style="text-indent:2em"; align=justify>Apollonios démontre ensuite (propositions 15 et 17) que ces asymptotes sont aussi celles de l'hyperbole opposée (l'autre branche de l'hyperbole) et celles des hyperboles conjuguées. La proposition 20 démontre que la définition (donnée plus haut) des hyperboles conjuguées ne dépend pas du diamètre choisi initialement.</p> <p style="text-indent:2em"; align=justify>Le groupe de propositions qui suit porte sur la situation des points d'intersection de deux tangentes ou de deux sécantes à diverses coniques. Les énoncés de ces propositions sont relativement simples mais les démonstrations, comme toutes celles de ce type dans la géométrie grecque, semblent liées à la considération de la figure. Apollonios démontre que dans la parabole, ou dans l'hyperbole, deux sécantes, dont les points de rencontre avec la conique ne s'entourent pas, se rencontrent à l'extérieur de la courbe (propositions 24 et 25). La figure IIb 2 illustre le cas de l'hyperbole quand les points ne s'entourent pas et la figure IIb 3 présente la situation où les points s'entourent.</p> <dl class='spip_document_535 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH378/apo_figiib02-0c74c.png?1679676260' width='500' height='378' alt='' /></dt> <dt class='crayon document-titre-535 spip_doc_titre' style='width:350px;'><strong>Fig IIb 2</strong></dt> </dl><dl class='spip_document_536 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH374/apo_figiib03-76b22.png?1679676260' width='500' height='374' alt='' /></dt> <dt class='crayon document-titre-536 spip_doc_titre' style='width:350px;'><strong>Fig IIb 3</strong></dt> </dl><p style="text-indent:2em"; align=justify>De même, deux tangentes à une ellipse sont soit parallèles soit sécantes du même côté que le centre par rapport à la droite joignant les points de contact (proposition 27). On a le même résultat pour l'hyperbole en considérant deux tangentes respectivement à chacune des branches opposées (proposition 31).</p> <p style="text-indent:2em"; align=justify>Enfin, on trouve dans ce Livre II un ensemble de résultats concernant les diamètres des coniques et leur construction à partir de sécantes ou de tangentes. Ainsi le parallélisme de la tangente au sommet avec la direction de la symétrie oblique par rapport au diamètre est plusieurs fois utilisé, ainsi que sa réciproque. Ceci permet de définir un diamètre comme l'ensemble des milieux de sécantes parallèles (propositions 28, 34, 36), et comme la droite joignant l'intersection de deux tangentes avec le milieu des points de contact (propositions 29, 30, 38, 39, 40). Ces propriétés sont démontrées pour toutes les coniques, et pour les deux branches d'une même hyperbole. Elles permettent aussi la construction des diamètres conjugués.</p> <p style="text-indent:2em"; align=justify>Le livre II s'achève sur d'autres problèmes de construction : trouver les diamètres, le centre, l'axe d'une conique donnée. Un diamètre est déterminé par les milieux de deux sécantes parallèles (proposition 44) ; le centre par l'intersection de deux diamètres déjà tracés (proposition 45) ; l'axe d'une parabole par un diamètre quelconque, une sécante perpendiculaire à ce diamètre : l'axe est parallèle au diamètre et passe par le milieu de la sécante perpendiculaire (proposition 46) ; l'axe d'une ellipse ou d'une hyperbole est déterminé par la médiatrice d'une corde joignant deux points à égale distance du centre (proposition 47).</p> <p style="text-indent:2em"; align=justify>Puis, la conique étant toujours donnée, il s'agit de tracer une tangente issue d'un point extérieur, et une tangente faisant un angle donné avec un diamètre. Cette dernière propriété revient à trouver dans une conique deux diamètres conjugués dont on donne l'angle. Apollonios donne les conditions, en particulier pour l'ellipse, que doit vérifier cet angle. La tangente issue d'un point extérieur est obtenue en faisant passer un diamètre par ce point et en en prenant le conjugué harmonique par rapport aux sommets. Cela donne le pied de l'ordonnée, dont la direction est la tangente au sommet (proposition 49).</p> <div class="spip spip-block-center" style="text-align:center;">section suivante : <a href='https://irem.unicaen.fr/spip.php?article166' class='spip_in'>Interprétation moderne des relations d'Apollonios</a></div></div> Résumé du Livre I des Coniques d'Apollonios https://irem.unicaen.fr/spip.php?article151 https://irem.unicaen.fr/spip.php?article151 2022-12-17T10:49:00Z text/html fr TrotouxD <p>Résumé du Livre I. <br class='autobr' /> Le premier livre des Coniques est introduit par une lettre à un certain Eudème, personnage inconnu par ailleurs. Il faut en fait la comprendre comme une préface, car après quelques propos amicaux, Apollonios y présente surtout les huit livres de son œuvre. <br class='autobr' /> Les résultats nouveaux ne sont pas dans les deux premiers livres mais ils composent la plupart des théorèmes du troisième. C'est là l'opinion d'Apollonios mais elle demande à être nuancée. Au commencement du premier livre, nous (...)</p> - <a href="https://irem.unicaen.fr/spip.php?rubrique42" rel="directory">Groupe de lecture des Coniques d'Apollonios de Pergé</a> <img class='spip_logo spip_logo_right spip_logos' alt="" style='float:right' src='https://irem.unicaen.fr/local/cache-vignettes/L103xH150/arton151-70748.jpg?1679662965' width='103' height='150' /> <div class='rss_texte'><h3 class="spip"> Résumé du Livre I.</h3><dl class='spip_document_765 spip_documents spip_documents_center'> <dt> <a href='https://irem.unicaen.fr/IMG/pdf/apo_iii-resume_livre_1.pdf' title='PDF - 721.7 ko' type="application/pdf"> <img src='https://irem.unicaen.fr/local/cache-vignettes/L52xH52/pdf-39070-1a839.png?1679676258' width='52' height='52' alt='PDF - 721.7 ko' /> </a> </dt> <dt class='crayon document-titre-765 spip_doc_titre' style='width:120px;'><strong>Résumé du livre I (version pdf)</strong></dt> </dl><p style="text-indent:2em"; align=justify> Le premier livre des <i>Coniques</i> est introduit par une lettre à un certain Eudème, personnage inconnu par ailleurs. Il faut en fait la comprendre comme une préface, car après quelques propos amicaux, Apollonios y présente surtout les huit livres de son œuvre.</p> <p style="text-indent:2em"; align=justify>Les résultats nouveaux ne sont pas dans les deux premiers livres mais ils composent la plupart des théorèmes du troisième. C'est là l'opinion d'Apollonios mais elle demande à être nuancée. Au commencement du premier livre, nous lisons que le cône se fonde sur une nouvelle définition. Il s'ensuit donc une exposition qui, eu égard à cette définition, est nouvelle. C'est pour nous comme pour les premiers lecteurs d'Apollonios la valeur principale des premiers livres. À nos yeux, il en est d'autres. La définition du cône, selon Apollonios, fait naître une seconde nappe à ce solide, impliquant, par là même, toute une série de résultats en relation avec la toute nouvelle seconde branche des hyperboles. De notre point de vue, il y a donc des résultats nouveaux. Apollonios les voyait peut être comme une généralisation à la seconde branche de résultats qui pouvaient être plus anciens. Il nous écrit, sans les préciser, que <i>des propriétés seront exposées d'une manière plus développée et plus générale que chez d'autres qui ont écrit sur la [même] matière</i>. Son choix de ne pas les reconnaître comme nouveaux est alors compréhensible. Mais cet argument vaut-il aussi pour les hyperboles conjuguées ? Elles induisent des résultats que, sans aucun doute possible, nous devons à Apollonios et à lui seul et qui ne sont le développement d'aucun autre. Pourtant, à y regarder de près, il s'agit encore de généraliser à de nouvelles hyperboles des résultats connus sur une seule branche. Notre jugement serait plus assuré si nous pouvions comparer l'œuvre d'Apollonios à celles de ses prédécesseurs. Nous verrions plus clairement qu'elle est la manière <i>plus développée et plus générale</i> de certaines propriétés. Hélas, bien peu de résultats relatifs à la science pré-apollonienne des coniques ont subsisté jusqu'à nous. Tout au plus quelques traces, tant l'œuvre d'Apollonios a rapidement et presque totalement éclipsé les acquis de ses prédécesseurs.</p> <p style="text-indent:2em"; align=justify>Les huit livres d'Apollonios font apparaître la première étude des coniques s'appuyant sur les cônes les plus généraux. Ils rassemblent aussi une somme de résultats qui ne seront pas égalés avant le XVIIème siècle, c'est-à-dire, pendant deux mille ans. Dès le premier livre, nous rencontrons des résultats profonds sur l'hyperbole complète, avec ses deux branches, sur les diamètres et les hyperboles conjugués, nous découvrons tous les axes possibles de chaque conique et même le moyen permettant le passage de relations métriques d'un axe à l'autre. Nous voyons donc naître une idée qui, bien plus tard, trouvera sa place dans les changements de repère.</p> <p style="text-indent:2em"; align=justify>Ce commentaire ne reprendra pas toutes les parties qui composent le premier livre mais se limitera à rappeler quelques différences essentielles entre le style d'Apollonios et le nôtre, à expliquer la formation de certaines des relations métriques tout en soulignant l'importance du cercle en arrière plan de cette étude, et enfin à traiter du cas des tangentes dans une géométrie qui ignorait tout des dérivées.</p> <p style="text-indent:2em"; align=justify>Sans entrer dans le détail des connaissances que le temps avait permis d'accumuler, la lettre-préface nous apprend que le contenu des quatre premiers livres, bien que considérable, n'était pas nouveau, et que leur originalité tiendrait surtout à une disposition différente des propositions et à une définition du cône, plus générale que la définition antérieure. Apollonios, en effet, propose de définir la surface conique par la mouvement d'une droite s'appuyant sur la circonférence d'un cercle, qui en sera la base, et passant par un point fixe, qui sera le sommet du cône (fig. IIa 1). Nous reconnaissons là une définition toujours actuelle et nous la lui devons. Qu'en était-il alors de la définition antérieure ? Nous la connaissons grâce aux <i>Éléments</i> d'Euclide qui furent rédigés un siècle, environ, avant l'ouvrage d'Apollonios.</p> <dl class='spip_document_521 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L363xH393/apo_figiia01c-e38ef.png?1679676260' width='363' height='393' alt='' /></dt> <dt class='crayon document-titre-521 spip_doc_titre' style='width:350px;'><strong>Figure IIa 1 Cône apollonien</strong></dt> </dl><p style="text-indent:2em"; align=justify>Le cône, lisons-nous, est engendré par la rotation d'un triangle rectangle autour de l'un de ses côtés perpendiculaires, la surface conique étant décrite par l'hypoténuse et le cercle de base par le troisième côté (fig. IIa 2). Ajoutons que cette définition ne prenait pas en compte la possibilité d'une seconde nappe, que, dans les <i>Éléments</i>, son objectif était de permettre l'évaluation du volume conique, et que, dans nos collèges, c'est elle que l'on enseigne et dans le même but.</p> <dl class='spip_document_764 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L363xH385/cone_euclidien_avec_cadre-2-eefc5.jpg?1688126846' width='363' height='385' alt='' /></dt> <dt class='crayon document-titre-764 spip_doc_titre' style='width:350px;'><strong>fig IIa 2 Cône euclidien</strong></dt> </dl><p style="text-indent:2em"; align=justify>L'étude des courbes engendrées par des sections planes du cône, s'appuyait, avant Apollonios, sur la définition d'un cône de révolution à une seule nappe. On sait aussi que les plans de coupe étaient particuliers, car toujours perpendiculaires à une génératrice et que les dénominations des différentes intersections, connues aujourd'hui sous les noms apolloniens de parabole, d'ellipse et d'hyperbole, provenaient d'une répartition des cônes de révolution en trois ensembles distincts. En vue de l'étude des coniques, seule la coupe d'un cône dont l'angle au sommet était droit, c'est-à-dire, dont l'angle compris entre deux génératrices diamétralement opposées sur le cercle de base était droit, proposait une parabole (fig. IIa 3). C'est bien pourquoi, avant Apollonios, elle portait le nom de section de cône rectangle. Quant à l'ellipse et à l'hyperbole, la première provenait seulement des cônes dont l'angle au sommet était aigu et portait de ce fait le nom de section de cône acutangle (fig. IIa 4) et la seconde, seulement des cônes dont l'angle au sommet était obtus et portait donc le nom de section de cône obtusangle (fig. IIa 5).</p> <p style="text-indent:2em"; align=justify>Toutes ces distinctions prendront fin avec Apollonios : tout plan de l'espace pourra donner une section conique, quel que soit le cône. Désormais, le genre de la conique ne dépend plus du cône mais de la position du plan qui coupe le cône. Précisément, suivant que ce plan est parallèle à la génératrice diamétralement opposée à celle passant par le sommet de la section, ou la rencontre en deçà du sommet ou au delà, on obtient dans le même ordre, une parabole, une ellipse ou une hyperbole, cette dernière devenant une section à deux branches. Le procédé est toujours d'actualité et figure même dans des dictionnaires comme le <i>Petit Larousse</i>.</p> <p style="text-indent:2em"; align=justify>Dans la période qui précède immédiatement la rédaction des <i>Coniques</i> par Apollonios, les sections sont toutes nommées « paraboles », et sont distinguées entre elles par les mentions « par excès », « par égalité » ou « par défaut » ; selon certains commentateurs, le mot parabole dériverait d'un verbe signifiant « appliquer exactement », le mot ellipse dériverait du verbe « souspasser », « être en manque » ou « faire défaut » et le mot hyperbole du verbe « surpasser ». Ces expressions font référence à certaines propriétés des trois courbes, obtenues par le procédé dit « d'application des aires ».</p> <center> <table border="0";align=center> <TR> <TH> <strong><dl class='spip_document_456 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L345xH188/section_de_cone_rectangle-55e3f.jpg?1679676260' width='345' height='188' alt='' /></dt> <dt class='crayon document-titre-456 spip_doc_titre' style='width:345px;'><strong>Figure IIa 3 Section de cône rectangle</strong></dt> </dl></strong> </TH> <TH> <strong><dl class='spip_document_457 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L156xH193/section_de_cone_acutangle-4ddd0.jpg?1679676260' width='156' height='193' alt='' /></dt> <dt class='crayon document-titre-457 spip_doc_titre' style='width:156px;'><strong>Figure IIa 4 Section de cône acutangle</strong></dt> </dl></strong> </TH> </TR> </table> </center><dl class='spip_document_458 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH176/section_de_cone_obtusangle-edb45.jpg?1679676260' width='500' height='176' alt='' /></dt> <dt class='crayon document-titre-458 spip_doc_titre' style='width:350px;'><strong>Figure IIa 5 Section de cône obtusangle</strong></dt> </dl><p style="text-indent:2em"; align=justify>Le premier livre des <i>Coniques</i> commence comme un chapitre de géométrie dans l'espace. Les premières propositions nous présentent les sections coniques à partir de l'intersection du cône avec des plans. La troisième proposition montre que la section peut être un triangle, les deux propositions suivantes qu'elle peut être un cercle, à savoir la quatrième en considérant une section parallèle à la base du cône et la cinquième par une section dite antiparallèle qui ne se distingue de la précédente que dans les cônes obliques et que nous devons donc à Apollonios. La neuvième proposition établit que toutes les autres sections ne seront jamais des cercles et enfin les onzième, douzième et treizième montrent que ces sections non circulaires, sont respectivement des paraboles, des ellipses ou des hyperboles. A partir de la quinzième proposition, la présence du cône n'étant plus nécessaire à la disposition des éléments du discours, il disparaît et l'étude des coniques se poursuit désormais dans le cadre mieux adapté de la géométrie plane.</p> <p style="text-indent:2em"; align=justify>La rédaction d'Apollonios respecte la structure et le style euclidien : énoncé de la propriété en termes généraux ; introduction à la démonstration au moyen d'une figure qui précise et nomme les éléments utiles au discours ; énonciation claire, dans le cadre défini par la figure, de la propriété à démontrer ; démonstration proprement dite et conclusion qui, comme chez Euclide, est souvent sous-entendue. Sa mathématique sous-entend souvent que le lecteur connaît les <i>Éléments</i> d'Euclide, en particulier le deuxième livre sur l' « algèbre » des grandeurs, le cinquième sur les rapports de grandeurs et le sixième sur les rapports de longueurs. Le lecteur, peu habitué aux mathématiques euclidiennes doit conserver à l'esprit que les grandeurs que nous comprenons comme des nombres, tant la notion de mesure nous est familière, n'en sont pas pour nos ancêtres. La substitution d'une mesure aux grandeurs suppose l'existence d'une mesure unité, commune à toutes les grandeurs de même nature. Or, on le savait bien, la diagonale d'un carré ne se compare pas en mesure avec son côté ; leur rapport n'est pas un nombre rationnel et donc il n'est pas un nombre pour nos ancêtres. Soyons humbles ! Ils ne deviendront rigoureusement des nombres que lors du XIXe siècle. C'est donc par un souci de rigueur que l'« algèbre » employée par Apollonios dans la conduite des calculs ajoute une démarche lente et complexe à l'usage peu commode d'une écriture ignorante des notations modernes. A nos yeux, des expressions tels « le rectangle de deux longueurs » est immédiatement traduite en produit de deux nombres et d'autres, tels les compositions de rapports en produits de fractions. Si donc, nous appliquons spontanément et avec raison des règles algébriques qui nous simplifient considérablement les calculs apolloniens, n'oublions pas cependant qu'elles sont anachroniques.</p> <p style="text-indent:2em"; align=justify>Apollonios utilise de manière récurrente quelques résultats du corpus euclidien, parmi lesquels, les cinquième et sixième propositions du livre II des <i>Éléments</i> et la vingt-troisième du livre VI. Ces trois propositions interviennent lors des manipulations algébriques sur les grandeurs, celle du livre VI lui procurant des règles algébriques pour simplifier des produits de rapports ou pour trouver des rapports équivalents. Dans notre algèbre, il s'agit de l'égalité : $$$\frac{a}{b} = \frac{ak}{bk}$$$.</p> <p style="text-indent:2em"; align=justify>En commençant par la cinquième, celles du livre II s'énoncent de manière moderne dans les termes suivants :</p> <p style="text-indent:2em"; align=justify>Tout point $$$X$$$ d'un segment $$$[AB]$$$ forme avec les extrémités et le milieu $$$M$$$ l'identité suivante :</p> <p align=center> $$$ AX \cdot XB + MX^2 = AM^2 (= BM^2 = \frac{1}{4} AB^2)$$$ (fig. IIa 6).</p> <dl class='spip_document_459 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L375xH81/euclide_ii_5-ee76e.jpg?1679676260' width='375' height='81' alt='' /></dt> <dt class='crayon document-titre-459 spip_doc_titre' style='width:350px;'><strong>Figure IIa 6</strong></dt> </dl><p style="text-indent:2em"; align=justify>En notant la mesure du demi-segment par $$$a$$$ et la distance du point $$$X$$$ au milieu $$$M$$$ par $$$b$$$, on reconnaît l'identité bien connue $$$(a + b) \cdot (a - b) + b^2 = a^2$$$.</p> <p style="text-indent:2em"; align=justify>Si le point $$$X$$$ est à l'extérieur, la sixième proposition énonce que :</p> <p align=center> $$$ AX \cdot XB + AM^2 = MX^2$$$ (fig. IIa 7).</p> <dl class='spip_document_460 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L450xH80/euclide_ii_6-78361.jpg?1679676260' width='450' height='80' alt='' /></dt> <dt class='crayon document-titre-460 spip_doc_titre' style='width:350px;'><strong>Figure IIa 7</strong></dt> </dl><p style="text-indent:2em"; align=justify>Avec les mêmes notations : $$$(a + b) \cdot ( b - a) + a^2 = b^2$$$.</p> <p style="text-indent:2em"; align=justify>Il fonde aussi nombre de ses raisonnements sur deux propriétés implicitement admises, à savoir que le triangle déterminé par trois points sur un cercle dont deux sont les extrémités d'un diamètre est rectangle et que la hauteur issue du sommet de l'angle droit d'un triangle rectangle est moyenne géométrique des longueurs que cette hauteur découpe sur l'hypoténuse (fig IIa 8).</p> <dl class='spip_document_523 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L409xH215/apo_figiia08c-97c43.png?1679676260' width='409' height='215' alt='' /></dt> <dt class='crayon document-titre-523 spip_doc_titre' style='width:350px;'><strong>Fig IIa 8</strong></dt> </dl><p align=center> $$$ \fbox {$ PH^2 = AH \cdot HB $}$$$ ou $$$ \fbox {$ y^2=x(d-x) $}$$$</p> <p style="text-indent:2em"; align=justify>Ces propriétés se lisent respectivement à la trente et unième proposition du Livre III des <i>Éléments</i> et en corollaire de la huitième du livre VI. Apollonios les rassemble implicitement en une propriété métrique essentielle du cercle. Elle forme l'arrière plan de son étude sur les coniques et paraît le guider jusque dans l'écriture finale de leurs propriétés métriques.</p> <p style="text-indent:2em"; align=justify>Les propriétés métriques essentielles des coniques sont le sujet de la onzième proposition pour la parabole, puis celui des deux suivantes pour respectivement l'hyperbole et l'ellipse. C'est aussi dans ces trois propositions que ces courbes reçoivent leur nom ; les anciennes dénominations étaient inadaptées au cône oblique et à la manière apollonienne d'obtenir les sections coniques. Le cercle ci-dessus présente la relation métrique qui correspond au cas du cercle. <i>Mutatis mutandis</i>, en imaginant que l'image précédente illustre aussi bien le cas des trois autres courbes, leurs propriétés métriques s'écrivent respectivement :</p> <p align=center> $$$ \fbox {$ y^2 = cd \cdot x$}$$$ ; $$$ \fbox {$ y^2=cd \cdot x + \frac{cd}{ct} \cdot x^2$}$$$ ; $$$ \fbox {$ y^2=cd \cdot x - \frac{cd}{ct} \cdot x^2$}$$$</p> <p style="text-indent:2em"; align=justify>Les différentes lettres traduisant les grandeurs suivantes :</p> <p>$$$x$$$ : distance du sommet au pied de l'ordonnée, notre abscisse.</p> <p>$$$y$$$ : la distance du point de la conique au pied de l'ordonnée, notre ordonnée.</p> <p>$$$cd$$$ : le côté droit, en souvenir du <i>latus rectum</i> des traducteurs de la Renaissance.</p> <p>$$$ct$$$ : le côté transverse, en souvenir du <i>latus transversum</i>.</p> <p style="text-indent:2em"; align=justify>Leur démonstration ne nous satisfait pas complètement, même si la rigueur du l'exposé est indiscutable. Apollonios y fait apparaître le côté droit comme un magicien sortirait un lapin de son chapeau. Nous savons seulement qu'il s'agit d'une quatrième proportionnelle à trois autres grandeurs entièrement déterminées par la donnée du cône et de la section. C'est donc une longueur constante, celle que nous notons $$$cd$$$ dans les formules. En outre, Apollonios n'utilise pas les mêmes notations entre ces trois propositions pour désigner les mêmes points. Les propriétés métriques des coniques nous apparaissent donc dans des écritures si différentes qu'il nous faut faire un réel effort pour en reconnaître les éléments communs. Ces deux raisons nous ont conduit à rédiger des démonstrations qui restituent une analyse de la question en apportant les éléments de compréhension absents du texte d'Apollonios. La figure IIa 9 expose les éléments de la démonstration.</p> <dl class='spip_document_524 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH348/apo_figiia09c-82759.png?1679676260' width='500' height='348' alt='' /></dt> <dt class='crayon document-titre-524 spip_doc_titre' style='width:350px;'><strong>Fig IIa 9</strong></dt> </dl> <p>$$$BAC$$$ est un triangle passant par l'axe du cône.</p> <p>$$$(BC)$$$ est un diamètre du cercle de base.</p> <p>$$$SS'E$$$ est l'axe de la section conique ; $$$S$$$ et $$$S'$$$ en sont les sommets (le point $$$S'$$$ n'existe pas pour la parabole).</p> <p>$$$(AK)$$$ est la parallèle à l'axe $$$(SS')$$$, passant par le sommet du cône, $$$A$$$ (la droite $$$(AK)$$$ est une donnée inutile pour la parabole).</p> <p>$$$P$$$ est un point de la section.</p> <p>$$$MNP$$$ est le cercle parallèle à la base et passant par $$$P$$$.</p> <p>$$$H$$$ est le pied de la perpendiculaire à $$$(MN)$$$, abaissée du point $$$P$$$.</p> <p style="text-indent:2em"; align=justify>Le dessin comporte beaucoup d'éléments qui n'interviennent pas dans la démonstration. En le simplifiant au maximum, on obtient les schémas suivants pour les différentes sections coniques : fig. IIa 10 pour l'ellipse, fig. IIa 11 pour l'hyperbole, fig. IIa 12 pour la parabole. Dans ces figures, le point $$$P$$$ est hors du plan de la figure.</p> <dl class='spip_document_525 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L461xH290/apo_figiia10c-83b5e.png?1679676260' width='461' height='290' alt='' /></dt> <dt class='crayon document-titre-525 spip_doc_titre' style='width:350px;'><strong>Fig IIa 10</strong></dt> </dl><dl class='spip_document_526 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L353xH346/apo_figiia11c-bce4f.png?1679676260' width='353' height='346' alt='' /></dt> <dt class='crayon document-titre-526 spip_doc_titre' style='width:350px;'><strong>Fig IIa 11</strong></dt> </dl><dl class='spip_document_527 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L352xH260/apo_figiia12c-2fbd1.png?1679676260' width='352' height='260' alt='' /></dt> <dt class='crayon document-titre-527 spip_doc_titre' style='width:350px;'><strong>Fig IIa 12</strong></dt> </dl><p style="text-indent:2em"; align=justify>Dans les trois cas de figure, la démonstration s'appuie sur l'identité : $$$HP^2 = HM \cdot HN$$$. (Le cercle $$$MPN$$$ ne sert pas à autre chose). Le but de la démonstration est de substituer aux grandeurs $$$HM$$$ et $$$HN$$$ une expression qui fasse intervenir $$$SH$$$ et des grandeurs constantes par rapport au point variable $$$P$$$.</p> <p>Suivons Apollonios en examinant d'abord le cas de la parabole :</p> <p style="text-indent:2em"; align=justify>$$$(MN) \,//_\,(BC)$$$, car le cercle $$$MPN$$$ est parallèle à la base du cône. Et, $$$(SE)\, // \, (AC)$$$, car la section est une parabole. En conséquence, $$$CNHE$$$ est un parallélogramme. Donc $$$ EC = HN$$$.</p> <p>Grâce à la similitude des triangles $$$SHM$$$ et $$$BAC$$$, $$$ \frac{HM}{HS} = \frac{CB}{CA}$$$.</p> <p>Grâce à la similitude des triangles $$$BAC$$$ et $$$BSE$$$, $$$ \frac{EC}{SA} = \frac{BC}{BA}$$$.</p> <p>Substituons $$$HN$$$ à $$$EC$$$ dans le second rapport, $$$ \frac {HN}{SA} = \frac {BC}{BA}$$$.</p> <p style="text-indent:2em"; align=justify>En conclusion, $$$ HP^2 = HS \cdot SA \cdot \frac {BC^2}{AC \cdot AB}$$$, écriture de la forme $$$ y^2 = x \cdot \textrm{constante}$$$, en posant $$$ y = HP$$$ et $$$ x = HS$$$. La constante $$$ SA \cdot \frac {BC^2}{AC \cdot AB}$$$ s'appelle le <i>côté droit</i> que nous notons $$$ cd$$$.</p> <p style="text-indent:2em"; align=justify>Dans le texte apollonien, le lecteur remarquera que le côté droit n'est pas défini par l'égalité $$$ cd =SA \cdot \frac {BC^2}{AC \cdot AB}$$$ mais, <i>mutatis mutandis</i>, par la proportion $$$ \frac {cd}{SA} = \frac {BC^2}{AC \cdot AB}$$$ qui compare des grandeurs homogènes : d'un côté, des longueurs, de l'autre, des surfaces. Dans le cadre de la géométrie grecque, notre écriture est absurde, car elle sous entend un produit entre $$$ SA$$$ et $$$ \frac {BC^2}{AC \cdot AB}$$$. Or, pour un Grec, aucun de ces facteurs n'est un nombre : le premier est une longueur et le second un rapport qui, depuis la découverte des irrationnels, n'est plus interprétable comme un nombre de fois. Toute opération entre des êtres mathématiques de nature différente n'aurait donc aucun sens.</p> <p>Les cas de l'hyperbole et de l'ellipse conduisent aux mêmes équations qui se déduisent des mêmes similitudes. En nous appuyant sur les schémas ci-dessus et sur la relation $$$ HP^2 = HM \cdot HN$$$, la démonstration se déroule de la manière suivante :</p> <p>Grâce à la similitude des triangles $$$SHM$$$ et $$$AKB$$$, $$$ \frac{HM}{HS} = \frac{KB}{KA}$$$.</p> <p>Grâce à la similitude des triangles $$$ NHS'$$$ et $$$ CKA$$$, $$$ \frac{HN}{HS'} = \frac{KC}{KA}$$$.</p> <p>En substituant à $$$ HM$$$ et $$$ HN$$$, les expressions déduites de ces deux proportions, l'égalité $$$ HP^2 = HM \cdot HN$$$ devient $$$ HP^2 = HS \cdot HS' \cdot \frac{KB \cdot KC}{KA^2} : (1)$$$.</p> <p>Posons $$$ ct = SS'$$$ et définissons le côté droit $$$ cd$$$ par la proportion :</p> <center> $$$ \frac{cd}{ct} = \frac{KB \cdot KC}{KA^2}$$$. </center> <p>$$$cd$$$ existe comme quatrième proportionnelle à trois grandeurs connues.</p> <p>Pour l'hyperbole, $$$ (1)$$$ s'écrit alors :</p> <center> $$$\fbox{$ {HP}^{2} = y^2 = x \cdot (ct + x) \cdot \frac {cd}{ct} = x \cdot cd + x^2 \cdot \frac{cd}{ct} $}$$$. </center> <p>Pour l'ellipse :</p> <center> $$$ \fbox{$ HP^2 = y^2 = x \cdot (ct - x) \cdot \frac {cd}{ct} = x \cdot cd - x^2 \cdot \frac{cd}{ct} $}$$$ . </center><p style="text-indent:2em"; align=justify>Examinons maintenant la relation (1) du point de vue d'Apollonios en nous aidant de la figure IIa 13. Les lettres $$$S$$$, $$$S'$$$, $$$H$$$ et $$$P$$$ représentent les mêmes points que sur le schéma en relation avec l'hyperbole ; $$$T$$$ est défini par la quatrième proportionnelle inconnue dans l'équation $$$ \frac{HT}{HS'} = \frac {KB \cdot KC}{KA^2}$$$ . Nous constatons que $$$ \frac{HT}{HS'} = \frac{S\Lambda}{SS'}$$$ , où $$$ S\Lambda$$$ est appelé le <i>côté droit</i> ; c'est une grandeur fixe, car définie par la proportion $$$ \frac{S\Lambda}{SS'} = \frac {KB \cdot KC}{KA^2}$$$ dans laquelle les trois autres grandeurs sont fixes par rapport à $$$P$$$. Remarquons que $$$SS'$$$ note le <i>côté transverse</i>.</p> <dl class='spip_document_528 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L318xH283/apo_figiia13c-337f9.png?1679676260' width='318' height='283' alt='' /></dt> <dt class='crayon document-titre-528 spip_doc_titre' style='width:318px;'><strong>Fig IIa 13</strong></dt> </dl> <p>En raisonnant à la manière d'Apollonios, l'égalité (1) s'écrit sous la forme $$$ \frac{HP^2}{HS \cdot HS'} = \frac {S\Lambda}{SS'}$$$ .</p> <p>Or, $$$ \frac {S\Lambda}{SS'} = \frac {LT}{L\Lambda} = \frac {LT}{HS}$$$ et $$$ \frac {LT}{HS} = \frac {LT \cdot HS'}{HS \cdot HS'}$$$. Donc, $$$ \frac{HP^2}{HS \cdot HS'} = \frac {LT \cdot HS'}{HS \cdot HS'}$$$. On en déduit l'égalité : $$$ HP^2 = LT \cdot HS'$$$, c'est-à-dire, $$$ HP^2 = LT \cdot HS + LT \cdot SS'$$$.</p> <p>Or, $$$ \frac {S\Lambda}{SS'} = \frac {LT}{HS}$$$ équivaut à $$$ S\Lambda \cdot HS = LT \cdot SS'$$$. En conséquence, $$$ HP^2 = S\Lambda \cdot HS + LT \cdot HS$$$.</p> <p>Autrement dit, le <i>carré de l'ordonnée</i> est égal au rectangle sous le <i>côté droit</i> et l'<i>abscisse</i> ($$$ S\Lambda \cdot HS$$$) augmenté du rectangle ($$$ LT \cdot HS = LT \cdot L\Lambda$$$) semblable au rectangle sous le <i>côté droit</i> et le <i>côté transverse</i> ($$$ S\Lambda \cdot SS'$$$).</p> <p style="text-indent:2em"; align=justify>Sans reprendre le déroulement complet de l'explication précédente, examinons le cas de l'ellipse en nous aidant du dessin ci-dessous (fig. IIa 14).</p> <dl class='spip_document_529 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L340xH330/apo_figiia14c-0c2f6.png?1679676260' width='340' height='330' alt='' /></dt> <dt class='crayon document-titre-529 spip_doc_titre' style='width:340px;'><strong>Fig IIa 14</strong></dt> </dl> <p>$$$T$$$ et $$$\Lambda$$$ sont à nouveau définis par $$$ \frac{HT}{HS'} = \frac {KB \cdot KC}{KA^2}$$$ et par $$$ \frac{HT}{HS'} = \frac{S\Lambda}{SS'}$$$ ; $$$ S\Lambda$$$ note toujours le <i>côté droit</i> et $$$ SS'$$$ le <i>côté transverse</i>. Les proportions $$$ \frac{HP^2}{HS \cdot HS'} = \frac {S\Lambda}{SS'}$$$ et $$$ \frac {S\Lambda}{SS'} = \frac {LT}{L\Lambda} = \frac {LT}{HS}$$$ nous conduisent à nouveau à l'égalité $$$ HP^2 = LT \cdot HS'$$$, c'est-à-dire, $$$ HP^2 = LT \cdot SS' - LT \cdot HS$$$. Comme $$$ \frac {S\Lambda}{SS'} = \frac {LT}{HS}$$$ équivaut à $$$ S\Lambda \cdot HS = LT \cdot SS'$$$, $$$ HP^2 = S\Lambda \cdot HS - LT \cdot HS$$$.</p> <p>Autrement dit, le carré de l'ordonnée est égal au rectangle sous le <i>côté droit</i> et l'abscisse ($$$ S\Lambda \cdot HS$$$) diminué du rectangle ($$$ LT \cdot HS = LT \cdot L\Lambda$$$) semblable au rectangle sous le <i>côté droit</i> et le <i>côté transverse</i> ($$$ S\Lambda \cdot SS'$$$).</p> <p style="text-indent:2em"; align=justify>Dans l'œuvre d'Apollonios et jusqu'aux mathématiciens français du premier XVII<sup>e</sup> siècle, ces trois relations métriques ne seront pas considérées comme une caractéristique de chacune des coniques, pas plus que la relation $$$ HP^2 = HM \cdot HN$$$ pour le cercle. En outre, nous ne connaissons aucune démonstration de leur réciproque qui nous permettrait de penser que les mathématiciens de l'Antiquité les ont envisagées comme des propriétés caractéristiques de leur courbe. Il fallait en effet accepter de considérer les courbes et leur équations comme deux faces d'une même réalité. Ce point de vue, Descartes l'a rendu possible dans sa nouvelle géométrie en faisant passer ces relations du domaine des grandeurs à celui des nombres. Mais si Descartes avait rencontré un Apollonios, ce dernier lui aurait, sans aucun doute, fait remarquer que la géométrie cartésienne ne justifiait qu'un mode de calcul sur les longueurs, qu'elle se fondait sur des constructions bien connues dans l'Antiquité et qu'elle esquivait la question de l'irrationalité.</p> <p style="text-indent:2em"; align=justify>Les figures suivantes visualisent les relations d'Apollonios dans les trois coniques (fig. IIa 15 pour la parabole, fig. IIa 16 pour l'ellipse, fig IIa 17 pour l'hyperbole). Dans ces figures on a noté : $$$ y = HP$$$, $$$ x = SH$$$, $$$ cd = S\Lambda$$$ et $$$ct = SS'$$$. Le point $$$T$$$ se trouve à l'intersection de $$$ S'\Lambda$$$ et de l'ordonnée $$$HP$$$.</p> <dl class='spip_document_530 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L323xH319/apo_figiia15c-ed9c0.png?1679676260' width='323' height='319' alt='' /></dt> <dt class='crayon document-titre-530 spip_doc_titre' style='width:323px;'><strong>Fig IIa 15</strong></dt> </dl> <p><strong><u>Parabole</u> : le carré sur </strong> $$$ HP$$$ <strong>est égal au rectangle </strong> $$$ \Lambda H$$$ <strong>ou</strong> $$$ \fbox{$ y^2 = cd \cdot x $}$$$.</p> <dl class='spip_document_531 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH254/apo_figiia16c-ca86c.png?1679676260' width='500' height='254' alt='' /></dt> <dt class='crayon document-titre-531 spip_doc_titre' style='width:350px;'><strong>Fig IIa 16</strong></dt> </dl> <p><strong><u>Ellipse</u> : le carré sur</strong> $$$ HP$$$ <strong>est égal au rectangle </strong> $$$ \Lambda H$$$ <strong>diminué du rectangle</strong> $$$ \Lambda T$$$ <strong>ou</strong> $$$ \fbox {$ y^2 = cd \cdot x - \frac{cd}{ct} \cdot x^2 $}$$$.</p> <dl class='spip_document_532 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L500xH256/apo_figiia17c-15fdc.png?1679676260' width='500' height='256' alt='' /></dt> <dt class='crayon document-titre-532 spip_doc_titre' style='width:350px;'><strong>Fig IIa 17</strong></dt> </dl> <p><strong><u>Hyperbole</u> : le carré sur</strong> $$$ HP$$$ <strong>est égal au rectangle </strong> $$$ \Lambda H$$$ <strong>augmenté du rectangle</strong> $$$ \Lambda T$$$ <strong>ou</strong> $$$ \fbox {$ y^2 = cd \cdot x + \frac{cd}{ct} \cdot x^2 $}$$$.</p> <p style="text-indent:2em"; align=justify>Dans le premier livre des <i>Coniques</i>, on trouve d'autres relations métriques qui généralisent aux coniques celles déjà connues sur le cercle. La figure IIa 18 présente, dans le cercle, les éléments concernés : tangente $$$TP$$$, ordonnée $$$HP$$$, diamètre $$$ SS' = ct$$$. Le <i>côté droit</i>, que nous notons $$$ cd$$$, n'est pas représenté sur ce dessin. Dans le cas du cercle, $$$ cd = ct$$$ et donc $$$ \frac{cd}{ct} = 1$$$ ; les relations encadrées se simplifient alors en $$$ HP^2 = HS \cdot HS'$$$, égalité que nous avons rencontrée dans les calculs précédents, et en $$$ HP^2 = HC \cdot HT$$$. Les relations sous leur forme générale concernent les trois coniques à centre : cercle, ellipse et hyperbole. La première se lit à la vingt et unième proposition, la seconde, à la trente-septième.</p> <dl class='spip_document_533 spip_documents spip_documents_center'> <dt><img src='https://irem.unicaen.fr/local/cache-vignettes/L478xH383/apo_figiia18c-32761.png?1679676260' width='478' height='383' alt='' /></dt> <dt class='crayon document-titre-533 spip_doc_titre' style='width:350px;'><strong>Fig IIa 18</strong></dt> </dl><center> $$$ \fbox {$ \frac{HP^2}{HS \cdot HS'} = \frac{HP^2}{HC \cdot HT} = \frac{cd}{ct}$}$$$. </center><p style="text-indent:2em"; align=justify>Apollonios traduit la première de ces relations sous une forme qui, en considérant un second point sur la conique, élimine le terme constant $$$ \frac{cd}{ct}$$$. Notons-le $$$P'$$$ et notons $$$H'$$$ le pied de son ordonnée sur le diamètre. On obtient alors l'égalité $$$ \frac{HP^2}{HP'^2} = \frac{HS \cdot HS'}{H'S \cdot H'S'}$$$ qui répond comme un écho à celle donnée à la vingtième proposition pour la parabole, à savoir $$$ \frac{HP^2}{{HP'}^2} = \frac{HS}{H'S}$$$.</p> <p style="text-indent:2em"; align=justify>La seconde égalité $$$ \frac{HP^2}{HC \cdot HT} = \frac{cd}{ct}$$$ est donnée en même temps que cette autre, $$$ {\left( \frac{1}{2} SS' \right)}^2 = CH \cdot CP$$$, à la trente-septième proposition. Elles sont utilisées par Apollonios dans les propositions suivantes qui étudient les transformations subies par les relations fondamentales lors « d'un changement de repère ».</p> <p style="text-indent:2em"; align=justify>Apollonios utilise à la trente-quatrième proposition le fait que le conjugué harmonique du pied de l'ordonnée d'un point $$$P$$$ par rapport aux sommets d'une conique à centre est le point d'intersection, avec le diamètre, de la tangente issue de $$$P$$$. Cette relation, que nous écrivons $$$ \frac{TS}{TS'} = \frac{HS}{HS'}$$$, était connue au moins pour le cercle, puisque nous pouvons la lire dans les <i>Éléments</i> d'Euclide. La trente-cinquième proposition nous donne l'égalité correspondant au cas de la parabole, à savoir $$$ TS = HS$$$ : la sous tangente, c'est-à-dire, le segment déterminé, sur le diamètre, par l'ordonnée et la tangente d'un point sur la conique, est toujours coupée en deux par le sommet. La question des relations métriques est maintenant résolue pour l'essentiel. Il nous reste à examiner celle relative aux tangentes.</p> <p style="text-indent:2em"; align=justify>Nous ne savons pas quelle fut l'étendue de la notion de tangente avant Apollonios. La seule définition explicite que l'histoire nous ait transmis se lit au troisième livre des <i>Éléments</i> d'Euclide et concerne exclusivement le cercle. Dans ces définitions, « toucher » signifie « passer par un point » : « Une droite est tangente à un cercle si elle touche le cercle mais, prolongée, ne le traverse pas », « sont tangents, les cercles qui se touchent sans se couper ». Dans le premier livre des <i>Coniques</i>, au vu des démonstrations qui traitent du cas des tangentes, nous pourrions penser qu'Apollonios s'est appuyé sur la définition euclidienne en l'étendant aux coniques non circulaires. Il y démontre, en effet, comme le fait Euclide pour le cercle, que certaine droite touchant la courbe en un point et respectant des conditions qui nous assurent de son existence, reste à l'extérieur de la courbe, et que, suivant toujours Euclide, cette droite est unique. Cette définition est suffisante pour considérer des tangentes à une conique mais celles des cercles tangents ne convient pas pour traiter, comme dans le quatrième livre, le cas de coniques tangentes entre elles, car deux coniques tangentes en un point se recoupent en général. Nous ne savons qui fut le premier à lever la difficulté mais la lecture du quatrième livre nous montre que les Grecs avaient compris le caractère local de la notion de tangente, car Apollonios y considère implicitement que deux coniques sont tangentes, lorsqu'elle partagent la même tangente au point de contact. L'absence d'une définition explicite corrigeant la définition euclidienne laisse à penser que la question fut examinée avant la rédaction des <i>Coniques</i>.</p> <p style="text-indent:2em"; align=justify>Nous avons dit plus haut comment Apollonios a traité les cas des droites tangentes à une conique. Cette question mérite quelques explications supplémentaires, car la démarche apollonienne diffère de la nôtre en ce sens qu'il nous semble parfois prendre le problème à l'envers. La cause réside dans la définition euclidienne qui ne permet pas d'assurer à priori l'existence d'une droite touchant une section, c'est-à-dire, passant par un point mais demeurant à l'extérieur de la section. La démarche moderne est tout autre, car nous faisons reposer l'existence d'une tangente sur la dérivabilité de la fonction qui représente la courbe étudiée. La différence entre ces deux points de vue est déjà claire pour la tangente au cercle. Nous savons, en effet, que la tangente en un point de la circonférence d'un cercle est perpendiculaire à la droite déterminée par le point de contact et le centre du cercle. De nos jours, une présentation possible de cette propriété suivrait de préférence la démarche suivante :</p> <textarea readonly='readonly' cols='40' rows='2' class='spip_cadre' dir='ltr'>la circonférence d'un cercle est localement la représentation graphique d'une fonction dérivable</textarea> <center> $$$\big\Downarrow$$$ </center> <textarea readonly='readonly' cols='40' rows='2' class='spip_cadre' dir='ltr'>en un point de la circonférence, il existe toujours une tangente, unique par définition de la dérivée</textarea> <center> $$$\big\Downarrow$$$ </center> <textarea readonly='readonly' cols='40' rows='2' class='spip_cadre' dir='ltr'>la droite joignant le point de contact et le centre du cercle est perpendiculaire à la tangente</textarea><p style="text-indent:2em"; align=justify>Euclide, contraint par sa propre définition, commence par la propriété relative à l'angle entre la tangente et le rayon. Elle lui assure l'existence d'une droite touchant la circonférence en restant à l'extérieur du cercle. En un point de la circonférence :</p> <textarea readonly='readonly' cols='40' rows='2' class='spip_cadre' dir='ltr'>il existe une droite perpendiculaire à celle joignant le point considéré au centre du cercle</textarea> <center> $$$\big\Downarrow$$$ </center> <textarea readonly='readonly' cols='40' rows='2' class='spip_cadre' dir='ltr'>cette perpendiculaire prolongée ne recoupe pas le cercle</textarea> <center> $$$\big\Downarrow$$$ </center> <textarea readonly='readonly' cols='40' rows='2' class='spip_cadre' dir='ltr'>cette perpendiculaire est une tangente et elle est unique</textarea><p style="text-indent:2em"; align=justify>On va retrouver la même démarche chez Apollonios dans les propositions 33 à 37, dont nous avons déjà parlé dans le paragraphe sur les relations métriques : Apollonios démontre tout d'abord que la droite issue d'un point de la section et déterminée par la donnée d'un second point qui, sur le diamètre, vérifie certaines relations métriques est une tangente. Étant maintenant assuré de l'existence des tangentes, il peut les envisager comme des données. Il démontre donc, ensuite, en une réciproque que nous aurions considérée en premier, que la tangente donnée coupe le diamètre en un point qui satisfait aux relations métriques précédentes. La boucle est bouclée.</p> <p style="text-indent:2em"; align=justify>Avec la question des tangentes, se clôt ce bref commentaire dont l'ambition fut non pas de proposer un exposé détaillé des résultats du premier livre mais de discuter autour des éléments fondamentaux qui conduisent à l'ensemble de ses résultats. Cette raison impose l'abandon de deux sujets importants mais qui dérivent des relations métriques revues dans ce commentaire : celui sur les hyperboles conjuguées ou, à la fin du livre, celui sur les calculs qui conduisent au « changement de repère ».</p> <dl class='spip_document_765 spip_documents spip_documents_center'> <dt> <a href='https://irem.unicaen.fr/IMG/pdf/apo_iii-resume_livre_1.pdf' title='PDF - 721.7 ko' type="application/pdf"> <img src='https://irem.unicaen.fr/local/cache-vignettes/L52xH52/pdf-39070-1a839.png?1679676258' width='52' height='52' alt='PDF - 721.7 ko' /> </a> </dt> <dt class='crayon document-titre-765 spip_doc_titre' style='width:120px;'><strong>Résumé du livre I (version pdf)</strong></dt> </dl><center> section suivante : <a href='https://irem.unicaen.fr/spip.php?article165' class='spip_in'>résumé du Livre II</a> </center></div>