# Annales de mathématiques pures et appliquées/Tome 15/Géométrie analitique, article 1
### Solution du premier des trois problèmes de géométrie énoncés à la page 308 du présent volume ;

PROBLÈME. Quel est le lieu des points du plan d’un triangle desquels menant des droites à ses sommets, puis, par ces mêmes sommets respectivement, des perpendiculaires à ces droites, ces perpendiculaires forment, par leur rencontre, un triangle circonscrit équivalant à un carré donné ?
Solution. Soit $k^{2}$ l’aire du carré donné.
Soit rapporté le triangle donné à deux axes rectangulaires quelconques, et soit alors $(x,y)$ le point dont on cherche le lieu. Soient en outre $(a,b),(a',b'),$$(a'',b''),$ les trois sommets du triangle donné, et $(X,Y),(X',Y'),(X'',Y''),$ les sommets respectivement opposés du triangle variable de figure et de situation dont l’aire doit être constante.
Ce dernier triangle excède le premier de trois autres triangles ayant respectivement pour bases les trois côtés de celui-ci et ayant pour sommets les sommets de l’autre.
Considérons, en particulier, celui dont le sommet est en $(X,Y),$ son aire est, comme l’on sait,
${\frac {1}{2}}\left\{(b'-b'')X-(a'-a'')Y+(a'b''-b'a'')\right\}.$
Mais, parce que les droites qui vont du point $(X,Y)$ aux points $(a',b'),(a'',b'')$ sont respectivement perpendiculaires à celles qui vont du point $(x,y)$ aux deux mêmes points, on doit avoir, par les théories connues,
$1+{\frac {y-b'}{x-a'}}.{\frac {Y-b'}{X-a'}}=0,\qquad 1+{\frac {y-b''}{x-a''}}.{\frac {Y-b''}{X-a''}}=0,$
c’est-à-dire,
${\begin{aligned}&(x-a')X+(y-b')Y=a'(x-a')+b'(y-b'),\\\\&(x-a'')X+(y-b'')Y=a''(x-a'')+b''(y-b'')\,;\end{aligned}}$
d’où
${\begin{aligned}&X={\frac {(y-b'')\left\{a'(x-a')+b'(y-b')\right\}-(y-b')\left\{a''(x-a'')+b''(y-b'')\right\}}{(b'-b'')x-(a'-a'')y+(a'b''-b'a'')}},\\\\&Y={\frac {(x-a')\left\{a''(x-a'')+b''(y-b'')\right\}-(x-a'')\left\{a'(x-a')+b'(y-b')\right\}}{(b'-b'')x-(a'-a'')y+(a'b''-b'a'')}}.\end{aligned}}$
En substituant ces valeurs dans l’expression de l’aire du triangle dont il s’agit, elle devient, en réduisant et décomposant,
${\frac {\left\{(a'-a'')(x-a')+(b'-b'')(y-b')\right\}\left\{(a'-a'')(x-a'')+(b'-b'')(y-b'')\right\}}{2\left\{(b'-b'')x-(a'-a'')y+(a'b''-b'a'')\right\}}}.$
Par un simple mouvement d’accens, on trouvera, pour les aires des deux autres triangles excédans
${\frac {\left\{(a''-a)(x-a'')+(b''-b)(y-b'')\right\}\left\{(a''-a)(x-a)+(b''-b)(y-b)\right\}}{2\left\{(b''-b)x-(a''-a)y+(a''b-b''a)\right\}}},$
${\frac {\left\{(a-a')(x-a)+(b-b')(y-b)\right\}\left\{(a-a')(x-a')+(b-b')(y-b')\right\}}{2\left\{(b-b')x-(a-a')y+(ab'-ba')\right\}}}\,;$
d’un autre côté, l’aire du triangle donné est
${\frac {1}{2}}\left\{(a'b''-b'a'')+(a''b-b''a)+(ab'-ba')\right\}\,;$
en égalant donc à $k^{2}$ la somme de ces quatre expressions, on obtiendra l’équation de la courbe cherchée.
Présentement, pour simplifier un peu nos résultats, plaçons l’origine au sommet $(a'',b'')$ du triangle donné, en laissant d’ailleurs toujours aux axes une direction arbitraire, afin de ne pas trop sacrifier la symétrie à la simplicité. En désignant par $c,c'$ les deux côtés qui concourent à ce sommet et par $\alpha ''$ l’angle compris, on aura, comme l’on sait
${\begin{array}{lll}a''=0,&a^{2}-b\,^{2}+c'^{2},&ab'-ba'=cc'\operatorname {Sin} .\alpha '',\\\\b''=0,&a^{2}+b'^{2}+c^{2},&aa'+bb'=cc'\operatorname {Cos} .\alpha ''\,;\end{array}}$
en conséquence l’équation de la courbe sera
$\left.{\begin{aligned}&cc'\operatorname {Sin} .\alpha ''+{\frac {(a'x+b'y)\left(a'x+b'y-c^{2}\right)}{b'x-a'y}}-{\frac {(ax+by)\left(ax+by-c'^{2}\right)}{bx-ay}}\\\\+&{\frac {\left\{(a-a')x+(b-b')y-c'(c'-c\operatorname {Cos} .\alpha '')\right\}\left\{(a-a')x+(b-b')y+c(c-c'\operatorname {Cos} .\alpha '')\right\}}{(b-b')x-(a-a')y+cc'\operatorname {Sin} .\alpha ''}}\end{aligned}}\right\$
En réduisant tout le premier membre en une seule fraction, et ayant toujours égard aux relations ci-dessus, on trouve finalement
${\frac {\left\{cc'\left(x^{2}+y^{2}\right)\operatorname {Sin} .\alpha ''+c^{2}(bx-ay)-c'^{2}(b'x-a'y)\right\}^{2}}{(bx-ay)(b'x-a'y)\left\{(b-b')x-(a-a')y+cc'\operatorname {Sin} .\alpha ''\right\}}}=2k^{2}\,;$
le lieu cherché du point $(x,y)$ est donc une ligne du quatrième ordre.
Il est aisé de voir que cette courbe passe par l’origine ; et, comme cette origine est un quelconque des sommets du triangle donné, il s’ensuit qu’elle doit passer par les trois sommets de ce triangle et quelle doit conséquemment lui être circonscrite. Cette circonstance, au surplus, était facile à prévoir. En prenant, en effet, un des sommets pour le point $(x,y),$ la direction de l’une des trois droites qui doivent concourir à former le triangle dont l’aire doit être égale à $k^{2}$ demeurera indéterminée ; d’où il suit qu’on pourra toujours prendre cette direction telle que la condition soit remplie.
Il est même facile de voir que la courbe passera deux fois par chaque sommet, puisque les termes les moins élevés de son équation sont de deux dimensions en $x$ et $y$. En ne conservant que ces seuls termes, l’équation résultante du second degré sera donc l’équation des deux tangentes à la courbe à l’origine. Cette équation est
$\left\{c^{2}(bx-ay)-c'^{2}(b'x-a'y)\right\}^{2}=2cc'k^{2}(bx-ay)(b'x-a'y)\operatorname {Sin} .\alpha ''.$
On doit observer que, comme géométriquement parlant, une surface n’est proprement susceptible d’aucun signe, $k^{2}$ peut être pris indistinctement en plus ou en moins ; de sorte qu’il y a proprement deux lignes du quatrième ordre, l’une et l’autre circonscrites au triangle donné, dont les points satisfont aux conditions du problème.
Si, au lieu de demander que les perpendiculaires menées par les sommets du triangle donné aux droites qui vont du point $(x,y)$ à ces mêmes sommets interceptent un triangle équivalant à un carré donné, on exigeait que ces perpendiculaires concourussent en un même point, il suffirait, pour plier l’équation générale à cette circonstance, d’y supposer $k^{2}=0.$ Elle deviendrait simplement
$cc'(x^{2}+y^{2})\operatorname {Sin} .\alpha ''+c^{2}(bx-ay)-c'^{2}(b'x-a'y)=0,$
équation qui appartient à un cercle ; et, comme alors la courbe ne cesse pas de passer par les trois sommets du triangle donné, il s’ensuit que cette courbe n’est autre chose, dans ce cas, que le cercle circonscrit à ce triangle, comme on pourrait d’ailleurs s’en assurer directement. On peut aussi s’assurer bien facilement par des considérations purement géométriques qu’en effet si, de l’un quelconque des points de la circonférence circonscrite à un triangle, on mène des droites à ses sommets, les perpendiculaires menées respectivement à ces droites par ces mêmes sommets concourront en un autre point de cette circonférence, diamétralement opposé au premier.
Si, au contraire, on exigeait que l’aire $k^{2}$ fut infinie, il serait nécessaire et il suffirait pour cela que l’un quelconque des facteurs du dénominateur du premier membre de l’équation fût nul ; mais ces facteurs, égalés à zéro, ne sont autre chose que les équations des trois côtés du triangle donné ; donc, pour que l’aire constante cherchée soit infinie, il est nécessaire et il suffit que le point $(x',y')$ soit pris sur la direction de l’un des côtés du triangle donné ; ce qui est d’ailleurs manifeste, puisqu’alors deux des côtés du triangle circonscrit seraient parallèles, et qu’ils ne peuvent l’être que dans ce seul cas.
Considérons encore le cas où l’aire du triangle donné serait nulle, c’est-à-dire, le cas où les trois points $(a,b),(a',b'),(a'',b'')$ appartiendraient à une même ligne droite ; mais, pour plus de symétrie, recourons à nos premières formules. En supposant ces trois points sur l’axe des $x,$ nous aurons $b=0,\ b'=0,\ b''=0,$ et les aires de nos trois triangles excédans deviendront
${\begin{aligned}&-{\frac {(a'-a'')(x-a')(x-a'')}{2y}},\\\\&-{\frac {(a''-a)(x-a'')(x-a)}{2y}},\\\\&-{\frac {(a-a')(x-a)(x-a')}{2y}},\end{aligned}}$
et, comme d’un autre côté l’aire du triangle donné est nulle, l’équation du lieu cherché sera simplement
$(a'-a'')(x-a')(x-a'')+(a''-a)(x-a'')(x-a)$
$+(a-a')(x-a)(x-a')+2k^{2}y=0\,;$
équation qui se réduit à
$2k^{2}y+a'a''(a'-a'')+a''a(a''-a)+aa'(a-a')=0,$
ou encore à
$2k^{2}y=(a-a')(a'-a'')(a''-a),$
dans laquelle $a-a',\ a'-a'',\ a''-a$ ne sont autre chose que les distances entre les trois points donnés pris deux à deux.
Ainsi, les points du plan d’une droite desquels menant des droites à trois points fixes pris sur cette dernière droite, et ensuite respectivement par ces trois mêmes points fixes des perpendiculaires à ces droites, ces perpendiculaires interceptent entre elles un triangle équivalant à un carré donne sont les points d’une parallèle indéfinie à la droite qui contient les trois points fixes. La distance de cette parallèle à la droite sur laquelle les trois points fixes sont situés est la moitié du quotient de la division du produit des distances deux à deux entre les trois points fixes par l’aire du carré donné.
Il faut encore se rappeler ici qu’à cause du double signe dont $k^{2}$ est susceptible, la parallèle à la droite qui contient les trois points fixes peut être indistinctement menée de côté ou d’autre de cette droite.