Théorème de Girard

Triangle sphérique

En géométrie, et plus particulièrement en géométrie sphérique, le théorème de Girard est un théorème reliant la somme des angles d'un triangle sphérique et l'aire de ce dernier. Il porte le nom du mathématicien français Albert Girard qui la découvre en 1628.

Énoncé

Tandis qu'en géométrie euclidienne, la somme des angles d'un triangle fait toujours $180$° (ou $\pi$ radians), cette affirmation n'est plus vraie en géométrie sphérique. Cette somme est en effet supérieure à $180$°. Dès lors, le théorème de Girard est un raffinement de cette dernière affirmation :

Théorème de Girard —  Soit $ABC$ un triangle sphérique sur la sphère unité et $\alpha ,\beta$ et $\gamma$ les mesures en radians des angles de ce triangle. En notant ${\mathcal {A}}$ l'aire du triangle, on a $\alpha +\beta +\gamma =\pi +{\mathcal {A}}$.

Dans le cas où la sphère a un rayon $R$ quelconque, la formule devient $(\alpha +\beta +\gamma )=\pi +{\frac {\mathcal {A}}{R^{2}}}$.

Généralisation

Cette formule découverte au XVII^e siècle trouve une généralisation quelques deux cents ans plus tard, en 1848, grâce à la formule de Gauss-Bonnet (locale). En considérant $G$ un espace simplement connexe délimité par une courbe lisse par morceaux, notés $\gamma _{1},...,\gamma _{n}$ sur une surface $M$, et en notant $\alpha _{1},...,\alpha _{n}$ les angles entre les morceaux, on a

$\sum _{k=1}^{n}\int _{\gamma _{k}}k_{g}ds+\sum _{k=1}(\pi -\alpha _{k})=2\pi -\int _{G}Kd\sigma$

où $\int _{G}Kd\sigma$ désigne la courbure de Gauss.

Voir aussi

Article connexe

• Formule de Gauss-Bonnet

Bibliographie

• (en) Victor V. Prasolov, Differential Geometry, Springer, coll. « Moscow Lectures », 2022, 271 p. (ISBN 978-3-030-92251-1)

• Baptiste Chantraine, « Le théorème de Girard pour les triangles sphériques », sur YouTube, mai 2017 (consulté le 22 juin 2024)