Relation d'Euler

Relation d'Euler

Théorème de Descartes-Euler

Le théorème de Descartes-Euler (ou relation d'Euler), formulé par Leonhard Euler en 1752, énonce une formule mathématique qui relie le nombre de côtés, de sommets, et de faces dans un polyèdre du genre 0. Un polyèdre de genre 0 est un polyèdre sans trou : en supprimant une face on obtient une surface simplement connexe ; un polyèdre convexe est de genre 0.

Il semble cependant que Descartes[1] ait prouvé une relation analogue dans un traité jamais publié. C'est la raison pour laquelle cette relation porte ce double nom.

Sommaire

Énoncé

Soit un polyèdre de genre 0, on note :

  • f   le nombre de faces de celui-ci,
  • a   le nombre d'arêtes de celui-ci,
  • s   le nombre de sommets de celui-ci,

On peut démontrer qu'on a toujours :    s - a + f = 2 \,

Exemples et contre-exemples

On peut procéder à la vérification de la propriété pour les cinq solides platoniciens

Nom Image S (sommets) A (arêtes) F (faces) Caractéristique d'Euler : SA + F
Tétraèdre Tetrahedron.svg 4 6 4 2
Hexaèdre ou cube Hexahedron.svg 8 12 6 2
Octaèdre Octahedron.svg 6 12 8 2
Dodécaèdre POV-Ray-Dodecahedron.svg 20 30 12 2
Icosaèdre Icosahedron.svg 12 30 20 2

Si les polyèdres ne sont pas convexes, ils ne sont pas du genre 0 et on ne peut pas appliquer le théorème de Descartes-Euler. On peut alors trouver pour SA + F des valeurs différentes de 2:

Nom Image S (Sommets) A (arêtes) F (faces) Caractéristique d'Euler : SA + F
Tetrahemihexaèdre Tetrahemihexahedron.png 6 12 7 1
Octahemioctaèdre Octahemioctahedron.png 12 24 12 0
Cubohemioctaèdre Cubohemioctahedron.png 12 24 10 −2

Preuve

La preuve présentée ici est la première démonstration rigoureuse de la relation d'Euler. Elle a été donnée par Cauchy, alors âgé de 20 ans :

Soit un polyèdre de genre 0, on va chercher à démontrer que  f - a + s = 2 \, dans celui-ci. On enlève une face à notre polyèdre. En écartant vers l'extérieur les côtés de cette face manquante, on déforme le polyèdre en l'aplatissant et on obtient alors un graphe plan dont les nœuds sont les sommets et les arcs sont les arêtes déformées (cette déformation est appelée un homéomorphisme). Le nombre de sommets, d'arêtes et de faces n'a pas changé par rapport au polyèdre de départ (considérant que tout l'extérieur de notre graphe représente la face enlevée).

Premières étapes de la démonstration pour le cube

Maintenant, à chaque fois qu'on voit une face ayant plus de trois côtés, on trace une diagonale (c’est-à-dire un arc joignant deux sommets non directement reliés). Cette opération ajoute une face et une arête à notre graphe et ne modifie pas le nombre de sommets, donc l'expression  f - a + s\, reste inchangée. On répète cette opération jusqu'à ne plus avoir que des faces triangulaires.

Arrivé à ce stade, on répète les deux opérations suivantes :

  1. On supprime un à un tous les triangles qui comportent 'un' seul côté aux frontières extérieures de notre graphe. A chaque suppression, on enlève une arête et une face (pas de modification au niveau des sommets). Cela conserve donc l'expression  f - a + s\,.
  2. On supprime un à un tous les triangles qui comportent 'deux' arêtes aux frontières extérieures de notre graphe. A chaque suppression, on enlève un sommet, deux arêtes et une face. Cela conserve donc à nouveau l'expression  f - a + s\,.


En répétant les deux étapes précédentes, l'une après l'autre, il ne finit par rester qu'un seul triangle. Ce triangle seul compte deux faces (l'intérieur et l'extérieur du triangle), trois arêtes et trois sommets. Ainsi f = 2, a = 3, et s = 3, donc  f - a + s \, est égale à 2. Cette expression est égale à l'expression  f - a + s \, d'origine car chaque étape maintenait l'égalité de cette expression. On en conclut que notre polyèdre de départ vérifiait l'expression  f - a + s = 2 \,. La relation est donc prouvée.

Lien avec les pavages de la sphère

On peut ramener cette relation à une propriété de pavage de la sphère, en utilisant la technique imagée suivante

  • placer une source de lumière au centre de gravité G du polyèdre
  • considérer une sphère de centre G et de rayon suffisamment grand, et la considérer comme un écran sur lequel se projettent les ombres des arêtes du polyèdre.

Cette opération est en fait une projection centrale. On obtient alors sur la sphère des «sommets», images des sommets du polyèdre, des «arêtes» qui sont des arcs de grands cercles, et des portions de sphères délimitées par les arêtes qui sont des «polygones sphériques». On peut qualifier cette configuration de pavage de la sphère par des polygones sphériques.

On montre encore que pour un tel pavage, la formule F + S - A = 2 est vérifiée. Une des méthodes possibles est d'utiliser des propriétés des triangles sphériques.

Applications

  • Il est impossible de recouvrir une sphère seulement par des hexagones, même non réguliers, afin de former une géode, car un tel recouvrement ne respecterait pas la relation d'Euler. En effet, dans un polyèdre à faces uniquement hexagonales, chaque sommet est commun à 3 faces et chaque arête à 2 faces. Comme tout hexagone a 6 côtés et 6 sommets, un tel polyèdre doit donc comporter \frac 63 plus de sommets que de faces et \frac 62 plus d'arêtes que de faces. Donc, si f est le nombre de faces, le nombre d'arêtes a doit être égal à 3f et le nombre de sommets s à 2f. On a alors :
 f - a + s = f - 3f + 2f = 0 \,

et la relation d'Euler n'est pas vérifiée.

Par contre, remplaçons certains hexagones de ce recouvrement impossible par des pentagones. Si le nombre de faces ne varie pas, le nombre d'arêtes et de sommets diminue : pour chaque pentagone ajouté, on a ( 6 - 5 )÷ 2 arêtes, c'est-à-dire une demi-arête en moins et (6 - 5)÷3 sommets, c'est-à-dire un tiers de sommet en moins;   sa + f   augmente donc à chaque fois de la différence, c'est-à-dire d'un sixième. Pour que la relation d'Euler soit respectée, il faut que   sa + f   initialement à 0, devienne égal à 2, donc augmente de 12÷6. Bref, il faut remplacer 12 hexagones par autant de pentagones. Le nombre des sommets s est alors de 2f - 4 et celui des arêtes a de 3f - 6. C'est ainsi que l'on rencontre l'icosaèdre tronqué (ballon de football ou fullerène C60). Un cas extrême est celui du dodécaèdre ( f = 12 ), où il ne reste plus aucun hexagone. Dans la figure ci-dessous (où f = 344 faces), quatre des douze pentagones sont visibles.

géode duale

La version de Descartes

Dans son mémoire inédit, Descartes énonce le théorème suivant :

« 

L'angle droit étant pris pour unité, la somme des angles de toutes les faces d'un polyèdre convexe est égale à quatre fois le nombre de sommets diminué de 2

 »

L'aspect du théorème semble fort éloigné de la relation d'Euler. Elle lui est pourtant rigoureusement équivalente et Descartes dans les applications qu'il en fait passe assez naturellement de cette forme à celle d'Euler.

Preuve de l'équivalence :

Il faut se servir de la propriété de la somme des angles d'un polygone convexe : si le polygone convexe a n côtés, la somme des angles vaut 2(n - 2) droits.
La somme de tous les angles sur toutes les faces est donc 4a - 4f \, droits (en effet la somme des nombres de côtés de chaque face donne deux fois le nombre d'arêtes)
L'égalité de Descartes s'écrit donc
4a - 4f = 4(s - 2)\,
Rigoureusement équivalente à
s - a + f = 2\,

Généralisations

Henri Poincaré, en 1893 [2] a démontré que la relation d'Euler se généralisait à tout n-polytope convexe :

N0N1 + N2N3 + ... + ( − 1)n − 1Nn − 1 = 1 − ( − 1)n

où n est la dimension du polytope et Nk le nombre de k-simplexes du n-polytope (N0 est le nombre de sommets, N1 le nombre d'arêtes, N2 le nombre de faces etc. )

La quantité  s - a + f  \,., si elle vaut 2 dans le cas des polyèdres de genre 0, peut prendre d'autres valeurs suivant la nature du polyèdre et est appelée caractéristique d'Euler (ou d'Euler-Poincaré) du solide. Cette caractéristique est un nombre qu'on peut attacher naturellement aux surfaces. Elle est par exemple de 2 pour la sphère. Il s'agit d'un invariant topologique, c'est-à-dire que toutes les variétés homéomorphes à la sphère ont la même caractéristique. La convexité n'est finalement qu'une hypothèse particulière assurant qu'il existe bien un tel homéomorphisme.

Notes et références

  1. Note sur un Mémoire de Descartes longtemps inédit, et sur les titres de son auteur à la priorité d'une découverte dans la théorie des polyèdre, par M. De Jonquières, Académie des sciences (France). Comptes rendus hebdomadaires des séances de l'Académie des sciences. 1835. 1890 (T. 110). p261-266
  2. Poincaré, H. Sur la généralisation d'un théorème d'Euler relatif aux polyèdres. Comptes rendus hebdomadaires des séances de l'Académie des Sciences 117, 144-145, 1893.


Voir aussi

Articles connexes

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Descartes-Euler ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Relation d'Euler de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Euler–Mascheroni constant — Euler s constant redirects here. For the base of the natural logarithm, e ≈ 2.718..., see e (mathematical constant). The area of the blue region is equal to the Euler–Mascheroni constant. List of numbers – Irrational and suspected irrational… …   Wikipedia

  • EULER (L.) — Avec Joseph Louis Lagrange, son émule plus jeune, Leonhard Euler est l’un des deux géants mathématiques qui ont dominé la science du XVIIIe siècle. Ses travaux, d’une abondance inégalée, couvrent tout le champ des mathématiques, de la mécanique… …   Encyclopédie Universelle

  • Euler — Leonhard Euler « Euler » redirige ici. Pour les autres significations, voir Euler (homonymie). Leonhard Euler …   Wikipédia en Français

  • Euler number — For other uses, see Euler number (topology) and Eulerian number. Also see e (mathematical constant),Euler number (physics) and Euler–Mascheroni constant. In mathematics, in the area of number theory, the Euler numbers are a sequence En of… …   Wikipedia

  • Euler function — For other meanings, see List of topics named after Leonhard Euler .In mathematics, the Euler function is given by:phi(q)=prod {k=1}^infty (1 q^k).Named after Leonhard Euler, it is a prototypical example of a q series, a modular form, and provides …   Wikipedia

  • Euler-Liljestrand mechanism — The Euler Liljestrand mechanism describes the connection between ventilation and blood circulation (perfusion) of the lung. If the ventilation in a part of the lung decreases, this leads to local hypoxia and to vasoconstriction in that part. This …   Wikipedia

  • Relation de Bernouilli — Théorème de Bernoulli Pour les articles homonymes, voir Loi de Bernoulli. Le théorème de Bernoulli qui a été établi en 1738 par Daniel Bernoulli exprime le bilan hydraulique simplifié d un fluide dans une conduite. Il a posé les bases de l… …   Wikipédia en Français

  • Relation de Bernoulli — Théorème de Bernoulli Pour les articles homonymes, voir Loi de Bernoulli. Le théorème de Bernoulli qui a été établi en 1738 par Daniel Bernoulli exprime le bilan hydraulique simplifié d un fluide dans une conduite. Il a posé les bases de l… …   Wikipédia en Français

  • Euler-Produkt — Dirichletreihen sind Reihen, die in der analytischen Zahlentheorie verwendet werden, um zahlentheoretische Funktionen mit Methoden aus der Analysis, insbesondere der Funktionentheorie zu untersuchen. Viele offene zahlentheoretische… …   Deutsch Wikipedia

  • Euler'sches Theorem — Ausschöpfungstheorem, Adding up Theorem. Bei linear homogenen Produktionsfunktionen gilt: wobei: f´i = partielle Grenzproduktivität des Faktors i, ri = gesamte Einsatzmenge des Faktors i, Q = Output. Bei vollständiger Konkurrenz ist das… …   Lexikon der Economics

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”