Le théorème de Girard pour les triangles sphériques

Un exposé de Baptiste Chantraine

Nous donnons une preuve élémentaire d’une formule reliant la somme des angles d’un triangle sphérique et son aire. Cette formule due à Girard est un avatar simple de la formule de Gauss-Bonnet.