Jusques ici j’ai tâché de me rendre intelligible à tout le monde ; mais pour ce traité, je crains qu’il ne pourra être lu que par ceux qui savent déjà ce qui est dans les livres de géométrie ; car, d’autant qu’ils contiennent plusieurs vérités fort bien démontrées, j’ai cru qu’il seroit superflu de les répéter, et n’ai pas laissé pour cela de m’en servir.
des problèmes qu’on peut construire sans y employerque des cercles et des lignes droites.
Tous les problèmes de géométrie se peuvent facilement réduire à tels termes, qu’il n’est besoin par après que de connaître la longueur de quelques lignes droites pour les construire.
Et comme toute l’arithmétique n’est composée Comment le calcul d’Arithmétique se rapporte aux opérations de Géométrie. que de quatre ou cinq opérations, qui sont, l’addition, la soustraction, la multiplication, la division, et l’extraction des racines, qu’on peut prendre pour une espèce de division, ainsi n’a-t-on autre chose à faire en géométrie touchant les lignes qu’on cherche pour les préparer à être connues, que leur en ajouter d’autres, ou en ôter ; ou bien en ayant une, que je nommerai l’unité pour la rapporter d’autant mieux aux nombres, et qui
peut ordinairement être prise à discrétion, puis en ayant encore deux autres, en trouver une quatrième qui soit à l’une de ces deux comme l’autre est à l’unité, ce qui est le même que la multiplication ; ou bien en trouver une quatrième, qui soit à l’une de ces deux, comme l’unité à l’autre, ce qui est le même que la division ; ou enfin trouver une ou deux, ou plusieurs moyennes proportionnelles entre l’unité et quelque autre ligne, ce qui est le même que tirer la racine carrée ou cubique, etc. Et je ne craindrai pas d’introduire ces termes d’arithmétique en la géométrie, afin de me rendre plus intelligible.
fig. 1
Soit, par exemple, A B {\displaystyle \mathrm {AB} } (fig. 1) l’unité, et qu’il La Multiplication faille multiplier B D {\displaystyle \mathrm {BD} } par B C , {\displaystyle \mathrm {BC} ,} je n’ai qu’à joindre les points A {\displaystyle \mathrm {A} } et C , {\displaystyle \mathrm {C,} } puis tirer D E {\displaystyle \mathrm {DE} } parallèle à C A , {\displaystyle \mathrm {CA} ,} et B E {\displaystyle \mathrm {BE} } est le produit de cette multiplication.
Ou bien, s’il faut diviser B E {\displaystyle \mathrm {BE} } par B D , {\displaystyle \mathrm {BD} ,} ayant joint La Division les points E {\displaystyle \mathrm {E} } et D , {\displaystyle \mathrm {D,} } je tire A C {\displaystyle \mathrm {AC} } parallèle à D E , {\displaystyle \mathrm {DE} ,} et B C {\displaystyle \mathrm {BC} } est le produit de cette division.
fig. 2
Ou s’il faut tirer la racine carrée de G H , {\displaystyle \mathrm {GH} ,} (fig. 2) L’extraction de la racine carrée je lui ajoute en ligne droite F G , {\displaystyle \mathrm {FG} ,} qui est l’unité, et divisant F H {\displaystyle \mathrm {FH} } en deux parties égales au point K , {\displaystyle \mathrm {K} ,} du centre K {\displaystyle \mathrm {K} } je tire le cercle F I H , {\displaystyle \mathrm {FIH} ,} puis élevant du point G {\displaystyle \mathrm {G} } une ligne droite jusqu’à I {\displaystyle \mathrm {I} } à angles droits sur F H , {\displaystyle \mathrm {FH} ,} c’est G I {\displaystyle \mathrm {GI} } la racine cherchée. Je ne dis rien ici de la racine cubique, ni des autres, à cause que j’en parlerai plus commodément ci-après.
Mais souvent on n’a pas besoin de tracer ainsi Comment on peut user de chiffres en géométrie ces lignes sur le papier, et il suffit de les désigner par quelques lettres, chacune par une seule. Comme pour ajouter la ligne B D {\displaystyle \mathrm {BD} } à G H , {\displaystyle \mathrm {GH} ,} je nomme l’une a {\displaystyle a} et l’autre b , {\displaystyle b,} et écris a + b ; {\displaystyle a+b\,;} et a − b {\displaystyle a-b} pour soustraire b {\displaystyle b} de a ; {\displaystyle a\,;} et a b {\displaystyle ab} pour les multiplier l’une par l’autre ; et a b {\displaystyle {\frac {a}{b}}} pour diviser a {\displaystyle a} par b ; {\displaystyle b\,;} et a a {\displaystyle aa} ou a 2 {\displaystyle a^{2}} pour multiplier a {\displaystyle a} par soi-même ; et a 3 {\displaystyle a^{3}} pour le multiplier encore une fois par a , {\displaystyle a,} et ainsi à l’infini ; et a 2 + b 2 {\displaystyle {\sqrt {a^{2}+b^{2}}}} pour tirer la racine carrée de a 2 + b 2 {\displaystyle a^{2}+b^{2}} ; et C . a 3 − b 3 + a b 2 , {\displaystyle {\sqrt {\mathrm {C} .a^{3}-b^{3}+ab^{2}}},} pour tirer la racine cubique de a 3 − b 3 + a b 2 , {\displaystyle a^{3}-b^{3}+ab^{2},} et ainsi des autres.
Où il est à remarquer que par a 2 {\displaystyle a^{2}} , ou b 3 {\displaystyle b^{3}} , ou semblables, je ne conçois ordinairement que des lignes toutes simples, encore que pour me servir des noms usités en l’algèbre je les nomme des carrés ou des cubes, etc.
Il est aussi à remarquer que toutes les parties d’une même ligne se doivent ordinairement exprimer par autant de dimensions l’une que l’autre, lorsque l’unité n’est point déterminée en la question, comme ici a 3 {\displaystyle a^{3}} en contient autant que a b 2 {\displaystyle ab^{2}} ou b 3 {\displaystyle b^{3}} dont se compose la ligne que j’ai nommée
C . a 3 − b 3 + a b 2 ; {\displaystyle {\sqrt {\mathrm {C} .a^{3}-b^{3}+ab^{2}}}\,;}
mais que ce n’est pas de même lorsque l’unité est déterminée, à cause qu’elle peut être sous-entendue partout où il y a trop ou trop peu de dimensions : comme s’il faut tirer la racine cubique de a 2 b 2 − b {\displaystyle a^{2}b^{2}-b} , il faut penser que la quantité a 2 b 2 {\displaystyle a^{2}b^{2}} est divisée une fois par l’unité, et que l’autre quantité b {\displaystyle b} est multipliée deux fois par la même.
Au reste, afin de ne pas manquer à se souvenir des noms de ces lignes, il en faut toujours faire un registre séparé à mesure qu’on les pose ou qu’on les change, écrivant par exemple :
A B = 1 , {\displaystyle \mathrm {AB} =1,} c’est-à-dire A B {\displaystyle \mathrm {AB} } égal à 1. {\displaystyle 1.}
G H = a . {\displaystyle \mathrm {GH} =a.}
B D = b , {\displaystyle \mathrm {BD} =b,} etc.
Ainsi, voulant résoudre quelque problème, on doit Comment il faut venir aux équations qui servent à résoudre les problèmes d’abord le considérer comme déjà fait, et donner des noms à toutes les lignes qui semblent nécessaires pour le construire, aussi bien à celles qui sont inconnues qu’aux autres. Puis, sans considérer aucune différence entre ces lignes connues et inconnues, on doit parcourir la difficulté selon l’ordre qui montre le plus naturellement de tous en quelle sorte elles dépendent mutuellement les unes des autres, jusqu’à ce qu’on ait trouvé moyen d’exprimer une même quantité en deux façons, ce qui se nomme une équation ; car les termes de l'une de ces deux façons sont égaux à ceux de l'autre. Et on doit trouver autant de telles équations qu'on a supposé de lignes qui étaient inconnues.
Ou bien, s'il ne s'en trouve pas tant, et que nonobstant on n'omette rien de ce qui est désiré en la question, cela témoigne qu'elle n'est pas entièrement déterminée. Et lors on peut prendre à discrétion des lignes connues pour toutes les inconnues auxquelles ne correspond aucune équation. Après cela, s'il en reste encore plusieurs, il se faut servir par ordre de chacune des équations qui restent aussi, soit en la considérant toute seule, soit en la comparant avec les autres, pour expliquer chacune de ces lignes inconnues, et faire ainsi, en les démêlant, qu'il n'en demeure qu'une seule égale à quelque autre qui soit connue, ou bien dont le carré, ou le cube, ou le carré de carré, ou le sursolide, ou le carré de cube, etc., soit égal à ce qui se produit par l'addition ou soustraction de deux ou plusieurs autres quantités, dont l'une soit connue, et les autres soient composées de quelques moyennes proportionnelles entre l'unité et ce carré, ou cube, ou carré de carré, etc., multipliées par d'autres connues.
Ce que j'écris en cette sorte :
z = b , ou z 2 = − a z + b 2 , ou z 3 = + a z 2 + b 2 z − c 3 , ou z 3 = a z 3 − c 3 z + d 4 , etc . ; {\displaystyle {\begin{aligned}&z\ \ =b,\\{\text{ou}}\quad &z^{2}=-az+b^{2},\\{\text{ou}}\quad &z^{3}=+az^{2}+b^{2}z-c^{3},\\{\text{ou}}\quad &z^{3}=az^{3}-c^{3}z+d^{4},{\text{ etc}}.;\end{aligned}}}
c’est-à-dire z {\displaystyle z} , que je prends pour la quantité inconnue, est égale à b {\displaystyle b} ; ou le carré de z {\displaystyle z} est égal au carré de b {\displaystyle b} moins a {\displaystyle a} multiplié par z {\displaystyle z} ; ou le cube de z {\displaystyle z} est égal à a {\displaystyle a} multiplié par le carré de z {\displaystyle z} plus le carré de b {\displaystyle b} multiplié par z {\displaystyle z} moins le cube de c {\displaystyle c} ; et ainsi des autres.
Et on peut toujours réduire ainsi toutes les quantités inconnues à une seule, lorsque le problème se peut construire par des cercles et des lignes droites, ou aussi par des sections coniques, ou même par quelque autre ligne qui ne soit que d’un ou deux degrés plus composée. Mais je ne m’arrête point à expliquer ceci plus en détail, à cause que je vous ôterais le plaisir de l’apprendre de vous-même, et l’utilité de cultiver votre esprit en vous y exerçant, qui est à mon avis la principale qu’on puisse tirer de cette science. Aussi que je n’y remarque rien de si difficile que ceux qui seront un peu versés en la géométrie commune et en l’algèbre, ait qui prendront garde à tout ce qui est en ce traité, ne puissent trouver.
C’est pourquoi je me contenterai ici de vous avertir que, pourvu qu’en démêlant ces équations, on ne manque point à se servir de toutes les divisions qui seront possibles, on aura infailliblement les plus simples termes auxquels la question puisse être réduite.
Quels sont les problèmes plans.
Et que si elle peut être résolue par la géométrie
ordinaire, c’est-à-dire en ne se servant que de lignes droites et circulaires tracées sur une superficie plate, lorsque la dernière équation aura été entièrement démêlée, il n’y restera tout au plus qu’un carré inconnu, égal à ce qui se produit de l’addition ou soustraction de sa racine multipliée par quelque quantité connue, et de quelque autre quantité aussi connue.
Et lors cette racine, ou ligne inconnue, se trouve Comment ils se résolvent. aisément ; car si j’ai par exemple
z 2 = a z + b 2 , {\displaystyle z^{2}=az+b^{2},}
je fais le triangle rectangle N L M , {\displaystyle \mathrm {NLM} ,} dont le côté L M {\displaystyle \mathrm {LM} } est égal à b , {\displaystyle b,} racine carrée de la quantité connue b 2 , {\displaystyle b^{2},} et l’autre L N {\displaystyle \mathrm {LN} } est 1 2 a , {\displaystyle {\frac {1}{2}}a,} la moitié de l’autre quantité connue qui était multipliée par z {\displaystyle z} , que je suppose être la ligne inconnue ; puis prolongeant M N , {\displaystyle \mathrm {MN} ,} la base de ce triangle, jusqu’à O , {\displaystyle \mathrm {O} ,} en sorte que N O {\displaystyle \mathrm {NO} } soit égale à N L , {\displaystyle \mathrm {NL} ,} la toute O M {\displaystyle \mathrm {OM} } est z , {\displaystyle z,} la ligne cherchée ; et elle s’exprime en cette sorte :
z = 1 2 a + 1 4 a 2 + b 2 . {\displaystyle z={\frac {1}{2}}a+{\sqrt {{\frac {1}{4}}a^{2}+b^{2}}}.}
Que si j’ai y 2 = − a y + b 2 , {\displaystyle y^{2}=-ay+b^{2},} et que y {\displaystyle y} soit la quantité qu’il faut trouver, je fais le même triangle rectangle N L M , {\displaystyle \mathrm {NLM} ,} et de sa base M N {\displaystyle \mathrm {MN} } j’ôte N P {\displaystyle \mathrm {NP} } égale à N L , {\displaystyle \mathrm {NL} ,} et le reste P M {\displaystyle \mathrm {PM} } est y , {\displaystyle y,} la racine cherchée. De façon que j’ai
y = − 1 2 a + 1 4 a 2 + b 2 . {\displaystyle y=-{\frac {1}{2}}a+{\sqrt {{\frac {1}{4}}a^{2}+b^{2}}}.}
Et tout de même si j’avois
x 4 = − a x 2 + b 2 . {\displaystyle x^{4}=-ax^{2}+b^{2}.}
P M {\displaystyle \mathrm {PM} } seroit x 2 {\displaystyle x^{2}} et j’aurois
x = − 1 2 a + 1 4 a 2 + b 2 ; {\displaystyle x={\sqrt {-{\frac {1}{2}}a+{\sqrt {{\frac {1}{4}}a^{2}+b^{2}}}}}\,;}
et ainsi des autres.
Enfin si j’ai
z 2 = a z − b 2 , {\displaystyle z^{2}=az-b^{2},}
je fais N L {\displaystyle \mathrm {NL} } (fig. 4) égale à 1 2 a , {\displaystyle {\frac {1}{2}}a,} et L M {\displaystyle \mathrm {LM} } égale à b , {\displaystyle b,} comme devant ; puis, au lieu de joindre les points M N , {\displaystyle \mathrm {MN} ,} je tire M Q R {\displaystyle \mathrm {MQR} } parallèle à L N , {\displaystyle \mathrm {LN} ,} et du centre N , {\displaystyle \mathrm {N} ,} par L , {\displaystyle \mathrm {L} ,} ayant décrit un cercle qui la coupe aux points Q {\displaystyle \mathrm {Q} } et R , {\displaystyle \mathrm {R} ,} la ligne cherchée z {\displaystyle z} est M Q , {\displaystyle \mathrm {MQ} ,} ou bien M R ; {\displaystyle \mathrm {MR} \,;} car en ce cas elle s’exprime en deux façons, à savoir
z = 1 2 a + 1 4 a 2 − b 2 , {\displaystyle z={\frac {1}{2}}a+{\sqrt {{\frac {1}{4}}a^{2}-b^{2}}},}
et
fig. 4 z = 1 2 a − 1 4 a 2 − b 2 . {\displaystyle \qquad \qquad \qquad z={\frac {1}{2}}a-{\sqrt {{\frac {1}{4}}a^{2}-b^{2}}}.}
Et si le cercle, qui ayant son centre au point N {\displaystyle \mathrm {N} } passe par le point L , {\displaystyle \mathrm {L} ,} ne coupe ni ne touche la ligne droite M Q R , {\displaystyle \mathrm {MQR} ,} il n’y a aucune racine en l’équation, de façon qu’on peut assurer que la construction du problème proposé est impossible. Au reste, ces mêmes racines se peuvent trouver par une infinité d’autres moyens, et j’ai seulement voulu mettre ceux-ci, comme fort simples, afin de faire voir qu’on peut construire tous les problèmes de la géométrie ordinaire sans faire autre chose que le peu qui est compris dans les quatre figures que j’ai expliquées. Ce que je ne crois pas
que les anciens aient remarqué ; car autrement ils n’eussent pas pris la peine d’en écrire tant de gros livres où le seul ordre de leurs propositions nous fait connaître qu’ils n’ont point eu la vraie méthode pour les trouver toutes, mais qu’ils ont seulement ramassé celles qu’ils ont rencontrées.
Et on peut le voir aussi fort clairement de ce Exemple tiré de Pappus. que Pappus a mis au commencement de son septième livre, où après s’être arrêté quelque temps à dénombrer tout ce qui avait été écrit en géométrie par ceux qui l’avaient précédé, il parle enfin d’une question qu’il dit que ni Euclide, ni Apollonius, ni aucun autre, n’avaient su entièrement résoudre ; et voici ses mots :
[texte latin] Quem autem dicit (Apollonius) in tertio libro locum ad tres et quatuor lineas ab Euclide perfectum non esse, neque ipse perficere poterat, neque aliquis alius ; sed neque paululum quid addere iis, quæ Euclides scripsit, per ea tantum conica ; quæ usque ad Euclidis tempora præmonstrata sunt, etc.
Et un peu après it explique ainsi quelle est cette question :
[texte latin] At locus ad tres et quatuor lineas, in quo (Apollonius) magnifice se jactat, et ostentat, nulla habita gratia ei, qui prius scripserat, est hujusmodi. Si positione datis tribus rectis lineis ab uno et eodem [texte latin] puncto, ad tres lineas in datis angulis recta lineæ ducantur, et data sit proportio metanguli contenti duabus ductis ad quadratum reliqua : punctum, contingit positione datum solidum locum, hoc est unam ex tribus conicis sectionibus. Et si ad quatuor rectas lineas positione datas in datis angulis lineæ ducantur ; et rectanguli duabus ductis contenti ad contentum duabus reliquis proportio data sit : similiter punctum datam coni sectionem positione continget.
Si quidem igitur ad duas tantum locus planus ostensus est. Quod si ad plures quam quatuor, punctum continget locos non adhuc cognitos, sed lineas tantum dictas ; quales autem sint, vel quam habeant proprietatem, non constat : earum unam, neque primam, et quæ manifestissima videtur, composuerunt ostendentes utilem esse. Propositiones autem ipsarum hæ sunt.
Si ab aliquo puncto ad positione datas rectas lineas quinque ducantur rectæ lineæ in datis angulis, et data sit proportio solėdi parallelepipedi rectanguli, quod tribus ductis lineis continetur ad solidum parallelepipedum rectangulum, quod continetur reliquis duabus, et data quapiam linea, punctum positione datam lineam continget. Si autem ad sex, et data sit proportio solidi tribus lineis contenti ad solidum, quod tribus reliquis continetur ; rursus punctum continget positione datam lineam. Quod si ad plures quam sex, non adhuc habent dicere, an data sit.. [texte latin]proportio cujuspiam contenti quatuor lineis ad id quod reliquis continetur, quoniam non est aliquid contentum pluribus quam tribus dimensionibus.
Où je vous prie de remarquer en passant que le scrupule que faisoient les anciens d’user des termes de l’arithmétique en la géométrie, qui ne pouvoit procéder que de ce qu’ils ne voyoient pas assez clairement letır rapport, causoit beaucoup d’obscurité et d’embarras en la façon dont ils s’expliquoient ; car Pappus poursuit en cette sorte :
[texte latin]Acquiescunt autem his, qui paulo ante talia interprețati sunt ; neque unum aliquo pacto comprehensibile significantes quod his continetur. Licebit autem per conjunctas proportiones hæc, et dicere, et demonstrare universe in dictis proportionibus, atque his in hunc modum. Si ab aliquo puncto ad positione datas rectas lineas ducantur rectæ lineæ in datis angulis, et data sit proportio conjuncta ex ea, quam habet una ductarum ad unam, et altera ad alteram, et alia ad aliam, et reliqua ad datam lineam, si sint septem ; si vero octo, et reliqua ad reliquam : punctum continget positione datas lineas. Et similiter quotcumque sint impares vel pares multitudine., cum hæc, ut dixi, loco ad quatuor lineas respondeant, nullum igitur posuerunt ita ut linea nota sit, etc. La question donc qui avoit été commencée à résoudre par Euclide et poursuivie par Apollonius, sans avoir été achevée par personne, étoit telle : Ayant trois ou quatre, ou plus grand nombre de lignes droites données par position; premièrement on demande un point duquel on puisse tirer autant d'autres lignes droites, une sur chacune des données, qui fassent avec elles des angles donnés, et que le rectangle contenu en deux de celles qui seront ainsi tirées d'un même point, ait la proportion donnée avec le carré de la troisième, s'il n'y en a que trois; ou bien avec le rectangle des deux autres, s'il y en a quatre; ou bien, s'il y en a cinq, que le parallélépipède composé de trois ait la proportion donnée avec le parallélépipède composé des deux qui restent, et d'une autre ligne donnée; ou s'il y en a six, que le parallélépipède composé de trois ait la proportion donnée avec le parallélépipède des trois autres; ou s'il y en a sept, que ce qui se produit lorsqu'on en multiplie quatre l'une par l'autre, ait la raison donnée avec ce qui se produit par la multiplication des trois autres, et encore d'une autre ligne donnée; ou s'il y en a huit, que le produit de la multiplication de quatre ait la proportion donnée avec le produit des quatre autres; et ainsi cette question se peut "tendre à tout autre nombre de lignes. Puis à cause qu'il y a toujours une infinité de divers points qui peuvent satisfaire à ce qui est ici demandé, il est aussi requis de connaître et de tracer la ligne dans laquelle ils doivent tous se trouver. Et Pappus dit que lorsqu'il
n'y a que trois ou quatre lignes droites données, c'est en une des trois sections coniques ; mais il n'entreprend point de la déterminer ni de la décrire, non plus que d'expliquer celles où tous ces points se doivent trouver, lorsque la question est proposée en un plus grand nombre de lignes. Seulement il ajoute que les anciens en avaient imaginé une qu'ils montraient y être utile, mais qui semblait la plus manifeste, et qui n'était pas toutefois la première. Ce qui m'a donné occasion d'essayer si, par la méthode dont je me sers, on peut aller aussi loin qu'ils ont été.
Et premièrement j'ai connu que cette question Réponse à la question de Pappus n'étant proposée qu'en trois, ou quatre, ou cinq lignes, on peut toujours trouver les points cherchés par la géométrie simple, c'est-à-dire en ne se servant que de la règle et du compas, ni ne faisant autre chose que ce qui a déjà été dit; excepté seulement lorsqu'il y a cinq lignes données, si elles sont toutes parallèles : auquel cas, comme aussi lorsque la question est proposée en 6, ou 7, ou 8, ou 9 lignes, on peut toujours trouver les points cherchés par la géométrie des solides, c'est-à-dire en y employant quelqu'une des trois sections coniques; excepté seulement lorsqu'il y a neuf lignes données, si elles sont toutes parallèles : auquel cas, derechef, et encore en 10, 11, 12 ou 13 lignes, on peut trouver les points cherchés par le moyen d'une ligne courbe qui soit d'un degré plus composée que les sections coniques; excepté en treize, si elles sont toutes parallèles : auquel cas, et en 14, 15, 16 et 17, il y faudra employer une ligne courbe encore d'un degré plus composée que la précédente, et ainsi à l'infini.
Puis j'ai trouvé aussi que lorsqu'il n'y a que trois ou quatre lignes données, les points cherchés se rencontrent tous, non seulement en l'une des trois sections coniques, mais quelquefois aussi en la circonférence d'un cercle ou en une ligne droite; et que lorsqu'il y en a cinq, ou six, ou sept, ou huit, tous ces points se rencontrent en quelqu'une des lignes qui sont d'un degré plus composées que les sections coniques, et il est impossible d'en imaginer aucune qui ne soit utile à cette question; mais ils peuvent aussi derechef se rencontrer en une section conique, ou en un cercle, ou en une ligne droite. Et s'il y en a 9, ou 10, ou 11, ou 12, ces points se rencontrent en une ligne qui ne peut être que d'un degré plus composée que les précédentes; mais toutes celles qui sont d'un degré plus composées y peuvent servir, et ainsi à l'infini. Au reste, la première et la plus simple de toutes, après les sections coniques, est celle qu'on peut décrire par l'intersection d'une parabole et d'une ligne droite, en la façon qui sera tantôt expliquée.
En sorte que je pense avoir entièrement satisfait à ce que Pappus nous dit avoir été cherché en ceci par les anciens ; et je tâcherai d’en mettre la démonstration en peu de mots, car il m’ennuie déjà d’en tant écrire.
Soient A B , A D , E F , G H , {\displaystyle \mathrm {AB,AD,EF,GH} ,} etc., plusieurs lignes données par position, et qu’il faille trouver un point, comme C , {\displaystyle \mathrm {C} ,} duquel ayant tiré d’autres lignes droites sur les données, comme C B , C D , C F {\displaystyle \mathrm {CB,CD,CF} } et C H , {\displaystyle \mathrm {CH} ,} en sorte que les angles C B A , C D A , {\displaystyle \mathrm {CBA,CDA} ,} C F E , C H G , {\displaystyle \mathrm {CFE,CHG} ,} etc., soient donnés, et que ce qui est produit par la multiplication d’une partie de ces lignes soit égal à ce qui est produit par la multiplication des autres, ou bien qu’ils aient quelque autre proportion donnée, car cela ne rend point la question plus difficile.
Premièrement, je suppose la chose comme déjà Comment on doit poser les termes pour venir à l’équation de cet exemple faite, et pour me démêler de la confusion de toutes ces lignes je considère l’une des données, et l’une de celles qu’il faut trouver, par exemple A B {\displaystyle \mathrm {AB} } et C B , {\displaystyle \mathrm {CB} ,} comme les principales et auxquelles je tâche de rapporter ainsi toutes les autres. Que le segment de la ligne A B , {\displaystyle \mathrm {AB} ,} qui est entre les points A {\displaystyle \mathrm {A} } et B , {\displaystyle \mathrm {B} ,} soit nommé x ; {\displaystyle x\,;} et que B C {\displaystyle \mathrm {BC} } soit nommé y ; {\displaystyle y\,;} et que toutes les autres lignes données soient prolongées jusqu’à ce qu’elles coupent ces deux aussi prolongées, s’il est besoin, et si elles ne leur sont point parallèles ; comme vous voyez ici qu’elles coupent la ligne A B {\displaystyle \mathrm {AB} } aux points A , E , G , {\displaystyle \mathrm {A,E,G} ,} et B C {\displaystyle \mathrm {BC} } aux points R , S , T . {\displaystyle \mathrm {R,S,T} .} Puis à cause que tous les angles du triangle A R B {\displaystyle \mathrm {ARB} } sont donnés, la proportion qui est entre les côtés A B {\displaystyle \mathrm {AB} } et B R {\displaystyle \mathrm {BR} } est aussi donnée, et je la pose comme de z {\displaystyle z} à b , {\displaystyle b,} de façon que A B {\displaystyle \mathrm {AB} } étant x , {\displaystyle x,} B R {\displaystyle \mathrm {BR} } sera b x z {\displaystyle {\frac {bx}{z}}} et la toute C R {\displaystyle \mathrm {CR} } sera y + b x z {\displaystyle y+{\frac {bx}{z}}} , à cause que le point B {\displaystyle \mathrm {B} } tombe entre C {\displaystyle \mathrm {C} } et R {\displaystyle \mathrm {R} } ; car si R {\displaystyle \mathrm {R} } tombait entre C {\displaystyle \mathrm {C} } et B , {\displaystyle \mathrm {B} ,} C R {\displaystyle \mathrm {CR} } serait y − b x z {\displaystyle y-{\frac {bx}{z}}} et si C {\displaystyle \mathrm {C} } tombait entre B {\displaystyle \mathrm {B} } et R , {\displaystyle \mathrm {R} ,} C R {\displaystyle \mathrm {CR} } serait − y + b x z {\displaystyle -y+{\frac {bx}{z}}} . Tout de même les trois angles du triangle D R C {\displaystyle \mathrm {DRC} } sont donnés, et par conséquent aussi la proportion qui est entre les côtés C R {\displaystyle \mathrm {CR} } et C D , {\displaystyle \mathrm {CD} ,} que je pose comme de z {\displaystyle z} à c , {\displaystyle c,} de façon que C R {\displaystyle \mathrm {CR} } étant y + b x z {\displaystyle y+{\frac {bx}{z}}} , C D {\displaystyle \mathrm {CD} } sera c y z + b c x z 2 {\displaystyle {\frac {cy}{z}}+{\frac {bcx}{z^{2}}}} . Après cela, pourceque les lignes A B , A D {\displaystyle \mathrm {AB,AD} } et E F {\displaystyle \mathrm {EF} } sont données par position, la distance qui est entre les points A {\displaystyle \mathrm {A} } et E {\displaystyle \mathrm {E} } est aussi donnée, et si on la nomme k {\displaystyle k} , on aura E B {\displaystyle \mathrm {EB} } égal à k + x ; {\displaystyle k+x\,;} mais ce serait k − x {\displaystyle k-x} si le point B {\displaystyle \mathrm {B} } tombait entre E {\displaystyle \mathrm {E} } et A {\displaystyle \mathrm {A} } ; et − k + x {\displaystyle -k+x} si E {\displaystyle \mathrm {E} } tombait entre A {\displaystyle \mathrm {A} } et B . {\displaystyle \mathrm {B} .} Et pour ce que les angles du triangle E S B {\displaystyle \mathrm {ESB} } sont tous donnés, la proportion de B E {\displaystyle \mathrm {BE} } à B S {\displaystyle \mathrm {BS} } est aussi donnée, et je la pose comme de z {\displaystyle z} à d {\displaystyle d} , si bien que B S {\displaystyle \mathrm {BS} } est d k + d x z {\displaystyle {\frac {dk+dx}{z}}} et la toute C S {\displaystyle \mathrm {CS} } est z y + d k + d x z {\displaystyle {\frac {zy+dk+dx}{z}}} mais ce serait z y − d k − d x z {\displaystyle {\frac {zy-dk-dx}{z}}} si le point S {\displaystyle \mathrm {S} } tombait entre B {\displaystyle \mathrm {B} } et C ; {\displaystyle \mathrm {C} \,;} et ce seroit − z y + d k + d x z {\displaystyle {\frac {-zy+dk+dx}{z}}} si C {\displaystyle \mathrm {C} } tombait entre B {\displaystyle \mathrm {B} } et S . {\displaystyle \mathrm {S} .} De plus les trois angles du triangle F S C {\displaystyle \mathrm {FSC} } sont donnés, et ensuite la proportion de C S {\displaystyle \mathrm {CS} } à C F , {\displaystyle \mathrm {CF} ,} qui soit comme de z {\displaystyle z} à e , {\displaystyle e,} et la toute C F {\displaystyle \mathrm {CF} } sera e z y + d e k + d e x z 2 {\displaystyle {\frac {ezy+dek+dex}{z^{2}}}} . En même façon A G {\displaystyle \mathrm {AG} } que je nomme l {\displaystyle l} est donnée, et B G {\displaystyle \mathrm {BG} } est l − x , {\displaystyle l-x,} et à cause du triangle B G T , {\displaystyle \mathrm {BGT} ,} la proportion de B G {\displaystyle \mathrm {BG} } à B T {\displaystyle \mathrm {BT} } est aussi donnée, qui soit comme de z {\displaystyle z} à f , {\displaystyle f,} et B T {\displaystyle \mathrm {BT} } sera f l − f x z , {\displaystyle {\frac {fl-fx}{z}},} et C T = z y + f l − f x z . {\displaystyle \mathrm {CT} ={\frac {zy+fl-fx}{z}}.} Puis derechef la proportion de C T {\displaystyle \mathrm {CT} } à C H {\displaystyle \mathrm {CH} } est donnée à cause du triangle T C H , {\displaystyle \mathrm {TCH} ,} et la posant comme de z {\displaystyle z} à g , {\displaystyle g,} on aura C H = g z y + f g l − f g x z 2 . {\displaystyle \mathrm {CH} ={\frac {gzy+fgl-fgx}{z^{2}}}.} Et ainsi vous voyez qu’un tel nombre de lignes données par position qu’on puisse avoir, toutes les lignes tirées dessus du point C {\displaystyle \mathrm {C} } à angles donnés, suivant la teneur de la question, se peuvent toujours exprimer chacune par trois termes, dont l’un est composé de la quantité inconnue y , {\displaystyle y,} multipliée ou divisée par quelque autre connue ; et l’autre de la quantité inconnue x , {\displaystyle x,} aussi multipliée ou divisée par quelque autre connue ; et le troisième d’une quantité toute connue ; excepté seulement si elles sont parallèles, ou bien à la ligne A B , {\displaystyle \mathrm {AB} ,} auquel cas le terme composé de la quantité x {\displaystyle x} sera nul ; ou bien à la ligne C B , {\displaystyle \mathrm {CB} ,} auquel cas celui qui est composé de la quantité y {\displaystyle y} sera nul, ainsi qu’il est trop manifeste pour que je m’arrête à l’expliquer. Et pour les signes + {\displaystyle +} et − {\displaystyle -} qui se joignent à ces termes, ils
peuvent être changés en toutes les façons imaginables.
Puis vous voyez aussi que, multipliant plusieurs de ces lignes l’une par l’autre, les quantités x {\displaystyle x} et y {\displaystyle y} qui se trouvent dans le produit n’y peuvent avoir que chacune autant de dimensions qu’il y a eu de lignes à l’explication desquelles elles servent, qui ont été ainsi multipliées ; en sorte qu’elles n’auront jamais plus de deux dimensions en ce qui ne sera produit que par la multiplication de deux lignes ; ni plus de trois, en ce qui ne sera produit que par la multiplication de trois, et ainsi à l’infini.
De plus, à cause que pour déterminer le point C , {\displaystyle \mathrm {C} ,} Comment on trouve que ce problème est plan lorsqu’il n’est point proposé en plus de cinq lignes il n’y a qu’une seule condition qui soit requise, à savoir que ce qui est produit par la multiplication d’un certain nombre de ces lignes soit égal, ou, ce qui n’est de rien plus malaisé, ait la proportion donnée à ce qui est produit par la multiplication des autres ; on peut prendre à discrétion l’une des deux quantités inconnues x {\displaystyle x} ou y , {\displaystyle y,} et chercher l’autre par cette équation, en laquelle il est évident que, lorsque la question n’est point posée en plus de cinq lignes, la quantité x , {\displaystyle x,} qui ne sert point à l’expression de la première, peut toujours n’y avoir que deux dimensions ; de façon que, prenant une quantité connue pour y , {\displaystyle y,} il ne restera que x + ou − a x + ou − b 2 ; {\displaystyle x+{\text{ ou }}-ax+{\text{ ou }}-b^{2}\,;} et ainsi on pourra trouver la quantité x {\displaystyle x} avec la règle et le compas, en la façon tantôt expliquée. Même, prenant successivement infinies diverses grandeurs pour la ligne y , {\displaystyle y,} on en trouvera aussi infinies pour la ligne x , {\displaystyle x,} et ainsi on aura une infinité de divers points, tels que celui qui est marqué C , {\displaystyle \mathrm {C} ,} par le moyen desquels on décrira la ligne courbe demandée.
Il se peut faire aussi, la question étant proposée en six ou plus grand nombre de lignes, s’il y en a entre les données qui soient parallèles à A B {\displaystyle \mathrm {AB} } ou B C , {\displaystyle \mathrm {BC} ,} que l’une des deux quantités x {\displaystyle x} ou y {\displaystyle y} n’ait que deux dimensions en l’équation, et ainsi qu’on puisse trouver le point C {\displaystyle \mathrm {C} } avec la règle et le compas. Mais au contraire si elles sont toutes parallèles, encore que la question ne soit proposée qu’en cinq lignes, ce point C {\displaystyle \mathrm {C} } ne pourra ainsi être trouvé, à cause que la quantité x {\displaystyle x} ne se trouvant point en toute l’équation, il ne sera plus permis de prendre une quantité connue pour celle qui est nommée y , {\displaystyle y,} mais ce sera celle qu’il faudra chercher. Et pourcequ’elle aura trois dimensions, on ne le pourra trouver qu’en tirant la racine d’une équation cubique, ce qui ne se peut généralement faire sans qu’on y emploie pour le moins une section conique. Et encore qu’il y ait jusqu’à neuf lignes données, pourvu qu’elles ne soient point toutes parallèles, on peut toujours faire que l’équation ne monte que jusqu’au carré de carré ; au moyen de quoi on la peut aussi toujours résoudre par les sections coniques, en la façon que j'expliquerai ci-après. Et encore qu'il y en ait jusqu’à treize, on peut toujours faire qu'elle ne monte que jusqu’au carré de cube; ensuite de quoi on la peut résoudre par le moyen d'une ligne, qui n'est que d'un degré plus composée que les sections coniques, en la façon que j'expliquerai aussi ci-après. Et ceci est la première partie de ce que j'avais ici à démontrer; mais avant que je passe à la seconde, il est besoin que je dise quelque chose en général de la nature des lignes courbes.
de la nature des lignes courbes.
Les anciens ont fort bien remarqué qu’entre les Quelles sont les lignes courbes qu’on peut recevoir en géométrie. problèmes de géométrie, les uns sont plans, les autres solides et les autres linéaires, c’est-à-dire que les uns peuvent être construits en ne traçant que des lignes droites et des cercles ; au lieu que les autres ne le peuvent être, qu’on n’y emploie pour le moins quelque section conique ; ni enfin les autres, qu’on n’y emploie quelque autre ligne plus composée. Mais je m’étonne de ce qu’ils n’ont point outre cela distingué divers degrés entre ces lignes plus composées, et je ne saurais comprendre pourquoi ils les ont nommées mécaniques plutôt que géométriques. Car de dire que c’ait été à cause qu’il est besoin de se servir de quelque machine pour les décrire, il faudrait rejeter par même raison les cercles et les lignes droites, vu qu’on ne les décrit sur le papier qu’avec un compas et une règle, qu’on peut aussi nommer des machines. Ce n’est pas non plus à cause que les instruments qui servent à les tracer, étant plus composés que la règle et le compas, ne peuvent être si justes ; car il faudrait pour cette raison les rejeter des mécaniques, où la justesse des ouvrages qui sortent de la main est désirée, plutôt que de la géométrie, où c’est seulement la justesse du raisonnement qu’on recherche, et qui peut sans doute être aussi parfaite touchant ces lignes que touchant les autres. Je ne dirai pas aussi que ce soit à cause qu’ils n’ont pas voulu augmenter le nombre de leurs demandes, et qu’ils se sont contentés qu’on leur accordât qu’ils pussent joindre deux points donnés par une ligne droite, et décrire un cercle d’un centre donné qui passât par un point donné; car ils n’ont point fait de scrupule de supposer outre cela, pour traiter des sections coniques, qu’on pût couper tout cône donné par un plan donné. Et il n’est besoin de rien supposer pour tracer toutes les lignes courbes que je prétends ici d’introduire, sinon que deux ou plusieurs lignes puissent être mues l’une par l’autre, et que leurs intersections en marquent d'autres ; ce qui ne me paraît en rien plus difficile. Il est vrai qu’ils n’ont pas aussi entièrement reçu les sections coniques en leur géométrie, et je ne veux pas entreprendre de changer les noms qui ont été approuvés par l’usage ; mais il est, ce me semble, très clair que, prenant comme on fait pour géométrique ce qui est précis et exact, et pour mécanique ce qui ne l'est pas, et considérant la géométrie comme une science qui enseigne généralement à connaître les mesures de tous les corps, on n'en doit pas plutôt exclure les lignes les plus composées que les plus simples, pourvu qu'on les puisse imaginer être décrites par un mouvement continu, ou par plusieurs qui s'entre-suivent, et dont les derniers soient entièrement réglés par ceux qui les précèdent ; car par ce moyen on peut toujours avoir une connaissance exacte de leur mesure. Mais peut-être que ce qui a empêché les anciens géomètres de recevoir celles qui étaient plus composées que les sections coniques, c'est que les premières qu'ils ont considérées, ayant par hasard été la spirale, la quadratrice et semblables, qui n'appartiennent véritablement qu'aux mécaniques, et ne sont point du nombre de celles que je pense devoir ici être reçues, à cause qu'on les imagine décrites par deux mouvements séparés, et qui n'ont entre eux aucun rapport qu'on puisse mesurer exactement ; bien qu'ils aient après examiné la conchoïde, la cissoïde, et quelque peu d'autres qui en sont, toutefois à cause qu'ils n'ont peut-être pas assez remarqué leurs propriétés, ils n'en ont pas fait plus d'état que des premières ; ou bien c'est que, voyant qu'ils ne connaissaient encore que peu de choses touchant les sections coniques, et qu'il leur en restait même beaucoup, touchant ce qui se peut faire avec la règle et le compas, qu’ils ignoraient, ils ont cru ne devoir point entamer de matière plus difficile. Mais pourceque j’espère que dorénavant ceux qui auront l’adresse de se servir du calcul géométrique ici proposé, ne trouveront pas assez de quoi s’arrêter touchant les problèmes plans ou solides, je crois qu’il est à propos que je les invite à d’autres recherches, où ils ne manqueront jamais d’exercice. Voyez les lignes A B , A D , A F {\displaystyle \mathrm {AB,AD,AF} } et semblables, que je suppose avoir été décrites par l’aide de l’instrument Y Z , {\displaystyle \mathrm {YZ} ,} qui est composé de plusieurs règles tellement jointes que celle qui est marquée Y Z {\displaystyle \mathrm {YZ} } étant arrêtée sur la ligne A N , {\displaystyle \mathrm {AN} ,} on peut ouvrir et fermer l’angle X Y Z , {\displaystyle \mathrm {XYZ} ,} et que lorsqu’il est tout fermé, les points B , C , D , E , F , G , H {\displaystyle \mathrm {B,C,D,E,F,G,H} } sont tous assemblés au point A ; {\displaystyle \mathrm {A} \,;} mais qu’à mesure qu’on l’ouvre, la règle B C , {\displaystyle \mathrm {BC} ,} qui est jointe à angles droits avec X {\displaystyle \mathrm {X} } Y au point B , {\displaystyle \mathrm {B} ,} pousse vers Z {\displaystyle \mathrm {Z} } la règle C D , {\displaystyle \mathrm {CD} ,} qui coule sur Y Z {\displaystyle \mathrm {YZ} } en faisant toujours des angles droits avec elle ; et C D {\displaystyle \mathrm {CD} } pousse D E , {\displaystyle \mathrm {DE} ,} qui coule tout de même sur Y X {\displaystyle \mathrm {YX} } en demeurant parallèle à B C ; {\displaystyle \mathrm {BC} \,;} D E {\displaystyle \mathrm {DE} } pousse E F , {\displaystyle \mathrm {EF} ,} E F {\displaystyle \mathrm {EF} } pousse F G , {\displaystyle \mathrm {FG} ,} celle-ci pousse G H , {\displaystyle \mathrm {GH} ,} et on en peut concevoir une infinité d’autres qui se poussent consécutivement en même façon, et dont les unes fassent toujours les mêmes angles avec Y X {\displaystyle \mathrm {YX} } et les autres avec Y Z . {\displaystyle \mathrm {YZ} .} Or, pendant qu’on ouvre ainsi l’an
gle X Y Z , {\displaystyle \mathrm {XYZ} ,} le point B {\displaystyle \mathrm {B} } décrit la ligne A B , {\displaystyle \mathrm {AB} ,} qui est un cercle ; et les autres points D , F , H , {\displaystyle \mathrm {D,F,H} ,} où se font les intersections des autres règles, décrivent d’autres lignes courbes A D , A F , A H , {\displaystyle \mathrm {AD,AF,AH} ,} dont les dernières sont par ordre plus composées que la première, et celle-ci plus que le cercle ; mais je ne vois pas ce qui peut empêcher qu’on ne conçoive aussi nettement et aussi distinctement la description de cette première que du cercle, ou du moins que des sections coniques ; ni ce qui peut empêcher qu’on ne conçoive la seconde, et la troisième, et toutes les autres qu’on peut décrire, aussi bien que la première ; ni par conséquent qu’on ne les reçoive toutes en même façon pour servir aux spéculations de géométrie.
Je pourrois mettre ici plusieurs autres moyens pour tracer et concevoir des La façon de distinguer toutes ces lignes courbes en certains genres, et de connaître le rapport qu’ont tous leurs points à ceux des lignes droites lignes courbes qui seraient de plus en plus composées par degrés à l’infini ; mais pour comprendre ensemble toutes celles qui sont en la nature, et les distinguer par ordre en certains genres, je ne sache rien de meilleur que de dire que tous les points de celles qu’on peut nommer géométriques, c’est-à-dire qui tombent sous quelque mesure précise et exacte, ont nécessairement quelque rapport à tous les points d’une ligne droite, qui peut être exprimée par quelque équation, en tous par une même ; et que, lorsque cette équation ne monte que jusqu’au rec-(tangle) tangle de deux quantités indéterminées, ou bien au carré d’une même, la ligne courbe est du premier et plus simple genre, dans lequel il n’y a que le cercle, la parabole, l’hyperbole et l’ellipse qui soient compris ; mais que lorsque l’équation monte jusqu’à la troisième ou quatrième dimension des deux, ou de l’une des deux quantités indéterminées (car il en faut deux pour expliquer ici le rapport d’un point à un autre), elle est du second ; et que lorsque l’équation monte jusqu’à la cinquième ou sixième dimension, elle est du troisième ; et ainsi des autres à l’infini. Comme si je veux savoir de quel genre est la ligne E C , {\displaystyle \mathrm {EC} ,} que j’imagine être décrite par l’intersection de la règle G L {\displaystyle \mathrm {GL} } et du plan rectiligne C N K L , {\displaystyle \mathrm {CNKL} ,} dont le côté K N {\displaystyle \mathrm {KN} } est indéfiniment prolongé vers C , {\displaystyle \mathrm {C} ,} et qui, étant mu sur le plan de dessous en ligne droite, c’est-à-dire en telle sorte que son diamètre K L {\displaystyle \mathrm {KL} } se trouve toujours appliqué sur quelque endroit de la ligne B A {\displaystyle \mathrm {BA} } prolongée de part et d’autre, fait mouvoir circulairement cette règle G L {\displaystyle \mathrm {GL} } autour du point G , {\displaystyle \mathrm {G} ,} à cause qu’elle lui est tellement jointe qu’elle passe toujours par le point L . {\displaystyle \mathrm {L} .} Je choisis une ligne droite comme A B , {\displaystyle \mathrm {AB} ,} pour rapporter à ses divers points tous ceux de cette ligne courbe E C {\displaystyle \mathrm {EC} } ; et en cette ligne A B {\displaystyle \mathrm {AB} } je choisis un point comme A, pour commencer par lui ce calcul. Je dis que je choisis et l’un et l’autre, à cause qu’il est
libre de les prendre tels qu’on veut ; car encore qu’il y ait beaucoup de choix pour rendre l’équation plus courte et plus aisée, toutefois en quelle façon qu’on les prenne, on peut toujours faire que la ligne paraisse de même genre, ainsi qu’il est aisé à démontrer. Après cela prenant un point à discrétion dans la courbe, comme C , {\displaystyle \mathrm {C} ,} sur lequel je suppose que l’instrument qui sert à la décrire est appliqué, je tire de ce point C {\displaystyle \mathrm {C} } la ligne C B {\displaystyle \mathrm {CB} } parallèle à G A , {\displaystyle \mathrm {GA} ,} et pourceque C B {\displaystyle \mathrm {CB} } et B A {\displaystyle \mathrm {BA} } sont deux quantités indéterminées et inconnues, je les nomme l’une y {\displaystyle y} et l’autre x {\displaystyle x} ; mais afin de trouver le rapport de l’une à l’autre, je considère aussi les quantités connues qui déterminent la description de cette ligne courbe, comme G A , {\displaystyle \mathrm {GA} ,} que je nomme a , {\displaystyle a,} K L {\displaystyle \mathrm {KL} } que je nomme b , {\displaystyle b,} et N L , {\displaystyle \mathrm {NL} ,} parallèle à G A , {\displaystyle \mathrm {GA} ,} que je nomme c {\displaystyle c} ; puis je dis, comme N L {\displaystyle \mathrm {NL} } est à L K , {\displaystyle \mathrm {LK} ,} ou c {\displaystyle c} à b , {\displaystyle b,} ainsi C B {\displaystyle \mathrm {CB} } ou y {\displaystyle y} est à B K , {\displaystyle \mathrm {BK} ,} qui est par conséquent b c y {\displaystyle {\frac {b}{c}}y} : et B L {\displaystyle \mathrm {BL} } est b c y − b , {\displaystyle {\frac {b}{c}}y-b,} et A L {\displaystyle \mathrm {AL} } est x + b c y − b {\displaystyle x+{\frac {b}{c}}y-b} .
De plus, comme C B {\displaystyle \mathrm {CB} } est à L B , {\displaystyle \mathrm {LB} ,} ou y {\displaystyle y} à b c y − b , {\displaystyle {\frac {b}{c}}y-b,} ainsi a {\displaystyle a} ou G A {\displaystyle \mathrm {GA} } est à L A {\displaystyle \mathrm {LA} } ou x + b c y − b ; {\displaystyle x+{\frac {b}{c}}y-b\,;} de façon que, multipliant la seconde par la troisième, on produit a b c y − a b , {\displaystyle {\frac {ab}{c}}y-ab,} qui est égale à x y + b c y 2 − b y , {\displaystyle xy+{\frac {b}{c}}y^{2}-by,} qui se produit en multipliant la première par la dernière : et ainsi l’équation qu’il fallait trouver est
y 2 = c y − c x b y + a y − a c , {\displaystyle y^{2}=cy-{\frac {cx}{b}}y+ay-ac,} de laquelle on connaît que la ligne E C {\displaystyle \mathrm {EC} } est du premier genre, comme en effet elle n’est autre qu’une hyperbole.
Que si, en l’instrument qui sert à la décrire, on fait qu’au lieu de la ligne droite C N K , {\displaystyle \mathrm {CNK} ,} ce soit cette hyperbole, ou quelque autre ligne courbe du premier genre, qui termine le plan C N K L , {\displaystyle \mathrm {CNKL} ,} l’intersection de cette ligne et de la règle G L {\displaystyle \mathrm {GL} } décrira, au lieu de l’hyperbole E C , {\displaystyle \mathrm {EC} ,} une autre ligne courbe qui sera d’un second genre. Comme si C N K {\displaystyle \mathrm {CNK} } est un cercle dont L {\displaystyle \mathrm {L} } soit le centre, on décrira la première conchoïde des Anciens ; et si c’est une parabole dont le diamètre soit K B , {\displaystyle \mathrm {KB} ,} on décrira la ligne courbe que j’ai tantôt dit être la première et la plus simple pour la question de Pappus, lorsqu’il n’y a que cinq lignes droites données par position ; mais si au lieu d’une de ces lignes courbes du premier genre, c’en est une du second qui termine le plan C N K L , {\displaystyle \mathrm {CNKL} ,} on en décrira, par son moyen, une du troisième, ou si c’en est une du troisième, on en décrira une du quatrième, et ainsi à l’infini, comme il est fort aisé à connaître par le calcul. Et en quelque autre façon qu’on imagine la description d’une ligne courbe, pourvu qu’elle soit du nombre de celles que je nomme géométriques, on pourra toujours trouver une équation pour déterminer tous ses points en cette sorte. Au reste, je mets les lignes courbes qui font
monter cette équation jusqu’au carré, au même genre que celles qui ne la font monter que jusqu’au cube ; et celles dont l’équation monte au carré de cube, au même genre que celles dont elle ne monte qu’au sursolide, et ainsi des autres : dont la raison est qu’il y a règle générale pour réduire au cube toutes les difficultés qui vont au carré de carré, et au sursolide toutes celles qui vont au carré de cube ; de façon qu’on ne les doit point estimer plus composées.
Mais il est à remarquer qu’entre les lignes de chaque genre, encore que la plupart soient également composées, en sorte qu’elles peuvent servir à déterminer les mêmes points et construire les mêmes problèmes, il y en a toutefois aussi quelques-unes qui sont plus simples, et qui n’ont pas tant d’étendue en leur puissance ; comme entre celles du premier genre, outre l’ellipse, l’hyperbole et la parabole, qui sont également composées, le cercle y est aussi compris, qui manifestement est plus simple ; et entre celles du second genre, il y a la conchoïde vulgaire, qui a son origine du cercle ; et il y en a encore quelques autres qui, bien qu’elles n’aient pas tant d’étendue que la plupart de celles du même genre, ne peuvent Suite de l’explication de la question de Pappus mise au livre précédent. toutefois être mises dans le premier.
Or, après avoir ainsi réduit toutes les lignes courbes à certains genres, il m’est aisé de poursuivre en la démonstration de la réponse que j'ai tantôt faite à la question de Pappus ; car premièrement, ayant fait voir ci-dessus que, lorsqu'il n'y a que trois ou quatre lignes droites données, l'équation qui sert à déterminer les points cherchés ne monte que jusqu'au carré, il est évident que la ligne courbe où se trouvent ces points est nécessairement quelqu'une de celles du premier genre, à cause que cette même équation explique le rapport qu'ont tous les points des lignes du premier genre à ceux d'une ligne droite ; et que lorsqu'il n'y a point plus de huit lignes droites données, cette équation ne monte que jusqu'au carré de carré tout au plus, et que par conséquent la ligne cherchée ne peut être que du second genre, ou au-dessous ; et que lorsqu'il n'y a point plus de douze lignes données, l'équation ne monte que jusqu'au carré de cube, et que par conséquent la ligne cherchée n'est que du troisième genre, ou au-dessous ; et ainsi des autres. Et même à cause que la position des lignes droites données peut varier en toutes sortes, et par conséquent faire changer tant les quantités connues que les signes + {\displaystyle +} et − {\displaystyle -} de l'équation, en toutes les façons imaginables, il est évident qu'il n'y a aucune ligne courbe du premier genre qui ne soit utile à cette question, quand elle est proposée en quatre lignes droites ; ni aucune du second qui n'y soit utile, quand elle est proposée en huit ; ni du troisième, quand elle est proposée en douze ; et ainsi des autres : en sorte qu’il n’y a pas une ligne courbe qui tombe sous le calcul et puisse être reçue en géométrie, qui n’y soit utile pour quelque nombre de lignes.
Mais il faut ici plus particulièrement que je détermine Solution de cette question quand elle n’est proposée qu’en trois ou quatre lignes et donne la façon de trouver la ligne cherchée qui sert en chaque cas, lorsqu’il n’y a que trois ou quatre lignes droites données ; et on verra, par même moyen, que le premier genre des lignes courbes n’en contient aucunes autres que les trois sections coniques et le cercle.
Reprenons les quatre lignes A B , A D , E F {\displaystyle \mathrm {AB,AD,EF} } et G H {\displaystyle \mathrm {GH} } données ci-dessus, et qu’il faille trouver une autre ligne, en laquelle il se rencontre une infinité de points tels que C , {\displaystyle \mathrm {C} ,} duquel ayant tiré les 4 lignes C B , C D , C F , {\displaystyle \mathrm {CB,CD,CF} ,} et C H , {\displaystyle \mathrm {CH} ,} à angles donnés, sur les données, C B {\displaystyle \mathrm {CB} } multipliée par C F , {\displaystyle \mathrm {CF} ,} produit une somme égale à C D , {\displaystyle \mathrm {CD} ,} multipliée par C H ; {\displaystyle \mathrm {CH} \,;} c’est à dire ayant fait
C B = y , C D = c z y + b c x z 2 , {\displaystyle \mathrm {CB} =y,\ \ \mathrm {CD} ={\frac {czy+bcx}{z^{2}}},} C F = e z y + d e k + d e x z 2 , {\displaystyle \ \ \mathrm {CF} ={\frac {ezy+dek+dex}{z^{2}}},}
et C H = g z y + f g l − f g x z 2 , {\displaystyle \mathrm {CH} ={\frac {gzy+fgl-fgx}{z^{2}}},}
l’équation est
y 2 = ( c f g l z − d e k z 2 ) y − ( d e z 2 + c f g z − b c g z ) x y + b c f g l x − b c f g x 2 e z 3 − c g z 2 {\displaystyle y^{2}={\frac {(cfglz-dekz^{2})y-(dez^{2}+cfgz-bcgz)xy+bcfglx-bcfgx^{2}}{ez^{3}-cgz^{2}}}} au moins en supposant e z {\displaystyle ez} plus grand que c g {\displaystyle cg} car s’il était moindre, il faudrait changer tous les lignes + {\displaystyle +} et − . {\displaystyle -.} Et si la quantité se trouvait nulle, ou moindre que rien en cette équation, lorsqu’on a supposé le point C {\displaystyle \mathrm {C} } en l’angle D A G , {\displaystyle \mathrm {DAG} ,} il faudrait le supposer aussi en l’angle D A E , {\displaystyle \mathrm {DAE} ,} ou E A R {\displaystyle \mathrm {EAR} } ou R A G , {\displaystyle \mathrm {RAG} ,} en changeant les lignes + {\displaystyle +} et − {\displaystyle -} selon qu’il serait requis à cet effet. Et si en toutes ces 4 positions la valeur de y {\displaystyle y} se trouvait nulle, la question serait impossible au cas proposé. Mais supposons-la ici être possible, et pour en abréger les termes, au lieu des quantités c f l g z − d e k z 2 e z 3 − c g z 2 {\displaystyle {\frac {cflgz-dekz^{2}}{ez^{3}-cgz^{2}}}} écrivons 2 m ; {\displaystyle 2m\,;} et au lieu de d e z 2 + c f g z − b c g z e z 3 − c g z 2 , {\displaystyle {\frac {dez^{2}+cfgz-bcgz}{ez^{3}-cgz^{2}}},} écrivons 2 n z ; {\displaystyle {\frac {2n}{z}}\,;} et ainsi nous aurons
y 2 = 2 m y − 2 n z x y + b c f l g x − b c f g x 2 e z 3 − c g z 2 , {\displaystyle y^{2}=2my-{\frac {2n}{z}}xy+{\frac {bcflgx-bcfgx^{2}}{ez^{3}-cgz^{2}}},}
dont la racine est
y = m − n x z + m 2 − 2 m n x z + n 2 x 2 z 2 + b c f l g x − b c f g x 2 e z 3 − c g z 2 . {\displaystyle y=m-{\frac {nx}{z}}+{\sqrt {m^{2}-{\frac {2mnx}{z}}+{\frac {n^{2}x^{2}}{z^{2}}}+{\frac {bcflgx-bcfgx^{2}}{ez^{3}-cgz^{2}}}}}.}
et derechef pour abréger, au lieu de − 2 m n z + b c f l g e z 3 − c g z 2 , {\displaystyle -{\frac {2mn}{z}}+{bcflg}{ez^{3}-cgz^{2}},} écrivons o ; {\displaystyle o\,;} et au lieu de n 2 z 2 − b c f g e z 3 − c g z 2 , {\displaystyle {\frac {n^{2}}{z^{2}}}-{\frac {bcfg}{ez^{3}-cgz^{2}}},} écrivons p m ; {\displaystyle {\frac {p}{m}}\,;} car ces quantités étant toutes données, nous les pouvons nommer comme il nous plaît et ainsi nous avons
y = m − n z x + m 2 + o x + p m x 2 , {\displaystyle y=m-{\frac {n}{z}}x+{\sqrt {m^{2}+ox+{\frac {p}{m}}x^{2}}},}
qui doit être la longueur de la ligne B C , {\displaystyle \mathrm {BC} ,} en laissant A B , {\displaystyle \mathrm {AB} ,} ou x {\displaystyle x} indéterminée. Et il est évident que la question n’étant proposée qu’en trois ou quatre lignes, on peut toujours avoir de tels termes, excepté que quelques uns d’eux peuvent être nuls, et que les signes + {\displaystyle +} et − {\displaystyle -} peuvent diversement être changés.
Après cela je fais K I {\displaystyle \mathrm {KI} } égale et parallèle à B A , {\displaystyle \mathrm {BA} ,} en sorte qu’elle coupe de B C {\displaystyle \mathrm {BC} } la partie B K {\displaystyle \mathrm {BK} } égale à m , {\displaystyle m,} à cause qu’il y a ici + m ; {\displaystyle +m\,;} et je l’aurais ajoutée en tirant cette ligne I K {\displaystyle \mathrm {IK} } de l’autre coté, s’il aurait eu − m ; {\displaystyle -m\,;} et je ne l’aurais point du tout tirée, si la quantité m {\displaystyle m} eut été nulle. Puis je tire aussi I L , {\displaystyle \mathrm {IL} ,} en sorte que la ligne I K {\displaystyle \mathrm {IK} } est à K L , {\displaystyle \mathrm {KL} ,} comme z {\displaystyle z} est à n {\displaystyle n} . C’est-à-dire que I K {\displaystyle \mathrm {IK} } étant x , {\displaystyle x,} K L {\displaystyle \mathrm {KL} } est n z x {\displaystyle {\frac {n}{z}}x} . Et par même moyen je connais aussi la proportion qui est entre K L , {\displaystyle \mathrm {KL} ,} et I L , {\displaystyle \mathrm {IL} ,} que je pose comme entre n {\displaystyle n} et a : {\displaystyle a\,:} si bien que K L {\displaystyle \mathrm {KL} } étant n z x , {\displaystyle {\frac {n}{z}}x,} iL est a z x {\displaystyle {\frac {a}{z}}x} . Et je fais que le point K {\displaystyle \mathrm {K} } soit entre L {\displaystyle \mathrm {L} } et C , {\displaystyle \mathrm {C} ,} à cause qu’il y a ici − n z x ; {\displaystyle -{\frac {n}{z}}x\,;} au lieu que j’aurais mis L {\displaystyle \mathrm {L} } entre K {\displaystyle \mathrm {K} } et C , {\displaystyle \mathrm {C} ,} si j’eusse eu + n z x ; {\displaystyle +{\frac {n}{z}}x\,;} et je n’eusse point tiré cette ligne I L , {\displaystyle \mathrm {IL} ,} si n z x {\displaystyle {\frac {n}{z}}x} eût été nulle.
Or cela fait, il ne me reste plus pour la ligne L C , {\displaystyle \mathrm {LC} ,} que ces termes
L C = m 2 + o x + p m x 2 , {\displaystyle \mathrm {LC} ={\sqrt {m^{2}+ox+{\frac {p}{m}}x^{2}}},}
d’où je vois que s’ils étaient nuls, ce point C {\displaystyle \mathrm {C} } se trouverait en la ligne droite I L ; {\displaystyle \mathrm {IL} \,;} et que s’ils étaient tels que la racine s’en pût tirer, c’est-à-dire que m 2 {\displaystyle m^{2}} et p m x 2 {\displaystyle {\frac {p}{m}}x^{2}} étant marqués d’un même signe + {\displaystyle +} ou − , {\displaystyle -,} o 2 {\displaystyle o^{2}} fût égal à 4 p m , {\displaystyle 4pm,} ou bien que les termes m 2 {\displaystyle m^{2}} et o x , {\displaystyle ox,} ou o x {\displaystyle ox} et p m x 2 {\displaystyle {\frac {p}{m}}x^{2}} fussent nuls, ce point C {\displaystyle \mathrm {C} } se trouverait en une autre ligne droite qui ne serait pas plus malaisée à trouver que I L . {\displaystyle \mathrm {IL} .} Mais lorsque cela n’est pas, ce point C {\displaystyle \mathrm {C} } est toujours en l’une des trois sections coniques, ou en un cercle, dont l’un des diamètres est en la ligne I L , {\displaystyle \mathrm {IL} ,} et la ligne L C {\displaystyle \mathrm {LC} } est l’une de celles qui s’appliquent par ordre à ce diamètre ; ou au contraire L C {\displaystyle \mathrm {LC} } est parallèle au diamètre, auquel celle qui et en la ligne I L {\displaystyle \mathrm {IL} } et appliquée par ordre. À savoir si le terme p m x 2 , {\displaystyle {\frac {p}{m}}x^{2},} est nul cette section conique et une Parabole ; et s’il est marqué du signe + , {\displaystyle +,} c’est une Hyperbole, et enfin s’il et marqué du signe − {\displaystyle -} c’est une Ellipse. Excepté seulement si la quantité a 2 m {\displaystyle a^{2}m} est égale à p z 2 , {\displaystyle pz^{2},} et que l’angle I L C {\displaystyle \mathrm {ILC} } soit droit ; auquel cas on a un cercle au lieu d’une Ellipse. Que si cette section est une Parabole, son côté droit est égal à o z a , {\displaystyle {\frac {oz}{a}},} et son diamètre et toujours en la ligne I L ; {\displaystyle \mathrm {IL} \,;} et pour trouver le point N , {\displaystyle \mathrm {N} ,} qui en est le sommet, il faut faire I N {\displaystyle \mathrm {IN} } égale à a m 2 o z ; {\displaystyle {\frac {am^{2}}{oz}}\,;} et que le point I {\displaystyle \mathrm {I} } soit entre L {\displaystyle \mathrm {L} } et N , {\displaystyle \mathrm {N} ,} si les termes sont + m 2 + o x ; {\displaystyle +m^{2}+ox\,;} ou bien que le point L , {\displaystyle \mathrm {L} ,} soit entre I {\displaystyle \mathrm {I} } et N , {\displaystyle \mathrm {N} ,} s’ils sont + m 2 − o x ; {\displaystyle +m^{2}-ox\,;} ou bien il faudrait que N {\displaystyle \mathrm {N} } fût entré I {\displaystyle \mathrm {I} } et L , {\displaystyle \mathrm {L} ,} s’il y avait − m 2 + o x . {\displaystyle -m^{2}+ox.} Mais il ne peut jamais y avoir − m 2 , {\displaystyle -m^{2},} en la façon que les termes ont ici été posés. Et enfin le point N {\displaystyle \mathrm {N} } serait le même que le point I {\displaystyle \mathrm {I} } si la quantité m 2 {\displaystyle m^{2}} était nulle. Au moyen de quoi il et aisé de trouver cette Parabole par le premier Problème du premier livre d’Apollonius.
Que si la ligne demandée est un cercle, ou une ellipse, ou une hyperbole, il faut premièrement chercher le point M , {\displaystyle \mathrm {M} ,} qui en est le centre, et qui est toujours en la ligne droite I L , {\displaystyle \mathrm {IL} ,} ou on le trouve en prenant a o m 2 p z {\displaystyle {\frac {aom}{2pz}}} pour I M {\displaystyle \mathrm {IM} } en sorte que si la quantité o {\displaystyle o} est nulle, ce centre est justement au point I . {\displaystyle \mathrm {I} .} Et si la ligne cherchée est un cercle, ou une Ellipse, on doit prendre le point M {\displaystyle \mathrm {M} } du même côté que le point L , {\displaystyle \mathrm {L} ,} au respect du point I , {\displaystyle \mathrm {I} ,} lorsqu’on a + o x ; {\displaystyle +ox\,;} et lorsqu’on a − o x , {\displaystyle -ox,} on le doit prendre de l’autre. Mais tout au contraire en l’hyperbole, si on a − o x , {\displaystyle -ox,} ce centre M {\displaystyle \mathrm {M} } doit être vers L ; {\displaystyle \mathrm {L} \,;} et si on a + o x , {\displaystyle +ox,} il doit être de l’autre côté. Après cela le côté droit de la figure doit être
o 2 z 2 a 2 + 4 m p z 2 a 2 , {\displaystyle {\sqrt {{\frac {o^{2}z^{2}}{a^{2}}}+{\frac {4mpz^{2}}{a^{2}}}}},}
lorsqu’on a + m 2 , {\displaystyle +m^{2},} et que la ligne cherchée est un cercle, ou une Ellipse ; ou bien lorsqu’on a − m 2 , {\displaystyle -m^{2},} et que c’est une Hyperbole, et il doit être
o 2 z 2 a 2 − 4 m p z 2 a 2 , {\displaystyle {\sqrt {{\frac {o^{2}z^{2}}{a^{2}}}-{\frac {4mpz^{2}}{a^{2}}}}},}
si la ligne cherchée étant un cercle, ou une Ellipse, on a − m 2 ; {\displaystyle -m^{2}\,;} ou bien si étant une Hyperbole et la quantité o 2 {\displaystyle o^{2}} étant plus grande que 4 m p , {\displaystyle 4mp,} on a + m 2 . {\displaystyle +m^{2}.} Que si la quantité m 2 {\displaystyle m^{2}} est nulle, ce côté droit est o z a {\displaystyle {\frac {oz}{a}}} et si o x {\displaystyle ox} est nulle, il est
4 m p z 2 a 2 {\displaystyle {\sqrt {\frac {4mpz^{2}}{a^{2}}}}} .
Puis pour le côté traversant, il faut trouver une ligne qui sera ce côté droit, comme a 2 m {\displaystyle a^{2}m} est à p z 2 ; {\displaystyle pz^{2}\,;} à savoir si ce côté droit est
o 2 z 2 a 2 + 4 m p z 2 a 2 , {\displaystyle {\sqrt {{\frac {o^{2}z^{2}}{a^{2}}}+{\frac {4mpz^{2}}{a^{2}}}}},}
le traversant est
a 2 o 2 m 2 p 2 z 2 + 4 a 2 m 3 p z 2 {\displaystyle {\sqrt {{\frac {a^{2}o^{2}m^{2}}{p^{2}z^{2}}}+{\frac {4a^{2}m^{3}}{pz^{2}}}}}}
Et en tous ces cas le diamètre de la section et en la ligne I M , {\displaystyle \mathrm {IM} ,} et L C {\displaystyle \mathrm {LC} } et l’une de celles qui lui est appliquée par ordre. Si bien que faisant M N {\displaystyle \mathrm {MN} } égale a la moitié du côté traversant et le prenant du même côté du point M , {\displaystyle \mathrm {M} ,} qu’est le point L , {\displaystyle \mathrm {L} ,} on a le point N {\displaystyle \mathrm {N} } pour le sommet de ce diamètre ; ensuite de quoi il est aisé de trouver la section par les second et troisième problèmes du premier livre d’Apollonius.
Mais quand cette section étant une Hyperbole, on à + m 2 ; {\displaystyle +m^{2}\,;} et que la quantité o 2 {\displaystyle o^{2}} et nulle ou plus petite que 4 p m , {\displaystyle 4pm,} on doit tirer du centre M {\displaystyle \mathrm {M} } la ligne M O P {\displaystyle \mathrm {MOP} } parallèle à L C , {\displaystyle \mathrm {LC} ,} et C P {\displaystyle \mathrm {CP} } parallèle à L M , {\displaystyle \mathrm {LM} ,} et faire M O {\displaystyle \mathrm {MO} } égale à
m 2 − o 2 m 4 p , {\displaystyle {\sqrt {m^{2}-{\frac {o^{2}m}{4p}}}},} ou bien la faire égale à m {\displaystyle m} si la quantité o x {\displaystyle ox} est nulle. Puis considérer le point O , {\displaystyle \mathrm {O} ,} comme le sommet de cette Hyperbole ; dont le diamètre et O P , {\displaystyle \mathrm {OP} ,} et C P {\displaystyle \mathrm {CP} } la ligne qui lui est appliquée par ordre, et son côté droit est
4 a 4 m 4 p 2 z 4 − a 4 o 2 m 3 p 3 z 4 , {\displaystyle {\sqrt {{\frac {4a^{4}m^{4}}{p^{2}z^{4}}}-{\frac {a^{4}o^{2}m^{3}}{p^{3}z^{4}}}}},}
et son côté traversant est
4 m 2 − o 2 m p {\displaystyle {\sqrt {4m^{2}-{\frac {o^{2}m}{p}}}}}
excepté quand o x {\displaystyle ox} est nulle, car alors le côté droit est 2 a 2 m 2 p z 2 , {\displaystyle {\frac {2a^{2}m^{2}}{pz^{2}}},} et le traversant est 2 m ; {\displaystyle 2m\,;} et ainsi il est aisé de la trouver par le troisième problème du premier livre d’Apollonius.
Et les démonstrations de tout ceci sont évidentes, Démonstration de tout ce qui vient d’être expliqué car composant un espace des quantités que j’ai assignées pour le côté droit, et le traversant, et pour le segment du diamètre N L , {\displaystyle \mathrm {NL} ,} ou O P , {\displaystyle \mathrm {OP} ,} suivant la teneur du 11, du 12 et du 13 théorèmes du premier livre d’Apollonius, on trouvera tous les mêmes termes dont est composé le carré de la ligne C P , {\displaystyle \mathrm {CP} ,} ou C L , {\displaystyle \mathrm {CL} ,} qui est appliquée par ordre à ce diamètre. Comme en cet exemple, ôtant I M {\displaystyle \mathrm {IM} } qui est a o m 2 p z , {\displaystyle {\frac {aom}{2pz}},} de N M {\displaystyle \mathrm {NM} } qui est
a m 2 p z o 2 + 4 m p , {\displaystyle {\frac {am}{2pz}}{\sqrt {o^{2}+4mp}},}
j’ai I N , {\displaystyle \mathrm {IN} ,} à laquelle ajoutant I L , {\displaystyle \mathrm {IL} ,} qui est a z x , {\displaystyle {\frac {a}{z}}x,} j’ai N L {\displaystyle \mathrm {NL} } qui est
a z x − a o m 2 p z + a m 2 p z o 2 + 4 m p ; {\displaystyle {\frac {a}{z}}x-{\frac {aom}{2pz}}+{\frac {am}{2pz}}{\sqrt {o^{2}+4mp}}\,;} et ceci étant multiplié par z a o 2 + 4 m p , {\displaystyle {\frac {z}{a}}{\sqrt {o^{2}+4mp}},} qui et le coté droit de la figure, il vient
x o 2 + 4 m p − o m 2 p o 2 + 4 m p + m o 2 2 p + 2 m 2 , {\displaystyle x{\sqrt {o^{2}+4mp}}-{\frac {om}{2p}}{\sqrt {o^{2}+4mp}}+{\frac {mo^{2}}{2p}}+2m^{2},}
pour le rectangle, duquel il faut ôter un espace qui soit au carré de N L {\displaystyle \mathrm {NL} } comme le côté droit est au traversant, et ce carré de N L {\displaystyle \mathrm {NL} } est
a 2 z 2 x 2 − a 2 o m p z 2 x + a 2 m p z 2 x o 2 + 4 m p + a 2 o 2 m 2 2 p 2 z 2 + a 2 m 3 p z 2 {\displaystyle {\frac {a^{2}}{z^{2}}}x^{2}-{\frac {a^{2}om}{pz^{2}}}x+{\frac {a^{2}m}{pz^{2}}}x{\sqrt {o^{2}+4mp}}+{\frac {a^{2}o^{2}m^{2}}{2p^{2}z^{2}}}+{\frac {a^{2}m^{3}}{pz^{2}}}}
− a 2 o m 2 2 p 2 z 2 o 2 + 4 m p , {\displaystyle -{\frac {a^{2}om^{2}}{2p^{2}z^{2}}}{\sqrt {o^{2}+4mp}},}
qu’il faut diviser par a 2 m {\displaystyle a^{2}m} et multiplier par p z 2 , {\displaystyle pz^{2},} à cause que ces termes expliquent la proportion qui et entre le côté traversant et le droit, et il vient
p m x 2 − o x + x o 2 + 4 m p + o 2 m 2 p − o m 2 p o 2 + 4 m p + m 2 , {\displaystyle {\frac {p}{m}}x^{2}-ox+x{\sqrt {o^{2}+4mp}}+{\frac {o^{2}m}{2p}}-{\frac {om}{2p}}{\sqrt {o^{2}+4mp}}+m^{2},}
ce qu’il faut ôter du rectangle précèdent, et on trouve
m 2 + o x − p m x 2 {\displaystyle m^{2}+ox-{\frac {p}{m}}x^{2}}
pour le carré de C L , {\displaystyle \mathrm {CL} ,} qui par conséquent et une ligne appliquée par ordre dans une ellipse, ou dans un cercle, au segment du diamètre N L . {\displaystyle \mathrm {NL} .} Et si on veut expliquer toutes les quantités données par nombres, en faisant par exemple E A = 3 , {\displaystyle \mathrm {EA} =3,} A G = 5 , {\displaystyle \mathrm {AG} =5,} A B = B R , {\displaystyle \mathrm {AB=BR} ,} B S = 1 2 B E , {\displaystyle \mathrm {BS={\frac {1}{2}}BE} ,} G B = B T , {\displaystyle \mathrm {GB=BT} ,} C D = 3 2 C R , {\displaystyle \mathrm {CD={\frac {3}{2}}CR} ,} C F = 2 C S , {\displaystyle \mathrm {CF=2CS} ,} C H = 2 3 C T , {\displaystyle \mathrm {CH={\frac {2}{3}}CT} ,} et que l’angle A B R {\displaystyle \mathrm {ABR} } soit de 60 {\displaystyle 60} degrés ; et enfin que le rectangle des deux C B , {\displaystyle \mathrm {CB} ,} et C F , {\displaystyle \mathrm {CF} ,} soit égal au rectangle des deux autres C D {\displaystyle \mathrm {CD} } et
C H ; {\displaystyle \mathrm {CH} \,;} car il faut avoir toutes ces choses afin que la question soit entièrement déterminée. et avec cela supposant A B = x , {\displaystyle \mathrm {AB} =x,} et C B = y , {\displaystyle \mathrm {CB} =y,} on trouve par la façon ci-dessus expliquée
y 2 = 2 y − x y + 5 x − x 2 , {\displaystyle y^{2}=2y-xy+5x-x^{2},}
y = 1 − 1 2 x + 1 + 4 x − 3 4 x 2 , {\displaystyle y=1-{\frac {1}{2}}x+{\sqrt {1+4x-{\frac {3}{4}}x^{2}}},}
si bien que B K {\displaystyle \mathrm {BK} } doit être 1 , {\displaystyle 1,} et K L {\displaystyle \mathrm {KL} } doit être la moitié da K I , {\displaystyle \mathrm {KI} ,} et pourceque l’angle I K L {\displaystyle \mathrm {IKL} } ou A B R {\displaystyle \mathrm {ABR} } est de 60 {\displaystyle 60} degrés, et K I L {\displaystyle \mathrm {KIL} } qui est la moitié de K I B {\displaystyle \mathrm {KIB} } ou I K L , {\displaystyle \mathrm {IKL} ,} de 30 , {\displaystyle 30,} I L K {\displaystyle \mathrm {ILK} } est droit. Et pour ce que I K {\displaystyle \mathrm {IK} } ou A B {\displaystyle \mathrm {AB} } est nommée x , {\displaystyle x,} K L {\displaystyle \mathrm {KL} } est 1 2 x , {\displaystyle {\frac {1}{2}}x,} et I L {\displaystyle \mathrm {IL} } est x 3 4 , {\displaystyle x{\sqrt {\frac {3}{4}}},} et la quantité qui était tantôt nommée z {\displaystyle z} est 1 , {\displaystyle 1,} celle qui étoit a {\displaystyle a} est 3 4 , {\displaystyle {\sqrt {\frac {3}{4}}},} celle qui était m {\displaystyle m} est 1 , {\displaystyle 1,} celle qui était o {\displaystyle o} est 4 , {\displaystyle 4,} et celle qui était p {\displaystyle p} est 3 4 , {\displaystyle {\frac {3}{4}},} de façon qu’on a 16 3 {\displaystyle {\sqrt {\frac {16}{3}}}} pour I M , {\displaystyle \mathrm {IM} ,} et 19 3 {\displaystyle {\sqrt {\frac {19}{3}}}} pour N M ; {\displaystyle \mathrm {NM} \,;} et pourceque a 2 m , {\displaystyle a^{2}m,} qui est 3 4 {\displaystyle {\frac {3}{4}}} est ici égal à p z 2 , {\displaystyle pz^{2},} et que l’angle I L C {\displaystyle \mathrm {ILC} } est droit, on trouve que la ligne courbe N C {\displaystyle \mathrm {NC} } est un cercle. Et on peut examiner facilement examiner tous les autres cas de la sorte.
Au reste, à cause que les équations qui ne montent Quels sont les lieux plans et solides, et la façon de les trouver. que jusqu’au carré sont toutes comprises en ce que je viens d’expliquer, non seulement le problème des anciens en trois et quatre lignes est ici entièrement achevé, mais aussi tout ce qui appartient à ce qu’ils nommaient la composition des lieux solides, et par conséquent aussi à celle des lieux plans, à cause qu’ils sont compris dans les solides : car ces lieux ne sont autre chose, sinon que, lorsqu’il est question de trouver quelque point auquel il manque une condition pour être entièrement déterminé, ainsi qu’il arrive en cet exemple, tous les points d’une même ligne peuvent être pris pour celui qui est demandé : et si cette ligne est droite ou circulaire, on la nomme un lieu plan; mais si c’est une parabole, ou une hyperbole, ou une ellipse, on la nomme un lieu solide : et toutefois et quand cela est, on peut venir à une équation qui contient deux quantités inconnues, et est pareille à quelqu’une de celles que je viens de résoudre. Que si la ligne qui détermine ainsi le point cherché est d’un degré plus composée que les sections coniques, on la peut nommer, en même façon, un lieu sursolide, et ainsi des autres. Et s’il manque deux conditions à la détermination de ce point, le lieu où il se trouve est une superficie, laquelle peut être tout de même ou plate, ou sphérique, ou plus composée. Mais le plus haut but qu’aient eu les anciens en cette matière a été de parvenir à la composition des lieux solides ; et il semble que tout ce qu’Apollonius a écrit des sections coniques n’a été qu’à dessein de la chercher. De plus, on voit ici que ce que j’ai pris pour le premier genre des lignes courbes n’en peut comprendre aucunes autres que le cercle, la parabole,
l’hyperbole et l’ellipse, qui est tout ce que j’avais entrepris de prouver.
Que si la question des anciens est proposée en Quelle est la première et la plus simple de toutes les lignes courbes qui servent à la question des anciens quand elle est proposée en cinq lignes cinq lignes qui soient toutes parallèles, il est évident que le point cherché sera toujours en une ligne droite ; mais si elle est proposée en cinq lignes, dont il y en ait quatre qui soient parallèles, et que la cinquième les coupe à angles droits, et même que toutes les lignes tirées du point cherché les rencontrent aussi à angles droits, et enfin que le parallélépipède composé de trois des lignes ainsi tirées sur trois de celles qui sont parallèles soit égal au parallélépipède composé proposée en des deux lignes tirées, l’une sur la quatrième de celles qui sont parallèles, et l’autre sur celle qui les coupe à angles droits, et d’une troisième ligne donnée, ce qui est, ce semble, le plus simple cas qu’on puisse imaginer après le précédent, le point cherché sera en la ligne courbe qui est décrite par le mouvement d’une parabole, en la façon ci-dessus expliquée.
Soient par exemple les lignes données A B , I H , {\displaystyle \mathrm {AB,IH} ,} E D , G F , {\displaystyle \mathrm {ED,GF} ,} et G A , {\displaystyle \mathrm {GA} ,} et qu’on demande le point C , {\displaystyle \mathrm {C} ,} en sorte que tirant C B , C F , C D , C H {\displaystyle \mathrm {CB,CF,CD,CH} } et C M {\displaystyle \mathrm {CM} } à angles droits sur les données, le parallélépipède des trois C F , C D {\displaystyle \mathrm {CF,CD} } et C H {\displaystyle \mathrm {CH} } soit égal à celui des deux autres C B {\displaystyle \mathrm {CB} } et C M , {\displaystyle \mathrm {CM} ,} et d’une troisième qui soit A I . {\displaystyle \mathrm {AI} .} Je pose C B = y , {\displaystyle \mathrm {CB} =y,} C M = x , {\displaystyle \mathrm {CM} =x,} A I {\displaystyle \mathrm {AI} } ou A E {\displaystyle \mathrm {AE} } ou G E = a ; {\displaystyle \mathrm {GE} =a\,;} de façon que le point C {\displaystyle \mathrm {C} } étant entre les lignes A B {\displaystyle \mathrm {AB} } et D E , {\displaystyle \mathrm {DE} ,} j’ai C F = 2 a − y , {\displaystyle \mathrm {CF} =2a-y,} C D = a − y , {\displaystyle \mathrm {CD} =a-y,} et C H = y + a ; {\displaystyle \mathrm {CH} =y+a\,;} et multipliant ces trois l’une par l’autre, j’ai y 3 − 2 a y 2 − a 2 y + 2 a 3 {\displaystyle y^{3}-2ay^{2}-a^{2}y+2a^{3}} égal au produit des trois autres, qui est a x y . {\displaystyle axy.} Après cela je considère la ligne courbe C E G , {\displaystyle \mathrm {CEG} ,} que j’imagine être décrite par l’intersection de la parabole C K N , {\displaystyle \mathrm {CKN} ,} qu’on fait mouvoir en telle sorte que son diamètre K L {\displaystyle \mathrm {KL} } est toujours sur la ligne droite A B , {\displaystyle \mathrm {AB} ,} et de la règle G L {\displaystyle \mathrm {GL} } qui tourne cependant autour du point G {\displaystyle \mathrm {G} } en telle sorte qu’elle passe toujours dans le plan de cette parabole par le point L . {\displaystyle \mathrm {L} .} Et je fais K L = a , {\displaystyle \mathrm {KL} =a,} et le côté droit principal, c’est-à-dire celui qui se rapporte à l’essieu de cette parabole, aussi égal à a , {\displaystyle a,} et G A = 2 a , {\displaystyle \mathrm {GA} =2a,} et C B {\displaystyle \mathrm {CB} } ou M A = y , {\displaystyle \mathrm {MA} =y,} et C M {\displaystyle \mathrm {CM} } ou A B = x . {\displaystyle \mathrm {AB} =x.} Puis à cause des triangles semblables G M C {\displaystyle \mathrm {GMC} } et C B L , {\displaystyle \mathrm {CBL} ,} G M {\displaystyle \mathrm {GM} } qui est 2 a − y , {\displaystyle 2a-y,} est à M C {\displaystyle \mathrm {MC} } qui est x , {\displaystyle x,} comme C B {\displaystyle \mathrm {CB} } qui est y , {\displaystyle y,} est à B L {\displaystyle \mathrm {BL} } qui est par conséquent x y 2 a − y . {\displaystyle {\frac {xy}{2a-y}}.} Et pourceque K L {\displaystyle \mathrm {KL} } est a , {\displaystyle a,} B K {\displaystyle \mathrm {BK} } est a − x y 2 a − y , {\displaystyle a-{\frac {xy}{2a-y}},} ou bien 2 a 2 − a y − x y 2 a − y . {\displaystyle {\frac {2a^{2}-ay-xy}{2a-y}}.} Et enfin pourceque ce même B K , {\displaystyle \mathrm {BK} ,} étant un segment du diamètre de la parabole, est à B C {\displaystyle \mathrm {BC} } qui lui est appliquée par ordre, comme celle-ci est au côté droit qui est a , {\displaystyle a,} le calcul montre que y 3 − 2 a y 2 − a 2 y + 2 a 3 {\displaystyle y^{3}-2ay^{2}-a^{2}y+2a^{3}} est égal à a x y {\displaystyle axy} ; et par conséquent que le point C {\displaystyle \mathrm {C} } est celui qui était demandé. Et il peut être pris en tel endroit de la ligne C E G {\displaystyle \mathrm {CEG} } qu’on veuille choisir, ou aussi en son adjointe cEGc, qui se décrit en même façon, excepté que le sommet de la parabole est tourné vers l’autre côté, ou enfin en leurs contreposées N I o , n I O , {\displaystyle \mathrm {NI} o,\,n\mathrm {IO} ,} qui sont décrites par l’intersection que fait la ligne G L {\displaystyle \mathrm {GL} } en l’autre côté de la parabole K N . {\displaystyle \mathrm {KN} .}
Or encore que les parallèles données A B , I H , E D , {\displaystyle \mathrm {AB,IH,ED} ,} et G F , {\displaystyle \mathrm {GF} ,} ne fussent point également distantes, et que G A {\displaystyle \mathrm {GA} } ne les coupât point à angles droits, ni aussi les lignes tirées du point C {\displaystyle \mathrm {C} } vers elles, ce point C {\displaystyle \mathrm {C} } ne laisserait pas de se trouver toujours en une ligne courbe qui serait de même nature : et il s’y peut aussi trouver quelquefois, encore qu’aucune des lignes données ne soient parallèles. Mais si lorsqu’il y en a quatre ainsi parallèles, et une cinquième qui les traverse, et que le parallélépipède de trois des lignes tirées du point cherché, l’une sur cette cinquième, et les deux autres sur deux de celles qui sont parallèles, soit égal à celui des deux tirées sur les deux autres parallèles, et d’une autre ligne donnée : ce point cherché est en une ligne courbe d’une autre nature, à savoir en une qui est telle, que toutes les lignes droites appliquées par ordre à son diamètre étant égales à celles d’une section conique, les segments de ce diamètre qui sont entre le sommet et ces lignes ont même proportion à une certaine ligne donnée, que cette ligne donnée a aux segments du diamètre de la section conique, auxquels les pareilles lignes
sont appliquées par ordre. Et je ne saurais véritablement dire que cette ligne soit moins simple que la précédente, laquelle j’ai cru toutefois devoir prendre pour la première, à cause que la description et le calcul en sont en quelque façon plus faciles.
Pour les lignes qui servent aux autres cas, je ne m’arrêterai point à les distinguer par espèces, car je n’ai pas entrepris de dire tout ; et, ayant expliqué la façon de trouver une infinité de points par où elles passent, je pense avoir assez donné le moyen de les décrire.
Même il est à propos de remarquer qu’il y a Quelles sont les lignes courbes qu’on décrit en trouvant plusieurs de leurs points qui peuvent être reçues en géométrie. grande différence entre cette façon de trouver plusieurs points pour tracer une ligne courbe, et celle dont on se sert pour la spirale et ses semblables ; car par cette dernière on ne trouve pas indifféremment tous les points de la ligne qu’on cherche, mais seulement ceux qui peuvent être déterminés par quelque mesure plus simple que celle qui est requise pour la composer ; et ainsi, à proprement parler, on ne trouve pas un de ses points, c’est-à-dire pas un de ceux qui lui sont tellement propres qu’ils ne puissent être trouvés que par elle ; au lieu qu’il n’y a aucun point dans les lignes qui servent à la question proposée, qui ne se puisse rencontrer entre ceux qui se déterminent par la façon tantôt expliquée. Et pourceque cette façon de tracer une ligne courbe, en trouvant indifféremment plusieurs de ses points, ne s’étend qu’à celles qui peuvent aussi être décrites par un mouvement régulier et continu, on ne la doit pas Quelles sont aussi celles qu’on décrit avec une corde qui peuvent y être reçues entièrement rejeter de la géométrie.
Et on n’en doit pas rejeter non plus celle où on se sert d’un fil ou d’une corde repliée pour déterminer l’égalité ou la différence de deux ou plusieurs lignes droites qui peuvent être tirées de chaque point de la courbe qu’on cherche, à certains autres points, ou sur certaines autres lignes à certains angles, ainsi que nous avons fait en la Que, pour trouver toutes les propriétés des lignes courbes, il suffit de savoir le rapport qu’ont tous leurs points à ceux des lignes droites ; et la façon de tirer d’autres lignes qui les coupent en tous ces points à angles droits. Dioptrique pour expliquer l’ellipse et l’hyperbole ; car encore qu’on n’y puisse recevoir aucunes lignes qui semblent à des cordes, c’est-à-dire qui deviennent tantôt droites et tantôt courbes, à cause que la proportion qui est entre les droites et les courbes n’étant pas connue, et même, je crois, ne le pouvant être par les hommes, on ne pourrait rien conclure de là qui fût exact et assuré. Toutefois à cause qu’on ne se sert de cordes en ces constructions que pour déterminer des lignes droites dont on connaît parfaitement la longueur, cela ne doit point faire qu’on les rejette. Or de cela seul qu’on sait le rapport qu’ont tous les points d’une ligne courbe à tous ceux d’une ligne droite, en la façon que j’ai expliquée, il est aisé de trouver aussi le rapport qu’ils ont à tous les autres points et lignes données ; et ensuite de connaître les diamètres, les essieux, les centres et autres lignes ou points à qui chaque ligne courbe aura quelque rapport plus particulier ou plus simple qu'aux autres ; et ainsi d'imaginer divers moyens pour les décrire, et d'en choisir les plus faciles ; et même on peut aussi, par cela seul, trouver quasi tout ce qui peut être déterminé touchant la grandeur de l'espace qu'elles comprennent, sans qu'il soit besoin que j'en donne plus d'ouverture. Et enfin pour ce qui est de toutes les autres propriétés qu'on peut attribuer aux lignes courbes, elles ne dépendent que de la grandeur des angles qu'elles font avec quelques autres lignes. Mais lorsqu'on peut tirer des lignes droites qui les coupent à angles droits, aux points où elles sont rencontrées par celles avec qui elles font les angles qu'on veut mesurer, ou, ce que je prends ici pour le même, qui coupent leurs contingentes, la grandeur de ces angles n'est pas plus malaisée à trouver que s'ils étaient compris entre deux lignes droites. C'est pourquoi je croirai avoir mis ici tout ce qui est requis pour les éléments des lignes courbes, lorsque j'aurai généralement donné la façon de tirer des lignes droites qui tombent à angles droits sur tels de leurs points qu'on voudra choisir. Et j'ose dire que c'est ceci le problème le plus utile et le plus général, non seulement que je sa
che, mais même que j’aie jamais désiré de savoir en géométrie.
Soit C E {\displaystyle \mathrm {CE} } la ligne courbe, et qu’il faille Façon générale pour trouver des lignes droites qui coupent les courbes données ou leurs contingentes, à angles droits. tirer une ligne droite par le point C , {\displaystyle \mathrm {C} ,} qui fasse avec elle des angles droits. Je suppose la chose déjà faite, et que la ligne cherchée e est C P , {\displaystyle \mathrm {CP} ,} laquelle je prolonge jusqu’au point P , {\displaystyle \mathrm {P} ,} ou elle rencontre la ligne droite G A , {\displaystyle \mathrm {GA} ,} que je suppose être celle aux points de laquelle on rapporte tous ceux de la ligne C E : {\displaystyle \mathrm {CE} \,:} en sorte que faisant M A {\displaystyle \mathrm {MA} } ou C B = y {\displaystyle \mathrm {CB} =y} et C M {\displaystyle \mathrm {CM} } ou B A = x , {\displaystyle \mathrm {BA} =x,} j’ai quelque équation, qui explique le rapport, qui est entre x {\displaystyle x} et y ; {\displaystyle y\,;} puis je fais P C = s , {\displaystyle \mathrm {PC} =s,} et P A = v , {\displaystyle \mathrm {PA} =v,} ou P M = v − y ; {\displaystyle \mathrm {PM} =v-y\,;} et à cause du triangle rectangle P M C , {\displaystyle \mathrm {PMC} ,} j’ai s 2 {\displaystyle s^{2}} qui est le carré de la base égal à x 2 + v 2 − 2 v y + y 2 , {\displaystyle x^{2}+v^{2}-2vy+y^{2},} qui sont les carrés des deux côtés ; c’est à dire j’ai
x = s 2 − v 2 + 2 v y − y 2 , {\displaystyle x={\sqrt {s^{2}-v^{2}+2vy-y^{2}}},}
ou bien
y = v + s 2 − x 2 ; {\displaystyle y=v+{\sqrt {s^{2}-x^{2}}}\,;}
et par le moyen de cette équation, j’ôte de l’autre équation qui m {\displaystyle m} ’explique le rapport qu’ont tous les points de la courbe C E {\displaystyle \mathrm {CE} } à ceux de la droite G A , {\displaystyle \mathrm {GA} ,} l’une des deux quantités indéterminées x {\displaystyle x} ou y ; {\displaystyle y\,;} ce qui est aisé à faire en mettant partout
s 2 − v 2 + 2 v y − y 2 {\displaystyle {\sqrt {s^{2}-v^{2}+2vy-y^{2}}}}
au lieu de x , {\displaystyle x,} et le carré de cette somme au lieu de x 2 , {\displaystyle x^{2},} et son cube au lieu de x 3 , {\displaystyle x^{3},} et ainsi des autres, si c’est x {\displaystyle x} que je veuille ôter ; ou bien si c’est y , {\displaystyle y,} en mettant en son lieu
v + s 2 − x 2 , {\displaystyle v+{\sqrt {s^{2}-x^{2}}},}
et le carré, ou le cube, etc. de cette somme, au lieu de y 2 {\displaystyle y^{2}} ou y 3 , {\displaystyle y^{3},} etc. De façon qu’il reste toujours après cela une équation, en laquelle il n’y a plus qu’une seule quantité indéterminée, x {\displaystyle x} ou y {\displaystyle y} .
Exemple de cette opération en une ellipse et en une parabole du second genre.
Comme si C E {\displaystyle \mathrm {CE} } est une Ellipse, et que M A {\displaystyle \mathrm {MA} } soit le segment de son diamètre, auquel C M {\displaystyle \mathrm {CM} } soit appliquée par ordre, et qui ait r {\displaystyle r} pour son côté droit et q {\displaystyle q} pour le traversant, on a par le treizième théorème du premier livre d’Apollonius, x 2 = r y − r q y 2 , {\displaystyle x^{2}=ry-{\frac {r}{q}}y^{2},} d’où ôtant x 2 , {\displaystyle x^{2},} il reste
s 2 − v 2 + 2 v y − y 2 = r y − r q y 2 , {\displaystyle s^{2}-v^{2}+2vy-y^{2}=ry-{\frac {r}{q}}y^{2},}
ou bien
y 2 + q r y − 2 q v y + q v 2 − q s 2 q − r = 0 ; {\displaystyle y^{2}+{\frac {qry-2qvy+qv^{2}-qs^{2}}{q-r}}=0\,;}
car il est mieux en cet endroit de considérer ainsi ensemble toute la somme, que d’en faire une partie égale à l’autre.
Tout de même si C E {\displaystyle \mathrm {CE} } est la ligne courbe décrite par le mouvement d’une Parabole en la façon ci-dessus expliquée (page 340), et qu’on ait posé b {\displaystyle b} pour G A , {\displaystyle \mathrm {GA} ,} c {\displaystyle c} pour K L {\displaystyle \mathrm {KL} } et d {\displaystyle d} pour le coté droit du diamètre K L {\displaystyle \mathrm {KL} } en la parabole, l’équation qui explique le rapport qui est entre x {\displaystyle x} et y {\displaystyle y} est
y 3 − b y 2 − c d y + b c d + d x y = 0 , {\displaystyle y^{3}-by^{2}-cdy+bcd+dxy=0,} d’où ôtant x , {\displaystyle x,} on a
y 3 − b y 2 − c d y + b c d + d y s 2 − v 2 + 2 v y − y 2 = 0 ; {\displaystyle y^{3}-by^{2}-cdy+bcd+dy{\sqrt {s^{2}-v^{2}+2vy-y^{2}}}=0\,;}
et remettant en ordre ces termes par le moyen de la multiplication, il vient
y 6 − 2 b y 5 + ( b 2 − 2 c d + d 2 ) y 4 + ( 4 b c d − 2 d 2 v ) y 3 + ( c 2 d 2 − d 2 s 2 + d 2 v 2 − 2 b 2 c d ) y 2 − 2 b c 2 d 2 y + b 2 c 2 d 2 } = 0 , {\displaystyle \left.{\begin{aligned}&y^{6}-2by^{5}+\left(b^{2}-2cd+d^{2}\right)y^{4}+(4bcd-2d^{2}v)y^{3}\\+&\left(c^{2}d^{2}-d^{2}s^{2}+d^{2}v^{2}-2b^{2}cd\right)y^{2}-2bc^{2}d^{2}y+b^{2}c^{2}d^{2}\end{aligned}}\right\}=0,}
et ainsi des autres.
Autre exemple en un ovale du second genre.
Même encore que les points de la ligne courbe ne se rapportaient pas, en la façon que j’ai dite à ceux d’une ligne droite, mais en toute autre qu’on saurait imaginer, on ne laisse pas de pouvoir toujours avoir une telle équation. Comme si C E {\displaystyle \mathrm {CE} } est une ligne, qui ait tel rapport aux trois points F , {\displaystyle \mathrm {F} ,} G {\displaystyle \mathrm {G} } et A , {\displaystyle \mathrm {A} ,} que les lignes droites tirées de chacun de ses points comme C , {\displaystyle \mathrm {C} ,} jusqu’au point F , {\displaystyle \mathrm {F} ,} surpassent la ligne S A {\displaystyle \mathrm {SA} } d’une quantité, qui ait certaine proportion donnée à une autre quantité dont G A {\displaystyle \mathrm {GA} } surpasse les lignes tirées des mêmes points jusqu’à G . {\displaystyle \mathrm {G} .} Faisons G A = b , {\displaystyle \mathrm {GA} =b,} A F = c {\displaystyle \mathrm {AF} =c} et prenant à discrétion le point C {\displaystyle \mathrm {C} } dans la courbe, que la quantité dont C F {\displaystyle \mathrm {CF} } surpasse S A , {\displaystyle \mathrm {SA} ,} soit à celle dont G A {\displaystyle \mathrm {GA} } surpasse G C , {\displaystyle \mathrm {GC} ,} comme d {\displaystyle d} à e , {\displaystyle e,} en sorte que si cette quantité qui est indéterminée se nomme z , {\displaystyle z,} C F {\displaystyle \mathrm {CF} } est c + z , {\displaystyle c+z,} et G C {\displaystyle \mathrm {GC} } est b − e d z . {\displaystyle b-{\frac {e}{d}}z.} Puis posant M A = y , {\displaystyle \mathrm {MA} =y,} G M {\displaystyle \mathrm {GM} } est b − y , {\displaystyle b-y,} et F M {\displaystyle \mathrm {FM} } est c + y , {\displaystyle c+y,} et à cause du triangle rectangle C M G , {\displaystyle \mathrm {CMG} ,} ôtant le carré de G M {\displaystyle \mathrm {GM} } du carré de G C , {\displaystyle \mathrm {GC} ,} on a le carré de C M , {\displaystyle \mathrm {CM} ,} qui est
c 2 d 2 z 2 − 2 b c d z + 2 b y − y 2 ; {\displaystyle {\frac {c^{2}}{d^{2}}}z^{2}-{\frac {2bc}{d}}z+2by-y^{2}\,;} puis ôtant le carré de F M {\displaystyle \mathrm {FM} } du carré de F C , {\displaystyle \mathrm {FC} ,} on a encore le carré de C M {\displaystyle \mathrm {CM} } en d’autres termes, à savoir z 2 + 2 c z − 2 c y − y 2 ; {\displaystyle z^{2}+2cz-2cy-y^{2}\,;} et ces termes étant égaux aux précédents, ils font connaître y {\displaystyle y} ou M A , {\displaystyle \mathrm {MA} ,} qui est
d 2 z 2 + 2 c d 2 z − c 2 z 2 + 2 b d e z 2 b d 2 + 2 c d 2 , {\displaystyle {\frac {d^{2}z^{2}+2cd^{2}z-c^{2}z^{2}+2bdez}{2bd^{2}+2cd^{2}}},}
et substituant cette somme au lieu de y {\displaystyle y} dans le carré de C M , {\displaystyle \mathrm {CM} ,} on trouve qu’il s’exprime en ces termes :
b d 2 z 2 + c e 2 z 2 + 2 b c d 2 z − 2 b c d e z b d 2 + c d 2 − y 2 . {\displaystyle {\frac {bd^{2}z^{2}+ce^{2}z^{2}+2bcd^{2}z-2bcdez}{bd^{2}+cd^{2}}}-y^{2}.}
Puis supposant que la ligne droite P C {\displaystyle \mathrm {PC} } rencontre la courbe à angles droits au point C , {\displaystyle \mathrm {C} ,} et faisant P C = s {\displaystyle \mathrm {PC} =s} et P A = v {\displaystyle \mathrm {PA} =v} comme devant, P M {\displaystyle \mathrm {PM} } est v − y ; {\displaystyle v-y\,;} et à cause du triangle rectangle P C M , {\displaystyle \mathrm {PCM} ,} on a s 2 − v 2 + 2 v y − y 2 {\displaystyle s^{2}-v^{2}+2vy-y^{2}} pour le carré de C M , {\displaystyle \mathrm {CM} ,} ou derechef ayant au lieu de y {\displaystyle y} substitué la somme qui lui est égale, il vient
z 2 + 2 b c d 2 z − 2 b c d e z − 2 c d 2 v z − 2 b d e v z − b d 2 s 2 + b d 2 v 2 − c d 2 s 2 + c d 2 v 2 b d 2 + c e 2 + e 2 v − d 2 v = 0 {\displaystyle z^{2}+{\frac {2bcd^{2}z-2bcdez-2cd^{2}vz-2bdevz-bd^{2}s^{2}+bd^{2}v^{2}-cd^{2}s^{2}+cd^{2}v^{2}}{bd^{2}+ce^{2}+e^{2}v-d^{2}v}}=0}
pour l’équation que nous cherchions.
Or après qu’on a trouvé une telle équation, au lieu de s’en servir pour connaître les quantités x {\displaystyle x} ou y , {\displaystyle y,} ou z , {\displaystyle z,} qui sont déjà données, puisque le point C {\displaystyle \mathrm {C} } est donné, on la doit employer à trouver v {\displaystyle v} ou s , {\displaystyle s,} qui déterminent le point P , {\displaystyle \mathrm {P} ,} qui est demandé. Et à cet effet il faut considérer, que si ce point P {\displaystyle \mathrm {P} } est tel qu’on le désire, le cercle dont il sera le centre, et qui passera par le point C , {\displaystyle \mathrm {C} ,} y {\displaystyle y} touchera la ligne courbe G E , {\displaystyle \mathrm {GE} ,} sans la couper ; mais que si ce point P , {\displaystyle \mathrm {P} ,} est tant soit peu plus proche, ou plus éloigné du Point A , {\displaystyle \mathrm {A} ,} qu’il ne doit, ce cercle coupera la courbe, non seulement au point C , {\displaystyle \mathrm {C} ,} mais aussi nécessairement en quelque autre. Puis il faut aussi considérer, que lorsque ce cercle coupe la ligne courbe C E , {\displaystyle \mathrm {CE} ,} l’équation par laquelle on cherche la quantité x {\displaystyle x} ou y , {\displaystyle y,} ou quelque autre semblable, en supposant P A {\displaystyle \mathrm {PA} } et P C {\displaystyle \mathrm {PC} } être connues, contient nécessairement deux racines, qui sont inégales. Car par exemple si ce cercle coupe la courbe aux points C {\displaystyle \mathrm {C} } et E , {\displaystyle \mathrm {E} ,} ayant tiré E Q {\displaystyle \mathrm {EQ} } parallèle à C M , {\displaystyle \mathrm {CM} ,} les noms des quantités indéterminées x {\displaystyle x} et y , {\displaystyle y,} conviendront aussi bien aux lignes E Q {\displaystyle \mathrm {EQ} } et Q A , {\displaystyle \mathrm {QA} ,} qu’à C M {\displaystyle \mathrm {CM} } et M A ; {\displaystyle \mathrm {MA} \,;} puis P E {\displaystyle \mathrm {PE} } est égale à P C , {\displaystyle \mathrm {PC} ,} à cause du cercle, si bien que cherchant les lignes E Q {\displaystyle \mathrm {EQ} } et Q A , {\displaystyle \mathrm {QA} ,} par P E {\displaystyle \mathrm {PE} } et P A {\displaystyle \mathrm {PA} } qu’on suppose comme données, on aura la même équation que si on cherchait C M {\displaystyle \mathrm {CM} } et M A {\displaystyle \mathrm {MA} } par P C , {\displaystyle \mathrm {PC} ,} P A . {\displaystyle \mathrm {PA} .} d’où il suit évidemment, que la valeur de x {\displaystyle x} ou de y , {\displaystyle y,} ou de telle autre quantité qu’on aura supposée, sera double en cette équation, c’est-à-dire qu’il y aura deux racines inégales entre elles, et dont l’une sera C M , {\displaystyle \mathrm {CM} ,} l’autre E Q , {\displaystyle \mathrm {EQ} ,} si c’est x {\displaystyle x} qu’on cherche, ou bien l’une sera M A {\displaystyle \mathrm {MA} } et l’autre Q A , {\displaystyle \mathrm {QA} ,} si c’est y ; {\displaystyle y\,;} et ainsi des autres. Il est vrai que si le point E {\displaystyle \mathrm {E} } ne se trouve pas du même côté de la courbe que le point C , {\displaystyle \mathrm {C} ,} il n’y aura que l’une de ces deux racines qui soit vraie, et l’autre sera renversée, ou moindre que rien : mais plus ces deux points C {\displaystyle \mathrm {C} } et E , {\displaystyle \mathrm {E} ,} sont proches l’un de l’autre, moins il y a de différence entre ces deux racines ; et enfin elles sont entièrement égales, s’ils sont tous deux joints en un ; c’est-à-dire si le cercle, qui passe par C , {\displaystyle \mathrm {C,} } y touche la courbe C E {\displaystyle \mathrm {CE} } sans la couper.
De plus, il faut considérer, que lorsqu’il y a deux racines égales en une équation, elle a nécessairement la même forme, que si on multiplie par soi-même la quantité qu’on y suppose être inconnue, moins la quantité connue qui lui est égale, et qu’après cela si cette dernière somme n’a pas tant de dimensions que la précédente, on la multiplie par une autre somme qui en ait autant qu’il lui en manque ; afin qu’il puisse y avoir séparément équation entre chacun des termes de l’une et chacun des termes de l’autre.
Comme par exemple, je dis que la première équation trouvée ci-dessus, à savoir
y 2 + q r y − 2 q v y + q v 2 − q s 2 q − r , {\displaystyle y^{2}+{\frac {qry-2qvy+qv^{2}-qs^{2}}{q-r}},}
doit avoir la même forme que celle qui se produit en faisant e {\displaystyle e} égal à y , {\displaystyle y,} et multipliant y − e {\displaystyle y-e} par soi-même, d’où il vient y 2 − 2 e y + e 2 , {\displaystyle y^{2}-2ey+e^{2},} en sorte qu’on peut comparer séparément chacun de leurs termes, et dire que puisque le premier qui est y 2 {\displaystyle y^{2}} est tout le même en l’une qu’en l’autre, le second qui est en l’une q r y − 2 q v y q − r {\displaystyle {\frac {qry-2qvy}{q-r}}} est égal au second de l’autre qui est − 2 e y ; {\displaystyle -2ey\,;} d’où cherchant la quantité v {\displaystyle v} qui est la ligne P A , {\displaystyle \mathrm {PA} ,} on a v = e − r q e + 1 2 r , {\displaystyle v=e-{\frac {r}{q}}e+{\frac {1}{2}}r,} ou bien, à cause que nous avons suppose e {\displaystyle e} égal à y , {\displaystyle y,} on a v = y − r q y + 1 2 r . {\displaystyle v=y-{\frac {r}{q}}y+{\frac {1}{2}}r.} Et ainsi on pourrait trouver s {\displaystyle s} par le troisième terme e 2 = q v 2 − q s 2 q − r ; {\displaystyle e^{2}={\frac {qv^{2}-qs^{2}}{q-r}}\,;} mais pourceque la quantité v {\displaystyle v} détermine assez le point P , {\displaystyle \mathrm {P} ,} qui et le seul que nous cherchions, on n’a pas besoin de passer outre.
Tout de même la seconde équation trouvée ci-dessus, à savoir
y 6 − 2 b y 5 + ( b 2 − 2 c d + d 2 ) y 4 + ( 4 b c d − 2 d 2 v ) y 3 + ( c 2 d 2 − 2 b 2 c d + d 2 v 2 − d 2 s 2 ) y 2 − 2 b c 2 d 2 y + b 2 c 2 d 2 = 0 , {\displaystyle {\begin{aligned}&y^{6}-2by^{5}+\left(b^{2}-2cd+d^{2}\right)y^{4}+(4bcd-2d^{2}v)y^{3}\\&+\left(c^{2}d^{2}-2b^{2}cd+d^{2}v^{2}-d^{2}s^{2}\right)y^{2}-2bc^{2}d^{2}y+b^{2}c^{2}d^{2}=0,\end{aligned}}}
doit avoir même somme, que la somme qui se produit lorsqu’on multiplie
y 2 − 2 e y + e 2 par y 4 + f y 3 + g 2 y 2 + h 3 y + k 4 {\displaystyle y^{2}-2ey+e^{2}\quad {\text{par}}\quad y^{4}+fy^{3}+g^{2}y^{2}+h^{3}y+k^{4}}
qui est
y 6 + ( f − 2 e ) y 5 + ( g 2 − 2 e f + e 2 ) y 4 + ( h 3 − 2 e g 2 + e 2 f ) y 3 + ( k 4 − 2 e h 3 + e 2 g 2 ) y 2 + ( e 2 h 3 − 2 e k 4 ) y + e 2 k 4 ; {\displaystyle {\begin{aligned}y^{6}+&(f-2e)y^{5}+\left(g^{2}-2ef+e^{2}\right)y^{4}+\left(h^{3}-2eg^{2}+e^{2}f\right)y^{3}\\&+\left(k^{4}-2eh^{3}+e^{2}g^{2}\right)y^{2}+\left(e^{2}h^{3}-2ek^{4}\right)y+e^{2}k^{4}\,;\end{aligned}}}
de façon que de ces deux équations j’en tire six autres, qui servent à connaître les six quantités f , g , h , k , v {\displaystyle f,\,g,\,h,\,k,\,v} et s {\displaystyle s} . D’où il est fort aisé à entendre, que de quelque genre, que puisse être la ligne courbe proposée, il vient toujours par cette façon de procéder autant d’équations, qu’on est obligé de supposer de quantités, qui sont inconnues. Mais pour démêler par ordre ces équations, et trouver enfin la quantité v , {\displaystyle v,} qui et la seule dont on a besoin, et à l’occasion de laquelle on cherche les autres, il faut premièrement par le second terme chercher f , {\displaystyle f,} la première des quantités inconnues de la dernière somme, et on trouve
f = 2 e − 2 b . {\displaystyle f=2e-2b.}
Puis par le dernier il faut chercher k , {\displaystyle k,} la dernière des quantités inconnues de la même somme, et on trouve
k 4 = b 2 c 2 d 2 e 2 . {\displaystyle k^{4}={\frac {b^{2}c^{2}d^{2}}{e^{2}}}.}
Puis par le troisième terme il faut chercher g {\displaystyle g} la seconde quantité, et on a
g 2 = 3 e 2 − 4 b e − 2 c d + b 2 + d 2 . {\displaystyle g^{2}=3e^{2}-4be-2cd+b^{2}+d^{2}.}
Puis par le pénultième il faut chercher h , {\displaystyle h,} la pénultième quantité, qui est
h 3 = 2 b 2 c 2 d 2 e 2 − 2 b c 2 d 2 e 2 . {\displaystyle h^{3}={\frac {2b^{2}c^{2}d^{2}}{e^{2}}}-{\frac {2bc^{2}d^{2}}{e^{2}}}.}
Et ainsi il faudrait continuer suivant ce même ordre jusqu’à la dernière, s’il y en avait d’avantage en cette somme ; car c’est chose qu’on peut toujours faire en même façon.
Puis par le terme qui suit en ce même ordre, qui est ici le quatrième, il faut chercher la quantité v , {\displaystyle v,} et on a
v = 2 e 2 d 2 − 3 b e 2 d 2 + b e 2 d 2 − 2 c e d + e + 2 b c d + b c 2 e 2 − b 2 c 2 e 3 ; {\displaystyle v={\frac {2e^{2}}{d^{2}}}-{\frac {3be^{2}}{d^{2}}}+{\frac {be^{2}}{d^{2}}}-{\frac {2ce}{d}}+e+{\frac {2bc}{d}}+{\frac {bc^{2}}{e^{2}}}-{\frac {b^{2}c^{2}}{e^{3}}}\,;}
ou mettant y {\displaystyle y} au lieu de e {\displaystyle e} qui lui est égal on a
v = 2 y 2 d 2 − 3 b y 2 d 2 + b 2 y d 2 − 2 c y d + y + 2 b c d + b c 2 y 2 − b 2 c 2 y 3 {\displaystyle v={\frac {2y^{2}}{d^{2}}}-{\frac {3by^{2}}{d^{2}}}+{\frac {b^{2}y}{d^{2}}}-{\frac {2cy}{d}}+y+{\frac {2bc}{d}}+{\frac {bc^{2}}{y^{2}}}-{\frac {b^{2}c^{2}}{y^{3}}}}
pour la ligne A P . {\displaystyle \mathrm {AP} .}
Et ainsi la troisième équation, qui est
z 2 + 2 b c d 2 z − 2 b c d e z − 2 c d 2 v z − 2 b d e v z − b d 2 s 2 + b d 2 v 2 − c d 2 s 2 + c d 2 v 2 b d 2 + c e 2 + e 2 v − d 2 v {\displaystyle z^{2}+{\frac {2bcd^{2}z-2bcdez-2cd^{2}vz-2bdevz-bd^{2}s^{2}+bd^{2}v^{2}-cd^{2}s^{2}+cd^{2}v^{2}}{bd^{2}+ce^{2}+e^{2}v-d^{2}v}}} a la même forme que
z 2 − 2 f z + f 2 , {\displaystyle z^{2}-2fz+f^{2},}
en supposant f {\displaystyle f} égal à z , {\displaystyle z,} si bien qu’il y a derechef équation entre − 2 f {\displaystyle -2f} ou − 2 z , {\displaystyle -2z,} et
2 b c d 2 − 2 b c d e − 2 c d 2 v − 2 b d e v b d 2 + c e 2 + e 2 v − d 2 v , {\displaystyle {\frac {2bcd^{2}-2bcde-2cd^{2}v-2bdev}{bd^{2}+ce^{2}+e^{2}v-d^{2}v}},}
d’où on connaît que la quantité v {\displaystyle v} est
b c d 2 − b c d e + b d 2 z + c e 2 z c d 2 + b d e − e 2 z + d 2 z . {\displaystyle {\frac {bcd^{2}-bcde+bd^{2}z+ce^{2}z}{cd^{2}+bde-e^{2}z+d^{2}z}}.}
Façon générale pour trouver des lignes droites qui coupent les courbes données ou leurs contingentes à angles droits .
C’est pourquoi, composant la ligne A P {\displaystyle \mathrm {AP} } de cette somme égale à v , {\displaystyle v,} dont toutes les quantités sont connues, et tirant du point P {\displaystyle \mathrm {P} } ainsi trouvé, une ligne droite vers C , {\displaystyle \mathrm {C} ,} elle y coupe la courbe C E {\displaystyle \mathrm {CE} } à angles droits ; qui est ce qu’il fallait faire. Et je ne vois rien qui empêche qu’on n’étende ce problème en même façon à toutes les lignes courbes qui tombent sous quelque calcul géométrique. Même il est à remarquer, touchant la dernière somme, qu’on prend à discrétion pour remplir le nombre des dimensions de l’autre somme lorsqu’il y en manque, comme nous avons pris tantôt y 4 + f y 3 + g 2 y 2 + h 3 y + k 4 , {\displaystyle y^{4}+fy^{3}+g^{2}y^{2}+h^{3}y+k^{4},} que les signes + {\displaystyle +} et − {\displaystyle -} y peuvent être supposés tels qu’on veut, sans que la ligne v ou A P {\displaystyle \mathrm {AP} } se trouve diverse pour cela, comme vous pourrez aisément voir par expérience ; car s’il fallait que je m {\displaystyle m} ’arrêtasse à démontrer tous les théorèmes dont je fais quelque mention,, je serais contraint d’écrire un volume beaucoup plus gros que je ne désire. Mais je veux bien en passant vous
avertir que l’invention de supposer deux équations de même forme, pour comparer séparément tous les termes de l’une à ceux de l’autre, et ainsi en faire naître plusieurs d’une seule, dont vous avez vu ici un exemple, peut servir à une infinité d’autres problèmes, et n’est pas l’une des moindres de la méthode dont je me sers.
Je n’ajoute point les constructions par lesquelles on peut décrire les contingentes ou les perpendiculaires cherchées, ensuite du calcul que je viens d’expliquer, à cause qu’il est toujours aisé de les trouver, bien que souvent on ait besoin d’un peu d’adresse pour les rendre courtes et simples.
Comme par exemple, Exemple de la construction de ce problème en la conchoïde si D C {\displaystyle \mathrm {DC} } est la première conchoïde des anciens, dont A {\displaystyle \mathrm {A} } soit le pôle et B H {\displaystyle \mathrm {BH} } la règle, en sorte que toutes les lignes droites qui regardent vers A , {\displaystyle \mathrm {A} ,} et sont comprises entre la courbe C D {\displaystyle \mathrm {CD} } et la droite B H , {\displaystyle \mathrm {BH} ,} comme D B {\displaystyle \mathrm {DB} } et C E , {\displaystyle \mathrm {CE} ,} soient égales, et qu’on veuille trouver la ligne C G {\displaystyle \mathrm {CG} } qui la coupe au point C {\displaystyle \mathrm {C} } à angles droits, on pourrait, en cherchant dans la ligne B H {\displaystyle \mathrm {BH} } le point par où cette ligne C G {\displaystyle \mathrm {CG} } doit passer, selon la méthode ici expliquée, s’engager dans un calcul autant ou plus long qu’aucun des précédents : et toutefois, la construction qui devrait après en être déduite est fort simple ; car il ne faut que prendre C F {\displaystyle \mathrm {CF} } en la ligne droite C A , {\displaystyle \mathrm {CA} ,} et la faire égale à C H {\displaystyle \mathrm {CH} } qui est perpendiculaire sur H B ; {\displaystyle \mathrm {HB} \,;} puis du point F {\displaystyle \mathrm {F} } tirer F G {\displaystyle \mathrm {FG} } paral
lèle à B A {\displaystyle \mathrm {BA} } et égale à E A ; {\displaystyle \mathrm {EA} \,;} au moyen de quoi on a le point G , {\displaystyle \mathrm {G} ,} par lequel doit passer C G {\displaystyle \mathrm {CG} } la ligne cherchée.
Au reste, afin que vous sachiez que la Explication de quatre nouveaux genres d’ovales qui servent à l’optique. considération des lignes courbes ici proposée n’est pas sans usage, et qu’elles ont diverses propriétés qui ne cèdent en rien à celles des sections coniques, j’e veux encore ajouter ici genres d’ovales l’explication de certaines ovales que vous verrez être très utiles pour la théorie de la catoptrique et de la dioptrique. Voici la façon dont je les décris :
Premièrement, ayant tiré les lignes droites F A {\displaystyle \mathrm {FA} } et A R , {\displaystyle \mathrm {AR} ,} qui s’entre-coupent au point A , {\displaystyle \mathrm {A} ,} sans qu’il importe à quels angles, je prends en l’une le point F {\displaystyle \mathrm {F} } à discrétion, c’est-à-dire plus ou moins éloigné du point A , {\displaystyle \mathrm {A} ,} selon que je veux faire ces ovales plus ou moins grandes, et de ce point F , {\displaystyle \mathrm {F} ,} comme centre, je décris un cercle qui passe quelque peu au-delà du point A , {\displaystyle \mathrm {A} ,} comme par le point 5 ; {\displaystyle 5\,;} puis de ce point 5 {\displaystyle 5} je tire la ligne droite 56 , {\displaystyle 56,} qui coupe l’autre au point 6 , {\displaystyle 6,} en sorte que A 6 {\displaystyle \mathrm {A} 6} soit moindre que A 5 {\displaystyle \mathrm {A} 5} selon telle proportion donnée qu’on veut, à savoir selon celle qui mesure les réfractions si on s’en veut servir pour la dioptrique. Après cela je prends aussi le point G {\displaystyle \mathrm {G} } en la ligne F A {\displaystyle \mathrm {FA} } du côté où est le point 5 , {\displaystyle 5,} à discrétion, c’est-à-dire en faisant que les lignes A F {\displaystyle \mathrm {AF} } et G A {\displaystyle \mathrm {GA} } ont entre elles telle proportion donnée qu’on veut. Puis je fais R A {\displaystyle \mathrm {RA} } égale à G A {\displaystyle \mathrm {GA} } en la ligne A 6 , {\displaystyle \mathrm {A} 6,} et du centre G {\displaystyle \mathrm {G} } décrivant un cercle dont le rayon soit égal à R 6 , {\displaystyle \mathrm {R} 6,} il coupe l’autre cercle de part et d’autre au point 1, qui est l’un de ceux par où doit passer la première des ovales cherchées. Puis derechef du centre F {\displaystyle \mathrm {F} } je décris un cercle qui passe un peu au-deçà ou au-delà du point 5 , {\displaystyle 5,} comme par le point 7 , {\displaystyle 7,} et ayant tiré la ligne droite 78 {\displaystyle 78} parallèle à 56 , {\displaystyle 56,} du centre G {\displaystyle \mathrm {G} } je décris un autre cercle dont le rayon est égal à la ligne R 8 , {\displaystyle \mathrm {R} 8,} et ce cercle coupe celui qui passe par le point 7 {\displaystyle 7} au point 1 , {\displaystyle 1,} qui est encore l’un de ceux de la même ovale ; et ainsi on en peut trouver autant d’autres qu’on voudra, en tirant derechef d’autres lignes parallèles à 78 , {\displaystyle 78,} et d’autres cercles des centres F {\displaystyle \mathrm {F} } et G . {\displaystyle \mathrm {G} .}
Pour la seconde ovale il n’y a point de différence, sinon qu’au lieu de A R {\displaystyle \mathrm {AR} } il faut de l’autre côté du point A {\displaystyle \mathrm {A} } prendre A S {\displaystyle \mathrm {AS} } égal à A G , {\displaystyle \mathrm {AG} ,} et que le rayon du cercle décrit du centre G , {\displaystyle \mathrm {G} ,} pour couper celui qui est décrit du centre F {\displaystyle \mathrm {F} } et qui passe par le point 5 , {\displaystyle 5,} soit égal à la ligne S 6 , {\displaystyle \mathrm {S} 6,} ou qu’il soit égal à S 8 , {\displaystyle \mathrm {S} 8,} si c’est pour couper celui qui passe par le point 7 , {\displaystyle 7,} et ainsi des autres ; au moyen de quoi ces cercles s’entre-coupent aux points marqués 2 , 2 , {\displaystyle 2,\ 2,} qui sont ceux de cette seconde ovale A 2 X . {\displaystyle \mathrm {A2X} .}
Pour la troisième et la quatrième, au lieu de la ligne A G {\displaystyle \mathrm {AG} } il faut prendre A H {\displaystyle \mathrm {AH} } de l’autre côté du point A , {\displaystyle \mathrm {A} ,} à savoir du même qu’est le point F ; {\displaystyle \mathrm {F} \,;} et il y a ici de plus à observer que cette ligne A H {\displaystyle \mathrm {AH} } doit être plus grande que A F , {\displaystyle \mathrm {AF} ,} laquelle peut même être nulle, en sorte que le point F {\displaystyle \mathrm {F} } se rencontre où est le point A {\displaystyle \mathrm {A} } en la description de toutes ces ovales. Après cela les lignes A R {\displaystyle \mathrm {AR} } et A S {\displaystyle \mathrm {AS} } étant égales à A H , {\displaystyle \mathrm {AH} ,} pour décrire la troisième ovale A 3 Y , {\displaystyle \mathrm {A3Y} ,} je fais un cercle du centre H , {\displaystyle \mathrm {H} ,} dont le rayon est égal à S 6 , {\displaystyle \mathrm {S6} ,} qui coupe au point 3 {\displaystyle 3} celui du centre F , {\displaystyle \mathrm {F} ,} qui passe par le point 5 ; {\displaystyle 5\,;} et un autre dont le rayon est égal à S 8 , {\displaystyle \mathrm {S8} ,} qui coupe celui qui passe par le point 7 {\displaystyle 7} au point aussi marqué 3 , {\displaystyle 3,} et ainsi des autres. Enfin, pour la dernière ovale, je fais des cercles du centre H , {\displaystyle \mathrm {H} ,} dont les rayons sont égaux aux lignes R 6 , R 8 , {\displaystyle \mathrm {R6,R8} ,} et semblables, qui coupent les autres cercles aux points marqués 4. {\displaystyle 4.} On pourrait encore trouver une infinité d’autres moyens pour décrire ces mêmes ovales ; comme par exemple, on peut tracer la première A V , {\displaystyle \mathrm {AV} ,} lorsqu’on suppose les lignes F A {\displaystyle \mathrm {FA} } et A G {\displaystyle \mathrm {AG} } être égales, si on divise la toute F G {\displaystyle \mathrm {FG} } au point L , {\displaystyle \mathrm {L} ,} en sorte que F L {\displaystyle \mathrm {FL} } soit à L G {\displaystyle \mathrm {LG} } comme A 5 {\displaystyle \mathrm {A5} } à A 6 , {\displaystyle \mathrm {A6} ,} c’est-à-dire qu’elles aient la proportion qui mesure les réfractions. Puis ayant divisé A L {\displaystyle \mathrm {AL} } en deux parties égales au point K , {\displaystyle \mathrm {K} ,} qu’on fasse tourner une règle comme E F {\displaystyle \mathrm {EF} } autour du point F , {\displaystyle \mathrm {F} ,} en pressant du doigt G {\displaystyle \mathrm {G} } la corde E G , {\displaystyle \mathrm {EG} ,} qui étant attachée au bout de cette règle vers E , {\displaystyle \mathrm {E} ,} se replie de C {\displaystyle \mathrm {C} } vers K , {\displaystyle \mathrm {K} ,} puis de K {\displaystyle \mathrm {K} } derechef vers C , {\displaystyle \mathrm {C} ,} et de C {\displaystyle \mathrm {C} } vers G , {\displaystyle \mathrm {G} ,} où son autre bout soit attaché, en
sorte que la longueur de cette corde soit composée de celle des lignes G A , {\displaystyle \mathrm {GA} ,} plus A L , {\displaystyle \mathrm {AL} ,} plus F E , {\displaystyle \mathrm {FE} ,} moins A F ; {\displaystyle \mathrm {AF} \,;} et ce sera le mouvement du point C {\displaystyle \mathrm {C} } qui décrira cette ovale, à l’imitation de ce qui a été dit en la dioptrique de l’ellipse et de l’hyperbole ; mais je ne veux point m {\displaystyle m} ’arrêter plus longtemps sur ce sujet.
Or, encore que toutes ces ovales semblent être quasi de même nature, elles sont néanmoins de quatre divers genres, chacun desquels contient sous soi une infinité d’autres genres, qui derechef contiennent chacun autant de diverses espèces que fait le genre des ellipses ou celui des hyperboles ; car selon que la proportion qui est entre les lignes A 5 , A 6 , {\displaystyle \mathrm {A5,A6} ,} ou semblables, est différente, le genre subalterne de ces ovales est différent ; puis selon que la proportion qui est entre les lignes A F {\displaystyle \mathrm {AF} } et A G {\displaystyle \mathrm {AG} } ou A H {\displaystyle \mathrm {AH} } est changée, les ovales de chaque genre subalterne changent d’espèce ; et selon que A G {\displaystyle \mathrm {AG} } ou A H {\displaystyle \mathrm {AH} } est plus ou moins grande, elles sont diverses en grandeur ; et si les lignes A 5 {\displaystyle \mathrm {A5} } et A 6 {\displaystyle \mathrm {A6} } sont égales, au lieu des ovales du premier genre ou du troisième, on ne décrit que des lignes droites ; mais au lieu de celles du second on a Les propriétés de ces ovales touchant les réflexions et les réfractions. toutes les hyperboles possibles, et au lieu de celles du dernier toutes les ellipses. Outre cela, en chacune de ces ovales il faut considérer deux parties qui ont diverses propriétés ;
à savoir en la première, la partie qui est vers A , {\displaystyle \mathrm {A} ,} fait que les rayons qui étant dans l’air viennent du point F , {\displaystyle \mathrm {F} ,} se retournent tous vers le point G , {\displaystyle \mathrm {G} ,} lorsqu’ils rencontrent la superficie convexe d’un verre dont la superficie est 1 A 1 , {\displaystyle \mathrm {1A1} ,} et dans lequel les réfractions se font telles que, suivant ce qui a été dit en la Dioptrique, elles peuvent toutes être mesurées par la proportion qui est entre les lignes A 5 {\displaystyle \mathrm {A5} } et A 6 {\displaystyle \mathrm {A6} } ou semblables, par l’aide desquelles on a décrit cette ovale.
Mais la partie qui est vers V {\displaystyle \mathrm {V} } fait que les rayons qui viennent du point G {\displaystyle \mathrm {G} } se réfléchiraient tous vers F , {\displaystyle \mathrm {F} ,} s’ils y rencontraient la superficie concave d’un miroir dont la figure fût 1 V 1 , {\displaystyle \mathrm {1V1} ,} et qui fût de telle matière qu’il diminuât la force de ces rayons selon la proportion qui est entre les lignes A 5 {\displaystyle \mathrm {A5} } et A 6 ; {\displaystyle \mathrm {A6} \,;} car de ce qui a été démontré en la Dioptrique, il est évident que, cela posé, les angles de la réflexion seraient inégaux, aussi bien que sont ceux de la réfraction, et pourraient être mesurés en même sorte.
En la seconde ovale la partie 2 A 2 {\displaystyle \mathrm {2A2} } sert encore pour les réflexions dont on suppose les angles être inégaux ; car étant en la superficie d’un miroir composé de même matière que le précédent, elle ferait tellement réfléchir tous les rayons qui viendraient du point G , {\displaystyle \mathrm {G} ,} qu’ils sembleraient après être réfléchis venir du point F . {\displaystyle \mathrm {F} .} Et il est à remarquer qu’ayant fait la ligne A G {\displaystyle \mathrm {AG} } beaucoup plus grande que A F , {\displaystyle \mathrm {AF} ,} ce miroir serait convexe au milieu vers A , {\displaystyle \mathrm {A} ,} et concave aux extrémités ; car telle est la figure de cette ligne, qui en cela représente plutôt un cœur qu’une ovale.
Mais son autre partie X 2 {\displaystyle \mathrm {X2} } sert pour les réfractions, et fait que les rayons qui étant dans l’air tendent vers F , {\displaystyle \mathrm {F} ,} se détournent vers G {\displaystyle \mathrm {G} } en traversant la superficie d’un verre qui en ait la figure.
La troisième ovale sert toute aux réfractions, et fait que les rayons qui étant dans l’air tendent vers F , {\displaystyle \mathrm {F} ,} se vont rendre vers H {\displaystyle \mathrm {H} } dans le verre, après qu’ils ont traversé sa superficie dont la figure est A 3 Y 3 , {\displaystyle \mathrm {A3Y3} ,} qui est convexe partout, excepté vers A {\displaystyle \mathrm {A} } où elle est un peu concave, en sorte qu’elle a la figure d’un cœur aussi bien que la précédente ; et la différence qui est entre les deux parties de cette ovale consiste en ce que le point F {\displaystyle \mathrm {F} } est plus proche de l’une que n’est le point H , {\displaystyle \mathrm {H} ,} et qu’il est plus éloigné de l’autre que ce même point H . {\displaystyle \mathrm {H} .}
En même façon la dernière ovale sert toute aux réflexions, et fait que si les rayons qui viennent du point H {\displaystyle \mathrm {H} } rencontraient la superficie concave d’un miroir de même matière que les précédents, et dont la figure fût A 4 Z 4 , {\displaystyle \mathrm {A4Z4} ,} ils se réfléchiroient tous vers F . {\displaystyle \mathrm {F} .}
De façon qu’on peut nommer les points F {\displaystyle \mathrm {F} } et G {\displaystyle \mathrm {G} } ou H {\displaystyle \mathrm {H} } les points brûlants de ces ovales, à l’exemple de ceux des ellipses et des hyperboles, qui ont été ainsi nommés en la Dioptrique.
J’omets quantité d’autres réfractions et réflexions Démonstration des propriétés de ces ovales touchant les réflexions et les réfractions. qui sont réglées par ces mêmes ovales, car n’étant que les converses ou les contraires de celles-ci, elles en peuvent facilement être déduites.
Mais il ne faut pas que j’omette la démonstration de ce que j’ai dit ; et à cet effet prenons, par exemple le point C, à discrétion en la première partie de la première de ces ovales ; puis tirons la ligne droite C P , {\displaystyle \mathrm {CP} ,} qui coupe la courbe au point C {\displaystyle \mathrm {C} } à angles droits, ce qui est facile par le problème précédent. Car prenant b {\displaystyle b} pour A G , {\displaystyle \mathrm {AG} ,} c {\displaystyle c} pour A F , {\displaystyle \mathrm {AF} ,} c + z {\displaystyle c+z} pour F C , {\displaystyle \mathrm {FC} ,} et supposant que la proportion qui est entre d {\displaystyle d} et e , {\displaystyle e,} que je prendrai ici toujours pour celle qui mesure les réfractions du verre proposé, désigne aussi celle qui est entre les lignes A 5 , {\displaystyle \mathrm {A5} ,} et A 6 , {\displaystyle \mathrm {A6} ,} ou semblables, qui ont servi pour décrire cette ovale, ce qui donne b − e d z {\displaystyle b-{\frac {e}{d}}z} pour G C , {\displaystyle \mathrm {GC} ,} on trouve que la ligne A P {\displaystyle \mathrm {AP} } est
b c d 2 − b c d e + b d 2 z + c e 2 z c d 2 + b d e − e 2 z + d 2 z , {\displaystyle {\frac {bcd^{2}-bcde+bd^{2}z+ce^{2}z}{cd^{2}+bde-e^{2}z+d^{2}z}},}
ainsi qu’il a été montré ci-dessus. De plus du point P {\displaystyle \mathrm {P} } ayant tiré P Q {\displaystyle \mathrm {PQ} } à angles droits sur la droite F C , {\displaystyle \mathrm {FC} ,} et P N {\displaystyle \mathrm {PN} } aussi à angles droits sur G C , {\displaystyle \mathrm {GC} ,} considérons que si P Q {\displaystyle \mathrm {PQ} } est à P N , {\displaystyle \mathrm {PN} ,} comme d {\displaystyle d} est à e , {\displaystyle e,} c’est à dire, comme les lignes qui mesurent les réfractions du verre convexe A C , {\displaystyle \mathrm {AC} ,} le rayon qui vient du point F {\displaystyle \mathrm {F} } au point C , {\displaystyle \mathrm {C} ,} doit tellement s’y courber en entrant dans ce verre, qu’il s’aille rendre après vers G {\displaystyle \mathrm {G} } : ainsi qu’il est très évident de ce qui a été dit en la Dioptrique. Puis enfin voyons par le calcul, s’il est vrai, que P Q {\displaystyle \mathrm {PQ} } soit à P N ; {\displaystyle \mathrm {PN} \,;} comme d {\displaystyle d} est à e . {\displaystyle e.} Les triangles rectangles P Q F {\displaystyle \mathrm {PQF} } et C M F {\displaystyle \mathrm {CMF} } font semblables d’où il suit que C F {\displaystyle \mathrm {CF} } est à C M , {\displaystyle \mathrm {CM} ,} comme F P {\displaystyle \mathrm {FP} } est à P Q ; {\displaystyle \mathrm {PQ} \,;} et par conséquent que F P , {\displaystyle \mathrm {FP} ,} étant multipliée par C M , {\displaystyle \mathrm {CM} ,} et divisée par C F , {\displaystyle \mathrm {CF} ,} est égale à P Q . {\displaystyle \mathrm {PQ} .} Tout de même les triangles rectangles P N G , {\displaystyle \mathrm {PNG} ,} et C M G {\displaystyle \mathrm {CMG} } sont semblables ; d’où il suit que G P , {\displaystyle \mathrm {GP} ,} multipliée par C M , {\displaystyle \mathrm {CM} ,} et divisée par C G , {\displaystyle \mathrm {CG} ,} est égale à P N . {\displaystyle \mathrm {PN} .} Puis à cause que les multiplications ou divisions qui se font de deux quantités par une même, ne changent point la proportion qui est entre elles, si F P {\displaystyle \mathrm {FP} } multipliée par C M {\displaystyle \mathrm {CM} } et divisée par C F , {\displaystyle \mathrm {CF} ,} est à G P {\displaystyle \mathrm {GP} } multipliée aussi par C M {\displaystyle \mathrm {CM} } et divisée par C G , {\displaystyle \mathrm {CG} ,} comme d {\displaystyle d} est à e , {\displaystyle e,} en divisant l’une et l’autre de ces deux sommes par C M , {\displaystyle \mathrm {CM} ,} puis les multipliant toutes deux par C F , {\displaystyle \mathrm {CF} ,} et derechef par C G , {\displaystyle \mathrm {CG} ,} il reste F P {\displaystyle \mathrm {FP} } multipliée par C G , {\displaystyle \mathrm {CG} ,} qui doit être à G P {\displaystyle \mathrm {GP} } multipliée par C F , {\displaystyle \mathrm {CF} ,} comme d {\displaystyle d} est à e {\displaystyle e} . Or par la construction F P {\displaystyle \mathrm {FP} } est
c + b c d 2 − b c d e + b d 2 z + c e 2 z c d 2 + b d e − e 2 z + d 2 z , {\displaystyle c+{\frac {bcd^{2}-bcde+bd^{2}z+ce^{2}z}{cd^{2}+bde-e^{2}z+d^{2}z}},}
ou bien
F P = b c d 2 − c 2 d 2 + b d 2 z + c d 2 z c d 2 + b d e − e 2 z + d 2 z {\displaystyle \mathrm {FP} ={\frac {bcd^{2}-c^{2}d^{2}+bd^{2}z+cd^{2}z}{cd^{2}+bde-e^{2}z+d^{2}z}}}
et C G {\displaystyle \mathrm {CG} } est b − c d z ; {\displaystyle b-{\frac {c}{d}}z\,;} si bien que multipliant F P {\displaystyle \mathrm {FP} } par C G , {\displaystyle \mathrm {CG} ,} il vient
b 2 c d 2 + b c 2 d 2 + b 2 d 2 z + b c d 2 z − b c d e z − c 2 d e z − b d e z 2 − c d e z 2 c d 2 + b d e − e z 2 + d 2 z , {\displaystyle {\frac {b^{2}cd^{2}+bc^{2}d^{2}+b^{2}d^{2}z+bcd^{2}z-bcdez-c^{2}dez-bdez^{2}-cdez^{2}}{cd^{2}+bde-ez^{2}+d^{2}z}},}
puis G P {\displaystyle \mathrm {GP} } est
b − b c d 2 − b c d e + b d 2 z + c e 2 z c d 2 + b d e − e 2 z + d 2 z , {\displaystyle b-{\frac {bcd^{2}-bcde+bd^{2}z+ce^{2}z}{cd^{2}+bde-e^{2}z+d^{2}z}},}
ou bien
G P = b 2 d e + b c d e − b e 2 z − c e 2 z c d 2 + b d e − e 2 z + d 2 z , {\displaystyle \mathrm {GP} ={\frac {b^{2}de+bcde-be^{2}z-ce^{2}z}{cd^{2}+bde-e^{2}z+d^{2}z}},}
et C F {\displaystyle \mathrm {CF} } est c + z ; {\displaystyle c+z\,;} Si bien que multipliant G P {\displaystyle \mathrm {GP} } par C F , {\displaystyle \mathrm {CF} ,} il vient
b 2 c d e + b c 2 d e + b 2 c e z + b c d e z − b c e 2 z − c 2 e 2 z − b e 2 z 2 − c e 2 z 2 c d 2 + b d e − e 2 z + d 2 z . {\displaystyle {\frac {b^{2}cde+bc^{2}de+b^{2}cez+bcdez-bce^{2}z-c^{2}e^{2}z-be^{2}z^{2}-ce^{2}z^{2}}{cd^{2}+bde-e^{2}z+d^{2}z}}.}
Et pourceque la première de ces sommes divisée par d , {\displaystyle d,} est la même que la seconde divisée par e , {\displaystyle e,} il est manifeste, que F P {\displaystyle \mathrm {FP} } multipliée par C G {\displaystyle \mathrm {CG} } est à G P {\displaystyle \mathrm {GP} } multipliée par C F ; {\displaystyle \mathrm {CF} \,;} c’est à dire que P Q {\displaystyle \mathrm {PQ} } est à P N , {\displaystyle \mathrm {PN} ,} comme d {\displaystyle d} est à e , {\displaystyle e,} qui esttout ce qu’il fallait démontrer.
Et sachez que cette même démonstration s’étend à tout ce qui a été dit des autres réfractions ou réflexions, qui se font dans les ovales proposées sans qu’il y faille changer aucune chose, que les signes + {\displaystyle +} et − {\displaystyle -} du calcul, c’est pourquoi chacun les peut aisément examiner de soi-même, sans qu’il soit besoin que je m {\displaystyle m} ’y arête. Mais il faut maintenant que je satisfasse à ce que j’ai omis en la Dioptrique, lorsqu’après avoir remarqué qu’il peut y avoir des verres de plusieurs diverses figures qui fassent aussi bien l’un que l’autre que les rayons venant d’un même point
de l’objet s’assemblent tous en un autre point après les avoir traversés ; et qu’entre ces verres, ceux qui sont fort convexes d’un côté et concaves de l’autre ont plus de force pour brûler que ceux qui sont également convexes des deux côtés ; au lieu que tout au contraire ces derniers sont les meilleurs pour les lunettes. Je me suis contenté d’expliquer ceux que j’ai cru être les meilleurs pour la pratique, en supposant la difficulté que les artisans peuvent avoir à les tailler. C’est pourquoi, afin qu’il ne reste rien à souhaiter touchant la théorie de cette science, je dois expliquer encore ici la figure des verres qui, ayant l’une de leurs superficies autant convexe ou concave qu’on voudra, ne laissent pas de faire que tous les rayons qui viennent vers eux d’un même point, ou parallèles, s’assemblent après en un même point ; et celles des verres qui font le semblable, étant également convexes des deux côtés, ou bien la convexité de l’une de leurs superficies Comment on peut faire un verre autant convexe ou concave en l’une de ses superficies qu’on voudra, qui rassemble à un point donné tous les rayons qui viennent d’un autre point donné. ayant la proportion donnée à celle de l’autre.
Figures 17
Posons pour le premier cas, que les points G , Y , C {\displaystyle \mathrm {G,Y,C} } et F {\displaystyle \mathrm {F} } étant donnés, les rayons qui viennent du point G {\displaystyle \mathrm {G} } ou bien qui sont parallèles à G A {\displaystyle \mathrm {GA} } se doivent assembler au point F , {\displaystyle \mathrm {F} ,} après avoir traversé un verre si concave, que Y {\displaystyle \mathrm {Y} } étant le milieu de sa superficie intérieure, l’extrémité en soit au point C , {\displaystyle \mathrm {C} ,} en sorte que la corde C M C {\displaystyle \mathrm {CMC} } et la flèche Y M {\displaystyle \mathrm {YM} } de l’arc C Y C {\displaystyle \mathrm {CYC} } sont données. La question va là, que premièrement il faut considérer de laquelle des ovales expliquées, la superficie du verre Y G {\displaystyle \mathrm {YG} } doit avoir la figure, pour faire que tous les rayons qui étant dedans tendent vers un même point, comme vers H , {\displaystyle \mathrm {H} ,} qui n’est pas encore connu, s’aillent rendre vers un autre, à savoir vers F , {\displaystyle \mathrm {F} ,} après en être sortis. Car il n’y a aucun effet touchant le rapport des rayons, changé par réflexion ou réfraction d’un point à un autre, qui ne puisse être causé par quelqu’une de ces ovales ; et on voit aisément que celui-ci le peut être par la partie de la troisième ovale qui a tantôt été marquée 3 A 3 {\displaystyle \mathrm {3A3} } , ou par celle de la même qui a été marquée 3Y3, ou enfin par la partie de la seconde qui a été marquée 2 X 2 {\displaystyle \mathrm {2X2} } . Et pourceque ces trois tombent ici sous même calcul, on doit, tant pour l’une que pour l’autre, prendre Y pour leur sommet, C {\displaystyle \mathrm {C} } pour l’un des points de leur circonférence, et F {\displaystyle \mathrm {F} } pour l’un de leurs points brûlants ; après quoi il ne reste plus à chercher que le point H {\displaystyle \mathrm {H} } qui doit être l’autre point brûlant. Et on le trouve en considérant que la différence qui est entre les lignes F Y {\displaystyle \mathrm {FY} } et F C {\displaystyle \mathrm {FC} } doit être à celle qui est entre les lignes H Y {\displaystyle \mathrm {HY} } et H C {\displaystyle \mathrm {HC} } comme d {\displaystyle d} est à e , {\displaystyle e,} c’est-à-dire comme la plus grande des lignes qui mesurent les réfractions du verre proposé est à la moindre, ainsi qu’on peut voir manifestement de la description de ces ovales. Et pourceque les lignes F Y {\displaystyle \mathrm {FY} } et F C {\displaystyle \mathrm {FC} } sont données, leur différence l’est aussi, et ensuite celle qui est entre H Y {\displaystyle \mathrm {HY} } et H C , {\displaystyle \mathrm {HC} ,} pourceque la proportion qui est entre ces deux différences est donnée. Et de plus, à cause que Y M {\displaystyle \mathrm {YM} } est donnée, la différence qui est entre M H {\displaystyle \mathrm {MH} } et H G {\displaystyle \mathrm {HG} } l’est aussi ; et enfin pourceque C M {\displaystyle \mathrm {CM} } est donnée, il ne reste plus qu’à trouver M H {\displaystyle \mathrm {MH} } le côté du triangle rectangle C M H {\displaystyle \mathrm {CMH} } dont on a l’autre côté C M , {\displaystyle \mathrm {CM} ,} et on a aussi la différence qui est entre C H {\displaystyle \mathrm {CH} } la base et M H {\displaystyle \mathrm {MH} } le côté demandé ; d’où il est aisé de le trouver : car si on prend k {\displaystyle k} pour l’excès de G H {\displaystyle \mathrm {GH} } sur M H , {\displaystyle \mathrm {MH} ,} et n {\displaystyle n} pour la longueur de la ligne C M , {\displaystyle \mathrm {CM} ,} on aura n 2 2 k − 1 2 k {\displaystyle {\frac {n^{2}}{2k}}-{\frac {1}{2}}k} pour M H . {\displaystyle \mathrm {MH} .} Et après avoir ainsi le point H , {\displaystyle \mathrm {H} ,} s’il se trouve plus loin du point Y que n’en est le point F , {\displaystyle \mathrm {F} ,} la ligne C Y {\displaystyle \mathrm {CY} } doit être la première partie de l’ovale du troisième genre, qui a tantôt été nommée 3 A 3 {\displaystyle \mathrm {3A3} } . Mais si H Y {\displaystyle \mathrm {HY} } est moindre que F Y {\displaystyle \mathrm {FY} } : ou bien elle surpasse H F {\displaystyle \mathrm {HF} } de tant, que leur différence est plus grande à raison de la toute F Y , {\displaystyle \mathrm {FY} ,} que n’est e la moindre des lignes qui mesurent les réfractions comparée avec d {\displaystyle d} la plus grande, c’est-à-dire que faisant H F = c , {\displaystyle \mathrm {HF} =c,} et H Y = c + h , {\displaystyle \mathrm {HY} =c+h,} d h {\displaystyle dh} est plus grande que 2 c e + e h , {\displaystyle 2ce+eh,} et lors G Y {\displaystyle \mathrm {GY} } doit être la seconde partie de la même ovale du troisième genre, qui a tantôt été nommée 3 Y 3 {\displaystyle \mathrm {3Y3} } : ou bien d h {\displaystyle dh} est égale ou moindre que 2’’ce + eh’’, et lors CY doit être la seconde partie de l’ovale du second genre, qui a ci-dessus été nommée 2 X 2 {\displaystyle \mathrm {2X2} } : et enfin si le point H est le même que le point F , {\displaystyle \mathrm {F} ,} ce qui n’arrive que lorsque F Y {\displaystyle \mathrm {FY} } et F C {\displaystyle \mathrm {FC} } sont égales, cette ligne Y C {\displaystyle \mathrm {YC} } est un cercle.
Figure 18
Après cela il faut chercher C A C {\displaystyle \mathrm {CAC} } l’autre superficie de ce verre, qui doit être une ellipse dont H {\displaystyle \mathrm {H} } soit le point brûlant, si on suppose que les rayons qui tombent dessus soient parallèles ; et lors il est aisé de la trouver. Mais si on suppose qu’ils viennent du point G , {\displaystyle \mathrm {G} ,} ce doit être la première partie d’une ovale du premier genre dont les deux points brûlants soient G {\displaystyle \mathrm {G} } et H , {\displaystyle \mathrm {H} ,} et qui passe par le point G ; {\displaystyle \mathrm {G} \,;} d’où on trouve le point A {\displaystyle \mathrm {A} } pour le sommet de cette ovale, en considérant que G C {\displaystyle \mathrm {GC} } doit être plus grande que G A {\displaystyle \mathrm {GA} } d’une quantité qui soit à celle dont H A {\displaystyle \mathrm {HA} } surpasse H C , {\displaystyle \mathrm {HC} ,} comme d {\displaystyle d} à e ; {\displaystyle e\,;} car ayant pris k {\displaystyle k} pour la différence qui est entre G H {\displaystyle \mathrm {GH} } et H M , {\displaystyle \mathrm {HM} ,} si on suppose x {\displaystyle x} pour A M , {\displaystyle \mathrm {AM} ,} on aura x − k {\displaystyle x-k} pour la différence qui est entre A H {\displaystyle \mathrm {AH} } et C H ; {\displaystyle \mathrm {CH} \,;} puis si on prend g {\displaystyle g} pour celle qui est entre G C {\displaystyle \mathrm {GC} } et G M {\displaystyle \mathrm {GM} } qui sont données, on aura g + x {\displaystyle g+x} pour celle qui est entre G G , {\displaystyle \mathrm {GG} ,} et G A ; {\displaystyle \mathrm {GA} \,;} et pour cette dernière g + x {\displaystyle g+x} est à l’autre x − k {\displaystyle x-k} comme d {\displaystyle d} est à e , {\displaystyle e,} on a
g e + e x = d x − d k , {\displaystyle ge+ex=dx-dk,}
ou bien g e + d k d − e {\displaystyle {\frac {ge+dk}{d-e}}} pour la ligne x , {\displaystyle x,} ou A M , {\displaystyle \mathrm {AM} ,} par laquelle on détermine le point A {\displaystyle \mathrm {A} } qui était cherché. Posons maintenant pour l’autre cas, qu’on ne
donne que les points Comment on peut faire un verre qui ait le même effet que le précédent, et que la convexité de l’une de ses superficies ait la proportion donnée avec la convexité ou, concavité de l’autre. G , C {\displaystyle \mathrm {G,C} } et F , {\displaystyle \mathrm {F} ,} avec la proportion qui est entre les lignes A M {\displaystyle \mathrm {AM} } et Y M , {\displaystyle \mathrm {YM} ,} et qu’il faille trouver la figure du verre A C Y {\displaystyle \mathrm {ACY} } qui fasse que tous les rayons qui viennent du point G {\displaystyle \mathrm {G} } s’assemblent au point F . {\displaystyle \mathrm {F} .}
On peut derechef ici se servir de deux ovales dont l’une A G {\displaystyle \mathrm {AG} } ait G {\displaystyle \mathrm {G} } et H {\displaystyle \mathrm {H} } pour ses points brûlants, et l’autre C Y {\displaystyle \mathrm {CY} } ait F {\displaystyle \mathrm {F} } et H {\displaystyle \mathrm {H} } pour les siens. Et pour les trouver, premièrement, supposant le point H , {\displaystyle \mathrm {H} ,} qui est commun à toutes deux, être connu, je cherche A M {\displaystyle \mathrm {AM} } par les trois points G , C , H , {\displaystyle \mathrm {G,C,H} ,} en la façon tout maintenant expliquée, à savoir, prenant k {\displaystyle k} pour la différence qui est entre C H {\displaystyle \mathrm {CH} } et H M , {\displaystyle \mathrm {HM} ,} et g {\displaystyle g} pour celle qui est entre G C {\displaystyle \mathrm {GC} } et G M , {\displaystyle \mathrm {GM} ,} et A G {\displaystyle \mathrm {AG} } étant la première partie de l’ovale du premier genre, j’ai g e + d k d − e {\displaystyle {\frac {ge+dk}{d-e}}} pour A M ; {\displaystyle \mathrm {AM} \,;} puis je cherche aussi M Y {\displaystyle \mathrm {MY} } par les trois points F , C , H , {\displaystyle \mathrm {F,C,H} ,} en sorte que C Y {\displaystyle \mathrm {CY} } soit la première partie d’une ovale du troisième genre ; et prenant y {\displaystyle y} pour M Y , {\displaystyle \mathrm {MY} ,} et f {\displaystyle f} pour la différence qui est entre C F {\displaystyle \mathrm {CF} } et F M , {\displaystyle \mathrm {FM} ,} j’ai f + y {\displaystyle f+y} pour celle qui est entre C F {\displaystyle \mathrm {CF} } et F Y ; {\displaystyle \mathrm {FY} \,;} puis ayant déjà k {\displaystyle k} pour celle qui est entre C H {\displaystyle \mathrm {CH} } et H M , {\displaystyle \mathrm {HM} ,} j’ai k + y {\displaystyle k+y} pour celle qui est entre C H {\displaystyle \mathrm {CH} } et H Y , {\displaystyle \mathrm {HY} ,} que je sais devoir être à f + y {\displaystyle f+y} comme e {\displaystyle e} est à d , {\displaystyle d,} à cause de l’ovale du troisième genre, d’où je trouve que y {\displaystyle y} ou M Y {\displaystyle \mathrm {MY} } est f e − d k d − e ; {\displaystyle {\frac {fe-dk}{d-e}}\,;} puis joignant ensemble les deux quantités trouvées pour A M {\displaystyle \mathrm {AM} } et M Y , {\displaystyle \mathrm {MY} ,} je trouve g e + f e d − e {\displaystyle {\frac {ge+fe}{d-e}}} pour la toute A Y : {\displaystyle \mathrm {AY} \,:} d’où il suit que, de quelque côté que soit supposé le point H , {\displaystyle \mathrm {H} ,} cette ligne A Y {\displaystyle \mathrm {AY} } est toujours composée d’une quantité qui est à celle dont les deux ensemble G C {\displaystyle \mathrm {GC} } et C F {\displaystyle \mathrm {CF} } surpassent la toute G F , {\displaystyle \mathrm {GF} ,} comme e , {\displaystyle e,} la moindre des deux lignes qui servent à mesurer les réfractions du verre proposé, est à d − e {\displaystyle d-e} la différence qui est entre ces deux lignes, ce qui est un assez beau théorème. Or, ayant ainsi la toute A Y , {\displaystyle \mathrm {AY} ,} il la faut couper selon la proportion que doivent avoir ses parties A M {\displaystyle \mathrm {AM} } et M Y ; {\displaystyle \mathrm {MY} \,;} au moyen de quoi, pourcequ’on a déjà le point M , {\displaystyle \mathrm {M} ,} on trouve aussi les points A {\displaystyle \mathrm {A} } et Y , {\displaystyle \mathrm {Y} ,} et ensuite le point H {\displaystyle \mathrm {H} } par le problème précédent. Mais auparavant il faut regarder si la ligne A M {\displaystyle \mathrm {AM} } ainsi trouvée est plus grande que g e d − e , {\displaystyle {\frac {ge}{d-e}},} ou plus petite, ou égale. Car si elle est plus grande, on apprend de là que la courbe A C {\displaystyle \mathrm {AC} } doit être la première partie d’une ovale du premier genre, et C Y {\displaystyle \mathrm {CY} } la première d’une du troisième, ainsi qu’elles ont été ici supposées ; au lieu que si elle est plus petite, cela montre que c’est G Y {\displaystyle \mathrm {GY} } qui doit être la première partie d’une ovale du premier genre, et que A C {\displaystyle \mathrm {AC} } doit être la première d’une du troisième ; enfin si A M {\displaystyle \mathrm {AM} } est égale à g e d − e , {\displaystyle {\frac {ge}{d-e}},} les deux courbes A C {\displaystyle \mathrm {AC} } et C Y {\displaystyle \mathrm {CY} } doivent être deux hyperboles.
On pourrait étendre ces deux problèmes à une infinité d’autres cas que je ne m’arrête pas à déduire, à cause qu’ils n’ont eu aucun usage en la dioptrique. On pourrait aussi passer outre et dire (lorsque l'une des superficies du verre est donnée, pourvu qu'elle ne soit que toute plate, ou composée de sections coniques ou de cercles) comment on doit faire son autre superficie, afin qu'il transmette tous les rayons d'un point donné à un autre point aussi donné ; car ce n'est rien de plus difficile que ce que je viens d'expliquer, ou plutôt c'est chose beaucoup plus facile à cause que le chemin en est ouvert. Mais j'aime mieux que d'autres le cherchent, afin que s'ils ont encore un peu de peine à le trouver, cela leur fasse d'autant plus estimer l'invention des choses qui sont ici démontrées.
Au reste je n'ai parlé en tout ceci que Comment on peut rapporter tout ce qui a été dit des lignes courbes décrites sur une superficie plate, à celles qui se décrivent dans un espace qui a trois dimensions. des lignes courbes qu'on peut décrire sur une superficie plate ; mais il est aisé de rapporter ce que j'en ai dit à toutes celles qu'on saurait imaginer être formées par le mouvement régulier des points de quelque corps dans un espace qui a trois dimensions : à savoir, en tirant deux perpendiculaires de chacun des points de la ligne courbe qu'on veut considérer, sur deux plans qui s'entre-coupent à angles droits, l'une sur l'un et l'autre sur l'autre; car les extrémités de ces perpendiculaires décrivent deux autres lignes courbes, une sur chacun de ces plans, desquelles on peut en la façon ci-dessus expliquée déterminer tous les points et les rapporter à ceux de la ligne droite qui est commune à ces deux plans, au moyen de quoi ceux de la courbe qui a trois dimensions sont entièrement déterminés. Même si on veut tirer une ligne droite qui coupe cette courbe au point donné à angles droits, il faut seulement tirer deux autres lignes droites dans les deux plans, une en chacun, qui coupent à angles droits les deux lignes courbes qui y sont aux deux points où tombent les perpendiculaires qui viennent de ce point donné; car ayant élevé deux autres plans, un sur chacune de ces lignes droites, qui coupe à angles droits le plan où elle est, on aura l'intersection de ces deux plans pour la ligne droite cherchée. Et ainsi je pense n'avoir rien omis des éléments qui sont nécessaires pour la connaissance des lignes courbes.
de la construction des problèmes qui sontsolides ou plus que solides.
Encore que toutes les lignes courbes De quelles lignes courbes on peut se servir en la construction de chaque problème qui peuvent être décrites par quelque mouvement régulier doivent être reçues en la géométrie, ce n’est pas à dire qu’il soit permis de se servir indifféremment de la première qui se rencontre pour la construction de chaque problème, mais il faut avoir soin de choisir toujours la plus simple par laquelle il soit possible de le résoudre. Et même il est à remarquer que par les plus simples on ne doit pas seulement entendre celles qui peuvent le plus aisément être décrites, ni celles qui rendent la construction ou la démonstration Exemple touchant l’invention de plusieurs moyennes proportionnelles. du problème proposée plus facile, mais principalement celles qui sont du plus simple genre qui puisse servir à déterminer la quantité qui est cherchée.
Comme, par exemple, je ne crois pas qu’il y ait aucune façon plus facile pour trouver autant de moyennes proportionnelles qu’on veut, ni dont la démonstration soit plus évidente, que d’y employer les lignes courbes qui se décrivent par l’instrument X Y Z {\displaystyle \mathrm {XYZ} } ci-dessus expliqué. Car, voulant trouver deux moyennes proportionnelles entre Y A {\displaystyle \mathrm {YA} } et Y E , {\displaystyle \mathrm {YE} ,} il ne faut que décrire un cercle dont le diamètre soit Y E , {\displaystyle \mathrm {YE} ,} et pource que ce cercle coupe la courbe A D {\displaystyle \mathrm {AD} } au point D , {\displaystyle \mathrm {D} ,} Y D {\displaystyle \mathrm {YD} } est l’une des moyennes proportionnelles cherchées, dont la démonstration se voit à l’œil par la seule application de cet instrument sur la ligne Y D ; {\displaystyle \mathrm {YD} \,;} car, comme Y A {\displaystyle \mathrm {YA} } ou Y B , {\displaystyle \mathrm {YB} ,} qui lui est égale, est à Y C , {\displaystyle \mathrm {YC} ,} ainsi Y C {\displaystyle \mathrm {YC} } est à Y D , {\displaystyle \mathrm {YD} ,} et Y D {\displaystyle \mathrm {YD} } à Y E . {\displaystyle \mathrm {YE} .}
Figure 6
Tout de même pour trouver quatre moyennes proportionnelles entre Y A {\displaystyle \mathrm {YA} } et Y G , {\displaystyle \mathrm {YG} ,} ou pour en trouver six entre Y A {\displaystyle \mathrm {YA} } et Y N , {\displaystyle \mathrm {YN} ,} il ne faut que tracer le cercle Y F G {\displaystyle \mathrm {YFG} } qui, coupant A F {\displaystyle \mathrm {AF} } au point F , {\displaystyle \mathrm {F} ,} détermine la ligne droite Y F {\displaystyle \mathrm {YF} } qui est l’une de ces quatre proportionnelles ; ou Y H N {\displaystyle \mathrm {YHN} } qui, coupant A H {\displaystyle \mathrm {AH} } au point H , {\displaystyle \mathrm {H} ,} détermine Y H {\displaystyle \mathrm {YH} } l’une des six ; et ainsi des autres. Mais pourceque la ligne courbe A D {\displaystyle \mathrm {AD} } est du second genre, et qu’on peut trouver deux moyennes proportionnelles par les sections coniques qui sont du premier ; et aussi pourcequ’on peut trouver quatre ou six moyennes proportionnelles par des lignes qui ne sont pas de genres si composés que sont A F {\displaystyle \mathrm {AF} } et A H , {\displaystyle \mathrm {AH} ,} ce serait une faute en géométrie que de les y employer. Et c’est une faute aussi,
d’autre côté, de se travailler inutilement à vouloir construire quelque problème par un genre de lignes plus simple que sa nature ne permet.
Or, afin que je puisse ici De la nature des équations. donner quelques règles pour éviter l’une et l’autre de ces deux fautes, il faut que je dise quelque chose en général de la nature des équations, c’est-à-dire des sommes composées de plusieurs termes partie connus et partie inconnus dont les uns sont égaux aux autres, ou plutôt qui, considérés tous ensemble, sont égaux à rien : car ce sera souvent le meilleur de les considérer en cette sorte.
Combien il peut y avoir de racines en chaque équation. Sachez donc qu’en chaque équation, autant que la quantité inconnue a combien il de dimensions, autant peut-il y avoir de diverses racines, c’est-à-dire de peut y avoir de racines en valeurs de cette quantité ; car, par exemple, si on suppose x {\displaystyle x} égale à 2 , {\displaystyle 2,} ou chaque bien x − 2 {\displaystyle x-2} égal à rien ; et derechef x = 3 , {\displaystyle x=3,} ou bien x − 3 = 0 ; {\displaystyle x-3=0\,;} en multipliant ces deux équations
x − 2 = 0 , et x − 3 = 0 , {\displaystyle x-2=0,\quad {\text{et}}\quad x-3=0,}
l’une par l’autre, on aura
x 2 − 5 x + 6 = 0 , {\displaystyle x^{2}-5x+6=0,}
ou bien
x 2 = 5 x − 6 , {\displaystyle x^{2}=5x-6,}
qui est une équation en laquelle la quantité x {\displaystyle x} vaut 2 {\displaystyle 2} et tout ensemble vaut 3. {\displaystyle 3.} Que si derechef on fait
x − 4 = 0 , {\displaystyle x-4=0,}
et qu’on multiplie cette somme par
x 2 − 5 x + 6 = 0 , {\displaystyle x^{2}-5x+6=0,}
on aura
x 3 − 9 x 2 + 26 x − 24 = 0 , {\displaystyle x^{3}-9x^{2}+26x-24=0,}
qui est une autre équation en laquelle x , {\displaystyle x,} ayant trois dimensions, a aussi trois valeurs, qui sont 2 , 3 {\displaystyle 2,3} et 4. {\displaystyle 4.}
Mais souvent il arrive Quelles sont les fausses racines que quelques unes de ces racines sont fausses ou moindres que rien ; comme si on suppose que x {\displaystyle x} désigne aussi le défaut d’une quantité qui soit 5 {\displaystyle 5} , on a
x + 5 = 0 , {\displaystyle x+5=0,}
qui, étant multiplié par
x 3 − 9 x 2 + 26 x − 24 = 0 , {\displaystyle x^{3}-9x^{2}+26x-24=0,}
fait
x 4 − 4 x 3 − 19 x 2 + 106 x − 120 = 0 {\displaystyle x^{4}-4x^{3}-19x^{2}+106x-120=0}
pour une équation en laquelle il y a quatre racines, Comment on peut diminuer le nombre des dimensions d’une équation, lorsqu’on connaît quelqu’une de ses racines. à savoir trois vraies qui sont 2 , 3 , 4 , {\displaystyle 2,3,4,} et une fausse qui est 5 {\displaystyle 5} .
Et on voit évidemment de ceci que la somme d’une équation qui contient plusieurs racines peut toujours être divisée par un binôme composé de la quantité inconnue moins la valeur de l’une des vraies racines, laquelle que ce soit, ou plus la valeur de l’une des fausses ; au moyen de quoi on diminue d’autant ses dimensions.
Et réciproquement Comment on peut examiner si quelque quantité donnée est la valeur d’une racine que si la somme d’une équation ne peut être divisée par un binôme composé de la quantité inconnue + {\displaystyle +} ou − {\displaystyle -} quelque autre
quantité, cela témoigne que cette autre quantité n’est la valeur d’aucune de ses racines. Comme cette dernière
x 4 − 4 x 3 − 19 x 2 + 106 x − 120 = 0 {\displaystyle x^{4}-4x^{3}-19x^{2}+106x-120=0}
peut bien être divisée, par x − 2 , {\displaystyle x-2,} et par x − 3 , {\displaystyle x-3,} et par x − 4 , {\displaystyle x-4,} et par x + 5 ; {\displaystyle x+5\,;} mais non point par x + {\displaystyle x+} ou − {\displaystyle -} aucune autre quantité. Ce qui montre qu’elle ne peut avoir que les quatre racines 2 , 3 , 4 , {\displaystyle 2,3,4,} et 5. {\displaystyle 5.}
On connaît Combien il peut y avoir de vraies racines dans chaque équation. aussi de ceci combien il peut y avoir de vraies racines, et combien de fausses en chaque équation. À savoir il y en peut avoir autant de vraies, que les signes + {\displaystyle +} et − {\displaystyle -} s’y trouvent de fois être changés ; et autant de fausses qu’il s’y trouve de fois deux signes + {\displaystyle +} ou deux signes − {\displaystyle -} qui s’entresuivent. Comme en la dernière, à cause qu’après + x 4 {\displaystyle +x^{4}} il y a − 4 x 3 , {\displaystyle -4x^{3},} qui est un changement du signe + {\displaystyle +} en − , {\displaystyle -,} et après − 19 x 2 {\displaystyle -19x^{2}} il y a + 106 x , {\displaystyle +106x,} et après + 106 x {\displaystyle +106x} il y a − 120 , {\displaystyle -120,} qui font encore deux autres changements, on connaît qu’il y a trois vraies racines ; et une fausse, à cause que les deux signes − , {\displaystyle -,} de 4 x 3 {\displaystyle 4x^{3}} et 19 x 2 {\displaystyle 19x^{2}} s’entresuivent.
De plus Comment on fait que les fausses racines deviennent vraies, et les vraies fausses. il est aisé de faire en vue même Équation, que toutes les racines qui étaient fausses devienne vraies, et par même moyen que toutes celles qui étaient vraies deviennent fausses, à savoir en changeant tous les signes + {\displaystyle +} ou − {\displaystyle -} qui sont en la seconde, en la quatrième, en la sixième ou autres places qui se désignent par les nombres
pairs, sans changer ceux de la première, de la troisième, de la cinquième et semblables qui se désignent par les nombres impairs. Comme si au lieu de
+ x 4 − 4 x 3 − 19 x 2 + 106 x − 120 = 0 , {\displaystyle +x^{4}-4x^{3}-19x^{2}+106x-120=0,}
on écrit
+ x 4 + 4 x 3 − 19 x 2 − 106 x − 120 = 0 , {\displaystyle +x^{4}+4x^{3}-19x^{2}-106x-120=0,}
on a une équation en laquelle il n’y a qu’une vraie racine, qui est 5 , {\displaystyle 5,} et trois fausses qui sont 2 , 3 {\displaystyle 2,3} et 4. {\displaystyle 4.}
Que si, sans connaître Comment on peut augmenter ou diminuer les racines d’une équation sans les connaître. la valeur des racines d’une équation, on la veut augmenter, ou diminuer de quelque quantité connue, il ne faut qu’au lieu du terme inconnu en supposer un autre, qui soit plus ou moins grand de cette même quantité, et le substituer partout en la place du premier.
Comme si on veut augmenter de 3 {\displaystyle 3} la racine de cette équation
x 4 + 4 x 3 − 19 x 2 − 106 x − 120 = 0 , {\displaystyle x^{4}+4x^{3}-19x^{2}-106x-120=0,}
il faut prendre y {\displaystyle y} au lieu de x , {\displaystyle x,} et penser que cette quantité y {\displaystyle y} est plus grande que x {\displaystyle x} de 3 , {\displaystyle 3,} en sorte que y − 3 {\displaystyle y-3} est égal à x , {\displaystyle x,} et au lieu de x 2 , {\displaystyle x^{2},} i1 faut mettre le carré de y − 3 {\displaystyle y-3} qui est y 2 − 6 y + 9 ; {\displaystyle y^{2}-6y+9\,;} et au lieu de x 3 {\displaystyle x^{3}} il faut mettre son cube qui est y 3 − 9 y 2 + 27 y − 27 ; {\displaystyle y^{3}-9y^{2}+27y-27\,;} et enfin au lieu de x 4 {\displaystyle x^{4}} il faut mettre son carré de carré qui est y 4 − 12 y 3 + 54 y 2 − 108 y + 81. {\displaystyle y^{4}-12y^{3}+54y^{2}-108y+81.} Et ainsi décrivant la somme précédente en substituant par tout y {\displaystyle y} au lieu de x {\displaystyle x} on a
y 4 − 12 y 3 + 54 y 2 − 108 y + 81 + 4 y 3 − 36 y 2 + 108 y − 108 − 19 y 2 + 114 y − 171 − 106 y + 318 − 120 {\displaystyle {\begin{aligned}y^{4}-12y^{3}+54y^{2}-108y+\ \ 81&\\+\ \ 4y^{3}-36y^{2}+108y-108&\\-\,19y^{2}+114y-171&\\-106y+318&\\-120&\end{aligned}}}
y 4 − 8 y 3 − y 2 + 8 y {\displaystyle \qquad y^{4}-\ \ 8y^{3}-\quad y^{2}+\quad 8y} * = 0 , {\displaystyle \quad =0,}
ou bien
y 3 − 8 y 2 − y + 8 = 0 , {\displaystyle y^{3}-8y^{2}-y+8=0,}
où la vraie racine qui étoit 5 {\displaystyle 5} est maintenant 8 , {\displaystyle 8,} à cause du nombre 3 {\displaystyle 3} qui lui est ajouté.
Que si on veut au contraire diminuer de trois la racine de cette même Équation, il faut faire y + 3 = x , {\displaystyle y+3=x,} et y 2 + 6 y + 9 = x 2 , {\displaystyle y^{2}+6y+9=x^{2},} et ainsi des autres de façon qu’au lieu de
x 4 + 4 x 3 − 19 x 2 − 106 x − 120 = 0 , {\displaystyle x^{4}+4x^{3}-19x^{2}-106x-120=0,}
on met
y 4 + 12 y 3 + 54 y 2 + 108 y + 81 + 4 y 3 + 36 y 2 + 108 y + 108 − 19 y 2 − 114 y − 171 − 106 y − 318 − 120 {\displaystyle {\begin{aligned}y^{4}+12y^{3}+54y^{2}+108y+\ \ 81&\\+\ \ 4y^{3}+36y^{2}+108y+108&\\-\,19y^{2}-114y-171&\\-106y-318&\\-120&\end{aligned}}}
y 4 + 16 y 3 + 71 y 2 − 4 y − 420 = 0. {\displaystyle \qquad y^{4}+16y^{3}+71y^{2}-\quad 4y-420=0.}
Et il est Qu’en augmentant ainsi les vraies racines on diminue les fausses, ou au contraire. à remarquer qu’en augmentant les vraies racines d’une équation, on diminue les fausses de la même quantité ; ou au contraire en diminuant
les vraies, on augmente les fausses. Et que si on diminue soit les unes soit les autres, d’une quantité qui leur soit égale, elles deviennent nulles, et que si c’est d’une quantité qui les surpasse, de vraies elles deviennent fausses, ou de fausses vraies. Comme ici en augmentant de 3 {\displaystyle 3} la vraie racine qui était 5 , {\displaystyle 5,} on a diminué de 3 {\displaystyle 3} chacune des fausses, en sorte que celle qui était 4 {\displaystyle 4} n’est plus que 1 , {\displaystyle 1,} et celle qui était 3 {\displaystyle 3} est nulle, et celle qui était 2 {\displaystyle 2} est devenue vraie et est 1 , {\displaystyle 1,} à cause que − 2 + 3 {\displaystyle -2+3} fait + 1 : {\displaystyle +1\,:} c’est pourquoi en cette équation
y 3 − 8 y 2 − y + 8 = 0 {\displaystyle y^{3}-8y^{2}-y+8=0}
il n’y a plus que trois racines, entre lesquelles il y en a deux qui sont vraies, 1 {\displaystyle 1} et 8 , {\displaystyle 8,} et une fausse qui est aussi 1 ; {\displaystyle 1\,;} et en cette autre
y 4 + 16 y 3 + 71 y 2 − 4 y − 420 = 0 , {\displaystyle y^{4}+16y^{3}+71y^{2}-4y-420=0,}
il n’y en a qu’une vraie qui est 2 , {\displaystyle 2,} à cause que + 5 − 3 {\displaystyle +5-3} fait + 2 , {\displaystyle +2,} et trois fausses qui font 5 , 6 {\displaystyle 5,6} et 7. {\displaystyle 7.}
Or par cette façon Comment on peut ôter le second terme d’une équation. de changer la valeur des racines sans les connaître, on peut faire deux choses, qui auront ci après quelque usage : la première est qu’on peut toujours ôter le second terme de l’Équation qu’on examine, à savoir en diminuant les vraies racines, de la quantité connue de ce second terme divisée par le nombre des dimensions du premier, si l’un de ces deux termes étant marqué du signe + , {\displaystyle +,} l’autre est marqué du signe − ; {\displaystyle -\,;} ou bien en l’augmentant de la même quantité, s’ils ont tous deux le signe + , {\displaystyle +,} ou tous deux le signe − . {\displaystyle -.} Comme pour ôter le second terme de la dernière Équation qui est
y 4 + 16 y 3 + 71 y 2 − 4 y − 420 = 0 , {\displaystyle y^{4}+16y^{3}+71y^{2}-4y-420=0,}
ayant divisé 16 {\displaystyle 16} par 4 , {\displaystyle 4,} à cause des 4 {\displaystyle 4} dimensions du terme y 4 , {\displaystyle y^{4},} il vient derechef 4 ; {\displaystyle 4\,;} c’est pourquoi je fais z − 4 = y , {\displaystyle z-4=y,} et j’écris
z 4 − 16 z 3 + 96 z 2 − 256 z + 256 + 16 z 3 − 192 z 2 + 768 z − 1024 + 71 z 2 − 568 z + 1136 − 4 z + 16 − 420 {\displaystyle {\begin{alignedat}{4}z^{4}-&16z^{3}&&+96z^{2}&&-256z&&+\ \ 256\\+&16z^{3}&&-192z^{2}&&+768z&&-1024\\&&&+\ \ 71z^{2}&&-568z&&+1136\\&&&&&-\quad 4z&&+\quad 16\\&&&&&&&-\ \ 420\end{alignedat}}}
z 4 − 25 z 2 − 60 z − 36 = 0 {\displaystyle \quad z^{4}\qquad \quad -\ \ 25z^{2}\ \ \ -\ \ 60z-\quad 36=0}
où la vraie racine qui était 2 , {\displaystyle 2,} est 6 , {\displaystyle 6,} à cause qu’elle est augmentée de 4 ; {\displaystyle 4\,;} et les fausses qui étaient 5 , 6 {\displaystyle 5,6} et 7 , {\displaystyle 7,} ne font plus que 1 , 2 {\displaystyle 1,2} et 3 , {\displaystyle 3,} à cause qu’elles sont diminuées chacune de 4. {\displaystyle 4.}
Tout de même si on veut ôter le second terme de
x 4 − 2 a x 3 + ( 2 a 2 − c 2 ) x 2 − 2 a 3 x + a 4 = 0 , {\displaystyle x^{4}-2ax^{3}+\left(2a^{2}-c^{2}\right)x^{2}-2a^{3}x+a^{4}=0,}
pourceque divisant 2 a {\displaystyle 2a} par 4 {\displaystyle 4} il vient 1 2 a , {\displaystyle {\frac {1}{2}}a,} il faut faire z + 1 2 a = x , {\displaystyle z+{\frac {1}{2}}a=x,} et écrire
z 4 + 2 a z 3 + 3 2 a 2 z 2 + 1 2 a 3 z + 1 16 a 4 − 2 a z 3 − 3 a 2 z 2 − 3 2 a 3 z − 1 4 a 4 + 2 a 2 z 2 + 2 a 3 z + 1 2 a 4 − c 2 z 2 − 2 a c 2 z − 1 4 a 2 c 2 − 2 a 3 z − a 4 + a 4 {\displaystyle {\begin{alignedat}{4}z^{4}&+2az^{3}&&+{\frac {3}{2}}a^{2}z^{2}&&+{\frac {1}{2}}a^{3}z&&+{\frac {1}{16}}a^{4}\\&-2az^{3}&&-3a^{2}z^{2}&&-{\frac {3}{2}}a^{3}z&&-{\frac {1}{4}}a^{4}\\&&&+2a^{2}z^{2}&&+2a^{3}z&&+{\frac {1}{2}}a^{4}\\&&&-\ \ c^{2}z^{2}&&-2ac^{2}z&&-{\frac {1}{4}}a^{2}c^{2}\\&&&&&-2a^{3}z&&-\quad a^{4}\\&&&&&&&+\quad a^{4}\end{alignedat}}}
z 4 + ( 1 2 a 2 − c 2 ) z 2 − ( a 3 + a c 2 ) z + 5 16 a 4 − 1 4 a 2 c 2 = 0 {\displaystyle z^{4}+\left({\frac {1}{2}}a^{2}-c^{2}\right)z^{2}-\left(a^{3}+ac^{2}\right)z+{\frac {5}{16}}a^{4}-{\frac {1}{4}}a^{2}c^{2}=0}
et si on trouve après la valeur de z , {\displaystyle z,} en lui ajoutant 1 2 a {\displaystyle {\frac {1}{2}}a} on aura celle de x {\displaystyle x} .
La seconde chose Comment on peut faire que toutes les fausses racines d’une équation deviennent vraies sans que les vraies deviennent fausses. qui aura ci après quelque usage est, qu’on peut toujours en augmentant la valeur des vraies racines, d’une quantité qui soit plus grande que n’est celle d’aucune des fausses, faire qu’elles deviennent toutes vraies, en sorte qu’il n’y ait point deux signes + ou deux signes - qui s’entre-suivent, et outre cela que la quantité connue du troisième terme soit plus grande que le carré la moitié de celle du second. Car encore que cela se fasse, lorsque ces fausses racines sont inconnues, il est aisé néanmoins de juger à peu prés de leur grandeur, et de prendre une quantité, qui les surpasse d’autant, ou de plus, qu’il n’est requis à cet effet. Comme si on a
x 6 + n x 5 − 6 n 2 x 4 + 36 n 3 x 3 − 216 n 4 x 2 + 1296 n 5 x − 7776 n 6 = 0 , {\displaystyle x^{6}+nx^{5}-6n^{2}x^{4}+36n^{3}x^{3}-216n^{4}x^{2}+1296n^{5}x-7776n^{6}=0,}
en faisant y − 6 n = x , {\displaystyle y-6n=x,} on trouvera
y 6 − 36 n + n } y 5 + 540 n 2 − 30 n 2 − 6 n 2 } y 4 − 4320 n 3 + 360 n 3 + 144 n 3 + 36 n 3 } y 3 + 19440 n 4 − 2160 n 4 − 1296 n 4 − 648 n 4 − 216 n 4 } y 2 + 46656 n 5 + 6480 n 5 + 5184 n 5 + 3888 n 5 + 2592 n 5 + 1296 n 5 } y + 46656 n 6 − 7776 n 6 − 7776 n 6 − 7776 n 6 − 7776 n 6 − 7776 n 6 − 7776 n 6 {\displaystyle {\begin{aligned}&\left.{\begin{aligned}y^{6}-&36n\\+&\quad n\end{aligned}}\right\}\\{}^{}\\{}^{}\\{}^{}\\{}^{}\\{}^{}\end{aligned}}{\begin{aligned}\left.{\begin{aligned}y^{5}&+540n^{2}\\&-30n^{2}\\&-\ \ 6n^{2}\end{aligned}}\right\}\\{}^{}\\{}^{}\\{}^{}\\{}^{}\end{aligned}}{\begin{aligned}\left.{\begin{aligned}y^{4}&-4320n^{3}\\&+360n^{3}\\&+144n^{3}\\&+\ \ 36n^{3}\end{aligned}}\right\}\\{}^{}\\{}^{}\\{}^{}\end{aligned}}{\begin{aligned}\left.{\begin{aligned}y^{3}&+19440n^{4}\\&-2160n^{4}\\&-1296n^{4}\\&-\ \ 648n^{4}\\&-\ \ 216n^{4}\end{aligned}}\right\}\\{}^{}\\{}^{}\end{aligned}}{\begin{aligned}\left.{\begin{aligned}y^{2}&+46656n^{5}\\&+\ \ 6480n^{5}\\&+\ \ 5184n^{5}\\&+\ \ 3888n^{5}\\&+\ \ 2592n^{5}\\&+\ \ 1296n^{5}\end{aligned}}\right\}\\{}^{}\end{aligned}}{\begin{aligned}y&+46656n^{6}\\&-\ \ 7776n^{6}\\&-\ \ 7776n^{6}\\&-\ \ 7776n^{6}\\&-\ \ 7776n^{6}\\&-\ \ 7776n^{6}\\&-\ \ 7776n^{6}\end{aligned}}}
y 6 − 35 n y 5 + 504 n 2 y 4 − 3780 n 3 y 3 + 15120 n 4 y 2 + 27216 n 5 y = 0 , {\displaystyle y^{6}-35ny^{5}+504n^{2}y^{4}-3780n^{3}y^{3}+15120n^{4}y^{2}+27216n^{5}y=0,} Où il est manifeste, que 504 n 2 , {\displaystyle 504n^{2},} qui est la quantité connue du troisième terme est plus grande, que le carré de 35 2 n , {\displaystyle {\frac {35}{2}}n,} qui est la moitié de celle du second. Et il n’y a point de cas, pour lequel la quantité, dont on augmente les vraies racines, ait besoin
à cet effet d’être plus grande, à proportion de celles qui sont données, que pour celui-ci.
Comment on fait que toutes les places d’une équation soient remplies
Mais à cause que le dernier terme s’y trouve nul, si on ne désire pas que cela soit, il faut encore augmenter tant soit peu la valeur des racines ; et ce ne saurait être de si peu, que ce ne soit assez pour cet effet ; non plus que lorsqu’on veut accroître le nombre des dimensions de quelque équation, et faire que toutes les places de ses termes soient remplies. Comme si au lieu de x 5 − b = 0 , {\displaystyle x^{5}-b=0,} on veut avoir une équation, en laquelle la quantité inconnue ait six dimensions, et dont aucun des termes ne soit nul, il faut premièrement pour
x 5 − b = 0 {\displaystyle x^{5}-b\ \ =0}
écrire x 6 − b x = 0 ; {\displaystyle \ \quad \qquad \qquad \qquad x^{6}-bx=0\,;}
puis ayant fait y − a = x , {\displaystyle y-a=x,} on aura
y 6 − 6 a y 5 + 15 a 2 y 4 − 20 a 3 y 3 + 15 a 4 y 2 − 6 a 5 − b } y + a 6 + a b = 0 , {\displaystyle \left.{\begin{aligned}y^{6}-6ay^{5}+15a^{2}y^{4}-20a^{3}y^{3}+15a^{4}y^{2}&-6a^{5}\\&-b\end{aligned}}\right\}{\begin{aligned}y&+a^{6}\\&+ab\end{aligned}}=0,}
où il est manifeste que tant petite que la quantité a {\displaystyle a} soit supposée, toutes les places de l’Équation ne laissent pas d’être remplies.
Comment on peut multiplier ou diviser les racines d’une équation. De plus on peut, sans connaître la valeur des vraies racines d’une Équation, les multiplier ou diviser toutes, par telle quantité connue qu’on veut. Ce qui le fait en supposant que la quantité inconnue étant multipliée, ou divisée, par celle qui doit multiplier ou diviser les racines est égale à quelque autre. Puis multipliant, ou divisant la quantité
connue du second terme, par cette même qui doit multiplier, ou diviser les racines, et par son carré, celle du troisième, et par son cube, celle du quatrième, et ainsi jusqu’au dernier.
Comment on réduit les nombres rompus d’une équation à des entiers.
Ce qui peut servir pour réduire à des nombres entiers et rationaux, les fractions, ou souvent aussi les nombres sourds qui se trouvent dans les termes des Équations. Comme si on a
x 3 − 3 x 2 + 26 27 x − 8 27 3 = 0 , {\displaystyle x^{3}-{\sqrt {3}}x^{2}+{\frac {26}{27}}x-{\frac {8}{27{\sqrt {3}}}}=0,}
et qu’on veuille en avoir une autre en sa place, dont tous les termes s’expriment par des nombres rationaux ; il faut supposer y = x 3 , {\displaystyle y=x{\sqrt {3}},} et multiplier par 3 {\displaystyle {\sqrt {3}}} la quantité connue du second terme, qui est aussi 3 , {\displaystyle {\sqrt {3}},} et par son carré qui est 3 {\displaystyle 3} celle du troisième qui est 26 27 , {\displaystyle {\frac {26}{27}},} et par son cube qui est 3 3 {\displaystyle 3{\sqrt {3}}} ; celle du dernier, qui est 8 27 3 , {\displaystyle {\frac {8}{27{\sqrt {3}}}},} ce qui fait
y 3 − 3 y 2 + 26 9 y − 8 9 = 0. {\displaystyle y^{3}-3y^{2}+{\frac {26}{9}}y-{\frac {8}{9}}=0.}
Puis si on en veut avoir encore une autre en la place de celle ci, dont les quantités connues ne s’expriment que par des nombres entiers ; il faut supposer z = 3 y , {\displaystyle z=3y,} et multipliant 3 {\displaystyle 3} par 3 , {\displaystyle 3,} 26 9 {\displaystyle {\frac {26}{9}}} par 9 , {\displaystyle 9,} et 8 9 {\displaystyle {\frac {8}{9}}} par 27 , {\displaystyle 27,} on trouve
z 3 − 9 z 2 + 26 z − 24 = 0 , {\displaystyle z^{3}-9z^{2}+26z-24=0,}
où les racines étant 2 , 3 {\displaystyle 2,3} et 4 , {\displaystyle 4,} on connaît de là que celles de l’autre d’auparavant étaient 2 3 , 1 , {\displaystyle {\frac {2}{3}},\ 1,} et 4 3 {\displaystyle {\frac {4}{3}}} et que celles de la première étoient
2 9 3 , 1 3 3 et 4 9 3 . {\displaystyle {\frac {2}{9}}{\sqrt {3}},\quad {\frac {1}{3}}{\sqrt {3}}\quad {\text{et}}\quad {\frac {4}{9}}{\sqrt {3}}.}
Cette opération peut aussi servir pour rendre la
Comment on rend la quantité connue de l’un des termes d’une équation égale à telle autre qu’on veut.
quantité connue de quelqu’un des termes de l’équation égale à quelque autre donnée, comme si ayant
x 3 − b 2 x + c 3 = 0 , {\displaystyle x^{3}-b^{2}x+c^{3}=0,}
on veut avoir en sa place une autre Équation, en laquelle la quantité connue, du terme qui occupe la troisième place, à savoir celle qui est ici b 2 , s o i t {\displaystyle b^{2},soit} 3 a 2 , {\displaystyle 3a^{2},} il faut supposer y = x 3 a 2 b 2 , {\displaystyle y=x{\sqrt {\frac {3a^{2}}{b^{2}}}},}
puis écrire
y 3 − 3 a 2 y + a 3 c 3 b 3 3 = 0. {\displaystyle y^{3}-3a^{2}y+{\frac {a^{3}c^{3}}{b^{3}}}{\sqrt {3}}=0.}
Que les racines, tant vraies que fausses, peuvent être réelles ou imaginaires.
Au reste tant les vraies racines que les fausses ne sont pas toujours réelles ; mais quelquefois seulement imaginaires c’est à dire que l’on peut toujours en imaginer autant que j’ai dit en chaque équation, mais qu’il n’y a quelquefois aucune quantité qui corresponde à celle qu’on imagine ; Comme encore qu’on en puisse imaginer trois en celle ci,
x 3 − 6 x 2 + 13 x − 10 = 0 , {\displaystyle x^{3}-6x^{2}+13x-10=0,}
il n’y en a toutefois qu’une réelle, qui est 2 , {\displaystyle 2,} et pour les deux autres, quoi qu’on les augmente, ou diminue, ou multiplie en la façon que je viens d’expliquer, on ne saurait les rendre autres qu’imaginaires.
La réduction des équations cubiques lorsque le problème est plan.
Or quand pour trouver la construction de quelque problème, on vient à une Équation, en laquelle la quantité inconnue a trois dimensions ; premièrement si les quantités connues, qui y sont, contiennent quelques nombres rompus, il les faut réduire à d’autres entiers, par la multiplication tantôt expliquée ; Et s’ils en contiennent de sourds, il faut aussi les réduire à d’autres rationaux, autant qu’il sera possible, tant par cette même multiplication, que par divers autres moyens, qui sont assez faciles à trouver. Puis examinant par ordre toutes les quantités, qui peuvent diviser sans fraction le dernier terme, il faut voir, si quelqu’une d’elles, jointe avec la quantité inconnue par le signe + {\displaystyle +} ou − , {\displaystyle -,} peut composer un binôme, qui divise toute la somme ; et si cela est le Problème est plan, c’est à dire il peut être construit avec la règle et de compas ; car ou bien la quantité connue de ce binôme est la racine cherchée ; ou bien l’équation étant divisée par lui, se réduit à deux dimensions, en sorte qu’on en peut trouver après la racine, par ce qui a été dit au premier livre.
Par exemple si on a
y 6 − 8 y 4 − 124 y 2 − 64 = 0 , {\displaystyle y^{6}-8y^{4}-124y^{2}-64=0,}
le dernier terme, qui est 64 , {\displaystyle 64,} peut être divisé sans fraction par 1 , 2 , 4 , 8 , 16 , 32 {\displaystyle 1,\,2,\,4,\,8,\,16,\,32} et 64 ; {\displaystyle 64\,;} c’est pourquoi il faut examiner par ordre si cette Équation ne peut point être divisée par quelqu’un des binômes, y 2 − 1 {\displaystyle y^{2}-1} ou y 2 + 1 , {\displaystyle y^{2}+1,} y 2 − 2 {\displaystyle y^{2}-2} ou y 2 + 2 , {\displaystyle y^{2}+2,} y 2 − 4 , {\displaystyle y^{2}-4,} etc.; et on trouve qu’elle peut l’être par y 2 − 16 {\displaystyle y^{2}-16} en cette sorte :
+ y 6 − 8 y 4 − 124 y 2 − 64 = 0 − y 6 − 8 y 4 − 4 y 2 − 16 ¯ ➖➖➖ ➖➖➖➖➖ ➖➖➖➖➖ 0 − 16 y 4 − 128 y 2 − 16 − 16 + y 4 + 8 y 2 + 4 = 0. {\displaystyle {\begin{array}{lllll}+y^{6}&-\ \ 8y^{4}&-124y^{2}&-64&=0\\-y^{6}&-\ \ 8y^{4}&-\quad 4y^{2}&{\overline {-16}}\\{\text{➖➖➖}}&{\text{➖➖➖➖➖}}&{\text{➖➖➖➖➖}}\\\quad 0&-16y^{4}&-128y^{2}\\&-16&-\ \ 16\\\hline &+\quad y^{4}&+\quad 8y^{2}&+\ \ 4&=0.\end{array}}}
La façon de diviser une équation par un binôme qui contient sa racine
Je commence par le dernier terme, et divise − 64 {\displaystyle -64} par − 16 {\displaystyle -16} ce qui fait + 4 , {\displaystyle +4,} que j’écris dans le quotient, puis je multiplie + 4 {\displaystyle +4} par + y 2 , {\displaystyle +y^{2},} ce qui fait + 4 y 2 ; {\displaystyle +4y^{2}\,;} c’est pourquoi j’écris − 4 y 2 {\displaystyle -4y^{2}} en la sommme, qu’il faut diviser car il faut toujours écrire le ligne + {\displaystyle +} ou − {\displaystyle -} tout contraire à celui que produit la multiplication et joignant − 124 y 2 {\displaystyle -124y^{2}} avec − 4 y 2 , {\displaystyle -4y^{2},} j’ai − 128 y 2 {\displaystyle -128y^{2}} que je divise derechef par − 16 , {\displaystyle -16,} et j’ai + 8 y 2 {\displaystyle +8y^{2}} pour mettre dans le quotient ; et en le multipliant par y 2 , {\displaystyle y^{2},} j’ai − 8 y 4 ; {\displaystyle -8y^{4}\,;} pour joindre avec le terme qu’il faut diviser, qui est aussi − 8 y 4 ; {\displaystyle -8y^{4}\,;} et ces deux ensemble font − 16 y 4 , {\displaystyle -16y^{4},} que je divise par − 16 , {\displaystyle -16,} ce qui fait + y 4 {\displaystyle +y^{4}} pour le quotient, et − y 6 {\displaystyle -y^{6}} pour joindre avec + y 6 , {\displaystyle +y^{6},} ce qui fait 0 , {\displaystyle 0,} et montre que la division est achevée. Mais s’il était resté quelque quantité, ou bien qu’on n’eut pu diviser sans fraction quelqu’un des termes précédents, on eut par là reconnu, quelle ne pouvait être faite.
Tout de même si on a
y 6 + a 2 − 2 c 2 } y 4 − a 4 + c 4 } y 2 − a 6 + 2 a 4 c 2 − a 2 c 4 } = 0 , {\displaystyle {\begin{aligned}&\left.{\begin{aligned}y^{6}&+\ \ a^{2}\\&-2c^{2}\end{aligned}}\right\}\\{}^{}\end{aligned}}{\begin{aligned}&\left.{\begin{aligned}y^{4}&-a^{4}\\&+c^{4}\end{aligned}}\right\}\\{}^{}\end{aligned}}\left.{\begin{aligned}y^{2}&-\ \ a^{6}\\&+2a^{4}c^{2}\\&-a^{2}c^{4}\end{aligned}}\right\}=0,}
le dernier terme se peut diviser sans fraction par a , a 2 , a 2 + c 2 , {\displaystyle a,a^{2},a^{2}+c^{2},} a 3 + a c 2 {\displaystyle a^{3}+ac^{2}} et semblables. Mais il n’y en a que deux qu’on ait besoin de considérer, à savoir a 2 , {\displaystyle a^{2},} et a 2 + c 2 , {\displaystyle a^{2}+c^{2},} car les autres donnant plus ou moins de dimensions dans le quotient, qu’il n’y en a en la quantité connue du pénultième terme, em
pêcheroient que la division ne s’y pût faire. Et notez, que je ne compte ici les dimensions de y 6 , {\displaystyle y^{6},} que pour trois, à cause qu’il n’y a point de y 5 , {\displaystyle y^{5},} ni de y 3 , {\displaystyle y^{3},} ni de y {\displaystyle y} en toute la somme. Or en examinant le binôme y 2 − a 2 − c 2 = 0 , {\displaystyle y^{2}-a^{2}-c^{2}=0,} on trouve que la division se peut faire par lui en cette sorte :
+ y 6 + a 2 − y 6 _ − 2 c 2 } y 4 − a 4 + c 4 } y 2 0 − 2 a 4 + c 2 } y 4 − a 4 − a 2 c 2 } y 2 − a 2 − c 2 ¯ − a 2 − c 2 ¯ − a 6 − 2 a 4 c 2 − a 2 c 4 _ } = 0 − a 2 − c 2 {\displaystyle {\begin{array}{rr}{\begin{array}{rrr}&\left.{\begin{aligned}+y^{6}&+\ \ a^{2}\\{\underline {-y^{6}}}&-2c^{2}\end{aligned}}\right\}y^{4}&\left.{\begin{aligned}&-a^{4}\quad \\&+c^{4}\quad \end{aligned}}\right\}y^{2}\\&\left.{\begin{aligned}0\ \ &-2a^{4}\\&+\ \ c^{2}\end{aligned}}\right\}y^{4}&\left.{\begin{aligned}&-a^{4}\\&-a^{2}c^{2}\end{aligned}}\right\}y^{2}\\&{\overline {-\ \ a^{2}-c^{2}}}&{\overline {-\ \ a^{2}-c^{2}}}\end{array}}&{\begin{aligned}&\left.{\begin{aligned}-\ \ a^{6}&\\-2a^{4}c^{2}&\\{\underline {-\ \ a^{2}c^{4}}}&\end{aligned}}\right\}=0\\&-\;a^{2}-c^{2}\qquad \\\ \end{aligned}}\\\hline \end{array}}}
+ y 4 + 2 a 2 − c 2 } y 2 + a 4 + a 2 c 2 } = 0 , {\displaystyle {\begin{array}{rrr}&\left.{\begin{aligned}+y^{4}&\qquad \qquad \ \ +2a^{2}\\&\qquad \qquad \ \ -\ \ c^{2}\end{aligned}}\right\}y^{2}&\left.{\begin{aligned}&\ \ +a^{4}\\&\ \ +a^{2}c^{2}\end{aligned}}\right\}=0,\end{array}}}
ce qui montre que la racine cherchée est a 2 + c 2 . {\displaystyle a^{2}+c^{2}.} Et la preuve en est aisée à faire par la multiplication.
Quels problèmes sont solides lorsque l’équation est cubique.
Mais lorsqu’on ne trouve aucun binôme, qui puisse ainsi diviser toute la somme de l’équation proposée, il est certain que le Problème qui en dépend est solide. Et ce n’est pas une moindre faute après cela, de tâcher à le construire sans y employer que des cercles et des lignes droites, que ce serait d’employer des sections coniques à construire ceux auxquels on n’a besoin que de cercles : car enfin tout ce qui témoigne quelque ignorance s’appelle faute.
La réduction des équations qui ont quatre dimensions lorsque le problème est plan ; et quels sont ceux qui sont solides. Que si on a une équation dont la quantité inconnue ait quatre dimensions, il faut en même façon, après en avoir ôté les nombres sourds et rompus,
s’il y en a, voir si on pourra trouver quelque binôme, qui divise toute la ont somme, en le composant de l’une des quantités, qui divisent sans fraction le dernier terme. Et si on en trouve un, ou bien la quantité connue de ce binôme est la racine cherchée ; on du moins après cette division, il ne reste en l’équation que trois dimensions, en suite de quoi il faut derechef l’examiner en la même sorte. Mais lorsqu’il ne se trouve point de tel binôme, il faut en augmentant, ou diminuant la valeur de la racine, ôter le second terme de la somme, en la façon tantôt expliqué. Et après la réduire à une autre, qui ne contienne que trois dimensions. Ce qui se fait en cette sorte : au lieu de
+ x 4 … p x 2 … q x … r = 0 , {\displaystyle +x^{4}\ldots px^{2}\ldots qx\ldots r=0,}
il faut écrire
+ y 6 … 2 p y 4 + ( p 2 … 4 r ) y 2 − q 2 = 0. {\displaystyle +y^{6}\ldots 2py^{4}+\left(p^{2}\ldots 4r\right)y^{2}-q^{2}=0.}
Et pour les signes + {\displaystyle +} ou − {\displaystyle -} que j’ai omis, s’il y a eu + p {\displaystyle +p} en la précédente équation, il faut mettre en celle ci + 2 p , {\displaystyle +2p,} ou s’il y a eu − p , {\displaystyle -p,} il faut mettre − 2 p ; {\displaystyle -2p\,;} et au contraire s’il y a eu + r , {\displaystyle +r,} il faut mettre − 4 r , {\displaystyle -4r,} ou s’il y a eu − r , {\displaystyle -r,} il faut mettre + 4 r , {\displaystyle +4r,} et soit qu’il y ait eu + q , {\displaystyle +q,} ou − q , {\displaystyle -q,} il faut toujours mettre − q 2 , {\displaystyle -q^{2},} et + p 2 , {\displaystyle +p^{2},} au moins si on suppose que x 4 , {\displaystyle x^{4},} et y 6 {\displaystyle y^{6}} sont marqués du signes + , {\displaystyle +,} car ce serait tout le contraire si on y supposait le signe − . {\displaystyle -.}
Par exemple si on a
+ x 4 − 4 x 2 − 8 x + 35 = 0 , {\displaystyle +x^{4}-4x^{2}-8x+35=0,}
il faut écrire en son lieu
y 6 − 8 y 4 − 124 y 2 − 64 = 0 , {\displaystyle y^{6}-8y^{4}-124y^{2}-64=0,}
car la quantité que j’ai nommé p {\displaystyle p} étant − 4 , {\displaystyle -4,} il faut mettre − 8 y 4 {\displaystyle -8y^{4}} pour 2 p y 4 ; {\displaystyle 2py^{4}\,;} et celle, que j’ai nommée r {\displaystyle r} étant 35 , {\displaystyle 35,} il faut mettre ( 16 − 140 ) y 2 , {\displaystyle (16-140)y^{2},} c’est à dire − 124 y 2 , {\displaystyle -124y^{2},} au lieu de ( p 2 − 4 r ) y 2 ; {\displaystyle \left(p^{2}-4r\right)y^{2}\,;} et enfin q {\displaystyle q} étant 8 , {\displaystyle 8,} il faut mettre − 64 , {\displaystyle -64,} pour − q 2 . {\displaystyle -q^{2}.} Tout de même au lieu de x 4 − 17 x 2 − 20 x − 6 = 0 , {\displaystyle x^{4}-17x^{2}-20x-6=0,} il faut écrire
+ y 6 − 34 y 4 + 313 y 2 − 400 = 0 ; {\displaystyle +y^{6}-34y^{4}+313y^{2}-400=0\,;}
car 34 {\displaystyle 34} est double de 17 , {\displaystyle 17,} et 313 {\displaystyle 313} en est le carré joint au quadruple de 6 , {\displaystyle 6,} et 400 {\displaystyle 400} est le carré de 20. {\displaystyle 20.}
Tout de même aussi au lieu de
+ z 4 + ( 1 2 a 2 − c 2 ) z 2 − ( a 2 + a c 2 ) z − 5 16 a 4 − 1 4 a 2 c 2 = 0 , {\displaystyle +z^{4}+\left({\frac {1}{2}}a^{2}-c^{2}\right)z^{2}-\left(a^{2}+ac^{2}\right)z-{\frac {5}{16}}a^{4}-{\frac {1}{4}}a^{2}c^{2}=0,}
Il faut écrire
y 6 + ( a 2 − 2 c 2 ) y 4 + ( c 4 − a 4 ) y 2 − a 6 − 2 a 4 c 2 − a 2 c 4 = 0 ; {\displaystyle y^{6}+\left(a^{2}-2c^{2}\right)y^{4}+\left(c^{4}-a^{4}\right)y^{2}-a^{6}-2a^{4}c^{2}-a^{2}c^{4}=0\,;}
car p {\displaystyle p} est à 1 2 a 2 − c 2 , {\displaystyle {\frac {1}{2}}a^{2}-c^{2},} et p 2 {\displaystyle p^{2}} est 1 4 a 4 − a 2 c 2 + c 4 , {\displaystyle {\frac {1}{4}}a^{4}-a^{2}c^{2}+c^{4},} et 4 r {\displaystyle 4r} est − 5 4 a 4 + a 2 c 2 , {\displaystyle -{\frac {5}{4}}a^{4}+a^{2}c^{2},} et enfin − q 2 {\displaystyle -q^{2}} est − a 6 − 2 a 4 c 2 − a 2 c 4 . {\displaystyle -a^{6}-2a^{4}c^{2}-a^{2}c^{4}.}
Après que l’équation est ainsi réduite à trois dimensions, il faut chercher la valeur de y 2 {\displaystyle y^{2}} par la méthode déjà expliquée ; et si elle ne peut être trouvée, on n’a point besoin de passer outre ; car il suit de là infailliblement que le problème est solide. Mais si on la trouve, on peut diviser par son moyen la précédente Équation en deux antres, en chacune desquelles la quantité inconnue n’aura que deux dimensions, et dont les racines seront les mêmes que les siennes ; àÀ savoir, au lieu de
+ x 4 … p x 2 … q x … r = 0 , {\displaystyle +x^{4}\ldots px^{2}\ldots qx\ldots r=0,}
il faut écrire ces deux autres
+ x 2 − y x + 1 2 y 2 … 1 2 p … q 2 y = 0 {\displaystyle +x^{2}-yx+{\frac {1}{2}}y^{2}\ldots {\frac {1}{2}}p\ldots {\frac {q}{2y}}=0}
et + x 2 + y x + 1 2 y 2 … 1 2 p … q 2 y = 0. {\displaystyle \qquad \qquad +x^{2}+yx+{\frac {1}{2}}y^{2}\ldots {\frac {1}{2}}p\ldots {\frac {q}{2y}}=0.}
Et pour les signes + {\displaystyle +} et − {\displaystyle -} que j’ai omis, s’il y a + p {\displaystyle +p} en l’équation précédente, il faut mettre +\frac12p en chacune de celles ci ; et -\frac12p, s’il y a en l’autre − p ; {\displaystyle -p\,;} mais il faut mettre +\frac{q}{2y} en celle où il y a − y x , {\displaystyle -yx,} et − q 2 y {\displaystyle -{\frac {q}{2y}}} en celle où il y a + y x , {\displaystyle +yx,} lorsqu’il y a + q {\displaystyle +q} en la première ; et au contraire s’il y a − q , {\displaystyle -q,} il faut mettre − q 2 y , {\displaystyle -{\frac {q}{2y}},} en celle où il y a − y x , {\displaystyle -yx,} et + q 2 y {\displaystyle +{\frac {q}{2y}}} en celle où il y a + y x . {\displaystyle +yx.} Ensuite de quoi il est aisé de connaître toutes les racines de l’équation proposée, et par conséquent de construire le problème, dont elle contient la solution, sans y employer que des cercles, et des lignes droites.
Par exemple à cause que faisant
y 6 − 34 y 4 + 313 y 2 − 400 = 0 {\displaystyle y^{6}-34y^{4}+313y^{2}-400=0}
pour
x 4 − 17 x 2 − 20 x − 6 = 0 , {\displaystyle x^{4}-17x^{2}-20x-6=0,}
on trouve que y 2 {\displaystyle y^{2}} est 16 , {\displaystyle 16,} on doit au lieu de cette équation
+ x 4 − 17 x 2 − 20 x − 6 = 0 , {\displaystyle +x^{4}-17x^{2}-20x-6=0,}
écrire ces deux autres
+ x 2 − 4 x − 3 = 0 , {\displaystyle +x^{2}-4x-3=0,}
et + x 2 + 4 x + 2 = 0 , {\displaystyle \quad \qquad \qquad \qquad +x^{2}+4x+2=0,}
car y {\displaystyle y} est 4 , {\displaystyle 4,} 1 2 y 2 {\displaystyle {\frac {1}{2}}y^{2}} est 8 , {\displaystyle 8,} p {\displaystyle p} est 17 , {\displaystyle 17,} et q {\displaystyle q} est 20 , {\displaystyle 20,} de façon que
+ 1 2 y 2 − 1 2 p − q 2 y fait − 3 , et + 1 2 y 2 − 1 2 p + q 2 y fait + 2. {\displaystyle +{\frac {1}{2}}y^{2}-{\frac {1}{2}}p-{\frac {q}{2y}}{\text{ fait}}-3,\quad {\text{et}}\quad +{\frac {1}{2}}y^{2}-{\frac {1}{2}}p+{\frac {q}{2y}}{\text{ fait}}+2.}
Et tirant les racines de ces deux équations, on trouve toutes les mêmes, que si on les tirait de celle où est x 4 , {\displaystyle x^{4},} à savoir on en trouve vue vraie, qui est 7 + 2 , {\displaystyle {\sqrt {7}}+2,} et trois fausses, qui sont
7 − 2 , 2 + 2 , et 2 − 2 . {\displaystyle {\sqrt {7}}-2,\quad 2+{\sqrt {2}},\quad {\text{et}}\quad 2-{\sqrt {2}}.}
Ainsi ayant
x 4 − 4 x 2 − 8 x + 35 = 0 , {\displaystyle x^{4}-4x^{2}-8x+35=0,}
pourceque la racine de
y 6 − 8 y 4 − 124 y 2 − 64 = 0 , {\displaystyle y^{6}-8y^{4}-124y^{2}-64=0,}
est derechef 16 , {\displaystyle 16,} il faut écrire
x 2 − 4 x + 5 = 0 {\displaystyle x^{2}-4x+5=0}
et x 2 + 4 x + 7 = 0. {\displaystyle \qquad \qquad \qquad \qquad x^{2}+4x+7=0.}
Car ici
+ 1 2 y 2 − 1 2 p − q 2 y fait 5 , et + 1 2 y 2 − 1 2 p + q 2 y fait 7. {\displaystyle +{\frac {1}{2}}y^{2}-{\frac {1}{2}}p-{\frac {q}{2y}}{\text{ fait }}5,\quad {\text{et}}\quad +{\frac {1}{2}}y^{2}-{\frac {1}{2}}p+{\frac {q}{2y}}{\text{ fait }}7.}
Et pourcequ’on ne trouve aucune racine, ni vraie, ni fausse, en ces deux dernières équations, on connaît delà que les quatre de l’équation dont elles procèdent sont imaginaires ; et que le problème, pour lequel on l’a trouvée, est plan de sa nature ; mais qu’il ne saurait en aucune façon être construit, à cause que les quantités données ne peuvent se joindre.
Tout de même ayant
z 4 + ( 1 2 a 2 − c 2 ) z 2 − ( a 2 + a c 2 ) z − 5 16 a 4 − 1 4 a 2 c 2 = 0 , {\displaystyle z^{4}+\left({\frac {1}{2}}a^{2}-c^{2}\right)z^{2}-\left(a^{2}+ac^{2}\right)z-{\frac {5}{16}}a^{4}-{\frac {1}{4}}a^{2}c^{2}=0,} pourcequ’on trouve a 2 + c 2 {\displaystyle a^{2}+c^{2}} pour y 2 , {\displaystyle y^{2},} il faut écrire
z 2 − a 2 + c 2 z + 3 4 a 2 − 1 2 a a 2 + c 2 = 0 , {\displaystyle z^{2}-{\sqrt {a^{2}+c^{2}}}z+{\frac {3}{4}}a^{2}-{\frac {1}{2}}a{\sqrt {a^{2}+c^{2}}}=0,}
et
z 2 + a 2 + c 2 z + 3 4 a 2 + 1 2 a a 2 + c 2 = 0 , {\displaystyle z^{2}+{\sqrt {a^{2}+c^{2}}}z+{\frac {3}{4}}a^{2}+{\frac {1}{2}}a{\sqrt {a^{2}+c^{2}}}=0,}
car y {\displaystyle y} est a 2 + c 2 {\displaystyle {\sqrt {a^{2}+c^{2}}}} et + 1 2 y 2 + 1 2 p {\displaystyle +{\frac {1}{2}}y^{2}+{\frac {1}{2}}p} est 3 4 a 2 , {\displaystyle {\frac {3}{4}}a^{2},} et q 2 y {\displaystyle {\frac {q}{2y}}} est 1 2 a a 2 + c 2 , {\displaystyle {\frac {1}{2}}a{\sqrt {a^{2}+c^{2}}},} d’où on connaît que la valeur de z {\displaystyle z} est
1 2 a 2 + c 2 + − 1 2 a 2 + 1 4 c 2 + 1 2 a a 2 + c 2 , {\displaystyle {\frac {1}{2}}{\sqrt {a^{2}+c^{2}}}+{\sqrt {-{\frac {1}{2}}a^{2}+{\frac {1}{4}}c^{2}+{\frac {1}{2}}a{\sqrt {a^{2}+c^{2}}}}},}
ou bien
1 2 a 2 + c 2 − − 1 2 a 2 + 1 4 c 2 + 1 2 a a 2 + c 2 . {\displaystyle {\frac {1}{2}}{\sqrt {a^{2}+c^{2}}}-{\sqrt {-{\frac {1}{2}}a^{2}+{\frac {1}{4}}c^{2}+{\frac {1}{2}}a{\sqrt {a^{2}+c^{2}}}}}.}
Et puisque nous avons fait ci dessus z + 1 2 a = x , {\displaystyle z+{\frac {1}{2}}a=x,} nous apprenons que la quantité x , {\displaystyle x,} pour la connaissance de laquelle nous avons fait toutes ces opérations, est
+ 1 2 a + 1 4 a 2 + 1 4 c 2 − 1 4 c 2 − 1 2 a 2 + 1 2 a a 2 + c 2 . {\displaystyle +{\frac {1}{2}}a+{\sqrt {{\frac {1}{4}}a^{2}+{\frac {1}{4}}c^{2}}}-{\sqrt {{\frac {1}{4}}c^{2}-{\frac {1}{2}}a^{2}+{\frac {1}{2}}a{\sqrt {a^{2}+c^{2}}}}}.}
Exemple de l’usage de ces réductions.
Mais afin qu’on puisse mieux connaître l’utilité de cette règle il faut que je l’applique à quelque problème.
fig. 19 Si le carré A D {\displaystyle \mathrm {AD} } (fig. 19) et la ligne B N {\displaystyle \mathrm {BN} } étant donnés, il faut prolonger le côté A C {\displaystyle \mathrm {AC} } jusqu’à E , {\displaystyle \mathrm {E} ,} en sorte que E F , {\displaystyle \mathrm {EF} ,} tirée de E {\displaystyle \mathrm {E} } vers B , {\displaystyle \mathrm {B} ,} soit égale à N B : {\displaystyle \mathrm {NB} \,:} on apprend de Pappus, qu’ayant premièrement prolongé B D {\displaystyle \mathrm {BD} } jusqu’à G , {\displaystyle \mathrm {G} ,} en sorte que D G {\displaystyle \mathrm {DG} } soit égale à D N ; {\displaystyle \mathrm {DN} \,;} et ayant décrit un cercle dont le diamètre soit B G , {\displaystyle \mathrm {BG} ,} si on prolonge la ligne droite A C , {\displaystyle \mathrm {AC} ,} elle rencontrera la circonférence de ce cercle au point E {\displaystyle \mathrm {E} } qu’on demandoit. Mais pour ceux qui ne sauroient
point cette construction, elle serait assez difficile à rencontrer ; et, en la cherchant par la méthode ici proposée, ils ne s’aviseraient jamais de prendre D G {\displaystyle \mathrm {DG} } pour la quantité inconnue, mais plutôt C F {\displaystyle \mathrm {CF} } ou F D , {\displaystyle \mathrm {FD} ,} à cause que ce sont elles qui conduisent le plus aisément à l’équation ; et lors ils en trouveraient une qui ne serait pas facile à démêler sans la règle que je viens d’expliquer. Car posant a {\displaystyle a} pour B D {\displaystyle \mathrm {BD} } ou C D , {\displaystyle \mathrm {CD} ,} et c {\displaystyle c} pour E F , {\displaystyle \mathrm {EF} ,} et x {\displaystyle x} pour D F , {\displaystyle \mathrm {DF} ,} on a C F = a − x , {\displaystyle \mathrm {CF} =a-x,} et comme C F {\displaystyle \mathrm {CF} } ou a − x {\displaystyle a-x} est à F E {\displaystyle \mathrm {FE} } ou c , {\displaystyle c,} ainsi F D {\displaystyle \mathrm {FD} } ou x {\displaystyle x} est à B F , {\displaystyle \mathrm {BF} ,} qui par conséquent est c x a − x . {\displaystyle {\frac {cx}{a-x}}.} Puis à cause du triangle rectangle B D F {\displaystyle \mathrm {BDF} } dont les côtés sont l’un x {\displaystyle x} et l’autre a , {\displaystyle a,} leurs carrés, qui sont x 2 + a 2 , {\displaystyle x^{2}+a^{2},} sont égaux à celui de la base, qui est c 2 x 2 x 2 − 2 a x + a 2 ; {\displaystyle {\frac {c^{2}x^{2}}{x^{2}-2ax+a^{2}}}\,;} de façon que, multipliant le tout par x 2 − 2 a x + a 2 , {\displaystyle x^{2}-2ax+a^{2},} on trouve que l’équation est
x 4 − 2 a x 3 + 2 a 2 x 2 − 2 a 3 x + a 4 = c 2 x 2 , {\displaystyle x^{4}-2ax^{3}+2a^{2}x^{2}-2a^{3}x+a^{4}=c^{2}x^{2},}
ou bien
x 4 − 2 a x 3 + ( 2 a 2 − c 2 ) x 2 − 2 a 3 x + a 4 = 0 ; {\displaystyle x^{4}-2ax^{3}+(2a^{2}-c^{2})x^{2}-2a^{3}x+a^{4}=0\,;}
et on connaît par les règles précédentes que sa racine, qui est la longueur de la ligne D F , {\displaystyle \mathrm {DF} ,} est
1 2 a + 1 4 a 2 + 1 4 c 2 − 1 4 c 2 − 1 2 a 2 + 1 2 a a 2 + c 2 . {\displaystyle {\frac {1}{2}}a+{\sqrt {{\frac {1}{4}}a^{2}+{\frac {1}{4}}c^{2}}}-{\sqrt {{\frac {1}{4}}c^{2}-{\frac {1}{2}}a^{2}+{\frac {1}{2}}a{\sqrt {a^{2}+c^{2}}}}}.} Que si on posait B F , {\displaystyle \mathrm {BF} ,} ou C E , {\displaystyle \mathrm {CE} ,} ou B E , {\displaystyle \mathrm {BE} ,} pour la quantité inconnue, on viendrait derechef à une équation en laquelle il y aurait quatre dimensions, mais qui serait plus aisée à démêler, et on y vien
droit assez aisément ; au lieu que si c’était DG qu’on supposât, on viendrait beaucoup plus difficilement à l’équation, mais aussi elle serait très simple. Ce que je mets ici pour vous avertir que, lorsque le problème proposé n’est point solide, si en le cherchant par un chemin on vient à une équation fort composée, on peut ordinairement venir à une plus simple en le cherchant par un autre. Je pourrais encore ajouter diverses règles pour démêler les équations qui vont au cube ou au carré de carré, mais elles seraient superflues ; car lorsque les problèmes sont plans on en peut toujours trouver la construction par celles-ci.
Règle générale pour réduire toutes les équations qui passent le carré de carré.
Je pourrais aussi en ajouter d’autres pour les équations qui montent jusqu’au sursolide, ou au carré de cube, ou au-delà, mais j’aime mieux les comprendre toutes en une, et dire en général que, lorsqu’on a tâché de les réduire à même forme que celles d’autant de dimensions qui viennent de la multiplication de deux autres qui en ont moins, et qu’ayant dénombré tous les moyens par lesquels cette multiplication est possible, la chose n’a pu succéder par aucun, on doit s’assurer qu’elles ne sauraient être réduites à de plus simples ; en sorte que si la quantité inconnue a trois ou quatre dimensions, le problème pour lequel on la cherche est solide, et si elle en a cinq ou six, il est d’un de-ré plus composé, et ainsi des autres.
Au reste, j’ai omis ici les démonstrations de la plupart de ce que j’ai dit, à cause qu’elles m {\displaystyle m} ’ont semblé si faciles que, pourvu que vous preniez la peine d’examiner méthodiquement si j’ai failli, elles se présenteront à vous d’elles-mêmes ; et il sera plus utile de les apprendre en cette façon qu’en les lisant.
Façon générale pour construire tous les problèmes solides réduits à une équation de trois ou quatre dimensions.
Or quand on est assuré, que le Problème proposé est solide, soit que l’équation par laquelle on le cherche monte au carre de carré, soit qu’elle ne monte que jusqu’au cube, on peut toujours en trouver la racine par l’une des trois sections coniques, laquelle que ce soit ou même par quelque partie de 1’une d’elles, tant petite qu’elle puisse être ; en ne se servant au reste que de lignes droites et de cercles. Mais je me contenterai ici de donner vue règle générale pour les trouver toutes parle moyen d’une parabole, a cause qu’elle est en quelque façon la plus simple.
Premièrement il faut ôter le second terme de l’équation proposée, s’il n’est déjà nul, et ainsi la réduire à telle forme
z 3 = … a p z … a 2 q , {\displaystyle z^{3}=\ldots apz\ldots a^{2}q,}
si la quantité inconnue n’a que trois dimensions ; ou bien à telle
z 4 = … a p z 2 … a 2 q z … a 3 r , {\displaystyle z^{4}=\ldots apz^{2}\ldots a^{2}qz\ldots a^{3}r,}
si elle en a quatre ; ou bien en prenant a {\displaystyle a} pour l’unité, à telle
z 3 = … p z … q , {\displaystyle z^{3}=\ldots pz\ldots q,}
et à telle
z 4 = … p z 2 … q z … r . {\displaystyle z^{4}=\ldots pz^{2}\ldots qz\ldots r.}
fig. 20
Après cela supposant que la Parabole F A G {\displaystyle \mathrm {FAG} } (fig. 20) est déjà décrite, et que son essieu est A C D K L , {\displaystyle \mathrm {ACDKL} ,} et que son coté droit est a {\displaystyle a} ou 1 , {\displaystyle 1,} dont A C {\displaystyle \mathrm {AC} } est la moitié, et enfin que le point C {\displaystyle \mathrm {C} } est au dedans de cette parabole, et que A {\displaystyle \mathrm {A} } en est le sommet ; il faut faire C D = 1 2 p , {\displaystyle \mathrm {CD} ={\frac {1}{2}}p,} et la prendre du même côté, qu’est le point A {\displaystyle \mathrm {A} } au regard du point C , {\displaystyle \mathrm {C} ,} s’il y a + p {\displaystyle +p} en l’équation ; mais s’il y a − p {\displaystyle -p} il faut la prendre de l’autre côté.
fig. 21
Et du point D , {\displaystyle \mathrm {D} ,} ou bien, si la quantité p {\displaystyle p} était nulle, du point C {\displaystyle \mathrm {C} } (fig. 21) il faut élever une ligne à angles droits jusqu’à E , {\displaystyle \mathrm {E} ,} en sorte qu’elle soit égale à 1 2 q , {\displaystyle {\frac {1}{2}}q,} et enfin du centre E {\displaystyle \mathrm {E} } il faut décrire le cercle F G , {\displaystyle \mathrm {FG} ,} dont le demi-diamètre soit A E , {\displaystyle \mathrm {AE} ,} si l’équation n’est que cubique, en sorte que la quantité r {\displaystyle r} soit nulle.
fig. 22
Mais quand il y a + r {\displaystyle +r} il faut dans cette ligne A E {\displaystyle \mathrm {AE} } (fig. 20) prolongée, prendre d’un coté A R {\displaystyle \mathrm {AR} } égale à r , {\displaystyle r,} et de l’autre A S {\displaystyle \mathrm {AS} } égale au coté droit de la parabole qui est 1 , {\displaystyle 1,} et ayant décrit un cercle dont le diamètre soit R S , {\displaystyle \mathrm {RS} ,} il faut faire A H {\displaystyle \mathrm {AH} } perpendiculaire sur A E , {\displaystyle \mathrm {AE} ,} laquelle A H {\displaystyle \mathrm {AH} } rencontre ce cercle R H S {\displaystyle \mathrm {RHS} } au point H , {\displaystyle \mathrm {H} ,} qui est celui par où l’autre cercle F H G {\displaystyle \mathrm {FHG} } doit passer. Et quand il y a − r , {\displaystyle -r,} il faut après avoir ainsi trouvé la ligne A H {\displaystyle \mathrm {AH} } (fig. 22), inscrire A I , {\displaystyle \mathrm {AI} ,} qui lui soit égale, dans un autre cercle, dont A E {\displaystyle \mathrm {AE} } soit le diamètre, et lors c’est par le point I , {\displaystyle \mathrm {I} ,} que doit passer F I G {\displaystyle \mathrm {FIG} } le premier cercle cherché. Or ce cercle F G {\displaystyle \mathrm {FG} } peut couper, ou toucher la parabole en un, ou deux, ou trois, ou quatre points, desquels tirant des perpendiculaires sur l’essieu, on a toutes les racines de l’équation tant vraies, que fausses. À savoir si la quantité q {\displaystyle q} est marqué du signe + , {\displaystyle +,} les vraies racines seront celles de ces perpendiculaires, qui se trouveront du même côté de la parabole, que E {\displaystyle \mathrm {E} } le centre du cercle, comme F L ; {\displaystyle \mathrm {FL} \,;} et les autres, comme G K , {\displaystyle \mathrm {GK} ,} seront fausses. Mais au contraire si cette quantité q {\displaystyle q} est marquée du signe − , {\displaystyle -,} les vraies seront celles de l’autre côté ; et les fausses, ou moindres que rien seront du coté où est E , {\displaystyle \mathrm {E} ,} le centre du cercle. Et enfin si ce cercle ne coupe, n’y ne touche la parabole en aucun point, cela témoigne qu’il n’y a aucune racine ni vraie ni fausse en l’équation, et qu’elles sont toutes imaginaires. En sorte que cette règle est la plus générale, et la plus accomplie qu’il soit possible de souhaiter.
’’Figure 20’’
Et la démonstration en est fort aisée. Car si la ligne G K {\displaystyle \mathrm {GK} } (fig. 20.), trouvée par cette construction, se nomme z , {\displaystyle z,} A K {\displaystyle \mathrm {AK} } sera z 2 , {\displaystyle z^{2},} à cause de la Parabole, en laquelle G K {\displaystyle \mathrm {GK} } doit être moyenne proportionnelle, entre A K , {\displaystyle \mathrm {AK} ,} et le côté droit qui est 1\,; puis si de A K {\displaystyle \mathrm {AK} } j’ôte A C , {\displaystyle \mathrm {AC} ,} qui est 1 2 , {\displaystyle {\frac {1}{2}},} C D {\displaystyle \mathrm {CD} } qui est 1 2 p , {\displaystyle {\frac {1}{2}}p,} il reste D K , {\displaystyle \mathrm {DK} ,} ou E M , {\displaystyle \mathrm {EM} ,} qui est z 2 − 1 2 p − 1 2 , {\displaystyle z^{2}-{\frac {1}{2}}p-{\frac {1}{2}},} dont le carré est
z 4 − p z 2 − z 2 + 1 4 p 2 + 1 2 p + 1 4 ; {\displaystyle z^{4}-pz^{2}-z^{2}+{\frac {1}{4}}p^{2}+{\frac {1}{2}}p+{\frac {1}{4}}\,;}
et à cause que D E , {\displaystyle \mathrm {DE} ,} ou K M {\displaystyle \mathrm {KM} } est 1 2 q , {\displaystyle {\frac {1}{2}}q,} la toute G M {\displaystyle \mathrm {GM} } est z + 1 2 q , {\displaystyle z+{\frac {1}{2}}q,} dont le carré est
z 2 + q z + 1 4 q 2 ; {\displaystyle z^{2}+qz+{\frac {1}{4}}q^{2}\,;}
et assemblant ces deux carrés, on a
z 4 − p z 2 + q z + 1 4 q 2 + 1 4 p 2 + 1 2 p + 1 4 , {\displaystyle z^{4}-pz^{2}+qz+{\frac {1}{4}}q^{2}+{\frac {1}{4}}p^{2}+{\frac {1}{2}}p+{\frac {1}{4}},}
pour le carré de la ligne G E , {\displaystyle \mathrm {GE} ,} à cause qu’elle est la base du triangle rectangle E M G . {\displaystyle \mathrm {EMG} .}
Mais a cause que cette même ligne G E {\displaystyle \mathrm {GE} } est le demi-diamètre du cercle F G , {\displaystyle \mathrm {FG} ,} elle se peut encore expliquer en d’autres termes, à savoir E D {\displaystyle \mathrm {ED} } étant 1 2 q , {\displaystyle {\frac {1}{2}}q,} et A D {\displaystyle \mathrm {AD} } étant 1 2 q + 1 2 , {\displaystyle {\frac {1}{2}}q+{\frac {1}{2}},} A E {\displaystyle \mathrm {AE} } est
1 4 q 2 + 1 4 p 2 + 1 2 p + 1 4 , {\displaystyle {\sqrt {{\frac {1}{4}}q^{2}+{\frac {1}{4}}p^{2}+{\frac {1}{2}}p+{\frac {1}{4}}}},}
à cause de l’angle droit A D E ; {\displaystyle \mathrm {ADE} \,;} puis H A {\displaystyle \mathrm {HA} } étant moyenne proportionnelle entre A S {\displaystyle \mathrm {AS} } qui est 1 {\displaystyle 1} et A R {\displaystyle \mathrm {AR} } qui est r , {\displaystyle r,} elle est r ; {\displaystyle {\sqrt {r}}\,;} et à cause de l’angle droit E A H , {\displaystyle \mathrm {EAH} ,} le carré de H E , {\displaystyle \mathrm {HE} ,} ou E G {\displaystyle \mathrm {EG} } est
1 4 q 2 + 1 4 p 2 + 1 2 p + 1 4 + r ; {\displaystyle {\frac {1}{4}}q^{2}+{\frac {1}{4}}p^{2}+{\frac {1}{2}}p+{\frac {1}{4}}+r\,;}
si bien qu’il y a Équation entre cette somme et la précédente, ce qui est le même que
z 4 = p z 2 − q z + r , {\displaystyle z^{4}=pz^{2}-qz+r,}
et par conséquent la ligne trouvée G K {\displaystyle \mathrm {GK} } qui a été nommée z {\displaystyle z} est la racine de cette équation, ainsi qu’il fallait démontrer. Et si vous appliquez ce même calcul à tous les autres cas de cette règle, en changeant les signes + {\displaystyle +} et − {\displaystyle -} selon l’occasion, vous y trouverez votre compte en même sorte, sans qu’il soit besoin que je m’y arête. Si on veut donc suivant cette règle trouver deux
L’invention de deux moyennes proportionnelles.
moyennes proportionnelles entre les lignes a {\displaystyle a} et q {\displaystyle q} (Figure 21) ; chacun sait que posant z {\displaystyle z} pour l’une, comme a {\displaystyle a} est à z , {\displaystyle z,} ainsi z {\displaystyle z} à z 2 a , {\displaystyle {\frac {z^{2}}{a}},} et z 2 a {\displaystyle {\frac {z^{2}}{a}}} à z 3 a 2 ; {\displaystyle {\frac {z^{3}}{a^{2}}}\,;} de façon qu’il y a équation entre q {\displaystyle q} et z 3 a 2 , {\displaystyle {\frac {z^{3}}{a^{2}}},} c’est-à-dire
z 3 = a 2 q . {\displaystyle z^{3}=a^{2}q.}
Et la parabole F A G {\displaystyle \mathrm {FAG} } étant décrite, avec la partie de son essieu A C , {\displaystyle \mathrm {AC} ,} qui est 1 2 a {\displaystyle {\frac {1}{2}}a} la moitié du coté droit ; il faut du point C {\displaystyle \mathrm {C} } élever la perpendiculaire C E {\displaystyle \mathrm {CE} } égale à 1 2 q {\displaystyle {\frac {1}{2}}q} et du centre E {\displaystyle \mathrm {E} } par A , {\displaystyle \mathrm {A} ,} décrivant le cercle A F , {\displaystyle \mathrm {AF} ,} on trouve F L {\displaystyle \mathrm {FL} } et L A , {\displaystyle \mathrm {LA} ,} pour les deux moyennes cherchées.
fig. 23 Tout
La division de l’angle en trois.de même si on veut diviser l’angle N O P {\displaystyle \mathrm {NOP} } (fig. 23), ou bien l’arc, ou portion de cercle N Q T P , {\displaystyle \mathrm {NQTP} ,} en trois parties égales ; faisant N O = 1 , {\displaystyle \mathrm {NO} =1,} pour le rayon du cercle et, pour la subtendue de l’arc donné, et N Q = z {\displaystyle \mathrm {NQ} =z} pour la subtendue du tiers de cet arc ; l’équation vient
z 3 = 3 z − q . {\displaystyle z^{3}=3z-q.}
Car ayant tiré les lignes N Q , O Q , O T , {\displaystyle \mathrm {NQ,OQ,OT} ,} et faisant Q S {\displaystyle \mathrm {QS} } parallèle à T O , {\displaystyle \mathrm {TO} ,} on voit que comme N O {\displaystyle \mathrm {NO} } est à N Q , {\displaystyle \mathrm {NQ} ,} ainsi N Q {\displaystyle \mathrm {NQ} } à Q R , {\displaystyle \mathrm {QR} ,} et Q R {\displaystyle \mathrm {QR} } à R S ; {\displaystyle \mathrm {RS} \,;} en sorte que N O {\displaystyle \mathrm {NO} } étant 1 , {\displaystyle 1,} et N Q {\displaystyle \mathrm {NQ} } étant z , {\displaystyle z,} Q R {\displaystyle \mathrm {QR} } est z 2 , {\displaystyle z^{2},} et R S {\displaystyle \mathrm {RS} } est z 3 {\displaystyle z^{3}} ; et à cause qu’il s’en faut seulement R S {\displaystyle \mathrm {RS} } ou z 3 {\displaystyle z^{3}} que la ligne N P , {\displaystyle \mathrm {NP} ,} qui est q , {\displaystyle q,} ne soit triple de N Q , {\displaystyle \mathrm {NQ} ,} qui est z , {\displaystyle z,}
on a q = 3 z − z 3 , {\displaystyle \qquad \qquad \qquad \qquad q=3z-z^{3},}
ou bien
z 3 = 3 z − q . {\displaystyle z^{3}=3z-q.}
Puis la Parabole F A G {\displaystyle \mathrm {FAG} } étant décrite et C A {\displaystyle \mathrm {CA} } la moitié de son côté droit principal étant 1 2 {\displaystyle {\frac {1}{2}}} on prend C D = 3 2 {\displaystyle \mathrm {CD} ={\frac {3}{2}}} et la perpendiculaire D E = 1 2 q , {\displaystyle \mathrm {DE} ={\frac {1}{2}}q,} et que du centre E , {\displaystyle \mathrm {E} ,} par A , {\displaystyle \mathrm {A} ,} on décrive le cercle \mathrm{FA}g\mathrm G, il coupe cette Parabole aux trois poins F , g {\displaystyle \mathrm {F} ,g} et G , {\displaystyle \mathrm {G} ,} sans compter le point A {\displaystyle \mathrm {A} } qui en est le sommet. Ce qui montre qu’il y a trois racines en cette Équation, à savoir les deux G K {\displaystyle \mathrm {GK} } et g k , {\displaystyle gk,} qui sont vraies ; et la troisième qui est fausse, à savoir F L . {\displaystyle \mathrm {FL} .} Et de ces deux vraies c’est gk la plus petite qu’il faut prendre pour la ligne N Q {\displaystyle \mathrm {NQ} } qui était cherchée. Car l’autre G K {\displaystyle \mathrm {GK} } est égale à N V , {\displaystyle \mathrm {NV} ,} la subtendue de la troisième partie de l’arc N V P , {\displaystyle \mathrm {NVP} ,} qui avec l’autre arc N Q P {\displaystyle \mathrm {NQP} } achève le cercle. Et la fausse F L {\displaystyle \mathrm {FL} } est égale à ces deux ensemble Q N {\displaystyle \mathrm {QN} } et N V , {\displaystyle \mathrm {NV} ,} ainsi qu’il est aisé a voir par le calcul.
Que tous les problèmes solides se peuvent réduire à ces deux constructions.
Il serait superflus que je m {\displaystyle m} ’arrêtasse a donner ici d’autres exemples ; car tous les Problèmes qui ne sont que solides se peuvent réduire à tel point, qu’on n’a aucun besoin de cette règle pour les construire, sinon en tant qu’elle sert à trouver deux moyennes proportionnelles, ou bien à diviser un angle en trois parties égales. Ainsi que vous connaîtrez en considérant, que leurs difficultés peuvent toujours être comprises en des Équations, qui ne montent que jusqu’au carré de carré, ou au cube : Et que toutes celles qui montent au carré de carré, se réduisent au carré, parle moyen de quelques autres, qui ne montent que jusqu’au cube, et enfin qu’on peut ôter le second ternie de celles ci. En sorte qu’il n’y en a point qui ne se puisse réduire à quelqu’une de ces trois formes :
z 3 = − p z + q , z 3 = + p z + q , z 3 = + p z − q . {\displaystyle {\begin{aligned}z^{3}&=-pz+q,\\z^{3}&=+pz+q,\\z^{3}&=+pz-q.\end{aligned}}}
Or si on a z 3 = − p z + q , {\displaystyle z^{3}=-pz+q,} la règle dont Cardan attribue l’invention à un nommé Scipio Ferreus, nous apprend que la racine est
C . + 1 2 q + 1 4 q 2 + 1 27 p 3 − C . − 1 2 q + 1 4 q 2 + 1 27 p 3 . {\displaystyle {\sqrt {\mathrm {C} .+{\frac {1}{2}}q+{\sqrt {{\frac {1}{4}}q^{2}+{\frac {1}{27}}p^{3}}}}}-{\sqrt {\mathrm {C} .-{\frac {1}{2}}q+{\sqrt {{\frac {1}{4}}q^{2}+{\frac {1}{27}}p^{3}}}}}.}
Comme aussi lorsqu’on a z 3 = + p z + q , {\displaystyle z^{3}=+pz+q,} et que le carré de la moitié du dernier terme est plus grand que le cube du tiers de la quantité connue du pénultième, vue pareille règle nous apprend que la racine est
C . + 1 2 q + 1 4 q 2 + 1 27 p 3 + C . + 1 2 q − 1 4 q 2 − 1 27 p 3 . {\displaystyle {\sqrt {\mathrm {C} .+{\frac {1}{2}}q+{\sqrt {{\frac {1}{4}}q^{2}+{\frac {1}{27}}p^{3}}}}}+{\sqrt {\mathrm {C} .+{\frac {1}{2}}q-{\sqrt {{\frac {1}{4}}q^{2}-{\frac {1}{27}}p^{3}}}}}.}
D’où il parait qu’on peut construire tous les problèmes, dont les difficultés se réduisent a l’une de ces deux formes, sans avoir besoin des sections coniques pour autre chose, que pour tirer les racines cubiques de quelques quantité données, c’est à dire pour trouver deux moyennes proportionnelles entre ces quantités et l’unité. Puis si on a z 3 = + p z + p , {\displaystyle z^{3}=+pz+p,} et que le carré de la moitié du dernier terme ne soit point plus grand que le cube du tiers de la quantité connue du pénultième, en supposant le cercle N Q P V , {\displaystyle \mathrm {NQPV} ,} dont le
demi-diamètre N O {\displaystyle \mathrm {NO} } soit 1 3 p , {\displaystyle {\sqrt {{\frac {1}{3}}p}},} c’est à dire la moyenne proportionnelle entre le tiers delà quantité donnée p {\displaystyle p} et l’unité ; et supposant aussi la ligne N P {\displaystyle \mathrm {NP} } inscrite dans ce cercle qui soit 3 q p , {\displaystyle {\frac {3q}{p}},} c’est à dire qui soit à l’autre quantité donne q {\displaystyle q} comme l’unité est au tiers de p , {\displaystyle p,} il ne faut que diviser chacun des deux arcs N Q P {\displaystyle \mathrm {NQP} } et N V P {\displaystyle \mathrm {NVP} } en trois parties égales, et on aura N Q , {\displaystyle \mathrm {NQ} ,} la subtendue du tiers de l’un, et N V {\displaystyle \mathrm {NV} } la subtendue du tiers de l’autre, qui jointes ensemble composeront la racine cherchée.
Enfin si on a z^3=pz-q, en supposant derechef le cercle N Q P V , {\displaystyle \mathrm {NQPV} ,} dont le rayon N O {\displaystyle \mathrm {NO} } soit 1 3 p , {\displaystyle {\sqrt {{\frac {1}{3}}p}},} et l’inscrite N P {\displaystyle \mathrm {NP} } soit 3 q p , {\displaystyle {\frac {3q}{p}},} N Q {\displaystyle \mathrm {NQ} } la subtendue du tiers de l’arc N Q P {\displaystyle \mathrm {NQP} } sera l’une des racines cherchées, et N V {\displaystyle \mathrm {NV} } la sustendue du tiers de l’autre arc sera l’autre. Au moins si le carré de la moitié du dernier terme, n’est point plus grand, que le cube du tiers de la quantité connue du pénultième. car s’il était plus grand, la ligne N P {\displaystyle \mathrm {NP} } ne pourrait être inscrite dans le cercle, à cause quelle serait plus longue que son diamètre : Ce qui serait cause que les deux vraies racines de cette Équation ne seraient qu’imaginaires, et qu’il n’y en auroit de réelles que la fausse, qui suivant la règle de Cardan seroit
C . 1 2 q + 1 4 q 2 − 1 27 p 3 + C . 1 2 q − 1 4 q 2 − 1 27 p 3 . {\displaystyle {\sqrt {\mathrm {C} .{\frac {1}{2}}q+{\sqrt {{\frac {1}{4}}q^{2}-{\frac {1}{27}}p^{3}}}}}+{\sqrt {\mathrm {C} .{\frac {1}{2}}q-{\sqrt {{\frac {1}{4}}q^{2}-{\frac {1}{27}}p^{3}}}}}.}
La façon d’exprimer la valeur de toutes les racines des équations cubiques, et ensuite de toutes celles qui ne montent que jusqu’au carré de carré.
d’exprimer la valeur des racines par le rapport qu’elles ont aux cotés de certains cubes dont il n’y a que le contenu qu’on connaisse, n’est en rien plus intelligible, ni plus simple, que de les exprimer par le rapport qu’elles ont aux subtendues de certains arcs, ou portions de cercles, dont le triple est donné. En sorte que toutes celles des Équations cubiques qui ne peuvent être exprimées par les règles de Cardan, le peuvent être autant ou plus clairement par la façon ici proposée.
Car si par exemple, on pense connaître la racine de cette équation
z 3 = − q z + p , {\displaystyle z^{3}=-qz+p,}
à cause qu’on sait qu’elle est composée de deux lignes. dont l’une est le côté d’un cube, duquel le contenu est 1 2 q , {\displaystyle {\frac {1}{2}}q,} ajouté au côté d’un carré, duquel derechef le contenu est 1 4 q 2 − 1 27 p 3 , {\displaystyle {\frac {1}{4}}q^{2}-{\frac {1}{27}}p^{3},} et l’autre est le côté d’un autre cube, dont le contenu est la différence qui est entre 1 2 q , {\displaystyle {\frac {1}{2}}q,} et le côté de ce carré dont le contenu est 1 4 q 2 − 1 27 p 3 , {\displaystyle {\frac {1}{4}}q^{2}-{\frac {1}{27}}p^{3},} qui est tout ce qu’on en apprend par la règle de Cardan. il n’y a point de doute qu’on ne connaisse autant ou plus distinctement la racine de celle ci
z 3 = + q z − p , {\displaystyle z^{3}=+qz-p,} en la considérant inscrite dans un cercle, dont le demi-diamètre est 1 3 p , {\displaystyle {\sqrt {{\frac {1}{3}}p}},} et sachant qu’elle y est la subtendue d’un arc dont le triple a pour subtendue 3 q p {\displaystyle {\frac {3q}{p}}} . Même ces termes sont beaucoup moins
embarrassés que les autres, et ils se trouveront beaucoup plus cours si on veut user de quelque chiffre particulier pour exprimer ces subtendues, ainsi qu’on fait du chiffre C {\displaystyle {\sqrt {\mathrm {C} }}} pour exprimer le côté des cubes. Et on peut aussi, en suite de ceci, exprimer les racines de toutes les équations qui montent jusqu au carré de carré, par les règles ci-dessus expliquées. En sorte que je ne sache rien de plus à désirer en cette matière. Car enfin la nature de ces racines ne permet pas qu’on les exprime en termes plus simples, ni qu’on les détermine par aucune construction qui soit ensemble plus générale et plus facile.
Pourquoi les problèmes solides ne peuvent être construits sans les sections coniques, ni ceux qui sont plus composés sans quelques autres lignes plus composées.
Il est vrai que je n’ai pas encore dit sur quelles raisons je me fonde, pour oser ainsi assurer si une chose est possible ou ne l’est pas. Mais, si on prend garde comment, par la méthode dont je me sers, tout ce qui tombe sous la considération des géomètres se réduit à un même genre de Problèmes, qui est de chercher la valeur des racines de quelqu’Équation, on jugera bien qu’il n’est pas malaisé de faire un dénombrement de toutes les voies par lesquelles on les peut trouver, qui soit suffisant pour démontrer qu’on a choisi la plus générale et la plus simple. Et particulièrement pour ce qui est des Problèmes solides, que j’ai dit ne pouvoir être construis, sans qu’on y emploie quelque ligne plus composée que la circulaire, c’est chose qu’on peut assez trouver, de ce qu’ils se réduisent tous a deux constructions ; en l’une desquelles il faut avoir tout ensemble les deux poins, qui déterminent deux moyennes proportionnelles entre deux lignes données, et en l’autre les deux points, qui divisent en trois parties égales vu arc donné ; car d’autant que la courbure du cercle ne dépend, que d’un simple rapport de toutes ses parties, au point qui en est le centre ; on ne peut aussi s’en servir qu’à déterminer un seul point entre deux extrêmes, comme à trouver une moyenne proportionnelle entre deux lignes droites données, ou diviser en deux un arc donné ; au lieu que la courbure des sections coniques, dépendant toujours de deux diverses choses, peut aussi servir à déterminer deux points différents. Mais pour cette même raison il est impossible, qu’aucun des problèmes qui sont d’un degré plus composés que les solides, et qui présupposent l’invention de quatre moyennes proportionnelles, ou la division d’un angle en cinq parties égales, puissent être construits par aucune des sections coniques. C’est pourquoi je croirai faire en ceci tout le mieux qui se puisse, si je donne une règle générale pour les construire, en y employant la ligne courbe qui se décrit par l’intersection d’une parabole et d’une ligne droite en la façon ci-dessus
expliquée ; car j’ose assurer qu’il n’y en a point de plus simple en la nature, qui puisse servira ce même effet, et vous avez vu comme elle suit immédiatement les sections coniques, en cette question tant cherchée parles anciens, dont la solution enseigne par ordre toutes les lignes courbes, qui doivent être reçues en géométrie.
Façon générale pour construire tous les problèmes réduits à une équation qui n’a point plus de six dimensions.
Vous savez déjà comment, lorsqu’on cherche les quantités qui sont requises pour la construction de ces Problèmes, on les peut toujours réduire à quelque équation, qui ne monte que jusqu’au carré de cube, ou au sursolide. Puis vous savez aussi comment, en augmentant la valeur des racines de cette équation, on peut toujours faire qu’elles deviennent toutes vraies, et avec cela que la quantité connue du troisième terme soit plus grande que le carré de la moitié de celle du second ; et enfin comment, si elle ne monte que jusqu’au sursolide, on la peut hausser jusqu’au carré de cube, et faire que la place d’aucun de ses termes ne manque d’être remplie. Or afin que toutes les difficultés, dont il est ici question, puisse être résolues par une même règle, je désire qu’on fasse toutes ces choses, et par ce moyen qu’on les réduise toujours à une équation de telle forme
y 6 − p y 5 + q y 4 − r y 3 + s y 2 − t y + u = 0 ; {\displaystyle y^{6}-py^{5}+qy^{4}-ry^{3}+sy^{2}-ty+u=0\,;}
et en laquelle la quantité nommée q {\displaystyle q} soit plus grande que le carré de la moitié de celle qui est nommée < m a t h > p {\displaystyle <math>p} </math>. Puis ayant fait la ligne \mathrm{BK} (fig. 24) indéfiniment longue des deux côtés du point B {\displaystyle \mathrm {B} } ayant tiré la perpendiculaire A B , {\displaystyle \mathrm {AB} ,} dont la longueur soit 1 2 p , {\displaystyle {\frac {1}{2}}p,} il faut dans un plan séparé décrire une parabole, comme C D F {\displaystyle \mathrm {CDF} } dont le côté droit principal soit
1 u + q − 1 4 p 2 , {\displaystyle {\sqrt {{\frac {1}{\sqrt {u}}}+q-{\frac {1}{4}}p^{2}}},}
fig. 24
que je nommerai n {\displaystyle n} pour abréger. Après cela il faut poser le plan dans lequel est cette Parabole sur celui ou sont les lignes A B {\displaystyle \mathrm {AB} } et B K , {\displaystyle \mathrm {BK} ,} en sorte que son essieu D E {\displaystyle \mathrm {DE} } se rencontre justement au-dessus de la ligne droite B K ; {\displaystyle \mathrm {BK} \,;} et ayant pris la partie de cet essieu, qui est entre les points E {\displaystyle \mathrm {E} } et D , {\displaystyle \mathrm {D} ,} égale à 2 u p n , {\displaystyle {\frac {2{\sqrt {u}}}{pn}},} il faut appliquer sur ce point E {\displaystyle \mathrm {E} } une longue règle, en telle façon qu’étant aussi appliquée sur le point A {\displaystyle \mathrm {A} } du plan de dessous, elle demeure toujours jointe a ces deux poins, pendant qu’on haussera ou baissera la parabole tout le long de la ligne B K , {\displaystyle \mathrm {BK} ,} sur laquelle son essieu est appliqué au moyen de quoi l’intersection de cette Parabole, et de cette règle, qui se fera au point C , {\displaystyle \mathrm {C} ,} décrira la ligne courbe A C N , {\displaystyle \mathrm {ACN} ,} qui est celle dont nous avons besoin de nous servir pour la construction du Problème proposé. Car après qu’elle est ainsi décrite, si on prend le point L {\displaystyle \mathrm {L} } en la ligne B K , {\displaystyle \mathrm {BK} ,} du côté vers lequel est tourné le sommet de la Parabole, et qu’on face B L {\displaystyle \mathrm {BL} } égale à D E , {\displaystyle \mathrm {DE} ,} c’est à dire à 2 u p n ; {\displaystyle {\frac {2{\sqrt {u}}}{pn}}\,;} puis du point L , {\displaystyle \mathrm {L} ,} vers B , {\displaystyle \mathrm {B} ,} qu’on prenne en la même ligne B K , {\displaystyle \mathrm {BK} ,} la ligne L H , {\displaystyle \mathrm {LH} ,} égale à t 2 n u , {\displaystyle {\frac {t}{2n{\sqrt {u}}}},} et que du point H {\displaystyle \mathrm {H} } ainsi trouvé, on tire à angles droits, du côté qu’est la courbe A C N , {\displaystyle \mathrm {ACN} ,} la ligne H I , {\displaystyle \mathrm {HI} ,} dont la longueur soit r 2 n 2 + u n 2 + p t 4 n 2 u , {\displaystyle {\frac {r}{2n^{2}}}+{\frac {\sqrt {u}}{n^{2}}}+{\frac {pt}{4n^{2}{\sqrt {u}}}},} qui pour abréger sera nommée m n 2 ; {\displaystyle {\frac {m}{n^{2}}}\,;} Et après, ayant joint les poins L {\displaystyle \mathrm {L} } et I , {\displaystyle \mathrm {I} ,} qu’on décrive le cercle L P I , {\displaystyle \mathrm {LPI} ,} dont I L {\displaystyle \mathrm {IL} } soit le diamètre ; et qu’on inscrive en ce cercle la ligne L P {\displaystyle \mathrm {LP} } dont la longueur soit s + p u n 2 , {\displaystyle {\sqrt {\frac {s+p{\sqrt {u}}}{n^{2}}}},} puis enfin du centre I , {\displaystyle \mathrm {I} ,} par le point P {\displaystyle \mathrm {P} } ainsi trouvé, qu’on décrive le cercle P C N . {\displaystyle \mathrm {PCN} .} Ce cercle coupera ou touchera la ligne courbe A C N , {\displaystyle \mathrm {ACN} ,} en autant de points qu’il y aura de racines en l’équation : En sorte que les perpendiculaires tirées de ces points sur la ligne B K , {\displaystyle \mathrm {BK} ,} comme C G , N R , Q O , {\displaystyle \mathrm {CG,NR,QO} ,} et semblables, seront les racines cherchées. Sans qu’il y ait aucune exception ni aucun défaut en cette règle. Car si la quantité s était si grande, à proportion des autres p , q , r , t , {\displaystyle p,q,r,t,} et u , {\displaystyle u,} que la ligne L P {\displaystyle \mathrm {LP} } se trouvât plus grande que le diamètre du cercle I L , {\displaystyle \mathrm {IL} ,} en sorte qu’elle n’y put être inscrite, il n’y aurait aucune racine en l’équation proposée qui ne fût imaginaire ; non plus que si le cercle I P {\displaystyle \mathrm {IP} } était si petit, qu’il ne coupât la courbe A C N {\displaystyle \mathrm {ACN} } en aucun point. Et il la peut couper en six différents ainsi qu’il peut y avoir six diverses racines en l’équation. Mais lorsqu’il la coupe en moins, cela témoigne qu’il y a quelques-unes de ces racines qui sont égales entre elles, ou bien qui ne sont qu’imaginaires.
Que si la façon de tracer la ligne A C N {\displaystyle \mathrm {ACN} } par le mouvement d’une Parabole vous semble incommode, il est aisé de trouver plusieurs autres moyens pour la décrire :
fig. 25
Comme si ayant les mêmes quantités que devant pour A B {\displaystyle \mathrm {AB} } et B L {\displaystyle \mathrm {BL} } (fig. 25) ; et la même pour B K , {\displaystyle \mathrm {BK} ,} qu’on avait posée pour le côté droit principal de la parabole ; on décrit le demi-cercle K S T {\displaystyle \mathrm {KST} } dont le centre soit pris a discrétion dans la ligne B K , {\displaystyle \mathrm {BK} ,} en sorte qu’il coupe quelque part la ligne A B , {\displaystyle \mathrm {AB} ,} comme au point S , {\displaystyle \mathrm {S} ,} et que du point T , {\displaystyle \mathrm {T} ,} du il finit, on prenne vers K {\displaystyle \mathrm {K} } la ligne T V , {\displaystyle \mathrm {TV} ,} égale à B L ; {\displaystyle \mathrm {BL} \,;} puis ayant tiré la ligne S V , {\displaystyle \mathrm {SV} ,} qu’on en tire une autre, qui lui soit parallèle, par le point A , {\displaystyle \mathrm {A} ,} comme A C ; {\displaystyle \mathrm {AC} \,;} et qu’on en tire aussi une autre par S , {\displaystyle \mathrm {S} ,} qui soit parallèle a B K , {\displaystyle \mathrm {BK} ,} comme S C ; {\displaystyle \mathrm {SC} \,;} le point C , {\displaystyle \mathrm {C} ,} ou ces deux parallèles se rencontrent, sera l’un de ceux de la ligne courbe cherchée. Et on en peut trouver, en même sorte, autant d’autres qu’on en désire.
Or la démonstration de tout ceci est assez facile. car appliquant la règle A E {\displaystyle \mathrm {AE} } (figure 24) avec la parabole F D {\displaystyle \mathrm {FD} } sur le point C ; {\displaystyle \mathrm {C} \,;} comme il est certain qu’elles peuvent y être appliquées ensemble, puisque ce point C {\displaystyle \mathrm {C} } est en la courbe A C N , {\displaystyle \mathrm {ACN} ,} qui est décrite par leur intersection ; si C G {\displaystyle \mathrm {CG} } se nomme y , {\displaystyle y,} G D {\displaystyle \mathrm {GD} } sera y 2 n , {\displaystyle {\frac {y^{2}}{n}},} à cause que le côté droit, qui est n , {\displaystyle n,} est à C G , {\displaystyle \mathrm {CG} ,} comme C G {\displaystyle \mathrm {CG} } à G D , {\displaystyle \mathrm {GD} ,} et ôtant D E , {\displaystyle \mathrm {DE} ,} qui est 2 u p n {\displaystyle {\frac {2{\sqrt {u}}}{pn}}} de G D , {\displaystyle \mathrm {GD} ,} on a y 2 n − 2 u p n {\displaystyle {\frac {y^{2}}{n}}-{\frac {2{\sqrt {u}}}{pn}}} , pour G E . {\displaystyle \mathrm {GE} .} Puis à cause que A B {\displaystyle \mathrm {AB} } est à B E {\displaystyle \mathrm {BE} } comme C G {\displaystyle \mathrm {CG} } est à G E ; {\displaystyle \mathrm {GE} \,;} A B {\displaystyle \mathrm {AB} } étant 1 2 p {\displaystyle {\frac {1}{2}}p} B E {\displaystyle \mathrm {BE} } est p y 2 n − u n y . {\displaystyle {\frac {py}{2n}}-{\frac {\sqrt {u}}{ny}}.}
Et tout de même en supposant que le point C {\displaystyle \mathrm {C} } de la courbe a été trouvé par l’intersection des lignes droites, S C {\displaystyle \mathrm {SC} } parallèle à B K , {\displaystyle \mathrm {BK} ,} et A C {\displaystyle \mathrm {AC} } parallèle à S V , {\displaystyle \mathrm {SV} ,} S B {\displaystyle \mathrm {SB} } gui est égale à C G , {\displaystyle \mathrm {CG} ,} est y : {\displaystyle y\,:} et B K {\displaystyle \mathrm {BK} } étant égale au côté droit de la parabole, que j’ai nommé n , {\displaystyle n,} B T {\displaystyle \mathrm {BT} } est y 2 n {\displaystyle {\frac {y^{2}}{n}}} car comme K B {\displaystyle \mathrm {KB} } est à B S , {\displaystyle \mathrm {BS} ,} ainsi B S {\displaystyle \mathrm {BS} } est à B T . {\displaystyle \mathrm {BT} .} Et T V {\displaystyle \mathrm {TV} } étant la même que B L , {\displaystyle \mathrm {BL} ,} c’est à dire 2 u p n {\displaystyle {\frac {2{\sqrt {u}}}{pn}}} , B V {\displaystyle \mathrm {BV} } est y 2 n − 2 u p n {\displaystyle {\frac {y^{2}}{n}}-{2{\sqrt {u}}}{pn}} et comme S B {\displaystyle \mathrm {SB} } est à B V , {\displaystyle \mathrm {BV} ,} ainsi A B {\displaystyle \mathrm {AB} } est à B E , {\displaystyle \mathrm {BE} ,} qui est par conséquent p y 2 n − 2 u p n {\displaystyle {\frac {py}{2n}}-{\frac {2{\sqrt {u}}}{pn}}} comme devant, d’où on voit que c’est une même ligne courbe qui se décrit en ces deux façons.
Après cela, pourceque B L {\displaystyle \mathrm {BL} } et D E {\displaystyle \mathrm {DE} } sont égales, D L {\displaystyle \mathrm {DL} } et B E {\displaystyle \mathrm {BE} } le sont aussi : de façon qu’ajoutant L H , {\displaystyle \mathrm {LH} ,} qui est t 2 n u , {\displaystyle {\frac {t}{2n{\sqrt {u}}}},} à D L {\displaystyle \mathrm {DL} } qui est p y 2 n − 2 u n y , {\displaystyle {\frac {py}{2n}}-{\frac {2{\sqrt {u}}}{ny}},} on a la toute D H {\displaystyle \mathrm {DH} } qui est
p y 2 n + u n y + t 2 n u ; {\displaystyle {\frac {py}{2n}}+{\frac {\sqrt {u}}{ny}}+{\frac {t}{2n{\sqrt {u}}}}\,;}
et en ôtant G D , {\displaystyle \mathrm {GD} ,} qui est y 2 n {\displaystyle {\frac {y^{2}}{n}}} on a G H , {\displaystyle \mathrm {GH} ,} qui est
p y 2 n + u n y + t 2 n u − y 2 n , {\displaystyle {\frac {py}{2n}}+{\frac {\sqrt {u}}{ny}}+{\frac {t}{2n{\sqrt {u}}}}-{\frac {y^{2}}{n}},}
ce que j’écris par ordre en cette sorte
G H = − y 2 + 1 2 p y 2 + t y 2 n u − u n y {\displaystyle \mathrm {GH} ={\frac {-y^{2}+{\frac {1}{2}}py^{2}+{\frac {ty}{2n{\sqrt {u}}}}-{\sqrt {u}}}{ny}}} , Et le carré de G H {\displaystyle \mathrm {GH} } est
y 6 − p y 5 + ( 1 4 p 2 − t u ) y 4 + ( 2 u + p t 2 u ) y 3 + ( t 2 4 u − p u ) y 2 − t y + u n 2 y 2 , {\displaystyle {\frac {y^{6}-py^{5}+\left({\frac {1}{4}}p^{2}-{\frac {t}{\sqrt {u}}}\right)y^{4}+\left(2{\sqrt {u}}+{\frac {pt}{2{\sqrt {u}}}}\right)y^{3}+\left({\frac {t^{2}}{4u}}-p{\sqrt {u}}\right)y^{2}-ty+u}{n^{2}y^{2}}},}
Et en quelque autre endroit de cette ligne courbe qu’on veuille imaginer le point C , {\displaystyle \mathrm {C} ,} comme vers N , {\displaystyle \mathrm {N} ,} ou vers Q , {\displaystyle \mathrm {Q} ,} on trouvera toujours que le carré de là ligne droite, qui est entre le point H {\displaystyle \mathrm {H} } et celui où tombe la perpendiculaire du point C {\displaystyle \mathrm {C} } sur B H , {\displaystyle \mathrm {BH} ,} peut être exprimé en ces mêmes termes, et avec les mêmes signes + {\displaystyle +} et − . {\displaystyle -.}
fig. 25
De plus H I {\displaystyle \mathrm {HI} } étant m n 2 {\displaystyle {\frac {m}{n^{2}}}} et L H {\displaystyle \mathrm {LH} } étant t 2 n u {\displaystyle {\frac {t}{2n{\sqrt {u}}}}} , I L {\displaystyle \mathrm {IL} } est
m 2 n 4 + t 2 4 n 2 u , {\displaystyle {\sqrt {{\frac {m^{2}}{n^{4}}}+{\frac {t^{2}}{4n^{2}u}}}},}
à cause de l’angle droit I H L ; {\displaystyle \mathrm {IHL} \,;} et L P {\displaystyle \mathrm {LP} } étant
s n 2 + p u n 2 {\displaystyle {\sqrt {{\frac {s}{n^{2}}}+{\frac {p{\sqrt {u}}}{n^{2}}}}}} ,
I P {\displaystyle \mathrm {IP} } ou I C {\displaystyle \mathrm {IC} } est
m 2 n 4 + t 2 4 n 2 u − s n 2 − p u n 2 , {\displaystyle {\sqrt {{\frac {m^{2}}{n^{4}}}+{\frac {t^{2}}{4n^{2}u}}-{\frac {s}{n^{2}}}-{\frac {p{\sqrt {u}}}{n^{2}}}}},} ,
à cause aussi de l’angle droit I P L . {\displaystyle \mathrm {IPL} .} Puis ayant fait C M {\displaystyle \mathrm {CM} } perpendiculaire sur I H , I M {\displaystyle \mathrm {IH,\ IM} } est la différence qui est entre H I {\displaystyle \mathrm {HI} } et H M {\displaystyle \mathrm {HM} } ou C G , {\displaystyle \mathrm {CG} ,} c’est à dire entre m n 2 {\displaystyle {\frac {m}{n^{2}}}} et y , {\displaystyle y,} en sorte que son carré est toujours
m 2 m 4 − 2 m y n 2 + y 2 , {\displaystyle {\frac {m^{2}}{m^{4}}}-{\frac {2my}{n^{2}}}+y^{2},}
qui étant ôté du carré de de I C , {\displaystyle \mathrm {IC} ,} il reste
t 2 4 n 2 u − s n 2 − p u n 2 − 2 m y n 2 − y 2 {\displaystyle {\frac {t^{2}}{4n^{2}u}}-{\frac {s}{n^{2}}}-{\frac {p{\sqrt {u}}}{n^{2}}}-{\frac {2my}{n^{2}}}-y^{2}}
pour le quarré de C M , {\displaystyle \mathrm {CM} ,} qui est égal au carré de G H {\displaystyle \mathrm {GH} } déjà trouvé. Ou bien en faisant que cette somme soit divisée comme l'autre par ny, on a
− n 2 y 4 + 2 m y 3 − p u y 2 − s y 2 + t 2 4 u y 2 n 2 y 2 {\displaystyle {\frac {-n^{2}y^{4}+2my^{3}-p{\sqrt {u}}y^{2}-sy^{2}+{\frac {t^{2}}{4u}}y^{2}}{n^{2}y^{2}}}}
puis remettant t u y 4 + q y 4 − 1 4 p 2 y 4 {\displaystyle {\frac {t}{\sqrt {u}}}y^{4}+qy^{4}-{\frac {1}{4}}p^{2}y^{4}} , pour n 2 y 4 {\displaystyle n^{2}y^{4}} et r y 3 + 2 u y 3 + p t 2 u y 3 {\displaystyle ry^{3}+2{\sqrt {u}}y^{3}+{\frac {pt}{2{\sqrt {u}}}}y^{3}} pour 2 m y 3 ; {\displaystyle 2my^{3}\,;} et multipliant l'une et l'autre somme par n 2 y 2 , {\displaystyle n^{2}y^{2},} on a
y 6 − p y 5 + ( 1 4 p 2 − t u ) y 4 + ( 2 u + p t 2 u ) y 3 + ( t 2 4 u − p u ) y 2 − t y + u {\displaystyle y^{6}-py^{5}+\left({\frac {1}{4}}p^{2}-{\frac {t}{\sqrt {u}}}\right)y^{4}+\left(2{\sqrt {u}}+{\frac {pt}{2{\sqrt {u}}}}\right)y^{3}+\left({\frac {t^{2}}{4u}}-p{\sqrt {u}}\right)y^{2}-ty+u}
égal à
( 1 4 p 2 − q − t u ) y 4 + ( r + 2 u + p t 2 u ) y 3 + ( t 2 4 u − s − p u ) y 2 , {\displaystyle \left({\frac {1}{4}}p^{2}-q-{\frac {t}{\sqrt {u}}}\right)y^{4}+\left(r+2{\sqrt {u}}+{\frac {pt}{2{\sqrt {u}}}}\right)y^{3}+\left({\frac {t^{2}}{4u}}-s-p{\sqrt {u}}\right)y^{2},}
c'est à dire qu'on a
y 6 − p y 5 + q y 4 − r y 3 + s y 2 − t y + u = 0. {\displaystyle y^{6}-py^{5}+qy^{4}-ry^{3}+sy^{2}-ty+u=0.}
D'où il paraît que les lignes C G , N R , Q O , {\displaystyle \mathrm {CG,NR,QO} ,} et semblables sont les racines de cette Équation, qui est ce qu'il fallait démontrer.
Créer quatre moyennes proportionnelles
Ainsi donc si on veut trouver quatre moyennes proportionnelles entre les lignes a {\displaystyle a} et b , {\displaystyle b,} ayant posé x {\displaystyle x} pour la première, l'équation est
x 5 − a 4 b = 0 , ou bien x 6 − a 4 b x = 0. {\displaystyle x^{5}-a^{4}b=0,\quad {\text{ou bien}}\quad x^{6}-a^{4}bx=0.}
En faisant y − a = x {\displaystyle y-a=x} il vient
y 6 − 6 a y 5 + 15 a 2 y 4 − 20 a 3 y 3 + 15 a 4 y 2 − ( 6 a 5 + a 4 b ) + a 6 + a 5 b = 0 ; {\displaystyle y^{6}-6ay^{5}+15a^{2}y^{4}-20a^{3}y^{3}+15a^{4}y^{2}-\left(6a^{5}+a^{4}b\right)+a^{6}+a^{5}b=0\,;}
c’est pourquoi il faut prendre 3 a {\displaystyle 3a} pour la ligne A B , {\displaystyle \mathrm {AB} ,} et
L H = 6 a 3 + a 2 b a 2 + a b + 6 a 2 {\displaystyle \mathrm {LH} ={\sqrt {{\frac {6a^{3}+a^{2}b}{\sqrt {a^{2}+ab}}}+6a^{2}}}}
pour B K {\displaystyle \mathrm {BK} } ou le côté droit de la parabole, que j'ai nommé n , {\displaystyle n,} et 2 a 3 n a 2 + a b {\displaystyle {\frac {2a}{3n}}{\sqrt {a^{2}+ab}}} pour D E {\displaystyle \mathrm {DE} } ou B L . {\displaystyle \mathrm {BL} .} Et après avoir décrit la ligne courbe A C N {\displaystyle \mathrm {ACN} } sur la mesure de ces trois, il faut faire
L H = 6 a 3 + a 2 b 2 n a 2 + a b {\displaystyle \mathrm {LH} ={\frac {6a^{3}+a^{2}b}{2n{\sqrt {a^{2}+ab}}}}}
et
H I = 10 a 3 n 2 + a 2 n 2 a 2 + a b + 18 a 4 + 3 a 3 b 2 n 2 a 2 + a b , {\displaystyle \mathrm {HI} ={\frac {10a^{3}}{n^{2}}}+{\frac {a^{2}}{n^{2}}}{\sqrt {a^{2}+ab}}+{\frac {18a^{4}+3a^{3}b}{2n^{2}{\sqrt {a^{2}+ab}}}},}
et
L P = a n 15 a 2 + 6 a a 2 + a b ; {\displaystyle \mathrm {LP} ={\frac {a}{n}}{\sqrt {15a^{2}+6a{\sqrt {a^{2}+ab}}}}\,;}
car le cercle qui, ayant son centre au point I {\displaystyle \mathrm {I} } passera par le point P {\displaystyle \mathrm {P} } ainsi trouvé, coupera la courbe aux deux points C {\displaystyle \mathrm {C} } et N , {\displaystyle \mathrm {N} ,} desquels ayant tiré les perpendiculaires N R {\displaystyle \mathrm {NR} } et C G , {\displaystyle \mathrm {CG} ,} si la moindre N R {\displaystyle \mathrm {NR} } est ôtée de la plus grande C G , {\displaystyle \mathrm {CG} ,} le reste sera x , {\displaystyle x,} la première des quatre moyennes cherchées.
Il est aisé en même façon de diviser un angle en cinq parties égales, et d’inscrire une figure de onze ou treize côtés égaux dans un cercle, et de trouver une infinité d’autres exemples de cette règle.
Toutefois il est à remarquer qu’en plusieurs de ces exemples il peut arriver que le cercle coupe si obliquement la parabole du second genre, que le point de leur intersection soit difficile à reconnaître, et ainsi que cette construction ne soit pas commode pour la pratique ; à quoi il serait aisé de remédier en composant d’autres règles à l’imitation de celle-ci, comme on en peut composer de mille sortes.
Mais mon dessein n’est pas de faire un gros livre, et je tâche plutôt de comprendre beaucoup en peu de mots, comme on jugera peut-être que j’ai fait, si on considère qu’ayant réduit à une même construction tous les problèmes d’un même genre, j’ai tout ensemble donné la façon de les réduire à une infinité d’autres diverses, et ainsi de résoudre chacun d’eux en une infinité de façons ; puis outre cela, qu’ayant construit tous ceux qui sont plans en coupant d’un cercle une ligne droite, et tous ceux qui sont solides en coupant aussi d’un cercle une parabole, et enfin tous ceux qui sont d’un degré plus composés en coupant tout de même d’un cercle une ligne qui n’est que d’un degré plus composée que la parabole, il ne faut que suivre la même voie pour construire tous ceux qui sont plus composés à l’infini : car, en matière de progressions mathématiques, lorsqu’on a les deux ou trois premiers termes, il n’est pas malaisé de trouver les autres. Et j’espère que nos neveux me sauront gré, non seulement des choses que j’ai ici expliquées, mais aussi de celles que j’ai omises volontairement, afin de leur laisser le plaisir de les inventer.
Comments
Loading comments…