News :: Erreur :: Statistiques :: ClearType :: Imprimer ::

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

LISTE DES SUJETS TRAITÉS SUR 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 tel 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 analytique est un très vaste domaine (comme tout le reste) alors... nous 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.

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 laquelle cette relation est exprimée, une équation réduite beaucoup plus simple tel 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 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 à .

- 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)

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 tracé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

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 de le plan ZOY et un plan qui n'est jamais en intersection avec l'axe X. 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 Z (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*)+y*z*2*sin(2*)=0,z=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:

  (24.31)

Nous donnons également à la courbe d'équation  le nom d'hyperbole car, par changement de variable:

  (24.32)

Ce qui nous ramène à:

  (24.33)

ce qui comme nous l'avons vu précédemment, est bien l'équation d'une hyperbole.

Cependant, les coniques on 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 à:

  (24.34)

F s'appelant le "foyer", D la "directrice de la conique" et e l'excentricité.

Nous choisissons F comme origine du repère, de façon que D ait pour équation:

 avec   (24.35)

Alors:

  (24.36)

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.37)

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.38)

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 .

  (24.39)

2. Cas où :

Il s'agit d'une ellipse:

  (24.40)

Le dernier terme donnant après développement : 

  (24.41)

Posons que  est l'origine de l'ellipse. L'équation précédente se simplifie et devient:

  (24.42)

Pour connaître le demi-grand axe de l'ellipse il suffit de poser . Ainsi:

  (24.43)

d'où le demi-grand axe valant:

  (24.44)

de la même manière, nous obtenons le demi-petit axe:

  (24.45)

en posant étant le "paramètre de l'ellipse" ou "paramètre focal de l'ellipse", nous obtenons :

  (24.46)

dont la première relation sera très utile dans le chapitre d'Astronomie et de Relativité Générale.

Puisque , nous avons :

  (24.47)

Etant donné que est sur l'axe X, nous pouvons prendre le cas particulier où  tel que :

  (24.48)

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.49)

Nous pouvons dès lors démontrer une relation que nous retrouvons couramment dans les formulaires :

  (24.50)

C'est-à-dire :

  (24.51)

L'égalité est donc démontrée.

  (24.52)

Une représentation paramétrique utile et évidente de l'ellipse est:

  (24.53)

Effectivement si nous considérons l'équation cartésienne de l'ellipse démontrée précédemment :

  (24.54)

et en posant et alors nous obtenons:

  (24.55)

Si nous nous souvenons du cercle trigonométrique, cette équation admet les solutions et . Il vient alors :

et   (24.56)

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.57)

En coordonnées polaires, cela donne:

  (24.58)

Donc:

 ou   (24.59)

après mise en évidence:

 ou   (24.60)

Nous obtenons deux équations différentes, mais il s'agit en fait de la même courbe. Nous remarquerons en effet que:

  (24.61)

Etant donné que  est défini comme le paramètre de la conique, l'équation polaire de l'ellipse s'écrit:

  (24.62)

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.63)

2. Cas où :

Il s'agit d'une hyperbole (même raisonnement que l'ellipse):

  (24.64)

Posons que : 

    (24.65)

est l'origine de l'hyperbole. L'équation précédente se simplifie et devient:

  (24.66)

Mais encore:

  (24.67)

ce qui s'écrit sous forme condensée:

  (24.68)

et nous avons pour demi-grand axe et demi-petit axe (raisonnement identique à l'ellipse):

  (24.69)

et:

  (24.70)

et la figure correspondante :

  (24.71)

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ésentes 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.72)

Si  est perpendiculaire à  alors le produit scalaire doit être nul tel que:

  (24.73)

Ce qui s'écrit aussi :

  (24.74)

tel que nous obtenions l'équation cartésienne générale du plan:

  (24.75)

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.76)

Remarque: Pour obtenir un cube dans l'espace, il suffit d'avoir six plans délimités par des conditions telles que

É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.77)

L'équation cartésienne généralisée de la droite est alors simplement donnée par :

  (24.78)

Effectivement, en simplifiant nous retrouvons "l'équation cartésienne réduite" :

  (24.79)

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 est directeur de cette droite

T2. Si une droite a pour équation alors le vecteur est directeur de cette droite.

Démonstrations:

DM1. Soit et A, B deux points de cette droite pris tel que . Comme A, B sont deux points de D alors est un vecteur directeur de D alors :

  (24.80)

Un petit corollaire intéressant aus passage qui a une application en physique!:

Si une droite D₁ à un vecteur directeur valant:

  (24.81)

et une autre droite D₂ un vecteur directeur valant:

  (24.82)

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 :

  (24.83)

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)

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)

Si nous considérons maintenant deux plans non parallèles de l'espace, leur intersection est une droite. Soit deux plans d'équations respectives:

  (24.88)

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.89)

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 mis à part) d'avoir deux équations.

Il est 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.90)

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.91)

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.92)

Eliminons une des variables (commençons arbitrairement par z) :

  (24.93)

où donc d'où :

  (24.94)

donc (c'est un peu bête à écrire mais bon...) :

  (24.95)

De manière similaire avec tel :

  (24.96)

Finalement nous avons :

  (24.97)

Le vecteur directeur et le vecteur d'ordonnée sont des constantes. Ce qui nous permet d'écrire de manière plus générale :

  (24.98)

C.Q.F.D.

ÉQUATION D'UN CÔNE

Soit la figure ci-dessous:

  (24.99)

Nous remarquons tout d'abord que , d'où (l'origine du repère est notée par la lettre ) :

  (24.100)

Or ici,  d'où:

  (24.101)

étant donné que:

  (24.102)

donc :

  (24.103)

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 :

  (24.104)

appartient à la sphère S de centre et de rayon r si et seulement si  c'est à dire :

  (24.105)

D'où l'équation cartésienne de la sphère dans le repère :

  (24.106)

Il existe une autre manière de décrire la sphère en utilisation l'équation paramétrée. Effectivement, nous avons vu dans le chapitre de Calcul Vectoriel que le passage des coordonnées cartésiennes aux coordonnées sphériques sont données par les coordonnées curvilignes :

  (24.107)

Ainsi, nous avons bien :

  (24.108)

Nous retrouvons donc bien l'équation cartésienne d'une sphère à une constante de translation près.

ÉQUATION D'UN ELLÏPSOÏDE

Nous avons lors de notre étude des coniques que l'équation d'une ellipse dans le plan était donnée par :

  (24.109)

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.110)

est un ellipsoïde :

  (24.111)

Cependant, il existe une autre manière de décrire l'ellipsoïde en utilisant les coordonnées curvilignes :

  (24.112)

Nous avons donc :

  (24.113)

d'où :

  (24.114)

Finalement :

  (24.115)

ÉQUATION D'UN CYLINDRE

Il va sans dire que l'équation d'un cylindre de rayon r est donnée par l'équation paramétrique :

  (24.116)

Nous voyons bien que les composantes x, y satisfont l'équation cartésienne d'un cercle puisque :

  (24.117)

Au même titre l'équation paramétrique d'un cylindre à base elliptique est donnée par :

  (24.118)

qui vérifie aussi l'équation paramétrique d'une ellipse dans le plan :

  (24.119)

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 deux exemples classiques (parmi l'infini) :

E1. Soit la parabole d'équation :

  (24.120)

(rappelons que ) qui tourne autour de l'axe Oz. Nous avons bien évidemment (en coupant le paraboloïde par un plan ce qui donne un cercle de rayon r) la relation:

  (24.121)

(dite "équation cylindrique") . Or, nous avons aussi:

  (24.122)

d'où l'équation du paraboloïde de révolution :

  (24.123)

E2. La droite tourne autour de Oz. Donc:

  (24.124)

ce qui nous donne :

  (24.125)

Définition: Toute surface engendrée par une droite est une "surface réglée".

Prenons l'exemple important (cheminée de centrales nucléaire, engrenages, etc.) qu'est l'hyperboloïde à une nappe d'équation :

  (24.126)

Pour simplifier l'exemple prenons . Nous avons donc :

  (24.127)

ce qui s'écrit aussi comme le produit de l'équation de deux droites tel que :

  (24.128)

Ainsi, ses deux droites (de pente opposées) appartiennent à la nappe et tout point appartenant à une de ses deux droites y est contenu. Les figures ci-dessous montrent bien qu'au fait, tout point appartient à ses deux droites.

  (24.129)

On pourrait ceci dit très bien décrire par des cercles tel que :

  (24.130)

où .

  (24.131)