Définition : Un cylindre de direction est une surface formée d'une famille de droites de direction
.
Ces droites sont les génératrices du cylindre. Une courbe qui rencontre toutes les génératrices est unedirectrice.
L'intersection de la surface avec un plan perpendiculaire à la direction, est une section droite du cylindre.
La figure ci-dessous montre des exemples de « cylindres ».
Remarque : Un cylindre n'est pas, en général, un cylindre de révolution !
Définition : Si est une surface, l'ensemble des points
de
tels que la direction du plan tangent à
en
contient
est le contour apparent de
dans la direction
. Le cylindre de direction
et de directrice ce contour apparent est le cylindre circonscrit à
dans la direction
.
Théorème : est un cylindre de direction
a une équation de la forme
.
C'est aussi dans le plan l'équation de la section droite de
.
Remarque : La courbe d'équation dans le plan
est la section droite du cylindre d'équation
dans l'espace.
Ainsi, l'interprétation d'une équation incomplète (en , ou
ou
) est celle d'une courbe ou d'une surface...
De même, s'il manque dans l'équation, on a un cylindre de direction
.
Preuve. On admet que a une équation de la forme
. Mais, si
appartient à
, la droite
est tracée sur
et donc :
Ce qui prouve qu'en fait, ne dépend pas de
.
On peut donc écrire :
Théorème : est un cylindre de direction
a une équation de la forme
avec et
, l'équation de deux plans.
Et enfin, donne la direction
.
Preuve. Un changement de repère orthonormal où , fournit
, et en revenant dans le repère d'origine,
.
Théorème : Le plan tangent à un cylindre le long d'un génératrice est invariant.
Preuve. Quitte à changer de repère, on peut travailler avec .
Le plan tangent le long de la génératrice est d'équation :
qui clairement ne contient pas .
On va chercher l'équation d'un cylindre de direction
et de directrice
donnés.
On a directement une représentation de en nappe paramé trée.
Pour obtenir une équation cartésienne, on élimine et
entre ces deux équations, on obtient l'équation d'un cylindre
qui contient le cylindre cherché.
On élimine le paramètre , on obtient l'équation d'un cylindre
qui contient
le cylindre cherché.
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
, 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 cylindre de direction
et de directrice définie par
.
On a donc .
On élimine facilement , ce qui donne
.
Tout aussi facilement, on élimine , et on obtient enfin :
qui est l'équation d'un cylindre
qui contient le cylindre cherché.
On cherche le contour apparent de la surface d'équation
dans la direction
.
Pour cela, on prend un point de la surface
, et on écrit que le gradient de
en ce point est normal à
.
Cela donne :
| ||
|
On a le ainsi contour apparent par intersection de surfaces.
Il suffit de chercher le contour apparent, puis de chercher le cylindre de la direction donnée et de directrice ce contour apparent.
Exemple : On cherche une équation cartésienne du cylindre de direction
circonscrit à
d'équation :
.
Le contour apparent est donné comme on vient de le voir par : . On a donc
.
On élimine en réécrivant la deuxième équation,
, et on obtient :
ou encore
qui est l'équation d'un cylindre
qui contient le cylindre cherché.