Théorème de Girard

Triangle sphérique

Modèle:Ébauche 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 :

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

Généralisation

Cette formule découverte au Modèle:S- trouve une généralisation quelque 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\underset{{\gamma }_k}{\int }{k}_{g}ds+\sum _{k=1}(\pi -{\alpha }_k)=2\pi -\underset{G}{\int }Kd\sigma$

où

$\underset{G}{\int }Kd\sigma$

désigne la courbure de Gauss.

Voir aussi

Article connexe

• Formule de Gauss-Bonnet

Bibliographie

• Modèle:Ouvrage

• Modèle:Lien web