Définition : Une cône de sommet
est formée d'une famille de droites passant par
. Ces droites sont les génératrices du cône.
Une courbe qui rencontre toutes les génératrices est unedirectrice.
La figure ci-dessous montre des exemples de « cônes ».

Remarque : Un cône n'est pas, en général, un cône de révolution!
Définition : Si
est une surface, l'ensemble des points
de
tels que le plan tangent à
en
contient
est le contour apparent de
vu de
.
Le cône de sommet
et de directrice ce contour apparent est le cône circonscrit à
vu de
.
Théorème : Une surface dont léquation cartésienne est un polynôme en
est un cône de sommet
si et seulement si tous les monômes sont de même degré (en degré cumulé en
).
Preuve.
d'équation
, alors
, ce qui prouve que
est de degré homogène en
. ![]()
Théorème : Le plan tangent à un cône, le long d'une génératrice, sauf au sommet, est invariant.
Preuve. Quitte à changer de repère, on prend un cône de sommet
. On a une directrice
,
, le cône en paramétrique est donc
,
.
Le plan tangent le long de cette génératrice (si seul
varie) est donc normal à :
comme
, normal à :
qui ne contient plus
.
Comme de plus, tous ces plans tangents contiennent cette génératrice, ils sont confondus. ![]()
On va chercher l'équation d'un cône
de sommet
et de directrice
donnés.
. (
, et ![\begin{displaymath}\Gamma:\left\{ \begin{array}[c]{c} x\left( t\right) \\ y\left( t\right) \\ z\left( t\right) \end{array} \right. t\in I\end{displaymath}](img44.png)
![\begin{displaymath} M:\left( \begin{array}[c]{l} X\\ Y\\ Z \end{array} ... ...t( t\right) =c+\lambda\left( Z-c\right) \end{array} \right. \end{displaymath}](img88.png)
On a pratiquement directement une représentation en nappe paramé trée de
, pour obtenir une équation cartésienne, on élimine
et
entre ces deux équations, on obtient l'équation d'un cône
qui contient le cône cherché. Vérifier que
.
, et ![\begin{displaymath}\Gamma:\left\{ \begin{array}[c]{c} F\left( x,y,z\right) =0\\ G\left( x,y,z\right) =0 \end{array} \right. \end{displaymath}](img48.png)
![\begin{displaymath} M:\left( \begin{array}[c]{l} X\\ Y\\ Z \end{array} ... ... ,c+\lambda\left( Z-c\right) \right) =0 \end{array} \right. \end{displaymath}](img90.png)
On élimine le paramètre
, on obtient l'équation d'un cône
qui contient
le cône cherché.
Vérifier que
.
Remarque : Dans le cas où
est définie en paramétriques
, on peut aussi paramétrer la droite de direction passant par un point de
et
, on obtient :
Par rapport à la méthode précédente, cela revient à changer
et
.
On a encore directement une représentation en nappe paramétrée.
Exemple : On cherche une équation cartésienne du cône
de sommet
et de directrice définie par
.
On a donc
.
On réécrit ce système
.
On multiplie la première équation par
et on remplace
par
.
On obtient
.
Ceci est l'équation d'un cône
qui contient le cône cherché.
On cherche le concout apparent de la surface
d'équation
vu du point
.
Pour cela, on écrit que le gradient de
en un point
de
est normal au vecteur
.
Le contour apparent est donc donné par intersection de surfaces :
|
|
|
|
|
|
Il suffit de rechercher le contour apparent, puis de rechercher le cône de sommet donné et de directrice ce contour apparent.
Exemple : On cherche une équation cartésienne du cône
de sommet
et circonscrit à la surface
définie par
.
Le contour apparent est donné par :
.
On réécrit ce système :
.
On a donc
.
Système qu'on réécrit :
.
On multiplie la première par
et on remplace
par
.
Ceci donne, après simplification par -4 :
.
Ou encore :
.
Ceci est l'équation d'un cône
qui contient le cône cherché.