# Annales de mathématiques pures et appliquées/Tome 14/Géométrie transcendante, article 3
## QUESTIONS RÉSOLUES.
### Solutions du premier des deux problèmes de géométrie énoncés à la page 360 du XIII.e volume des Annales ;

PROBLÈME. Déterminer la surface convexe et le volume de l’onglet conique détaché d’un cône droit, du côté de sa base, par un plan passant par le centre de cette base ?
Soient $\mathrm {S}$ (fig. 10) le sommet du cône, $\mathrm {C}$ le centre de sa base, $\mathrm {DE}$ le diamètre suivant lequel le plan coupant rencontre cette base, $\mathrm {AB}$ un diamètre perpendiculaire à celui-là, et $\mathrm {CG}$ la droite suivant laquelle le plan du triangle $\mathrm {ASB}$ rencontre le plan coupant ; le triangle $\mathrm {GCA}$ divisera en deux parties parfaitement symétriques tant la surface que le volume demandés ; de sorte qu’il nous suffira d’obtenir la surface et le volume de l’une des parties et de les doubler, pour résoudre la question proposée.
Les données du problème sont, la hauteur du cône que nous désignerons par $k,$ son angle générateur que nous représenterons par $\alpha ,$ et enfin l’angle $\mathrm {AGG}$ que fait le plan coupant avec l’axe ; angle que nous appellerons $\beta .$ En conséquence le rayon de la base du cône sera $k\operatorname {Tang} .\alpha .$
Soit décomposée la surface cherchée en élémens infiniment petits, par des droites partant du sommet du cône ; soient $\mathrm {N,N'}$ les points où deux droites consécutives rencontrent la circonférence de sa base et $\mathrm {M,M'}$ ceux où les deux mêmes droites rencontrent le contour $\mathrm {DGE}$ de la section ; le quadrilatère $\mathrm {NMM'N'}$ sera la différentielle de la surface $\mathrm {DMN} \,;$ de sorte qu’il ne s’agira que d’en intégrer l’expression depuis $\operatorname {Ang} .\mathrm {DCN} =0$ jusqu’à $\operatorname {Ang} .\mathrm {DCN} =90^{\circ }$ pour obtenir la moitié de la surface cherchée. En outre, si sur $\mathrm {SN}$ on abaisse la perpendiculaire $\mathrm {CP} ,$ le produit de la surface $\mathrm {NMM'N'}$ par le tiers de cette perpendiculaire sera l’élément différentiel du volume de la pyramide conique ayant pour base le triangle $\mathrm {DMN}$ et son sommet en $\mathrm {C}$ de sorte qu’en intégrant encore l’expression de cet élément, entre $\operatorname {Ang} .\mathrm {DCN} =0$ et $\operatorname {Ang} .\mathrm {DCN}$$=90^{\circ },$ on aura la moitié du volume du corps cherché.
Soient
$\operatorname {Ang} .\mathrm {DCN} =x,\quad \operatorname {Ang} .\mathrm {MCN} =y,\quad \mathrm {MN} =z\,;$
l’angle trièdre dont les arêtes sont $\mathrm {CD,CM,CN} ,$ rectangle suivant la dernière, donnera, par les principes connus,
$\operatorname {Tang} .y=\operatorname {Cot} .\beta \operatorname {Sin} .x\,;$
mais le triangle rectiligne $\mathrm {MCN}$ donne
$z=k.{\frac {\operatorname {Tang} .\alpha \operatorname {Sin} .y}{\operatorname {Cos} .(\alpha -y)}}=k.{\frac {\operatorname {Tang} .\alpha \operatorname {Tang} .y}{\operatorname {Cos} .\alpha +\operatorname {Sin} .\alpha \operatorname {Tang} .y}}\,;$
on aura donc, en substituant pour $\operatorname {Tang} .y$ sa valeur
$z=k.{\frac {\operatorname {Tang} .\alpha \operatorname {Cot} .\beta \operatorname {Sin} .x}{\operatorname {Cos} .\alpha +\operatorname {Sin} .\alpha \operatorname {Cot} .\beta \operatorname {Sin} .x}}={\frac {k}{\operatorname {Cos} .\beta }}.{\frac {\operatorname {Tang} .\alpha \operatorname {Cot} .\beta \operatorname {Sin} .x}{1+\operatorname {Tang} .\alpha \operatorname {Cot} .\beta \operatorname {Sin} .x}}$
posant donc, pour abréger,
${\frac {k}{\operatorname {Cos} .\beta }}=a,\qquad \operatorname {Cot} .\alpha \operatorname {Tang} .\beta =n,$
nous aurons
$z=a{\frac {\operatorname {Sin} .x}{n+\operatorname {Sin} .x}}.$
Si, par le point $\mathrm {M} ,$ nous concevons un plan perpendiculaire à l’axe, ce plan déterminera une section circulaire dont l’arc intercepté entre $\mathrm {SN}$ et $\mathrm {SN'}$ sera $\mathrm {MH} ,$ semblable à $\mathrm {NN'} \,;$ et dans l’évaluation de la surface $\mathrm {NMM'N'} ,$ nous pourrons faire abstraction du triangle $\mathrm {MHM'} ,$ infiniment petit par rapport à elle ; cette surface deviendra ainsi un trapèze ; et, en représentant par $\mathrm {S}$ la surface $\mathrm {DNM} ,$ nous aurons
$\operatorname {d} S=\mathrm {MN.{\frac {NN'+MH}{2}}} \,;$
or, nous avons
$\mathrm {MH=NN'.{\frac {SM}{SN}}=NN'.{\frac {SN-MN}{SN}}=NN'.\left(1-{\frac {MN}{SN}}\right)} \,;$
donc
$\mathrm {NN'+MH=NN'\left(2-{\frac {MN}{SN}}\right)} ,$
ce qui donne
$\operatorname {d} S=\mathrm {MN.NN'\left(1-{\frac {MN}{2SN}}\right)} \,;$
or, nous avons
$\mathrm {MN} =z,\quad \mathrm {SN} ={\frac {k}{\operatorname {Cos} .\alpha }}=a,\quad \mathrm {NN'} =k\operatorname {d} x\operatorname {Tang} .\alpha =a\operatorname {d} x\operatorname {Sin} .x\,;$
donc
$\operatorname {d} S=az\operatorname {d} x\operatorname {Sin} .\alpha \left(1-{\frac {z}{2a}}\right)={\frac {z\operatorname {d} x\operatorname {Sin} .\alpha }{2}}\left[a+(a-z)\right]$
en mettant donc ici pour $z$ sa valeur en $x,$ on aura
$\operatorname {d} S={\frac {a^{2}\operatorname {Sin} .\alpha }{2}}\left\{{\frac {\operatorname {d} x\operatorname {Sin} .x}{n+\operatorname {Sin} .x}}+{\frac {n\operatorname {d} x\operatorname {Sin} .x}{(n+\operatorname {Sin} .x)^{2}}}\right\}.\qquad$
Le triangle rectangle $\mathrm {SCN}$ donne
$\mathrm {CP={\frac {SC.CN}{SN}}} =k\operatorname {Sin} .\alpha =a\operatorname {Sin} .\alpha \operatorname {Cos} .\alpha ,$
mais, en représentant par $V$ le volume de la pyramide qui a la surface $S$ pour base et son sommet en $\mathrm {C} ,$ on a
$\operatorname {d} V={\frac {1}{3}}CP.\operatorname {d} S\,;$
donc, en substituant, on aura
$\operatorname {d} V={\frac {a^{3}\operatorname {Sin} .^{2}\alpha \operatorname {Cos} .\alpha }{6}}\left\{{\frac {\operatorname {d} x\operatorname {Sin} .x}{n+\operatorname {Sin} .x}}+{\frac {n\operatorname {d} x\operatorname {Sin} .x}{(n+\operatorname {Sin} .x)^{2}}}\right\}\,;\qquad$
tout se réduit donc à intégrer les deux formules,
${\frac {\operatorname {d} x\operatorname {Sin} .x}{n+\operatorname {Sin} .x}},\qquad {\frac {\operatorname {d} x\operatorname {Sin} .x}{(n+\operatorname {Sin} .x)^{2}}}.$
Or, il suffit pour cela de savoir intégrer la première ; car en différentiant sous le signe, par rapport à $n,$ l’intégrale
$\int {\frac {\operatorname {d} x\operatorname {Sin} .x}{n+\operatorname {Sin} .x}},$
il vient
$-\int {\frac {\operatorname {d} x\operatorname {Sin} .x}{(n+\operatorname {Sin} .x)^{2}}}\,;$
d’où l’on voit qu’en posant
$\int {\frac {\operatorname {d} x\operatorname {Sin} .x}{n+\operatorname {Sin} .x}}=\operatorname {f} (n),$
on aura
$\int {\frac {\operatorname {d} x\operatorname {Sin} .x}{(n+\operatorname {Sin} .x)^{2}}}=-{\frac {\operatorname {d} \operatorname {f} (n)}{\operatorname {d} n}},$
et par suite
$\int {\frac {\operatorname {d} x\operatorname {Sin} .x}{n+\operatorname {Sin} .x}}+n\int {\frac {\operatorname {d} x\operatorname {Sin} .x}{(n+\operatorname {Sin} .x)^{2}}}=\operatorname {f} (n)-n.{\frac {\operatorname {d} \operatorname {f} (n)}{\operatorname {d} n}}$
$=-n^{2}.{\frac {\operatorname {d} .\left[{\frac {\operatorname {f} (n)}{n}}\right]}{\operatorname {d} n}}.$
valeur qu’il ne s’agira plus que de substituer dans les formules (I) et (II).
Pour intégrer donc la formule
${\frac {\operatorname {d} x\operatorname {Sin} .x}{n+\operatorname {Sin} .x}},$
nous poserons d’abord
$\operatorname {Sin} .x=y,\quad$
$\quad \operatorname {d} x\operatorname {Cos} .x=\operatorname {d} y,\quad$
$\quad \operatorname {d} x={\frac {\operatorname {d} y}{\sqrt {1-y^{2}}}}\,;$
elle deviendra ainsi
${\frac {y\operatorname {d} y}{(y+n){\sqrt {1-y^{2}}}}},$
qu’il faudra intégrer entre $y=0$ et $y=1.$
Nous poserons ensuite
${\sqrt {1-y^{2}}}=t(1-y),$
d’où
$y={\frac {t^{2}-1}{t^{2}+1}},\quad \operatorname {d} y={\frac {4t\operatorname {d} t}{\left(t^{2}+1\right)^{2}}},\quad {\sqrt {1-y^{2}}}={\frac {2t}{t^{2}+1}}\,;$
ce qui donnera, en substituant,
${\frac {2\left(t^{2}-1\right)\operatorname {d} t}{\left(t^{2}+1\right)\left[(n+1)t^{2}+(n-1)\right]}}\,;$
différentielle qui se rapporte aux fractions rationnelles, et dont il faudra prendre l’intégrale entre $t=1$ et $t=\infty .$
Mais pour poursuivre l’intégration sans tomber dans les imaginaires ou dans l’indétermination, il est nécessaire de distinguer les trois cas de $n>1,\ n<1,\ n=1\,;$ on obtiendra alors les intégrales définies que voici :
$n>1,\ldots {\frac {\varpi }{2}}-{\frac {n}{\sqrt {n^{2}-1}}}\operatorname {Arc} .\left(\operatorname {Cos} .={\frac {1}{n}}\right),$
$n<1,\ldots {\frac {\varpi }{2}}+{\frac {n}{\sqrt {1-n^{2}}}}\operatorname {Log} .{\frac {1-{\sqrt {1-n^{2}}}}{n}},$
$n=1,\ldots {\frac {\varpi }{2}}-1.$
En achevant le calcul, comme il a été dit ci-dessus, et ayant toujours égard aux limites des intégrales, on trouvera finalement, en doublant le résultat,
Pour $n>1,$ (Section elliptique),
$S=a^{2}\operatorname {Sin} .\alpha \left\{{\frac {\pi }{2}}+{\frac {n}{n^{2}-1}}\left[1-{\frac {n^{2}}{\sqrt {n^{2}-1}}}\operatorname {Arc} .\left(\operatorname {Cos} .={\frac {1}{n}}\right)\right]\right\},$
$V={\frac {a^{3}\operatorname {Sin} .^{2}\alpha \operatorname {Cos} .\alpha }{3}}\left\{{\frac {\pi }{2}}+{\frac {n}{n^{2}-1}}\left[1-{\frac {n^{2}}{\sqrt {n^{2}-1}}}\operatorname {Arc} .\left(\operatorname {Cos} .={\frac {1}{n}}\right)\right]\right\}\,;$
Pour $n<1,$ (Section hyperbolique),
$S=a^{2}\operatorname {Sin} .\alpha \left\{{\frac {\pi }{2}}-{\frac {n}{1-n^{2}}}\left[1+{\frac {n^{2}}{\sqrt {1-n^{2}}}}\operatorname {Log} .{\frac {1-{\sqrt {1-n^{2}}}}{n}}\right]\right\},$
$V={\frac {a^{3}\operatorname {Sin} .^{2}\alpha \operatorname {Cos} .\alpha }{3}}\left\{{\frac {\pi }{2}}-{\frac {n}{1-n^{2}}}\left[1+{\frac {n^{2}}{\sqrt {1-n^{2}}}}\operatorname {Log} .{\frac {1-{\sqrt {1-n^{2}}}}{n}}\right]\right\},$
Enfin, pour $n=1$ (Section parabolique),
$S=a^{2}\operatorname {Sin} .\alpha \left\{{\frac {\pi }{2}}-{\frac {2}{3}}\right\},$
$V={\frac {a^{3}\operatorname {Sin} .^{2}\alpha \operatorname {Cos} .\alpha }{3}}\left\{{\frac {\pi }{2}}-{\frac {2}{3}}\right\},$
À la vérité, les deux dernières formules ne sauraient, à cause de la disparition de $n,$ s’obtenir par le procédé général que nous avons indiqué ; mais lorsque $n=1,$ l’intégration est de première facilité.
Si l’on remarque que $a$ est l’arête ou côté du cône, et que conséquemment on a pour sa demi-surface convexe et son demi-volume ${\frac {\pi a^{2}\operatorname {Sin} .\alpha }{2}}$ et ${\frac {\pi a^{3}\operatorname {Sin} .^{2}\alpha \operatorname {Cos} .\alpha }{6}},$ on verra que la partie de ces intégrales indépendante de $\varpi$ exprime $\mathrm {SDGES}$ et le volume compris entre cette surface et les deux plans $\mathrm {DGE}$ et $\mathrm {DSE.}$
Les quatre premières formules se simplifient assez et deviennent plus commodes pour le calcul par logarithme, en y introduisant un angle auxiliaire ; soit posé,
Pour les deux premières $n={\frac {1}{\operatorname {Cos} .\theta }},$
Et pour les deux autres $p=Sin.\theta$
elles deviendront alors, savoir, les deux premières,
$3V=aS\operatorname {Sin} .\alpha \operatorname {Cos} .\alpha =a^{3}\operatorname {Sin} .^{2}\alpha \operatorname {Cos} .\alpha \left\{{\frac {\pi }{2}}-{\frac {\theta -\operatorname {Sin} .\theta \operatorname {Cos} .\theta }{\operatorname {Sin} .^{3}\theta }}\right\},$
et les deux autres
$3V=aS\operatorname {Sin} .\alpha \operatorname {Cos} .\alpha$
$=a^{3}\operatorname {Sin} .^{2}\alpha \operatorname {Cos} .\alpha \left\{{\frac {\pi }{2}}-{\frac {\operatorname {Tang} .\theta }{\operatorname {Cos} .\theta }}-\operatorname {Tang} .^{3}\theta \operatorname {Log} .\operatorname {Tang} .{\frac {\theta }{2}}\right\}$
Il est presque inutile de dire que dans les premières, l’arc $\theta$ devra être réduit en parties du rayon.
* ↑ On peut remarquer qu’en général ${\frac {\operatorname {d} ^{m}.\left\{\int {\frac {\operatorname {d} x\operatorname {f} (x)}{n+\phi (x)}}\right\}}{\operatorname {d} n}}=\pm 1.2.3\ldots m\int {\frac {\operatorname {d} x\operatorname {f} (x)}{\left[n+\phi (x)\right]^{m+1}}}\,;$ $\operatorname {f} (x)$ et $\phi (x)$ étant des fonctions indépendantes de $n$ et le signe supérieur ou le signe inférieur deyant être pris suivant que $m$ est un nombre pair ou un nombre impair.