# Annales de mathématiques pures et appliquées/Tome 14/Géométrie transcendante, article 4
### Seconde solution, présentant la démonstration d’un théorème ;

I. Avant d’entrer en matière, nous rappellerons d’abord un théorème très-connu, et qui se trouve, en particulier, démontré à la page 269 du XIII.e volume du présent recueil, lequel consiste en ce que l’aire de toute figure fermée quelconque, tracée sur la surface convexe d’un cône droit, multipliée par le sinus tabulaire de l’angle générateur du cône, donne un produit égal à l’aire de la projection de cette figure sur un plan quelconque perpendiculaire à l’axe.
II. Avant de nous occuper du problème proposé, occupons-nous d’abord de la solution de celui-ci : Connaissant l’angle générateur d’un cône droit, la distance du sommet à laquelle son axe est rencontré par un plan qui le coupe et l’angle que fait à plan coupant avec l’axe, déterminer les dimensions de la section qui en résulte ?
Concevons que le plan de la figure (fig. 11) soit le plan conduit par l’axe, perpendiculairement au plan coupant. Soient $\alpha$ l’angle générateur du cône, $k$ la distance de son sommet au point où le plan coupant rencontre son axe, et $\beta$ l’angle que fait ce plan axec l’axe.
Soient $\mathrm {S}$ le sommet de ce cône, $\mathrm {SCD}$ la direction de son axe $\mathrm {SGA}$ et $\mathrm {SBH}$ les droites suivant lesquelles sa surface est coupée par le plan de la figure, $\mathrm {GCH}$ l’intersection du même plan avec le plan coupant, et enfin $\mathrm {ACB}$ son intersection avec un plan conduit par le point $\mathrm {C}$ perpendiculairement à l’axe ; $\mathrm {GH}$ sera alors le premier axe de la section, et si, sur $\mathrm {AB}$ comme diamètre, on décrit un demi-cercle coupant l’axe en $\mathrm {D,\ CD=CA=CB} =k\operatorname {Tang} .\alpha$ sera évidemment l’ordonné correspondant aux deux segmens $\mathrm {CG}$ et $\mathrm {CH}$ de ce grand axe.
Ces choses ainsi entendues, les deux triangles $\mathrm {SCG}$ et $\mathrm {SCH}$ donnent
$\mathrm {CG} =k.{\frac {\operatorname {Sin} .\alpha }{\operatorname {Sin} .(gec|up)}},\qquad \mathrm {CH} =k.{\frac {\operatorname {Sin} .\alpha }{\operatorname {Sin} .(\beta -\alpha )}}\,;$
si donc on représente par $2a$ la longueur du premier axe, on aura
$2a=\mathrm {CG+CH} =k\left\{{\frac {\operatorname {Sin} .\alpha }{\operatorname {Sin} .(\beta +\alpha )}}+{\frac {\operatorname {Sin} .\alpha }{\operatorname {Sin} .(\beta -\alpha )}}\right\}$
$=2k{\frac {\operatorname {Sin} .\alpha \operatorname {Cos} .\alpha \operatorname {Sin} .\beta }{\operatorname {Sin} .(\beta +\alpha )\operatorname {Sin} .(\beta -\alpha )}},$
d’où
$a=k.{\frac {\operatorname {Sin} .\alpha \operatorname {Cos} .\alpha \operatorname {Sin} .\beta }{\operatorname {Sin} .(\beta +\alpha )\operatorname {Sin} .(\beta -\alpha )}}.$
En outre, en représentant par $2b$ le second axe, on devra avoir
$\mathrm {\frac {{\overline {CD}}^{2}}{CG.CH}} ={\frac {b^{2}}{a^{2}}},$
d’où
$b^{2}=a^{2}.\mathrm {\frac {{\overline {CD}}^{2}}{CG.CH}} \,;$
substituant donc, et extrayant la racine quarrée, on trouvera
$b=k.{\frac {\operatorname {Sin} .\alpha \operatorname {Sin} .\beta }{\sqrt {\operatorname {Sin} .(\beta +\alpha )\operatorname {Sin} .(\beta -\alpha )}}}.$
Si ensuite on désigne le paramètre par $p,$ on aura, comme l’on sait,
$p={\frac {2b^{2}}{a}}=2k\operatorname {Tang} .\alpha \operatorname {Sin} .\beta .$
Désignant encore par $e$ l’excentricité, on aura
$e^{2}=a^{2}-b^{2}=k^{2}.{\frac {\operatorname {Sin} .^{2}\alpha \operatorname {Sin} .^{2}\beta \operatorname {Cos} .^{2}\beta }{\operatorname {Sin} .^{2}(\beta +\alpha )\operatorname {Sin} .^{2}(\beta -\alpha )}},$
d’où
$e=k.{\frac {\operatorname {Sin} .\alpha \operatorname {Sin} .\beta \operatorname {Cos} .\beta }{\operatorname {Sin} .(\beta +\alpha )\operatorname {Sin} .(\beta -\alpha )}}\,;$
d’après quoi le rapport de l’excentricité au demi-grand axe sera
${\frac {e}{a}}={\frac {\operatorname {Cos} .\beta }{\operatorname {Cos} .\alpha }}.$
Si l’on désigne par $c$ la distance d’un sommet au foyer le plus voisin, on aura
$c=a-e=k.{\frac {\operatorname {Sin} .\alpha \operatorname {Sin} .\beta (\operatorname {Cos} .\alpha -\operatorname {Cos} .\beta )}{\operatorname {Sin} .(\beta +\alpha )\operatorname {Sin} .(\beta -\alpha )}},$
ou encore
$c={\frac {k}{2}}.{\frac {\operatorname {Sin} .\alpha \operatorname {Sin} .\beta }{\operatorname {Cos} .{\frac {1}{2}}(\beta +\alpha )\operatorname {Cos} .{\frac {1}{2}}(\beta -\alpha )}}.$
Dans la recherche de toutes ces formules, nous avons tacitement supposé que la section était elliptique, ou qu’on avait $\beta >\alpha \,;$ mais elles subsisteraient encore si la section était hyperbolique ou parabolique ; il arriverait seulement, dans le premier cas, que $b$ serait imaginaire, et dans le second que $a,b$ et $e$ seraient infinis.
Nous avons donc complètement résolu le problème que nous nous étions proposé, et des formules que nous avons obtenues, il serait aisé de conclure la solution de ce problème inverse : Par quel point de l’axe d’un cône droit et sous quel angle faut-il conduire un plan, pour qu’il en résulte une section conique de dimensions données ?
III. En nous occupant de la question proposée, nous avons rencontré un théorème assez curieux, que nous allons préalablement démontrer, et que l’on peut énoncer comme il suit :
THÉORÈME. Si l’on projette orthogonalement, sur un plan quelconque perpendiculaire à l’axe d’un cône droit, une section plane quelconque faite dans ce cône, le point d’intersection de son axe avec le plan de la projection sera le foyer de cette projection.
Démonstration. La démonstration de ce théorème est très-facile à déduire des formules précédemment obtenues. En désignant, en effet, par $2a'$ et $2b'$ les deux axes de la projection, nous aurons
$a'=a\operatorname {Sin} .\beta ,\qquad b'=b\,;$
c’est-à-dire, en substituant,
$a'=k.{\frac {\operatorname {Sin} .\alpha \operatorname {Cos} .\alpha \operatorname {Sin} .^{2}\beta }{\operatorname {Sin} .(\beta +\alpha )\operatorname {Sin} .(\beta -\alpha )}},\quad b'=k.{\frac {\operatorname {Sin} .\alpha \operatorname {Sin} .\beta }{\sqrt {\operatorname {Sin} .(\beta +\alpha )\operatorname {Sin} .(\beta -\alpha )}}}.$
En désignant donc par $e'$ l’excentricité de cette projection, nous aurons
$e'^{2}=a'^{2}-b'^{2}=k^{2}.{\frac {\operatorname {Sin} .^{4}\alpha \operatorname {Sin} .^{2}\beta \operatorname {Cos} .^{2}\beta }{\operatorname {Sin} .^{2}(\beta +\alpha )\operatorname {Sin} .^{2}(\beta -\alpha )}}\,;$
d’où
$e'=k.{\frac {\operatorname {Sin} .^{2}\alpha \operatorname {Sin} .\beta \operatorname {Cos} .\beta }{\operatorname {Sin} .(\beta +\alpha )\operatorname {Sin} .(\beta -\alpha )}},\quad$
$\quad {\frac {e'}{a'}}={\frac {\operatorname {Tang} .\alpha }{\operatorname {Tang} .\beta }}.$
Si ensuite on représente par $c'$ la distance d’un sommet au foyer le plus voisin, on aura
$c'=a'-e'=k.{\frac {\operatorname {Sin} .\alpha \operatorname {Sin} .\beta }{\operatorname {Sin} .(\beta +\alpha )}}=\mathrm {CG} \operatorname {Sin} .\beta \,;$
cette distance sera donc la projection de $\mathrm {CG}$ sur le plan dont il s’agit ; or, la projection de $\mathrm {G}$ sera le sommet de la courbe ; donc le point $\mathrm {C}$ en sera le foyer.
IV. Venons présentement à la question qui a été proposée ; et remarquons d’abord que, comme l’on sait déterminer la surface convexe et le volume du demi-cône dont l’onglet fait partie, toute la question se réduit à savoir évaluer la surface convexe et le volume de ce qui reste de ce demi-cône lorsqu’on en a retranché l’onglet. Il ne s’agit même que de la seule évaluation de la surface convexe de ce corps ; car, pour en avoir le volume, il suffit évidemment de multiplier cette surface par le tiers de la perpendiculaire abaissée du centre de la base du cône sur l’une quelconque de ses arêtes, laquelle a pour expression $k\operatorname {Sin} .\alpha .$
Mais, d’après ce que nous avons remarqué (I), pour avoir l’aire de cette surface, il suffit de diviser par $\operatorname {Sin} .\alpha$ l’aire de sa projection que nous venons de voir être une section conique dont le foyer est en $\mathrm {C} \,;$ la question se trouve donc ramenée à déterminer l’aire d’un segment de section conique qui a pour corde le paramètre.
Or, il est connu que, ${\frac {1}{n}}$ désignant le rapport de l’excentricité au demi-grand axe, et $a'$ ce demi-grand axe, l’aire d’un tel segment est, pour l’ellipse,
$a'^{2}\left\{\operatorname {Arc} .\left(\operatorname {Cos} .={\frac {1}{n}}\right)-{\frac {n^{2}-1}{n^{3}}}\right\}{\frac {\sqrt {n^{2}-1}}{n}},$
et pour l’hyperbole,
$a'^{2}\left\{{\frac {\sqrt {1-n^{2}}}{n^{2}}}-\operatorname {Log} .\left(1+{\sqrt {1-n^{2}}}\right)\right\}{\frac {\sqrt {1-n^{2}}}{n}}\,;$
quant à la parabole, en représentant par $c'$ la distance du sommet au foyer, l’aire du pareil segment sera
${\frac {4}{3}}c'^{2},$
en mettant donc, dans ces trois formules, pour $a'$ et $c',$ les valeurs déterminées ci-dessus, et observant qu’ici
$n={\frac {a'}{e'}}=\operatorname {Tang} .\beta \operatorname {Cot} .\alpha ,$
on aura l’aire du segment, pour les trois cas, en fonction des données du problème. Le quotient de sa division par $\operatorname {Sin} .\alpha$ donnera la surface convexe de ce qui reste du demi-cône lorsqu’on en a retranché l’onglet. Cette surface retranchée de celle du demi-cône sera donc la surface convexe de l’onglet, dont on obtiendra ensuite le volume, en la multipliant par ${\frac {1}{3}}k\operatorname {Sin} .\alpha$.
* ↑ Pour faciliter la comparaison entre cette solution et la précédente, nous ayons cru convenable d’y introduire les mêmes notations. J. D. G.
* ↑ Il serait curieux d’examiner si, en projetant obliquement une section faite dans un cône oblique, sur le plan de sa base, par des parallèles à la droite qui joint son sommet au centre de cette base, ce centre ne serait pas le foyer de la projection. J. D. G.
* ↑ M. Talbot a aussi traité la question par le calcul intégral ; mais les développemens présentés sur ce sujet par M. Stein rendent superflue cette partie de son travail. J. D. G.