Per a a, b i c costats i A, B, C, angles d’un triangle esfèric, hom té, per al costat a el grup
cos a = cos b cos c + sin b sin c cos A
sin a sin B = sin b sin A
sin a cos B = cos b sin c - sin b cos c cos A
i, per permutació cíclica, els grups corresponents als costats b i c.