# Annales de mathématiques pures et appliquées/Tome 09/Géométrie élémentaire, article 4
## GÉOMÉTRIE ÉLÉMENTAIRE.
### Recherches diverses de géométrie plane ;

Problème. Étant données les trois hauteurs d’un triangle ; construire le triangle ?
Solution. Ce problème a été traité par M. Carnot dans sa Géométrie de position (pag. 371 et suiv., prob. XXXVI). On va voir qu’on peut en obtenir une solution beaucoup plus simple que la sienne.
Pour parvenir à cette solution, considérons les deux triangles $\mathrm {ABC} ,abc$ (fig. 1), dont le premier est supposé le triangle inconnu qu’il s’agit de construire, au moyen de ses trois hauteurs connues $\mathrm {AA',BB',CC'} ,$ tandis que l’autre est un triangle de dimensions arbitraires, supposé seulement semblable à celui-là ; et dont les trois hauteurs sont $aa',bb',cc'.$
À cause de la similitude des deux triangles, et parce que, de plus, dans un même triangle, les hauteurs sont en raison inverse des bases, on aura
${\rm {AA':CC'}}::aa':cc'::ab:bc=ab.{\rm {{\frac {CC'}{AA'}},}}$
${\rm {BB':CC'}}::bb':cc'::ab:ac=ab.{\rm {{\frac {CC'}{BB'}}\,;}}$
or, les rapports ${\rm {{\frac {CC'}{AA'}},{\frac {CC'}{BB'}}}}$ sont connus ; prenant donc arbitrairement le côté $ab$ du triangle $acb,$ on pourra, par des quatrièmes proportionnelles, déterminer les deux autres ; ce triangle $acb$ pourra donc être construit, et, par suite, on pourra construire ses trois hauteurs $aa',bb',cc'\,;$ ces hauteurs, une fois connues, on déterminera les trois côtés du triangle ${\rm {ABC}}$ par ces proportions,
${\begin{aligned}&aa':bc::{\rm {AA':BC=AA'}}.{\frac {bc}{aa'}},\\\\&bb':ca::{\rm {BB':CA=BB'}}.{\frac {ca}{bb'}},\\\\&cc':ab::{\rm {CC':AB=CC'}}.{\frac {ab}{cc'}},\\\end{aligned}}$
le problème se trouvera donc ainsi complètement résolu.
THÉORÈME. Soient ${\rm {A,A',A''}}$ les trois sommets d’un triangle ; et ${\rm {AP,A'P',A''P''}}$ ses trois hauteurs, se coupant, comme l’on sait, en un même point ${\rm {C,}}$ on aura cette suite de rapports égaux
${\rm {{\frac {AA'.A'A''.A''A}{A''P''.AP.A'P'}}={\frac {AC.A'C.A''C}{A''P'.AP''.A'P}}={\frac {AC.A'C.A''C}{A'P''.A''P.AP'}}.}}$
Démonstration. Les triangles
${\rm {APA',APA'',A'P'A'',A'P'A,A''P''A,A''P''A',}}$
sont respectivement semblables aux triangles
${\rm {AP''C,AP'C,A'PC,A'P''C,A''P'C,A''PC,}}$
(fig. 2) puisque les uns et les autres sont rectangles et ont de plus un angle commun ; on a donc
${\begin{array}{rrr}{\rm {{\frac {AA'}{AP}}=\ {\frac {AC}{AP''}},}}&{\rm {{\frac {A''A}{AP}}=\ \ {\frac {AC}{AP'}},}}&{\rm {{\frac {A'A''}{A'P'}}=\ {\frac {A'C}{A'P}},}}\\\\{\rm {{\frac {AA'}{A'P'}}={\frac {A'C}{A'P''}},}}&{\rm {{\frac {A''A}{A''P''}}={\frac {A''C}{A''P'}},}}&{\rm {{\frac {A'A''}{A''P''}}={\frac {A''C}{A''P}}.}}\end{array}}$
équations qui, étant multipliées membre à membre, donneront
${\rm {{\frac {{\overline {AA'}}^{2}.{\overline {A'A''}}^{2}.{\overline {AA''}}^{2}}{{\overline {AP}}^{2}.{\overline {A'P'}}^{2}.{\overline {A''P''}}^{2}}}={\frac {{\overline {AC}}^{2}.{\overline {A'C}}^{2}.{\overline {A''C}}^{2}}{\rm {AP'.A'P''.A''P.A'P.A''P'.AP''}}}\,;}}$
mais, d’après un théorème connu (voyez, en particulier, la Théorie des transversales de M. Carnot), on a
${\rm {AP'.A'P''.A''P=A'P.A''P'.AP''\,;}}$
donc
${\rm {{\frac {{\overline {AA'}}^{2}.{\overline {A'A''}}^{2}.{\overline {A''A}}^{2}}{{\overline {A''P''}}^{2}.{\overline {AP}}^{2}.{\overline {A'P'}}^{2}}}={\frac {{\overline {AC}}^{2}.{\overline {A'C}}^{2}.{\overline {A''C}}^{2}}{{\overline {A'P''}}^{2}.{\overline {A''P}}^{2}.{\overline {A'P}}^{2}}}={\frac {{\overline {AC}}^{2}.{\overline {A'C}}^{2}.{\overline {A''C}}^{2}}{{\overline {A''P'}}^{2}.{\overline {AP''}}^{2}.{\overline {A'P}}^{2}}}}}$
d’où, en extrayant la racine quarrée ; on conclura le théorème énoncé,
THÉORÈME. Soit pris arbitrairemtnt sur le plan d’un triangle ${\rm {ABC}}$ un point ${\rm {P,}}$ par lequel soient menées les droites ${\rm {AP,BP,}}$ ${\rm {CP,}}$ dont les prolongemens rencontrent respectivement en ${\rm {A',B',C'}}$ les directions, ${\rm {BC,CA,AD\,;}}$ soit formé le triangle ${\rm {A'B'C'}}$ dont les côtés ${\rm {B'C',C'A',A'B',}}$ sont coupés respectivement en ${\rm {A'',B'',C'',}}$ par ${\rm {PA,PB,PC\,;}}$ soit formé le triangle ${\rm {A''B''C'',}}$ dont les côtés ${\rm {B''C'',C''A'',A''B'',}}$ sont coupés respectivement en ${\rm {A''',B''',C'''}}$ par les droites ${\rm {PA,PB,PC,}}$ et ainsi de suite.
1.$^o$ Les droites ${\rm {BC,B'C',B''C'',B'''C''',\ldots }}$ concourront en un même point $a\,;$ les droites ${\rm {CA,C'A',C''A'',C'''A''',\ldots }}$ concourront en un même point $b\,;$ et les droites ${\rm {AB,A'B',A''B'',A'''B''',\ldots }}$ concourront en un même point $c.$
2.$^o$ Les trois points de concours $a,b,c,$ appartiendront à une même ligne droite.
Démonstration. Par un théorème connu, si $a,b,c,$ sont respectivement les points de concours de ${\rm {BC}}$ et ${\rm {B'C',}}$ de ${\rm {CA}}$ et ${\rm {C'A',}}$ de ${\rm {AB}}$ et ${\rm {A'B',}}$ ces trois points $a,b,c$ seront en ligne droite. En outre, chacun des triangles de la série indéfinie ${\rm {ABC,A'B'C',A''B''C'',A'''B'''C''',\ldots }}$ se trouvant dépendre de la même manière de celui qui le précède, tout se réduira à prouver que ${\rm {B''C''}}$ passe par $a,$ ${\rm {C''A'''}}$ par $b,$ et ${\rm {A''B''}}$ par $c\,;$ ou plutôt à démontrer simplement que ${\rm {B''C''}}$ passe par $a,$ puisque les trois côtés du triangle ${\rm {A''B''C''}}$ se trouvent dans des circonstances absolument semblables.
Il s’agit simplement de prouver qu’une droite menée par ${\rm {B''}}$ et par $a$ (fig. 3) doit passer par ${\rm {A''.}}$ Pour y parvenir, remarquons que les deux droites ${\rm {CB}}a$ et ${\rm {B'C'}}a,$ qui se coupent en $a,$ d’après l’hypothèse, forment, avec les deux droites ${\rm {BB',C'A',}}$ le quadrilatère complet ${\rm {B'C'}}a{\rm {BA'B''B',}}$ dont les trois diagonales sont ${\rm {B''}}a,{\rm {BC',A'B'\,;}}$ or, il est connu que l’une quelconque des diagonales d’un quadrilatère complet est coupée harmoniquement par les deux autres (voyez la Théorie des transversales de M. Carnot) ; donc le point de rencontre $c$ de ${\rm {BC'}}$ ou ${\rm {BA}}$ avec ${\rm {A'B',}}$ et le point de rencontre du prolongement de $a{\rm {B''}}$ avec la même droite ${\rm {A'B',}}$ sont ceux où la diagonale ${\rm {A'B'}}$ est divisée harmoniquement. Mais la figure ${\rm {AB'CA'BPA}}$ est aussi un quadrilatère complet, dont les trois diagonales sont ${\rm {A'B,A'B',CP\,;}}$ par conséquent, la diagonale ${\rm {A'B'}}$ est divisée harmoniquement aux points $c$ et ${\rm {C''\,;}}$ donc la droite $a{\rm {B''}}$ doit passer par le point ${\rm {C'',}}$ et l’on démontrerait la même chose pour les deux autres.
THÉORÈME. Soit un quadrilatère complet dont les quatre côtés soient ${\rm {ABC',BCA',CAB',A'B'C',}}$ et dont les trois diagonales soient conséquemment ${\rm {AA',BB',CC'.}}$ Soient de plus, $a$ l’intersection de ${\rm {BB'}}$ et ${\rm {CC',}}$ $b$ l’intersection de ${\rm {CC'}}$ et ${\rm {AA',}}$ $c$ celle de ${\rm {AA'}}$ et ${\rm {BB'\,;}}$ concevons, en outre, que les trois diagonales soient indéfiniment prolongées ; et soit enfin une droite fixe et indéfinie ${\rm {MN,}}$ donnée arbitrairement sur le plan du quadrilatère.
Par les deux extrémités de chacune des diagonales soient menées des parallèles à la droite fixe ${\rm {MN,}}$ prolongées jusqu’à leur rencontre avec les deux autres diagonales.
Chaque diagonale, les parallèles partant de ses deux extrémités et l’une quelconque des deux autres diagonales seront quatre droites dont l’ensemble formera un quadrilatère simple, dont on pourra mener les deux diagonales, lesquelles se couperont en un certain point.
Or, comme chacune des trois diagonales ${\rm {AA',BB',CC'}}$ du quadrilatère complet, combinée tour-à-tour avec les deux autres, donnera naissance à deux de ces quadrilatères simples ; il arrivera qu’ils seront en tout au nombre de six.
Cependant les intersections des diagonales de ces six quadrilatères simples ne seront qu’au nombre de trois seulement, c’est-à-dire, que pour les deux quadrilatères dont un côté sera segment d’une même diagonale et dont les côtés opposés seront les deux autres diagonales entières, les quatre diagonales se couperont au même point.
Soit $x$ le point commun d’intersection des quatre diagonales des deux quadrilatères simples qui, s’appuyant sur ${\rm {AA',}}$ ont pour leurs côtés opposés ${\rm {BB',CC'.}}$
Soit $y$ le point commun d’intersection des quatre diagonales des deux quadrilatères simples qui, s’appuyant sur ${\rm {BB',}}$ ont pour leurs côtés opposés ${\rm {CC',AA'.}}$
Soit enfin $z$ le point commun d’intersection des quatre diagonales des deux quadrilatères simples qui, s’appuyant sur ${\rm {CC',}}$ ont pour leurs côtés opposés ${\rm {AA',BB'.}}$
Si l’on mène les droites $ax,by,cz,$ elles seront parallèles entre elles et à la droite fixe ${\rm {MN.}}$
En outre, les points $a,b,c$ seront respectivement en ligne droite avec $y$ et $z,\ z$ et $x,\ x$ et $y$.
Démonstration. On s’assurera facilement de la vérité de ce théorème en remarquant que la détermination de chacun des points $x,y,z,$ du point $x,$ par exemple, revient à celle que donne M. Brianchon, dans son Mémoire sur les lignes du second ordre, où il propose (Art. LIV) de décrire une hyperbole qui touche quatre droites données ; et qui ait l’une de ses asymptotes parallèle à une droite donnée de position ; car, si nous supposons que les quatre droites ${\rm {BC',CB',BC,BC'}}$ (fig. 4) soient les tangentes données à l’hyperbole cherchée, qui doit avoir en outre, une de ses asymptotes parallèle à la droite ${\rm {MN\,;}}$ la parallèle à cette dernière droite conduite par ${\rm {B,}}$ rencontrera la courbe cherchée en un point que nous représenterons par ${\rm {U,}}$ et qui sera situé à l’infini ; on connaîtra donc quatre tangentes et un point de l’hyperbole cherchée ; on pourra donc la construire d’après l’article LI de l’ouvrage cité. Pour cela, il faudra joindre le point $a$ au point ${\rm {U,}}$ c’est-à-dire, mener par $a$ une parallèle $ax$ à ${\rm {MN,}}$ puis mener par ${\rm {B}}$ l’une des diagonales du quadrilatère simple qui, ayant ${\rm {BB'}}$ pour l’un de ses deux côtés non parallèles, a son opposé sur ${\rm {AA'\,;}}$ et le point $x$ de rencontre de cette droite avec la première sera un des points de la courbe. Or, on aurait tout aussi bien pu mener l’autre diagonale du quadrilatère ; et son intersection avec $ax$ aurait été également un point de la courbe ; or, cette cette courbe, ayant déjà un point ${\rm {U}}$ sur $ax$ n’en saurait avoir deux autres sur cette droite ; donc, l’autre diagonale doit également passer par le point $x,$ qui est évidemment le milieu de la portion de la parallèle à ${\rm {MN}}$ conduite par $a,$ interceptée entre ${\rm {AA'}}$ et ${\rm {BB'\,;}}$ ce qui démontre la première partie de notre théorème, et en même temps le théorème LIV de l’ouvrage de M. Brianchon. Il est clair, d’ailleurs, qu’on pourrait faire le même raisonnement sur l’intersection des deux diagonales du quadrilatère simple qui, ayant ${\rm {CC'}}$ pour l’un de ses côtés, a aussi son opposé sur ${\rm {AA',}}$ et qu’ainsi cette intersection doit se confondre avec le point $x$ qui se trouve ainsi l’intersection des quatre diagonales de deux quadrilatères simples et d’une parallèle à ${\rm {MN}}$ conduite par $a.$ On démontrerait évidemment des choses analogues des points $y,z.$ Quant à la seconde partie du théorème, on voit que les trois points $x,y,z$ appartenant avec le point ${\rm {U}}$ à la section conique qui touche à la fois les quatre droites ${\rm {B'C',B'C,BC,CB',}}$ il résulte de l’article XXIII de l’ouvrage cité que deux quelconques de ces trois points sont toujours en ligne droite avec un des trois points $a,b,c.$
THÉORÈME. Si l’on prolonge, dans un même sens, les trois côtés d’un triangle ${\rm {ABC,}}$ des quantités ${\rm {BC',CA',AB',}}$ respectivement égales aux côtés consécutifs ${\rm {{BC,CA,AB}\,;}}$ que l’on prolonge les mêmes côtés en sens inverse, des quantités ${\rm {AC'',CB'',BA''}}$ respectivement égales aux côtés consécutifs ${\rm {AC,CB,BA}}$ ; que l’on mène les six droites ${\rm {AA',BB',CC',AA'',BB'',}}$${\rm {CC'',}}$ et qu’enfin on mène les trois droites ${\rm {A}}a,{\rm {B}}b,{\rm {C}}c$ divisant les angles du triangle en deux parties égales, et se terminant en ${\rm {a,b,c,}}$ aux côtés opposés, on aura
${\frac {\rm {AA'.BB'.CC'}}{{\rm {A}}a.{\rm {B}}b.{\rm {C}}c}}={\frac {\rm {AA''BB''.CC''}}{{\rm {A}}a.{\rm {B}}b.{\rm {C}}c}}={\rm {{\frac {BC+CA}{AB}}.{\frac {CA+AB}{BC}}.{\frac {AB+BC}{CA}}.}}$
Démonstration. Par la construction (fig. 5), les droites ${\rm {AA',BB',CC'}}$ sont respectivement parallèles aux droites ${\rm {BB'',CC'',AA'',}}$ d’où il résulte que les triangles ${\rm {ACA',BAB',CBC'}}$ sont respectivement semblables aux triangles ${\rm {BCB'',CAC'',ABA'',}}$ et qu’ainsi on a
${\rm {{\frac {AA'}{BB''}}={\frac {CA}{BC}},\qquad {\frac {BB'}{CC''}}={\frac {AB}{CA}},\qquad {\frac {CC'}{AA''}}={\frac {BC}{AB}}\,;}}$
ce qui donne, en multipliant,
${\rm {{\frac {AA'.BB'.CC'}{AA''.BB''.CC''}}=1,}}$
ou
${\rm {AA'.BB'.CC'=AA''.BB''.CC'',}}$
et démontre ainsi la première partie de la double égalité ci-dessus.
Par la même construction, les droites ${\rm {A}}a,{\rm {B}}b,{\rm {C}}c$ sont respectivement parallèles aux droites ${\rm {{BB',CC',AA'}\,;}}$ d’où, il résulte que les triangles ${\rm {CBB',BAA',ACC'}}$ sont respectivement semblables aux triangles ${\rm {C}}a{\rm {{A},}}$${\rm {B}}c{\rm {C,A}}b{\rm {B,}}$ et qu’ainsi on a
${\frac {\rm {BB'}}{{\rm {A}}a}}={\rm {{\frac {CB'}{CA}},\qquad {\frac {\rm {AA'}}{{\rm {C}}c}}={\rm {{\frac {BA'}{BC}},\qquad {\frac {\rm {CC'}}{{\rm {B}}b}}={\rm {{\frac {AC'}{AB}}\,;}}}}}}$
ce qui donne, en multipliant
${\frac {\rm {AA'.BB'.CC'}}{{\rm {A}}a.{\rm {B}}b.{\rm {C}}c}}={\rm {{\frac {BA'.CB'.AC'}{AB.BC.CA}},}}$
mais, d’après la construction, on a
${\rm {BA'=BC+CA,\qquad CB'=CA+AB,\qquad AC'=AB+BC\,;}}$
donc enfin
${\frac {\rm {AA'.BB'.CC'}}{{\rm {A}}a.{\rm {B}}b.{\rm {C}}c}}={\rm {{\frac {BC+CA}{AB}}.{\frac {CA+AB}{BC}}.{\frac {AB+BC}{CA}}\,;}}$
ce qui démontre la seconde partie de notre double égalité.
Soient ${\rm {B,B',B'',}}$ respectivement, les points où les côtés ${\rm {A'A'',A''A,}}$${\rm {AA'}}$ d’un triangle ${\rm {AA'A''}}$ sont rencontrés par les droites qui, partant de ses sommets, divisent ses angles en deux parties égales. Suivant un théorème connu (voyez la Géométrie de M. Legendre) ; on aura
${\rm {AA'.AA''={\overline {AB}}^{2}+A'B.A''B\,;}}$
on aura de plus, par un autre théorème connu ;
${\rm {AA':AA''::A'B:A''B,}}$
et par suite
${\rm {AA'+AA'':A'B+A''B::AA':A'B::AA'':A''B\,;}}$
ou
${\rm {AA'+AA'':A'A''::AA':A'B::AA'':A''B}}$
de cette double proportion on tirera
${\rm {A'B={\frac {AA'.A'A''}{AA'+AA''}},\qquad A''B={\frac {AA''.A'A''}{AA'+AA''}}\,;}}$
substituant ces deux valeurs dans la première équation on en tirera
${\rm {{\overline {AB}}^{2}=AA'.AA''-{\frac {AA'.AA''.{\overline {A'A''}}^{2}}{(AA'+AA'')^{2}}}\,;}}$
ou encore
${\rm {{\overline {AB}}^{2}=AA'.AA''.{\frac {(AA'+AA'')^{2}-{\overline {A'A''}}^{2}}{(AA'+AA'')^{2}}}}}$
${\rm {=AA'.AA''.{\frac {(AA'+AA''+A'A'')(AA'+AA''-A'A'')}{(AA'+AA'')^{2}}}}}$
Cela posé, désignons simplement par $c,c',c''$ les trois côtés d’un triangle et par $d,d',d''$ les droites qui, divisant ses angles en deux parties égales, se terminent aux côtés opposés ; nous aurons, par ce qui précède
${\begin{aligned}&d\ ^{2}=c'c''.{\frac {(c+c'+c'')(c'+c''-c)}{(c'+c'')^{2}}},\\\\&d'\,^{2}=c''c.{\frac {(c+c'+c'')(c''+c-c')}{(c''+c)^{2}}},\\\\&d''^{2}=cc'.{\frac {(c+c'+c'')(c+c'-c'')}{(c+c')^{2}}},\end{aligned}}$
prenant donc la racine quarrée du produit de ces trois équations il viendra
${\frac {dd'd''}{cc'c''}}={\frac {(c+c'+c''){\sqrt {(c+c'+c'')(c'+c''-c)(c''+c-c')(c+c'-c'')}}}{(c'+c'')(c''+c)(c+c')}}\,;$
équation qui donne, sous une forme élégante, le produit des droites qui divisent les angles d’un triangle en deux parties égales, en fonction des côtés de ce triangle.
On peut simplifier cette équation en remarquant que le radical du second membre est le quadruple de l’aire du triangle. En représentant ainsi cette aire par $T,$ il vient
${\frac {dd'd''}{cc'c''}}={\frac {4(c+c'+c'')T}{(c'+c'')(c''+c)(c+c')}}.\qquad$
On peut, dans cette dernière expression, introduire le rayon du cercle circonscrit ; on sait, en effet, qu’en représentant ce rayon par $R,$ on a $cc'c''=4TR,$ ce qui donne, en substituant,
$dd'd''={\frac {16(c+c'+c'')RT^{2}}{(c'+c'')(c''+c)(c+c')}}.\qquad$
Si l’on veut y introduire, au contraire, le rayon du cercle inscrit, en le désignant par $r,$ il suffira de se rappeler que $2T=r(c+c'+c''),$ ce qui donnera
$dd'd''={\frac {32RT^{3}}{r(c'+c'')(c''+c)(c+c')}}.\qquad$
Si l’on désigne par $p,p',p''$ les trois hauteurs du triangle, on aura
$2T=cp,\qquad 2T=c'p',\qquad 2T=c''p'',$
d’où
$8T^{3}=cc'c''pp'p''=4pp'p''TR\,;$
substituant donc, dans la dernière expression, elle deviendra
$dd'd''={\frac {16pp'p''TR^{2}}{r(c'+c'')(c''+c)(c+c')}}.\qquad$
En comparant cette dernière formule à la formule (3) ; on en déduit
$(c+c'+c'')rT=pp'p''R\,;$
et par suite
$2T^{2}=Rpp'p''\,;\qquad$
relation remarquable par sa simplicité.
Il est d’ailleurs connu qu’en désignant par $r,r',r'',r'''$ les rayons des quatre cercles qui touchent à la fois les trois côtés du triangle, on a $rr'r''r'''=T^{2}\,;$ substituant donc, dans cette dernière formule, elle deviendra
$2rr'r''r'''=pp'p''R\,;\qquad$
formule également digne d’être remarquée.
* ↑ Ce problème est un des 95 qui ont été proposés à la page 315 du VIII.e volume de ce recueil. J. D. G.
* ↑ Soient $a,a',a''$ les trois hauteurs données, et $x,x',x''$ les trois côtés inconnus du triangle cherché. Nous aurons $ax=a'x'=a''x''.$ Avec ses trois hauteurs prise comme côté, soit construit un triangle $aa'a''$ dont les hauteurs soient $b,b',b''$ ; nous aurons encore $ab=a'b'=a''b''.$ Enfin, avec les trois hauteurs $b,b',b''$ de celui-ci, construisons-en un troisième, dont les trois hauteurs soient $c,c',c''$ ce qui nous donnera $bc=b'c'=b''c''\,;$ En divisant l’une par l’autre, les deux premières suites d’égalités, on aura ${\frac {x}{b}}={\frac {x'}{b'}}={\frac {x''}{b''}}\,;$ le triangle $bb'b''$ est donc semblable au triangle $xx'x''\,;$ ses hauteurs $c,c',c'',$ doivent donc être proportionnelles aux hauteurs $aa'a''$ de celui-là, on doit donc avoir ${\frac {x}{a}}={\frac {b}{c}},\qquad {\frac {x'}{a'}}={\frac {b'}{c'}},\qquad {\frac {x''}{a''}}={\frac {b''}{c''}}\,;$ d’où $x={\frac {ab}{c}},\qquad x'={\frac {a'b'}{c'}},\qquad x''={\frac {a''b''}{c''}},$ ce qui fournit une construction assez élégante. Au surplus, la construction peut être réduite à ce qui suit : Avec les trois hauteurs données, prises pour côtés, formez un triangle, dont vous menerez les trois hauteurs ; avec ces trois nouvelles hauteurs, prises également pour côtés, formez un second triangle, dont vous menerez une seule hauteur quelconque ; et prolongez-la au-dessous de la base, de manière qu’elle devienne égale à la hauteur correspondante du triangle cherché. En menant, par l’extrémité de ce prolongement, une parallèle à la base, elle formera, avec les deux outras côtés prolongés, le triangle demandé. J. D. G.
* ↑ On peut aussi parvenir, assez simplement, à la démonstration de ce théorème à l’aide des considérations suivantes. Soient considérés le triangle ${\rm {ABC}}$ comme la perspective d’un triangle équilatéral, et le ${\rm {P}}$ comme la perspective de son centre, ce qui est permis ; les droites ${\rm {BC,B'C',B''C'',\ldots }}$ seront des perspectives de droites parallèles, et devront conséquemment concourir en un même point $a.$ Pour la même raison, les droites ${\rm {CA,C'A',C''A'',\ldots }}$ concourent en un même point $b$ ; et les droites ${\rm {AB,A'B',A''B'',\ldots }}$ concourent en un même point $c.$ Soient présentement considérés les deux triangles ${\rm {ABC,A''B''C''}}$ comme les perspectives des deux bases d’un tronc de tétraèdre, à bases non parallèles ; ${\rm {P}}$ étant la perspective de son sommet. Alors les points $a,b,c$ seront les perspectives de ceux où les côtés de la base supérieure du tronc rencontrent leurs correspondans dans la base inférieure ; ce sera donc les perspectives de trois points de l’intersection des plans des deux bases ; et conséquemment ils devront être en ligne droite, comme ces trois points eux-mêmes. J. D. G.
* ↑ M. Vecten aurait pu considérer aussi les trois quadrilatères simples que forme chaque couple de diagonales avec les parallèles à ${\rm {MN}}$ menées par les extrémités de la troisième. Appelant $x'$ l’intersection des diagonales de celui dont les côtés parallèles passent par ${\rm {A,A'\,;}}$ appelant $y'$ l’intersection des diagonales de celui dont les côtés parallèles passent par ${\rm {B,B',}}$ et appelant enfin $z'$ l’intersection des deux diagonales de celui dont les côtés parallèles passent par ${\rm {CC'\,;}}$ il arrive que $x',y',z'$ sont respectivement sur les droites $yza,zxb,xyc.$ M. Vecten aurait pu ajouter encore que tout ce qui précède ne cesse pas d’être vrai, lorsque les droites, au lieu d’être parallèles à une droite fixe concourent en un point fixe quelconque. Tout cela paraît pouvoir se démontrer facilement, au moyen, de ce qui a été dit à la page 183 du VII.e volume de ce recueil. J. D. G.