|

TRIGONOMÉTRIE
| GÉOMÉTRIE EUCLIDIENNE
| GÉOMÉTRIES
NON-EUCLIDIENNES | GÉOMÉTRIE
PROJECTIVE | GÉOMÉTRIE
ANALYTIQUE | GÉOMETRIE
DIFFÉRENTIELLE | FORMES GÉOMÉTRIQUES
| THÉORIE DES GRAPHES
Dernière mise-à-jour de ce chapitre:
01.01.2012 2:42
Version: 3.0 Revision 5 | Rédacteur: Vincent Isoz |
Avancement: ~80%
vues
depuis le 01.01.2012: 316
LISTE DES SUJETS TRAITÉS SUR CETTE PAGE | DISCUTER
DE CETTE PAGE
La "géométrie
analytique"
est la branche de la géométrie qui s'occupe de l'étude
des formes géométriques et de leurs propriétés
en utilisant les outils avancés
du calcul algébrique tels que l'analyse fonctionnelle, le
calcul vectoriel ou l'algèbre linéaire. Sa frontière
se situe au niveau des outils utilisés. La "géométrie
vectorielle"
est donc un sous-famille de la géométrie analytique et nous en
ferons aussi bien usage dans le présent chapite que dans celui
de Géométrie Différentielle.
Remarque: Lorsque nous faisons usage pour ces mêmes études du calcul
différentiel et intégral, alors nous faisons de la "géométrie
différentielle" (voir chapitre du même nom).
La géométrie analytique est
un très vaste domaine (comme tout le reste) alors... nous
n'aborderons ici que les éléments absolument indispensables à l'étude
de la physique et de l'ingénierie. Ces éléments
sont par ailleurs souvent étudiés dans les
petites classes et sont (cités
dans l'ordre): les coniques, les équations
de la droite, du plan, de la sphère, etc... leurs intersections,
leurs plans tangents et encore bien d'autres.
CONIQUES
Il nous a été
très difficile de choisir s'il fallait mettre l'étude
des coniques dans la section d'algèbre ou de géométrie. Nous avons
finalement décidé de mettre cette étude
dans le présent chapitre (donc de géométrie...)
qui permet de supposer que le lecteur ayant fait une lecture
linéaire du site
a déjà parcouru tous les chapitres présentant
les outils mathématiques nécessaires à l'étude
des coniques. Nous espérons que notre choix s'avérera
le meilleur pour le lecteur.
Remarque: L'étude des coniques nous sera très utile dans
le chapitre d'Astronomie ainsi que dans le chapitre d'Optique Géométrique.
Il convient donc de s'y attarder dans les détails.
Soit
un repère orthonormé du plan. Les courbes algébriques les
plus simples que l'on trouve après les droites dont les équations
sont sous forme générale (rappel):
(24.1)
sont les
courbes du deuxième degré, à savoir par extension:
(24.2)
avec non
tous nuls. Ces courbes de second degré sont appelées "coniques"
(appelées également "quadriques"
de par la présence d'un terme quadratique).
Notre
première tâche va consister à obtenir, par translation et
rotation du repère dans lequel cette relation est exprimée,
une équation
réduite beaucoup plus simple en éliminant le terme
en
xy . En effet, choisissons un nouveau repère se déduisant
de l'ancien par une rotation d'angle .
Soit x' et
y' les nouvelles
coordonnées des points. Nous avons (cf.
chapitre de Géométrique
Euclidienne):
(24.3)
D'où:
(24.4)
L'équation
devient:
(24.5)
Nous
cherchons donc à ce que les termes en x'y' regroupés
soient tels que:
(24.6)
Puisque
(cf. chapitre de Trigonométrie):
et
(24.7)
par substitution,
nous obtenons:
(24.8)
Pour avoir
que les termes en x'y' se simplifient, il suffit donc de
choisir l'angle de rotation
tel que:
(24.9)
Nous considérerons
alors désormais l'équation:
(24.10)
1. Si
nous posons et
.
Quitte à diviser par ,
nous pouvons nous ramener à une équation du type:
(24.11)
où:
- Si ,
nous nous retrouvons avec une équation décrivant
la figure d'une
"parabole" d'axe parallèle
à OX.
- Si ,
il s'agit d'un cas dégénéré
2. Si
nous posons et
le
cas se traite comme précédemment.
3. Si
et
,
nous pouvons supprimer les termes et
de
la façon suivante:
(24.12)
et par un
simple changement de repère de translation, nous arrivons
donc à
une équation du type:
(24.13)
- Si
,
alors la relation précédente se réduit à un point dans si
et
sont
de même signe, et à une droite si et
sont
de signe contraire.
- Si et
posons:
(24.14)
où signifie:
1 multiplié par le signe de .
Et divisions
le tout par tel
que:
(24.15)
Posons:
(24.16)
Nous obtenons:
(24.17)
Nous avons
donc plusieurs situations possibles:
(24.18)
Deux
termes ci-dessus sont impossibles dans ,
c'est pourquoi nous les avons barrés (la somme de deux
nombres positifs ne peut être négative et inversement).
Il y a
plusieurs cas de figures intéressants:
- Pour:
ou
(24.19)
et nous
avons un cercle de rayon unité.
- Pour:
,
(24.20)
et nous
avons une ellipse.
- Pour:
(24.21)
et ,
nous avons des hyperboles dont l'axe de symétrie est soit
parallèle
à OX soit
à OY
Remarque: Pour voir les figures, utilisez la fonction
implicitplot( ) dans Maple.
Le terme
"conique" provient du fait
que l'une des premières définitions des conques consistait en l'intersection
d'un cône et d'un plan.
En effet,
soit l'équation d'un cône ayant un angle de au
sommet (voir géométrie spatiale)
l'équation d'un plan de vecteur normal (nous utilisons les cosinus
directeurs):
(24.22)
Posons:
(24.23)
Explications:
nous avons ainsi un vecteur normal dans le plan ZOY et
un plan qui n'est jamais en intersection avec l'axe OX.
Si le cosinus directeur ,
nous avons un plan vertical translaté de h sur
l'axe des Y. Si
,
nous avons un plan horizontal translaté de h sur
l'axe des Z.
Soit
la matrice de rotation dans l'espace par rapport à l'axe OZ
(cf. chapitre de Géométrie
Euclidienne):
(24.24)
avec:
(24.25)
Nous avons
donc pour expression de rotation du plan:
(24.26)
Après
simplification:
(24.27)
Donc après
rotation, nous avons un plan vertical translaté de h selon
l'axe des Y.
Identiquement,
pour le cône, une rotation correspond selon l'axe des Z (donc il
ne se passe pas grand-chose):
(24.28)
Après
développement et simplification:
(24.29)
Equation
qui donne un cône horizontal si et
un cône vertical si .
Ainsi,
nous avons le système général:
(24.30)
Si nous
traçons dans Maple la fonction (en s'amusant avec les angles):
>implicitplot3d({x^2-(y^2-z^2)*cos(2*theta)+y*z*2*sin(2*theta)=0,y=h},x=-20..20,y=-20..20,z=-20..20)
Nous voyons
que pour:
- nous
obtenons une intersection entre le plan et le cône donnant une
ellipse
- nous
obtenons une parabole
- nous
obtenons une hyperbole
Voici
à peu près ce que cela donne:
  
Figure: 24.1 - Différentes intersections entre un cône et un plan
Nous donnons
également à la courbe d'équation le
nom d'hyperbole car, par changement de variable:
(24.31)
Ce qui
nous ramène à:
(24.32)
ce qui
comme nous l'avons vu précédemment, est bien l'équation d'une hyperbole.
Cependant,
les coniques ont aussi une définition géométrique:
Soit F un
point du plan, D une
droite ne contenant pas F et
e un
réel strictement positif. Nous nous intéressons à l'ensemble
des points M défini par:
(24.33)
F s'appelant le "foyer",
D la
"directrice de la conique"
et e l'excentricité:

Figure: 24.2 - Définitions du foyer, de la directrice conique
et de l'excentricité
Nous choisissons
F comme
origine du repère, de façon que D ait
pour équation:
avec
(24.34)
et notons d(M, D) la distance entre
le point M et D.
Alors:
(24.35)
Nous nous
retrouvons bien avec l'équation d'une conique. Nous pouvons considérer
maintenant plusieurs cas particuliers:
1. Cas
où :
L'équation
se limite alors à:
(24.36)
Il s'agit
d'une parabole d'axe orthogonal à D,
dont le sommet est
le milieu du segment ,
où K est
la projection de F sur
D.
Relativement
à l'origine ,
l'équation se réduit à:
(24.37)
où h
est appelé "paramètre
de la parabole" et relativement à ,
le foyer sera donné par les coordonnées
et la directrice par l'équation .

Figure: 24.3 - Représentation des paramètres des coniques pour la parabole
2. Cas
où :
Il s'agit
d'une ellipse:
(24.38)
Le dernier
terme se retrouvant en effet comme suit après développement:
(24.39)
Posons
que est
l'origine de l'ellipse. L'équation précédente se simplifie et devient:
(24.40)
Pour connaître
le demi-grand axe de l'ellipse il suffit de poser .
Ainsi:
(24.41)
d'où le
demi-grand axe valant:
(24.42)
de la
même manière, nous obtenons le demi-petit axe:
(24.43)
en posant
étant le "paramètre de
l'ellipse" ou "paramètre
focal de l'ellipse",
nous obtenons:
(24.44)
dont la première relation sera très utile dans le chapitre d'Astronomie
et de Relativité Générale.
Puisque
,
nous avons:
(24.45)
Etant
donné que est
sur l'axe OX, nous
pouvons prendre le cas particulier où tel
que:
(24.46)
il existe
donc deux foyers à l'ellipse à une distance équivalente mais opposée
de .
Nous définissons
dès lors l'excentricité d'une ellipse par le rapport:
(24.47)
Nous pouvons dès lors
démontrer une relation que nous retrouvons couramment dans
les formulaires:
(24.48)
C'est-à-dire:
(24.49)
L'égalité est
donc démontrée.

Figure: 24.4 - Représentation des paramètres des coniques pour une ellipse
Une représentation
paramétrique utile et évidente de l'ellipse est:
(24.50)
Effectivement si nous considérons
l'équation cartésienne de l'ellipse démontrée
précédemment:
(24.51)
et en posant
et alors
nous obtenons:
(24.52)
Si
nous nous souvenons du cercle trigonométrique, cette équation
admet les solutions et .
Il vient alors:
et
(24.53)
Voilà...
Cependant,
il existe une autre forme d'équation de l'ellipse, bien plus importante,
que l'on retrouve aussi bien en physique classique, astrophysique
et physique quantique corpusculaire.
Rappelons
que:
(24.54)
En coordonnées
polaires, cela donne:
(24.55)
Donc:
ou
(24.56)
après
mise en évidence:
ou
(24.57)
Nous obtenons
deux équations différentes, mais il s'agit en fait de la même courbe.
Nous remarquerons en effet que:
(24.58)
Etant
donné que est
défini comme le paramètre de la conique, l'équation polaire de l'ellipse
s'écrit:
(24.59)
Dans le
cas général, D peut
faire un angle quelconque avec l'axe des angles polaires, et l'équation
générale est alors:
(24.60)
3. Cas
où :
Il s'agit
d'une hyperbole (même raisonnement que l'ellipse):
(24.61)
Posons
que:
(24.62)
est l'origine
de l'hyperbole. L'équation précédente se simplifie et devient:
(24.63)
Mais encore:
(24.64)
ce qui
s'écrit sous forme condensée:
(24.65)
et nous
avons pour demi-grand axe et demi-petit axe (raisonnement identique
à l'ellipse):
(24.66)
et:
(24.67)
et la figure correspondante:

Figure: 24.5 - Représentation des paramètres des coniques pour une
hyperbole
PARAMÉTRISATIONS
Pour certaines
des formes présentées ci-dessous, il est possible
de choisir un autre système de coordonnées que les
coordonnées cartésiennes tel
que par exemple les coordonnées cylindriques ou sphériques
qui sont dans certains cas beaucoup plus simples à mettre en place.
Nous tacherons dans la mesure du possible de présenter
les plus importantes.
ÉQUATION
DU PLAN
Soit un
plan P dont
nous connaissons un vecteur normal
et unitaire mais
pas l'équation et un
point de P.
Pour
qu'un point M de
coordonnées (x, y, z) appartienne
au plan P il
faut et il suffit que les vecteurs et
soient
orthogonaux. Donc soit le point donné par le vecteur étant
de coordonnées:
(24.68)
Si est
perpendiculaire à alors
le produit scalaire doit être nul tel que:
(24.69)
Ce qui
s'écrit aussi:
(24.70)
tel que
nous obtenions l'équation cartésienne générale du plan:
(24.71)
Cette
équation où qui
vérifie que les coordonnées d'un point quelconque
du plan P appartienne
à ce plan est donc appelée "équation
cartésienne du plan P".
Si nous
écrivons l'équation avec les cosinus directeurs de (cf.
chapitre de Calcul Vectoriel), nous avons dès lors aussi:
(24.72)
Remarque: Pour obtenir un cube dans l'espace, il suffit d'avoir
six plans délimités par des conditions telles que 
Il est relativement aisé de passé au cas par cas de l'équation
cartésienne du plan à l'équation paramétrique du plan. Nous pouvons
(avec les précautions d'usage...) reprendre l'équation:
(24.73)
et la réécrire sous la forme suivante:
(24.74)
et dès lors, l'équation paramétrique du plan dans
l'espace de dimension 3, s'écrira:
(24.75)
Exemple:
Avec Maple:
>a:=3:b:=-2:c:=1:d:=5:
>plot3d([x,y,(-d-b*y+a*x)/c],x=-2..2,y=-2..2,
orientation=[-87,81],style=PATCH,
axes=NORMAL);
Figure: 24.6 - Représentation paramétrique d'un plan avec Maple
ÉQUATION
D'UNE DROITE
Comme nous l'avons vu en analyse
fonctionnelle, une droite dans le plan peut être décrite
par la fonction:
(24.76)
L'équation cartésienne
généralisée de la droite est alors simplement donnée
par:
(24.77)
Effectivement, en simplifiant
nous retrouvons "l'équation cartésienne
réduite":
(24.78)
Définition: Nous appelons
"vecteur directeur" d'une
droite D , tout vecteur non nul de même direction que la
droite.
Montrons maintenant les deux petits théorèmes sympathiques
suivants:
T1. Si une droite a pour équation
alors le vecteur:
(24.79)
est
directeur de cette droite.
T2. Si une droite a pour équation
alors le vecteur:
(24.80)
est
directeur de cette droite.
Démonstrations:
DM1. Soient
et A, B deux points de cette droite
pris tels que .
Comme A, B sont deux points de D alors
est un vecteur directeur de D alors:
(24.81)
Un petit corollaire intéressant au passage qui a une application
en physique!:
Si une droite D1 a un vecteur directeur
valant:
(24.82)
et une autre droite D2 un vecteur directeur
valant:
(24.83)
alors leur produit scalaire (cf. chapitre
de Calcul Vectoriel)
est nul, ce qui montre que deux droites dont la multiplication
des pentes (deuxième coordonnée du vecteur directeur) vaut -1
sont perpendiculaires!
DM2. Soit
donc
alors le vecteur est
un vecteur directeur de D ainsi que tout vecteur .
Ainsi, il existe une infinité de manières de définir
la même droite,
puisque la droite est composée d'une infinité de
points (qui peuvent tous servir de point d'ancrage) et qu'il existe
une infinité de
multiples du vecteur directeur.
C.Q.F.D.
Souvent, nous recherchons
la distance entre une droite et un point externe à celle-ci.
Ainsi, considérons la figure suivante:

Figure: 24.7 - Représentation de la recherche de la distance d'un point à une droite
avec H la
projection orthogonale de A sur la droite d,
P un point arbitraire de d et
un vecteur orthogonal (normal) à d.
Nous avons (cf.
chapitre de Calcul Vectoriel):
(24.84)
car
ou .
Ainsi:
(24.85)
où représente
la distance (nous ne pouvons noter la distance avec la lettre d comme
nous l'avons fait au début de ce chapitre, sinon il y aurait
confusion avec le d choisi
pour représenter la droite dans le présent développement).
Nous obtenons donc la relation:
(24.86)
Considérons maintenant le
point
et la droite .
Choisissons un point
ainsi qu'un vecteur ,
normal à
(rappelons que
est vecteur directeur):
Ainsi, en appliquant la relation précédente
nous avons:
(24.87)
et donc:
(24.88)
Si nous
considérons maintenant deux plans non parallèles
de l'espace, leur intersection est une droite. Soient deux plans
d'équations respectives:
(24.89)
et D leur
droite d'intersection.
Un point
de
l'espace appartient à la droite D si
et seulement si le point M satisfait
le système d'équations:
(24.90)
Remarque: Alors que dans le plan une droite est caractérisée
par une équation du type 
( cf. chapitre d'Analyse Fonctionnelle),
dans l'espace, une seule équation de la forme  caractérise
un plan. Pour caractériser une droite en dehors des plans
des axes, il est nécessaire (équation paramétrique
mise à part) d'avoir
deux
équations.
Il est relativement trivial (mais nous
allons quand même le démontrer) que l'équation paramétrique
d'une droite est un système d'équations du type:
(24.91)
Ainsi, chaque composante croit
linéairement par rapport à la même variable
à une constante et un facteur près. Ceci
s'écrit aussi sous forme vectorielle (plus traditionnelle):
(24.92)
Le vecteur est
appelé "vecteur directeur".
Démonstration: Nous avons donc le système d'équations
(deux équations à trois inconnues, ainsi une inconnue
sera indéterminée):
(24.93)
Éliminons une des variables
(commençons arbitrairement par z):
(24.94)
où d'où:
(24.95)
donc (c'est un peu bête
à écrire mais bon...):
(24.96)
De manière similaire
avec y tel nous
avons:
(24.97)
d'où:
(24.98)
Finalement nous avons:
(24.99)
Le vecteur directeur et le
vecteur d'ordonnée sont donc des constantes. Ce qui nous
permet d'écrire
de manière plus générale:
(24.100)
C.Q.F.D.
Remarques:
R1. L'équation
d'une droite est presque ce qu'il y a de plus important en synthèse
d'images 3D car à partir de ces dernières nous pouvons construire
des polygones et assembler ces derniers pour construire des formes
tridimensionnelles plus complexes.
R2. Pour savoir si une droite est perpendiculaire à un plan il
faut déterminer au moins deux droites sécantes dans
ce même plan
et effectuer le produit vectoriel de leur vecteur directeur et
ensuite calculer le produit scalaire entre le résultat
du produit vectoriel et la première droite dont nous cherchons
l'orthogonalité. Effectivement,
une seule droite du plan ne permet pas de déterminer l'orientation
de ce dernier; il en faut au moins deux.
ÉQUATION
D'UN CÔNE
Considérons un cône de révolution de sommet
O avec un cercle de centre (0,0,h) (où h est un nombre réel positif ) et de rayon R :

Figure: 24.8 - Représentation d'un cône
Une représentation paramétrique du cercle à la hauteur
h est:
(24.101)
où t appartient à l'intervalle .
Par extension, une représentation paramétrique de
ce cône est :
(24.102)
En d'autres termes, le cercle se propage linéaire selon tous les
directions.
Exemple:
Avec Maple:
>r:=1:h:=4:
>plot3d([k*r*cos(t),k*r*sin(t),k*h],k=0..10,t=0..2*Pi,orientation=[50,60],style=PATCH,
axes=NORMAL);
Figure: 24.9 - Représentation paramétrique d'un cône avec Maple
On peut en déduire une équation cartésienne
de ce cône:
(24.103)
en posant :
(24.104)
c'est
l'équation cartésienne d'un cône dans l'espace que nous retrouverons
en relativité restreinte lors de notre étude des cônes
de lumière.
ÉQUATION
D'UNE SPHÈRE
Considérons
le repère orthonormé ,
soit S la
sphère de centre et
de rayon r :

Figure: 24.10 - Représentation d'une sphère
appartient
à la sphère S de
centre et
de rayon r si
et seulement si:
(24.105)
c'est-à-dire en appliquant Pythagore
:
(24.106)
D'où "l'équation
cartésienne de la sphère" dans le repère :
(24.107)
Il existe une autre manière
de décrire la sphère en utilisant l'équation
paramétrique. Effectivement, nous avons vu dans le
chapitre de Calcul Vectoriel que le passage des coordonnées
cartésiennes
aux coordonnées sphériques est donné par
les coordonnées curvilignes:
(24.108)
Ainsi, nous avons bien:
(24.109)
Donc l'équation paramétrique de la sphère est bien:

Nous retrouvons donc bien
l'équation cartésienne d'une sphère à
une constante de translation près.
Exemple:
Avec Maple une sphère de rayon unité:
>plot3d([sin(theta)*cos(phi),sin(theta)*sin(phi),cos(theta)],theta=0..Pi,phi=-Pi..Pi,
scaling=CONSTRAINED,orientation=[50,60],style=PATCH,axes=NORMAL);
Figure: 24.11 - Représentation paramétrique d'une sphère avec Maple
ÉQUATION
D'UN ELLIPSOÏDE
Nous avons vu lors de notre
étude des coniques que l'équation d'une ellipse dans
le plan était donnée par:
(24.110)
avec a, b étant
les deux axes de l'ellipse (le petit et le grand).
Ainsi, sans démonstration
rigoureuse, nous pouvons vérifier à la main ou à
l'aide des ordinateurs que l'équation cartésienne:
(24.111)
est un ellipsoïde:

Figure: 24.12 - Représentation d'un ellipsoïde
Cependant, il existe une
autre manière de décrire l'ellipsoïde en utilisant
les coordonnées curvilignes:
(24.112)
Donc l'équation paramétrique de l'ellipsoïde sera:
(24.113)
Nous pouvons constater qu'il s'agit simplement de
l'équation paramétrique de la sphère mais avec des rayons différents
suivant les axes du repère choisi.
Exemple:
Avec Maple:
>a:=100:b:=2:c:=20:
>plot3d([a*cos(theta)*cos(lambda),b*cos(theta)*sin(lambda),c*sin(theta)],lambda=0..Pi,
theta=-Pi..Pi,orientation=[50,60],style=PATCH,axes=NORMAL);
Figure: 24.13 - Représentation paramétrique d'un ellipsoïde avec Maple
Nous avons donc:
(24.114)
d'où:

(24.115)
Finalement:
(24.116)
ÉQUATION
D'UN CYLINDRE
Il va sans dire que l'équation
paramétrique d'un cylindre de rayon r est donnée
par:
(24.117)
Soit:
(24.118)
Nous voyons bien que les composantes
x, y satisfont l'équation cartésienne d'un
cercle puisque:
(24.119)
Exemple:
Avec Maple un cylindre de rayon unité:
>plot3d([cos(phi),sin(phi),z],phi=-Pi..Pi,z=0..2,orientation=[50,60],style=PATCH,
axes=NORMAL);
Figure: 24.14 - Représentation paramétrique d'un cylindre avec Maple
Au même titre l'équation
paramétrique d'un cylindre à base elliptique est donnée
par:
(24.120)
qui vérifie aussi l'équation
paramétrique d'une ellipse dans le plan:
(24.121)
SURFACES
DE RÉVOLUTION
De manière
plus générale de nombreuses surfaces (dont certaines que nous avons
vues précédemment) peuvent être décrites par révolution d'une forme
primaire de dimension inférieure et ensuite par rotation.
Définition: Une "surface
de révolution" est une surface obtenue en faisant
tourner une courbe plane (par exemple )
autour de l'axe OZ. Ainsi, nous passons alors d'un plan
de
a un repère de ,
l'axe OX engendre dès lors un plan devenu YOZ.
Prenons trois exemples classiques
(parmi l'infini):
Exemples:
E1. Soit la parabole particulière d'équation qui
tourne autour de l'axe OZ:
(24.122)
avec pour rappel:

Nous avons bien évidemment
(en coupant le paraboloïde par un plan ce qui donne un cercle
de rayon r)
la relation:
(24.123)
dite "équation
cylindrique". Or, nous avons aussi par simple application
de Pythagore dans le cercle en question:
(24.124)
d'où:
(24.125)
Nous en déduisons "l'équation
cartésienne du paraboloïde de révolution":
(24.126)
Nous construisons l'équation paramétrique du paraboloïde
exactement de la même manière que le cône, mais à la
différence que l'évolution
selon l'axe OZ ne se fera non pas linéairement
par rapport au
paramétrage k mais
au carré de ce dernier. Ainsi, nous aurons:
(24.127)
Ce qui donnera avec Maple:
>p:=1:h:=1:
>plot3d([k*1/(2*p)*cos(t),k*1/(2*p)*sin(t),k^2*h],k=0..10,t=0..2*Pi,orientation=[50,60]
,style=PATCH,axes=NORMAL);
Figure: 24.15 - Représentation paramétrique d'un paraboloïde avec Maple
E2. Soit la droite de pente unité:
(24.128)
que nous faisons tourner
autour de Oz. Nous avons:
(24.129)
ce
qui nous donne:
(24.130)
Définition: Toute
surface engendrée par une droite est une "surface
réglée".
Prenons l'exemple important
(cheminée de centrale nucléaire, engrenages, etc.)
qu'est l'hyperboloïde à une nappe d'équation:
(24.131)
Pour simplifier l'exemple
prenons .
Nous avons donc:
(24.132)
ce qui s'écrit aussi
comme le produit de l'équation de deux droites tel que:
(24.133)
Ainsi, ces deux droites (de
pentes opposées) appartiennent à la nappe et tout
point appartenant à une de ces deux droites y est contenu.
Les figures ci-dessous montrent bien qu'au fait, tout point appartient
à ces deux droites.

Figure: 24.16 - Construction d'une surface de révolution avec des droites
On pourrait ceci dit très
bien décrire par des cercles tels que:
(24.134)
où .
Figure: 24.17 - Construction d'une surface de révolution avec des cercles
E3.Nous savons que pour générer un
cercle dans le plan XOY, une équation paramétrique
possible est:
(24.135)
Pour décaler ce cercle vers la droite (dans la direction
des x positifs), nous n'aurons qu'à ajouter une constante
strictement positive au terme x:
(24.136)
Dans l'espace, si nous décidons de dessiner un cercle sur
la plan XOZ, nous aurons alors:
(24.137)
Qu'il est d'usage de noter sous la forme suivante lorsqu'il s'agit
de l'étude du tore:
(24.138)
Si nous voulons générer un tore, il faudra faire
tourner ce cercle autour de l'axe Z en lui faisant suivre à lui-même
un cercle suivante le plan XOY. Nous avons alors "l'équation
paramétrique du tore de révolution":
(24.139)
Ce qui donne avec Maple:
>r:=1:R:=4:
>
plot3d([(R+r*cos(phi))*cos(theta),(R+r*cos(phi))*sin(theta), 1*sin(phi)],
theta=-Pi..Pi,phi=-Pi..Pi,scaling=CONSTRAINED,orientation=[50,60],
style=PATCH,axes=NORMAL);
Figure: 24.18 - Représentation paramétrique d'un tore avec Maple
|