X-^H-Y'4-Z^ et A,X^-hA,Y'-j-À,Z

En généralisant les résultats obtenus, par l'extension à un nombre quelconque de variables, on retrouve donc ainsi la solution du problème de la réduction simultanée des fonctions quadratiques, telle qu'elle a été donnée par Jacobi. Cette solution échoue généralement lorsque l'équation en > a des racines égales^ mais elle peut au contraire devenir indéterminée, lorsqu'il existe, en outre, certaines autres relations entre les coefficients des fonctions proposées. Ces r^s singuliers correspondent géométriquement à l'exception que comporte le théorème relatif au triangle polaire conjugué à deux coniques, lorsque celles-ci sont simplement tangentes entre elles, et à l'indétermination relative au double contact. Cette

remarque, surtout en y Joignant les considérations analogues auxquelles donnent lieu les surfaces du second ordre, faciliterait sans doute Tétude analytique des cas- d'excoplion.

recherches analytiques sur les ih)ly(;ones simultanément inscrits

et circonscrits a deux coniques ;

Par m. Moutard;

Les Notes qui précèdent ont pour objet de faire concevoir rellicacité, en dehors do la géométrie même, des principes et des méthodes exposés dans les Applications tC Analyse et de Géométrie, Mais à côté des principes et des méthodes, à côté des réflexions lumineuses par lesquelles l'auteur éclaire l'emploi de l'analyse des coordonnées et assure la marche du calcul algébrique, en l'accompagnant d'une interprétation en quelque sorte continue, cet ouvrage renferme aussi certaines théories élémentaires très-fécondes, qui, restées ignorées jusqu'à la publication du Traite des Propriétés projectives, sont devenues depuis lors et peuvent devenir encore l'objet de nombreux travaux. Telle est particulièrement la théorie des polygones à la fois inscrits et circonscrits à des coniques, développée dans le VI" cahier. Un des corollaires de cette théorie (voir p. 33G] enseigne la manière de former algébriquement la relation qui lie entre eux les rayons et la distance de^ centres do deux circonférences, l'une inscrite et l'autre circonscrite à un môme polygone. L'existence d'une pareille relation constitue à elle seule un fait géométrique remarquable, qui, avant la découverte du théorème de M. Poncelet, n'avait été reconnu par Euler que i)our le cas du triangle, et n'avait pu être que sou|)çonné par Fuss pour le cas général d'un polygone quelconque. On sait en effet que Fuss n'avait considéré que le cas où les polygones simultanément inscrits et circonscrits aux deux cercles sont symétriques par rapport à la ligne des centres.

Quant au problème fondamental de la théorie (iW/* l'énoncé, p. 348), Il a fait l'objet d'un Mémoire de Jacobi [Journal de Cnlle, t. 111, année i8a8), dans lequel l'illustre géomètre, après avoir rappelé la solution exposée dans le Traité des Propriétés pmjectii'es, en rattache l'interprétation analytique à certaines propriétés des fonctions elliptiques, et déduit de la comparaison des deux méthodes une construction géométri(]ue pour la multiplication et l'addition des sinus d'amplitude. Il convient d'ailleurs de remarquer que la forme donnée à la solution par Jacobi ne s'applique que dans l'hypothèse où les coniques données sont des cercles :

ce qui, grâce aux principes de projection centrale posés par M. Poncelet, ne nuit en rien à la généralité des conclusions géométriques, mais n'en laisse pas moins, lorsqu'on se* place au point de vue de l'analyse des coordonnées, désirer une solution plus générale et plus complète.

En essayant d'aborder directement par la méthode des coordonnées symétriques, avant d'avoir eu connaissance du Mémoire précité, la solution de ce problème : Trouver la courbe enveloppe du côté libre d'un polygone de n côtésy dont les autres côtés toucfœnt une conique donnée y et dont les sommets décrivent une autre conique donnée y j'ai rencontré une loi de récurrence assez simple pour la formation des équations successives relatives aux cas de S, 4i • • «^^ côtés. L'étude de cette loi de récurrence se ramène à celle de certaines équations fonctionnelles, dont la solution fait retrouver directement, non pas les fonctions elliptiques elles-mêmes, mais les transcendantes B et H qui en forment les numérateurs et les dénominateurs. Plusieurs des propriétés de ces fonctions se trouvent ainsi rattachées au théorème de M. Poncelet par une voie entièrement différente de celle qui a été suivie par Jacobi.

Enoncé du problème. — Pour faciliter la mise en équation du problème, nous en modifierons l'énoncé et le présenterons sous la forme suivante : a Étant données deux coniques (.l^J et (ilb) , soit pris sur (X^) n un point quelconque M„; soit (D,) la polaire rie M,, par rapporta (ilî,), » et M,, M', les points où (D, ) rencontre (al>J. La polaire de M, par » rapport à (iiî)) rencontre (<vl>J en M^ et en un second "point M,, de » même la polaire de M', rencontre (al>^) en M^ et en un second point M', ; » joignons M^M', et désignons par (D,) la droite ainsi obtenue. La polaire » de Mj rencontre (Jl>,) en M, et en un second point M,; de même la » polaire de M, rencontre (tX,^) en M', et en un second point M', ; joi- » gnons MjMj, et désignons par (D,) la droite obtenue. En continuant la » même suite de constructions, on obtient une double série de points » M4, Mj, ..., M^, M'^, Mj, ..., M^, et une série de droites (DJ, » (Dj), . ..,(D^) joignant respectivement ces points deux à deux. Nous » nommerons les droites successives (D,), (D,^, .. .,(D^) les cordes déri- » vées d'ordre i, 2, ...,/? du point M,. Cela posé, le problème que nous » nous proposons de résoudre consiste à trouver la courbe enveloppée » par la corde dérivée d'ordre p du point M, lorsque ce point décrit la » conique donnée (a)l9.).Nous appellerons cette courbe l'enveloppe dérivée » d'ordre p de (Jt>J par rapport à (iIIï), et nous la désignerons par le » symbole («1^^). »

La série de constructions que l'on vient d'énoncer donne lieu à plusieurs remarques.

i" L'enveloppe («A,, ), dérivée du premier ordre de (oK>J par rapport à (ilb), n'est autre chose que la polaire réciproque de {cK>^) par rapport à (lis,); c'est donc une coniciue, et, la conique (c^) étant donné<% on peut

généralement, choisir do quatre manières différentes la conique (Hb), en sorte que (cK>^) devienne telle autre conique que l'on voudra.

2" La corde dérivée d'ordre p du point M. est le côté libre d'un polygone (lo p-\-i cotés inscrit dans (^l»,), et dont les autres côtés touchent (fX>^), Lorsque/^ est pair, le polygonîî est d'un nombre impair de côtés, Mo est alors le sommet opposé au côté libre, et les autres sommets sont M, , M, , . . . , M^ , M'3 , M '^ , . . . ,M' . Lorsque p est im[>air, le polygone

a un nombre pair de côtés, le côté opposé au côté libre est la corde (D,) dérivée du premier ordre de M^, et les sommets du polygone sont aux points M, , M3, . . . , M^ , M', , M3 , . . . , M', .

3** Le polygone de p-hi côtés est à la fois inscrit à la conique (JloJ et circonscrit à la conicjue (ni.,), soit lors^pie la corde dérivée d'ordi*e p du point M^ est tangente à (-^l.,), soit lorsque la corde dérivée d'ordre p-\-i de ce même point est tangente à (<^V'„).

4" Les cordes dérivées d'ordre 7 des deux points M^ et M' rencontrent respectivement la conique aux i>oints M^^^, M^^ et M' ^ , M' ,^;

par suite les cordes dérivées du point M^ d'ordre p — q et d'ordre p-\-f/ , à savoir (D^.J ou M^^ M;,^ et (J)^,,^) ou M^,., M;,^,^ forment un

système de st^cantes communes à la conique (-'K>^) et au système des deux cordes dérivées d'ordre y des points M^ et M',. Ceci est vrai, lors

m<^me que 7>/>>, pourvu cpie l'on regarde M„ comme désiicnant le môme point que M'^ , M[,, le môme point que M„, (D„) la même droite que

(D„), et (D^) la tangente à (-1>J en M^. Ainsi pour toutes les valeurs entières de/? et de <y, les trois systèmes de deux droites, qu'on peut mener par les quatre points M^^^, M^,^ , M' , M' ^ , sont : i" le système

des deux cordes dérivées d'ordre y des points M^ et M' ; 2" le système

des deux cordes dérivées d'onire p des points M^ et M' et 3" enfin le

système formé par les deux cordes dérivées du point M„ , l'une d'ordre p — f/ et l'autre d'ordre p-hf/»

5** Les constructions qui servent à définir la corde dérivée d'ordre // de Mj, ne peuvent plus s'exécuter géométri(iuement lorsque le point M^ e^t dans l'intérieur de (iil,), mais la corde elle-même n'en conserve pas moins une existence géométrique. En a[)pliquant certaines considérations fondées sur le principe de nmtinmtê, on peut modifier l'énoncé de ces constructions de telle manière qu'elles restent possibles pour toutes les disjKJsitions de la figure. En premier lieu, concevons que du point M, on mène deux droites quelconques amju^uévs par rapport à («l», ), c'est-àdire telles que chacune d'elles contienne le [)ôle de l'autre; chacune «le ces droites rencontre encore (-A-o) en un point, et le point de concours des tangentes menées à (fi.J aux deux points ainsi obtenus décrit la corde nommée (D.J, c'est-à-dire le côté libre du triangle inscrit dans ["Wi <l^iit i ii'^ ^^'^ sommets est en M, et dont h^ côtés adjacents à M^

touchent (X^). En second lieu, une fois deux cordes consécutives (D ) et (Dp) tracées, la corde suivante (D^,) peut s'obtenir aisément par une construction linéaire. Si Ton désigne en effet par I^ le pôle de D^ par rapport à (ift,), et par (E^) la polaire de I^ par rapport à (ci>,), il n'est pas difficile de reconnaître que la torde inconnue (D^,) est conjuguée harmonique à (D^,) par rapport à (E^), et à la droite qui joint le pôle 1^ au point de concours de (D^,) et de (E^).

Pour traduire algébriquement les constructions de l'énoncé et les remarques auxquelles elles donnent lieu, nous supposerons d'abord que l'on ait ramené les équations des deux coniques données à la forme réduite :

(JUJ jr^4-r'-4-2' = o. (lll>) «x*-hftj»-hrz=* = o.

Nous désignerons par $, y], 2; les coordonnées du point M, et généralement par (Çp, ïîp, Çp), (Ç' , ri Ç ), les coordonnées respectives des points Mp et MJ, dérivés de M^.

Les droites que nous avons nommées (D^) et (D,) ont respectivement pour équations

et je dis tout d abord que l'équation de la droite dérivée d'un ordre quelconque n peut se mettre sous la forme

en désignant par âr„, ^„, c^ des fonctions de a^ 6, c indépendantes de la position du point M. sur la conique (d^^). Il est clair que, ceci étant vrai pour n = o et /i = i , il suffit do faire voir qu'une fois la proposition admise pour n =/?, pour n = q ei n =p — (j, elle a nécessairement lieu pour n=p-\- q\ car en faisant q — \^eip successivement égal à i, a, 3,...,/2, on trouve pour/? -f- y successivement les valeurs 2, 3,..., «4-i- Soient donc respectivement

les équations des trois cordes dérivées de M„ d'ordre /^, ^ et /> — 7 ; il nous est permis d'écrire également l'équation de la dérivée d'ordre p-\-Çi sous la forme

pourvu que nous ne spécifiions rien sur la nature des trois coefficients ^ir+fl» ^j»+^» S+^» ®^ ^^^^^ objet est précisément de démontrer que ces coefficients ne dépendent que des 9 coefficients «^, /^^ , . . • , ('p q » et par suite seulement de a, b et c Considérons, dans ce but, les équations des trois systèmes de deux

droites que l'on peut conduire par les quatre points M^,,, M^^^, M' ,

I** Le système des deux droites ( D^^ ) ot (D^^^), c'est-à-dire M^^M' et M^^Mp^^^, a pour équation

a** Les deux droites M„^Ar et M'^^M' étant les dérivées d'ordre o des deux points M^ et M' , ou obtiendra l'équation de leur système en éliminant Ç^, ïj^, Ç^, entre les trois équations :

dont les deux dernières servent à définir les points M^ et M' .

Le résultat de Télimination s'obtient inimédialement sous la forme

ce que nous écrirons encore, en vue de conséquences ultérieures,

(•2 Ois) \

3" Les deux droites M„^„M' et M„ „M' . étant les dérivées d'ordre ;> des deux points M^ et M' l'équation de leur système peut s'écrire

ou bien

(3 bis) I (^''' + ^^''+/v")(^'p-^'^^^>"^'^'^

Cela posé, la conique [tXy^] passant par les quatre points communs aux deux lieux du second degré représentés par les équations (i) et ('2), on sait à priori que la somme de leurs premiers membres multipliés par des coefficients convenablement choisis, doit pouvoir être identifiée avec x^-^y-^-z^. Cette dernière expression ne renfermant plus les rectangles des variables, il faut nécessairement que les coefficients de ces rectangles soient proportionnels dans les équations (i) et (2), ce qui donne les relations

I A ) P-g*^^-H? ^* P-q^P^'l *'»-q*'p-¥il ' *^P-q^'p-^q __ ^^P-q ^^P-Hj "T" ^P-q^'p^q,

■'■'Wv-, *'•/'/•/', ■'■"A" A

On voit par là que :ii les neuf coefficients «,, A^, r^,.--, <",,, sont indé-

54o SOUVENIRS,

pendants do Ç, jq, Ç , a^^ , b^^^ , c^^ , peuvent être choisis de manière à rétre également ; et par suite il est démontré que Téquation de la corde dérivée d'ordre n du point M, peut toujours s*écrire

^«> ^n» ^n représentant des constantes indépendantes deÇ, >3, Ç.

La forme de cette équation permet d'obtenir rapidement l'équation de la courbe enveloppée par la corde dérivée d'ordre n du point M^,, lorsque le point Mj parcourt la conique ( d,, ). On a vu dans la Note relative aux coordonnées symétriques qu'en général l'équation de la polaire réciproque de la conique x^ -^y -4-3^ = 0, par rapport à la conique ax^ -\- bjf^-\-cz^ = o, est donnée par à^a^ -^b^y^ -\-c^z^ = o. Or, la corde (D„) peut être, d'après la forme de son équation, considérée comme la polaire du point M, par rapport à une certaine conique

la courbe cherchée est donc la polaire réciproque de [X^) par rapiwrt à la directrice (i)l)«), ce qui donne enQn, pour son équation,

et montre qu'elle consiste en une conique ayant même triangle polaire conjugué que les coniques données.

Considérons en outre les deux systèmes de droites M^^^M^.^, M' M' , etM„^M' ^, M„ „M' ,; de ce que ces deux lieux du second

degré ont leurs quatre points d'intersection situés sur (<A>^), il résulte, comme ci-dessus, que la somme des premiers membres de leurs équations, multipliés par des facteurs convenables, doit pouvoir être identifiée à jt' -\-y^-\-z^. Or si l'on remarque que les équations (2 bis) et (3 bis) renferment les rectangles des variables avec les mêmes coefficients, on déduit de là, en posant

rr;i'-hblr^'-hc;^'=X,, ^/,' 5^ + ^^ >j' -h ^,' Ç' = A/ , les relations

ff

d'où Ton tire enfin,

(5) bl cî- rlb]-^cla; -al r] -\-albl-blal ^ o.

\ / p *i p 't p 1 PIPI p '/

Cette dernière équation montre que les premiers membres des trois

équations ( eVJ, (û^l>p), (<tl>,) sont liés entre eux par ono relation linéaire homogène, et par suite, que les courbes qu'elles représentent se coupent aux quatre mêmes points. Nous pouvons donc énoncer le théorème suivant : Les enveloppes dérivées de tous /es ordres de (aHo^) par rap/jort à (ij»,) sont des conir/iies circonscrites au mcmr quadrilatère que les deux coniques données. Ce qui n'est autre chose que le théorème de M. Poncelet, relatif à deux coniques, énoncé sous une forme différente.

Les formes (2 bis) et (^ Ins) données aux équations des systèmes de droites M,^M^^, M;^^M;^ et M^,,^m;,^, M^.,M;^^, permettent d^a-

percevoir une autre conséquence géométrique; si l'on considère, en particulier, réquation (2 ùis)y on voit qu'elle représente un lieu du second degré, tangent à la courbe (<A»^), en ses points d'intersection avec la droite qui a pour équation

(D„„) ^JL^^-^-bJfriY-^cc'tZ — 0.

La droite (D^^) est donc la corde qui joint les points de contact des cordes dérivées d'ordre q des points M^ et M' , avec l'enveloppe dérivée

d'ordre 7 de (X^) par rapport à ( Ul) ); mais l'équation (3 /;/.v) montre de la môme manière que cette droite est aussi la corde de contact des dérivées d'ordre p des points M,^ et M' avec l'enveloppe (oilo^). Lorsque Ton suppose p et q de même parité, on tire de là le théorème suivant :

Étant donné un polygone inscrit dans une conique (X^) et ayant tous ses côtés, moins un, tangents à la conicjue (t^o^), on sait que les diagonales de même espèce (c'est-à-dire joignant des sommets séparés par le môme nombre de sommets intermédiaires, dans le sens opposé à celui où l'on rencontre le côté libre) enveloppent toutes une même conique. Si l'on considère deux sommets quelconques, et les sommets correspondants (c'est-à-dire séparés des extrémités du coté libre par le même nombre de sommets intermédiaires), les deux diagonales qui joignent, l'une les deux premiers sommets, l'autre les seconds, sont tangentes à une même conique; de mênfe les deux droites qui joignent chacun des premiers sommets avec le second sommet non correspondant, sont fcmgentes à une même conique. Les quatre points de contact ainsi obtenus sont on ligne droite.

Les lignes telles que (D^^) jouissent de diverses propriétés, parmi lesquelles je me bornerai à énoncer la suivanle, facile à vérifier : La ligne telle que (D^^), dérivée d'un point M^, enveloppe, lorsque Mp décrit la conique (X^), une autre conique inscrite au même quadrilatère que les deux coniques (-1^) et (tl)^).

Etude spéciale de la LU de fnrinati<in des cocj/icicnts a^^ Z/^^, c^^, — En désignant, dans ce qui précède, par fi^l.v-\-h^r,r-\-c^'C,z = o ré(juation de la corde dérivée d'ordre n du point (?, yj, i)^ nous n'avons en réalité

défini géométriquement que les rapports mutuels des coefficients /z.i ^«t r,; et nous nous sommes bornés, en ce qui les concerne^ à établir les relations (4) et (5), lesquelles ne dépendent que de leurs valeurs proportionnelles. Bien que, d'après la nature de la question qui nous occupe, les rapports mutuels de «, , ^^ , c^ doivent seuls intervenir dans la solution, il est permis de préciser la signification de ces symboles, en leur attribuant des valeurs propres; c'est ce que nous ferons en spécifiant d'une certaine manière la loi de formation contenue dans les relations (4)- Concevons donc que l'on considère les trois suites illimitées

Oj , . . . , V^ ,

définies par les deux groupes d'égalités

( 6 ) I ^3F+ ''^p = ^ 'l ^^ ( 7 ) I ^c,p, 4- ca,^., = 2 Vi V. ^^ '

jointes aux conditions initiales

La simple inspection des égalités (6) et (7) permet de reconnaftre que pour toute valeur paire de /i, «„ , fc„ , c^ sont des fonctions entières de fl', b^y r% et que pour toute valeur impaire de /i, «„ , ^, , c„ sont respectivement égaux à a, ^, c, multipliés par des fonctions entières de at*, ft', r'. Dans l'un et l'autre cas, les fonctions «„, 6^, c^ sont, par rapport à a, b, r, de degré w*. En outre, l'hypothèse a = b entratne nécessairement l'égalité a^ = b„ = cf* .

Les quantités ^/„, b^, c^ que nous venons de définir, satisferont évidemment atix conditions géométriques imposées aux coefficients de Téquation ( D^) ; on cfi conclut immédiatement qu'elles jouissent des propriétés exprimées par les relations (4) et (5). En outre, si l'on remarque que les trois rapports égaux qui entrent dans les relations (4), renferment au numérateur et au dénominateur des fonctions de a, ^, c du même degré, à savoir du degré ip^-\-iq^^ et qu'ils prennent tous deux la valeur numérique i, lorsque l'on suppose a = b = c, il sera permis d'écrire ces relations sous la forme plus précise

D'autre part, les quatre équations désignées précédemment par (i), (a) et (3), et (XJ ou x^-\-y-\-z^ = o, représentant des lieux du second degré, qui passent par les quatre mêmes points, il existe nécessairement entre les premiers membres de trois quelconques d'entre elles une relation linéaire homogène, pourvu toutefois que ^, y:, ^ satisfassent à la condition Ç^ + >î'-hÇ'= o. En développant les calculs, on trouve successivement les égalités suivantes :

(9) ! *^*^ = - '•;'','+*;«,' +^' '•; ^--'^x+bi^; +b; c;,

( c,^ V, = - «; b; 4- cl bl + ri al =. - al 6; + c J i; + c; «,' , d'où Ton déduit la formule

et ses analogues.

En combinant les formules (8) et (lo), on trouve aussi

(II) ^ (^-,4- vJ ( V7+VJ = (^P^. + '^P^)'»

et leurs analogues.

Ces formules expriment autant de propriétés des n^, b^, r^, dont chacune pourrait être regardée comme définissant ces fonctions avec certaines conditions initiales, par une loi de formation de proche en proche; mais toutes les lois de formation que l'on obtient ainsi, exigent le calcul simultané des termes des trois séries; nous nous proposons maintenant de faire voir que le calcul, sinon de ^„, />„, r„, du moins de leurs carrés, peut être ramené à dépendre de celui des termes d'une série unique.

Considérons pour cela l'équation

b^d - cHl -hr'< - n'cl +a'bl - b\il = o,

laquelle n'est qu'un cas particulier de la relation (5), et exprime que l'enveloppe (A,) passe par les points communs à { d.J et (el», ). Cette équation peut aussi s'écrire sous les formes suivantes :

Désignant par G, chacun des trois premiers rapports et par H. chacun

des derniers, on tire de là

(,a) al = G,a'+H„ A.' = G.6' 4- H. . r.' = G.c»4-H..

Il est d'ailleurs évident que les deux numérateurs ni — bl, et a^hl — ^v;'

fonctions entières de ^/^ //, f '^ s annulent dans l'hypothèse a^ = ii', puisque l'égaillé a = b entraîne n^= />„; par suite G„ et H„ sont des fonctions entières et symctrifpies de «*, ^', r*, dont les degrés en «, b^ c sont pour la première 2 (/?- — i), et pour la seconde 2//'. Remarquons en outre que l'on a

Go=o, H,= i, G, = 1, n,=o.

Cela posé, si l'on multiplie membre à membre les équations (ii), et que dans le résultat

y p-<i p-n) yp-^ P+9I yp 1 n pj

on remplace b^^^ , ''^^^i • • • 1 par leurs valeurs (12), il vient l'égalité

d'où Ton déduit

(>4) G^,G,„=:H; et (i5) G„,. = (G,H,,.-G^.H,)'.

On trouve d ailleurs directement

^i6) G,^= 4^'^'^;^;G^, et en i)articulier G, = ^ti'b^c'.

On conclut aisément de ces dernières formules que la fonction G, est le carré d'une fonction entière et symétrique de degré «*— i de /i, b, c. Soit donc fait G„— A^^ , et pour mieux préciser la signification de la nouvelle fonction A,^ ainsi introduite, convenons, ce qui est évidemment permis, que l'on prenne Aj= +iabc^ et que kîs signes se déterminent pour les valeurs suivantes de l'indice n par l'égalité

(»4 bis) A^^ A^^, = - H^.

Étude (le la fonction A„. — Si l'on remplace dans l'équation do l'enveloppe déri\ée d'ordre // les coeflicienls «* , ^^, r^ par leurs expressions en A , elle ])rend la forme très-simple

A,' [a^a-^b^f+cH^)^\^^A„^^(,r-^y^+z-) = o, et le problème se trouve ainsi concentré dans Tétudo de la fonction A,.

Lorsque Ton se propose en particulier de trouver la condition à laquelle doivent satisfaire les paramètres des équations de deux coniques, pour qu'il soit possible de construire un polygone de n cuites simultanément inscrit à Tune d'elles et circonscrit à l'autre, il suffit de se rappeler les considérations développées dans le texte (p. 355 à 365) sur l'impossibilité absolue ou la possibilité indéfinie d'une pareille construction, et, d'autre part, la troisième des remarques dont nous avons fait suivre l'énoncé du problème. La condition cherchée équivaut à ce que l'enveloppe (JU,,) se confonde avec (al©,), et que l'enveloppe (c-l.,) se confonde avec (X,), et par suite elle est exprimée par l'équation A^= o.

Comme corollaire spécial , nous indiquerons immédiatement le fait géométrique traduit par l'équation (16), lequel consiste en ce que « lorsqu'un » polygone d'un nombre pair de côtés est à la fois inscrit à une conique » et circonscrit à une autre conique , les diagonales qui joignent deux à » deux les sommets opposés concourent en un même point, confondu avec » l'un des sommets du triangle conjugué aux deux coniques. » Ce théorème est énoncé et démontré dans le Traité des Propriétés projectivcs (p. 364).

En se reportant à la définition de G„ et de \\^ , on reconnaît facilement que dans l'hypothèse a = b = c, G„ devient égal à /i*«'^"^-'^ et H„ à (i — /î')a***; d'autre part, dans les mêmes hypothèses, A^, une fois sian signé précisé comme ci-dessus, devient égal à -4-/2^ -'. Cette remarque pernàet de déterminer quel est le signe que l'on doit prendre en extrayant les racines des deux membres de l'équation (i3 ), laquelle se présente alors sous la forme plus précise

(i3 bis) \^\,,^ = A^' A^.. .V. - a; a,, a^^,.

Cette équation renferme la loi de formation successive des A^. En y faisant tour à tour p=zq-\-\ et /? — 7 4- 2 , on en tire les formules

et

à l'aide desquelles on peut calculer de proche en proche tous les termes de la série des A , une fois A^ , A^, A^ déterminés directement.

On a déjà trouvé ci-dessus A,= '>.nbc. Le ciilcul direct de Aj donne les formules suivantes :

\^=-b'c'—c'a^ — fàb'-{-in'b^c'-^'ib'c'(i^ + iv'à^h\

\^=.(bc-\-ca-\-ab)[— br -\- m -{- ai?) (i?c — cn-\-fib) (bc-\-va — ab 1.

A,= ^,C3-hc,^/,-|-^/,^,,

^ fi h c

11 faut se rappeler que les valeurs de /i, , b^, r, el a^ , b^ , c^ sont données par les équations

/?j - «( — b^c.^-\-c^a.^ -\- ajt^ ), /v, - />(/->, r^ — r, ^/^ -f- ^/, /;, ) , r^ — r(b^c, -r r ^/i^ — tij)^\ Enfin la valeur do A, est

Cela posé, on obtient immédiatement pour A^, A^., .... les expressions suivantes : i^-'

A,^AÎA,-A5,

A,:rrAjA,-A,A;,

\,= m,b,c^\^^ \,[A\[\^-^^a\b\c\)- \\^, A,£= AjAç— A3AJ.

En examinant la loi de formation des A^ , on reconnaît sans peine quo pour toute valeur impaire de w, A^ est susceptible d'être exprimé par une fonction entière et symétrique de a^, b^, c^, et même de b^r^^ r//^, /ïj^,; en sorte que l'on peut écrire

en désignant par le symbole F(/^, c, tv) une fonction entière rationnelle et symétrique de degré />(/? 4-1) par rapport aux variables #/, <», w. Des considérations géométriques permettent de découvrir une propriété singulière de cette fonction.

Soit en effet /(/?, b, c) l'expression de A,^, en fonction de /i, 6, c; on sait que l'équation f(a, b, c) = o exprime la condition pour qu'il soit possible de construire un polygone de 2/7 4- 1 côtés, simultanément inscrit à (e.l>,) et circonscrit à (X,]; imaginons que l'on construise un pareil polygone et que Ton joigne les sommets de deux en deux , on obtiendra un nouveau polygone simultanément inscrit à (X^) et circonscrit à (rX^^), dont l'équation ne diffère de c«lle de (e^) qu'en ce que a^j ^', c^ sont remplacés par a\,b\,c\. Il résulte de là que l'équation /(/?, b,c) = o ou F ( 6,r, , r,rt, , «,^j ) = o entrafoe l'équation /(«, , ^j , <^, ) = o.

En tenant compte de ce que les quantités n, b, r, £/, , 6, , r, , n'entrent dans les équations des courbes (ei>, ) et (c^,) que par leurs carrés, on conclut de là

et par suite la fonction F jouit de la propriété caractérisée par la relation

= F(bc,ra,ab)F('- bc, ca^ ob)F[ bc, — r/7, ab ) F ( ^r, ca, —ab). La fonction A3, formée ci-dessus, en fournit un exemple simple.

Applications, — Pour appliquer les résultats précédents, lorsque les équations des deux coniques ['X>^) et [A^^) sont données en coordonnées de Descartes sous la forme générale,

alo^ = Ar' 4- / ' j' 4- /* 4- 2 m y -\-iLm'x-\-i m^xy = o, • alo, = /jX*-!-/' j'+Z", 4-2///, r--i-a///,x4-a///î j:j= o,

il suffit de remarquer que les quantités nommées ci-dessus a', ^^ c^ sont proportionnelles aux racines de Téquation

que nous écrirons ainsi

AX' — ^x'^-l\x — A,:^o,

en désignant par A, r, A, , r^ , des invariants bien connus du système des fonctions 0^0 et e\),. Nommant d*a il leurs respectivement P, 0> R la somme^ la somme des produits deux à deux, et le produit de ^,r,, c,//,, A,^,, on aura

p = 4rA, - r;, Q = r, [-- r; 4-2A.1T, - 2Aa;], R = [-rî4-aA,rr,-2AA;p,

et Ton sait que pour toute valeur impaire de /<, A„ est exprimable rationnellement en P, Q, R. On trouve ainsi

A3=P, A,= -F4-4PQ-4R, A,= -P-h4(PQ-R)(P~4R),

A, = PJP»-4(PQ-R)[3P«~4(3PQ--4R)P'-hi6(P'0'-3PQR4-3R»)]|.

D'autre part, une fois l'expression de A„ en P, Qi R connue, il suffira d'y

remplacer P, Q» R par P,, Q,, R, pour obtenir celle de -^» par P3, Qji

R3 pour avoir celle de --^ 7 en i)osant